Quelltext der Seite Homöomorphismus

[[Datei:Homeomorphism between Cantor Spaces.svg|mini|Beispiel: Visualisierung eines Homöomorphismus zwischen [[Cantor-Raum|Cantor-Räumen]]. Homöomorphismus vom <math>3^\omega</math> in den <math>2^\omega</math>. Die Farben deuten an, wie Teilräume von Folgen mit einem gemeinsamen Präfix aufeinander abgebildet werden.]]
Ein '''Homöomorphismus''' (von {{grcS|ὁμοῖος}} oder {{lang|grc|ὅμοιος|homoios}} „ähnlich, gleichartig“ und {{lang|grc|μορφή|morphé}} „Form, Gestalt“; zuweilen fälschlicherweise auch ''Homeomorphismus'' in Anlehnung an den englischen Begriff ''{{lang|en|homeomorphism}}'', keinesfalls aber zu verwechseln mit [[Homomorphismus]]) ist ein zentraler Begriff im [[Teilgebiete der Mathematik|mathematischen Teilgebiet]] [[Topologie (Mathematik)|Topologie]]. Er bezeichnet eine [[bijektiv]]e, [[Stetige Funktion|stetige]] Abbildung zwischen zwei [[Topologischer Raum|topologischen Räumen]], deren [[Umkehrabbildung]] ebenfalls stetig ist. Die Stetigkeitseigenschaft hängt von den betrachteten topologischen Räumen ab.

Zwei topologische Räume heißen ''homöomorph'' (auch topologisch äquivalent), wenn sie durch einen Homöomorphismus (auch topologische Abbildung oder topologischer Isomorphismus) ineinander überführt werden können; sie liegen in derselben ''Homöomorphieklasse'' und sind, unter topologischen Gesichtspunkten, gleichartig. Die Topologie untersucht Eigenschaften, die unter Homöomorphismen [[Topologische Invariante|invariant]] sind.

Anschaulich kann man sich einen Homöomorphismus als Dehnen, Stauchen, Verbiegen, Verzerren, Verdrillen eines Gegenstands vorstellen; Zerschneiden ist nur erlaubt, wenn man die Teile später genau an der Schnittfläche wieder zusammenfügt.

== Definition ==
<math>X</math> und <math>Y</math> seien [[Topologischer Raum|topologische Räume]]. Eine Abbildung <math>f\colon X \rightarrow Y</math> ist genau dann ein Homöomorphismus, wenn gilt:

* <math>f</math>&nbsp;ist [[bijektiv]]
* <math>f</math>&nbsp;ist [[Stetige Funktion|stetig]]
* die Umkehrfunktion <math>f^{-1}</math> ist ebenfalls stetig.

Homöomorphismen lassen sich wie folgt charakterisieren: Sind <math>X</math> und <math>Y</math> topologische Räume, so sind für eine bijektive, stetige Abbildung <math>f\colon X \to Y</math> äquivalent:

* <math>f</math> ist ein Homöomorphismus.
* <math>f</math> ist eine [[offene Abbildung]].
* <math>f</math> ist eine [[abgeschlossene Abbildung]].

Topologische Räume, zwischen denen es einen Homöomorphismus gibt, heißen '''homöomorph'''. Die Menge aller zu einem Raum homöomorphen Räume heißt '''Homöomorphietyp''' oder '''Homöomorphieklasse'''.

== Beispiele ==
* Jede offene Kreisscheibe (mit positivem Radius) ist homöomorph zu jedem offenen Quadrat (mit positiver Seitenlänge) in der euklidischen Ebene <math>\mathbb{R}^2</math>. Eine Kreisscheibe lässt sich also anschaulich gesehen durch Verbiegen und Verzerren, ohne Zerschneiden, in ein Quadrat überführen, und umgekehrt.

