Angeordneter Körper/Betragseigenschaften/Fakt/Beweis/Aufgabe
Beweise die folgenden Eigenschaften für die Betragsfunktion
in einem angeordneten Körper (dabei seien beliebige Elemente in ).
- Es ist .
- Es ist genau dann, wenn ist.
- Es ist genau dann, wenn oder ist.
- Es ist .
- Es ist .
- Für ist .
- Es ist (Dreiecksungleichung für den Betrag).
- Es ist .