1. Przestrzenie topologiczne
Przestrzeń topologiczna (X, τ) składa się z zbioru X i zbioru τ otwartych podzbiorów spełniającego: (1) ∅, X ∈ τ; (2) dowolne sumy zbiorów z τ należą do τ; (3) skończone przecięcia zbiorów z τ należą do τ. Topologia metryczna: otwarte kule B(x, ε) generują topologię w przestrzeniach metrycznych. Przestrzenie Hausdorffa (T₂): różne punkty mają rozłączne sąsiedztwa. Kontinuowana mapa: f: X→Y jest kontynuowym, jeśli dla każdego otwartego U ⊂ Y mnożenie odwrotne f⁻¹(U) jest otwarte. Homeomorfizm: kontinuowoprzeciwne bijekcja — topologiczna równoważność. Znany przykład: kubus z kawą ≈ torus genusu 1. Kompactność: każdy pokrywający otwarty ma skończoną podprzestrzeń pokrywającą. Twierdzenie Heine-Borel: kompakte podzbiory Rⁿ są zamknięte i ograniczone. Połączoność: brak podziału na dwa niepuste otwarte podzbiory.
2. Grupa podstawowa
Grupa podstawowa π₁(X, x₀) zapisuje „ dziury” poprzez pętle. Pętla: ciągła mapa γ: [0,1] → X o własnościach γ(0) = γ(1) = x₀. Homotopia: ciągła deformacja jednej pętli w drugą. Grupa π₁ jest grupą pod względem łączenia ścieżek (modulo homotopii). Nieskierowana: π₁ = {e} (brak dziur) — przykłady: ℝⁿ, Sⁿ dla n ≥ 2. π₁(S¹) = ℤ: pętle liczone przez liczbę obrotów. π₁(T²) = ℤ × ℤ: dwa niezależne pętli. Twierdzenie Van Kampena: oblicza π₁ na podstawie rozkładów. Przestrzenie pokrywające: p: X̃ → X z lokalnymi izometriami. Pokrywy uniwersalne: nieskierowane przestrzenie pokrywające, unikalne do izomorfizmu. Zastosowania: Twierdzenie Gaussa-Bonneta łączy topologię z krzywiutkością.
3. Homologia i kohomologia
Homologia singularna: H_n(X) wykrywa " dziury" o wymiarze n. Kompleks łańcuchowy: C_n → C_{n-1} → ... → C₀, operator brzegu ∂: ∂² = 0. H_n = ker(∂_n)/im(∂_{n+1}) = cykle/boundaria. H₀: komponenty połączone. H₁: pętle (abelizacja π₁). H₂: cavitacje (zakleszczone objętości). Liczby Bettiego: β_n = rang(H_n). Charakterystyka Eulera: χ = Σ(-1)ⁿβ_n = V - E + F (dla wielościanów). Czarna-Witkowskiegoowa sekwencja: oblicza homologię z dekompozycji. Ko_homologia: konstrukcja dualna, H^n(X) z iloczynem kupowym daje strukturę pierścienia. Ko_homologia De Rham: formy różniczkowe na mnogościach, H^n_dR ≅ H^n (twierdzenie De Rham). Duality Poincarégo: H_k(M) ≅ H^{n-k}(M) dla zamkniętych orientowanych n-mnogości.
4. Manifόdy i topologia różniczkowa
Manifold gładki: lokalnie izodiferencjalny do ℝⁿ, z gładkimi mapami przejścia. Przykłady: Sⁿ, Tⁿ, przestrzenie projektywne RPⁿ, CPⁿ, grupy Liea. Pudełko tangencyjne: TM = ⨆ T_pM, pudełko wektorowe nad M. Formy różniczkowe: Ω^k(M), pochodna zewnętrzna d: Ω^k → Ω^{k+1}. Twierdzenie Stokesa: ∫_M dω = ∫_{∂M} ω — łączy podstawowe twierdzenia rachunku różniczkowego, Greena, Stoksa i tezy zachodzenia. Klasyfikacja powierzchni: orientowalne powierzchnie g-genusu charakteryzowane są przez charakterystykę Eulera χ = 2-2g. Hipoteza Poincarégo (Perelman, 2003): każda zamknięta manifόda jednoznacznie połączona jest z S³. Struktury ekstotyczne: ℝ⁴ ma niezliczone liczby struktur gładkich (jedyny w innych wymiarach!).
5. Zastosowania
Analiza Topologiczna Danych (TDA): trwałe homologi badają cechy topologiczne na różnych skaliach. Diagramy i barwy trwałości wizualizują strukturę wieloskalową. Zastosowania: analiza struktury protein, nauka o materiałach (porowate medium), sieci detektorów. Topologia obliczeniowa: algorytmy dla homologi (forma normalna Smitha), trwałe homologie (Ripser, GUDHI). Fizyka: insulatorzy topologiczne (materiały z chronionymi stanami powierzchniowymi), kuantowe obliczenia topologiczne (anony). Teoria węzłów: wielomian Jonesa, wielomian HOMFLY, zastosowania do topologii DNA i fizyki polimerów. Topologia sieci: podstawy teorii grafów, charakterystyka Eulera kompleksów przekątnych. Maszynowe uczenie: funkcje strat topologiczne, regularizacja topologiczna, zredukowanie wymiarowości zachowujące topologię.
Spróbuj to na żywo
Wszystko powyżej działa w Twoim przegladarce — otwórz Spirograph i zmieniaj parametry podczas jego działania. Nie ma nic do zainstalowania, nie ma nic do wysłania, cała modelika istnieje w jednym okienku.
Wypróbuj na żywo
Wszystko powyżej działa bezpośrednio w Twojej przeglądarce — otwórz Parametric Spirograph Patterns i zmieniaj parametry podczas działania. Nic nie jest instalowane ani przesyłane na serwer, cały model działa w jednej karcie.
▶ Otwórz symulację Parametric Spirograph Patterns