Topologia

Wstęga Möbiusa – jeden z podstawowych typów powierzchni wyróżnianych przez topologię, jako przykład rozmaitości jednostronnej (nieorientowalnej) z brzegiem

Topologia bada te własności przestrzeni, które nie podlegają zmianom przy rozciąganiu i deformowaniu, bez ich rozrywania lub sklejania. Kubek może być przekształcony na obwarzanek – oba są homeomorficzne z torusem

Butelka Kleina – powierzchnia jednostronna (nieorientowalna) bez brzegu

Topologia (gr. τόπος (tópos), miejsce, okolica; λόγος (lógos), słowo, nauka) – dział matematyki wyższej zajmujący się badaniem przestrzeni topologicznych, czyli najogólniejszych przestrzeni, dla których można zdefiniować pojęcie przekształcenia ciągłego. Topologia bada zwłaszcza własności zachowywane przez homeomorfizmy – np. orientowalność powierzchni, genus („liczbę otworów”), istnienie (niepustego) brzegu i jego podstawowe cechy. Właściwości tego typu są nazywane niezmiennikami topologicznymi.

Nieformalnie mawia się, że własności topologiczne nie ulegają zmianie nawet po radykalnym zdeformowaniu obiektów, np. figur geometrycznych jak bryły i ich odpowiedniki o innej liczbie wymiarów. Przez deformowanie rozumie się tutaj dowolne odkształcanie – jak zginanie, rozciąganie czy skręcanie – ale bez rozrywania różnych części lub zlepiania różnych punktów. Proces deformacji można wyobrazić sobie, przyjmując, że obiekt wykonano z gumy. Pod tym kątem można analizować między innymi obiekty geometryczne jak przestrzenie euklidesowe, inne rozmaitości i ich podzbiory, a topologia wyrosła właśnie z geometrii i bywała określana jako teoria umiejscowienia (łac. analysis situs). Mimo to w ogólności nie posługuje się ona pojęciami ilościowymi jak odległość czy miara kąta; nie uwzględnia nawet niektórych jakościowych relacji geometrycznych jak równoległość prostych. Taki minimalizm umożliwił uściślenie pojęć o geometrycznym rodowodzie jak krzywa czy abstrakcyjny wymiar zbioru, bez odwoływania się do algebry liniowej czy teorii miary. Topologia wkroczyła też w różne dziedziny matematyki odległe od jej korzeni. Przykładem jest analiza funkcjonalna – intuicyjne pojęcie spójności można uogólnić m.in. na przestrzenie funkcyjne jak te Hilberta, Banacha czy jeszcze ogólniejsze przestrzenie liniowo-topologiczne, które stały się definiującym tematem tego działu matematyki. Metody topologiczne zastosowano nawet w teorii liczb.

Geneza topologii, zwłaszcza rozumianej potocznie, bywa wiązana z XVIII-wiecznymi początkami teorii grafów w pracach Leonharda Eulera. Mimo to topologia sensu stricto wyrosła w II połowie XIX wieku, na pograniczu geometrii, analizy i teorii mnogości. Została nazwana przez Johanna Listinga w 1847 roku, a ogólny obszar badań tej dziedziny – czyli przestrzeń topologiczną – zdefniowano na początku XX wieku, w pracach Feliksa Hausdorffa i Kazimierza Kuratowskiego. Od tego czasu wykształciły się całe zróżnicowane gałęzie tej nauki – oprócz topologii ogólnej i mnogościowej powstały między innymi topologia algebraiczna, różniczkowa i geometryczna. Badają one różne szczególne klasy przestrzeni topologicznych, niezmienniki specjalnych typów homeomorfizmów – jak np. dyfeomorfizmy – i czerpią przy tym z różnych działów matematyki, zwłaszcza teorii grup. Osobną, owocną dyscypliną stała się też teoria węzłów, bliska korzeniom topologii w jakościowej stereometrii (trójwymiarowej geometrii euklidesowej). Topologia była jednym z głównych obszarów badań warszawskiej szkoły matematycznej, a osiągnięcia Polaków w tej dziedzinie upamiętniono m.in. nazwą przestrzeni polskiej. Prace Samuela Eilenberga w topologii algebraicznej przyczyniły się do powstania teorii kategorii; wiązanej głównie z algebrą i odgrywającej dużą rolę w różnych obszarach matematyki oraz poza nią.

