Tekst źródłowy strony 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ą <math>(X,\mathcal{O}_X)</math> taką, że <math>X</math> jest zbiorem, zaś <math>\mathcal{O}_X \subseteq 2^X</math> oraz spełnione są następujące warunki:
#<math>\emptyset, X \in \mathcal{O}_X</math>
#<math>\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</math>
#<math>\forall_{\mathcal{V}\subseteq\mathcal{O}_X}\bigcup\mathcal{V}\in\mathcal{O}_X</math>.

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


W dalszym ciągu daną przestrzeń topologiczną <math>(X,\mathcal{O}_X)</math> często oznaczać będziemy po prostu przez <math>X</math>, o ile jasnym będzie, jaką topologię na <math>X</math> 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 ===
#Na dowolnym zbiorze <math>X</math> topologią jest: <math>2^X</math>. Istotnie, <math>X,\emptyset\in 2^X</math>, 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 <math>X</math> nazywamy ''topologią dyskretną'', zaś <math>(X,2^X)</math> nazywamy ''przestrzenią topologiczną dyskretną''.
#Na dowolnym zbiorze <math>X</math> topologią jest: <math>\{\emptyset, X\}</math>.  Taką topologię nazywamy ''topologią antydyskretną'', zaś przestrzeń <math>(X,\{\emptyset, X\})</math> - ''przestrzenią topologiczną antydyskretną''.
#Niech <math>X=\{a,b\}</math> będzie dowolnym zbiorem dwuelementowym. Jedynymi topologiami na <math>X</math> są:
#*<math>\{\emptyset,\{a,b\}\}</math>
#*<math>\{\emptyset,\{a,b\},\{a\}\}</math>
#*<math>\{\emptyset,\{a,b\},\{b\}\}</math>
#*<math>\{\emptyset,\{a,b\},\{a\},\{b\}\}</math>
#Dla dowolnego zbioru <math>X</math> przestrzenią topologiczną jest: <math>(X,\mathcal{O}_X)</math>, gdzie <math>\mathcal{O}_X=\{U\subseteq X\ :\ (U=\emptyset) \lor (|X\setminus U|<\aleph_0)\}</math>. Topologię <math>\mathcal{O}_X</math> nazywamy ''topologią dopełnień zbiorów skończonych'' na <math>X</math>.
#Jak pokażemy w dalszej części rozdziału, rodzina wszystkich zbiorów otwartych dowolnej przestrzeni metrycznej <math>(X,d)</math> jest topologią na <math>X</math>.

