|a| = Maximum von {a ; -a} kann man so definieren, denn:
Beispiel: |3| = max{ 3 ; -3 } = 3
|-3| = max{ -3 ; -(-3) } = max{ -3 ; 3 } = 3
IxI= max(0, -0) = max (0,0) = 0 hat aber keinen "Beweischarakter".
Besser:
|x| = 0 ⇔ max{ x ; -x } = 0 , weil max { 0 ; -0 } = 0 und max{ x ; -x } ≠ 0 für x ≠ 0
(IxI = 0 ⇔ x = 0 ist aber genauso offensichtlich :-))
Gruß Wolfgang