Homeomorfizm

Homeomorfizm – jest to pojęcie z dziedziny topologii opisujące strukturę zachowującą wszystkie własności topologiczne przestrzeni. Formalnie, homeomorfizmem nazywamy bijekcję f : X → Y pomiędzy dwiema przestrzeniami topologicznymi, której zarówno f, jak i jej odwrotna f^‑1 są ciągłe. Dwie przestrzenie połączone homeomorfizmem nazywamy równoważnymi topologicznie lub izomorficznymi w sensie topologicznym.

Definicja formalna

Niech (X, τ_X) i (Y, τ_Y) będą przestrzeniami topologicznymi. Mówimy, że odwzorowanie f : X → Y jest homeomorfizmem, jeżeli zachodzą trzy warunki:

1. f jest bijekcją; czyli f jest zarówno iniekcją, jak i surjekcją.
2. f jest ciągła, czyli dla każdego otwartego zbioru V ⊂ Y zachodzi, f^‑1(V) ∈ τ_X.
3. Odwrotność f^‑1 : Y → X jest również ciągła.

Sprawdzenie tych trzech własności zapewnia, że struktura otoczeń (a więc wszystkie własności topologiczne) jest zachowana.

Właściwości homeomorfizmów

• Homeomorfizm jest izomorfizmem w kategorii topologii.
• Homeomorfizmy zachowują własności topologiczne, takie jak:
  • liczba spójnych składowych,
  • liczba otwartych i zamkniętych podzbiorów,
  • zwartość,
  • spójność,
  • liczba wymiaru (w sensie klasycznym),
  • rodzaj krzywizny (np. nieodwracalna krzywa Jordanowa).
• Jeśli dwie przestrzenie są homeomorficzne, to ich homotopie są równoważne.
• Złożenie dwóch homeomorfizmów jest ponownie homeomorfizmem, a odwrotność homeomorfizmu jest homeomorfizmem.

Przykłady

Najbardziej znane przykłady homeomorfizmów obejmują:

• Odwzorowanie stereograficzne łączące sferę S² bez jednego punktu z płaszczyzną płaszczyzny ℝ².
• Przekształcenie torusa torusa w kwadrat jednostkowy zidentyfikowany identycznie na przeciwległych bokach.
• Rozciągnięcie lub ściśnięcie odcinka (np. z [0,1] na [0,2]) – jest to bijekcja liniowa o ciągłej odwrotności.
• Homotopijna deformacja trójwymiarowej kuli kuli w sześcian – nie jest homeomorfizmem, ponieważ nie zachowuje wymiaru topologicznego (kula i sześcian nie są homeomorficzne).

Historia

Pojęcie homeomorfizmu wyrosło z prac XIX‑wiecznego francuskiego matematyka Henri’ego Poincarégo, który wprowadził pojęcie równoważności topologicznej. Termin został sprecyzowany w latach 30. XX wieku w ramach rozwoju topologii algebraicznej.

Zastosowania

Homeomorfizmy odgrywają kluczową rolę w:

• Klasyfikacji powierzchni – każda zamknięta, dwuwymiarowa powierzchnia jest homeomorficzna z jedną z powierzchni klasyfikowanych przez jej orientację i liczbę dziur.
• Teorii węzłów – dwa węzły są równoważne, jeśli istnieje homeomorfizm ³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³³ących w przestrzeni trójwymiarowej.
• Analizie funkcjonalnej – pojęcie homeomorfizmu jest używane przy badaniu przestrzeni Banacha.
• Grafice komputerowej – transformacje podobieństwa (skalowanie, rotacja, translacja) są homeomorfizmami przestrzeni euklidesowej.

Powiązane pojęcia

Warto zapoznać się także z następującymi pojęciami:

• Homeomorfia – pojęcie równoważności, które w praktyce oznacza istnienie homeomorfizmu.
• Homotopia – słabsze pojęcie przekształcenia ciągłego.
• Topologia algebraiczna – dziedzina badająca przestrzenie przy użyciu grup i grup homotopii.
• Przestrzeń metryczna – szczególny przypadek przestrzeni topologicznej, w której topologia wywodzi się z metryki.
• Rozmaitość – przestrzeń, która lokalnie jest homeomorficzna z ℝⁿ.

Bibliografia

• J. Munkres, Topology, 2nd ed., Prentice Hall, 2000.
• A. Hatcher, Algebraic Topology, Cambridge University Press, 2002.
• W. Sierpiński, Podstawy teorii mnogości i topologii, 3rd ed., PWN, 1951.