In der Mathematik sind Hyperreelle Zahlen ein Untersuchungsgegenstand der Nichtstandardanalysis. Die Menge der hyperreellen Zahlen wird meist als *R geschrieben; sie erweitert die reellen Zahlen um ihre infinitesimal benachbarten Zahlen sowie um unendlich große (infinite) Zahlen.

Als Newton und Leibniz ihre Differentialrechnung mit "Fluxionen" durchführten, benutzten sie infinitesimale Zahlen, und noch Euler und Cauchy fanden sie nützlich. Trotzdem wurden diese Zahlen von Anfang an skeptisch betrachtet, und in den 1800ern wurde die Analysis durch die Einführung der epsilon-delta-Definition des Grenzwertes durch Cauchy, Weierstraß und andere auf eine solide Grundlage gestellt. Infinitesimale Zahlen wurden von da an nicht mehr benutzt.

Abraham Robinson zeigte dann in den 1960ern, auf welche Weise unendlich große und kleine Zahlen streng formal definiert werden können und eröffnete so das Gebiet der Nichtstandard-Analysis. Da Robinsons Theorie in seiner strengsten Form umfassenden Gebrauch von der klassischen Logik und der Mengenlehre, insbesondere vom Auswahlaxiom, macht, wird sie als nichtkonstruktiv angesehen. Die hier gegebene Konstruktion ist eine (immer noch nichtkonstruktive) vereinfachte Version, die zuerst von Lindstrom gegeben wurde.

Durch die hyperreellen Zahlen ist eine Formulierung der Differential- und Integralrechnung ohne den Grenzwertbegriff möglich.

Eine weitere Klasse von Nichtstandard-Zahlen ist die echte Klasse der surrealen Zahlen, die nicht nur die reellen, sondern auch die hyperreellen Zahlen und alle Ordinalzahlen enthält.

Eigenschaften

Die hyperreellen Zahlen *R bilden einen geordneten Körper, der R als Teilkörper enthält. Im Gegensatz zu den reellen Zahlen bilden die hyperreellen Zahlen keinen metrischen Raum, doch aufgrund ihrer Ordnung tragen sie eine Ordnungstopologie.

Eine logische Aussage der Prädikatenlogik erster Stufe heißt im Kontext der Nichtstandard-Analysis wohlgeformt, wenn sie nur bestimmte grundlegende Verknüpfungen (Grundrechenarten, Vergleich) und natürliche Zahlen enthält und nur über reelle Zahlen quantifiziert (siehe Allquantor, Existenzquantor; insbesondere darf sie nicht über Elemente einer echten Teilmenge von R oder über Mengen von reellen Zahlen quantifizieren).

Die hyperreellen Zahlen sind auf eine solche Weise definiert, dass jede wohlgeformte Aussage auch zutrifft, wenn man sie über hyperreelle Zahlen quantifiziert. Zum Beispiel können wir sagen, dass für jede reelle Zahl eine größere Zahl existiert:

Dieselbe Aussage trifft dann auch für hyperreelle Zahlen zu:

Ebenso kann man aussagen, dass man eine größere Zahl erhält, wenn man 1 zu einer reellen Zahl addiert:

Dasselbe gilt für hyperreelle Zahlen:

Das heißt nun nicht, dass R und *R sich genau gleich verhalten. Zum Beispiel gibt es in *R ein Element w mit der folgenden Eigenschaft:

1 < w, 1+1 < w, 1+1+1 < w, 1+1+1+1 < w, ...

Eine solche Zahl gibt es in R nicht. Dieser Unterschied ist möglich, da die angegebene Eigenschaft

nicht durch eine wohlgeformte Formel ausdrückbar ist, denn diese Formel quantifiziert über N. Eine hyperreelle Zahl wie w nennt man infinit, der Kehrwert einer unendlich großen Zahl ist eine infinitesimale Zahl.

