Positive Definitheit (Metrik)
1. Definition
Für jede Metrik gilt:
\begin{align*} d(x,y) \geq 0 \end{align*}2. Alternative Herleitung
\begin{align*}
d(x,y) + d(y,x) \geq& d(x,x) \\
d(x,y) + d(x,y) \geq& 0 \\
2d(x,y) \geq& 0 && \\
\Rightarrow d(x,y) \geq& 0
\end{align*}