Reelle Zahl

ℝ

Die reellen Zahlen bilden einen in der Mathematik bedeutenden Zahlenbereich. Sie bilden eine Erweiterung des Bereichs der rationalen Zahlen, der Brüche, womit Messwerte für übliche physikalischen Größen wie zum Beispiel Länge, Temperatur und Masse als reelle Zahlen aufgefasst werden können. Die reellen Zahlen haben gegenüber den rationalen Zahlen besondere topologische Eigenschaften. Diese bestehen unter anderem darin, dass für jedes Problem, für das in einem gewissen Sinne beliebig gute näherungsweise Lösungen in Form von reellen Zahlen existieren, auch eine reelle Zahl als exakte Lösung existiert. Daher können sie in der Analysis, der Topologie und der Geometrie vielseitig eingesetzt werden. Beispielsweise können Längen und Flächeninhalte sehr vielfältiger geometrischer Objekte sinnvoll als reelle Zahlen, nicht aber etwa als rationale Zahlen definiert werden. Wenn in empirischen Wissenschaften mathematische Konzepte – wie zum Beispiel Längen – zur Beschreibung eingesetzt werden, spielt daher auch dort die Theorie der reellen Zahlen oft eine wichtige Rolle.

Einteilung der reellen Zahlen

Die Menge der reellen Zahlen entspricht der Menge aller Punkte der Zahlengeraden. Zu ihrer Bezeichnung wird das Symbol $\mathbb {R}$ (auch $\mathbf {R}$ , Unicode U+211D: ℝ) verwendet. Die reellen Zahlen werden unterschieden in:

rationale Zahlen – $\mathbb {Q} =\left\{\dots ,-{\tfrac {2}{1}},-{\tfrac {1}{2}},-{\tfrac {1}{1}},0,{\tfrac {1}{1}},{\tfrac {1}{2}},{\tfrac {2}{1}},{\tfrac {1}{3}},\dots \right\}=\left.\left\{{\tfrac {p}{q}}\right|p\in \mathbb {Z} ,q\in \mathbb {N} \setminus \{0\}\right\}$ $\mathbb {Q} =\left\{\dots ,-{\tfrac {2}{1}},-{\tfrac {1}{2}},-{\tfrac {1}{1}},0,{\tfrac {1}{1}},{\tfrac {1}{2}},{\tfrac {2}{1}},{\tfrac {1}{3}},\dots \right\}=\left.\left\{{\tfrac {p}{q}}\right|p\in \mathbb {Z} ,q\in \mathbb {N} \setminus \{0\}\right\}$
- ganze Zahlen – $\mathbb {Z} =\{\dots ,-2,-1,0,1,2,\dots \}$ $\mathbb {Z} =\{\dots ,-2,-1,0,1,2,\dots \}$ .
  - natürliche Zahlen – $\mathbb {N}$ (ohne 0): $\{1,2,3,\dots \}$ oder (mit 0): $\{0,1,2,3,\dots \}$ (auch $\mathbb {N} _{0}$ ).
irrationale Zahlen – $\mathbb {R} \setminus \mathbb {Q}$ $\mathbb {R} \setminus \mathbb {Q}$ = die Menge aller Elemente von $\mathbb {R}$ $\mathbb {R}$ , die nicht in $\mathbb {Q}$ $\mathbb {Q}$ liegen. Diese lassen sich wiederum unterteilen in:
- irrationale algebraische Zahlen und
- transzendente Zahlen.

Die rationalen Zahlen sind diejenigen Zahlen, die sich als Bruch ganzer Zahlen darstellen lassen. Eine Zahl heißt irrational, wenn sie reell, aber nicht rational ist. Die ersten Beweise, dass die Zahlengerade irrationale Zahlen enthält, wurden von den Pythagoräern geführt. Irrationale Zahlen sind beispielsweise die Kreiszahl $\pi$ (Pi), die Eulersche Zahl $e$ oder die nicht ganzzahligen Wurzeln aus ganzen Zahlen wie ${\sqrt {2}}$ oder ${\sqrt[{3}]{7}}$ .