Eine weitere Eigenschaft der reellen Zahlen, die sich nicht auf die hyperreellen überträgt, ist die Dedekind-Vollständigkeit: Jede nichtleere nach oben beschränkte Teilmenge von R hat eine obere Grenze. Diese Forderung charakterisiert die Menge der reellen Zahlen eindeutig: Jeder Dedekind-vollständige Körper ist isomorph zu R.

Für die reelle Teilmenge M sei M⁺ = { x in R : x ? b für alle b in M }. Dann lässt sich die Dedekind-Vollständigkeit so formalisieren:

Diese Aussage ist nicht auf hyperreelle Zahlen übertragbar, weil sie nicht nur über reelle Zahlen, sondern auch über Mengen reeller Zahlen quantifiziert (M ? R).

Konstruktion

Wir konstruieren die hyperreellen Zahlen als Folgen reeller Zahlen. Auf diese Weise können wir sofort die reelle Zahl r mit der Folge (r, r, r, ...) identifizieren. Zum Beispiel haben wir

0 = ( 0, 0, 0, 0, ... ),

1 = ( 1, 1, 1, 1, ... ),

? = ( ?, ?, ?, ?, ... ).

Die Rechenoperationen definieren wir gliedweise:

(a₀, a₁, a₂, ...) + (b₀, b₁, b₂, ...) = (a₀ + b₀, a₁ + b₁, a₂ + b₂, ...)

Analog definieren wir die Multiplikation.

zum Beispiel ist dann

1+3 = ( 1, 1, 1, 1, ...) + ( 3, 3, 3, 3, ...) = ( 1+3, 1+3, 1+3, 1+3, ... ) = ( 4, 4, 4, 4, ... ) = 4.

Für jede Folge a = (a₀, a₁, a₂, ...) gilt dann z.B.

a+a = 2·a.

Wir möchten diese Folgen vergleichen, geraten aber schnell in Schwierigkeiten: Einige Einträge der ersten Folge könnten größer, andere könnten kleiner sein als die entsprechenden Einträge der zweiten Folge. Wir müssen angeben, welche Positionen "eine Rolle spielen".

Betrachten wir z.B. die Folgen

a = ( 1; 0,1; 0,01; 0,001; 0,0001; ...)

b = ( 0; 2; 0,01; 0,001; 0,0001; ...)

c = ( 0; 1; 1; 1; 1; ...)

d = ( 1; 0; 1; 1; 1; ...)

Die Folgen a und b unterscheiden sich nur an den ersten zwei Einträgen, ebenso die Folgen c und d. Es ist daher sinnvoll, a und b gleichzusetzen, und c und d gleichzusetzen. Vergleichen wir a und c: Jede Komponente von a - außer der ersten - ist kleiner als die entsprechende Komponente von c. Die Folge a sollte also kleiner sein als c. Allgemein spielt es keine Rolle, wenn zwei Folgen sich nur an endlich vielen Stellen unterscheiden. Ein Problem bekommen wir dann bei Vergleich dieser beiden Folgen:

e = ( 1; 0; 1; 0; 1; 0; ...)

f = ( 0; 1; 0; 1; 0; 1; ...)

Die Folge e ist an unendlich viele Stellen kleiner als f, aber auch an unendlich vielen Stellen größer als f.

Hier schafft die Theorie Abhilfe, indem wir feststellen: Eine konsistente Angabe, welche Positionen "eine Rolle spielen", gibt ein freier Ultrafilter U auf den natürlichen Zahlen. Ein solches U existiert nach dem Auswahlaxiom. (Genaugenommen existieren viele freie Ultrafilter, aber man kann zeigen, dass die Wahl des Ultrafilters keine Rolle spielt). Mit Hilfe von U können wir nun eine Ordnungsrelation definieren:

(a₀, a₁, a₂, ...) ? (b₀, b₁, b₂, ...) gdw. {n : a_n ? b_n} in U.

