13.05.2013 Views

TOPOLOGIA I Pomocnik studenta Zintegrowane notatki do wykładu ...

TOPOLOGIA I Pomocnik studenta Zintegrowane notatki do wykładu ...

TOPOLOGIA I Pomocnik studenta Zintegrowane notatki do wykładu ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Rozdział 2<br />

Generowanie topologii i baza<br />

2.1 Generowanie topologii<br />

Niech X będzie <strong>do</strong>wolnym zbiorem a U ⊂ P(X) <strong>do</strong>wolną rodziną jego podzbiorów.<br />

Definicja 2.1.1. Topologią generowaną przez rodzinę U ⊂ P(X) nazywamy najmniejszą<br />

topologię w X zawierającą U - czyli przecięcie wszystkich topologii zawierających rodzinę<br />

U. Oznaczamy ją T (U).<br />

Konstrukcja topologii T (U):<br />

1. <strong>do</strong>łączamy <strong>do</strong> U przecięcia skończenie wielu elementów rodziny U definiując rodzinę:<br />

U ∩ := {U1 ∩ · · · ∩ Uk | Ui ∈ U}<br />

Rodzina U ∩ jest już zamknięta ze względu na branie przecięć skończenie wielu zbiorów<br />

tzn. jeśli V1, V2 ∈ U ∩ to V1 ∩ V2 ∈ U ∩<br />

2. Do rodziny U ∩ <strong>do</strong>łączamy wszystkie sumy zbiorów należących <strong>do</strong> U ∩ definiując ro-<br />

dzinę:<br />

(U ∩ ) ∪ := { <br />

i∈I<br />

Vi | Vi ∈ U ∩ }<br />

Rodzina (U ∩ ) ∪ jest zamknięta ze względu na branie sum zbiorów tzn. dla <strong>do</strong>wolnej<br />

rodziny {Wj}j∈J ⊂ (U ∩ ) ∪ jej suma <br />

Wj ∈ (U ∩ ) ∪ .<br />

3. T (U) = (U ∩ ) ∪<br />

j∈J<br />

Stwierdzenie 2.1.1. Niech (X, T ) będzie <strong>do</strong>wolną przestrzenią topologiczną, Y będzie zbiorem<br />

oraz V ⊂ P(Y ) rodziną jego podzbiorów. Przekształcenie f : (X, T ) → (Y, T (V)) jest<br />

ciągłe wtedy i tylko wtedy, gdy dla każdego zbioru V ∈ V jego przeciwobraz f −1 (V ) ∈ T .<br />

Przykład 2.1.1. Wybór rodziny generującej topologię nie jest oczywiście jednoznaczny;<br />

np. cała topologia generuje samą siebie. W przestrzeni metrycznej topologia T (d) jest<br />

generowana przez każdą z następujących rodzin:<br />

1. Rodzinę wszystkich kul otwartych.<br />

9

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!