Eine die rationalen Zahlen umfassende Teilmenge der reellen Zahlen ist die Menge der (reellen) algebraischen Zahlen, d. h. der reellen Lösungen von Polynomgleichungen mit ganzzahligen Koeffizienten. Diese Menge umfasst unter anderem sämtliche $n$ -ten Wurzeln aus rationalen Zahlen für $n\in \mathbb {N}$ und deren endliche Summen, aber nicht nur diese (z. B. Lösungen geeigneter Gleichungen 5. Grades). Ihr Komplement ist die Menge der (reellen) transzendenten Zahlen.

Notation für häufig verwendete Teilmengen der reellen Zahlen

Ist $a\in \mathbb {R}$ , dann bezeichnet

\mathbb {R} ^{\neq a}=\mathbb {R} \setminus \{a\}

die Menge aller reellen Zahlen außer der Zahl a,

\mathbb {R} ^{\geq a}=\{x\in \mathbb {R} |x\geq a\},

\mathbb {R} ^{>a}=\{x\in \mathbb {R} |x>a\},

\mathbb {R} ^{\leq a}=\{x\in \mathbb {R} |x\leq a\},

\mathbb {R} ^{<a}=\{x\in \mathbb {R} |x<a\}.

Besonders häufig wird diese Schreibweise mit a=0 verwendet, um die Menge $\mathbb {R} ^{>0}$ der positiven reellen Zahlen oder die Menge $\mathbb {R} ^{\geq 0}$ der nichtnegativen reellen Zahlen zu bezeichnen. Gelegentlich finden sich für diesen Spezialfall (a=0) auch die Bezeichnungen $\mathbb {R} ^{+}$ oder $\mathbb {R} _{0}^{+}$ . Hierbei ist jedoch Vorsicht geboten, da bei $\mathbb {R} ^{+}$ bei manchen Autoren die Null eingeschlossen ist, bei anderen nicht.

Konstruktion der reellen aus den rationalen Zahlen

Die Konstruktion der reellen Zahlen als Zahlbereichserweiterung der rationalen Zahlen war im 19. Jahrhundert ein wichtiger Schritt, um die Analysis auf ein solides mathematisches Fundament zu stellen. Die erste exakte Konstruktion geht wohl auf Karl Weierstraß zurück, der die reellen Zahlen über beschränkte Reihen mit positiven Gliedern definierte.^[1]

Heute gebräuchliche Konstruktionen der reellen Zahlen:

Darstellung als Dedekindsche Schnitte rationaler Zahlen: Dabei werden die reellen Zahlen als kleinste obere Schranken von nach oben beschränkten Teilmengen der rationalen Zahlen definiert.^[2]
Darstellung als Äquivalenzklassen von Cauchy-Folgen: Diese heute verbreitetste Konstruktion der reellen Zahlen geht wohl auf Georg Cantor^[3] zurück, der die reellen Zahlen als Äquivalenzklassen von rationalen Cauchy-Folgen definierte. Dabei gelten zwei Cauchy-Folgen als äquivalent, wenn ihre (punktweisen) Differenzen eine Nullfolge bilden. Wie man relativ 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 bilden die reellen Zahlen damit einen geordneten Körper.

Darstellung als Äquivalenzklassen von Intervallschachtelungen rationaler Intervalle.^[4]
Vervollständigung der topologischen Gruppe der rationalen Zahlen in dem Sinne, dass die kanonische uniforme Struktur vervollständigt wird.^[5]

Die vier genannten Konstruktionsmethoden „vervollständigen“ (komplettieren) alle die rationalen Zahlen und führen zur (bis auf Isomorphie) gleichen Struktur, dem Körper der reellen Zahlen. Jede der Methoden beleuchtet eine andere Eigenschaft der rationalen und reellen Zahlen und ihrer Beziehung zueinander:

