Skończona przestrzeń topologiczna: Różnice pomiędzy wersjami

[wersja przejrzana]

[wersja nieprzejrzana]

Usunięta treść Dodana treść

Jednokolumnowy

Wersja z 01:56, 28 lis 2022

Skończone przestrzenie topologiczne – szczególny przypadek przestrzeni topologicznych. Jak sama nazwa wskazuje przestrzeń $(X,\tau )$ nazywamy skończoną jeżeli zbiór X jest skończony. Przestrzenie skończone są przestrzeniami Aleksandrowa. Wielu matematyków uważa przestrzenie skończone za mało ciekawe, wynika to z faktu iż na pozór wydają się one być mało ciekawe. Nie posiadają np. dobrych własności oddzielania, gdyż każda skończona $T_{1}$ przestrzeń jest przestrzenią dyskretną. Jednak przestrzenie skończone są znacznie ciekawsze niż może się wydawać na pierwszy rzut oka.

Podstawowe własności

W przestrzeni skończonej (jak i z definicji w każdej przestrzeni Aleksandrowa) przekrój dowolnej rodziny zbiorów otwartych jest otwarty. Zatem jeśli $(X,\tau )$ jest przestrzenią skończoną, to dla każdego $x\in X$ zbiór $U_{x}$ będący przekrojem wszystkich zbiorów otwartych zawierających x jest otwarty. Zbiór wszystkich takich $U_{x}-$ ów tworzy bazę przestrzeni X i jest to baza najmniejsza (w sensie inkluzji)^[1].

Przestrzenie skończone, a częściowe porządki

Każdej skończonej przestrzeni można przypisać relację przyjmując $x\leqslant y$ jeśli $x\in U_{y}.$ Relacja ta jest zwrotna i przechodnia, a jeżeli X jest $T_{0},$ to jest również antysymetryczna. Ponadto jeżeli X,Y są dwiema różnymi przestrzeniami topologicznymi, to odpowiadające im relacje są różne. Z drugiej strony mając dowolną zwrotną i przechodnią relację na skończonym zbiorze X, to relacja ta generuje topologię na X, której bazę tworzą zbiory postaci $U_{x}=\{y:y\leqslant x\}.$ Ponadto dwie różne relacje generują dwie różne przestrzenie topologiczne oraz otrzymana przestrzeń jest $T_{0}$ wtedy i tylko wtedy, gdy wyjściowa relacja jest częściowym porządkiem. Z tego wynika, że istnieje wzajemnie jednoznaczna odpowiedniość pomiędzy zwrotnymi i przechodnimi relacjami na danym zbiorze skończonym a topologiami na tym zbiorze. Podobna zależność jest dla częściowych porządków i $T_{0}$ przestrzeni na danym zbiorze skończonym. Analogiczne własności można naturalnie rozszerzyć na dowolne przestrzenie Aleksandrowa.^[1]

Funkcje ciągłe w przestrzeniach skończonych

Funkcjami ciągłymi w przestrzeniach skończonych (a także i Aleksandrowa) są tylko te funkcje, które zachowują porządek, tj. $f\colon X\to Y$ jest ciągła wtedy i tylko wtedy, gdy $x\leqslant y$ implikuje $f(x)\leqslant f(y).$ Zatem jak widać częściowe porządki można utożsamiać z $T_{0}$ przestrzeniami Aleksandrowa. Innymi słowy kategoria częściowych porządków jest izomorficzna z kategorią $T_{0}$ przestrzeni Aleksandrowa.^[1]

Kolejną ciekawą własnością jest to, że jeśli $x,y\in X$ są porównywalne, to istnieje droga $f$ łącząca punkt x z y. Można ją zdefiniować przyjmując f(t)=x dla x<1 oraz f(1)=y. Zauważmy, też że jeśli X jest spójna, to dla dowolnych punktów $x,y\in X$ istnieje ciąg punktów $z_{1},\dots ,z_{k}$ taki, że albo $z_{i}\leqslant z_{i+1}$ albo na odwrót. Stąd też wynika, że w klasie przestrzeni skończonych spójność i łukowa spójność są równoważne.^[1]

