Nichtstandardanalysis - LinkFang.de





Nichtstandardanalysis


Nichtstandardanalysis ist ein Gebiet der Mathematik, das sich mit nicht-archimedisch geordneten Körpern beschäftigt. Der wichtigste Unterschied zur normalen Analysis besteht darin, dass in der Nichtstandardanalysis auch unendlich große und unendlich kleine Zahlen vorkommen. Als Begründer der Nichtstandardanalysis[1] gilt der Darmstädter Mathematiker Detlef Laugwitz mit seinem Mitarbeiter Curt Schmieden.[2]

Modelltheoretischer Zugang

Neben den in der Standard-Analysis üblichen reellen Zahlen werden so genannte hyperreelle Zahlen verwendet. Die hyperreellen Zahlen bilden einen geordneten Erweiterungskörper der reellen Zahlen, und können damit nicht das archimedische Axiom erfüllen. Eine Verletzung des archimedischen Axioms findet hier zum Beispiel durch die so genannten Infinitesimalzahlen statt; das sind Zahlen, die näher bei Null liegen als jede von 0 verschiedene reelle Zahl.

Die hyperreellen Zahlen erfüllen aber das archimedische Axiom, wenn es statt mit [math]\N[/math] mit der Menge [math]^\ast\N[/math] der hypernatürlichen Zahlen formuliert wird. Formuliert man die Vollständigkeit mit Abbildungen [math]^\ast\N \rightarrow ^\ast\R[/math] (anstelle von Folgen [math]\N \rightarrow ^\ast\R[/math]), so erfüllen die hyperreellen Zahlen auch diese Vollständigkeit. Die hyperreellen Zahlen bilden also (wenn das Symbol [math]\N[/math] uminterpretiert wird) einen (*-) vollständigen, (*-) archimedisch geordneten Körper, das heißt ein Modell der Axiome der reellen Zahlen (das nicht zu [math]\R[/math] isomorph ist).

Das erste Modell einer Nichtstandardanalysis wurde in den 1960er Jahren von Abraham Robinson entwickelt. Er verwendete dieses, um einen Satz aus der Funktionalanalysis zu zeigen, nämlich dass jeder polynomial kompakte Operator in einem Hilbertraum einen invarianten Unterraum besitzt. Allerdings verlangt die Konstruktion des Modells die Verwendung eines Ultrafilters über [math]\N[/math]. Von diesem kann man zwar mit Hilfe des Auswahlaxioms die Existenz nachweisen, man kann allerdings keinen solchen Ultrafilter konkret angeben.

In der Nichtstandardanalysis können die in der Analysis üblichen Begriffe wie Ableitung oder Integral ohne Grenzwerte definiert werden. In dieser Hinsicht ist die Nichtstandardanalysis näher bei den Ideen der Gründer der Infinitesimalrechnung, Newton und Leibniz. Die Verwendung von „unendlich kleinen Größen“ in der Nichtstandard-Analysis ist jedoch, im Gegensatz zu Newton und Leibniz, logisch einwandfrei und ohne bekannte Widersprüche. Es gibt ferner Anwendungen der Nichtstandardanalysis in der Stochastik und der Topologie.

Axiomatische Zugänge

Neben dem modelltheoretischen Zugang existieren noch verschiedene axiomatische Zugänge, die sich untereinander stark unterscheiden.

Anmerkung: Die vorhandene Literatur ist fast ausschließlich in englischer Sprache, zudem werden die Theorien gewöhnlich mit ihren Abkürzungen bezeichnet. Daher haben sich bisher teilweise keine deutschen Fachbegriffe durchgesetzt.

Hrbacek'sche Mengenlehre

In der HST (Hrbacek Set Theory) von Karel Hrbacek wird die modelltheoretische Vorstellung fast exakt übernommen. Dazu führt man drei Klassen von Objekten ein, die der wohlfundierten Mengen, die der internen Mengen und die der Standardmengen. Die Klassen [math]WF[/math], [math]I[/math] und [math]S[/math] folgen dabei unterschiedlichen Axiomen, z.B. gilt das Auswahlaxiom nur innerhalb dieser Mengen, nicht aber für Mengen, die in keiner dieser Klassen enthalten sind (externe Mengen).