Pytania postawione przez topologię uznano za doniosłe. W 2000 roku hipotezę Poincarégo w topologii algebraicznej umieszczono na liście siedmiu problemów milenijnych, a rozwiązanie jej przez Grigorija Perelmana nagrodzono dodatkowo (odrzuconym przez laureata) Medalem Fieldsa. Już wcześniej odznaczano tym medalem badania nad tą hipotezą, m.in. przez Stephena Smale’a, Michaela Freedmana i Williama Thurstona. Wybitne postępy w topologii nagradzano też innymi najwyższymi zaszczytami dostępnymi matematykom jak Nagroda Abela i Medal Copleya. Topologia wywiera też bezpośredni wpływ na rozmaite kierunki fizyki teoretycznej – teorię cząstek elementarnych (np. teorię strun), informatykę kwantową, biofizykę molekularną czy fizykę materii skondensowanej; przykładowo była wprost wspomniana w uzasadnieniu Nagrody Nobla w dziedzinie fizyki za 2016 rok. Pojęcia i wyniki topologiczne mają też znaczenie dla kosmologii – otwartym pozostaje pytanie o kształt Wszechświata; rozważano modele o różnych, czasem nietrywialnych ułożeniach czasoprzestrzeni.

Rys historyczny

Siedem mostów w Królewcu

Ilustracja przykładowej rozmaitości Calabiego-Yau, odgrywającej rolę w teorii strun

Przez Królewiec przepływa rzeka Pregoła, dzieląc miasto na dwie części; na niej dodatkowo znajdują się dwie wyspy (Knipawa i Lomse), co pokazuje ilustracja obok. Zastanawiano się, czy możliwe jest przejście przez wszystkie mosty królewieckie, pokonując każdy z nich co najwyżej raz.

W postawionym problemie nieważne są odległości między mostami, ich długości, współliniowość punktów ani kąty. Zagadnienie mostów królewieckich rozwiązał w 1736 roku Leonhard Euler, który wykazał, że jest to niemożliwe.

Podobnie topologiczny charakter ma twierdzenie Eulera o wielościanach wypukłych, które mówi, że suma liczby wierzchołków takiego wielościanu oraz liczby jego ścian równa jest liczbie krawędzi powiększonej o dwa. Wynik nie zależy od długości krawędzi czy kątów (poza wypukłością). Dziś o tym twierdzeniu mówi się jako o twierdzeniu o sferze dwuwymiarowej, uogólnionym przez Henriego Poincaré na dowolne wielościany, a przez Solomona Lefschetza na odwzorowania ciągłe wielościanów w siebie.

Wspomniane historycznie pierwsze wyniki topologiczne zostały uzyskane na długo przed ustanowieniem topologii jako osobnego działu matematyki, dlatego powszechnie uważa się Eulera za jej prekursora. Twierdzenia te mają charakter kombinatoryczny, z tego też powodu poprzedniczkę dzisiejszej topologii algebraicznej nazywano niegdyś topologią kombinatoryczną.

Nieco inny charakter ma klasyczne twierdzenie Weierstrassa w analizie: każda funkcja ciągła rzeczywista zdefiniowana na odcinku domkniętym jest ograniczona i osiąga swoje kresy. Podobnie jak w przypadku twierdzeń Eulera, wspomniane zdanie ma wymiar geometryczny, gdyż mówi o geometrycznych własnościach wykresów, ale różni się zasadniczo od twierdzeń geometrii klasycznej – takich jak na przykład twierdzenie Pitagorasa: w geometrii liczą się miary kątów, boków, powierzchni, ich proporcje oraz to, czy dane punkty leżą na jednej prostej, krzywej lub płaszczyźnie. Wszystkie te zagadnienia nie mają znaczenia w powyższych przykładach twierdzeń topologicznych.

Za twórcę topologii uważa się Bernharda Riemanna, który jako pierwszy prowadził badania stricte topologiczne, choć pewne wyniki, które dziś zaliczamy do topologii, znane były już wcześniej.

Jako osobna dziedzina matematyki topologia zaczęła się rozwijać u progu XX wieku, a przez kolejne 50 lat była najbujniej rozwijającą się dziedziną matematyki, w czym niemały udział mieli matematycy skupieni w polskiej szkole matematycznej. W początkowym okresie rozwoju topologii matematycy określali nową dziedzinę jako geometria situs (łac. geometria położenia/miejsca) lub analysis situs (łac. analiza położenia/miejsca).

Termin „topologia” został po raz pierwszy użyty w druku przez niemieckiego matematyka Johanna Benedicta Listinga w 1847, a około roku 1920 uznano powstanie nowej dziedziny matematyki. Matematyków zajmujących się topologią zaczęto nazywać topologami.

Jednymi z najważniejszych wydarzeń w historii topologii są:

• W 1854 Riemann wygłasza na uniwersytecie w Getyndze wykład habilitacyjny O hipotezach, jakie leżą u podstaw geometrii w którym wprowadził podstawy geometrii Riemanna.
• W końcu XIX w. Georg Cantor zainteresowany podzbiorami prostej rzeczywistej pojawiającymi się w teorii szeregów Fouriera rozwinął podstawy teorii mnogości. Rozważał on otwarte i domknięte podzbiory przestrzeni euklidesowych, a także operacje wnętrza i domknięcia w tych przestrzeniach. Wkrótce jego prace stały się podstawą wszelkich badań w topologii ogólnej.
• W 1890 Giuseppe Peano podał przykład ciągłego odwzorowania z odcinka $[0,1]$ na kwadrat $[0,1]\times [0,1].$ Ten i inne przykłady krzywych Peana były bodźcem do rozwoju teorii wymiaru.
• W 1894 Henri Poincaré wprowadził pojęcie grupy podstawowej i pokazał, że dwuwymiarowa powierzchnia zwarta (bez brzegu), o trywialnej grupie podstawowej, jest homeomorficzna z dwuwymiarową sferą. Następnie próbował, bez sukcesu, dowieść analogicznej hipotezy, zwanej hipotezą Poincarego, dla rozmaitości trójwymiarowych. Udało się to dopiero Grigorijowi Perelmanowi.
• W 1895 Henri Poincaré opublikował pracę Analysis Situs, w której wprowadził pojęcia homotopii i liczb Bettiego, które Emma Noether zastąpiła grupami homologii, i dał pierwsze systematyczne podejście do topologii, ustalając podstawy topologii algebraicznej.
• W 1906 Maurice Fréchet w swojej rozprawie doktorskiej wprowadził pojęcie przestrzeni metrycznej (chociaż sam nie używał tej nazwy, a została ona nadana tego typu przestrzeniom później przez Felixa Hausdorffa). Fréchet rozważał też abstrakcyjne struktury topologiczne zdefiniowane w terminach ciągów zbieżnych (co jest odzwierciedlone we współczesnej terminologii przez pojęcie przestrzeni Frécheta).
• W 1914 r. Felix Hausdorff wprowadził pojęcie przestrzeni topologicznej, a podana przez niego definicja obejmuje szeroką klasę przestrzeni znanych dzisiaj jako przestrzenie Hausdorffa (aksjomaty Hausdorff w zasadzie zaadaptował z wcześniejszych badań Hilberta, dotyczących szczególniejszej sytuacji z geometrii klasycznej).
• Definicję przestrzeni topologicznej w terminach operacji domknięcia, równoważną z dziś powszechnie stosowaną, sformułował Kazimierz Kuratowski. Początkowo jego definicja obejmowała przestrzenie T₁.

Podstawowe pojęcia

Zbiory otwarte

Korzenie topologii tkwią w geometrii i często mówi się o topologii jako o jednej z geometrycznych dziedzin matematyki. Z drugiej strony, topologia ogólna wyrosła z analizy matematycznej. Zarówno w geometrii, jak i w analizie ważnym pojęciem jest odległość. Odległość można zdefiniować na wiele sposobów w przestrzeni euklidesowej, jak i w innych przestrzeniach. Zbiór ze zdefiniowaną odległością (tzw. metryką) jest zwany przestrzenią metryczną.

Zauważono jednak, że wiele własności obiektów studiowanych w analizie może być scharakteryzowanych przy użyciu jedynie zbiorów otwartych bez potrzeby odwoływania się do pojęcia metryki. Zbiory otwarte w przestrzeni metrycznej to takie zbiory, które są sumami (również nieskończonymi) kul otwartych, a więc zbiorów punktów odległych od zadanego punktu (środka) o mniej niż zadana odległość (promień). Często okazuje się, że poznanie struktury zbiorów otwartych jest bardziej użyteczne niż badanie przestrzeni za pomocą metryki.

Przykład

Zbiorem otwartym na płaszczyźnie jest np. wnętrze dowolnego spójnego wielokąta. Można je skonstruować jako sumę nieprzeliczalnego zbioru kul otwartych, wypełniających wielokąt.

Otoczenia

Przykład punktu brzegowego zbioru $V\in X{:}$ do dowolnego otoczenia punktu $p$ należą punkty zbioru $V,$ jak i punkty spoza niego, należące do $X$ – dlatego punkt $p$ jest punktem brzegowym.

Otoczenia to zbiory spełniające następujące warunki:

• Dla każdego punktu istnieje jakieś jego otoczenie, a każde otoczenie zawiera pewien punkt.
• Jeśli punkt $X$ należy do otoczenia $U$ punktu $Y,$ to istnieje takie otoczenie punktu $X,$ które zawiera się w $U$ – intuicyjnie: skoro $X$ w pewnym sensie leży blisko $Y,$ to istnieją punkty leżące w pobliżu zarówno $X,$ jak i $Y.$
• Dla dowolnych dwóch otoczeń punktu $X$ istnieje otoczenie tego punktu, które się w nich zawiera.

Niektórzy autorzy do definicji dodają warunek, iż otoczenie musi być zbiorem otwartym.