Przestrzenie skończone, a macierze

Mając przestrzeń topologiczną $X=\{1,2,\dots ,n\}$ możemy przypisać jej macierz $A_{X}$ zdefiniowaną następująco:

jeśli $i\leqslant j,$ to $a_{ij}=1,$ w przeciwnym wypadku $a_{ij}=0.$

Każda macierz, która odpowiada pewnej skończonej przestrzeni topologicznej spełnia następujące warunki:

a_{ij}\in \{0,1\},

a_{ii}=1,

a_{ik}=a_{kj}=1\Rightarrow a_{ij}=1,

Ponadto każda macierz kwadratowa posiadająca powyższe własności jest macierzą pewnej skończonej przestrzeni topologicznej. Innymi słowy istnieje wzajemnie jednoznaczna odpowiedniość między takimi macierzami a skończonymi przestrzeniami. Ponadto X jest $T_{0}$ wtedy i tylko wtedy, gdy $a_{ij}\cdot a_{ji}=0$ dla wszystkich $i,j\in \{1,\dots ,n\},$ gdzie $i\neq j.$ ^[2]

Jeśli $A,B$ są dwiema macierzami skończonych przestrzeni określonych na zbiorze $X=\{1,\dots ,n\},$ to odpowiadające im przestrzenie są homeomorficzne wtedy i tylko wtedy, gdy istnieje taka permutacja $p\colon X\to X,$ że $A=P^{T}BP,$ gdzie $P=[\delta _{ip(j)}]$ $(\delta _{ip(j)}$ oznacza deltę Kroneckera. Ponadto wtedy macierze $A,B$ będziemy nazywać równoważnymi i będziemy oznaczać $A\simeq B.$

Jeśli przestrzeń skończona $X$ nie jest spójna oraz $X_{1},\dots ,X_{k}$ są jej składowymi, których maciarzami są odpowiednio $A_{1},\dots ,A_{k},$ to macierz przestrzeni $X$ jest równoważną macierzy klatkowej, w której klatkami są macierze $A_{1},\dots ,A_{k},$ tj.^[2]

A\simeq {\begin{pmatrix}A_{1}&0&\cdots &0\\0&A_{2}&\cdots &0\\\vdots &\vdots &\ddots &\vdots \\0&0&0&A_{k}\\\end{pmatrix}}.

Topologia algebraiczna w przestrzeniach skończonych

Własności homotopijne

Z aksjomatów oddzielania przestrzeń skończona niebędąca przestrzenią dyskretną może spełniać co najwyżej aksjomat $T_{0}.$ Jednak jak się okzuje z dokładnością do homotopijnej równoważności każda skończona przestrzeń jest $T_{0}.$ Mając daną przestrzeń skończoną $X,$ która nie jest $T_{0}$ dzielimy $X$ przez relację $x\sim y\Leftrightarrow U_{x}=U_{y}.$ Tak otrzymana przestrzeń ilorazowa $X_{0}$ jest istotnie $T_{0}$ oraz homotopijnie równoważna z $X.$ Intuicyjny sens relacji $\sim$ jest taki, że jeśli $U_{x}=U_{y},$ to $x,y$ należą dokładnie do tych samych zbiorów otwartych, a więc z topologicznego punktu widzenia są nierozróżnialne i relacja $\sim$ wszystkie takie nierozróżnialne punkty przekształca w jeden. Weźmy pewien przykład. Niech $X$ będzie przestrzenią z topologią, której baza wygląda następująco: $\{1,2,3,4\},\{4\},\{4,5,6\}\}.$ Wtedy punkty 1,2,3 są w zdefiniowanej powyżej relacji. I widać zresztą, że w zasadzie są one nierozróżnialne w sposób topologiczny. Tak samo jest z punktami 5 oraz 6. Zatem $X_{0}$ ma bazę: $\{1,4\},\{4\},\{4,6\}.$ ^[1]

