Erweiterte reelle Zahl

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche
Zwei verschiedene Methoden, die reellen Zahlen durch Unendlichkeiten zu erweitern

Als erweiterte reelle Zahlen bezeichnet man in der Mathematik eine Menge, die aus dem Körper der reellen Zahlen durch Hinzufügen neuer Symbole für unendliche Elemente (auch: uneigentliche Punkte) entsteht. Man unterscheidet genauer zwischen den affin erweiterten reellen Zahlen, bei denen es zwei vorzeichenbehaftete uneigentliche Punkte gibt, und den projektiv erweiterten reellen Zahlen mit nur einem vorzeichenlosen uneigentlichen Punkt. Ohne den Zusatz affin bzw. projektiv wird der Begriff erweiterte reelle Zahlen in der Literatur üblicherweise gleichbedeutend mit affin erweiterte reelle Zahlen verwendet, in diesem Artikel wird dieser jedoch als gemeinsamer Oberbegriff für beide Erweiterungen genutzt.

Beispielsweise machen die affin erweiterten reellen Zahlen es möglich, die unendlichen Elemente als den Grenzwert von bestimmt divergenten Folgen anzusehen und somit solche Folgen analog zu konvergenten Folgen zu behandeln. Die Definition der Erweiterungen ist dementsprechend zunächst topologisch motiviert. Die Arithmetik der reellen Zahlen lässt sich dagegen auf die erweiterten reellen Zahlen nicht vollständig fortsetzen.

Definition[Bearbeiten | Quelltext bearbeiten]

Die reellen Zahlen bilden mit ihrer üblichen Topologie einen lokalkompakten Raum. Durch geeignetes Hinzufügen uneigentlicher Punkte entsteht hieraus ein kompakter Raum.

  • Bei der affinen Erweiterung ergänzt man \R um zwei Elemente +\infty und -\infty als vorzeichenbehaftete Unendlichkeiten zu \bar{\R} := \R\cup\{+\infty,-\infty\}. Mit \pm\infty werden zunächst einfach zwei beliebige Nicht-Elemente der reellen Zahlen bezeichnet.
  • Im Fall der projektiven Erweiterung betrachtet man die Einpunktkompaktifizierung \R^\ast := \R\cup\{\infty\} mit einem einzigen durch das Symbol \infty bezeichneten uneigentlichen Punkt.

Topologie[Bearbeiten | Quelltext bearbeiten]

Jede in \R offene Menge sei auch in \bar{\R} bzw. \R^\ast offen. Zusätzlich wird eine Umgebungsbasis für die uneigentlichen Punkte angegeben.

affiner Fall[Bearbeiten | Quelltext bearbeiten]

Für jedes a\in\R soll

\left[-\infty,a\right[:= \{x\in\R\mid x<a\}\cup\{-\infty\}

eine offene Umgebung von -\infty und

\left]a,+\infty\right]:=\{x\in\R\mid x>a\}\cup\{+\infty\}

eine offene Umgebung von +\infty sein. Hierdurch wird beispielsweise die durch x_n=n gegebene Folge (x_n)_{n\in\N} zu einer gegen +\infty konvergenten Folge: Für jedes a\in\R sind fast alle Folgenglieder in ]a,+\infty] enthalten, nämlich all jene mit  n>a.

Die Abbildung f\colon\bar{\R}\to[-1,1], die durch

f(x)=\frac x {1+|x|} für x\in\R, f(-\infty)=-1, f(+\infty)=+1

gegeben ist, ist ein Homöomorphismus. Topologisch ist \bar{\R} also völlig gleichwertig mit einem abgeschlossenen Intervall.