Die Methode der Dedekindschen Schnitte vervollständigt die Ordnung auf den rationalen Zahlen zu einer ordnungsvollständigen Ordnung. Als Ergebnis liegen die rationalen Zahlen (im Sinne der Ordnung) dicht in den reellen Zahlen und jede nach oben beschränkte Teilmenge besitzt ein Supremum.
Die Methode der Cauchyfolgen vervollständigt die Menge der rationalen Zahlen als metrischen Raum zu einem vollständigen metrischen Raum im topologischen Sinn. Damit liegen die rationalen Zahlen im topologischen Sinn dicht in den reellen Zahlen und jede Cauchy-Folge besitzt einen Grenzwert. Diese Methode der Vervollständigung (Komplettierung) ist auch bei vielen anderen mathematischen Strukturen anwendbar.
Die Methode der Intervallschachtelungen reflektiert die numerische Berechnung von reellen Zahlen: Sie werden durch Näherungswerte mit einer gewissen Genauigkeit (Näherungsfehler) approximiert, also in ein Intervall um den Näherungswert eingeschlossen. Der Beweis, dass sich die Näherung (durch iterative oder rekursive Verfahren) beliebig verbessern lässt, ist dann ein Beweis für die „Existenz“ eines reellen Grenzwertes.
Die Methode über die Vervollständigung einer uniformen Struktur verwendet ein besonders allgemeines Konzept, das sich nicht nur auf geordnete oder mit einem Abstandsbegriff versehene Strukturen wie die rationalen Zahlen anwenden lässt.

Konstruktion der reellen Zahlen aus der euklidischen Geometrie

Ausgehend von rein geometrischen Begriffen wie Punkte, Geraden und Ebenen lassen sich reelle Zahlen als Verhältnisse von Streckengrößen definieren. Ausgangspunkt ist dabei z. B. Hilberts Axiomensystem der euklidischen Geometrie. Neben den geometrischen Axiomen ist dabei besonders als "Axiom des Messens" eine Variante des archimedischen Axioms von Bedeutung und ein "Vollständigkeitsaxiom", das besagt, dass man keine Punkte hinzu nehmen kann, ohne dass die Axiome verletzt werden.

Axiomatische Einführung der reellen Zahlen

Die Konstruktion der reellen Zahlen als Zahlbereichserweiterung der rationalen Zahlen wird in der Literatur oft in vier Schritten vorgenommen: Von der Mengenlehre über die natürlichen, die ganzen, die rationalen schließlich zu den reellen Zahlen wie oben beschrieben. Eine direkte Möglichkeit, die reellen Zahlen mathematisch zu erfassen, ist, sie durch Axiome zu beschreiben. Dazu benötigt man drei Gruppen von Axiomen - die Körperaxiome, die Axiome der Ordnungsstruktur sowie ein Axiom, das die Vollständigkeit garantiert.

Die reellen Zahlen sind ein Körper
Die reellen Zahlen sind total geordnet (siehe auch geordneter Körper), d. h. für alle reellen Zahlen $a,b,c$ $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)
Die reellen Zahlen sind ordnungsvollständig, d. h. jede nichtleere, nach oben beschränkte Teilmenge von $\mathbb {R}$ besitzt ein Supremum in $\mathbb {R}$

Alternativ kann der Körper der reellen Zahlen auch charakterisiert 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:
Jede Cauchy-Folge in $\mathbb {R}$ konvergiert oder anders ausgedrückt die reellen Zahlen sind bzgl. der vom Absolutbetrag induzierten Metrik ein vollständiger Raum.

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

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

Wenn man die reellen Zahlen axiomatisch einführt, dann ist die Konstruktion als Zahlbereichserweiterung ihr „Existenzbeweis“, genauer: Die Konstruktion in vier Schritten aus der Mengenlehre beweist, dass ein Modell für die durch die Axiome beschriebene Struktur in der Mengenlehre, von der die Konstruktion ausging, vorhanden ist.

Zum Vollständigkeitsaxiom bzw. zum Supremumsaxiom bzw. zum Intervallschachtelungsaxiom gleichwertige Axiome

