1.9  Das Axiomensystem der reellen Zahlen

Aus der oben angegebenen Definition der reellen Zahlen lassen sich eine Reihe von Eigenschaften herleiten, welche wir hier sammeln. Aussagen gelten immer für beliebige reelle Variablen, der Kürze wegen lassen wir die Allquantoren vom Typ x weg.

  1.9.1  Die algebraische Struktur: ist ein Körper.
  1.9.2  Die Ordnungsstruktur: ist ein vollständig geordneter Körper.
  1.9.3  Die topologische Struktur: Die Menge genügt dem Intervallschachtelungsaxiom (Vollständigkeitsaxiom).
  1.9.4  Das Axiom von Eudoxus: ist archimedisch geordnet.
  1.9.5  Zur Beziehung zwischen und .
  1.9.6  Der Absolutbetrag einer reellen Zahl.