Die affin erweiterten reellen Zahlen bilden eine streng total geordnete Menge, indem die Ordnung der reellen Zahlen durch -\infty<a, a<+\infty für alle a\in\R sowie -\infty<+\infty fortgesetzt wird. Die üblichen Schreibweisen ]a,b[ für offene, [a,b[ und ]a,b] für halb-offene und [a,b] für geschlossene Intervalle sind somit auch sinnvoll, wenn a=-\infty und/oder b=+\infty ist. Die Topologie von \bar{\R} ist zugleich die von dieser Ordnung definierte Ordnungstopologie.

Die Homöomorphie mit [-1,1] zeigt, dass \bar{\R} metrisierbar ist. Allerdings lässt sich die Standardmetrik auf \R nicht zu einer Metrik auf \bar{\R} fortsetzen: Hierzu müsste \{x \in\bar{\R}\mid d(x,+\infty)<1\} offen sein, also ein ]a,+\infty] enthalten; hieraus würde aber

2 = d(a+1,a+3) \le d(a+1,+\infty) + d(+\infty,a+3) < 1+1

folgen.

projektiver Fall[Bearbeiten | Quelltext bearbeiten]

Für jede positive reelle Zahl r soll das Komplement von [-r,r] offene Umgebung von \infty sein. Allgemeiner folgt so, wie für die Einpunktkompaktifizierung üblich, dass für jede kompakte Teilmenge K\subset\R das Komplement \R^\ast\setminus K eine offene Umgebung von \infty ist. Hierdurch wird beispielsweise auch die durch  x_n = (-1)^n n gegebene Folge (x_n)_{n\in\N} zu einer gegen \infty konvergenten Folge: Für jedes r>0 sind fast alle Folgenglieder im Komplement von [-r,r] enthalten, d.h. es gilt  |x_n|>r. Allgemein wird aus jeder dem Betrage nach bestimmt divergenten reellen Folge eine in \R^\ast gegen \infty konvergente.

Mit dieser Topologie wird \R^\ast homöomorph zur Kreislinie

S^1 = \{(x,y)\in\R^2\mid x^2+y^2=1\}.

Ein Homöomorphismus g\colon S^1\to \R^\ast ist beispielsweise gegeben durch

g(x,y) = \frac x{1-y} für (x,y)\ne(0,1) und g(0,1)=\infty.

Ebenso wenig wie die Kreisline lässt sich daher \R^\ast in mit der Topologie verträglicher Weise total ordnen. Üblicherweise belässt man es dabei, dass \infty mit endlichen Zahlen unvergleichbar ist.

Wie im affinen Fall ist auch die projektive Erweiterung metrisierbar, jedoch nicht durch Fortsetzen der reellen Standardmetrik.

Man kann sich \R^\ast auch als aus \bar{\R} durch Zusammenkleben der Punkte -\infty und +\infty entstanden denken.

Zudem entspricht \R^\ast der reellen projektiven Geraden \R P^1, dies motiviert auch die Bezeichnung.

Gemeinsame Eigenschaften[Bearbeiten | Quelltext bearbeiten]

Sowohl die affine als auch die projektive Erweiterung bilden einen kompakten Raum, in dem die reellen Zahlen eine dichte Teilmenge sind. Hieraus ergibt sich, dass jede Zahlenfolge dann eine konvergente Teilfolge (und sei es gegen einen uneigentlichen Punkt) enthält. Nur bestimmt bzw. betragsmäßig bestimmt divergente reelle Folgen werden in der affin bzw. projektiven Erweiterung zu konvergenten Folgen. Eine Folge wie die durch x_n = (-1)^n gegebene ist auch in den erweiterten reellen Zahlen divergent. In der Stone-Čech-Kompaktifizierung der reellen Zahlen dagegen konvergieren alle beschränkten Folgen.

Vereinfachte Schreibweisen[Bearbeiten | Quelltext bearbeiten]

Die Einführung der (affin) erweiterten reellen Zahlen erlaubt es zunächst, die Schreibweisen \lim_{x\to+\infty} und \lim_{x\to-\infty} analog zu \lim_{x\to x_0} mit endlichem x_0 zu behandeln, ohne dies als eigene Notation oder Sprechweise gesondert einzuführen. Auch ohne dies lediglich symbolische Schreibweisen wie \lim x_n= +\infty für bestimmt divergente Folgen gliedern sich nahtlos in den Fall konvergenter Folgen ein.

