Topologia ogólna/Podstawowe pojęcia

Podstawowe pojęcia

W rozdziale tym zdefiniujemy pojęcie przestrzeni topologicznej, pokażemy, że jest ono uogólnieniem pojęcia przestrzeni metrycznej, przedstawimy kilka sposobów wprowadzania topologii na zbiorze oraz definicje kilku podstawowych pojęć, m.in. pojęcia zbioru otwartego i domkniętego, operacji wnętrza i domknięcia, bazy, podbazy, bazy otoczeń, topologii podprzestrzeni.

Przestrzeń topologiczna

Definicja

Przestrzenią topologiczną nazywamy każdą parę uporządkowaną $(X,{\mathcal {O}}_{X})$ taką, że $X$ jest zbiorem, zaś ${\mathcal {O}}_{X}\subseteq 2^{X}$ oraz spełnione są następujące warunki:

1. $\emptyset ,X\in {\mathcal {O}}_{X}$
2. $\forall _{U_{1},U_{2},\dots ,U_{n}\in {\mathcal {O}}_{X}}U_{1}\cap U_{2}\cap \dots \cap U_{n}\in {\mathcal {O}}_{X}$
3. $\forall _{{\mathcal {V}}\subseteq {\mathcal {O}}_{X}}\bigcup {\mathcal {V}}\in {\mathcal {O}}_{X}$.

Rodzinę ${\mathcal {O}}_{X}$ podzbiorów zbioru $X$ spełniającą warunki 1., 2., 3. nazywamy topologią na zbiorze $X$ (lub: rodziną wszystkich zbiorów otwartych przestrzeni $X$).

W dalszym ciągu daną przestrzeń topologiczną $(X,{\mathcal {O}}_{X})$ często oznaczać będziemy po prostu przez $X$, o ile jasnym będzie, jaką topologię na $X$ akurat rozważamy. Jeżeli bowiem dany zbiór posiada co najmniej dwa elementy, można określić na nim więcej niż jedną topologię, co wynika z zamieszczonych poniżej przykładów 1. i 2.

Przykłady

1. Na dowolnym zbiorze $X$ topologią jest: $2^{X}$. Istotnie, $X,\emptyset \in 2^{X}$, zatem spełniony jest warunek 1. definicji. Iloczyn dowolnej, więc tym bardziej skończonej rodziny podzbiorów danego zbioru jest jego podzbiorem, zatem spełniony jest warunek 2. Suma dowolnej rodziny podzbiorów danego zbioru jest jego podzbiorem, zatem spełniony jest warunek 3. Tak zdefiniowaną topologię na $X$ nazywamy topologią dyskretną, zaś $(X,2^{X})$ nazywamy przestrzenią topologiczną dyskretną.
2. Na dowolnym zbiorze $X$ topologią jest: $\{\emptyset ,X\}$. Taką topologię nazywamy topologią antydyskretną, zaś przestrzeń $(X,\{\emptyset ,X\})$ - przestrzenią topologiczną antydyskretną.
3. Niech $X=\{a,b\}$ będzie dowolnym zbiorem dwuelementowym. Jedynymi topologiami na $X$ są:
   • $\{\emptyset ,\{a,b\}\}$
   • $\{\emptyset ,\{a,b\},\{a\}\}$
   • $\{\emptyset ,\{a,b\},\{b\}\}$
   • $\{\emptyset ,\{a,b\},\{a\},\{b\}\}$
4. Dla dowolnego zbioru $X$ przestrzenią topologiczną jest: $(X,{\mathcal {O}}_{X})$, gdzie ${\mathcal {O}}_{X}=\{U\subseteq X\ :\ (U=\emptyset )\lor (|X\setminus U|<\aleph _{0})\}$. Topologię ${\mathcal {O}}_{X}$ nazywamy topologią dopełnień zbiorów skończonych na $X$.
5. Jak pokażemy w dalszej części rozdziału, rodzina wszystkich zbiorów otwartych dowolnej przestrzeni metrycznej $(X,d)$ jest topologią na $X$.

• Ćwiczenie: Sprawdzić, czy topologia antydyskretna rzeczywiście jest topologią.
• Ćwiczenie: Wypisać wszystkie możliwe topologie na zbiorze 3-elementowym (uwaga: będzie ich już dość dużo!).
• Ćwiczenie: Pokazać, że topologia dopełnień zbiorów skończonych jest rzeczywiście topologią. Zdefiniować analogicznie rodzinę dopełnień zbiorów przeliczalnych. Sprawdzić, czy jest ona topologią niezależnie od zbioru na którym jest zdefiniowana.

Zbiory otwarte i domknięte

Definicje

Zbiorem otwartym w przestrzeni topologicznej $(X,{\mathcal {O}}_{X})$ nazywamy każdy zbiór $U\in {\mathcal {O}}_{X}$.

Zbiorem domkniętym w przestrzeni topologicznej $(X,{\mathcal {O}}_{X})$ nazywamy każdy taki zbiór $F\in 2^{X}$, że $X\setminus F\in {\mathcal {O}}_{X}$, to znaczy każdy zbiór, którego dopełnienie w przestrzeni $X$ jest zbiorem otwartym.

Wobec tego: $A\subseteq X$ jest otwarty wtedy i tylko wtedy, gdy $X\setminus A$ jest domknięty.

Istnieją zbiory, które nie są ani otwarte, ani domknięte. Przykładowo, rozważmy topologię dopełnień zbiorów skończonych na zbiorze liczb naturalnych. Zbiór wszystkich liczb naturalnych parzystych nie jest zbiorem otwartym, gdyż zbiór liczb nieparzystych nie jest zbiorem skończonym. Nie jest on również zbiorem domkniętym, gdyż zbiór liczb nieparzystych nie jest zbiorem otwartym. Podobnie, każdy różny od całej przestrzeni i różny od zbioru pustego podzbiór przestrzeni antydyskretnej nie jest otwarty i nie jest domknięty.

Istnieją również zbiory, które są zarówno otwarte, jak i domknięte. Zbiory takie nazywamy zbiorami otwarto-domkniętymi. W każdej przestrzeni topologicznej $X$ zbiorami otwarto-domkniętymi są $X$ oraz $\emptyset$. Każdy podzbiór przestrzeni dyskretnej jest otwarto-domknięty.

Rodzina zbiorów domkniętych

Analogicznie do rodziny zbiorów otwartych przestrzeni $X$ (czyli topologii na $X$) można zdefiniować rodzinę zbiorów domkniętych.

Rodziną zbiorów domkniętych na zbiorze $X$ nazywamy każdą rodzinę ${\mathcal {F}}_{X}\subseteq 2^{X}$ taką, że spełnione są warunki:

