Angeordneter Körper/Fokus auf R/Betrag/Einführung/Textabschnitt
Erscheinungsbild
In einem angeordneten Körper ist der Betrag eines Elementes folgendermaßen definiert.
Der Betrag ist also nie negativ (da aus die Beziehung folgt, vergleiche Aufgabe) und hat nur bei den Wert , sonst ist er immer positiv. Die Gesamtabbildung
nennt man auch Betragsfunktion. Der Funktionsgraph setzt sich aus zwei Halbgeraden zusammen; eine solche Funktion nennt man auch stückweise linear.
Es sei ein angeordneter Körper.
Dann erfüllt die Betragsfunktion
- 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 .
Beweis
Siehe
Aufgabe.
Die Zahl nennt man auch den Abstand der beiden Zahlen
und .