Arithmetik[Bearbeiten | Quelltext bearbeiten]

Es stellt sich die Frage, wie die mathematischen Grundrechenarten an die neuen unendlichen Stellen angepasst werden sollen. Im Sinne des Permanenzprinzips sollen hierbei alte Rechenregeln fortbestehen, aber durchgängig ist dies nicht machbar, da die erweiterten reellen Zahlen keinen vollständig geordneten Körper bilden können – ein solcher müsste wieder isomorph (und homöomorph) zu \R sein. Mindestens für einige Argumente bleiben die Operationen also undefiniert.

Für A=\bar{\R} bzw. A=\R^\ast möchte man für möglichst viele a,b \in A einen wiederum in A liegenden Wert für die Ausdrücke

a+b,\quad -a,\quad a-b,\quad a\cdot b,\quad a^{-1},\quad \frac a b

derart definieren, dass die üblichen Rechengesetze (insb. Assoziativgesetz und Kommutativgesetz von Addition und Multiplikation sowie das Distributivgesetz) auch für diese Erweiterung gültig bleiben. Genauer lautet eine sinnvolle Forderung: Stimmen zwei Ausdrücke in endlich vielen Variablen im Endlichen stets überein, sofern beide Seiten (also auch alle benutzten Teilausdrücke) definiert sind, und ist auch nicht aus trivialen Gründen stets eine Seite undefiniert, so soll diese Gleichheit der beiden Ausdrücke auch in der Erweiterung gelten, also wenn auch unendliche Werte für die Variablen zugelassen sind und alle Teilausdrücke definiert sind. Eine solche Gleichung ist beispielsweise \tfrac a b \cdot \tfrac b a = 1. Im Endlichen gilt dies für a\ne0, b\ne0, d.h. sobald \tfrac a b und \tfrac b a definiert sind (das Produkt ist hier immer definiert). Wenn für den Fall a=1, b=0 in der Erweiterung \tfrac 1 0=\infty definiert wird, muss entweder \infty\cdot0=\tfrac 1 0\cdot\tfrac01 = 1 gelten oder das Produkt \infty\cdot0 undefiniert sein.

Zusätzlich zu den Grundrechenarten interessiert noch die Potenzrechnung, d. h. man möchte dem Ausdruck a^b für möglichst viele a, b einen Wert so zuweisen, dass die Potenzgesetze a^{b+c}=a^b\cdot a^c, a^{b\cdot c}=(a^b)^c, (a\cdot b)^c=a^c\cdot b^c immer dann gelten, wenn alle auftretenden Teilausdrücke definiert sind.

Rechenregeln aus Stetigkeit[Bearbeiten | Quelltext bearbeiten]

Die genannten (algebraisch formulierten) Bedingungen sind auf jeden Fall dann erfüllt, wenn die Operationen stetig fortgesetzt werden. Es gibt jedoch beispielsweise keine stetige Abbildung \bar{\R}\times\bar{\R}\to\bar{\R} bzw. \R^\ast\times\R^\ast\to\R^\ast, die auf \R\times\R mit der Addition übereinstimmt. Daher ist die stetige Fortsetzung grundsätzlich nur partiell möglich. Durch möglichst weitreichende stetige Fortsetzung ergeben sich folgende Rechenregeln, bei denen für auf diesem Wege nicht zu definierende Ausdrücke der Wert „?“ notiert wird:

Grundrechenarten[Bearbeiten | Quelltext bearbeiten]

