Ich versuche mal zu interpretieren:
Def. war: Für alle x aus R wird definiert |x| durch
a) |x|>=0 für alle x
b) |xy|=|x||y| für alle x,y
Behauptung: Für alle x aus R gilt | - x| = |x|
(Dann würde der letzte Satz des Beweises etwas Sinn machen.)
@Gast hh1833: Wenn das so gemeint war, kannst du nat. nicht mit Fallunterscheidungen
arbeiten, da zunächst mal für x<0 nichts definiert ist und auch für x≥0 kein
Wert unmittelbar festgelegt ist. Anders als bei der "klassischen" Betragsdef.
|x| = x für x≥0 und |x| = - x für x<0 .