Quelltext der Seite Interne Mengenlehre

Die '''interne Mengenlehre'''<ref>{{Literatur |Titel=Interne Mengenlehre |Hrsg=Guido Walz |Sammelwerk=Lexikon der Mathematik |Auflage=1 |Verlag=Spektrum Akademischer Verlag |Ort=Mannheim/Heidelberg |Datum=2000 |ISBN=3-8274-0439-8 |Sprache=de}}
</ref> (engl. ''Internal Set Theory (IST)'') ist eine [[Syntax|syntaktische]] Version der [[Nichtstandard-Analysis]], die 1977 von [[Edward Nelson]] eingeführt wurde. Anders als im [[Modelltheorie|modelltheoretischen]] Ansatz werden [[Infinitesimalzahl|Infinitesimale]] nicht mit Hilfe einer nicht-[[Archimedisches Axiom|archimedischen]] [[Körpererweiterung]] konstruiert, sondern durch eine Erweiterung der Mengenlehre innerhalb der [[Reelle Zahl|reellen Zahlen]] definiert.

== Sprache und Axiome ==
Neben der mengentheoretischen Elementschaft <math>\in</math> wird ein Prädikat <math>\mathrm{st}</math> (für ''standard'') eingeführt, das im Folgenden durch drei Axiomenschemata beschrieben wird. Formeln, welche <math>\mathrm{st}</math> nicht enthalten, heißen interne Formeln; solche, die <math>\mathrm{st}</math> enthalten, heißen externe Formeln.
Als Abkürzung werden folgende Quantoren definiert:
* <math>\forall^\mathrm{st} x: \Phi</math> für <math>\forall x: \operatorname{st}(x) \Rightarrow \Phi</math> (für alle standard <math>x</math> gilt ...)
* <math>\exists^\mathrm{st} x: \Phi</math> für <math>\exists x: \operatorname{st}(x) \land \Phi</math> (es gibt (mindestens) ein standard <math>x</math>, so dass gilt ...)
* <math>\forall^\mathrm{fin} x: \Phi</math> für <math>\forall x: \operatorname{fin}(x) \Rightarrow \Phi</math> (für alle endlichen Mengen <math>x</math> gilt ...)
* <math>\exists^\mathrm{fin} x: \Phi</math> für <math>\exists x: \operatorname{fin}(x) \land \Phi</math> (es gibt (mindestens) eine [[endliche Menge]] <math>x</math>, so dass gilt ...)

Sowie Kombinationen dieser Abkürzungen wie <math>\forall^\mathrm{st\,fin} x: \Phi</math> oder <math>\forall^\mathrm{st} x \in A: \Phi</math>, deren formale Definition ähnlich angegeben werden kann.

Neben der [[Zermelo-Fraenkel-Mengenlehre]] mit [[Auswahlaxiom]] (wobei die [[Axiomenschema]]ta nur solche Formeln verwenden dürfen, in denen <math>\mathrm{st}</math> nicht vorkommt) werden drei weitere Axiomenschemata verwendet:

=== Das Transferaxiom ===
Für jede interne Formel <math>\Phi</math> (mit <math>n+1</math> freien Variablen), in der das Prädikat <math>\mathrm{st}</math> nicht vorkommt, gilt:
: <math>\forall^\mathrm{st} t_1, ..., t_n (\forall^\mathrm{st} x: \Phi(x, t_1, ..., t_n) \Leftrightarrow \forall x: \Phi(x, t_1, ..., t_n))</math>

Die Umformulierung

: <math>\forall^\mathrm{st} t_1, ..., t_n (\exists^\mathrm{st} x: \Phi(x, t_1, ..., t_n) \Leftrightarrow \exists x: \Phi(x, t_1, ..., t_n))</math>

zeigt, dass jede Menge, deren Existenz und Eindeutigkeit in der klassischen Theorie bewiesen werden kann, eine Standardmenge ist.

=== Das Idealisierungsaxiom ===
Für jede interne Formel <math>\Phi</math>, in der die Variable <math>z</math> nicht frei ist und das Prädikat <math>\mathrm{st}</math> nicht vorkommt, gilt:
: <math>(\forall^\mathrm{st\,fin} z \exists x \forall y \in z: \Phi) \iff (\exists x \forall^\mathrm{st} y: \Phi)</math>