Otoczenie punktu $X$ można sobie wyobrazić jako dowolną figurę, wewnątrz której znajduje się punkt $X.$ Każdy punkt przestrzeni euklidesowej posiada nieskończenie wiele otoczeń, z których niektóre zawierają się w innych. To zawieranie się otoczeń jest jedynym odpowiednikiem informacji o odległości danych punktów. Z drugiej strony otoczenia zostają zachowane przy homeomorficznych przekształceniach przestrzeni, co sprawia, że są w topologii użytecznym narzędziem.

Mając dany zbiór punktów i bazę ich otoczeń, możemy wygenerować przestrzeń topologiczną – wystarczy za zbiór otwarty uznać zbiór $V,$ dla którego nie istnieją punkty brzegowe, czyli takie, których wszystkie otoczenia zawierają zarówno punkty ze zbioru $V,$ jak i spoza tego zbioru (patrz rysunek obok).

Przestrzeń topologiczna

Topologią na zbiorze $X$ nazywa się dowolną rodzinę $\tau$ podzbiorów $X$ spełniającą następujące warunki:

• zbiór pusty oraz $X$ należą do $\tau$
• suma dowolnej rodziny zbiorów z $\tau$ należy $\tau$ oraz
• jeżeli $U,V\in \tau$ to również $U\cap V\in \tau .$

Elementy tej rodziny nazywane są zbiorami otwartymi w $X,$ ich dopełnienia nazywane są zbiorami domkniętymi, a parę $(X,\tau )$ nazywa się przestrzenią topologiczną.

W danej przestrzeni $X$ można na ogół utworzyć wiele różnych topologii. Jeżeli topologię w $X$ można utworzyć, posługując się jakąś metryką, to o przestrzeni $X$ mówi się, że jest metryzowalna. Np. metryzowalne są przestrzenie euklidesowe (prosta rzeczywista, płaszczyzna, przestrzeń trójwymiarowa itd.). Badane w topologii własności są uogólnieniami własności znanych z tychże przestrzeni.

Istnieją również przestrzenie topologiczne niemetryzowalne (np. iloczyn kartezjański nieprzeliczalnej rodziny co najmniej dwupunktowych przestrzeni topologicznych z topologią Tichonowa), dlatego też pojęcie przestrzeni topologicznej jest uogólnieniem pojęcia przestrzeni metrycznej.

Homeomorfizm

Pewne wyobrażenie o tym, czym zajmuje się topologia przestrzeni euklidesowych, można sobie wyrobić, jeżeli przywoła się przed oczy obraz zbiorów wykonanych z gumy. Z punktu widzenia topologii interesujące jest np. to, że węzeł (pokazany na rysunku obok) nie daje się bez rozcinania sprowadzić do euklidesowego okręgu, nie jest natomiast ważne, jakie ten węzeł ma rozmiary i krzywiznę „pętelek”, co byłoby istotne w geometrii.

Formalnie dwie przestrzenie są homeomorficzne, jeśli istnieje ciągła bijekcja z jednej z nich na drugą, której odwrotność też jest ciągła.

Gdy przestrzeń X daje się homeomorficznie odwzorować na przestrzeń Y, to przestrzenie X i Y mają takie same własności topologiczne i z punktu widzenia topologii są nieodróżnialne (homeomorficzne), mogą być traktowane jako różne egzemplarze tej samej przestrzeni. Przykładami własności topologicznych zachowywanych przez homeomorfizm są spójność („składanie się z jednego kawałka”) i wymiar (topologiczny) przestrzeni.

Kubek może być przekształcony płynnie na obwarzanek i odwrotnie

Przykład

Topologa określa się żartobliwie jako matematyka, który nie potrafi odróżnić kubka do kawy od obwarzanka. Istotnie, animacja załączona obok pokazuje sposób deformacji kubka do postaci obwarzanka i odwrotnie. Co ważne, deformacja przebiega w sposób ciągły, czyli bez rozrywania i sklejania, co oznacza właśnie, iż kubek i obwarzanek są homeomorficzne, a więc z punktu widzenia topologii nieodróżnialne.

Nietrudno teraz podać inne przykłady przestrzeni, które dla topologa niczym się nie różnią. Kulka plasteliny jest tym samym, co ulepiona z niej żyrafa (o ile podczas jej lepienia nie rozerwiemy i nie skleimy ze sobą wygiętych i rozciągniętych kawałków), trójkąt jest tym samym co kwadrat (a nawet koło).

Gałęzie topologii

Zgodnie z klasyfikacją badań naukowych w matematyce prowadzoną przez Amerykańskie Towarzystwo Matematyczne, współczesne badania topologiczne są podzielone na trzy poddziały.

Topologia ogólna (54xx)

