Homeomorfizm

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj
Kubek i torus są homeomorficzne – można przekształcić jeden w drugi bez rozrywania i sklejania.

Homeomorfizm – w topologii, bijekcja pomiędzy przestrzeniami topologicznymi, która jest ciągła oraz której funkcja odwrotna jest również ciągła. Homeomorfizmy, nazywane czasami izomorfizmami topologicznymi, są izomorfizmami w kategorii przestrzeni topologicznych. O przestrzeniach pomiędzy, którymi istnieje homeomorfizm mówi się, że są homeomorficzne. Z punktu widzenia topologii, przestrzenie takie są nierozróżnialne.

Definicja homeomorfizmu[edytuj]

Niech oraz będą dwiema przestrzeniami topologicznymi. Funkcję

nazywa się homeomorfizmem, gdy:

  1. f jest funkcją różnowartościową,
  2. , czyli f jest funkcją "na",
  3. f jest funkcją ciągłą,
  4. jest funkcją ciągłą.

Uwaga[edytuj]

Założenie ciągłości funkcji odwrotnej w powyższej definicji jest konieczne, ponieważ istnieją nieciągłe funkcje odwrotne do ciągłych bijekcji.

Niech będzie okręgiem jednostkowym z topologią dziedziczoną z płaszczyzny oraz niech

będzie funkcją daną wzorem

.

Funkcja f jest ciągła i bijektywna. Jednak jej funkcja odwrotna nie jest ciągła w punkcie (1,0), gdyż , ale obraz żadnego otwartego łuku otaczającego punkt (1,0) nie jest zawarty w otoczeniu punktu [1].

Homeomorfizm a dyfeomorfizm[edytuj]

Szczególnym przypadkiem homeomorfizmu jest dyfeomorfizm. Homeomorfizm nie musi mieć ciągłej pochodnej, dyfeomorfizm zaś jest homeomorfizmem, a przy tym wszystkie jego pochodne muszą być ciągłe.

Homeomorfizm jest więc najogólniejszą klasą przekształceń ciągłych, jakie istnieją między przestrzeniami topologicznymi. Dla istnienia homeomorfizmu wymagane jest, by przekształcenie było conamniej klasy ciągłości .

Przykład:

Może przekształcać torus (rozmaitość o gładkiej powierzchni) w kubek (rozmaitość o powierzchniach z zagięciami). Przekształcenie takie jest homeomorfizmem, ale nie jest dyfeomorfizmem, gdyż w punktach zagięć pochodna ma nieciągłość, np. pochodna liczona wzdłuż krzywej przechodzącej przez zagięcie. Dlatego też homeomorfizm torusa w kubek nie ma w każdym punkcie ciągłej pochodnej.

Homeomorfizm a izometria[edytuj]

Homeomorfizm w ogólności nie zachowuje odległości między punktami (gdyż dopuszcza dowolne rozciąganie i ściskanie), w odróżnieniu od izometrii. Izometria jest więc szczególnym przypadkiem homeomorfizmu.

Przykłady:

1) Przekształcenie płaskiej kartki w rulon jest homeomorfizmem. Jednocześnie jest to izomorfizm, gdyż odległości miedzy punktami rulona - mierzone wzdłuż linii leżących na rulonie - są identyczne jak w rozwiniętej kartce.

2) Wgniecenie płaskiej membrany bębna jest homeomorfizmem, ale nie jest izometrią.

Twierdzenia o homeomorfizmach[edytuj]

Wprost z definicji homeomorfizmu wynikają twierdzenia:

  • Złożenie homeomorfizmów jest homeomorfizmem.
  • Funkcja odwrotna do homeomorfizmu jest homeomorfizmem.
  • Każda funkcja tożsamościowa jest homeomorfizmem, o ile na dziedzinie i przeciwdziedzinie rozważana jest ta sama topologia.

Niezmienniki topologiczne[edytuj]

Niezmienniki topologiczne to własności przestrzeni topologicznych, które są zachowywane przy przekształceniach homeomorficznych.

Do niezmienników należą m.in. domkniętość, otwartość, zwartość, ośrodkowość, spójność, charakterystyka Eulera.

Niezmienniki służą jako narzędzie do badania rozmaitości topologicznych. Np.

  • jeżeli rozmaitości mają różne charakterystyki Eulera, to są topologicznie różne,
  • jeżeli rozmaitości mają taką samą charakterystykę Eulera, to nie przesądza, czy są identyczne czy nie (np. butelka Kleina i wstęga Möbiusa mają charakterystykę Eulera równą 0, ale ne są równoważne topologicznie).

Przykłady[edytuj]

  1. Okrąg jest homeomorficzny z dowolną łamaną zamkniętą zwyczajną. Koło jest homeomorficzne z dowolnym wielokątem.
  2. Okrąg nie jest homeomorficzny z żadnym odcinkiem (przedziałem domkniętym).
