Bei der Def. heißt es sicher
statt d(x, y) = max{d1(x1, y1), d1(x2, y2)}
richtig d(x, y) = max{d1(x1, y1), d2(x2, y2)} .
zu b) Seien O1 ⊂ M1 und O2 ⊂ M2 offene Teilmengen.
Um zu zeigen, dass O1 × O2 offen ist. muss es zu
jedem x∈ O1 × O2 ein ε>0 geben so dass für
alle y∈ M1 × M2 gilt d(x,y)<ε ==> y ∈ O1 × O2.
Sei also x=(a,b) ∈ O1 × O2.
==> a ∈ O1 und b ∈ O2
und weil O1 und O2 offen in M1 bzw. M2 sind gibt es
ein ε1 > 0 mit: Für alle y1 ∈ M1 gilt d(a,y1) <ε1 ==> y1 ∈ O1 ##
und entsprechend gibt es
ein ε2 > 0 mit: Für alle y2 ∈ M2 gilt d(b,y2)<ε2 ==> y2 ∈ O2 ###
Seien nun ε= min (ε1 , ε2) # und y=(y1,y2) ∈ M1 x M2.
mit d(x,y) < ε ==> max{d1(a, y1), d2(b, y2)}< ε
wegen # also auch
==> d1(a, y1)}< ε < ε1 und d2(b, y2)}< ε < ε 2
und wegen ## und ###
==> y1 ∈ O1 und y2 ∈ O2
==> y=(y1,y2) ∈ =O1 x O2. q.e.d.