Anstelle der drei genannten Axiome kann man auch verschiedene andere Axiome setzen:^[6]

Das Intervallschachtelungsaxiom (zweite Version):
Jede Intervallschachtelung in $\mathbb {R}$ besitzt einen Kern.
Das Infimumsaxiom:
Jede nichtleere nach unten beschränkte Teilmenge von $\mathbb {R}$ besitzt ein Infimum.
Das Heine-Borel-Axiom:
Wird ein abgeschlossenes und beschränktes Intervall von $\mathbb {R}$ durch beliebige viele offene Mengen von $\mathbb {R}$ überdeckt, so gibt es unter diesen offenen Mengen stets auch nur endlich viele, die das Intervall überdecken.
Das Bolzano-Weierstraß-Axiom:
Jede unendliche beschränkte Teilmenge von $\mathbb {R}$ besitzt mindestens einen Häufungspunkt.
Das Monotonieaxiom:
Jede monotone beschränkte Folge in $\mathbb {R}$ konvergiert.
Das Zusammenhangsaxiom:
Die reellen Zahlen bilden in der üblichen Topologie einen zusammenhängenden topologischen Raum.
Das Zwischenwertaxiom:
Eine auf einem Intervall von $\mathbb {R}$ definierte stetige reelle Funktion nimmt in ihrem Wertebereich stets jeden Zwischenwert an.
Das Beschränktheitsaxiom:
Eine auf einem abgeschlossenen und beschränkten Intervall von $\mathbb {R}$ definierte stetige reelle Funktion hat stets einen nach oben beschränkten Wertebereich.
Das Maximumsaxiom:
Eine auf einem abgeschlossenen und beschränkten Intervall von $\mathbb {R}$ definierte stetige reelle Funktion besitzt stets eine Maximumsstelle.

Durch die so gewonnenen äquivalenten Axiomensysteme ist der Körper der reellen Zahlen jeweils (bis auf Isomorphie) eindeutig bestimmt, denn je zwei vollständige angeordnete Körper sind isomorph.^[7]

Mächtigkeiten

Die Mächtigkeit von $\mathbb {R}$ wird mit ${\mathfrak {c}}$ (Mächtigkeit des Kontinuums) bezeichnet. Sie ist größer als die Mächtigkeit der Menge der natürlichen Zahlen, die als kleinste unendliche Mächtigkeit $\aleph _{0}$ heißt. Die Menge der reellen Zahlen ist deshalb überabzählbar. Ein Beweis für ihre Überabzählbarkeit ist Cantors zweites Diagonalargument. Informell bedeutet „Überabzählbarkeit“, dass jede Liste $x_{1},x_{2},x_{3},\ldots$ reeller Zahlen unvollständig ist. Da die Menge der reellen Zahlen gleichmächtig zu der Potenzmenge der natürlichen Zahlen ist, gibt man ihre Mächtigkeit auch mit $2^{\aleph _{0}}$ an.

Die eingangs genannten weniger umfassenden Erweiterungen der Menge der natürlichen Zahlen sind dagegen gleichmächtig mit den natürlichen Zahlen, also abzählbar. Für die rationalen Zahlen lässt sich dies durch Cantors erstes Diagonalargument beweisen. Selbst die algebraischen Zahlen sind abzählbar. Die Überabzählbarkeit entsteht also erst durch die Hinzunahme der transzendenten Zahlen.

In der Mengenlehre wurde nach Cantors Entdeckungen die Frage untersucht: "Gibt es eine Mächtigkeit zwischen „abzählbar“ und der Mächtigkeit der reellen Zahlen, zwischen $\aleph _{0}$ und ${\mathfrak {c}}$ ?" – Oder, für die reellen Zahlen formuliert: "Ist jede überabzählbare Teilmenge der reellen Zahlen gleichmächtig wie die Menge aller reellen Zahlen?" Die Vermutung, dass die Antwort auf die erste Frage „Nein!“ und auf die zweite Frage „Ja“ lautet, wird als Kontinuumhypothese (CH) bezeichnet, kurz formuliert als $2^{\aleph _{0}}=\aleph _{1}$ . Es konnte gezeigt werden, dass die Kontinuumhypothese unabhängig von den üblicherweise verwendeten Axiomensystemen wie der Zermelo-Fraenkel-Mengenlehre mit Auswahlaxiom (ZFC) ist, d. h. sie kann im Rahmen dieser Systeme weder bewiesen noch widerlegt werden.