Die Abbildung [math]\ast[/math], die im modelltheoretischen Zugang das ursprüngliche mit dem erweiterten Universum verbindet, ist hier ein Strukturisomorphismus [math]WF \rightarrow S[/math], also eine Abbildung, die Objekte so verbindet, dass logische Aussagen erhalten bleiben. Beispielsweise ist [math]\R \in WF[/math] ein vollständiger, archimedisch geordneter Körper, also ist auch [math]^\ast\R \in S[/math] ein vollständiger (bezüglich Hyperfolgen [math]^\ast\N \rightarrow ^\ast\R[/math]), archimedisch geordneter (bezüglich hypernatürlichen Zahlen [math]^\ast\N[/math]) Körper.

In diesem Hintergrund kann man die Mathematik wie üblich aus der Mengenlehre aufbauen, erhält dabei aber ganz automatisch das erweiterte Universum.

Internal Set Theories

Diese Theorien beschränken die Betrachtungen auf das erweiterte Universum (der internen Mengen), indem innerhalb der "üblichen Mathematik" Standard-Objekte ausgezeichnet werden. Wie sich diese Standardobjekte verhalten wird durch Axiome festgelegt. Weit verbreitet ist etwa das Transfer-Axiom: Wenn eine Aussage in der Sprache der klassischen Mathematik für alle Standard-Objekte zutrifft, dann auch für alle Objekte.

Die Entsprechung im modelltheoretischen Zugang wäre: Wenn eine Aussage im ursprünglichen Universum zutrifft, dann auch im (strukturisomorphen) erweiterten Universum.

Die bekannteste Theorie interner Mengen ist die Internal Set Theory von Edward Nelson. Sie ist aber nicht mit der Theorie von Hrbacek vereinbar, denn in IST existiert eine Menge, die alle Standardobjekte enthält, allerdings muss [math]S[/math] in HST (siehe oben) eine echte Klasse sein.

Daher werden auch schwächere Theorien betrachtet (Bounded Set Theory, Basic Internal Set Theory und - in der Fachwelt wenig beachtet - die überarbeitete Version von Nelsons IST), die ebenfalls unter dem Sammelbegriff "Theorien interner Mengen" ("internal set theories") zusammengefasst werden.

Beispiel

Die Stetigkeit einer reellen Funktion [math]f[/math] in einem Punkt [math]x_0[/math] kann in der Standard-Analysis so definiert werden:

[math]\forall \varepsilon \gt 0: \exists \delta \gt 0: \forall x \in \R: |x - x_0| \lt \delta \Rightarrow |f(x) - f(x_0)| \lt \varepsilon[/math]

In der Nichtstandardanalysis kann man sie so definieren: Ist [math]f[/math] eine Funktion und [math]x_0[/math] ein Standard-Punkt, dann ist [math]f[/math] in [math]x_0[/math] genau dann S-stetig, wenn

[math]\forall x \in ^*\R: x \approx x_0 \Rightarrow f(x) \approx f(x_0)[/math],

wobei [math]^*\R[/math] der in der Nichtstandardanalysis erzeugte Erweiterungskörper von [math]\R[/math] ist und [math]x \approx y[/math] bedeutet, dass die (Nichtstandard-)Zahlen x und y einen infinitesimalen Abstand haben.

Diese beiden Definitionen beschreiben allerdings unterschiedliche Konzepte: Es lassen sich Beispiele für Nichtstandard-Funktionen angeben, die (nach der Epsilon-Delta-Definition) unstetig sind, z.B. i-kleine Sprünge aufweisen, aber (nach der Infinitesimal-Definition) S-stetig sind, oder umgekehrt, z.B. wenn ein Abschnitt der Funktion eine i-große Steigung aufweist. Nur für Standard-Funktionen sind beide Stetigkeitsbegriffe äquivalent.

Sonstiges

Die surrealen Zahlen bilden einen nicht-archimedisch geordneten Erweiterungskörper der reellen Zahlen, der auf völlig andere Weise als der Körper der hyperreellen Zahlen gewonnen wird.

Literatur

Einzelnachweise

  1. Heisenberg an Pauli“ vom 11.Oktober 1958 in: Wolfgang Pauli: Wissenschaftlicher Briefwechsel mit Bohr, Einstein, Heisenberg u.a., Springer, Berlin 2007 S.1301 ISBN 3-540-26832-4
  2. Curt Schmieden, Detlef Laugwitz: Eine Erweiterung der Infinitesimalrechnung , Mathematische Zeitschrift 69 (1958), 1–39

Kategorien: Teilgebiet der Mathematik | Analysis

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Nichtstandardanalysis (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.