Dowód. Jeżeli f: [a, b] → S1 jest homeomorfizmem pomiędzy odcinkiem [a, b] a okręgiem S1, to restrykcja
jest funkcją ciągłą. Przedział (a, b) jest spójny, więc z ciągłości obraz zbioru (a, b) poprzez f jest również spójny. Funkcja f jest różnowartościowa, więc f(a) ≠ f(b), a okrąg po usunięciu dwóch punktów przestaje być przestrzenią spójną, sprzeczność.
  1. Dowolne dwa odcinki otwarte są homeomorficzne ze sobą.
  2. Przedział (-1,1) jest homeomorficzny z całą prostą rzeczywistą. Z powyższego wynika zatem, każdy przedział otwarty jest homeomorficzny z całą prostą.
Dowód. Funkcja dana wzorem
jest ciągłą bijekcją, której funkcja odwrotna jest również ciągła.
  1. Sfera (powierzchnia trójwymiarowej kuli) jest homeomorficzna z powierzchnią dowolnego wielościanu.
  2. Żadne dwie powierzchnie spośród następujących nie są homeomorficzne: koło, sfera, pierścień kołowy, powierzchnia torusa.
  3. Żaden przedział jednostronnie domknięty nie jest homeomorficzny z żadnym przedziałem obustronnie otwartym ani obustronnie domkniętym.
Dowód. Przedział domknięty jest zwarty. Gdy przedział nie zawiera jednego ze swoich końców nie jest on zwarty, a więc nie może być homeomorficzny ze zbiorem zwartym jakim jest przedział domknięty.

Uwagaː

Intuicyjnie można sprawdzić, czy dwie przestrzenie są homeomorficzne, próbując (lub wyobrażając sobie) deformować jedną figurę tak, by otrzymać drugą. Deformacje zachowują niezmienniki topologiczne, dlatego istnienie takiej deformacji jest jednoznaczne z istnieniem homeomorfizmu, a jej brak - z brakiem homeomorfizmu (zobacz animację u góry strony). Sferę można zdeformować w wielościan. Ale nie da się sfery zdeformować w torus.

Zanurzenie homeomorficzne[edytuj]

Zanurzeniem homeomorficznym przestrzeni X w przestrzeń Y nazywa się homeomorfizm przestrzeni z podprzestrzenią przestrzeni .

Jeśli istnieje zanurzenie homeomorficzne przestrzeni X w Y, to mówi się, że X jest zanurzalna w Y.

Przykładː

Okrąg (lub inną krzywą zamkniętą) można "zanurzyć" w dowolną powierzchnię 2-wymiarową poprzez rzutowanie go tak, by rzut był krzywą zamkniętą w postaci pojedynczej "pętli". Taki rzut jest homeomorfizmem .

Sprzężenie topologiczne homeomorfizmów[edytuj]

Dwa homeomorfizmy nazywane są topologicznie sprzężonymi wtedy i tylko wtedy, gdy istnieje taki homeomorfizm , że

Przykład - typy topologiczne[edytuj]

Zbiór liter i cyfr (0, 1, 2, 3, 4, 5, 6, 7, 8, 9, A, B, C, D, F, G, H, I, J, K, L, Ł, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z) stanowi rodzinę przestrzeni topologicznych; każda litera stanowi inną przestrzeń topologiczną. Zbiór ten można podzielić na podzbiory - typy topologiczneː

  • 1, 2, 3, 5, 7, I, C, G, J, L, M, N, S, U, V, W, Z - 1 gałąź
  • E, F, T, Y - 3 gałęzie
  • Ł, X - 4 gałęzie
  • H - 5 gałęzi
  • O, D - 0 gałęzi, 1 pętla
  • 8 - 0 gałęzi, 2 pętle, 1 wierzchołek
  • B - 0 gałęzi, 2 pętle, 2 wierzchołki
  • P, 6, 9 - 1 gałąź, 1 pętla
  • Q, 4 - 2 gałęzie, 1 pętla, 1 wierzchołek
  • A, R - 2 gałęzie, 1 pętla, 2 wierzchołki

Każdą z liter danego typu można przekształcić w inną literę tego samego typu przez odpowiednie wyginanie i wyciąganie, np. wyginając I uzyskamy C, G, J, itd. Natomiast nie da się za pomocą takiego przekształcenia dokonać przejścia od I do E, itd. Każda z operacji przekształcania jednej litery w inną w danym typie jest homeomorfizmem. Homeomorfizmy zachowują niezmienniki topologiczne - dlatego za ich pomocą otrzymuje się litery tego samego typu.

Uwagaː Litery i cyfry traktujemy tu jako krzywe jednowymiarowe - grafy. Gdyby traktować je jako wycinki powierzchni (np. wykonane z elastycznego materiału), to podział byłby inny, np. I dałoby się przekształcić w E przez odpowiednie rozciąganie.

Zobacz też[edytuj]

Inne rodzaje odwzorowańː

Na temat niezmienników topologicznychː

Bibliografia[edytuj]

  1. Stefan Waldmann: Topology: An Introduction. New York: Springer International Publishing, 2014. ISBN 978-3-319-09679-7.
  2. W. Kołodziej, Analiza matematyczna, PWN, Warszawa 2009.

Uwagi

  1. Waldmann 2014 ↓, s. 36-37.