(i) Prüfe die Metrik-Axiome: z.B. 1. \(\widetilde{d}(x,y)=0 <=> x=y \)
1. \(\widetilde{d}(x,y)=0 ==> x=y \)
Seien also \( x = (x_1,x_2) \text{und } y= (y_1, y_2) \text{aus } \mathbb{R}^2\)
mit \(\widetilde{d}(x,y)=0 \).
1. Fall x,y und (0,0) liegen auf derselben Geraden.
1. Unterfall : Gerade mit Steigung k.
==> \( x_2=k \cdot x_1 \) und \( y_2=k \cdot y_1 \)
==> (wegen \(\widetilde{d}(x,y)=0 \) )
\( || x-y || =0 \text{also} || (x_1-y_1 , k \cdot x_1 - k \cdot y_1 ) || = 0 \)
==> \( || (x_1-y_1 , k \cdot (x_1 - y_1 )) || = 0 \)
==> \( \sqrt{ (x_1-y_1)^2+ k^2 \cdot (x_1 - y_1 )^2} = 0 \)
==> \(|x_1-y_1| \cdot \sqrt{ 1+k^2 } = 0 \)
Da \( \sqrt{ 1+k^2 } > 0 \) folgt \(|x_1-y_1|= 0 \) also x1=y1
und wegen \( x_2=k \cdot x_1 \) und \( y_2=k \cdot y_1 \)
also auch x=y.
2. Unterfall Beide liegen auf der y-Achse, also x=(0,x2) und y=(0,y2)
Dann gilt \( || x-y || =0 \text{also} || 0 , x_2 - y_2 ) || = 0 \)
also \( \sqrt{ 0 + (x_2 - y_2 )^2} = 0 \)
also auch hier x2=y2 und damit x=y.
2. Fall "sonst" Da gilt \(\widetilde{d}(x,y)=0 \)
==> ||x|| + ||y|| =0 Da beide Summanden ≥0 sein müssen
(pos. Definitheit der || ..|| Norm ) gilt also
||x||=0 und ||y||=0 , also x=0 und y=0 also x=y.
Dann bleibt zu zeigen
2. \(\widetilde{d}(x,y)=0 <== x=y \) etc.
und die anderen Axiome.