Topologia I Wykład 12 Homotopia
Topologia I Wykład 12 Homotopia
Topologia I Wykład 12 Homotopia
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ą.