Topologia

Topologia – dział matematyki zajmujący się badaniem własności przestrzeni, które zachowują się przy ciągłych deformacjach, takich jak rozciąganie i zgniatanie, ale nie przy rozrywaniach ani klejeniu. W odróżnieniu od geometrii, topologia nie wymaga pojęcia miary ani kąta, a skupia się na relacjach między punktami, otwartościach i ciągłości.

Historia

Podstawy topologii położył już Leonard Euler w XVIII w., badając problem mostów w Königsbergu. Formalny początek topologii przypisuje się Johanowi Benediktowi Listingowi, który w 1847 roku wprowadził pojęcie Studien der Topologie. Rozwój tej dziedziny przyspieszył w drugiej połowie XIX w. dzięki pracom Henri Poincarégo, który zdefiniował pojęcia takie jak grupa fundamentalna i homotopia w 1915 roku. W latach 30. i 40. XX w. powstały klasyczne monografie Johna Loomisa i Kelley’a, które ugruntowały topologię ogólną jako odrębny dział.

Główne działy topologii

Topologia ogólna – badanie abstrakcyjnych przestrzeni metrycznych i przestrzeni topologicznych, pojęcia otwartości, ciągłości, zwartości i spójności.
Topologia algebraiczna – łączenie metod algebry (grupy, pierścienie) z topologią; podstawowe pojęcia to grupa fundamentalna, homologia i kohomologia.
Topologia różniczkowa – badanie rozmaitości oraz ich własności przy pomocy równań różniczkowych; kluczowe pojęcia to przestrzeń styczna i formy różniczkowe.
Topologia komutatywna – stosuje techniki algebry operatorów do badania przestrzeni topologicznych.
Topologia sieci – badanie struktur połączeń w sieciach komputerowych i grafach (związane z teorią grafów).

Podstawowe pojęcia

Przestrzeń topologiczna: Zbiór X wyposażony w rodzinę podzbiorów τ, zwanych zbiorami otwartymi, spełniających aksjomaty topologiczne (zawieranie pustego zbioru i całego X, zamknięcie pod sumą dowolną i pod przecięciem skończonym).
Ciągłość: Funkcja f: X → Y między przestrzeniami topologicznymi jest ciągła, jeśli przeciwobraz każdego otwartego zbioru w Y jest otwarty w X.
Homeomorfizm: Bijekcja ciągła o ciągłej odwrotnej, wskazująca, że dwie przestrzenie topologiczne są topologicznie równoważne.
Rozmaitość: Przestrzeń, która lokalnie przypomina przestrzeń euklidesową. Rozmaitości mogą być gładkie (gładkie rozmaitości) lub topologiczne.
Grupa fundamentalna: Zbiór klas homotopijnych pętli w danej przestrzeni, z działaniem składania. Służy do badania „dziur” w przestrzeni.
Homologia: Algebraiczna metoda przypisywania ciągu grup (lub modułów) przestrzeni, opisująca jej struktury kształtowe w wymiarach wyższych niż jednowymiarowe.
Homotopia: Ciagły przekształcenie jednej funkcji w drugą przy zachowaniu końcowych punktów; pojęcie podstawowe w topologii algebraicznej.

Główne twierdzenia

Twierdzenie Urysohna o funkcjach ciągłych rozdzielających zamknięte zbiory w przestrzeniach normalnych.
Twierdzenie Brouwer’a o nieprzemijalności dysku: nie istnieje ciągła odwzorowanie z jednostkowego dysku w jego brzegu, które jest jednocześnie odwzorowaniem odpowiednio.
Twierdzenie Kuratowskiego o charakterystyce przestrzeni normalnych poprzez podziały otwarte.
Twierdzenie Borsuka-Ulama – każdy ciągły odwzorowanie sfery na płaszczyznę ma dwa przeciwległe punkty o tej samej wartości.

Zastosowania

Topologia odgrywa kluczową rolę nie tylko w czystej matematyce, ale także w wielu dziedzinach nauki i techniki:

Fizyka – w fizyce teoretycznej, szczególnie w teorii strun, teorii pola kwantowego oraz w topologicznej teorii faz materiałów.
Inżynieria komputerowa – w projektowaniu i analizie sieci komputerowych, topologii sieci (gwiazda, pierścień, siatka) oraz w algorytmach przetwarzania grafów.
Biologia – w bioinformatyce przy analizie sieci proteinowych oraz w badaniu kształtu DNA przy użyciu topologii klasycznej.
Ekonomia – w badaniach struktury rynków przy pomocy modeli sieciowych i topologii złożoności.

Powiązane pojęcia

Na końcu warto wymienić najważniejsze pojęcia powiązane z topologią, które posiadają własne artykuły w encyklopedii:

Bibliografia

John L. Kelley, General Topology, Springer, 1975.
Algebraic Topology, Allen Hatcher, 2002 – darmowy dostęp w formie elektronicznej (link wewnętrzny do artykułu Allen Hatcher).
Topological Methods in Modern Mathematics, A. K. Bousfield i M. G. Barratt, 1970.

Artykuł ostatnio zaktualizowano w 2026 roku.