Reelle Zahl

Die Menge der Reellen Zahlen ist eine Obermenge der rationalen Zahlen. Die Differenzmenge aus reellen und rationalen Zahlen, d.h. die Menge der Zahlen, die reelle Zahlen, aber nicht rationale Zahlen sind, heißt Menge der irrationalen Zahlen.

Zahlengerade

Anschaulich ausgedrückt entspricht die Menge der reellen Zahlen der Menge aller Punkte der Zahlengeraden. Man sagt: Die reellen Zahlen sind diesen Punkten eineindeutig (bijektiv) zugeordnet.

Reelle Zahlen werden als Maß für kontinuierliche Größen wie der Länge gebraucht; z.B. hat die Diagonale eines Quadrats der Seitenlänge 1 die Länge ${\sqrt {2}}$.

Für die Menge der reellen Zahlen wird das Symbol $\mathbb {R}$ (auch $\mathbf {R}$) verwendet. Der Name „reelle Zahlen“ wurde gewählt, weil sie im Gegensatz zu den imaginären Zahlen eine reale (=„reele“) Entsprechung haben.

Die reellen Zahlen und Funktionen von $\mathbb {R}$ nach $\mathbb {R}$ sind der Untersuchungsgegenstand der reellen Analysis.

Einteilung der reellen Zahlen

Die Menge der reellen Zahlen besteht aus den rationalen Zahlen (ganze Zahlen wie −1, 0, 1, 2 und Bruchzahlen wie 3/4, −2/3 usw.) und den irrationalen Zahlen. Typische irrationale Zahlen sind beispielsweise:

• die Kreiszahl π (pi),
• die Wurzeln aus ganzen Zahlen, die nicht ganzzahlige Werte haben wie z.B. √2, aber nicht √4 = 2.

Kennzeichen irrationaler Zahlen ist, daß sie als Dezimalzahlen dargestellt keine endliche Anzahl von Stellen nach dem Komma haben und die Ziffern nach dem Komma auch keine Periode bilden.

Eine die rationalen Zahlen umfassende Teilmenge der reellen Zahlen ist die Menge der reell-algebraischen Zahlen, d.h. der reellen Lösungen von Polynomgleichungen mit ganzzahligen Koeffizienten; diese Menge umfasst sämtliche Wurzelausdrücke. Ihr Komplement ist die Menge der transzendenten Zahlen; sie enthält beispielsweise e und π.

Mächtigkeiten

Der Begriff der Mächtigkeit erlaubt einen Größenvergleich unendlicher Mengen. Während die Mengen der natürlichen, ganzen oder rationalen Zahlen abzählbar sind, also im wesentlichen gleich groß, ist die Menge der reellen Zahlen überabzählbar, wie Cantor bewies; zum Beweis siehe Cantors zweites Diagonalargument.

Die Menge der algebraischen Zahlen ist abzählbar, die Menge der irrationalen oder die Menge der transzendenten Zahlen sind deshalb gleichmächtig zur Menge aller reellen Zahlen.

Die Vermutung, dass jede überabzählbare Menge mindestens so mächtig wie die Menge der reellen Zahlen ist, wird Kontinuumshypothese genannt. Sie ist unabhängig von den üblicherweise verwendeten Axiomensystemen wie ZFC, d.h. es ist nicht möglich, sie zu beweisen oder zu widerlegen.

Konstruktion von R aus Q

Die Menge der reellen Zahlen wird mathematisch als Vervollständigung der rationalen Zahlen definiert. Das heißt, reelle Zahlen sind Äquivalenzklassen von rationalen Cauchy-Folgen. Dabei sind zwei Cauchy-Folgen äquivalent, wenn ihre (punktweise) Differenz eine Nullfolge bildet. Wie man leicht nachprüft, ist diese Relation tatsächlich reflexiv, transitiv und symmetrisch, also zur Bildung von Äquivalenzklassen geeignet.

Die durch die rationalen Zahlen induzierte Addition und Multiplikation ist wohldefiniert, das heißt unabhängig von der Auswahl des Repräsentanten. Mit diesen wohldefinierten Operationen bilden die reellen Zahlen einen Körper. Ebenfalls durch die rationalen Zahlen wird eine totale Ordnung induziert. Insgesamt sind die reellen Zahlen damit ein geordneter Körper.

Eine weitere Konstruktionsmöglichkeit ist die Darstellung der reellen Zahlen als Dedekindsche Schnitte rationaler Zahlen. Dabei nutzt man aus, dass jede nach oben beschränkte Teilmenge der reellen Zahlen eine kleinste obere Schranke hat und "vervollständigt" die rationalen Zahlen in Bezug auf diese Eigenschaft.

Bei der Lösung von kubischen Gleichungen stellte man fest, dass mitunter eine Quadratwurzel aus negativen Zahlen gezogen werden muss, die in weiterer Folge wieder zu reellen Lösungen führt (Casus irreducibilis). Anfangs wurde das lediglich als eine Art Rechentrick verstanden, in weiterer Folge führte das aber zur Einführung der komplexen Zahlen.

Axiomatische Einführung der reellen Zahlen

Die Konstruktion der reellen Zahlen aus den rationalen Zahlen ist etwas mühselig. Eine weitere Möglichkeit, die reellen Zahlen zu erfassen, ist sie axiomatisch einzuführen. Im Wesentlichen benötigt man dazu drei Gruppen von Axiomen - die Körperaxiome, die Axiome der Ordnungsstruktur sowie ein Axiom, das die Vollständigkeit garantiert.

1. Die reellen Zahlen sind ein Körper
2. Die reellen Zahlen sind total geordnet (s.a. geordneter Körper), d.h. für alle reellen Zahlen $a,b,c$ gilt:
   1. es gilt genau eine der Beziehungen $a<b,a=b,b<a$ (Trichotomie)
   2. aus $a<b$ und $b<c$ folgt $a<c$ (Transitivität)
   3. aus $a<b$ folgt $a+c<b+c$ (Verträglichkeit mit der Addition)
   4. aus $a<b$ und $c>0$ folgt $ac<bc$ (Verträglichkeit mit der Multiplikation)
3. Die reellen Zahlen sind ordnungsvollständig, d.h. jede nichtleere, nach oben beschränkte Teilmenge von $\mathbb {R}$ besitzt ein Supremum

Alternativ kann der Körper der reellen Zahlen auch charaktisiert werden als vollständiger, archimedisch geordneter Körper, d.h. als ein Körper der folgende Axiome erfüllt:

• die Körperaxiome und Ordnungsaxiome
• das Archimedische Axiom:

  Sind $a$ und $b$ positive reelle Zahlen, dann gibt es ein $n\in \mathbb {N}$, so dass $na>b$ ist.

• das Vollständigkeitsaxiom:

  Die reellen Zahlen sind bzgl. der vom Absolutbetrag induzierten Metrik ein vollständiger Raum, d.h. jede Cauchy-Folge konvergiert

Anstelle des Vollständigkeitsaxioms kann man auch das Intervallschachtelungsaxiom setzen:

• das Intervallschachtelungsaxiom:

  Der Durchschnitt jeder monoton fallenden Folge abgeschlossener beschränkter Intervalle ist nichtleer.

Durch jedes dieser Axiomensysteme ist der Körper der reellen Zahlen (bis auf Isomorphie) eindeutig bestimmt.

Verwandte Themen

• Eine näherungsweise Darstellung reeller Zahlen im Computer erfolgt durch Gleitkommazahlen.
• Die Darstellung von Zahlen erfolgt in einem Zahlensystem