Obiektem badań tutaj są przestrzenie topologiczne w swojej najogólniejszej postaci, ale często również wyposażone w dodatkową strukturę (np. metrykę) lub posiadające dodatkowe własności (np. bada się przestrzenie zwarte). Typowe tematy rozważań w topologii ogólnej to np. aksjomaty oddzielania, zachowywanie różnych własności w iloczynach przestrzeni topologicznych, czy też przez ciągłe obrazy, własności pierścienia funkcji ciągłych na danej przestrzeni, uzwarcenia przestrzeni topologicznych, czy też funkcje kardynalne. Korzysta się tu często z metod teorii mnogości i nierzadko można spotkać twierdzenia zakładające aksjomat Martina, PFA czy wyniki forsingowe dotyczące niezależności pewnych stwierdzeń od aksjomatów ZFC.

Topologia algebraiczna (55xx)

Z przestrzeniami topologicznymi wiąże się różne obiekty algebraiczne (przykładem może być tzw. grupa podstawowa). Ponieważ obiektom izomorficznym w sensie topologicznym (czyli homeomorficznym) przyporządkowuje się obiekty izomorficzne w sensie algebraicznym, to badając uzyskane struktury algebraiczne, można poznać własności danych przestrzeni topologicznych.

Topologia rozmaitości (57xx)

Rozmaitości to przestrzenie topologiczne, które „lokalnie” wyglądają tak jak przestrzenie euklidesowe. Często wyposażone są one w strukturę różniczkową lub kawałkami liniową. Są to zwykle najbardziej „naturalne” przykłady przestrzeni topologicznych, włączając w to dobrze znane powierzchnie. Nierzadko do badania tych obiektów używa się metod topologii algebraicznej.

Poddziałami topologii rozmaitości są:

Topologia różniczkowa (57Rxx)

Topologia różniczkowa zakłada o rozmaitościach topologicznych, że mają również strukturę różniczkową. W dziale tym stosuje zatem metody różniczkowe analizy matematycznej, w szczególności teorię Morse’a. Za początek topologii różniczkowej przyjmuje się odkrycie przez Johna Milnora niedyfeomorficznych struktur różniczkowych na siedmiowymiarowej sferze.

Podstawowym narzędziem topologii różniczkowej jest między innymi twierdzenie Sarda, które mówi, że miara Lebesgue’a zbioru punktów krytycznych odwzorowania rzeczywistego, gładkiego podzbioru otwartego $n$-wymiarowej przestrzeni euklidesowej wynosi zero.

Teoria węzłów (57M25, 57M27, 57M30)

Najprostszy nietrywialny węzeł – koniczynka

Szczególną gałęzią topologii rozmaitości jest teoria węzłów, która zajmuje się krzywymi zwykłymi zamkniętymi, zanurzonymi w przestrzeni trójwymiarowej. O ile w przestrzeniach dwuwymiarowych, a także cztero- i więcej wymiarowych każda taka krzywa daje się bez rozcinania przekształcić w okrąg, to w przestrzeni trójwymiarowej istnieje nieskończona liczba takich nierównoważnych krzywych, zwanych węzłami. Najprostszy z nich (oprócz trywialnego okręgu) to koniczynka, pokazana wyżej.

Teoria węzłów zajmuje się też położeniem w trójwymiarowej przestrzeni euklidesowej skończonych układów krzywych zamkniętych, badając przy tym sposób ich zaczepienia. Oprócz wspomnianych węzłów jednowymiarowych, rozwijana jest także teoria węzłów wielowymiarowych,

Poza wymienionymi wyżej trzema głównymi działami topologii wyróżnia się także:

Topologiczna teoria wymiaru

Teoria wymiaru topologicznego znajduje się na granicy topologii ogólnej i algebraicznej.

Kiedy Peano odkrył odwzorowanie ciągłe odcinka domkniętego na kwadrat, powstało niepokojące pytanie, czy topologia w ogóle jest w stanie rozróżnić wyżej wymiarowe przestrzenie euklidesowe, czy przypadkiem przestrzenie cztero- i pięciowymiarowe nie są homeomorficzne. Problem ten rozstrzygnął Brouwer, dowodząc niehomeomorficzności przestrzeni euklidesowych o różnym wymiarze. Brouwer był jednym z głównych prekursorów topologicznej teorii wymiaru, stworzonej przez Urysohna i Mengera.

Teoria wymiaru przypisuje przestrzeniom topologicznym liczbę całkowitą ≥ -1. Istnieje więcej niż jedno pojęcie wymiaru, są to m.in. klasyczne funkcje dim, ind i Ind oraz pewne algebraicznie subtelne definicje. Jednak wszystkie te funkcje przypisują wymiar równy -1 tylko i wyłącznie przestrzeni pustej, z kolei wymiar zerowy mają wszystkie przestrzenie dyskretne, ale nie tylko one. Wszystkie trzy powyższe funkcje klasyczne pokrywają się w zakresie przestrzeni polskich (czyli metrycznych, ośrodkowych).

