Angeordneter Körper/Betragseigenschaften/Fakt

Es sei ein angeordneter Körper.

Dann erfüllt die Betragsfunktion

folgende Eigenschaften (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 .