Przestrzenie skończone, a wielościany

Myśląc o grupie podstawowej przestrzeni skończonych można pomyśleć, że – biorąc pod uwagę niezbyt skomplikowaną strukturę przestrzeni skończonych – nie można powiedzieć zbyt wiele ciekawego na temat. Jednak rozważmy przestrzeń czteropunktową, w której topologię wprowadzamy w ten sposób, że przyjmujemy dwa punkty za otwarte, a dwa pozostałe za domknięte. I jak się okazuje grupa podstawowa takiej przestrzeni jest izomorficzna z $\mathbb {Z} .$ Co więcej wyższe grupy homotopii wspomnianej przestrzeni są wszystkie zerowe. Widać tutaj analogię do grup homotopii zwykłego okręgu, stąd też przestrzeń ta bywa zwana pseudo-okręgiem. Jednak zależność między $\mathbb {S} ^{1},$ a pseudo-okręgiem jest nieco głębsza. Mianowicie obie przestrzenie są słabo homotopijnie równoważne (mówimy, że przestrzenie $X$ oraz $Y$ są słabo homotopijnie równoważne jeżeli istnieje przekształcenie $f\colon X\to Y$ takie, że $f_{*}\colon \pi _{n}(X)\to \pi _{n}(Y)$ jest izomorfizmem dla każdego $n\geqslant 1$ ).

Słaba homotopijna równoważność łączy przestrzenie skończone ze skończonymi wielościanami. Otóż dla każdego skończonego wielościanu istnieje przestrzeń skończona, która jest z nim słabo homotopijnie równoważna. Słaba homotopijna równoważność nie musi być homotopijną równoważnością i w przypadku przestrzeni skończonych i wielościanów nigdy nie jest (nie licząc patologicznych przypadków gdy przestrzeń skończona jest dyskretna, a odpowiadający jej wielościan jest dalej tą samą przestrzenią traktowaną jako 0-wymiarowy wielościan), gdyż żadna łukowo spójna $T_{1}$ przestrzeń nie może mieć typu homotopii przestrzeni skończonej.^[3]

Jeżeli za dany wielościan przyjąć sferę $\mathbb {S} ^{n},$ to każda przestrzeń, która jest z nią słabo homotopijnie równoważna musi mieć co najmniej $2n+2$ punktów. Co więcej z przestrzeni, które mają $2n+2$ punktów z dokładnością do homeomorfizmu istnieje tylko jedna taka przestrzeń. W szczególności pseudo-okrąg jest jedyną z dokładnością do homeomorfizmu przestrzenią czteropunktową słabo homotopijnie równoważną z okręgiem.^[3]

Ponadto przestrzenie słabo homotopijnie równoważne posiadają takie same grupy homologii i kohomologii singularnych. Zatem topologia algebraiczna w przestrzeniach skończonych jest co najmniej tak samo bogata i interesująca jak w klasie wielościanów skończonych.^[3]

Ilość topologii na zbiorze skończonym

Badając przestrzenie skończone naturalne wydaje się pytanie co można powiedzieć o liczbie topologii na danym zbiorze skończonym w zależności od ilości elementów. Można rozważać również ilość $T_{0}$ topologii, klas homeomorfizmu itp. W poniższe tabelce przedstawiono wartości dla

Liczba topologii na zbiorze n-elementowym
n	Różne topologie	Różne T₀ topologie	Klasy homeomorficzności	T₀ klasy homeomorficzności
0	1	1	1	1
1	1	1	1	1
2	4	3	3	2
3	29	19	9	5
4	355	219	33	16
5	6 942	4 231	139	63
6	209 527	130 023	718	318
7	9 535 241	6 129 859	4 535	2 045
8	642 779 354	431 723 379	35 979	16 999
9	63 260 289 423	44 511 042 511	363 083	183 231
10	8 977 053 873 043	6 611 065 248 783	4 717 687	2 567 284
OEIS	A000798	A001035	A001930	A000112