1. $\emptyset ,X\in {\mathcal {F}}_{X}$
2. $\forall _{F_{1},F_{2},\dots ,F_{n}\in {\mathcal {F}}_{X}}F_{1}\cup F_{2}\cup \dots \cup F_{n}\in {\mathcal {F}}_{X}$
3. $\forall _{{\mathcal {V}}\subseteq {\mathcal {F}}_{X}}\bigcap {\mathcal {V}}\in {\mathcal {F}}_{X}$.

• Ćwiczenie: Pokazać, że jeśli mamy daną przestrzeń topologiczną $(X,{\mathcal {O}}_{X})$, to rodzina dopełnień zbiorów otwartych spełnia warunki 1.,2.,3. definicji rodziny zbiorów domkniętych.
• Ćwiczenie: Pokazać, że jeśli dana rodzina ${\mathcal {A}}$ podzbiorów zbioru $X$ spełnia warunki 1.,2.,3. definicji rodziny zbiorów domkniętych, to rodzina dopełnień zbiorów z ${\mathcal {A}}$ jest topologią na $X$.

Punkty wewnętrzne, izolowane, skupienia

Definicje

Niech $(X,{\mathcal {O}}_{X})$ będzie przestrzenią topologiczną oraz niech $A\subseteq X$. Definiujemy następujace pojecia:

Otoczeniem otwartym punktu $x\in A$ nazywamy każdy taki zbiór $U\in {\mathcal {O}}_{X}$, że $x\in U$.

Punktem wewnętrznym zbioru $A$ nazywamy każdy taki punkt $x\in A$, że $\exists _{U\in {\mathcal {O}}_{X}}(x\in U\land U\subseteq A)$. Innymi słowy, punkt $x\in A$ jest punktem wewnętrznym $A$, o ile zawiera się w $A$ wraz z pewnym otoczeniem otwartym.

