Homeomorfismus

Homeomorfismus (z řeckého homeos = stejný, morphe = tvar) je vzájemně jednoznačné zobrazení mezi topologickými prostory, které zachovává topologické vlastnosti. Homeomorfismus je tedy jiný název pro izomorfismus topologických prostorů. Dva prostory, mezi kterými je homeomorfismus se nazývají homeomorfní. Z pohledu topologie jsou stejné (mají stejné vlastnosti).

Definice

Zobrazení $f:X\rightarrow Y$ se nazývá homeomorfismus, pokud

je bijektivní
je spojité
Inverzní zobrazení $f^{-1}:Y\rightarrow X$ je spojité.

Pokud existuje homeomorfismus $X$ na $Y$ , jsou prostory $X$ a $Y$ homeomorfní. Homeomorfismy jsou ekvivalence na třídách topologických prostorů.

Příklady

Identické zobrazení na topologickém prostoru je vždy spojité a proto je homeomorfismem. Jiná je však situace, pokud na jedné množině uvažujeme dvě různé topologie (tedy dva různé seznamy otevřených množin). Například na reálných číslech můžeme uvažovat obvyklou topologii a diskrétní topologii (v níž je každá množina otevřená i uzavřená). Identické zobrazení z topologického prostoru (A, T₁) do (A, T₂) je homeomorfismem, právě když T₁ = T₂, tedy pokud T₁ a T₂ označují tutéž topologickou strukturu.

Otevřený interval (-1, 1) je homeomorfní množině reálných čísel, příkladem je homeomorfismus $x\rightarrow \operatorname {tg} \ \pi x/2$ .

Externí odkazy

Obrázky, zvuky či videa k tématu homeomorfismus na Wikimedia Commons