13.05.2013 Views

Topologia I Wykład 12 Homotopia

Topologia I Wykład 12 Homotopia

Topologia I Wykład 12 Homotopia

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

<strong>Homotopia</strong><br />

<strong>Topologia</strong> I<br />

<strong>Wykład</strong> <strong>12</strong><br />

<strong>Homotopia</strong><br />

Stefan Jackowski<br />

19 grudnia 20<strong>12</strong><br />

Definicja<br />

I := [0, 1] <strong>Homotopia</strong> – przekształcenie ciągłe F : X × I → Y .<br />

Przekształcenia f0, f1 : X → Y są homotopijne jeśli istnieje<br />

homotopia F : X × I → Y , ∀x∈X F (x, 0) = f0(x), F (x, 1) = f1(x).<br />

.<br />

Stwierdzenie<br />

<strong>Homotopia</strong> ∼ jest relacją równoważności w zbiorze Map (X , Y ).<br />

[X , Y ] := Map (X , Y )/ ∼<br />

π0(X ) = [{p}, X ] – zbiór składowych łukowych.<br />

Stwierdzenie<br />

Dowolne dwa przekształcenia f0, f1 : X → W gdzie W ⊂ R n jest<br />

podzbiorem wypukłym są homotopijne przez homotopię<br />

F (x, t) := (1 − t)f0(x) + tf1(x).


Wlasności homotopii<br />

Stwierdzenie (Składanie przekształceń homotopijnych)<br />

Jeśli f0, f1 : X → Y oraz g0, g1 : Y → Z oraz f0 ∼ f1, g0 ∼ g1, to<br />

ich złożenia są homotopijne: g0f0 ∼ g1f1<br />

Wniosek<br />

Jeśli f : X → Y , to dla dowolnej przestrzeni Z są dobrze określone<br />

przekształcenia f # : [Y , Z] → [X , Z], f # ([φ]) := [φ ◦ f ] oraz<br />

f# : [Z, X ] → [Z, Y ], f#([ψ]) := [f ◦ ψ] .<br />

Stwierdzenie<br />

Jeśli f0, f1 : X → Y są homotopijne i C ⊂ X jest składową łukową,<br />

to zbiory f0(C) i f1(C) leżą w tej samej składowej łukowej<br />

przestrzeni Y tzn. f0∗ = f1∗ : π0(X ) → π0(Y ).<br />

Przekształcenia i przestrzenie ściągalne<br />

Definicja<br />

Przekształcenie f : X → Y nazywa się ściągalne jeśli jest<br />

homotopijne z przekształceniem stałym w pewien punkt. Przestrzeń<br />

X nazywa się ściągalna jeśli Id : X → X jest ściągalne.<br />

Przykład<br />

Podzbiór gwiaździsty G ⊂ R n (np. wypukły) jest ściągalny.<br />

Stwierdzenie<br />

Dowolne przekształcenie określone na przestrzeni ściągalnej lub o<br />

wartościach w przestrzeni ściągalnej jest ściągalne.


Przekształcenia bliskie są homotopjne<br />

Stwierdzenie<br />

Jeśli (X , T ) jest przestrzenią zwartą, a W ⊂ R n otwartym<br />

podzbiorem. Dla każdego przekształcenie f : X → W istnieje ɛ > 0<br />

takie, że dowolne przekształcenie g : X → W dla którego<br />

dsup(g, f ) < ɛ jest homotopijne z f .<br />

Dowód.<br />

f (X ) – zwarty. Zatem pokrycie f (X ) ⊂ <br />

x∈X<br />

B(f (x), rx) ⊂ W ma<br />

liczbę Lebesgue’a λ > 0 (dowolne dwa punkty odległe o < λ leżą w<br />

pewnej kuli B(f (x), rx) ⊂ W ). Zatem jeśli dsup(g, f ) < λ =: ɛ<br />

homotopia F (x, t) = (1 − t)f (x) + tg(x) jest dobrze określonym<br />

odwzorowaniem F : X × I → W .<br />

Homotopijna równoważność przestrzeni topologicznych<br />

Definicja<br />

Przeksztacenie f : X → Y nazywa się homotopiją równoważnością<br />

jesli istnieje g : Y → X takie, że f ◦ g ∼ IdY i g ◦ f ∼ IdX .<br />

Mówimy, że przestrzenie X , Y są homotopijnie równoważne.<br />

Uwaga<br />

Każdy homeomorfizm jest homotopijną równoważnością. Przestrzeń<br />

jest ściągalna ⇐⇒ jest homotopijnie równoważna {pt}.<br />

Stwierdzenie<br />

Jeśli f : X → Y jest homotopijną równoważnością i Z jest dowolną<br />

przestrzenią, to f # : [Y , Z] → [X , Z], f # ([φ]) := [φ ◦ f ] oraz<br />

f# : [Z, X ] → [Z, Y ], f#([ψ]) := [f ◦ ψ] są bijekcjami. W<br />

szczególności f definiuje bijekcję zbiorów składowych łukowych<br />

f# : π0(X ) → π0(Y ).


Homotopijna równoważność – przykłady<br />

1. ι: S n−1 ⊂ R n \ {0} homotopijna odwrotność<br />

r : R n \ {0} → S n−1 , r(x) := x<br />

||x||<br />

2. Jeśli Y jest ściągalna, to pX : X × Y → X jest homotopijną<br />

równoważnością.<br />

3. S n \ {p1, p2} jest homotopijnie równoważna S n−1 . A co będzie<br />

jeśli wyjąć więcej punktów?<br />

4. S n \ S k jest homotopijnie równoważna z S n−k−1<br />

5. Włożenie równika S 1 ↩→ M we wstęgę Möbiusa jest<br />

homotopijną równoważnością.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!