Zum Inhalt springen

Angeordneter Körper/Betragseigenschaften/Fakt/Beweis/Aufgabe

Aus Wikiversity

Beweise die folgenden Eigenschaften für die Betragsfunktion

KK,x|x|,

in einem angeordneten Körper (dabei seien x,y beliebige Elemente in K).

  1. Es ist  |x|0
  2. Es ist  |x|=0  genau dann, wenn  x=0  ist.
  3. Es ist  |x|=|y|  genau dann, wenn  x=y  oder  x=y  ist.
  4. Es ist  |yx|=|xy|
  5. Es ist  |xy|=|x||y|
  6. Für  x0  ist  |x1|=|x|1
  7. Es ist  |x+y||x|+|y|  (Dreiecksungleichung für den Betrag).
  8. Es ist  |x+y||x||y|