Jeżeli przez $T(n)$ oznaczymy ilość topologii na zbiorze $n$ -elementowych, a przez $T_{0}(n)$ ilość $T_{0}$ topologii na tym samym zbiorze, to dla każdego n zachodzi wzór

T(n)=\sum _{k=0}^{n}S(n,k)\,T_{0}(k),

gdzie $S(n,k)$ oznacza liczby Stirlinga II rodzaju.

Przypisy

↑ ^a ^b ^c ^d ^e J.A. Barmak: Algebraic Topology of Finite Spaces and Applications. Springer, 2011. ISBN 978-3-642-22002-9. (ang.).
↑ ^a ^b R.E. Stong, Finite Topological Spaces, Trans. Amer. Math. Soc. 123 (1966), 325-340
↑ ^a ^b ^c M.C. McCord, Singular homology and homotopy groups of fnite topological spaces. Duke Math. J. 33 (1966), 465-474

[Barmak-1] J.A. Barmak: Algebraic Topology of Finite Spaces and Applications. Springer, 2011. ISBN 978-3-642-22002-9. (ang.).

[Stong-2] R.E. Stong, Finite Topological Spaces, Trans. Amer. Math. Soc. 123 (1966), 325-340

[mcc-3] M.C. McCord, Singular homology and homotopy groups of fnite topological spaces. Duke Math. J. 33 (1966), 465-474

[1]

[2]

[3]

@@ Linia 3: / Linia 3: @@
 == Podstawowe własności ==
-W przestrzeni skończonej (jak i z definicji w każdej przestrzeni Aleksandrowa) przekrój dowolnej rodziny zbiorów otwartych jest otwarty. Zatem jeśli <math>(X,\tau)</math> jest przestrzenią skończoną, to dla każdego <math>x\in X</math> zbiór <math>U_x</math> będący przekrojem wszystkich zbiorów otwartych zawierających x jest otwarty. Zbiór wszystkich takich <math>U_x-</math> ów tworzy bazę przestrzeni X i jest to baza najmniejsza (w sensie inkluzji).
+W przestrzeni skończonej (jak i z definicji w każdej przestrzeni Aleksandrowa) przekrój dowolnej rodziny zbiorów otwartych jest otwarty. Zatem jeśli <math>(X,\tau)</math> jest przestrzenią skończoną, to dla każdego <math>x\in X</math> zbiór <math>U_x</math> będący przekrojem wszystkich zbiorów otwartych zawierających x jest otwarty. Zbiór wszystkich takich <math>U_x-</math> ów tworzy bazę przestrzeni X i jest to baza najmniejsza (w sensie inkluzji)<ref name=Barmak>{{Cytuj książkę| autor= J.A. Barmak|tytuł=Algebraic Topology of Finite Spaces and Applications|wydawca=Springer | rok=2011|isbn=978-3-642-22002-9| język=en}}</ref>.
 === Przestrzenie skończone, a częściowe porządki ===