Nawet w tym ograniczonym zakresie wymiar topologiczny różni się cechami od algebraicznego lub geometrycznego. W przypadku przestrzeni liniowych lub zbiorów i rozmaitości algebraicznych, podobnie jak w przypadku wielościanów, wymiar ma własność logarytmiczną: wymiar iloczynu kartezjańskiego jest równy sumie wymiarów czynników. Topologia, nawet przestrzeni polskich, zajmuje się znacznie bogatszą rodziną obiektów i prawo logarytmiczne w topologii nie zachodzi, co pokazuje piękny przykład pochodzący od Erdősa:

Przestrzeń wszystkich punktów klasycznej przestrzeni Hilberta o samych wymiernych współrzędnych, jest jednowymiarowa, a jej kwadrat jest homeomorficzny z nią samą. Zgodnie z prawem logarytmicznym druga przestrzeń powinna mieć wymiar 1+1, ale ma wymiar 1. Trudniej o takie przykłady w przypadku zwartych przestrzeni metrycznych. Ich wymiar dim musi wynosić co najmniej dwa. Przykład dwóch przestrzeni o wymiarze dwa, ale wymiarze ich iloczynu wynoszącym trzy podał Pontriagin, a Bołtiański skonstruował taką zwartą, dwuwymiarową przestrzeń metryczną, której kwadrat wynosi trzy. Prawo logarytmiczne jest jednym z szeregu problemów teorii wymiaru.

Topologiczna teoria wymiaru jest (w dużej mierze) zawarta w teorii funkcji uniwersalnych (patrz Morfizm uniwersalny):

Twierdzenie: $\dim(X)\geqslant n$ wtedy i tylko wtedy, gdy istnieje funkcja uniwersalna $f\colon X\to I_{n}$ (dla dowolnej przestrzeni całkowicie regularnej).

Pierwszą monografią poświęconą topologicznej teorii wymiaru jest klasyczna książka autorstwa Witolda Hurewicza i Henry’ego Wallmana pt. Dimension Theory.

Topologia nieskończeniewymiarowa

Wielu matematyków miało istotny wkład do topologii nieskończeniewymiarowej; wśród głównych pionierów należy wymienić Richarda Andersona. Głównych twórców, ze względu na rozmach i kompletność wyników, jest czterech (alfabetycznie): Thomas Chapman, Robert Edwards (matematyk), Henryk Toruńczyk oraz James West. Przy tym metody i prace Toruńczyka są szczególnie eleganckie.

U podstawy teorii legły dwa, dopiero po latach rozwiązane pytania:

• Czy wszystkie nieskończeniewymiarowe ośrodkowe przestrzenie Banacha są homeomorficzne?
• Czy iloczyn topologiczny przestrzeni $T$ z kostką Hilberta jest homeomorficzny z kostką Hilberta?

Drugie pytanie wymyślił i wpisał Karol Borsuk do Księgi szkockiej. O odpowiedzi-rozwiązaniu przez kolegów matematyków James West poinformował uczestników konferencji w Baton Rouge (Louisiana State University), tak określając dwa niezależne dowody: Anderson – terrible argument; Andrzej Szankowski – beautiful argument! (West mógł tak, nieco żartobliwie, powiedzieć jako uczeń Andersona, obecnego w czasie wykładu na sali).

Podstawowym wczesnym pojęciem był Z-zbiór (patrz Chapman, Lectures on Hilbert Cube Manifoldes, ISBN 0-8218-1678-0). Wprowadzili je niezależnie i opublikowali w tym samym czasie Anderson i Włodzimierz Holsztyński (w różnych czasopismach; tylko wcześniej wymieniona publikacja była zauważona).

Wśród wczesnych specjalistów należy wymienić, między innymi, Czesława Bessagę i Victora Klee.

Teoria grafów (05Cxx)

Fotografia dywanu, ilustrującego twierdzenie o czterech barwach

Na pograniczu topologii oraz matematyki dyskretnej znajduje się ważna dziedzina, zwana teorią grafów. Najprostszy graf można sobie wyobrazić jako zbiór punktów (tzw. wierzchołków), z których niektóre połączone są liniami (tzw. krawędziami). Historycznie pierwsze zadanie topologii, dotyczące mostów królewieckich, zalicza się do tej dziedziny. Słynnym problemem teorii grafów, który bardzo długo opierał się udowodnieniu, było twierdzenie o czterech barwach, głoszące, że dowolną mapę polityczną, na której każdy kraj składa się z jednego tylko kawałka (na sferze lub płaszczyźnie – to przypadki równoważne), można zabarwić używając tylko czterech kolorów tak, aby żadne dwa kraje mające wspólną granicę (dłuższą niż punkt) nie miały tego samego koloru (zobacz rysunek).

Klasycznym wynikiem teorii grafów jest twierdzenia Kazimierza Kuratowskiego, charakteryzujące topologicznie grafy płaskie.

Przykłady twierdzeń i wniosków z nich płynących