in \bar{\R} in \R^\ast
Vergleiche
-\infty < a < +\infty für endliches a
\infty ist mit endlichen a nicht vergleichbar
Negation
-(\pm\infty) = \mp\infty
-\infty = \infty
Addition und Subtraktion
\pm\infty + a = a \pm\infty = \pm\infty für endliches a
\infty+\infty = \infty
-\infty-\infty = -\infty
\infty + a = a + \infty = \infty für endliches a
\infty-\infty = ?
\infty\pm\infty = ?
Multiplikation
(\pm\infty)\cdot a = a\cdot(\pm\infty) = \pm\infty für 0<a\le\infty
(\pm\infty)\cdot a = a\cdot(\pm\infty) = \mp\infty für -\infty\le a<0
\infty\cdot a= a\cdot\infty = \infty für a\ne 0 (inklusive a=\infty)
0\cdot(\pm\infty) = 0
0\cdot\infty = ?
Kehrwerte
(\pm\infty)^{-1}  = 0
\infty^{-1}=0
0^{-1}=?
0^{-1}=\infty
Division
\tfrac a{\pm\infty} = 0 für endliches a
\tfrac {\pm\infty} a = \pm\infty für 0<a<\infty
\tfrac {\pm\infty} a = \mp\infty für -\infty<a<0
\tfrac a{\infty} = 0 für endliches a
\tfrac {\infty} a = \infty für endliches a
\tfrac a 0 = \infty für 0\ne a\ne\infty
\tfrac\infty\infty=?
\tfrac a 0 = ? für a beliebig
\tfrac{\infty}{\infty}=?
\tfrac 00=?

Potenzen[Bearbeiten | Quelltext bearbeiten]

Definitionsbereich (rot) von x^y im Reellen und Kandidaten (blau) für stetige Fortsetzungen. Die unendlich langen Achsen sind auf ein endliches Intervall gestaucht, mit der Null in der jeweiligen Mitte.

Im Folgenden wird nur im affinen Fall \bar{\R}=\R\cup\{-\infty,+\infty\} die stetige Fortsetzung des Potenzierens angegeben. Hierbei ist zu beachten, dass bereits im Endlichen a^b nur (reell) definiert ist, wenn a>0 (und b beliebig) oder a<0 und b\in \Z oder a=0 und b\ge0.

Ausdruck Wert Bedingung
a^{+\infty} +\infty 1<a\le+\infty
0 -1<a<1
 ? a=1 oder -\infty\le a\le-1
a^{-\infty} 0 1<a\le+\infty oder -\infty\le a<-1
+\infty 0\le a<1
 ? -1\le a<0
0^a +\infty -\infty\le a < 0 und a ist keine ungerade ganze Zahl
 ? a ist eine negative ungerade ganze Zahl
 ? a=+\infty
(+\infty)^a +\infty 0<a\le+\infty
0 -\infty\le a < 0
 ? a=0
(-\infty)^n (-1)^n\infty n>0 ganzzahlig
1 n=0
0 n<0 und ganzzahlig

Der Wert von a^b mit negativem a und endlichem nicht-ganzen b bleibt undefiniert, da diese Stellen nicht zum Abschluss des Definitionsbereiches der endlichen Potenzfunktion gehören. Zu den stetigen Fortsetzungen mit nichtpositiver Basis -\infty\le a \le 0 ist zu beachten, dass diese Stellen zwar zum Abschluss des Definitionsbereiches gehören, aber keine inneren Punkte des Abschlusses sind. Es gibt daher gänzlich außerhalb des Definitionsbereiches liegende Folgen, die gegen diese Stellen konvergieren.

Funktionswerte[Bearbeiten | Quelltext bearbeiten]

Einige Standardfunktionen lassen sich stetig ins Unendliche zu Abbildungen \bar{\R}\to\bar{\R} fortsetzen, so etwa

  • |\pm\infty|=+\infty
  • \arctan(\pm\infty) := \pm\frac \pi 2
  • e^{+\infty} := +\infty und e^{-\infty} := 0 (in \R^\ast ist e^{\infty} jedoch nicht definiert).

