Vollständigkeitsaxiom

Vollständigkeitsaxiom

Die Menge der reellen Zahlen ist heute der für Anwendungen der Mathematik wichtigste Zahlbereich: Eine Vielzahl von (berechneten) physikalischen Größen wie zum Beispiel Länge, Temperatur und Masse können mit reellen Zahlen als Maßzahl angegeben werden. Anschaulich entspricht die Menge der reellen Zahlen der Menge aller Punkte der Zahlengeraden. Man sagt: Die reellen Zahlen sind diesen Punkten bijektiv zugeordnet.

Reelle Zahlen sind eine Erweiterung des Bereichs der rationalen Zahlen. Diese Erweiterung ist nötig, weil die rationalen Zahlen für manche Längen keine Maßzahl bereitstellen, zum Beispiel für die Diagonale eines Quadrates mit der Seitenlänge 1 oder für die Teilstrecken in einem Pentagramm mit der Seitenlänge 1. Schon die Pythagoräer erkannten die Notwendigkeit, den Zahlbegriff über die Längenverhältnisse (die durch rationale Zahlen beschrieben werden) hinaus zu erweitern. Erst die moderne Mathematik hat aber den Bereich der reellen Zahlen definiert und damit dem Grenzwertbegriff und der gesamten Analysis ein festes Fundament gegeben.

Für die Menge der reellen Zahlen wird das Symbol \mathbb{R} (auch \mathbf{R}, Unicode ℝ) verwendet. Diese werden unterschieden in:

Darstellen lassen sich reelle Zahlen beispielsweise als (unendliche oder abbrechende) Dezimalzahlen.

Inhaltsverzeichnis

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. 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),
  • die Eulersche Zahl e,
  • die Wurzeln aus ganzen Zahlen, die nicht ganzzahlige Werte haben wie z. B. \sqrt{2}.

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 reellen Wurzelausdrücke, aber nicht nur diese (z. B. Lösungen geeigneter Gleichungen 5. Grades). Ihr Komplement ist die Menge der (reellen) transzendenten Zahlen.

Konstruktion von \mathbb{R} aus \mathbb{Q}

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 Ä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.

