1.9.6  Der Absolutbetrag einer reellen Zahl.

Zum Abschluss dieses Abschnittes definieren wir den Absolutbetrag einer reellen Zahl folgendermaßen:

|x| := xfürx 0,|x| := xfürx < 0.

Für die Realisierung der rationale Zahlen q = [{q,q,q,}] ergibt sich |[{q,q,q,}]| = [{|q|,|q|,|q|,}] = |q|, wobei die letztere Grösse in definiert ist.

Problem 1.9.2. Beweisen Sie die Dreiecksungleichung

|x + y||x| + |y|

und leiten Sie daraus die Ungleichung

||x||y|||x y|

her!