In der Maßtheorie wird eine Funktion f \colon \Omega \to \bar{\R} mit einer nichtleeren Menge \Omega numerisch genannt. Numerische Funktionen können als Supremum oder Infimum einer Folge reeller Funktionen auftreten. Auch in der Optimierung werden teilweise aus praktischen Gründen die Funktionswerte  \pm \infty zugelassen. Funktionen, die diese Werte annehmen heißen erweiterte Funktionen.

Undefinierte Ausdrücke[Bearbeiten | Quelltext bearbeiten]

Mit der Methode der stetigen Fortsetzung lässt sich in \bar{\R} für die Grundrechnungsarten-Ausdrücke

\infty-\infty, \quad0\cdot\infty, \quad\frac\infty\infty, \quad\frac a0

bzw. in \R^\ast für

\quad\infty+\infty, \quad0\cdot\infty, \quad\frac{\infty}{\infty}, \quad\frac 0 0

kein Wert angeben. Prinzipiell wäre es denkbar, eine geeignete – notwendig unstetige – Festsetzung zu finden. Das ist für die genannten Ausdrücke jedoch nicht möglich, ohne das Permanenzprinzip zu verletzen, d.h. ohne Widerspruch zu den üblichen Rechenregeln. Dies zeigt im Einzelnen die folgende Aufstellung:

  • \infty-\infty:
    Wegen x-x=0 für alle  x\in\R folgt durch das Permanenzprinzip, dass \infty-\infty=0 gelten sollte, wenn der Ausdruck definiert ist. Dies führt jedoch auf den Widerspruch \infty = \infty+0 = \infty+(\infty-\infty) = (\infty+\infty)-\infty = \infty-\infty = 0.
  • \infty+\infty in \R^\ast:
    Analog, da \infty=-\infty.
  • 0\cdot\infty:
    Wegen 0\cdot x=0 für alle x\in\R soll 0\cdot\infty=0 gelten. Andererseits gilt x^{-1}\cdot x=1, soweit die linke Seite definiert ist. Demnach ergibt sich der Widerspruch 0=0\cdot\infty=\infty^{-1}\cdot\infty=1
  • \frac\infty\infty:
    Wegen \tfrac x x=1 und \tfrac{2x}x=2 ergibt sich 1=\tfrac\infty\infty=\tfrac{2\infty}\infty=2
  • \frac 0 0:
    Auch hier folgt 1=\tfrac00=\tfrac{2\cdot0}0=2.
  • \frac a 0 in \bar{\R}:
    Aus \tfrac x y = -\tfrac x{-y} folgt, dass \tfrac a 0=-\tfrac a 0 gelten soll, folglich \tfrac a 0 = 0. Wegen \tfrac x y \cdot\tfrac y x=1 folgt 0=0\cdot0=\tfrac a0\cdot\tfrac 0 a = 1.

Den aufgelisteten Ausdrücken einen Wert zuzuweisen, ist also auf „vernünftige“ Weise nicht möglich. Abgesehen von \tfrac a0 mit a\ne 0 werden die so in \bar{\R} nicht definierten Ausdrücke auch als unbestimmte Ausdrücke bezeichnet, für die es allerdings in bestimmten Einzelfällen gleichwohl möglich ist, mittels der Regel von de l’Hospital gültige Zahlenwerte zu berechnen.

Abweichend von obiger Liste wird in einigen Gebieten der Mathematik, namentlich der Maßtheorie, gewöhnlich 0\cdot\infty=0 vereinbart, da auf diese Weise zahlreiche Aussagen konziser[1] zu fassen sind. In dem Fall ist darauf zu achten, dass niemals der Kehrwert von unendlich benutzt wird, bzw. es ist auf die Festsetzung \infty^{-1}=0 zu verzichten. Andernfalls müssten die Ausnahmen der gewöhnlichen Rechenregeln (nämlich, dass nicht immer x\cdot x^{-1}=1 gilt) regelmäßig durch Fallunterscheidungen bedacht werden, und dies machte den Vorteil der Abkürzung wieder wett.

Algebraische Fortsetzung des Potenzierens[Bearbeiten | Quelltext bearbeiten]

