0.0 Topologia Algebraiczna I - pomocnik studenta, Rozdziały 1-7

0.0 Topologia Algebraiczna I - pomocnik studenta, Rozdziały 1-7 0.0 Topologia Algebraiczna I - pomocnik studenta, Rozdziały 1-7

13.05.2013 Views

4 Zadania różne 4.1 Retrakty Zad. 62. Podać przykład włożenia A ↩→ X, które jest homotopijną równoważnością i takiego, że A nie jest retraktem deformacyjnym X. Zad. 63. Podać przykład retraktu, który nie jest retraktem deformacyjnym. Podać przykład retraktu deformacyjnego, który nie jest silnym retraktem deformacyjnym. Zad. 64. Pokazać, że przekształcenie f : X → Y jest homotopijną równoważnością wtedy i tylko wtedy, gdy X = X × {1} ⊂ Z(f) jest retraktem deformacyjnym. Zad. 65. Jeśli A ⊂ X jest silnym retraktem deformacyjnym, to dla dowolnego przekształcenia f : A → Y włożenie Y ⊂ X ∪f Y też jest silnym retraktem deformacyjnym. 4.2 Walce i kowalce Zad. 66. Opisać walec i kowalec identyczności idX : X → X przekształcenia stałego X → pt oraz włożenia punktu pt → X. Zad. 67. Walec o podstawie X jest korozwłóknieniem. Kowalec nad X jest rozwłóknieniem. 4.3 Homotopijne równoważności Zad. 68. Istnieją następujące homotopijnie równoważności: 1. S n /S k ∼ S n ∨ S k+1 2. (S n × S m )/(S n × {s0}) ∼ S n+m ∨ S m 3. Σ(S n × S m ) ∼ S n+1 ∨ S m+1 ∨ S n+m+1 4. ΣPg, gdzie Pg jest preclem genusu g, jest homotopijnie równoważne z bukietem 2g egezemplarzy sfer S 2 i sfery S 3 . Wskazówka: Dla dowolnej punktowanej przestrzeni (X, x0) i przestrzeni Y istnieje homeomorfizm X × Y/{x0} × Y X ∧ Y + gdzie Y + := Y {+}. W szczególności dla dwóch niepunktowanych przestrzeni X, Y mamy X + ∧ Y + (X × Y ) + . Zad. 69. Jeśli X jest przestrzenią ściągalną to stożek przekształcenia f : Y → X jest homotopijnie równoważny z zawieszeniem ΣY. 4.4 Rozwłóknienia i korozwłóknienia Zad. 70. Niech V, W będą rzeczywistymi skończenie wymiarowymi przestrzeniami liniowymi (z naturalną topologią w której działania są ciągłe). 1. Dowolny monomorfizm j : V → W jest korozwłóknieniem; 2. dowolny epimorfizm p : W → V jest rozwłóknieniem; 3. Jeśli V ⊂ W jest podprzestrzenią liniową a U ⊂ W podzbiorem otwartym, to włożenie V ∩ U ⊂ U jest korozwłóknieniem. 24

Zad. 71. Jeśli X = A ∪ B gdzie A, B są podzbiorami domkniętymi oraz A ∩ B ⊂ A jest parą Borsuka, to włożenie A ⊂ X jest parą Borsuka. Zad. 72. Jeżeli A ⊆ X jest parą Borsuka, to X × {0} ∪ A × I ∪ X × {1} ⊆ X × I jest także parą Borsuka. Zad. 73. Para Borsuka i : A ↩→ X jest homotopijną równoważnością wtedy i tylko wtedy gdy A jest silnym retraktem deformacyjnym X. Zad. 74. Jeśli p: E → B jest rozwłoknieniem z włóknem F , to dla dowolnej przestrzeni loklalnie zwartej X odwzorowanie indukowane p∗ : Map (X, E) → Map (X, B) jest rozwłóknieniem. Zbadać jego włókno. Zad. 75. Podać przykład dwóch przekształceń włóknistych, które są homotopijne, ale nie są włókniście homotopijne. Zad. 76. Czy homotopijne przekształcenia muszą mieć homotopijnie równoważne homotopijne włókna i homotopijne kowłókna? Zad. 77. Niech p : E → B będzie rozwłóknieniem nad łukowo spójną przestrzenią. 1. Jeżeli istnieje b ∈ B takie, że p −1 (b) jest łukowo spójne, to E jest także łukowo spójna; 2. Jeżeli E jest łukowo spójna zaś B jednospójna, to włókna p są łukowo spójne. Zad. 78. Skonstruować rozwłóknienie E −→ B takie, że B ≈ CP ∞ , E ≈ S 2 , zaś włókno jest homotopijnie równoważne z S 3 . 5 Ciągi zbiorów klas homotopii W tym rozdziale rozpatrujemy przestrzenie z wyróżnionym punktem i odwzorowania zachowujące punkt wyróżniony, czyli pracujemy w kategorii T∗ oraz T∗h. Wyróżnianie punktu ma charakter techniczny, ułatwiając wprowadzanie pomocniczych struktur algebraicznych. Będziemy zakładać, że włożenie punktu wyróżnionego w przestrzeń jest korozwłóknieniem. Takie przestrzenie nazywamy dobrze punktowanymi. Ponieważ będziemy rozważać tylko przestrzenie dobrze punktowane, więc słowo ”dobrze” będziemy z reguły pomijać. Bedziemy też często pomijać w oznaczeniach punkt wyróżniony, pisząc X zamiast (X, x0). W tym rozdziale bardzo ważną rolę bedzie odgrywać pojęcie dokładności ciągu zbiorów, zbiorów z wyróżnionym punktem lub grup. Definicja 5.1. Diagram odwzorowań zbiorów E i S f nazwiemy dokładnym jeśli ∀ s ∈ S takiego, że f(s) = g(s) ∃ e ∈ E taki, że i(e) = s. Ciąg zbiorów z wyróżnionymi punktami (E, e0) i −→ (S, s0) f −→ (T, t0) nazywa sie dokładnym jeśli i(E) = f −1 (t0). 25 g T