Topologie, Kompaktheit, erweiterte reelle Zahlen

Die übliche Topologie, mit der die reellen Zahlen versehen werden, ist diejenige, die aus der Basis der offenen Intervalle

(a,b)={]a,b[}=\{x\in \mathbb {R} \mid a<x<b\};

a,b\in \mathbb {R}

erzeugt wird. In dieser Form geschrieben handelt es sich um die Ordnungstopologie. Offene Intervalle in den reellen Zahlen lassen sich aber auch durch Mittelpunkt und „Radius“ darstellen: $]p-r,p+r[,$ also als offene Kugeln

B_{r}(p):=\{x\in \mathbb {R} \mid |x-p|<r\}

bezüglich der durch die Betragsfunktion definierten Metrik $d(x,y):=|x-y|.$ Die von den offenen Intervallen erzeugte Topologie ist also gleichzeitig die Topologie dieses metrischen Raums. Da die rationalen Zahlen in dieser Topologie dicht liegen, reicht es, sich bei den Intervallgrenzen bzw. den Mittelpunkten und Radien der Bälle, die die Topologie definieren, auf rationale Zahlen $a,b,p,r$ zu beschränken, die Topologie genügt daher beiden Abzählbarkeitsaxiomen.

Im Gegensatz zu den rationalen Zahlen sind die reellen Zahlen ein lokalkompakter Raum; zu jeder reellen Zahl $x$ lässt sich also eine offene Umgebung angeben, deren Abschluss kompakt ist. So eine offene Umgebung ist einfach zu finden; jede beschränkte, offene Menge $U$ mit $x\in U$ leistet das Gewünschte: nach dem Satz von Heine-Borel ist ${\bar {U}}$ kompakt.

Der reelle Zahlenkörper ist nur lokalkompakt, aber nicht kompakt. Eine verbreitete Kompaktifizierung sind die sogenannten erweiterten reellen Zahlen ${\overline {\mathbb {R} }}:=\mathbb {R} \cup \{-\infty ,+\infty \},$ wobei die Umgebungen von $-\infty$ durch die Umgebungsbasis

{\mathfrak {B}}:=\{B_{r}(-\infty )\mid r\in {\mathbb {Q}}^{+}\}

mit

B_{r}(-\infty ):=\{x\in \mathbb {R} \mid x<-{\tfrac {1}{r}}\}

und die Umgebungen von $+\infty$ durch die Umgebungsbasis

{\mathfrak {B}}:=\{B_{r}(+\infty )\mid r\in {\mathbb {Q}}^{+}\}

mit

B_{r}(+\infty ):=\{x\in \mathbb {R} \mid x>{\tfrac {1}{r}}\}

definiert werden. Diese Topologie genügt weiterhin beiden Abzählbarkeitsaxiomen. ${\overline {\mathbb {R} }}\;$ ist homöomorph zum abgeschlossenen Intervall [0,1], beispielsweise ist die Abbildung $x\mapsto \arctan x$ ein Homöomorphismus ${\overline {\mathbb {R} }}\to [-\pi /2,\pi /2],$ und alle kompakten Intervalle sind mittels affin-linearer Funktionen homöomorph. Bestimmt divergente Folgen sind in der Topologie der erweiterten reellen Zahlen konvergent, beispielsweise handelt die Aussage

\lim _{n\to \infty }n^{2}=+\infty

in dieser Topologie von einem echten Grenzwert.

Mit $-\infty <x<\infty$ für alle $x\in \mathbb {R}$ sind die erweiterten reellen Zahlen weiterhin totalgeordnet. Es ist allerdings nicht möglich, die Körperstruktur der reellen Zahlen auf die erweiterten reellen Zahlen zu übertragen, beispielsweise hat die Gleichung $\infty +x=\infty$ keine eindeutige Lösung.

Literatur

Oliver Deiser: Reelle Zahlen - Das klassische Kontinuum und die natürlichen Folgen. Springer-Verlag, 2007, ISBN 3-540-45387-3
Otto Forster: Analysis 1. Differential und Integralrechnung einer Veränderlichen. 4. Auflage. vieweg, 1983, ISBN 3-528-37224-9
Harro Heuser: Lehrbuch der Analysis Teil 1. 5. Auflage. Teubner-Verlag, 1988, ISBN 3-519-42221-2
John M. H. Olmsted: The Real Number System. Appleton-Century-Crofts, New York 1962.
Der kleine Duden "Mathematik". 2. Auflage. Dudenverlag, Mannheim [u. a.] 1996, ISBN 3-411-05352-6.

Quellen

↑ Georg Cantor. Grundlagen einer allgemeinen Mannigfaltigkeitslehre (1883), §9, zitiert nach Oskar Becker, Grundlagen der Mathematik in geschichtlicher Entwicklung, suhrkamp taschenbuch wissenschaft, 1. Auflage 1995, ISBN 3-518-27714-6, S 245ff.
↑ Edmund Landau: Grundlagen der Analysis Chelsea Publ. New York 1948
↑ Georg Cantor Grundlagen einer allgemeinen Mannigfaltigkeitslehre (1883), §9, zitiert nach Oskar Becker, Grundlagen der Mathematik in geschichtlicher Entwicklung, suhrkamp taschenbuch wissenschaft, 1. Auflage 1995, ISBN 3-518-27714-6, S 248.
↑ Konrad Knopp. Theorie und Anwendung der unendlichen Reihen. 5. Auflage, Springer Verlag 1964, ISBN 3-540-03138-3. §3 Die irrationalen Zahlen.
↑ Nicolas Bourbaki: Topologie Générale (= Éléments de mathématique). Springer, Berlin 2007, ISBN 3-540-33936-1, Kap. 4, S. 3.
↑ Nach: Der kleine Duden "Mathematik". S. 449. und Olmsted: S. 194–195.
↑ Olmstedt: S. 129.

Weblinks

Wiktionary: reelle Zahl – Bedeutungserklärungen, Wortherkunft, Synonyme, Übersetzungen

Wikibooks: Analysis - Reelle Zahlen – Lern- und Lehrmaterialien

Vorlage:Link FA Vorlage:Link FA Vorlage:Link GA Vorlage:Link GA

[1] Georg Cantor. Grundlagen einer allgemeinen Mannigfaltigkeitslehre (1883), §9, zitiert nach Oskar Becker, Grundlagen der Mathematik in geschichtlicher Entwicklung, suhrkamp taschenbuch wissenschaft, 1. Auflage 1995, ISBN 3-518-27714-6, S 245ff.

[2] Edmund Landau: Grundlagen der Analysis Chelsea Publ. New York 1948

[3] Georg Cantor Grundlagen einer allgemeinen Mannigfaltigkeitslehre (1883), §9, zitiert nach Oskar Becker, Grundlagen der Mathematik in geschichtlicher Entwicklung, suhrkamp taschenbuch wissenschaft, 1. Auflage 1995, ISBN 3-518-27714-6, S 248.

[Knopp-4] Konrad Knopp. Theorie und Anwendung der unendlichen Reihen. 5. Auflage, Springer Verlag 1964, ISBN 3-540-03138-3. §3 Die irrationalen Zahlen.

[5] Nicolas Bourbaki: Topologie Générale (= Éléments de mathématique). Springer, Berlin 2007, ISBN 3-540-33936-1, Kap. 4, S. 3.

[6] Nach: Der kleine Duden "Mathematik". S. 449. und Olmsted: S. 194–195.

[7] Olmstedt: S. 129.

[1]

[2]

[3]

[4]

[5]

[6]

[7]