• W Waszyngtonie, w miejscu upamiętniającym amerykańskich marynarzy z czasów II wojny światowej (United States Navy Memorial) znajduje się mapa świata ułożona z materiałów tworzących chodnik na dużym placu (zobacz zdjęcia poniżej). Z wyjątkiem zniekształceń na obwodzie tej mapy, jest ona ciągłą reprezentacją powierzchni Ziemi w pewnej skali. Jednak wyłącznie na podstawie twierdzenia Banacha o odwzorowaniu zwężającym nie możemy powiedzieć, że jest punkt na tej mapie, który odpowiada samemu sobie (tzn. ten punkt i jego reprezentacja na mapie pokrywają się). Bowiem cała (idealizowana) powierzchnia Ziemi nie jest odwzorowana na mapę w sposób ciągły. Możemy jednak ograniczyć się do powierzchni kontynentalnej części USA (bez Alaski). Ponieważ cała mapa (chodnik) znajduje się w USA, to twierdzenie Banacha możemy zastosować wyłącznie do powierzchni USA: istnieje punkt powierzchni USA, który na chodnikowej mapie jest reprezentowany przez samego siebie (tj. reprezentujący go punkt mapy pokrywa się z nim). Chodzi o to, że o ile cała powierzchnia Ziemi na mapie jest rozcięta, to powierzchnia kontynentalnego USA przedstawiona jest w sposób ciągły (i zwężający). Gdy pojawiają się cięcia, to sprawa się komplikuje. (Uwaga: Z Alaską na mapach różnie bywa – czasem jest pocięta, a czasem nie; skoro jednak cała mapa znajduje się na chodniku w części kontynentalnej USA, to o ewentualne pocięcie Alaski nie musimy się martwić).

• 
  US Navy Memorial w Waszyngtonie: mapa świata.
• 
  Fragment mapy świata przedstawiający Stany Zjednoczone.
• 
  W części mapy przedstawiającej Wschodnie Wybrzeże Stanów Zjednoczonych znajduje się dokładnie jeden punkt, który odpowiada samemu sobie w terenie.

• Na podstawie twierdzenia Borsuka-Ulama możemy stwierdzić, że w każdym momencie są na Ziemi dwa punkty antypodyczne, w których zarówno temperatura, jak i ciśnienie powietrza są takie same, przy założeniu, że temperatura i ciśnienie zmieniają się w sposób ciągły. Przypomnijmy, że twierdzenie Borsuka-Ulama mówi, że dla każdej ciągłej funkcji $f\colon \mathbb {S} ^{n-1}\to \mathbb {R} ^{n-1}$ (gdzie $\mathbb {S} ^{n-1}\subseteq \mathbb {R} ^{n}$ jest sferą $n-1$-wymiarową) istnieją dwa punkty antypodyczne $x,y\in \mathbb {S} ^{n-1}$ dla których $f(x)=f(y).$
• Twierdzenie Lusternika-Schirelmanna-Borsuka mówi, że jeśli sfera $\mathbb {S} ^{n-1}$ jest pokryta przez $n$ zbiorów, z których każdy jest albo otwarty, albo domknięty, to jeden z tych zbiorów zawiera punkty antypodalne. (Wersja otwarta wynika w sposób elementarny z wersji domkniętej, i odwrotnie).

Znana jest anegdota, według której twierdzenie to uratowało pewien wyimaginowany świat przed wielkim nieszczęściem:

Rosja, Prusy i Austria postanowiły zakończyć wszystkie waśnie i podzielić się strefami wpływów. Każde z mocarstw chciało otrzymać część planety w wieczyste władanie. Z powodów związanych z bronią umieszczoną na satelitach żadne z mocarstw nie chciało, aby inne mocarstwo miało pod swoją kontrolą jakiekolwiek dwa punkty antypodalne. Lata prób nie doprowadziły do rozwiązania problemu, a ogłoszenie twierdzenia spowodowało, że trzy mocarstwa zadowoliły się podziałem Polski.

• Jeżeli spłaszczymy piłkę, to jakkolwiek byśmy jej przy tym nie deformowali (bez rozrywania), zawsze zetkną się jej dwa punkty antypodyczne. Jest to poglądowe sformułowanie powyższego twierdzenia Borsuka-Ulama o antypodach.

• Każdą kanapkę z żółtym serem i szynką można przeciąć nożem (czyli podzielić płaszczyzną) tak, by każda z dwóch części miała tyle samo chleba, tyle samo sera, i tyle samo szynki.

Przykład argumentacji topologicznej w analizie

Metody topologiczne stosuje się w wielu rozważaniach matematycznych, począwszy od analizy, przez geometrię, równania różniczkowe, aż na algebrze skończywszy, gdyż dostarcza ona matematykom wspólnego języka umożliwiającego dość ogólne spojrzenie geometryczne na problemy.

