\( \mathrm{d}_{3}(x, y):=\max \left\{\mathrm{d}_{1}(x, y), \mathrm{d}_{2}(x, y)\right\}(x, y \in X) \)
Musst ja nur die Metrik-Axiome prüfen:
(Ich lass mal die 3 weg und schreibe da nur d )
1. d(x,y)=0 <=> x=y
Seien also x,y aus X und d(x,y)=0
==> \( \max \left\{\mathrm{d}_{1}(x, y), \mathrm{d}_{2}(x, y)\right\}(x, y \in X) =0 \)
Da weder \( \mathrm{d}_{1}(x, y)\) noch ( \mathrm{d}_{2}(x, y)\) negativ
sein können [Metrik-Axiom 1 für d1 und d2] und 0 das max ist,
müssen beide 0 sein, also [Metrik-Axiom 1 für d1 und d2] x=y.
Ist umgekehrt x=y sind d1 und d2 beide 0, also auch das max 0.
2. Seien also x,y aus X.
==> \( d(x,y) = \max \left\{\mathrm{d}_{1}(x, y), \mathrm{d}_{2}(x, y)\right\} \)
Metrik-Axiom 2 für d1 und d2 liefert :
\( d(x,y) = \max \left\{\mathrm{d}_{1}(y,x), \mathrm{d}_{2}(y, x)\right\} =d(y,x)\)
Auch Nr.3 kannst du auf die Gültigkeit für d1 und d2 zurückführen.