*'''Ć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 <math>(X,\mathcal{O}_X)</math> nazywamy każdy zbiór <math>U\in\mathcal{O}_X</math>.

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

Wobec tego: <math>A\subseteq X</math> jest otwarty wtedy i tylko wtedy, gdy <math>X\setminus A</math> 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 <math>X</math> zbiorami otwarto-domkniętymi są <math>X</math> oraz <math>\emptyset</math>. Każdy podzbiór przestrzeni dyskretnej jest otwarto-domknięty.

=== Rodzina zbiorów domkniętych ===
Analogicznie do rodziny zbiorów otwartych przestrzeni <math>X</math> (czyli topologii na <math>X</math>) można zdefiniować rodzinę zbiorów domkniętych. 

''Rodziną zbiorów domkniętych'' na zbiorze <math>X</math> nazywamy każdą rodzinę <math>\mathcal{F}_X\subseteq 2^X</math> taką, że spełnione są warunki:
#<math>\emptyset,X\in\mathcal{F}_X</math>
#<math>\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</math>
#<math>\forall_{\mathcal{V}\subseteq\mathcal{F}_X}\bigcap\mathcal{V}\in\mathcal{F}_X</math>.

*'''Ćwiczenie:''' Pokazać, że jeśli mamy daną przestrzeń topologiczną <math>(X,\mathcal{O}_X)</math>, 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 <math>\mathcal{A}</math> podzbiorów zbioru <math>X</math> spełnia warunki 1.,2.,3. definicji rodziny zbiorów domkniętych, to rodzina dopełnień zbiorów z <math>\mathcal{A}</math> jest topologią na <math>X</math>.

== Punkty wewnętrzne, izolowane, skupienia ==
=== Definicje ===
Niech <math>(X,\mathcal{O}_X)</math> będzie przestrzenią topologiczną oraz niech <math>A\subseteq X</math>. Definiujemy następujace pojecia:

''Otoczeniem otwartym'' punktu <math>x\in A</math> nazywamy każdy taki zbiór <math>U\in\mathcal{O}_X</math>, że <math>x\in U</math>.

''Punktem wewnętrznym'' zbioru <math>A</math> nazywamy każdy taki punkt <math>x\in A</math>, że <math>\exists_{U\in\mathcal{O}_X}(x\in U\land U\subseteq A)</math>. Innymi słowy, punkt <math>x\in A</math> jest punktem wewnętrznym <math>A</math>, o ile zawiera się w <math>A</math> wraz z pewnym otoczeniem otwartym.

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

''Punktem izolowanym'' zbioru <math>A</math> nazywamy każdy punkt <math>x\in A</math> taki, że <math>x</math> nie jest punktem skupienia zbioru <math>A</math>.

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

== Operacje domknięcia i wnętrza ==
=== Definicje ===
Niech będzie dana przestrzeń topologiczna <math>(X,\mathcal{O}_X)</math>. Zdefiniujemy teraz operacje domknięcia i wnętrza, działające w zbiorze podzbiorów przestrzeni <math>X</math>.

''Operacją wnętrza'' nazywamy funkcję <math>\operatorname{Int}:2^X\to 2^X</math> określoną: <math>\forall_{A\in 2^X}\operatorname{Int}A=\bigcup_{U\in\mathcal{O}_X, U\subseteq A}U</math>.

''Operacją domknięcia'' nazywamy funkcję <math>\operatorname{Cl}:2^X\to 2^X</math> określoną: <math>\forall_{A\in 2^X}\operatorname{Cl}A=\bigcap_{F\in\mathcal{F}_X, A\subseteq F}F</math>.

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

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

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

Przez ''pochodną'' rozumiemy funkcję <math>(\cdot)^d:2^X\to2^X</math> określoną: <math>\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)\}</math>. Innymi słowy <math>A^d</math>, czyli pochodna zbioru <math>A</math>, jest zbiorem wszystkich punktów skupienia zbioru <math>A</math>.

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

=== Własności ===
Niech <math>(X,\mathcal{O}_X)</math> będzie przestrzenią topologiczną, zaś <math>\operatorname{Int}:2^X\to 2^X</math>, <math>\operatorname{Cl}:2^X\to 2^X</math>, <math>(\cdot)^d:2^X\to 2^X</math> operacjami odpowiednio wnętrza, domknięcia i pochodnej.
#Oczywistym jest, że prawdziwe są następujące stwierdzenia:
##<math>\forall_{A\in 2^X}\operatorname{Int}A\in\mathcal{O}_X</math> (jako suma zbiorów otwartych),
##<math>\forall_{A\in 2^X}(A\in\mathcal{O}_X\iff A=\operatorname{Int}A)</math>,
##<math>\forall_{U\in\mathcal{O}_X}(U\subseteq A\implies U\subseteq\operatorname{Int}A)</math>, czyli <math>\operatorname{Int}A</math> jest największym w sensie inkluzji zbiorem otwartym zawartym w <math>A</math>
#Dualnie:
##<math>\forall_{A\in 2^X}\operatorname{Cl}A\in\mathcal{F}_X</math> (jako iloczyn zbiorów domkniętych).
##<math>\forall_{A\in 2^X}(A\in\mathcal{F}_X\iff A=\operatorname{Cl}A)</math>,
##<math>\forall_{F\in\mathcal{F}_X}(A\subseteq F\implies\operatorname{Cl}A\subseteq F)</math>, czyli <math>\operatorname{Cl}A</math> jest najmniejszym w sensie inkluzji zbiorem domkniętym zawierającym <math>A</math>.
#Dla dowolnych zbiorów <math>A,B\subseteq X</math> prawdziwe są następujące implikacje:
##<math>A\subseteq B\implies \operatorname{Int}A\subseteq\operatorname{Int}B</math>,
##<math>A\subseteq B\implies \operatorname{Cl}A\subseteq\operatorname{Cl}B</math>.
#::<u>Dowód:</u>
#::<u>[1.]</u> Załóżmy, że <math>A\subseteq B</math>. Stąd <math>2^A\subseteq 2^B</math>, czyli: <math>\mathcal{O}_X\cap 2^A\subseteq \mathcal{O}_X\cap 2^B</math>. Wobec tego: <math>\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</math>.
#::<u>[2.]</u> Dowód analogiczny. <math>\square</math>
#Prawdziwe są następujące stwierdzenia:
##<math>\operatorname{Int}X=X</math>,
##<math>\forall_{A\in 2^X}\operatorname{Int}A\subseteq A</math>,
##<math>\forall_{A,B\in 2^X}\operatorname{Int}(A\cap B)=\operatorname{Int}A\cap\operatorname{Int}B</math>,
##<math>\forall_{A\in 2^X}\operatorname{Int}\operatorname{Int}A=\operatorname{Int}A</math>.
#::<u>Dowód:</u>
#::<u>[1.]</u> Oczywiście <math>X\in \mathcal{O}_X</math>, zatem <math>X=\operatorname{Int} X</math> z własności 1.2.
#::<u>[2.]</u> <math>\operatorname{Int}A\subseteq A</math> jako suma podzbiorów zbioru <math>A</math>.
#::<u>[3.]</u> Z własności 3.1. wiemy, że <math>\operatorname{Int}(A\cap B)\subseteq \operatorname{Int}A</math> oraz  <math>\operatorname{Int}(A\cap B)\subseteq \operatorname{Int}B</math>, gdyż <math>A\cap B\subseteq A</math>, <math>A\cap B\subseteq B</math>. Stąd: <math>\operatorname{Int}(A\cap B)\subseteq \operatorname{Int}A \cap \operatorname{Int}B</math>.   Udowodnijmy inkluzję w drugą stronę. Mamy: <math>\operatorname{Int}A\subseteq A</math>, <math>\operatorname{Int}B\subseteq B</math>. Zatem: <math>\operatorname{Int}A\cap \operatorname{Int}B\subseteq A\cap B</math> oraz <math>\operatorname{Int}A\cap \operatorname{Int}B\in \mathcal{O}_X</math> jako iloczyn zbiorów otwartych. Wobec tego <math>\operatorname{Int}A\cap \operatorname{Int}B\subseteq \operatorname{Int}(A\cap B)</math> z własności 1.3.
#::<u>[4.]</u> Konsekwencja własności 1.1 i 1.2. <math>\square</math>
#Dualnie:
##<math>\operatorname{Cl}\emptyset=\emptyset</math>,
##<math>\forall_{A\in 2^X}A\subseteq\operatorname{Cl}A</math>,
##<math>\forall_{A,B\in 2^X}\operatorname{Cl}(A\cup B)=\operatorname{Cl}A\cup\operatorname{Cl}B</math>,
##<math>\forall_{A\in 2^X}\operatorname{Cl}\operatorname{Cl}A=\operatorname{Cl}A</math>.
#::<u>Dowód:</u>
#::Analogiczny do dowodu punktu 4. <math>\square</math>
#Dla dowolnego zbioru <math>A\subseteq X</math>:
##<math>\operatorname{Int}A=X\setminus\operatorname{Cl}(X\setminus A)</math>,
##<math>\operatorname{Cl}A=X\setminus\operatorname{Int}(X\setminus A)</math>.
#::<u>Dowód:</u>
#::<u>[1.]</u> Z definicji domknięcia i praw de Morgana mamy: <math>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)</math>. Zauważmy, że zachodzi równość zbiorów: <math>\{X\setminus F : (F\in \mathcal{F}_X) \land (X\setminus A\subseteq F)\}=\{U : (U\in \mathcal{O}_X)\land (U\subseteq A)\}</math>. Stąd: <math>\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</math>.
#::<u>[2.]</u> Dowód analogiczny. <math>\square</math>
#*'''Ćwiczenie:''' Opierając się na powyższym fakcie wykazać, że <math>\operatorname{Fr}A=\operatorname{Cl}A\setminus\operatorname{Int}A</math>.
# Dla dowolnego <math>A\subseteq X</math> zachodzi: <math>\operatorname{Cl}A=A\cup A^d</math>.
#:<u>Dowód:</u>
#:Z własności 6.2. wiemy, że <math>\operatorname{Cl}A=X\setminus\operatorname{Int}(X\setminus A)</math>. Ale <math>\operatorname{Int}(X\setminus A)=\{x\in X:\exists_{U\in\mathcal{O}_X}(x\in U \land U\cap A=\emptyset)\}</math>. Wobec tego <math>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</math>. <math>\square</math>

*'''Ć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 <math>X</math> oraz funkcja <math>\operatorname{Int}:2^X\to 2^X</math> spełniająca warunki (zwane aksjomatami wnętrza): 
#<math>\operatorname{Int}X=X</math>,
#<math>\forall_{A\in 2^X}\operatorname{Int}A\subseteq A</math>,
#<math>\forall_{A,B\in 2^X}\operatorname{Int}(A\cap B)=\operatorname{Int}A\cap\operatorname{Int}B</math>,
#<math>\forall_{A\in 2^X}\operatorname{Int}\operatorname{Int}A=\operatorname{Int}A</math>.
Funkcja <math>\operatorname{Int}</math> wyznacza (w sposób jednoznaczny) pewną topologię na <math>X</math>, przy której stanowi ona operację wnętrza (w sensie podanej wcześniej [[#Definicje 3|definicji]]).
:<u>Dowód:</u>
:Przyjmijmy <math>\mathcal{O}=\{A\in 2^X : A\subseteq \operatorname{Int}\}</math>. Pokażemy, że <math>\mathcal{O}</math> jest jedyną topologią na <math>X</math> taką, że <math>\operatorname{Int}</math> jest operacją wnętrza w przestrzeni <math>(X,\mathcal{O})</math>.
:Pokażmy najpierw, że <math>\mathcal{O}</math> jest topologią. Z 1. mamy <math>X\in \mathcal{O}</math>. Równość <math>\emptyset\subseteq\operatorname{Int}\emptyset</math> jest oczywista. Zatem: <math>\emptyset\in\mathcal{O}</math>. Dalej, jeśli <math>A,B\in\mathcal{O}</math>, to z 3.: <math>\operatorname{Int}(A\cap B)=\operatorname{Int}A\cap\operatorname{Int}B=A\cap B</math>, czyli <math>A\cap B\in\mathcal{O}</math>. 
::Dla dowodu spełniania trzeciego z warunków definicji topologii zauważmy, że funkcja <math>\operatorname{Int}</math> jest monotoniczna ze względu na relację inkluzji, tzn. dla dowolnych zbiorów <math>A,B</math> zachodzi: <math>A\subseteq B\implies\operatorname{Int}A\subseteq\operatorname{Int}B</math>. Istotnie, dla takich zbiorów: <math>\operatorname{Int}(A\cap B)=\operatorname{Int}A</math>, ale z drugiej strony 3. implikuje <math>\operatorname{Int}(A\cap B)=\operatorname{Int}A\cap\operatorname{Int}B</math>. Skoro <math>\operatorname{Int}A=\operatorname{Int}A\cap\operatorname{Int}B</math>, to <math>\operatorname{Int}A\subseteq\operatorname{Int}B</math>.
:Niech teraz: <math>\{U_i\}_{i\in I}\subset\mathcal{O}</math> będzie dowolną indeksowaną rodziną elementów <math>\mathcal{O}</math>. Zauważmy, że: <math>\forall_{j\in I}U_j\subseteq\bigcup_{i\in I}U_i</math>. Z monotoniczności <math>\operatorname{Int}</math> mamy: <math>\forall_{j\in I}U_j\subseteq\operatorname{Int}U_j\subseteq\operatorname{Int}\bigcup_{i\in I}U_i</math>, wobec czego <math>\bigcup_{i\in I}U_i\subseteq\operatorname{Int}\bigcup_{i\in I}U_i</math>. Ostatecznie: <math>\bigcup_{i\in I}U_i\in\mathcal{O}</math> i <math>\mathcal{O}</math> jest topologią na <math>X</math>.
:<br>
:Wykażemy teraz, że <math>\operatorname{Int}</math> jest operacją wnętrza przy tej topologii. Niech <math>A\in 2^X</math> będzie dowolnym zbiorem. Musimy pokazać, że <math>\operatorname{Int}A=\bigcup_{U\in\mathcal{O}\cap 2^A}U</math>. Zauważmy, że z 4. <math>\operatorname{Int}A\subseteq\operatorname{Int}\operatorname{Int}A</math>, zatem <math>\operatorname{Int}A\in\mathcal{O}</math>. Ponadto z 2.: <math>\operatorname{Int}A\subseteq A</math>. Zatem: <math>\operatorname{Int}A\subseteq\bigcup_{U\in\mathcal{O}\cap 2^A}U</math>. Inkluzja w drugą stronę jest oczywista, ponieważ sumujemy podzbiory <math>A</math>. Wobec tego <math>\operatorname{Int}</math> jest operacją wnętrza.
:<br>
:Pokażemy, że topologia <math>\mathcal{O}</math> jest jedyną, przy której <math>\operatorname{Int}</math> jest operacją wnętrza. Niech <math>\mathcal{U}</math> będzie topologią na <math>X</math> dla której <math>\operatorname{Int}</math> jest operacją wnętrza. Z własności 1.2. operacji wnętrza wiemy, że <math>\forall_{A\in 2^X}A=\operatorname{Int}A\iff A\in\mathcal{U}</math>. Ale z 2. wiemy, że <math>\forall_{A\in 2^X}A=\operatorname{Int}A\iff A\subseteq\operatorname{Int}A</math>. Zatem: <math>\forall_{A\in 2^X}A\in\mathcal{U}\iff A\in\mathcal{O}</math>, co dowodzi, że topologia <math>\mathcal{O}</math> jest wyznaczona jednoznacznie. <math>\square</math>

Dualnie, jeżeli dla zbioru <math>X</math> zdefiniujemy funkcję <math>\operatorname{Cl}:2^X\to 2^X</math> spełniającą warunki (zwane aksjomatami domknięcia lub aksjomatami [[W:Kazimierz Kuratowski|Kuratowskiego]]):
#<math>\operatorname{Cl}\emptyset=\emptyset</math>,
#<math>\forall_{A\in 2^X}A\subseteq\operatorname{Cl}A</math>,
#<math>\forall_{A,B\in 2^X}\operatorname{Cl}(A\cup B)=\operatorname{Cl}A\cup\operatorname{Cl}B</math>,
#<math>\forall_{A\in 2^X}\operatorname{Cl}\operatorname{Cl}A=\operatorname{Cl}A</math>,
to funkcja <math>\operatorname{Cl}</math> wyznacza (w sposób jednoznaczny) pewną topologię na <math>X</math>, 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 <math>(X,\mathcal{O}_X)</math> nazywamy każdy taki zbiór <math>\mathcal{B}\subseteq\mathcal{O}_X</math>, że <math>\forall_{U\in \mathcal{O}_X}\exists_{\mathcal{V}\subseteq\mathcal{B}}U=\bigcup\mathcal{V}</math>.

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

*'''Ćwiczenie:''' Niech <math>X</math> będzie przestrzenią topologiczną dyskretną. Znaleźć najmniejszą (w sensie inkluzji) bazę zbiorów otwartych przestrzeni <math>X</math>.

Analogicznie do pojęcia bazy zbiorów otwartych zdefiniować można pojęcie bazy zbiorów domkniętych. Mianowicie, zbiór <math>\mathcal{B_F}\subseteq\mathcal{F}_X</math> nazywamy ''bazą zbiorów domkniętych'' przestrzeni <math>X</math>, o ile: <math>\forall_{F\in\mathcal{F}_X}\exists_{\mathcal{V}\subseteq\mathcal{B_F}}F=\bigcap\mathcal{V}</math>.

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

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 <math>X</math>. Podrodzina <math>\mathcal{B}\subseteq 2^X</math> stanowi bazę pewnej topologii na <math>X</math>, o ile spełnia następujące dwa aksjomaty:
#<math>\forall_{x\in X}\exists_{B\in\mathcal{B}}x\in B</math>
#<math>\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)</math>.

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

*'''Ćwiczenie:''' Udowodnić powyższe stwierdzenie.

Wobec tego topologię na <math>X</math> 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 <math>X</math>, że rodzina dopełnień zbiorów z tej rodziny spełnia aksjomaty 1., 2.

=== Definicja podbazy ===
Niech <math>(X,\mathcal{O}_X)</math> będzie przestrzenią topologiczną. Rodzinę <math>\mathcal{P}\subseteq\mathcal{O}_X</math> nazywamy ''podbazą zbiorów otwartych'' (lub: ''podbazą otwartą''), o ile rodzina <math>\{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\}</math>, tzn. rodzina przekrojów skończonej liczby zbiorów należących do podbazy, jest bazą otwartą przestrzeni <math>X</math>.

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

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

*'''Ćwiczenie:''' Niech <math>\mathcal{P}</math> będzie podbazą otwartą przestrzeni <math>X</math>. Znaleźć podbazę domkniętą tej przestrzeni.

Zauważmy jeszcze, że topologię na dowolnym zbiorze <math>X</math> 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 <math>A</math>. Znaleźć przestrzeń topologiczną, dla której <math>A</math> jest podbazą.
*'''Ćwiczenie:''' Wykazać, że jeśli <math>X</math> jest przestrzenią topologiczną dyskretną, to dla każdego <math>n<|X|</math> rodzina wszystkich podzbiorów <math>n</math>-elementowych <math>X</math> jest podbazą tej przestrzeni.

=== Definicja bazy otoczeń i systemu otoczeń ===
Niech <math>(X,\mathcal{O}_X)</math> będzie przestrzenią topologiczną.
''Bazą otoczeń (otwartych)'' punktu <math>x\in X</math> nazywamy każdą taką rodzinę <math>\mathcal{B}(x)</math> otoczeń otwartych punktu <math>x</math>, że <math>\forall_{U\in\mathcal{O}_X}(x\in U\implies \exists_{B\in\mathcal{B}(x)}B\subseteq U)</math>.

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

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

=== Przykłady ===
# W dowolnej przestrzeni topologicznej zbiór wszystkich otoczeń otwartych danego punktu jest jego bazą otoczeń otwartych.
# W przestrzeni dyskretnej <math>X</math> dla każdego punktu <math>x\in X</math> bazą otoczeń jest na przykład <math>\{\{x\}\}</math>.
# W przestrzeni antydyskretnej <math>X</math> dla każdego punktu <math>x\in X</math> jedyną jego bazą otoczeń jest <math>\{X\}</math>.

=== Aksjomaty systemu otoczeń ===
Niech będzie dany zbiór <math>X</math> oraz rodzina <math>\{\mathcal{B}(x)\}_{x\in X}</math> taka, że:
#<math>\forall_{x\in X}\mathcal{B}(x)\subseteq 2^X</math>,
#<math>\forall_{x\in X}(\mathcal{B}(x)\not=\emptyset \land \forall_{B\in\mathcal{B}(x)}x\in B)</math>,
#<math>\forall_{y\in X}\forall_{B\in\mathcal{B}(y)}\forall_{x\in B}\exists_{P\in\mathcal{B}(x)}P\subseteq B</math>,
#<math>\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</math>.
Wówczas istnieje dokładnie jedna topologia na <math>X</math> taka, że <math>\{\mathcal{B}(x)\}_{x\in X}</math> jest systemem otoczeń w tej topologii.
:<u>Dowód:</u>
:Wykażemy, że rodzina <math>\mathfrak{B}=\bigcup_{x\in X}\mathcal{B}(x)</math> spełnia aksjomaty bazy. Jeśli tak jest, to, jak już wiemy, rodzina <math>\mathfrak{B}</math> wyznacza na <math>X</math> w sposób jednoznaczny pewną topologię.
:Oczywiście, <math>\forall_{x\in X}\exists_{B\in\mathcal{B}(x)}x\in B</math>. Ponadto, <math>B\in\mathfrak{B}</math>.
:Dalej, dla <math>B_1,B_2\in\mathfrak{B}</math> i <math>x\in B_1\cap B_2</math> wiemy z 3., że istnieją <math>P_1,P_2\in\mathcal{B}(x)</math> takie, że <math>P_1\subseteq B_1</math>, <math>P_2\subseteq B_2</math>. Z 4. wiemy, że istnieje <math>P\in\mathcal{B}(x)\subseteq\mathfrak{B}</math> takie, że <math>P\subseteq P_1\cap P_2\subseteq B_1\cap B_2</math>. Pokazaliśmy zatem, że <math>\mathfrak{B}</math> stanowi bazę pewnej topologii (oznaczmy ją <math>\mathcal{O}</math>) na <math>X</math>.
:Musimy teraz sprawdzić, czy <math>\{\mathcal{B}(x)\}_{x\in X}</math> jest systemem otoczeń w przestrzeni <math>(X,\mathcal{O})</math>. Wybierzmy dowolne <math>x\in X</math> i jego otoczenie otwarte <math>U\in\mathcal{O}</math>. Zauważmy, że ponieważ <math>\mathfrak{B}</math> jest bazą, to <math>U=\bigcup\mathcal{V}</math> dla pewnej rodziny <math>\mathcal{V}\subseteq\mathfrak{B}</math>. Zatem <math>x\in B</math> dla pewnego <math>B\in\mathcal{V}</math>. Ponieważ <math>\mathfrak{B}=\bigcup_{y\in X}\mathcal{B}(y)</math>, to istnieje <math>y\in X</math> takie, że <math>B\in\mathcal{B}(y)</math>. Z 3. wiemy jednak, że istnieje <math>P\in\mathcal{B}(x)</math> takie, że <math>P\subseteq B\subseteq U</math>. Wobec dowolności <math>x</math> i <math>U</math>, <math>\{\mathcal{B}(x)\}_{x\in X}</math> jest systemem otoczeń w <math>(X,\mathcal{O})</math>.
:Należy jeszcze wykazać, że nie istnieje inna topologia, w której <math>\{\mathcal{B}(x)\}_{x\in X}</math> 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'''. <math>\square</math>

== Porównywanie topologii ==
=== Definicja ===
Niech będzie dany zbiór <math>X</math>, zaś <math>\mathcal{O}_1, \mathcal{O}_2</math> niech będą topologiami na <math>X</math>. Mówimy, że topologia <math>\mathcal{O}_1</math> jest ''mocniejsza'' od topologii <math>\mathcal{O}_2</math> (co jest równoważne stwierdzeniu, że <math>\mathcal{O}_2</math> jest ''słabsza'' od <math>\mathcal{O}_1</math>), o ile <math>\mathcal{O}_2\subseteq\mathcal{O}_1</math>.

=== Własności ===
#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 <math>X</math> nie jest liniowy, o ile <math>|X|>1</math>.  Niech bowiem <math>x_1,x_2\in X, x_1\not= x_2</math>, <math>\mathcal{O}_1=\{\emptyset,X,\{x_1\}\}</math>, <math>\mathcal{O}_2=\{\emptyset,X,\{x_2\}\}</math>. Topologie <math>\mathcal{O}_1</math> i <math>\mathcal{O}_2</math> nie są w tym porządku porównywalne. 
#Niech <math>(X,\mathcal{O}_1)</math>, <math>(X,\mathcal{O}_2)</math> będą przestrzeniami topologicznymi, zaś <math>\mathcal{B}_1,\mathcal{B}_2</math> ich bazami. Topologia <math>\mathcal{O}_1</math> jest mocniejsza od topologii <math>\mathcal{O}_2</math> wtedy i tylko wtedy, gdy <math>\forall_{B\in\mathcal{B}_2}\forall_{x\in B}\exists_{B'\in\mathcal{B}_1}(x\in B' \land B'\subseteq B)</math>.
#:<u>Dowód:</u>
#:Istotnie, jeżeli odpowiednie <math>B'</math> istnieją, to każdy zbiór bazowy przestrzeni <math>(X,\mathcal{O}_2)</math> daje się przedstawić jako suma podrodziny bazy <math>\mathcal{B}_1</math>, wobec czego również i każdy zbiór otwarty przestrzeni <math>(X,\mathcal{O}_1)</math> jest sumą pewnej podrodziny zawartej w <math>\mathcal{B}_1</math>, więc należy do <math>\mathcal{O}_2</math>. Gdyby zaś dla pewnego <math>B\in\mathcal{B}_2</math> i pewnego <math>x\in B</math> odpowiednie <math>B'</math> nie istniałoby, to zbioru <math>B</math>, otwartego w topologii <math>\mathcal{O}_2</math>, nie dałoby się przedstawić jako sumy zbiorów z bazy <math>\mathcal{B}_1</math>, wobec czego <math>B\not\in\mathcal{O}_1</math>. <math>\square</math>

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

== Podprzestrzeń topologiczna ==
=== Definicja ===
Niech <math>(X,\mathcal{O}_X)</math> będzie przestrzenią topologiczną oraz niech <math>A\subseteq X</math>. Parę uporządkowaną <math>(A,\mathcal{O}_A)</math>, gdzie <math>\mathcal{O}_A=\{A\cap U\ :\ U\in\mathcal{O}_X\}</math> nazywamy ''podprzestrzenią topologiczną'' przestrzeni <math>X</math>, zaś rodzinę <math>\mathcal{O}_A</math> nazywamy ''topologią podprzestrzeni'' (lub ''topologią relatywną'').

*'''Ćwiczenie:''' Pokazać, że topologia podprzestrzeni jest topologią na zbiorze <math>A</math>.

Będziemy mówili, że własność przestrzeni topologicznych jest ''dziedziczna'', jeżeli dla dowolnej przestrzeni <math>X</math> z tego, że <math>X</math> posiada tę własność, wynika że również każda podprzestrzeń przestrzeni <math>X</math> 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 ===
#Zauważmy, że jeśli <math>(A,\mathcal{O}_A)</math> jest podprzestrzenią przestrzeni <math>(X,\mathcal{O}_X)</math>, to zbiór <math>F\subseteq A</math> jest domknięty w <math>A</math> wtedy i tylko wtedy, gdy istnieje zbiór <math>F_X\subseteq X</math> domknięty w <math>X</math> i taki, że <math>F=A\cap F_X</math>.
#:<u>Dowód:</u>
#:Istotnie, <math>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</math>. Ale <math>U</math> jest otwarty w <math>X</math> wtedy i tylko wtedy, gdy jest postaci <math>X\setminus F_X</math> dla pewnego <math>F_X\in\mathcal{F}_X</math>. Ponadto: <math>F=A\setminus U=A\cap (X\setminus U)=A\cap F</math>. <math>\square</math>
#Jeżeli <math>\mathcal{B}_X</math> jest bazą otwartą (lub domkniętą) przestrzeni <math>X</math>, zaś <math>A\subseteq X</math>, to <math>\mathcal{B}_A=\{B\cap A\ :\ B\in\mathcal{B}_X\}</math> jest bazą otwartą (odpowiednio: domkniętą) przestrzeni <math>A</math> z topologią relatywną.
#:<u>Dowód:</u>
#:Nietrudno zauważyć, że jeśli <math>U_A\in\mathcal{O}_A</math>, to <math>U_A=U\cap A=(\bigcup_{t\in T}B_t)\cap A=\bigcup{t\in T}(B_t\cap A)</math> dla pewnego zbioru <math>U\in\mathcal{O}_X</math> i pewnej rodziny indeksowanej <math>\{B_t\}_{t\in T}\subseteq\mathcal{B}_X</math>. Rozumowanie w przypadku bazy domkniętej jest analogiczne. <math>\square</math>
#'''Ćwiczenie:''' Jeżeli <math>\mathcal{P}_X</math> jest podbazą otwartą (lub domkniętą) przestrzeni <math>X</math>, zaś <math>A\subseteq X</math>, to podbazą otwartą (odpowiednio: domkniętą) w <math>A</math> z topologią podprzestrzeni jest zbiór: <math>\mathcal{P}_A=\{P\cap A\ :\ P\in\mathcal{P}_X\}</math>.
#'''Ćwiczenie:''' Jeśli <math>A\in\mathcal{O}_X</math>, to dla dowolnego <math>U\subseteq A</math> zachodzi: <math>U\in\mathcal{O}_A\iff U\in\mathcal{O}_X</math>. Podobnie,jeśli <math>A\in\mathcal{F}_X</math>, to dla dowolnego <math>F\subseteq A</math> zachodzi: <math>F\in\mathcal{F}_A\iff F\in\mathcal{F}_X</math>.
#Jeśli przez <math>\operatorname{Cl_A}</math> (odpowiednio: <math>\operatorname{Int_A}</math>) oznaczymy operację domknięcia (wnętrza) w podprzestrzeni <math>A</math> przestrzeni <math>X</math>, to dla dowolnego <math>B\subseteq A</math> zachodzi: <math>\operatorname{Cl_A}B=A\cap\operatorname{Cl}(B)</math> (odpowiednio: <math>\operatorname{Int_A}B=A\cap\operatorname{Int}B</math>), gdzie <math>\operatorname{Cl}</math> (odpowiednio: <math>\operatorname{Int}</math>) oznacza operację domknięcia (wnętrza) w przestrzeni <math>X</math>.
#:<u>Dowód:</u>
#:Ustalmy <math>B\subseteq A</math>. Niech <math>\mathcal{Z}=\{F\in\mathcal{F}_X : B\subseteq F\}</math>, <math>\mathcal{Z}_A=\{F\in\mathcal{F}_A : B\subseteq F\}</math>. Z definicji domknięcia: <math>\operatorname{Cl}B=\bigcap\mathcal{Z}</math>, <math>\operatorname{Cl_A}B=\bigcap\mathcal{Z}_A</math>. Zauważmy, że z 1. <math>\mathcal{Z}_A=\{F\cap A : F\in\mathcal{Z}\}=\mathcal{Z}\cap A</math>, skąd wynika teza. W przypadku operacji wnętrza rozumowanie jest analogiczne. <math>\square</math>

== Przestrzenie topologiczne a przestrzenie metryczne ==
=== Topologia indukowana, przestrzeń metryzowalna ===
Niech <math>(X,d)</math> będzie przestrzenią metryczną. Przez <math>\mathcal{O}_d</math> oznaczmy rodzinę wszystkich zbiorów otwartych (w sensie definicji z rozdziału 1.) w przestrzeni metrycznej <math>(X,d)</math>.

W poprzednim rozdziale (własność 4. w podrozdziale [[Topologia ogólna/Przestrzenie metryczne#Zbiory otwarte i domknięte|"Zbiory otwarte i domknięte"]]) wykazaliśmy, że rodzina <math>\mathcal{O}_d</math> spełnia własności 1., 2., 3. z definicji topologii. Zatem para <math>(X,\mathcal{O}_d)</math> stanowi przestrzeń topologiczną. Topologię <math>\mathcal{O}_d</math> nazywamy ''topologią indukowaną przez metrykę <math>d</math>''.

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

Niech teraz <math>(X,\mathcal{O})</math> będzie przestrzenią topologiczną.

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

Istnieją przestrzenie topologiczne, które nie są metryzowalne. Przykładowo, dla dowolnego zbioru <math>X</math> o mocy większej niż <math>1</math>, niemetryzowalna jest przestrzeń antydyskretna <math>(X,\{\emptyset, X\})</math>.
:<u>Dowód:</u>
:Przypuśćmy, że przestrzeń <math>X</math> jest metryzowalna. Niech <math>d</math> oznacza metrykę indukującą topologię antydyskretną na <math>X</math>. Weźmy dowolne punkty <math>x,y\in X</math>, <math>x\not=y</math>. Niech <math>\epsilon=d(x,y)>0</math>. Kula otwarta <math>B\left(x,\frac{\epsilon}{2}\right)</math> jest zbiorem otwartym w metryce indukowanej przez <math>d</math>. Ale <math>x\in B\left(x,\frac{\epsilon}{2}\right)</math> i <math>y\not\in B\left(x,\frac{\epsilon}{2}\right)</math>. Zatem <math>\emptyset\not=B\left(x,\frac{\epsilon}{2}\right)\not=X</math>. Topologia indukowana przez <math>d</math> nie jest antydyskretna. Otrzymana sprzeczność kończy dowód. <math>\square</math>

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 <math>d_1, d_2</math> zadane na dowolnym zbiorze wzorami: <math>d_1(x,y)=\left\{\begin{matrix}0&, x=y\\1&,x\not=y\end{matrix}\right.</math> oraz <math>d_2(x,y)=\left\{\begin{matrix}0&, x=y\\2&,x\not=y\end{matrix}\right.</math> 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 <math>(X,d)</math> i w przestrzeni <math>(X,\mathcal{O}_d)</math> z topologią indukowaną przez <math>d</math> 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:
# Zbiór wszystkich kul otwartych o środku w danym punkcie stanowi bazę otoczeń tego punktu.
# 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: <math>(X,d)</math> oznacza przestrzenią metryczną, <math>A\subseteq X</math>, zaś <math>\mathcal{O}_d</math> będzie topologią indukowaną na <math>X</math> przez <math>d</math>.
Przez <math>\mathcal{O}_1)</math> oznaczamy topologię relatywną na <math>A</math> względem przestrzeni <math>(X,\mathcal{O}_d)</math>.
Przez <math>\mathcal{O}_2)</math> oznaczamy topologię indukowaną na <math>A</math> przez metrykę przez metrykę d|_{A\times A}.
Wówczas <math>\mathcal{O}_1=\mathcal{O}_2</math>.

:<u>Dowód:</u>
:Nietrudno zauważyć, że kulami otwartymi w podprzestrzeni metrycznej <math>(A,d|_{A\times A}</math> są iloczyny mnogościowe kul otwartych w przestrzeni <math>X</math> ze zbiorem <math>A</math>. Kule otwarte w <math>(A,d|_{A\times A}</math> stanowią bazę <math>(A,\mathcal{O}_2)</math>.
:Ponieważ kule otwarte w <math>(X,d)</math> stanowią bazę przestrzeni <math>(X,\mathcal{O}_d)</math>, to z [[#Własności 3|własności 2.]] z podrozdziału "podprzestrzeń topologiczna" wynika, że ich przekroje z <math>A</math> stanowią bazę w <math>(A,\mathcal{O}_1)</math>.
:Przestrzenie <math>(A,\mathcal{O}_1)</math> i <math>(A,\mathcal{O}_2)</math> posiadaję tę samą bazę. Zatem topologie <math>\mathcal{O}_1</math> i <math>\mathcal{O}_2</math> są identyczne. <math>\square</math>

=== Pewne istotne oznaczenia ===
Ponieważ przestrzeń <math>\mathbb{R}^n</math> 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 <math>\mathbb{R}^n</math>'' i oznaczali <math>\mathcal{O}_E^n</math>.

''Topologią standardową na podzbiorach <math>\mathbb{R}^n</math>'' nazywamy topologię podprzestrzeni na tych podzbiorach indukowaną przez topologię standardową na <math>\mathbb{R}^n</math>. 

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

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

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

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

<noinclude>
[[Topologia ogólna/Podstawowe pojęcia/Zadania|>> Zadania]]
{{Nawigacja|Topologia ogólna|
[[Topologia ogólna/Przestrzenie metryczne|Przestrzenie metryczne]]|
[[Topologia ogólna/Przekształcenia ciągłe|Przekształcenia ciągłe]]|
}}</noinclude>