Eine bijektive, stetige Abbildung zwischen topologischen Räumen, deren Umkehrabbildung ebenfalls stetig ist; sie ist das Isomorphismuskonzept in der Kategorie der topologischen Räume und meint, dass die Räume topologisch gleich sind.

Prinzip

Topologie-erhaltende Äquivalenz: Ein Homöomorphismus bewahrt offene Mengen, Konvergenz, Stetigkeit, Kompaktheit, Zusammenhang und alle topologischen Invarianten, daher sind rein topologische Eigenschaften unter Homöomorphismen invariant.

Demonstration

Die Abbildung f: (0,1) → R, f(x) = tan(π(x−1/2)), ist ein Homöomorphismus zwischen dem offenen Intervall und der reellen Achse; ebenso ist e^x ein Homöomorphismus von R auf (0,∞), beides einfache Beispiele homöomorpher Räume.

Fehlanwendung

Jede Bijektion der zugrundeliegenden Mengen fälschlich als Homöomorphismus zu behandeln oder zu behaupten, eine stetige Bijektion habe stets eine stetige Umkehrung, ohne Kompaktheits-/Hausdorff-Voraussetzungen zu prüfen; Kardinalität oder algebraische Isomorphie implizieren keinen Homöomorphismus.

Konsequenz

Sind zwei Räume homöomorph, so sind sie hinsichtlich topologischer Invarianten nicht unterscheidbar und können in rein topologischen Argumenten ausgetauscht werden; die Klassifikation bis auf Homöomorphismus ist ein zentrales Ziel der Topologie.

Umkehrung

Die Umkehrabbildung eines Homöomorphismus ist selbst ein Homöomorphismus; im Gegensatz dazu bedeuten schwächere Äquivalenzen (z. B. Homotopieäquivalenz oder stetige Bijektion ohne stetige Umkehrung) nicht Homöomorphie.

Abgrenzung

Gilt nur für topologische Äquivalenz; stärkere Begriffe (Diffeomorphismus, Isometrie, PL-Homöomorphismus) verlangen zusätzliche glatte, metrische oder stückweise-lineare Strukturen und sind strengere Äquivalenzklassen.

Semantische Spannung

Wird in geometrischen Zusammenhängen oft mit Diffeomorphismus oder Isometrie verwechselt; ein Homöomorphismus betrachtet ausschließlich die Topologie und kann geometrische oder glatte Strukturen unbeachtet lassen.

Synthese

Ein Homöomorphismus ist eine bijektive stetige Abbildung mit stetiger Umkehrung, die zwei Räume im rein topologischen Sinn gleichsetzt und dabei alle topologischen Eigenschaften bewahrt, während geometrische oder glatte Unterschiede erhalten bleiben können.