-Każdej skończonej przestrzeni można przypisać [[Relacja (matematyka)|relację]] przyjmując <math>x\leqslant y</math> jeśli <math>x\in U_y.</math> Relacja ta jest zwrotna i przechodnia, a jeżeli X jest <math>T_0,</math> to jest również antysymetryczna. Ponadto jeżeli X,Y są dwiema różnymi przestrzeniami topologicznymi, to odpowiadające im relacje są różne. Z drugiej strony mając dowolną zwrotną i przechodnią relację na skończonym zbiorze X, to relacja ta generuje topologię na X, której [[Baza przestrzeni topologicznej|bazę]] tworzą zbiory postaci <math>U_x=\{y:y\leqslant x\}.</math> Ponadto dwie różne relacje generują dwie różne przestrzenie topologiczne oraz otrzymana przestrzeń jest <math>T_0</math> wtedy i tylko wtedy, gdy wyjściowa relacja jest częściowym porządkiem. Z tego wynika, że istnieje wzajemnie jednoznaczna odpowiedniość pomiędzy zwrotnymi i przechodnimi relacjami na danym zbiorze skończonym a topologiami na tym zbiorze. Podobna zależność jest dla częściowych porządków i <math>T_0</math> przestrzeni na danym zbiorze skończonym. Analogiczne własności można naturalnie rozszerzyć na dowolne przestrzenie Aleksandrowa.
+Każdej skończonej przestrzeni można przypisać [[Relacja (matematyka)|relację]] przyjmując <math>x\leqslant y</math> jeśli <math>x\in U_y.</math> Relacja ta jest zwrotna i przechodnia, a jeżeli X jest <math>T_0,</math> to jest również antysymetryczna. Ponadto jeżeli X,Y są dwiema różnymi przestrzeniami topologicznymi, to odpowiadające im relacje są różne. Z drugiej strony mając dowolną zwrotną i przechodnią relację na skończonym zbiorze X, to relacja ta generuje topologię na X, której [[Baza przestrzeni topologicznej|bazę]] tworzą zbiory postaci <math>U_x=\{y:y\leqslant x\}.</math> Ponadto dwie różne relacje generują dwie różne przestrzenie topologiczne oraz otrzymana przestrzeń jest <math>T_0</math> wtedy i tylko wtedy, gdy wyjściowa relacja jest częściowym porządkiem. Z tego wynika, że istnieje wzajemnie jednoznaczna odpowiedniość pomiędzy zwrotnymi i przechodnimi relacjami na danym zbiorze skończonym a topologiami na tym zbiorze. Podobna zależność jest dla częściowych porządków i <math>T_0</math> przestrzeni na danym zbiorze skończonym. Analogiczne własności można naturalnie rozszerzyć na dowolne przestrzenie Aleksandrowa.<ref name=Barmak/>
 === Funkcje ciągłe w przestrzeniach skończonych ===
 [[Funkcja ciągła|Funkcjami ciągłymi]] w przestrzeniach skończonych (a także i Aleksandrowa) są tylko te funkcje, które zachowują porządek, tj. <math>f\colon X\to Y</math> jest ciągła wtedy i tylko wtedy, gdy <math>x\leqslant y</math> implikuje <math>f(x)\leqslant f(y).</math>
-Zatem jak widać częściowe porządki można utożsamiać z <math>T_0</math> przestrzeniami Aleksandrowa. Innymi słowy kategoria częściowych porządków jest izomorficzna z kategorią <math>T_0</math> przestrzeni Aleksandrowa.
+Zatem jak widać częściowe porządki można utożsamiać z <math>T_0</math> przestrzeniami Aleksandrowa. Innymi słowy kategoria częściowych porządków jest izomorficzna z kategorią <math>T_0</math> przestrzeni Aleksandrowa.<ref name=Barmak/>
-Kolejną ciekawą własnością jest to, że jeśli <math>x,y\in X</math> są porównywalne, to istnieje droga <math>f</math> łącząca punkt x z y. Można ją zdefiniować przyjmując f(t)=x dla x<1 oraz f(1)=y. Zauważmy, też że jeśli X jest spójna, to dla dowolnych punktów <math>x,y\in X</math> istnieje ciąg punktów <math>z_1,\dots,z_k</math> taki, że albo <math>z_i\leqslant z_{i+1}</math> albo na odwrót. Stąd też wynika, że w klasie przestrzeni skończonych [[Przestrzeń spójna|spójność]] i łukowa spójność są równoważne.
+Kolejną ciekawą własnością jest to, że jeśli <math>x,y\in X</math> są porównywalne, to istnieje droga <math>f</math> łącząca punkt x z y. Można ją zdefiniować przyjmując f(t)=x dla x<1 oraz f(1)=y. Zauważmy, też że jeśli X jest spójna, to dla dowolnych punktów <math>x,y\in X</math> istnieje ciąg punktów <math>z_1,\dots,z_k</math> taki, że albo <math>z_i\leqslant z_{i+1}</math> albo na odwrót. Stąd też wynika, że w klasie przestrzeni skończonych [[Przestrzeń spójna|spójność]] i łukowa spójność są równoważne.<ref name=Barmak/>
 === Przestrzenie skończone, a macierze ===
