Grupa fundamentalna

Grupa fundamentalna, nazywana także grupą pętli lub pierwszą grupą homotopii, jest jednym z podstawowych pojęć w topologii algebraicznej. Dla przestrzeni topologicznej X oraz wybranego punktu bazowego x₀ grupa fundamentalna opisuje klasy homotopii zamkniętych pętli w X zaczynających i kończących się w x₀. Symbolicznie oznaczana jest jako π₁(X, x₀).

Definicja

Niech X będzie przestrzenią topologiczną, a x₀ ∈ X punkt bazowy. Rozważmy zbiór wszystkich ciągłych aplikacji

γ : [0,1] → X, takie że γ(0) = γ(1) = x₀. Dwie takie pętle γ₁ i γ₂ nazywamy homotopijnie równoważnymi (oznaczamy γ₁ ≃ γ₂), jeśli istnieje ciągła funkcja

H : [0,1] × [0,1] → X spełniająca

H(t,0) = γ₁(t),
H(t,1) = γ₂(t),
H(0,s) = H(1,s) = x₀ dla każdego s ∈ [0,1].

Klasy homotopii pętli tworzą grupę względem operacji łącznia (konkatenacji) pętli. Element neutralny jest klasą stałej pętli, a element odwrotny do klasy [γ] jest klasą pętli γ̅, odwróconej w czasie.

Właściwości

Inwaryancja względem punktu bazowego – w przestrzeniach zwartych i lokalnie spójnych grupy fundamentalne w różnych punktach bazowych są izomorficzne.
Zależność od struktury topologicznej – π₁ jest silnym narzędziem rozróżniającym przestrzenie, które nie są homeomorficzne.
Funktorialność – dowolna ciągła funkcja f : X → Y z punktami bazowymi x₀ ∈ X i y₀ = f(x₀) ∈ Y indukuje homomorfizm grupowy f_* : π₁(X, x₀) → π₁(Y, y₀).
Wartość w przestrzeniach prostych – dla przestrzeni euklidesowej ℝⁿ (n ≥ 1) oraz kuli Sⁿ (n ≥ 2) grupa fundamentalna jest trywialna, czyli izomorficzna z grupą jednostkową.

Przykłady

Koło (S¹) – π₁(S¹) ≅ ℤ. Klasa pętli określa liczbę okrążeń wokół okręgu z uwzględnieniem orientacji.
Sfera S² – π₁(S²) ≅ {e} (grupa trywialna). Wszystkie pętle da się odciągnąć do punktu.
Tor (T² = S¹ × S¹) – π₁(T²) ≅ ℤ × ℤ. Generatorami są pętle okrężne wzdłuż dwóch niezależnych kierunków.
Różne powierzchnie o wyższym rodzaju – dla powierzchni orientowalnej o rodzaju g (suma g torów) π₁ jest grupą przedstawioną przez 2g generatorów z jedną relacją: ∏_{k=1}^{g}[a_k,b_k]=e.
Przestrzeń projektowa ℝP² – π₁(ℝP²) ≅ ℤ₂. Pętla wykonująca jedną „półokrągłą” podróż jest niehomotopijna z stałą pętlą.

Zastosowania

Grupa fundamentalna jest podstawowym narzędziem w:

teorii pokryć – klasyfikacja pokryć uniwersalnych przestrzeni topologicznych.
geometrii różniczkowej – badanie krzywizny i własności manifołów.
algebry topologicznej – w połączeniu z innymi grupami homotopii i grupami homologii.
analizy zmiennych zespolonych – badanie obszarów jednospójnych i ich struktur.

Obliczanie grupy fundamentalnej

Do wyznaczania π₁ najczęściej używa się:

Metody Van Kampena – pozwala wyznaczyć grupę fundamentalną z podziału przestrzeni na otwarte podzbiory o znanych grupach.
Ścieżek podnoszących w teorii pokryć – wykorzystuje własności pokrycia uniwersalnego.
Reprezentacji grupy fundamentalnej w grupach przekształceń (np. grupy izometrii).

Powiązane pojęcia

Więcej informacji znajdziesz w następujących artykułach encyklopedycznych:

Historia

Koncepcja grupy fundamentalnej wywodzi się z prac Henri'ego Poincarégo pod koniec XIX wieku, który wprowadził pojęcie homotopii i pierwszą grupę homotopii, aby rozróżniać przestrzenie o różnych własnościach topologicznych.

Bibliografia

H. Poincaré, Analyse Situs, 1895.
A. Hatcher, Algebraic Topology, Cambridge University Press, 2002.
M. Munkres, Topology, 2nd ed., Prentice Hall, 2000.