Anders als bei den vier Grundrechenarten ist es auch unabhängig von Stetigkeitsbetrachtungen möglich, konsistent (aber unstetig)

1^{\pm\infty}=(\pm\infty)^0=1

zu definieren.[2] Dass zumindest kein anderer Wert für diese Ausdrücke definiert werden kann, ergibt sich direkt aus dem Permanenzprinzip, da im Endlichen 1^x = x^0 = 1 gilt. Diese Festsetzungen sind konsistent in dem Sinne, dass die Potenzgesetze a^b\cdot a^c=a^{b+c}, (a\cdot b)^c=a^c\cdot b^c und (a^b)^c = a^{b\cdot c} gelten, wann immer alle Teilausdrücke definiert sind.

Im Zusammenhang mit Grenzwertuntersuchungen jedoch werden die Ausdrücke 1^\infty, \infty^0 und sogar 0^0 mit zu den unbestimmten Ausdrücken gezählt, da in dem Zusammenhang Stetigkeit ausschlaggebend ist. In bestimmten Einzelfällen allerdings ist es auch hier möglich, mittels der Regel von de l’Hospital für die og. Ausdrücke gültige Zahlenwerte zu berechnen.

Das Lösen von Gleichungen[Bearbeiten | Quelltext bearbeiten]

Beim Lösen von Gleichungen ist Vorsicht geboten, wenn man mit Unendlichkeiten arbeitet, da zusätzliche Lösungen existieren können. Besonders offensichtlich wird dies bei der Gleichung  a+x=b, die für endliche a,b stets genau eine Lösung hat. Dagegen hat \infty+x=0 gar keine und \infty+x=\infty unendlich viele. Einige weitere Beispiele, die sich aus den obigen Rechenregeln ergeben, zeigt die folgende Tabelle:

Gleichung Lösungen in \R Zusätzlich in \bar{\R} Zusätzlich in \R^\ast
 x = -x 0 \infty
 x = 2 x 0 +\infty, -\infty \infty
 x= x\cdot x 0, 1 +\infty \infty

Beim Umformen von Gleichungen kann nicht mehr allgemein auf die Kürzungseigenschaft der Addition (aus a+c=b+c folgt a=b) zurückgegriffen werden, sondern nur unter der Voraussetzung, dass c endlich ist. Die Kürzungseigenschaft der Multiplikation (aus a\cdot c=b\cdot c folgt a=b), die auch im Endlichen nur unter der Voraussetzung c\ne0 gilt, ist ebenfalls für unendliches c ungültig. Die letzte Gleichung aus obiger Tabelle, x=x\cdot x, lässt sich nicht äquivalent umformen zu 0=x\cdot x-x, denn diese hat im Gegensatz zu ersterer keine unendliche Lösung (für x=+\infty ist die rechte Seite nicht definiert).

Komplexe Zahlen[Bearbeiten | Quelltext bearbeiten]

Wenn man statt von den reellen von den komplexen Zahlen \C ausgeht, betrachtet man hauptsächlich die zu einer Sphäre S^2 homöomorphe Einpunktkompaktifizierung \C^\ast:=\C \cup \{\infty\} (Riemannsche Zahlenkugel). Die Rechenregeln für die Grundrechenarten stimmen hierbei im Wesentlichen mit denen für die Einpunktkompaktifizierung von \R überein. Es gibt auch hier alternative Ansätze, bei denen \C zu einer abgeschlossenen Kreisscheibe oder zur projektiven Ebene kompaktifiziert wird.

Einzelnachweise[Bearbeiten | Quelltext bearbeiten]

  1. konzis (Eintrag „konzis“ im Wiktionary)
  2. Wolfram Alpha liefert zwar Indeterminate als Ergebnis von 1^\infty (Eingabe: 1^Infinity), andererseits 1 für \prod_{n=1}^\infty 1 (Eingabe: prod_{n=1}^Infinity 1).

Weblinks[Bearbeiten | Quelltext bearbeiten]