@@ Linia 22: / Linia 22: @@
 : <math>a_{ij}\in\{0,1\},</math> <math>a_{ii}=1,</math> <math>a_{ik}=a_{kj}=1\Rightarrow a_{ij}=1,</math>
-Ponadto każda macierz kwadratowa posiadająca powyższe własności jest macierzą pewnej skończonej przestrzeni topologicznej. Innymi słowy istnieje wzajemnie jednoznaczna odpowiedniość między takimi macierzami a skończonymi przestrzeniami. Ponadto X jest <math>T_0</math> wtedy i tylko wtedy, gdy <math>a_{ij}\cdot a_{ji}=0</math> dla wszystkich <math>i,j\in\{1,\dots,n\},</math> gdzie <math>i\neq j.</math>
+Ponadto każda macierz kwadratowa posiadająca powyższe własności jest macierzą pewnej skończonej przestrzeni topologicznej. Innymi słowy istnieje wzajemnie jednoznaczna odpowiedniość między takimi macierzami a skończonymi przestrzeniami. Ponadto X jest <math>T_0</math> wtedy i tylko wtedy, gdy <math>a_{ij}\cdot a_{ji}=0</math> dla wszystkich <math>i,j\in\{1,\dots,n\},</math> gdzie <math>i\neq j.</math><ref name=Stong>R.E. Stong, ''Finite Topological Spaces'', Trans. Amer. Math. Soc. 123 (1966), 325-340</ref>
 Jeśli <math>A,B</math> są dwiema macierzami skończonych przestrzeni określonych na zbiorze <math>X=\{1,\dots,n\},</math> to odpowiadające im przestrzenie są homeomorficzne wtedy i tylko wtedy, gdy istnieje taka permutacja <math>p\colon X \to X,</math> że <math>A=P^TBP,</math> gdzie <math>P=[\delta_{ip(j)}]</math> <math>(\delta_{ip(j)}</math> oznacza [[Symbol Kroneckera|deltę Kroneckera]]. Ponadto wtedy macierze <math>A,B</math> będziemy nazywać równoważnymi i będziemy oznaczać <math>A\simeq B.</math>
-Jeśli przestrzeń skończona <math>X</math> nie jest spójna oraz <math>X_1,\dots,X_k</math> są jej składowymi, których maciarzami są odpowiednio <math>A_1,\dots,A_k,</math> to macierz przestrzeni <math>X</math> jest równoważną macierzy klatkowej, w której klatkami są macierze <math>A_1,\dots,A_k,</math> tj.
+Jeśli przestrzeń skończona <math>X</math> nie jest spójna oraz <math>X_1,\dots,X_k</math> są jej składowymi, których maciarzami są odpowiednio <math>A_1,\dots,A_k,</math> to macierz przestrzeni <math>X</math> jest równoważną macierzy klatkowej, w której klatkami są macierze <math>A_1,\dots,A_k,</math> tj.<ref name=Stong/>
 : <math>A\simeq\begin{pmatrix}
 A_1     & 0        & \cdots  & 0 \\
@@ Linia 36: / Linia 36: @@
 == Topologia algebraiczna w przestrzeniach skończonych ==
 === Własności homotopijne ===
-Z aksjomatów oddzielania przestrzeń skończona niebędąca przestrzenią dyskretną może spełniać co najwyżej aksjomat <math>T_0.</math> Jednak jak się okzuje z dokładnością do homotopijnej równoważności każda skończona przestrzeń jest <math>T_0.</math> Mając daną przestrzeń skończoną <math>X,</math> która nie jest <math>T_0</math> dzielimy <math>X</math> przez relację <math>x\sim y \Leftrightarrow U_x=U_y.</math> Tak otrzymana przestrzeń ilorazowa <math>X_0</math> jest istotnie <math>T_0</math> oraz homotopijnie równoważna z <math>X.</math> Intuicyjny sens relacji <math>\sim</math> jest taki, że jeśli <math>U_x=U_y,</math> to <math>x,y</math> należą dokładnie do tych samych zbiorów otwartych, a więc z topologicznego punktu widzenia są nierozróżnialne i relacja <math>\sim</math> wszystkie takie nierozróżnialne punkty przekształca w jeden. Weźmy pewien przykład. Niech <math>X</math> będzie przestrzenią z topologią, której baza wygląda następująco: <math>\{1,2,3,4\},\{4\},\{4,5,6\}\}.</math> Wtedy punkty 1,2,3 są w zdefiniowanej powyżej relacji. I widać zresztą, że w zasadzie są one nierozróżnialne w sposób topologiczny. Tak samo jest z punktami 5 oraz 6. Zatem <math>X_0</math> ma bazę: <math>\{1,4\},\{4\},\{4,6\}.</math>
+Z aksjomatów oddzielania przestrzeń skończona niebędąca przestrzenią dyskretną może spełniać co najwyżej aksjomat <math>T_0.</math> Jednak jak się okzuje z dokładnością do homotopijnej równoważności każda skończona przestrzeń jest <math>T_0.</math> Mając daną przestrzeń skończoną <math>X,</math> która nie jest <math>T_0</math> dzielimy <math>X</math> przez relację <math>x\sim y \Leftrightarrow U_x=U_y.</math> Tak otrzymana przestrzeń ilorazowa <math>X_0</math> jest istotnie <math>T_0</math> oraz homotopijnie równoważna z <math>X.</math> Intuicyjny sens relacji <math>\sim</math> jest taki, że jeśli <math>U_x=U_y,</math> to <math>x,y</math> należą dokładnie do tych samych zbiorów otwartych, a więc z topologicznego punktu widzenia są nierozróżnialne i relacja <math>\sim</math> wszystkie takie nierozróżnialne punkty przekształca w jeden. Weźmy pewien przykład. Niech <math>X</math> będzie przestrzenią z topologią, której baza wygląda następująco: <math>\{1,2,3,4\},\{4\},\{4,5,6\}\}.</math> Wtedy punkty 1,2,3 są w zdefiniowanej powyżej relacji. I widać zresztą, że w zasadzie są one nierozróżnialne w sposób topologiczny. Tak samo jest z punktami 5 oraz 6. Zatem <math>X_0</math> ma bazę: <math>\{1,4\},\{4\},\{4,6\}.</math><ref name=Barmak/>
 === Przestrzenie skończone, a wielościany ===
 Myśląc o grupie podstawowej przestrzeni skończonych można pomyśleć, że – biorąc pod uwagę niezbyt skomplikowaną strukturę przestrzeni skończonych – nie można powiedzieć zbyt wiele ciekawego na temat. Jednak rozważmy przestrzeń czteropunktową, w której topologię wprowadzamy w ten sposób, że przyjmujemy dwa punkty za otwarte, a dwa pozostałe za domknięte. I jak się okazuje grupa podstawowa takiej przestrzeni jest izomorficzna z <math>\mathbb{Z}.</math> Co więcej wyższe grupy homotopii wspomnianej przestrzeni są wszystkie zerowe. Widać tutaj analogię do grup homotopii zwykłego okręgu, stąd też przestrzeń ta bywa zwana pseudo-okręgiem. Jednak zależność między <math>\mathbb{S}^1,</math> a pseudo-okręgiem jest nieco głębsza. Mianowicie obie przestrzenie są słabo homotopijnie równoważne (mówimy, że przestrzenie <math>X</math> oraz <math>Y</math> są słabo homotopijnie równoważne jeżeli istnieje przekształcenie <math>f\colon X \to Y</math> takie, że <math>f_*\colon \pi_n(X) \to \pi_n(Y)</math> jest izomorfizmem dla każdego <math>n\geqslant 1</math>).