Punktem skupienia zbioru $A$ nazywamy każdy taki punkt $x\in X$, że $\forall _{U\in {\mathcal {O}}_{X}}(x\in U\implies (U\setminus \{x\})\cap A\not =\emptyset$. Wobec tego punkt $x\in X$ jest punktem skupienia zbioru $A$ wtedy i tylko wtedy, gdy każde jego otoczenie otwarte posiada co najmniej jeden rózny od $x$ punkt wspólny ze zbiorem $A$.

Punktem izolowanym zbioru $A$ nazywamy każdy punkt $x\in A$ taki, że $x$ nie jest punktem skupienia zbioru $A$.

Przykłady

Niech $X$ będzie zbiorem oraz $A$ dowolnym podzbiorem $X$.

1. Przy topologii dyskretnej na $X$ każdy $x\in A$ jest punktem wewnętrznym $A$ oraz punktem izolowanym $A$, gdyż $\{x\}$ jest otwartym otoczeniem $x$.
2. Przy topologii antydyskretnej na $X$ każdy $x\in A$ jest punktem skupienia $A$. Zbiór $A$ posiada punkty wewnętrzne tylko wtedy, gdy $A=X$. Jest tak, ponieważ jedynym otoczeniem otwartym dowolnego punktu $x\in A$ jest $X$.
3. Niech $X\not =\emptyset$. Wybierzmy $x\in X$ i przyjmijmy na $X$ następującą topologię: ${\mathcal {O}}_{X}=\{U\in 2^{X}:x\in U\}$. Jeśli $x\in A\subseteq X$, to $A^{d}=X$. W przeciwnym wypadku, o ile $A\not =\emptyset$, to $A^{d}=\{x\}$ oraz $A$ nie posiada punktów wewnętrznych.

Operacje domknięcia i wnętrza

Definicje

Niech będzie dana przestrzeń topologiczna $(X,{\mathcal {O}}_{X})$. Zdefiniujemy teraz operacje domknięcia i wnętrza, działające w zbiorze podzbiorów przestrzeni $X$.

Operacją wnętrza nazywamy funkcję $\operatorname {Int} :2^{X}\to 2^{X}$ określoną: $\forall _{A\in 2^{X}}\operatorname {Int} A=\bigcup _{U\in {\mathcal {O}}_{X},U\subseteq A}U$.

Operacją domknięcia nazywamy funkcję $\operatorname {Cl} :2^{X}\to 2^{X}$ określoną: $\forall _{A\in 2^{X}}\operatorname {Cl} A=\bigcap _{F\in {\mathcal {F}}_{X},A\subseteq F}F$.

Często używa się również symboli: $A^{\circ }$ oraz ${\overline {A}}$ dla oznaczenia odpowiednio wnętrza i domknięcia zbioru $A$.

Zdefiniujemy jeszcze trzy inne funkcje, powiązane z operacjami domknięcia i wnętrza.

Przez operację ograniczenia (lub: brzegu) rozumiemy funkcję $\operatorname {Fr} :2^{X}\to 2^{X}$ określoną następująco: $\forall _{A\in 2^{X}}\operatorname {Fr} A=\operatorname {Cl} A\cap \operatorname {Cl} (X\setminus A)$. Czasem brzeg $A$ oznacza się też przez $\partial A$ lub $\operatorname {Bd} A$.

Przez pochodną rozumiemy funkcję $(\cdot )^{d}:2^{X}\to 2^{X}$ określoną: $\forall _{A\in 2^{X}}A^{d}=\{x\in X\ :\ \forall _{U\in {\mathcal {O}}_{X}}(x\in U\implies (U\setminus \{x\})\cap A\not =\emptyset )\}$. Innymi słowy $A^{d}$, czyli pochodna zbioru $A$, jest zbiorem wszystkich punktów skupienia zbioru $A$.

Zewnętrze zbioru $A$ jest to wnętrze jego dopełnienia. Możemy określić operację zewnętrza, tzn. funkcję $\operatorname {Ext} A:2^{X}\to 2^{X}$ daną wzorem: $\operatorname {Ext} A=\operatorname {Int} (X\setminus A)$.

Własności

Niech $(X,{\mathcal {O}}_{X})$ będzie przestrzenią topologiczną, zaś $\operatorname {Int} :2^{X}\to 2^{X}$, $\operatorname {Cl} :2^{X}\to 2^{X}$, $(\cdot )^{d}:2^{X}\to 2^{X}$ operacjami odpowiednio wnętrza, domknięcia i pochodnej.

1. Oczywistym jest, że prawdziwe są następujące stwierdzenia:
   1. $\forall _{A\in 2^{X}}\operatorname {Int} A\in {\mathcal {O}}_{X}$ (jako suma zbiorów otwartych),
   2. $\forall _{A\in 2^{X}}(A\in {\mathcal {O}}_{X}\iff A=\operatorname {Int} A)$,
   3. $\forall _{U\in {\mathcal {O}}_{X}}(U\subseteq A\implies U\subseteq \operatorname {Int} A)$, czyli $\operatorname {Int} A$ jest największym w sensie inkluzji zbiorem otwartym zawartym w $A$
2. Dualnie:
   1. $\forall _{A\in 2^{X}}\operatorname {Cl} A\in {\mathcal {F}}_{X}$ (jako iloczyn zbiorów domkniętych).
   2. $\forall _{A\in 2^{X}}(A\in {\mathcal {F}}_{X}\iff A=\operatorname {Cl} A)$,
   3. $\forall _{F\in {\mathcal {F}}_{X}}(A\subseteq F\implies \operatorname {Cl} A\subseteq F)$, czyli $\operatorname {Cl} A$ jest najmniejszym w sensie inkluzji zbiorem domkniętym zawierającym $A$.
3. Dla dowolnych zbiorów $A,B\subseteq X$ prawdziwe są następujące implikacje:
   1. $A\subseteq B\implies \operatorname {Int} A\subseteq \operatorname {Int} B$,
   2. $A\subseteq B\implies \operatorname {Cl} A\subseteq \operatorname {Cl} B$.

   Dowód:

   [1.] Załóżmy, że $A\subseteq B$. Stąd $2^{A}\subseteq 2^{B}$, czyli: ${\mathcal {O}}_{X}\cap 2^{A}\subseteq {\mathcal {O}}_{X}\cap 2^{B}$. Wobec tego: $\operatorname {Int} A=\bigcup _{U\in {\mathcal {O}}_{X}\cap 2^{A}}U\subseteq \bigcup _{U\in {\mathcal {O}}_{X}\cap 2^{B}}U=\operatorname {Int} B$.

   [2.] Dowód analogiczny. $\square$

4. Prawdziwe są następujące stwierdzenia:
   1. $\operatorname {Int} X=X$,
   2. $\forall _{A\in 2^{X}}\operatorname {Int} A\subseteq A$,
   3. $\forall _{A,B\in 2^{X}}\operatorname {Int} (A\cap B)=\operatorname {Int} A\cap \operatorname {Int} B$,
   4. $\forall _{A\in 2^{X}}\operatorname {Int} \operatorname {Int} A=\operatorname {Int} A$.

   Dowód:

   [1.] Oczywiście $X\in {\mathcal {O}}_{X}$, zatem $X=\operatorname {Int} X$ z własności 1.2.

   [2.] $\operatorname {Int} A\subseteq A$ jako suma podzbiorów zbioru $A$.

   [3.] Z własności 3.1. wiemy, że $\operatorname {Int} (A\cap B)\subseteq \operatorname {Int} A$ oraz $\operatorname {Int} (A\cap B)\subseteq \operatorname {Int} B$, gdyż $A\cap B\subseteq A$, $A\cap B\subseteq B$. Stąd: $\operatorname {Int} (A\cap B)\subseteq \operatorname {Int} A\cap \operatorname {Int} B$. Udowodnijmy inkluzję w drugą stronę. Mamy: $\operatorname {Int} A\subseteq A$, $\operatorname {Int} B\subseteq B$. Zatem: $\operatorname {Int} A\cap \operatorname {Int} B\subseteq A\cap B$ oraz $\operatorname {Int} A\cap \operatorname {Int} B\in {\mathcal {O}}_{X}$ jako iloczyn zbiorów otwartych. Wobec tego $\operatorname {Int} A\cap \operatorname {Int} B\subseteq \operatorname {Int} (A\cap B)$ z własności 1.3.

   [4.] Konsekwencja własności 1.1 i 1.2. $\square$

5. Dualnie:
   1. $\operatorname {Cl} \emptyset =\emptyset$,
   2. $\forall _{A\in 2^{X}}A\subseteq \operatorname {Cl} A$,
   3. $\forall _{A,B\in 2^{X}}\operatorname {Cl} (A\cup B)=\operatorname {Cl} A\cup \operatorname {Cl} B$,
   4. $\forall _{A\in 2^{X}}\operatorname {Cl} \operatorname {Cl} A=\operatorname {Cl} A$.

   Dowód:

   Analogiczny do dowodu punktu 4. $\square$

6. Dla dowolnego zbioru $A\subseteq X$:
   1. $\operatorname {Int} A=X\setminus \operatorname {Cl} (X\setminus A)$,
   2. $\operatorname {Cl} A=X\setminus \operatorname {Int} (X\setminus A)$.

   Dowód:

   [1.] Z definicji domknięcia i praw de Morgana mamy: $X\setminus \operatorname {Cl} (X\setminus A)=X\setminus \bigcap _{F\in {\mathcal {F}}_{X},X\setminus A\subseteq F}F=\bigcup _{F\in {\mathcal {F}}_{X},X\setminus A\subseteq F}(X\setminus F)$. Zauważmy, że zachodzi równość zbiorów: $\{X\setminus F:(F\in {\mathcal {F}}_{X})\land (X\setminus A\subseteq F)\}=\{U:(U\in {\mathcal {O}}_{X})\land (U\subseteq A)\}$. Stąd: $\bigcup _{F\in {\mathcal {F}}_{X},X\setminus A\subseteq F}(X\setminus F)=\bigcup _{U\in {\mathcal {O}}_{X},U\subseteq A}U=\operatorname {Int} A$.

   [2.] Dowód analogiczny. $\square$

   • Ćwiczenie: Opierając się na powyższym fakcie wykazać, że $\operatorname {Fr} A=\operatorname {Cl} A\setminus \operatorname {Int} A$.
7. Dla dowolnego $A\subseteq X$ zachodzi: $\operatorname {Cl} A=A\cup A^{d}$.

   Dowód:

   Z własności 6.2. wiemy, że $\operatorname {Cl} A=X\setminus \operatorname {Int} (X\setminus A)$. Ale $\operatorname {Int} (X\setminus A)=\{x\in X:\exists _{U\in {\mathcal {O}}_{X}}(x\in U\land U\cap A=\emptyset )\}$. Wobec tego $X\setminus \operatorname {Int} (X\setminus A)=\{x\in X:\forall _{U\in {\mathcal {O}}_{X}}(x\in U\implies U\cap A\not =\emptyset )\}=A\cup A^{d}$. $\square$

• Ćwiczenie: Przeprowadzić pominięte dowody.

Więcej własności Czytelnik odnajdzie w zadaniach do tego rozdziału.

Aksjomaty wnętrza i domknięcia

Niech będzie dany zbiór $X$ oraz funkcja $\operatorname {Int} :2^{X}\to 2^{X}$ spełniająca warunki (zwane aksjomatami wnętrza):

1. $\operatorname {Int} X=X$,
2. $\forall _{A\in 2^{X}}\operatorname {Int} A\subseteq A$,
3. $\forall _{A,B\in 2^{X}}\operatorname {Int} (A\cap B)=\operatorname {Int} A\cap \operatorname {Int} B$,
4. $\forall _{A\in 2^{X}}\operatorname {Int} \operatorname {Int} A=\operatorname {Int} A$.

Funkcja $\operatorname {Int}$ wyznacza (w sposób jednoznaczny) pewną topologię na $X$, przy której stanowi ona operację wnętrza (w sensie podanej wcześniej definicji).

Dowód:

Przyjmijmy ${\mathcal {O}}=\{A\in 2^{X}:A\subseteq \operatorname {Int} \}$. Pokażemy, że ${\mathcal {O}}$ jest jedyną topologią na $X$ taką, że $\operatorname {Int}$ jest operacją wnętrza w przestrzeni $(X,{\mathcal {O}})$.

Pokażmy najpierw, że ${\mathcal {O}}$ jest topologią. Z 1. mamy $X\in {\mathcal {O}}$. Równość $\emptyset \subseteq \operatorname {Int} \emptyset$ jest oczywista. Zatem: $\emptyset \in {\mathcal {O}}$. Dalej, jeśli $A,B\in {\mathcal {O}}$, to z 3.: $\operatorname {Int} (A\cap B)=\operatorname {Int} A\cap \operatorname {Int} B=A\cap B$, czyli $A\cap B\in {\mathcal {O}}$.

Dla dowodu spełniania trzeciego z warunków definicji topologii zauważmy, że funkcja $\operatorname {Int}$ jest monotoniczna ze względu na relację inkluzji, tzn. dla dowolnych zbiorów $A,B$ zachodzi: $A\subseteq B\implies \operatorname {Int} A\subseteq \operatorname {Int} B$. Istotnie, dla takich zbiorów: $\operatorname {Int} (A\cap B)=\operatorname {Int} A$, ale z drugiej strony 3. implikuje $\operatorname {Int} (A\cap B)=\operatorname {Int} A\cap \operatorname {Int} B$. Skoro $\operatorname {Int} A=\operatorname {Int} A\cap \operatorname {Int} B$, to $\operatorname {Int} A\subseteq \operatorname {Int} B$.

Niech teraz: $\{U_{i}\}_{i\in I}\subset {\mathcal {O}}$ będzie dowolną indeksowaną rodziną elementów ${\mathcal {O}}$. Zauważmy, że: $\forall _{j\in I}U_{j}\subseteq \bigcup _{i\in I}U_{i}$. Z monotoniczności $\operatorname {Int}$ mamy: $\forall _{j\in I}U_{j}\subseteq \operatorname {Int} U_{j}\subseteq \operatorname {Int} \bigcup _{i\in I}U_{i}$, wobec czego $\bigcup _{i\in I}U_{i}\subseteq \operatorname {Int} \bigcup _{i\in I}U_{i}$. Ostatecznie: $\bigcup _{i\in I}U_{i}\in {\mathcal {O}}$ i ${\mathcal {O}}$ jest topologią na $X$.

Wykażemy teraz, że $\operatorname {Int}$ jest operacją wnętrza przy tej topologii. Niech $A\in 2^{X}$ będzie dowolnym zbiorem. Musimy pokazać, że $\operatorname {Int} A=\bigcup _{U\in {\mathcal {O}}\cap 2^{A}}U$. Zauważmy, że z 4. $\operatorname {Int} A\subseteq \operatorname {Int} \operatorname {Int} A$, zatem $\operatorname {Int} A\in {\mathcal {O}}$. Ponadto z 2.: $\operatorname {Int} A\subseteq A$. Zatem: $\operatorname {Int} A\subseteq \bigcup _{U\in {\mathcal {O}}\cap 2^{A}}U$. Inkluzja w drugą stronę jest oczywista, ponieważ sumujemy podzbiory $A$. Wobec tego $\operatorname {Int}$ jest operacją wnętrza.

Pokażemy, że topologia ${\mathcal {O}}$ jest jedyną, przy której $\operatorname {Int}$ jest operacją wnętrza. Niech ${\mathcal {U}}$ będzie topologią na $X$ dla której $\operatorname {Int}$ jest operacją wnętrza. Z własności 1.2. operacji wnętrza wiemy, że $\forall _{A\in 2^{X}}A=\operatorname {Int} A\iff A\in {\mathcal {U}}$. Ale z 2. wiemy, że $\forall _{A\in 2^{X}}A=\operatorname {Int} A\iff A\subseteq \operatorname {Int} A$. Zatem: $\forall _{A\in 2^{X}}A\in {\mathcal {U}}\iff A\in {\mathcal {O}}$, co dowodzi, że topologia ${\mathcal {O}}$ jest wyznaczona jednoznacznie. $\square$

Dualnie, jeżeli dla zbioru $X$ zdefiniujemy funkcję $\operatorname {Cl} :2^{X}\to 2^{X}$ spełniającą warunki (zwane aksjomatami domknięcia lub aksjomatami Kuratowskiego):

1. $\operatorname {Cl} \emptyset =\emptyset$,
2. $\forall _{A\in 2^{X}}A\subseteq \operatorname {Cl} A$,
3. $\forall _{A,B\in 2^{X}}\operatorname {Cl} (A\cup B)=\operatorname {Cl} A\cup \operatorname {Cl} B$,
4. $\forall _{A\in 2^{X}}\operatorname {Cl} \operatorname {Cl} A=\operatorname {Cl} A$,

to funkcja $\operatorname {Cl}$ wyznacza (w sposób jednoznaczny) pewną topologię na $X$, przy której stanowi ona operację domknięcia.

• Ćwiczenie: Udowodnić powyższe twierdzenie.

Wobec tego, topologię na zbiorze możemy wprowadzać przez podanie funkcji spełniającej aksjomaty wnętrza lub funkcji spełniającej aksjomaty domknięcia, zamiast podawać rodzinę zbiorów otwartych (domkniętych).

Baza, podbaza, baza otoczeń

Definicja bazy

Bazą zbiorów otwartych (lub bazą otwartą) przestrzeni topologicznej $(X,{\mathcal {O}}_{X})$ nazywamy każdy taki zbiór ${\mathcal {B}}\subseteq {\mathcal {O}}_{X}$, że $\forall _{U\in {\mathcal {O}}_{X}}\exists _{{\mathcal {V}}\subseteq {\mathcal {B}}}U=\bigcup {\mathcal {V}}$.

Zauważmy, że każda przestrzeń topologiczna posiada co najmniej jedną bazę zbiorów otwartych. Bazą przestrzeni $X$ jest bowiem określona w tej przestrzeni topologia.

• Ćwiczenie: Niech $X$ będzie przestrzenią topologiczną dyskretną. Znaleźć najmniejszą (w sensie inkluzji) bazę zbiorów otwartych przestrzeni $X$.

Analogicznie do pojęcia bazy zbiorów otwartych zdefiniować można pojęcie bazy zbiorów domkniętych. Mianowicie, zbiór ${\mathcal {B_{F}}}\subseteq {\mathcal {F}}_{X}$ nazywamy bazą zbiorów domkniętych przestrzeni $X$, o ile: $\forall _{F\in {\mathcal {F}}_{X}}\exists _{{\mathcal {V}}\subseteq {\mathcal {B_{F}}}}F=\bigcap {\mathcal {V}}$.

• Ćwiczenie: Pokazać, że jeżeli ${\mathcal {B}}$ jest bazą otwartą przestrzeni topologicznej $X$, to zbiór $\{F\in 2^{X}\ :\ X\setminus F\in {\mathcal {B}}\}$ jest bazą zbiorów domkniętych przestrzeni $X$.

W dalszej części podręcznika, dla skrócenia zapisów, będziemy używali słowa baza w sensie bazy zbiorów otwartych.

Aksjomaty bazy

Niech będzie dany zbiór $X$. Podrodzina ${\mathcal {B}}\subseteq 2^{X}$ stanowi bazę pewnej topologii na $X$, o ile spełnia następujące dwa aksjomaty:

1. $\forall _{x\in X}\exists _{B\in {\mathcal {B}}}x\in B$
2. $\forall _{B_{1},B_{2}\in {\mathcal {B}}}\forall _{x\in B_{1}\cap B_{2}}\exists {B_{3}\in {\mathcal {B}}}(x\in B_{3}\land B_{3}\subseteq B_{1}\cap B_{2})$.

Istotnie, zbiór ${\mathcal {O}}=\{U\in 2^{X}\ :\ \exists _{{\mathcal {V}}\subseteq {\mathcal {B}}}U=\bigcup {\mathcal {V}}\}$ jest topologią na $X$, której bazę stanowi zbiór ${\mathcal {B}}$. Jest to jedyna taka topologia.

• Ćwiczenie: Udowodnić powyższe stwierdzenie.

Wobec tego topologię na $X$ możemy wprowadzić podając jedynie jej bazę.

Podobnie, topologię można wprowadzić podając jedynie bazę domkniętą. Bazą domkniętą pewnej przestrzeni jest każda taka rodzina podzbiorów danego zbioru $X$, że rodzina dopełnień zbiorów z tej rodziny spełnia aksjomaty 1., 2.

Definicja podbazy

Niech $(X,{\mathcal {O}}_{X})$ będzie przestrzenią topologiczną. Rodzinę ${\mathcal {P}}\subseteq {\mathcal {O}}_{X}$ nazywamy podbazą zbiorów otwartych (lub: podbazą otwartą), o ile rodzina $\{P_{1}\cap P_{2}\cap \dots \cap P_{n}\ :\ n\in {\mathcal {N}}\land \forall _{i=1,\dots ,n}P_{i}\in {\mathcal {P}}_{X}\}$, tzn. rodzina przekrojów skończonej liczby zbiorów należących do podbazy, jest bazą otwartą przestrzeni $X$.

Oczywiście każda baza jest podbazą. Wobec tego każda przestrzeń topologiczna posiada podbazę.

Dualnie definiujemy podbazę domkniętą przestrzeni $X$ jako taką podrodzinę ${\mathcal {P_{F}}}$ topologii na $X$, że sumy mnogościowe skończonej liczby zbiorów należących do ${\mathcal {P_{F}}}$ stanowią bazę domkniętą przestrzeni $X$.

• Ćwiczenie: Niech ${\mathcal {P}}$ będzie podbazą otwartą przestrzeni $X$. Znaleźć podbazę domkniętą tej przestrzeni.

Zauważmy jeszcze, że topologię na dowolnym zbiorze $X$ możemy wprowadzić podając jedynie podbazę tej topologii. Podbaza wyznacza bowiem w jednoznaczny sposób bazę, ta zaś wyznacza topologię.

• Ćwiczenie: Dana jest pewna rodzina zbiorów $A$. Znaleźć przestrzeń topologiczną, dla której $A$ jest podbazą.
• Ćwiczenie: Wykazać, że jeśli $X$ jest przestrzenią topologiczną dyskretną, to dla każdego $n<|X|$ rodzina wszystkich podzbiorów $n$-elementowych $X$ jest podbazą tej przestrzeni.

Definicja bazy otoczeń i systemu otoczeń

Niech $(X,{\mathcal {O}}_{X})$ będzie przestrzenią topologiczną. Bazą otoczeń (otwartych) punktu $x\in X$ nazywamy każdą taką rodzinę ${\mathcal {B}}(x)$ otoczeń otwartych punktu $x$, że $\forall _{U\in {\mathcal {O}}_{X}}(x\in U\implies \exists _{B\in {\mathcal {B}}(x)}B\subseteq U)$.

Innymi słowy, rodzina otoczeń otwartych punktu $x$ jest bazą otoczeń tego punktu wtedy i tylko wtedy, gdy każde otoczenie otwarte punktu $x$ zawiera element tej rodziny.

Systemem otoczeń nazywamy każdą rodzinę $\{{\mathcal {B}}(x)\}_{x\in X}$ taką, że dla każdego $x\in X$ ${\mathcal {B}}(x)$ jest układem otoczeń $x$.

Przykłady

1. W dowolnej przestrzeni topologicznej zbiór wszystkich otoczeń otwartych danego punktu jest jego bazą otoczeń otwartych.
2. W przestrzeni dyskretnej $X$ dla każdego punktu $x\in X$ bazą otoczeń jest na przykład $\{\{x\}\}$.
3. W przestrzeni antydyskretnej $X$ dla każdego punktu $x\in X$ jedyną jego bazą otoczeń jest $\{X\}$.

Aksjomaty systemu otoczeń

Niech będzie dany zbiór $X$ oraz rodzina $\{{\mathcal {B}}(x)\}_{x\in X}$ taka, że:

1. $\forall _{x\in X}{\mathcal {B}}(x)\subseteq 2^{X}$,
2. $\forall _{x\in X}({\mathcal {B}}(x)\not =\emptyset \land \forall _{B\in {\mathcal {B}}(x)}x\in B)$,
3. $\forall _{y\in X}\forall _{B\in {\mathcal {B}}(y)}\forall _{x\in B}\exists _{P\in {\mathcal {B}}(x)}P\subseteq B$,
4. $\forall _{x\in X}\forall _{B_{1},B_{2}\in {\mathcal {B}}(x)}\exists _{P\in {\mathcal {B}}(x)}P\subseteq B_{1}\cap B_{2}$.

Wówczas istnieje dokładnie jedna topologia na $X$ taka, że $\{{\mathcal {B}}(x)\}_{x\in X}$ jest systemem otoczeń w tej topologii.

Dowód:

Wykażemy, że rodzina ${\mathfrak {B}}=\bigcup _{x\in X}{\mathcal {B}}(x)$ spełnia aksjomaty bazy. Jeśli tak jest, to, jak już wiemy, rodzina ${\mathfrak {B}}$ wyznacza na $X$ w sposób jednoznaczny pewną topologię.

Oczywiście, $\forall _{x\in X}\exists _{B\in {\mathcal {B}}(x)}x\in B$. Ponadto, $B\in {\mathfrak {B}}$.

Dalej, dla $B_{1},B_{2}\in {\mathfrak {B}}$ i $x\in B_{1}\cap B_{2}$ wiemy z 3., że istnieją $P_{1},P_{2}\in {\mathcal {B}}(x)$ takie, że $P_{1}\subseteq B_{1}$, $P_{2}\subseteq B_{2}$. Z 4. wiemy, że istnieje $P\in {\mathcal {B}}(x)\subseteq {\mathfrak {B}}$ takie, że $P\subseteq P_{1}\cap P_{2}\subseteq B_{1}\cap B_{2}$. Pokazaliśmy zatem, że ${\mathfrak {B}}$ stanowi bazę pewnej topologii (oznaczmy ją ${\mathcal {O}}$) na $X$.

Musimy teraz sprawdzić, czy $\{{\mathcal {B}}(x)\}_{x\in X}$ jest systemem otoczeń w przestrzeni $(X,{\mathcal {O}})$. Wybierzmy dowolne $x\in X$ i jego otoczenie otwarte $U\in {\mathcal {O}}$. Zauważmy, że ponieważ ${\mathfrak {B}}$ jest bazą, to $U=\bigcup {\mathcal {V}}$ dla pewnej rodziny ${\mathcal {V}}\subseteq {\mathfrak {B}}$. Zatem $x\in B$ dla pewnego $B\in {\mathcal {V}}$. Ponieważ ${\mathfrak {B}}=\bigcup _{y\in X}{\mathcal {B}}(y)$, to istnieje $y\in X$ takie, że $B\in {\mathcal {B}}(y)$. Z 3. wiemy jednak, że istnieje $P\in {\mathcal {B}}(x)$ takie, że $P\subseteq B\subseteq U$. Wobec dowolności $x$ i $U$, $\{{\mathcal {B}}(x)\}_{x\in X}$ jest systemem otoczeń w $(X,{\mathcal {O}})$.

Należy jeszcze wykazać, że nie istnieje inna topologia, w której $\{{\mathcal {B}}(x)\}_{x\in X}$ byłoby systemem otoczeń. Wystarczy w tym celu zauważyć, że w dowolnej przestrzeni topologicznej suma elementów systemu otoczeń jest bazą. Tę część dowodu pozostawiamy jako ćwiczenie. $\square$

Porównywanie topologii

Definicja

Niech będzie dany zbiór $X$, zaś ${\mathcal {O}}_{1},{\mathcal {O}}_{2}$ niech będą topologiami na $X$. Mówimy, że topologia ${\mathcal {O}}_{1}$ jest mocniejsza od topologii ${\mathcal {O}}_{2}$ (co jest równoważne stwierdzeniu, że ${\mathcal {O}}_{2}$ jest słabsza od ${\mathcal {O}}_{1}$), o ile ${\mathcal {O}}_{2}\subseteq {\mathcal {O}}_{1}$.

Własności

1. Oczywiście powyższa definicja wprowadza porządek częsciowy na zbiorze wszystkich topologii danej przestrzeni. W porządku tym istnieje element największy (tzn. topologia najmocniejsza). Jest nim topologia dyskretna. Elementem najmniejszym jest topologia antydyskretna. Porządek "bycia mocniejszym" na zbiorze wszystkich topologii na $X$ nie jest liniowy, o ile $|X|>1$. Niech bowiem $x_{1},x_{2}\in X,x_{1}\not =x_{2}$, ${\mathcal {O}}_{1}=\{\emptyset ,X,\{x_{1}\}\}$, ${\mathcal {O}}_{2}=\{\emptyset ,X,\{x_{2}\}\}$. Topologie ${\mathcal {O}}_{1}$ i ${\mathcal {O}}_{2}$ nie są w tym porządku porównywalne.
2. Niech $(X,{\mathcal {O}}_{1})$, $(X,{\mathcal {O}}_{2})$ będą przestrzeniami topologicznymi, zaś ${\mathcal {B}}_{1},{\mathcal {B}}_{2}$ ich bazami. Topologia ${\mathcal {O}}_{1}$ jest mocniejsza od topologii ${\mathcal {O}}_{2}$ wtedy i tylko wtedy, gdy $\forall _{B\in {\mathcal {B}}_{2}}\forall _{x\in B}\exists _{B'\in {\mathcal {B}}_{1}}(x\in B'\land B'\subseteq B)$.

   Dowód:

   Istotnie, jeżeli odpowiednie $B'$ istnieją, to każdy zbiór bazowy przestrzeni $(X,{\mathcal {O}}_{2})$ daje się przedstawić jako suma podrodziny bazy ${\mathcal {B}}_{1}$, wobec czego również i każdy zbiór otwarty przestrzeni $(X,{\mathcal {O}}_{1})$ jest sumą pewnej podrodziny zawartej w ${\mathcal {B}}_{1}$, więc należy do ${\mathcal {O}}_{2}$. Gdyby zaś dla pewnego $B\in {\mathcal {B}}_{2}$ i pewnego $x\in B$ odpowiednie $B'$ nie istniałoby, to zbioru $B$, otwartego w topologii ${\mathcal {O}}_{2}$, nie dałoby się przedstawić jako sumy zbiorów z bazy ${\mathcal {B}}_{1}$, wobec czego $B\not \in {\mathcal {O}}_{1}$. $\square$

• Ćwiczenie: Dojść do analogicznych wniosków w przypadku baz domkniętych.

Podprzestrzeń topologiczna

Definicja

Niech $(X,{\mathcal {O}}_{X})$ będzie przestrzenią topologiczną oraz niech $A\subseteq X$. Parę uporządkowaną $(A,{\mathcal {O}}_{A})$, gdzie ${\mathcal {O}}_{A}=\{A\cap U\ :\ U\in {\mathcal {O}}_{X}\}$ nazywamy podprzestrzenią topologiczną przestrzeni $X$, zaś rodzinę ${\mathcal {O}}_{A}$ nazywamy topologią podprzestrzeni (lub topologią relatywną).

• Ćwiczenie: Pokazać, że topologia podprzestrzeni jest topologią na zbiorze $A$.

Będziemy mówili, że własność przestrzeni topologicznych jest dziedziczna, jeżeli dla dowolnej przestrzeni $X$ z tego, że $X$ posiada tę własność, wynika że również każda podprzestrzeń przestrzeni $X$ posiada tę własność.

Przykładem własności dziedzicznej jest bycie przestrzenią dyskretną. Przykładem własności, która nie jest dziedziczna, jest bycie przestrzenią nieskończoną.

Własności

1. Zauważmy, że jeśli $(A,{\mathcal {O}}_{A})$ jest podprzestrzenią przestrzeni $(X,{\mathcal {O}}_{X})$, to zbiór $F\subseteq A$ jest domknięty w $A$ wtedy i tylko wtedy, gdy istnieje zbiór $F_{X}\subseteq X$ domknięty w $X$ i taki, że $F=A\cap F_{X}$.

   Dowód:

   Istotnie, $F\in {\mathcal {F}}_{A}\iff A\setminus F\in {\mathcal {O}}_{A}\iff \exists _{U\in {\mathcal {O}}_{X}}A\setminus F=U\cap A$. Ale $U$ jest otwarty w $X$ wtedy i tylko wtedy, gdy jest postaci $X\setminus F_{X}$ dla pewnego $F_{X}\in {\mathcal {F}}_{X}$. Ponadto: $F=A\setminus U=A\cap (X\setminus U)=A\cap F$. $\square$

2. Jeżeli ${\mathcal {B}}_{X}$ jest bazą otwartą (lub domkniętą) przestrzeni $X$, zaś $A\subseteq X$, to ${\mathcal {B}}_{A}=\{B\cap A\ :\ B\in {\mathcal {B}}_{X}\}$ jest bazą otwartą (odpowiednio: domkniętą) przestrzeni $A$ z topologią relatywną.

   Dowód:

   Nietrudno zauważyć, że jeśli $U_{A}\in {\mathcal {O}}_{A}$, to $U_{A}=U\cap A=(\bigcup _{t\in T}B_{t})\cap A=\bigcup {t\in T}(B_{t}\cap A)$ dla pewnego zbioru $U\in {\mathcal {O}}_{X}$ i pewnej rodziny indeksowanej $\{B_{t}\}_{t\in T}\subseteq {\mathcal {B}}_{X}$. Rozumowanie w przypadku bazy domkniętej jest analogiczne. $\square$

3. Ćwiczenie: Jeżeli ${\mathcal {P}}_{X}$ jest podbazą otwartą (lub domkniętą) przestrzeni $X$, zaś $A\subseteq X$, to podbazą otwartą (odpowiednio: domkniętą) w $A$ z topologią podprzestrzeni jest zbiór: ${\mathcal {P}}_{A}=\{P\cap A\ :\ P\in {\mathcal {P}}_{X}\}$.
4. Ćwiczenie: Jeśli $A\in {\mathcal {O}}_{X}$, to dla dowolnego $U\subseteq A$ zachodzi: $U\in {\mathcal {O}}_{A}\iff U\in {\mathcal {O}}_{X}$. Podobnie,jeśli $A\in {\mathcal {F}}_{X}$, to dla dowolnego $F\subseteq A$ zachodzi: $F\in {\mathcal {F}}_{A}\iff F\in {\mathcal {F}}_{X}$.
5. Jeśli przez $\operatorname {Cl_{A}}$ (odpowiednio: $\operatorname {Int_{A}}$) oznaczymy operację domknięcia (wnętrza) w podprzestrzeni $A$ przestrzeni $X$, to dla dowolnego $B\subseteq A$ zachodzi: $\operatorname {Cl_{A}} B=A\cap \operatorname {Cl} (B)$ (odpowiednio: $\operatorname {Int_{A}} B=A\cap \operatorname {Int} B$), gdzie $\operatorname {Cl}$ (odpowiednio: $\operatorname {Int}$) oznacza operację domknięcia (wnętrza) w przestrzeni $X$.

   Dowód:

   Ustalmy $B\subseteq A$. Niech ${\mathcal {Z}}=\{F\in {\mathcal {F}}_{X}:B\subseteq F\}$, ${\mathcal {Z}}_{A}=\{F\in {\mathcal {F}}_{A}:B\subseteq F\}$. Z definicji domknięcia: $\operatorname {Cl} B=\bigcap {\mathcal {Z}}$, $\operatorname {Cl_{A}} B=\bigcap {\mathcal {Z}}_{A}$. Zauważmy, że z 1. ${\mathcal {Z}}_{A}=\{F\cap A:F\in {\mathcal {Z}}\}={\mathcal {Z}}\cap A$, skąd wynika teza. W przypadku operacji wnętrza rozumowanie jest analogiczne. $\square$

Przestrzenie topologiczne a przestrzenie metryczne

Topologia indukowana, przestrzeń metryzowalna

Niech $(X,d)$ będzie przestrzenią metryczną. Przez ${\mathcal {O}}_{d}$ oznaczmy rodzinę wszystkich zbiorów otwartych (w sensie definicji z rozdziału 1.) w przestrzeni metrycznej $(X,d)$.

W poprzednim rozdziale (własność 4. w podrozdziale "Zbiory otwarte i domknięte") wykazaliśmy, że rodzina ${\mathcal {O}}_{d}$ spełnia własności 1., 2., 3. z definicji topologii. Zatem para $(X,{\mathcal {O}}_{d})$ stanowi przestrzeń topologiczną. Topologię ${\mathcal {O}}_{d}$ nazywamy topologią indukowaną przez metrykę $d$.

Wobec tego każdą przestrzeń metryczną można traktować jako przestrzeń topologiczną.

Niech teraz $(X,{\mathcal {O}})$ będzie przestrzenią topologiczną.

Przestrzeń $(X,{\mathcal {O}})$ nazywamy przestrzenią metryzowalną, o ile istnieje taka metryka $d:X\times X\to \mathbb {R}$, że topologia ${\mathcal {O}}_{d}$ indukowana przez tę metrykę jest równa wyjściowej topologii ${\mathcal {O}}$.

Istnieją przestrzenie topologiczne, które nie są metryzowalne. Przykładowo, dla dowolnego zbioru $X$ o mocy większej niż $1$, niemetryzowalna jest przestrzeń antydyskretna $(X,\{\emptyset ,X\})$.

Dowód:

Przypuśćmy, że przestrzeń $X$ jest metryzowalna. Niech $d$ oznacza metrykę indukującą topologię antydyskretną na $X$. Weźmy dowolne punkty $x,y\in X$, $x\not =y$. Niech $\epsilon =d(x,y)>0$. Kula otwarta $B\left(x,{\frac {\epsilon }{2}}\right)$ jest zbiorem otwartym w metryce indukowanej przez $d$. Ale $x\in B\left(x,{\frac {\epsilon }{2}}\right)$ i $y\not \in B\left(x,{\frac {\epsilon }{2}}\right)$. Zatem $\emptyset \not =B\left(x,{\frac {\epsilon }{2}}\right)\not =X$. Topologia indukowana przez $d$ nie jest antydyskretna. Otrzymana sprzeczność kończy dowód. $\square$

Zauważmy ponadto, że dana metryka indukuje dokładnie jedną topologię. Jednak dana topologia może być indukowana przez różne metryki. Przykładowo, metryki $d_{1},d_{2}$ zadane na dowolnym zbiorze wzorami: $d_{1}(x,y)=\left\{{\begin{matrix}0&,x=y\\1&,x\not =y\end{matrix}}\right.$ oraz $d_{2}(x,y)=\left\{{\begin{matrix}0&,x=y\\2&,x\not =y\end{matrix}}\right.$ indukują na tym zbiorze tę samą topologię.

Dalsze pojęcia

Nietrudno zauważyć, że pojęcia punktu wewnętrznego, izolowanego, skupienia oraz domknięcia, wnętrza i pochodnej zbioru w przestrzeni metrycznej $(X,d)$ i w przestrzeni $(X,{\mathcal {O}}_{d})$ z topologią indukowaną przez $d$ pokrywają się. W szczególności przedstawione w tym rozdziale własności powyższych pojęć są prawdziwe w przestrzeniach metrycznych.

Zauważmy, że w przestrzeniach metrycznych pojęcia te definiowalne były przy użyciu pojęcia kuli. W przestrzeniach topologicznych korzystamy z ogólniejszego pojęcia otoczenia otwartego.

Formułując niektóre własności przestrzeni metrycznych korzystaliśmy z pojęcia ciągu zbieżnego. Jedynie w pewnych klasach przestrzeni niemetryzowalnych znajduje ono dość dobre uogólnienie.

Baza przestrzeni metrycznej

Istotna rola kul otwartych w teorii przestrzeni metrycznych wynika między innymi z następujących faktów:

1. Zbiór wszystkich kul otwartych o środku w danym punkcie stanowi bazę otoczeń tego punktu.
2. Zbiór wszystkich kul otwartych w danej przestrzeni metrycznej stanowi bazę tej przestrzeni.

• Ćwiczenie: Udowodnić powyższe fakty.
• Ćwiczenie: Wykazać, że powyższe fakty pozostają prawdziwe, jeżeli słowa "wszystkie kule otwarte" zastąpimy przez "wszystkie kule otwarte o promieniach wymiernych".

Udowodniwszy powyższe fakty łatwo wykazać, że pojęcia podprzestrzeni metrycznej i podprzestrzeni topologicznej "pokrywają się". Ściślej: Niech: $(X,d)$ oznacza przestrzenią metryczną, $A\subseteq X$, zaś ${\mathcal {O}}_{d}$ będzie topologią indukowaną na $X$ przez $d$. Przez ${\mathcal {O}}_{1})$ oznaczamy topologię relatywną na $A$ względem przestrzeni $(X,{\mathcal {O}}_{d})$. Przez ${\mathcal {O}}_{2})$ oznaczamy topologię indukowaną na $A$ przez metrykę przez metrykę d|_{A\times A}. Wówczas ${\mathcal {O}}_{1}={\mathcal {O}}_{2}$.

Dowód:

Nietrudno zauważyć, że kulami otwartymi w podprzestrzeni metrycznej $(A,d|_{A\times A}$ są iloczyny mnogościowe kul otwartych w przestrzeni $X$ ze zbiorem $A$. Kule otwarte w $(A,d|_{A\times A}$ stanowią bazę $(A,{\mathcal {O}}_{2})$.

Ponieważ kule otwarte w $(X,d)$ stanowią bazę przestrzeni $(X,{\mathcal {O}}_{d})$, to z własności 2. z podrozdziału "podprzestrzeń topologiczna" wynika, że ich przekroje z $A$ stanowią bazę w $(A,{\mathcal {O}}_{1})$.

Przestrzenie $(A,{\mathcal {O}}_{1})$ i $(A,{\mathcal {O}}_{2})$ posiadaję tę samą bazę. Zatem topologie ${\mathcal {O}}_{1}$ i ${\mathcal {O}}_{2}$ są identyczne. $\square$

Pewne istotne oznaczenia

Ponieważ przestrzeń $\mathbb {R} ^{n}$ z topologią indukowaną przez metrykę euklidesową będzie odgrywała w dalszej części książki znaczącą rolę, wprowadzimy dla niej specjalne oznaczenie.

Topologię powyższą będziemy nazywali topologią standardową na $\mathbb {R} ^{n}$ i oznaczali ${\mathcal {O}}_{E}^{n}$.

Topologią standardową na podzbiorach $\mathbb {R} ^{n}$ nazywamy topologię podprzestrzeni na tych podzbiorach indukowaną przez topologię standardową na $\mathbb {R} ^{n}$.

Przestrzeń $(\mathbb {R} ^{n},{\mathcal {O}}_{E}^{n})$ będziemy oznaczali przez $\mathbf {E} ^{n}$ ($n=1$ będzie w zapisie pomijane).

Przestrzeń $[0;1]$ z topologią standardową będziemy oznaczali przez $\mathbf {I}$.

Przestrzeń $\{x\in \mathbb {R} ^{n}:d(x,0)\leq 1\}$ z topologią standardową będziemy oznaczali $\mathbf {D} ^{n}$ i nazywali $n$-wymiarowym dyskiem.

Przestrzeń $\{x\in \mathbb {R} ^{n}:d(x,0)=1\}$ z topologią standardową będziemy oznaczali $\mathbf {S} ^{n-1}$ i nazywali $(n-1)$-wymiarową sferą.

>> Zadania