Jordan-Brouwer-Zerlegungssatz

aus Wikipedia, der freien Enzyklopädie
(Weitergeleitet von Invarianz des Gebietes)

Der Jordan-Brouwer-Zerlegungssatz ist ein Lehrsatz der Topologie, welcher den Jordanschen Kurvensatz von zwei auf Dimensionen verallgemeinert. Er geht zurück auf den französischen Mathematiker Camille Jordan und den niederländischen Mathematiker Luitzen Egbertus Jan Brouwer. In der deutschsprachigen Literatur findet man den Satz auch als Trennungssatz von Jordan-Brouwer[1] oder als Zerlegungssatz von Jordan-Brouwer-Alexander.[2] Letztere Namensgebung berücksichtigt die Leistung, welche der amerikanische Mathematiker James Waddell Alexander zu diesem Thema beigetragen hat.

Aussage

Der Jordan-Brouwer-Zerlegungssatz (in der heute gängigen Fassung) lautet:

Seien und homöomorphe kompakte Teilmengen des . Dann haben die Komplemente und dieselbe Anzahl von Wegkomponenten.


Speziellere Formulierung:

Wenn eine kompakte und zusammenhängende Hyperfläche des ist, dann besteht das Komplement von , also , aus zwei offenen zusammenhängenden Mengen, dem „Inneren“ und dem „Äußeren“ . Dabei ist die die abgeschlossene Hülle des Inneren, also , eine kompakte Mannigfaltigkeit mit Rand , also .[3][4]

Folgerungen

Der Jordan-Brouwer-Zerlegungssatz zieht neben dem Jordanschen Kurvensatz noch weitere Sätze der Topologie des n-dimensionalen euklidischen Raums nach sich. Dies gibt einen Hinweis auf seine fundamentale Bedeutung.

Satz von der Invarianz offener Mengen

Sei eine offene Teilmenge des und eine injektive stetige Abbildung. Dann ist ebenfalls eine offene Teilmenge des und sogar ein Homöomorphismus.

In der deutschsprachigen Literatur wird der Satz auch unter dem ähnlich lautenden Stichwort Invarianz der offenen Menge zitiert.[5]

Da unter stetigen Abbildungen Zusammenhang bzw. Wegzusammenhang stets erhalten bleiben, ergibt sich als Korollar sofort der folgende Invarianzsatz.

Satz von der Invarianz des Gebietes

Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U} ein Gebiet des Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R^n} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\colon\, U\to \R^n} eine injektive stetige Abbildung. Dann ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(U) \subseteq \R^n} ebenfalls ein Gebiet des Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R^n} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\colon\, U\to f(U)} sogar ein Homöomorphismus.

In der englischsprachigen Literatur findet sich dieser Satz unter dem Stichwort Invariance of domain.

Satz von der Invarianz der Dimension

Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \emptyset \neq U} eine offene Teilmenge des Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R^n} und sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \emptyset \neq V} eine offene Teilmenge des Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R^m} . Sind Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V} homöomorph, so gilt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n = m} .

Insbesondere sind Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R^n} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R^m} für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n \neq m} niemals homöomorph.

In der englischsprachigen Literatur findet sich dieser Satz unter dem Stichwort Invariance of dimension.

Im Jahr 1879 bewies Eugen Netto, dass die bijektive Abbildung des Einheitsintervalls auf das Einheitsquadrat von Georg Cantor nicht stetig sein kann.

Bedeutung der Sätze, Herleitung, Historisches

Die Bedeutung des Zerlegungssatzes und der Invarianzsätze (und damit die Bedeutung der Leistung Brouwers) beruht nicht zuletzt auf dem Beitrag zur Klärung der seit Georg Cantor in Diskussion befindlichen Frage nach dem Wesen der Dimension des Raums. Cantor hatte im Briefverkehr mit Richard Dedekind gezeigt, dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle [0,1] \,} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle [0,1] \times [0,1]} und damit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R \,} , Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R^2} und dann auch alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R^n} dieselbe Mächtigkeit haben, dass sich also Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R^n \, } und   Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R^m \, }   für   Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n \neq m \, }   bijektiv aufeinander abbilden lassen. Es wurde jedoch vermutet (im Anschluss an Dedekind), dass keine solche Bijektion ein Homöomorphismus sein könne. Diesen Beweis konnte Brouwer als erster führen. Nicht weniger bedeutsam ist, dass Brouwer zur Herleitung seiner Sätze neue fruchtbare Methoden in die Topologie einführte.[6] So geht insbesondere der Abbildungsgrad (englisch degree) für stetige Funktionen auf Brouwer zurück, welcher sich in der Folge als sehr nützliches Werkzeug erwiesen hat.

Dass neben dem Brouwerschen Zugang auch ein anderer Zugang möglich ist, konnte James Waddell Alexander 1922[7] zeigen. Er bewies, dass sein Dualitätssatz den Zerlegungssatz nach sich zieht. Die Sätze von der Invarianz offener Mengen, der Invarianz des Gebietes und der Invarianz der Dimension sind für sich auch schon im Rahmen der Singulären Homologietheorie ableitbar.[8] Wie Emanuel Sperner[9] im Jahre 1928 zeigen konnte, sind letztere auch schon unter alleiniger Benutzung elementarer kombinatorischer Hilfsmittel beweisbar.

Literatur

Originalarbeiten

Monographien

  • Lutz Führer: Allgemeine Topologie mit Anwendungen. Vieweg, Braunschweig 1977, ISBN 3-528-03059-3.
  • Egbert Harzheim: Einführung in die Kombinatorische Topologie (= Die Mathematik. Einführungen in Gegenstand und Ergebnisse ihrer Teilgebiete und Nachbarwissenschaften). Wissenschaftliche Buchgesellschaft, Darmstadt 1978, ISBN 3-534-07016-X (MR0533264).
  • Karl Heinz Mayer: Algebraische Topologie. Birkhäuser, Basel u. a. 1989, ISBN 3-7643-2229-2.
  • Herbert Meschkowski: Denkweisen großer Mathematiker. Ein Weg zur Geschichte der Mathematik. Vieweg, Braunschweig 1990, ISBN 3-528-28179-0.
  • Horst Schubert: Topologie. 4. Auflage. B. G. Teubner Verlag, Stuttgart 1975, ISBN 3-519-12200-6.
  • Tammo tom Dieck: Topologie. 2., völlig neu bearbeitete und erweiterte Auflage. de Gruyter, Berlin u. a. 2000, ISBN 3-11-016236-9.

Weblink

Einzelnachweise

  1. K. H. Mayer: Algebraische Topologie. 1989, S. 254.
  2. E. Harzheim: Einführung in die kombinatorische Topologie. 1978, S. 141 ff.
  3. Proof of Jordan-Brouwer Separation Theorem math.berkeley.edu, 20. November 2014, abgerufen am 7. September 2019
  4. Der Zerlegungssatz von Jordan-Brouwer nach ”Differential Topology”, V. Guillemin / A. Pollack, bell0bytes.eu, 14. Januar 2007, abgerufen am 7. September 2019
  5. E. Harzheim: Einführung in die kombinatorische Topologie. 1978, S. 153.
  6. H. Meschkowski: Denkweisen großer Mathematiker. 1990, S. 246.
  7. J. W. Alexander: A proof and extension of the Jordan-Brouwer separation theorem. 1922, S. 333 ff.
  8. H. Schubert: Topologie. 1975, S. 272.
  9. E. Sperner: Neuer Beweis für die Invarianz der Dimensionszahl und des Gebietes. 1928, S. 265 ff.