-Słaba homotopijna równoważność łączy przestrzenie skończone ze skończonymi wielościanami. Otóż dla każdego skończonego wielościanu istnieje przestrzeń skończona, która jest z nim słabo homotopijnie równoważna. Słaba homotopijna równoważność nie musi być homotopijną równoważnością i w przypadku przestrzeni skończonych i wielościanów nigdy nie jest (nie licząc patologicznych przypadków gdy przestrzeń skończona jest dyskretna, a odpowiadający jej wielościan jest dalej tą samą przestrzenią traktowaną jako 0-wymiarowy wielościan), gdyż żadna łukowo spójna <math>T_1</math> przestrzeń nie może mieć typu homotopii przestrzeni skończonej.
+Słaba homotopijna równoważność łączy przestrzenie skończone ze skończonymi wielościanami. Otóż dla każdego skończonego wielościanu istnieje przestrzeń skończona, która jest z nim słabo homotopijnie równoważna. Słaba homotopijna równoważność nie musi być homotopijną równoważnością i w przypadku przestrzeni skończonych i wielościanów nigdy nie jest (nie licząc patologicznych przypadków gdy przestrzeń skończona jest dyskretna, a odpowiadający jej wielościan jest dalej tą samą przestrzenią traktowaną jako 0-wymiarowy wielościan), gdyż żadna łukowo spójna <math>T_1</math> przestrzeń nie może mieć typu homotopii przestrzeni skończonej.<ref name=mcc>M.C. McCord, ''Singular homology and homotopy groups of fnite topological spaces''. Duke Math. J. 33 (1966), 465-474</ref>
-Jeżeli za dany wielościan przyjąć sferę <math>\mathbb{S}^n,</math> to każda przestrzeń, która jest z nią słabo homotopijnie równoważna musi mieć co najmniej <math>2n+2</math> punktów. Co więcej z przestrzeni, które mają <math>2n+2</math> punktów z dokładnością do homeomorfizmu istnieje tylko jedna taka przestrzeń. W szczególności pseudo-okrąg jest jedyną z dokładnością do homeomorfizmu przestrzenią czteropunktową słabo homotopijnie równoważną z okręgiem.
+Jeżeli za dany wielościan przyjąć sferę <math>\mathbb{S}^n,</math> to każda przestrzeń, która jest z nią słabo homotopijnie równoważna musi mieć co najmniej <math>2n+2</math> punktów. Co więcej z przestrzeni, które mają <math>2n+2</math> punktów z dokładnością do homeomorfizmu istnieje tylko jedna taka przestrzeń. W szczególności pseudo-okrąg jest jedyną z dokładnością do homeomorfizmu przestrzenią czteropunktową słabo homotopijnie równoważną z okręgiem.<ref name=mcc/>
-Ponadto przestrzenie słabo homotopijnie równoważne posiadają takie same grupy homologii i kohomologii singularnych. Zatem topologia algebraiczna w przestrzeniach skończonych jest co najmniej tak samo bogata i interesująca jak w klasie wielościanów skończonych.
+Ponadto przestrzenie słabo homotopijnie równoważne posiadają takie same grupy homologii i kohomologii singularnych. Zatem topologia algebraiczna w przestrzeniach skończonych jest co najmniej tak samo bogata i interesująca jak w klasie wielościanów skończonych.<ref name=mcc/>
 == Ilość topologii na zbiorze skończonym ==
@@ Linia 96: / Linia 96: @@
 gdzie <math>S(n, k)</math> oznacza [[Liczby Stirlinga|liczby Stirlinga II rodzaju]].
+== Przypisy ==
+{{Przypisy}}
 [[Kategoria:Własności przestrzeni topologicznych]]