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 ).

  1. Es ist .
  2. Es ist genau dann, wenn ist.
  3. Es ist genau dann, wenn oder ist.
  4. Es ist .
  5. Es ist .
  6. Für ist .
  7. Es ist (Dreiecksungleichung für den Betrag).
  8. Es ist .