Die drei genannten Konstruktionsmethoden 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 metrischer 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.
  • 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.

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.

  1. Die reellen Zahlen sind ein Körper
  2. Die reellen Zahlen sind total geordnet (siehe auch 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 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:

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 beide Axiomensysteme ist der Körper der reellen Zahlen (bis auf Isomorphie) eindeutig bestimmt.

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.

Mächtigkeiten

Die Mächtigkeit von \mathbb{R} wird mit \mathfrak c (Mächtigkeit des „Continuums“) oder mit \aleph (Aleph) (ohne Index!) 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.

Übliche, weniger umfassende Erweiterungen der Menge der natürlichen Zahlen sind gleichmächtig mit den natürlichen Zahlen, also abzählbar: die Menge der ganzen Zahlen, der rationalen Zahlen und auch der algebraischen Zahlen. Einen Beweis ihrer Abzählbarkeit liefert Cantors erstes Diagonalargument. 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 „\aleph = \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 \R | a &amp;amp;lt; x &amp;amp;lt; b\}, a, b \in \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: ]pr,p + r[, also als offene Bälle B_r(p):=\{x\in\R:|x-p|&amp;amp;lt;r\} bezüglich der durch die Betragsfunktion definierten Metrik d(x,y): = | xy | . 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 auf rationale a,b bzw. 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. Solch 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, nicht aber kompakt. Eine verbreitete Kompaktifizierung sind die sogenannten erweiterten reellen Zahlen \overline{\R}:=\R \cup \{-\infty, +\infty \}, wobei die Umgebungen von -\infty durch die Umgebungsbasis \mathfrak B:=\{B_r(-\infty)|r\in{\Bbb Q}^+\} mit B_r(-\infty):=\{x\in\R|x&amp;amp;lt;-1/r\} und die Umgebungen von +\infty durch die Umgebungsbasis \mathfrak B:=\{B_r(+\infty)|r\in{\Bbb Q}^+\} mit B_r(\infty):=\{x\in\R|x&amp;amp;gt;1/r\} definiert werden. Diese Topologie genügt weiterhin beiden Abzählbarkeitsaxiomen. \overline{\R}\; ist homöomorph zum abgeschlossenen Intervall [0,1], beispielsweise ist die Abbildung x\mapsto\arctan x ein Homöomorphismus \overline{\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 ist die Aussage

\lim_{n\to\infty} n^2 = \infty

in dieser Topologie ein echter Grenzwert.

Mit -\infty&amp;amp;lt;x&amp;amp;lt;\infty für alle x\in\R sind die erweiterten reellen Zahlen weiterhin total geordnet; 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.

Verwandte Themen

  • Eine näherungsweise Darstellung reeller Zahlen im Computer erfolgt durch Gleitkommazahlen.
  • Berechnungen unter Berücksichtigung der Näherungsfehler ermöglicht die Intervallarithmetik.
  • Die Darstellung von Zahlen erfolgt in einem Zahlensystem.

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

Quellen

  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.
  4. Konrad Knopp. Theorie und Anwendung der unendlichen Reihen. 5. Auflage, Springer Verlag 1964, ISBN 3-540-03138-3. §3 Die irrationalen Zahlen.

Weblinks



Wikimedia Foundation.

Игры ⚽ Поможем написать реферат

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Euklid'sche Geometrie — Dieser Artikel oder Abschnitt ist nicht hinreichend mit Belegen (Literatur, Webseiten oder Einzelnachweisen) versehen. Die fraglichen Angaben werden daher möglicherweise demnächst gelöscht. Hilf Wikipedia, indem du die Angaben recherchierst und… …   Deutsch Wikipedia

  • Euklidische Geometrie — Die euklidische Geometrie ist zunächst die uns vertraute, anschauliche Geometrie der Ebene oder des dreidimensionalen Raums. Der Begriff hat jedoch sehr verschiedene Aspekte und lässt Verallgemeinerungen zu. Inhaltsverzeichnis 1 Die Geometrie des …   Deutsch Wikipedia

  • Axiom — Ein Axiom ist ein nicht deduktiv abgeleiteter Grundsatz einer Theorie (Wissenschaft, eines axiomatischen Systems). Der Ausdruck „Axiom“ wird in drei Grundbedeutungen verwendet. Er bezeichnet einen unmittelbar einleuchtenden Grundsatz, den… …   Deutsch Wikipedia

  • Axiomatik — Ein Axiom ist ein nicht deduktiv abgeleiteter Grundsatz einer Theorie (Wissenschaft, eines axiomatischen Systems). Der Ausdruck Axiom wird in drei Grundbedeutungen verwendet: Er bezeichnet einen unmittelbar einleuchtenden Grundsatz (klassischer… …   Deutsch Wikipedia

  • Axiomatische Theorie — Ein Axiom ist ein nicht deduktiv abgeleiteter Grundsatz einer Theorie (Wissenschaft, eines axiomatischen Systems). Der Ausdruck Axiom wird in drei Grundbedeutungen verwendet: Er bezeichnet einen unmittelbar einleuchtenden Grundsatz (klassischer… …   Deutsch Wikipedia

  • Erweiterte reelle Zahlen — Zahlengerade Die Menge der reellen Zahlen ist heute der für Anwendungen der Mathematik wichtigste Zahlbereich: Eine Vielzahl von (berechneten) physikalischen Größen wie zum Beispiel Länge, Temperatur und Masse können mit reellen Zahlen als… …   Deutsch Wikipedia

  • Fernpunkt (Geometrie) — Die projektive Geometrie ist ein Teilgebiet der Geometrie. Sie ist aus der perspektivischen Darstellung dreidimensionaler Gegenstände in der zweidimensionalen Ebene hervorgegangen. Im Gegensatz zur „gewöhnlichen“, euklidischen Geometrie, gibt es… …   Deutsch Wikipedia

  • Grundannahme — Ein Axiom ist ein nicht deduktiv abgeleiteter Grundsatz einer Theorie (Wissenschaft, eines axiomatischen Systems). Der Ausdruck Axiom wird in drei Grundbedeutungen verwendet: Er bezeichnet einen unmittelbar einleuchtenden Grundsatz (klassischer… …   Deutsch Wikipedia

  • Hilberts Axiomensystem der euklidischen Geometrie — David Hilbert verwendet für seine Axiomatische Grundlegung der euklidischen Geometrie (im dreidimensionalen Raum) „drei verschiedene Systeme von Dingen“, nämlich Punkte, Geraden und Ebenen, und „drei grundlegende Beziehungen“, nämlich liegen,… …   Deutsch Wikipedia

  • Infimum — In der Mathematik treten die Begriffe Supremum, Infimum, obere/untere Schranke, nach oben/unten beschränkt bei der Untersuchung halbgeordneter Mengen auf. Das Konzept der Beschränktheit im Sinn der Existenz von solchen Schranken wird in… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”