* Das offene Intervall <math>\left]0,1\right[</math> ist homöomorph zum Raum <math>\mathbb{R}</math> aller [[Reelle Zahl|reellen Zahlen]]. Jedes offene Intervall lässt sich ohne Weiteres ins Unendliche verzerren. Ein Homöomorphismus, der dies für <math>\left]0,1\right[</math> vermittelt, ist zum Beispiel

::<math>\begin{align}
 f\colon \left]0,1\right[ &\to \mathbb{R} \\
 x & \mapsto \tan \left(\left(x- \tfrac{1}{2}\right)\cdot \pi \right)
\end{align}</math>

* Der [[Produkttopologie|Produktraum]] <math> \mathbb{S}^1 \times \mathbb{S}^1 </math> des Einheitskreises mit sich selbst ist homöomorph zum zweidimensionalen [[Torus]], also zu der Form eines Fahrradschlauchs. Für einen Homöomorphismus, der dies vermittelt, wird zunächst einem Punkt auf dem ersten Kreis eine Stelle auf der Felge des Fahrradreifens zugeordnet, dann einem Punkt auf dem zweiten Kreis eine Stelle auf dem an der Felgenstelle anliegenden Reifenquerschnitt.

* Jeder [[Isomorphismus]] im Sinne der [[Funktionalanalysis]] ist ein Homöomorphismus.

== Bedeutung der Umkehrbarkeit ==
Die dritte Bedingung der Stetigkeit der [[Umkehrfunktion]] <math> f^{-1}</math> ist unerlässlich. Man betrachte zum Beispiel die Funktion
:<math>\begin{align}
f \colon \left[0, 2\pi\right[ &\to \mathbb{S}^1\\
x &\mapsto \left(\cos (x), \sin (x)\right)
\end{align}</math>
Diese Funktion ist stetig und bijektiv, aber kein Homöomorphismus. Die Umkehrfunktion <math>f^{-1}</math> bildet Punkte nahe bei <math>(1,0)</math> auf weit voneinander entfernte Zahlen in der Nähe von <math>0</math> und <math>2\pi</math> ab; anschaulich würde der Kreis an der Stelle <math>(1,0)</math> zerrissen und dann flach abgerollt zum Intervall.

Beschränkt man sich auf bestimmte Arten topologischer Räume, dann folgt die Stetigkeit der Umkehrabbildung einer Bijektion <math>f</math>&nbsp;bereits aus der Stetigkeit von <math>f</math>. Zum Beispiel ist eine stetige Bijektion zwischen [[Kompakter Raum|kompakten]] [[Hausdorff-Raum|Hausdorff-Räumen]] bereits ein Homöomorphismus. Zum Beweis dieser Aussage dient der folgende
;Satz: Wenn <math>X</math> ein kompakter und <math>Y</math> ein hausdorffscher topologischer Raum ist, dann ist jede stetige bijektive Abbildung <math>f \colon X \to Y</math> ein Homöomorphismus.

;Beweis: Sei <math>g\colon Y \to X</math> die Umkehrabbildung und <math>A \subseteq X</math> abgeschlossen, es ist zu zeigen, dass <math>g^{-1}(A)</math> abgeschlossen ist. Als abgeschlossene Teilmenge eines Kompaktums ist <math>A</math> kompakt. Da stetige Bilder kompakter Mengen wieder kompakt sind, ist <math>g^{-1}(A)=f(A)</math> kompakt. Da kompakte Mengen in Hausdorffräumen abgeschlossen sind, ist <math>g^{-1}(A)</math> abgeschlossen, was den Beweis beendet.

== Eigenschaften ==
Wenn zwei topologische Räume homöomorph sind, haben sie exakt dieselben topologischen Eigenschaften, das sind Eigenschaften, die sich ausschließlich durch die unterliegende Menge und den darauf definierten offenen bzw. abgeschlossenen Mengen ausdrücken lassen. Das liegt daran, dass ein Homöomorphismus definitionsgemäß eine Bijektion zwischen den unterliegenden Mengen und zwischen den Systemen offener Mengen ist. Beispiele solcher Eigenschaften sind [[Kompakter Raum|Kompaktheit]], [[Zusammenhängender Raum|Zusammenhang]], [[Trennungseigenschaft]]en und viele mehr. Der Nachweis, dass es sich um eine topologische Eigenschaft handelt, kann mitunter schwierig sein, insbesondere dann, wenn die ursprüngliche Definition zusätzliche Strukturen verwendet. Ein Beispiel einer solchen Eigenschaft ist [[Metrisierbarkeit]], hier zeigt der [[Satz von Bing-Nagata-Smirnow]], dass es sich um eine topologische Eigenschaft handelt. [[Eberlein-kompakter Raum|Eberlein-Kompaktheit]] ist ein weiteres nicht-triviales Beispiel. Genauer ist damit gemeint, dass sich die genannten Eigenschaften (Metrisierbarkeit bzw. Eberlein-Kompaktheit) auch durch Eigenschaften des Systems der offenen Mengen charakterisieren lassen, ohne Bezugnahme auf die zusätzlichen Strukturen (in diesen Fällen Metrik oder Banachraum).

Es gibt aber auch Eigenschaften gewisser Räume, die bei Homöomorphismen nicht erhalten bleiben, zum Beispiel die [[Vollständiger Raum|Vollständigkeit]] metrischer Räume. Die  [[euklidische Ebene]] und die [[offene Einheitskreisscheibe]] mit der Standardmetrik sind homöomorph bzgl. der durch die Metrik definierten Topologien, erstere ist vollständig, letztere hingegen nicht. Vollständigkeit ist daher keine topologische Eigenschaft, sie bleibt bei Homöomorphismen in der Regel nicht erhalten.

== Lokaler Homöomorphismus {{Anker|Lokaler Homöomorphismus}} ==
Eine stetige Abbildung <math>f</math> zwischen topologischen Räumen <math>X, Y</math> heißt ''lokaler'' ''Homöomorphismus,'' falls für jeden Punkt <math>a \in X</math> eine [[Umgebung (Mathematik)|offene Umgebung]] <math>U \subseteq X</math> von <math>a</math> existiert, so dass
* <math>f(U) \subseteq Y</math> eine offene Umgebung von <math>f(a)</math> bildet und
* <math>f|_U\colon U \rightarrow f(U)</math> ein Homöomorphismus ist.

Jeder Homöomorphismus ist ebenfalls ein lokaler Homöomorphismus, die Umkehrung gilt aber nicht, wie folgendes Beispiel zeigt: Die Abbildung <math>f\colon \mathbb{C}\setminus\left\{0\right\} \rightarrow \mathbb{C}, \, x \mapsto x^2</math> ist nicht bijektiv, aber ein lokaler Homöomorphismus, da die Ableitung von <math>f</math> nirgends verschwindet.

Ist <math>f</math> außerdem surjektiv, so spricht man auch von einer ''lokal topologischen'' Abbildung.

== Literatur ==
* {{Literatur
   |Autor=[[Lutz Führer]]
   |Titel=Allgemeine Topologie mit Anwendungen
   |Verlag=Vieweg
   |Ort=Braunschweig
   |Datum=1977
   |ISBN=3-528-03059-3
   |Seiten=17}}
* {{Literatur
   |Autor=[[Karl Peter Grotemeyer|K. P. Grotemeyer]]
   |Titel=Topologie
   |TitelErg=
   |Reihe=[[BI-Hochschultaschenbücher]]
   |BandReihe=836
   |Verlag=[[Bibliographisches Institut]]
   |Ort=Mannheim, Wien, Zürich
   |Datum=1969
   |ISBN=3-411-00836-9
   |Seiten=14
   |Online=[https://zbmath.org/0204.22402 ''zbMATH Open'']}}
* {{Literatur
   |Autor=[[Horst Schubert (Mathematiker)|Horst Schubert]]
   |Titel=Topologie. Eine Einführung
   |Auflage=4.
   |Verlag=[[B. G. Teubner Verlag]]
   |Ort=Stuttgart
   |Datum=1975
   |ISBN=3-519-12200-6
   |Seiten=19}}
* {{Literatur
   |Autor=[[Stephen Willard]]
   |Titel=General Topology
   |Reihe=Addison-Wesley Series in Mathematics
   |Verlag=[[Addison-Wesley]]
   |Ort=Reading, Massachusetts u.&nbsp;a.
   |Datum=1970
   |Seiten=46
   |Online=[https://zbmath.org/0205.26601 ''zbMATH Open'']}}

== Siehe auch ==
* [[Diffeomorphismus]]

== Links ==
{{Commonscat|Homeomorphisms|Homöomorphismus}}
* {{MathWorld|title=Homeomorphism.
|urlname=Homeomorphism}}


{{Normdaten|TYP=s|GND=4352383-3}}

{{SORTIERUNG:Homoomorphismus}}
[[Kategorie:Topologie]]