Przykładem rozumowania topologicznego może być dowód twierdzenia o istnieniu funkcji ciągłej rzeczywistej, określonej na prostej rzeczywistej $\mathbb {R} ,$ która nie jest różniczkowalna w żadnym punkcie. Pierwszy konkretny przykład takiej funkcji podał niemiecki matematyk Karl Weierstraß. Poszukiwanie kolejnych tego typu przykładów nastręczało wielu trudności, zastanawiano się nad ogólną formą i liczbą takich funkcji. Polski matematyk Stefan Banach przedstawił w 1931 topologiczny dowód istnienia takich funkcji:

Niech $C[0,1]$ oznacza przestrzeń wszystkich funkcji ciągłych z odcinka $[0,1]$ w zbiór liczb rzeczywistych. Przestrzeń $C[0,1]$ można wyposażyć w topologię zbieżności jednostajnej poprzez metrykę

$d(f,g)=\sup _{x\in [0,1]}|f(x)-g(x)|.$

Wówczas $C[0,1]$ jest przestrzenią polską (a nawet przestrzenią Banacha), w której zbiór

$R={\big \{}f\in C[0,1]\colon f$ ma pochodną w co najmniej jednym punkcie odcinka $[0,1]{\big \}}$

jest pierwszej kategorii. Ponieważ przestrzeń $C[0,1]$ jest zupełna (a więc jest przestrzenią Baire’a), to można powiedzieć, że z topologicznego punktu widzenia prawie każda funkcja ciągła nie jest różniczkowalna w żadnym punkcie.

Dowód ten wykazuje istnienie funkcji nieróżniczkowalnych w żadnym punkcie, jednak nie wskazuje konkretnego przykładu takiej funkcji.

Polscy topolodzy

Głównym ośrodkiem rozwoju topologii w Polsce była Warszawska szkoła matematyczna, współpracująca z lwowską szkołą matematyczną. Wśród polskich matematyków wkład w rozwój topologii wnieśli, między innymi:

• Kazimierz Alster
• Stefan Banach
• Czesław Bessaga
• Karol Borsuk
• Janusz Jerzy Charatonik
• Tadeusz Dobrowolski
• Roman Duda
• Samuel Eilenberg
• Ryszard Engelking
• Witold Hurewicz
• Zygmunt Janiszewski
• Jan Jaworowski
• Andrzej Kirkor
• Bronisław Knaster
• Antoni A. Kosiński
• Krystyna Kuperberg
• Włodzimierz Kuperberg
• Kazimierz Kuratowski
• Jerzy Mogilski
• Stanisław Mrówka
• Andrzej Lelek
• Edward Marczewski
• Stefan Mazurkiewicz
• Jerzy Mioduszewski
• Jan Mycielski
• Hanna Patkowska
• Aleksander Pełczyński
• Juliusz Paweł Schauder
• Karol Sieklucki
• Wacław Sierpiński
• Roman Sikorski
• Andrzej Szankowski
• Henryk Toruńczyk
• Menahem Wojdysławski
• Kazimierz Zarankiewicz

Zobacz też

• aksjomaty oddzielania

Bibliografia

Na polskim rynku wydawniczym istnieją podręczniki akademickie poświęcone topologii, m.in.:

• Kazimierz Kuratowski: Wstęp do teorii mnogości i topologii (wraz z dodatkiem Ryszarda Engelkinga Elementy topologii algebraicznej), wyd. siódme rozszerzone, Biblioteka Matematyczna. Tom 9, Państwowe Wydawnictwo Naukowe, Warszawa 1977.
• Ryszard Engelking: Topologia ogólna. Biblioteka Matematyczna. Tom 47. Państwowe Wydawnictwo Naukowe, Warszawa 1975.
• Hanna Patkowska: Wstęp do topologii, Państwowe Wydawnictwo Naukowe, Warszawa, 1979.
• Ryszard Engelking, Karol Sieklucki: Geometria i topologia. Część II. Topologia. Biblioteka Matematyczna. Tom 54, Państwowe Wydawnictwo Naukowe, Warszawa 1980. ISBN 83-01-01371-0.
• Roman Duda, Wprowadzenie do topologii. Cz. I. Topologia ogólna, Cz. II. Topologia algebraiczna. Topologia rozmaitości. Biblioteka Matematyczna. Tom 61, Państwowe Wydawnictwo Naukowe, Warszawa 1986. ISBN 83-01-05714-9.

Linki zewnętrzne

• B. Franzosa, Wstęp do topologii (Youtube, ang.)
• Eric W.E.W. Weisstein Eric W.E.W., Topology, [w:] MathWorld, Wolfram Research  (ang.). [dostęp 2023-06-01].
• General topology (ang.), Encyclopedia of Mathematics, encyclopediaofmath.org, [dostęp 2023-06-18].