Zad. 71. Jeśli X = A ∪ B gdzie A, B są podzbiorami domkniętymi oraz A ∩ B ⊂ A jest parą<br />

Borsuka, to włożenie A ⊂ X jest parą Borsuka.<br />

Zad. 72. Jeżeli A ⊆ X jest parą Borsuka, to X × {0} ∪ A × I ∪ X × {1} ⊆ X × I jest także parą<br />

Borsuka.<br />

Zad. 73. Para Borsuka i : A ↩→ X jest homotopijną równoważnością wtedy i tylko wtedy gdy A<br />

jest silnym retraktem deformacyjnym X.<br />

Zad. 74. Jeśli p: E → B jest rozwłoknieniem z włóknem F , to dla dowolnej przestrzeni loklalnie<br />

zwartej X odwzorowanie indukowane p∗ : Map (X, E) → Map (X, B) jest rozwłóknieniem.<br />

Zbadać jego włókno.<br />

Zad. 75. Podać przykład dwóch przekształceń włóknistych, które są homotopijne, ale nie są<br />

włókniście homotopijne.<br />

Zad. 76. Czy homotopijne przekształcenia muszą mieć homotopijnie równoważne homotopijne<br />

włókna i homotopijne kowłókna?<br />

Zad. 77. Niech p : E → B będzie rozwłóknieniem nad łukowo spójną przestrzenią.<br />

1. Jeżeli istnieje b ∈ B takie, że p −1 (b) jest łukowo spójne, to E jest także łukowo spójna;<br />

2. Jeżeli E jest łukowo spójna zaś B jednospójna, to włókna p są łukowo spójne.<br />

Zad. 78. Skonstruować rozwłóknienie E −→ B takie, że B ≈ CP ∞ , E ≈ S 2 , zaś włókno jest<br />

homotopijnie równoważne z S 3 .<br />

5 Ciągi zbiorów klas homotopii<br />

W tym rozdziale rozpatrujemy przestrzenie z wyróżnionym punktem i odwzorowania zachowujące<br />

punkt wyróżniony, czyli pracujemy w kategorii T∗ oraz T∗h. Wyróżnianie punktu ma charakter<br />

techniczny, ułatwiając wprowadzanie pomocniczych struktur algebraicznych. Będziemy zakładać,<br />

że włożenie punktu wyróżnionego w przestrzeń jest korozwłóknieniem. Takie przestrzenie nazywamy<br />

dobrze punktowanymi. Ponieważ będziemy rozważać tylko przestrzenie dobrze punktowane,<br />

więc słowo ”dobrze” będziemy z reguły pomijać. Bedziemy też często pomijać w oznaczeniach<br />

punkt wyróżniony, pisząc X zamiast (X, x0).<br />

W tym rozdziale bardzo ważną rolę bedzie odgrywać pojęcie dokładności ciągu zbiorów,<br />

zbiorów z wyróżnionym punktem lub grup.<br />

Definicja 5.1. Diagram odwzorowań zbiorów<br />

E i <br />

S f<br />

nazwiemy dokładnym jeśli ∀ s ∈ S takiego, że f(s) = g(s) ∃ e ∈ E taki, że i(e) = s. Ciąg zbiorów<br />

z wyróżnionymi punktami (E, e0) i −→ (S, s0) f −→ (T, t0) nazywa sie dokładnym jeśli i(E) = f −1 (t0).<br />

25<br />

g<br />

<br />

<br />

T

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

Saved successfully!

Ooh no, something went wrong!