Dies liefert eine totale Präordnung auf der Menge der reellen Zahlenfolgen. Definieren wir noch eine Äquivalenzrelation:

a = b gdw. a ? b und b ? a.

Auf der Menge der Äquivalenzklassen, die wir mit *R bezeichnen, ist die Ordungsrelation nun eine totale Ordnung. Addition und Multiplikation der Äquivalenzklassen sind wohldefiniert, und wir haben somit den Körper der hyperreellen Zahlen konstruiert.

Je nach Wahl des Ultrafilters erhalten wir 0 = e < f = 1 oder 1 = e > f = 0 als Anordnung von e und f (je nachdem, ob die Menge der geraden Stellen oder die Menge der ungeraden Stellen im Ultrafilter, also "wesentlich", ist).

Infinitesimale und unendlich große Zahlen

Eine hyperreelle Zahl e heißt infinitesimal, wenn sie kleiner ist als jede positive reelle Zahl, aber größer als jede negative reelle Zahl. Die Zahl Null ist die einzige infinitesimale reelle Zahl, aber es gibt andere hyperreelle infinitesimale Zahlen. Die oben definierte Zahl a ist größer als 0, aber kleiner als jede positive reelle Zahl (denn der Ultrafilter enthält alle Komplemente endlicher Mengen).

Eine hyperreelle Zahl x heißt endlich, wenn es eine natürliche Zahl n gibt mit -n < x < n, anderenfalls heißt x unendlich. Die Zahl A = ( 1; 10; 100; 1000; ...) ist eine infinite Zahl. Beachte: Die Bezeichnung "unendlich groß" meint meist eine Zahl, die größer ist als jede natürliche Zahl, "unendlich" schließt aber auch Zahlen ein, die kleiner sind als jede ganze Zahl, wie -A = ( -1; -10; -100; ...).

Eine von 0 verschiedene Zahl x ist genau dann unendlich, wenn 1/x infinitesimal ist. Z.B. ist

A = 1/a.

Es lässt sich zeigen, dass jede endliche hyperreelle Zahl "sehr nah" an genau einer reellen Zahl liegt. Genauer: Ist x eine endliche hyperreelle Zahl, dann gibt es genau eine reelle Zahl st(x), so dass x-st(x) infinitesimal ist. Die Zahl st(x) nennt man den Standardteil von x, die Differenz zu x ist der Nichtstandardteil. Die Abbildung st hat einige angenehme Eigenschaften: Für alle endlichen hyperreellen Zahlen x, y gilt:

• st(x + y) = st(x) + st(y),
• st(xy) = st(x) st(y),
• st(x) = x genau dann, wenn x reell ist,
• st(1/x) = 1/st(x) falls x nicht infinitesimal ist,
• die Abbildung st ist stetig bzgl. der Ordungstopologie auf der Menge der endlichen hyperreellen Zahlen.

Die ersten zwei Eigenschaften (und die Folgerung st(0)=0, st(1)=1 aus der dritten Eigenschaft) besagen, dass st ein Ring-Homomorphismus ist.

Zum Beispiel ist die hyperreelle Zahl g = ( 0; 0,9; 0,99; 0,999; ...) gliedweise kleiner als ( 1; 1; 1; 1; ...), also ist g < 1. Sie ist aber größer als jede reelle Zahl kleiner 1. Sie ist daher zur 1 infinitesimal benachbart und 1 ist ihr Standardteil. Ihr Nichtstandardteil (die Differenz zu 1) ist

1 - g = ( 1; 0,1; 0,01; 0,001; ...) = a.

Beachte aber, dass die reelle Zahl 0,999... als Grenzwert der Folge g gleich 1 ist.

Weblinks

• Jordi Gutierrez Hermoso: Nonstandard Analysis and the Hyperreals (http://mathforum.org/dr.math/faq/analysis_hyperreals.html) -- Eine englische Einführung.