Das Idealisierungsaxiom liefert zwei wichtige Folgerungen:
# Eine Menge ist standard und endlich, genau dann, wenn alle ihre Elemente endlich sind.
# Es existiert eine endliche Menge, die alle Standardmengen enthält.

Gerade die zweite Aussage ist gewöhnungsbedürftig: Es existiert eine endliche Menge, die (nach der Folgerung aus dem Transferaxiom) alle in der klassischen Mengenlehre konstruierbaren Mengen enthält. Diese endliche Menge ist allerdings nicht standard, da sie sonst nach dem Transfer-Axiom alle Elemente überhaupt enthält. Allerdings ist auch der Begriff „endlich“ selbst nicht standard, oder wie Nelson selbst sagt: „‚endlich‘ bedeutet nicht das, was wir immer dachten.“<ref> „Perhaps it is fair to say that ‚finite‘ does not mean what we have always thought it to mean.“ In: E.Nelson, Internal Set Theory, Ch. 1, S. 9 (Der Text kann hier [https://web.math.princeton.edu/~nelson/books/1.pdf] heruntergeladen werden.).</ref>

Obwohl diese Definition gewöhnungsbedürftig ist, ist sie der Schlüssel zur Nichtstandard-Analysis: Wir können folgern, dass es reellen Zahlen gibt, die größer als 0, aber kleiner als jede positive Standardzahl sind.

=== Das Standardisierungsaxiom ===
Für jede (interne oder externe) Formel <math>\Phi</math> (in der die Variable <math>y</math> nicht vorkommt), gilt:
: <math>\forall^\mathrm{st} x \exists^\mathrm{st} y \forall^\mathrm{st} z (z \in y \iff (z\in x\land \Phi(x)))</math>

Das Standardisierungsaxiom erlaubt (als einziges Axiom) die Konstruktion von Mengen mit Hilfe von Formeln, die das Prädikat <math>\mathrm{st}</math> verwenden. Allerdings kann eine so konstruierte Menge nicht-standard Elemente enthalten, die <math>\Phi</math> nicht erfüllen.

== Beispiele ==
Drei klassische Beispiele aus der [[Infinitesimalrechnung]] sollen zeigen, wie in der Internal Set Theory verschiedene Vorgehensweisen gerechtfertigt werden können, die ohne die zusätzlichen Axiome nicht formulierbar wären. Im Gegensatz zu anderen Ansätzen der Nichtstandard-Analysis können solche Argumente ohne eine Körpererweiterung und ohne schwierige logische Vorarbeit formuliert werden.

Eine reelle Zahl <math>x</math> heißt ''unendlich klein'' oder ''Infinitesimal''zahl, wenn für jede reelle Standardzahl <math>r > 0</math> gilt: <math>|x| < r</math>. In jüngeren Publikationen liest man auch den Begriff ''i-klein'', um den historischen, aber eventuell irreführenden Begriff "unendlich" zu umgehen. Man schreibt noch <math>x\approx y</math>, wenn die Differenz <math>x-y</math> infinitesimal ist.

=== Stetigkeit ===
Mit Hilfe dieser Infinitesimale kann beispielsweise die Stetigkeit charakterisiert werden: Eine Standardfunktion <math>f \colon \R \to \R</math> ist in einem Punkt <math>x \in \R</math> genau dann stetig, wenn für alle <math>y \approx x</math> gilt: <math>f(y) \approx f(x)</math>. Die Funktion ist genau dann stetig, wenn sie in allen Standardpunkten stetig ist und genau dann gleichmäßig stetig, wenn sie in allen Punkten stetig ist.

Im Gegensatz zur „<math>\epsilon</math>-<math>\delta</math>-Definition“ (mit Hilfe von Grenzwerten) ist diese Definition etwas anschaulicher: Wenn das Argument nur ein kleines bisschen geändert wird, dann ändert sich auch das Bild nur ein kleines bisschen.

Beispielsweise ist die Funktion <math>f(x) = x^2</math> stetig, denn sei <math>x_0</math> standard und <math>\epsilon \approx 0, \epsilon \neq 0</math>, so ist
: <math>f(x_0 + \epsilon) = x_0^2 + 2x_0\epsilon + \epsilon^2 \approx x_0^2 = f(x)</math>

Allerdings ist <math>f</math> nicht gleichmäßig stetig, da sie etwa im Punkt <math>\epsilon^{-1} \approx \infty</math> nicht stetig ist:
: <math>f(\epsilon^{-1} + \epsilon) = \epsilon^{-2} + 2\epsilon^{-1}\epsilon + \epsilon^2 \approx \epsilon^{-2} + 2 \not\approx f(\epsilon^{-1})</math>

=== Differentiation ===
Die [[Differentialrechnung#Ableitung als eine Funktion|Ableitung]] einer Funktion ist im Allgemeinen wie üblich definiert. Für Standardfunktionen gibt es allerdings eine äquivalente Formulierung: Die Ableitung einer (reellen) Standardfunktion <math>f</math> ist eine Standardfunktion <math>f'</math>, die jedem Standardpunkt <math>x</math> (in dem <math>f</math> differenzierbar ist) eine Standardzahl zuordnet, so dass für alle <math>\epsilon \approx 0, \epsilon \neq 0</math> gilt:
: <math>f'(x) \approx \frac{f(x+\epsilon)-f(x)}\epsilon</math>

Diese Formulierung kann mit Hilfe des Transfer-Axioms beim Finden der Ableitung helfen. Was ist beispielsweise die Ableitung von <math>f(x) = x^2</math>?

Die Funktion ist standard. Angenommen, <math>x_0</math> ist irgendeine Standardzahl. Dann gilt für alle <math>\epsilon \approx 0, \epsilon \neq 0</math>
: <math>f'(x_0) \approx \frac{(x_0+\epsilon)^2-x_0^2}\epsilon = \frac{x_0^2+2x_0\epsilon+\epsilon^2-x_0^2}\epsilon = 2x_0+\epsilon \approx 2x_0</math>

Also ist für alle Standardwerte <math>f'(x) = 2x</math>, und mit dem Transferaxiom muss das für alle <math>x</math> gelten.

=== Integration ===
Ist <math>D \subseteq \R</math> eine Standardmenge, <math>f \colon D \rightarrow \R</math> eine integrierbare Standardfunktion und <math>F</math> eine endliche Menge, die alle Standardzahlen in <math>D</math> enthält, dann ist <math>\int_D f(x)dx \approx \sum_F f(x) \Delta x</math>, wobei <math>\Delta x</math> der Abstand von <math>x</math> zum nächstgrößeren Punkt aus <math>F</math> ist.

Damit lässt sich recht einfach und anschaulich die [[Substitutionsregel]] für das Integral herleiten: Soll in dieser Summe <math>x</math> durch <math>g(y)</math> ersetzt werden (wobei <math>g</math> eine geeignete Standardfunktion ist), so muss auch <math>\Delta x</math> durch ein geeignetes <math>\Delta y</math> ersetzt werden.

Falls aber <math>g</math> differenzierbar, so ist (vgl. Beispiel Differentiation)
: <math>g'(y) \approx \frac{g(y + \Delta y) - g(y)}{\Delta y} = \frac{\Delta g(y)}{\Delta y} = \frac{\Delta x}{\Delta y}</math>
und dieser Term kann – anders als das formale Objekt <math>\frac{dx}{dy}</math> – einfach umgeformt und eingesetzt werden:

: <math>\int_D f(x)dx \approx \sum_F f(x) \Delta x \approx \sum_{F'} f(g(y)) g'(y) \Delta y \approx \int_{D'} f(g(y))g'(y)dy</math>

Und da sowohl <math>f</math>, als auch <math>g</math> Standardfunktionen sind, müssen die Integrale gleich sein.

== Literatur ==
{{cite journal |first=Edward |last=Nelson |authorlink=Edward Nelson |date=1977-11 |title=Internal Set Theory: A new approach to Nonstandard Analysis |journal=Bulletin of the AMS |volume=83 |issue=6 |pages=1165–1198 |url=https://web.math.princeton.edu/~nelson/papers/ist.pdf |language=en}}

== Einzelnachweise ==
<references />

[[Kategorie:Analysis]]