Przestrzeń Tichonowa

Z Wikipedii, wolnej encyklopedii

Przestrzeń Tichonowa, przestrzeń T i przestrzeń całkowicie regularna to terminy w topologii opisujące tę samą lub bardzo pokrewne własności oddzielania. Dokładniej, mówi się, że przestrzeni topologicznej punkty mogą być oddzielane od zbiorów domkniętych przez funkcje ciągłe jeśli

dla każdego zbioru domkniętego podzbioru przestrzeni i dowolnego punktu można znaleźć taką funkcję ciągłą że i dla wszystkich punktów ze zbioru

Przestrzeń topologiczna nazywa jest przestrzenią Tichonowa, gdy jest przestrzenią T1 w której punkty mogą być oddzielane od zbiorów domkniętych przez funkcje ciągłe.

Dyskusja nazewnictwa[edytuj | edytuj kod]

Istnieją pewne niekonsekwencje w użyciu terminów przestrzeń Tichonowa, przestrzeń T i przestrzeń całkowicie regularna w literaturze. Na przykład Kuratowski w swojej monografii[1] definiuje

  • przestrzeń całkowicie regularną jako przestrzeń topologiczną w której punkty mogą być oddzielane od zbiorów domkniętych przez funkcje ciągłe, oraz
  • przestrzeń Tichonowa jako przestrzeń całkowicie regularną która spełnia także Aksjomat T1.

Z drugiej strony Engelking definiuje[2]

  • bycie przestrzenią Tichonowa, bycie przestrzenią i bycie przestrzenią całkowicie regularną jako tę samą własność (pokrywającą się z naszym znaczeniem przestrzeni Tichonowa).

Z powodu tych i podobnych rozbieżności, czytelnik literatury topologicznej powinien zawsze upewnić się co do znaczenia terminów stosowanych w danym artykule czy też książce. Wydaje się jednak że terminologia stosowana przez Engelkinga jest najbardziej popularna i my także będziemy się jej trzymać.

Termin topologia Tichonowa został wprowadzona dla uczczenia rosyjskiego matematyka Tichonowa (ros. Андрей Николаевич Тихонов).

Przykłady[edytuj | edytuj kod]

Następujące przestrzenie topologiczne są przestrzeniami Tichonowa:

Płaszczyzna Niemyckiego nie jest przestrzenią normalną, a więc własność bycia przestrzenią T jest istotnie różna od własności bycia przestrzenią T4.

Znane są przykłady przestrzeni T3, które nie są całkowicie regularne. Na przykład podzbiór

płaszczyzny z topologią wprowadzoną przez bazę otoczeń określoną dla każdego elementu zbioru i opisaną warunkami:

  • jeśli to
  • jeśli to składa się ze wszystkich zbiorów postaci
gdzie jest dowolnym skończonym podzbiorem zbioru
  • gdzie

jest przestrzenią T3, która nie jest przestrzenią T[potrzebny przypis].

Własności[edytuj | edytuj kod]

  • Każda przestrzeń Tichonowa jest przestrzenią T3.
  • Podzbiór przestrzeni Tichonowa traktowany jako przestrzeń topologiczna jest znów przestrzenią Tichonowa. Własność być przestrzenią Tichonowa jest więc własnością dziedziczną.
  • Iloczyn kartezjański (z topologią Tichonowa) przestrzeni T jest przestrzenią T.
  • Każda przestrzeń Tichonowa może być zanurzona w zwartą przestrzeń Hausdorffa. Ten fakt jest jednym z głównych źródeł zainteresowania przestrzeniami T, jako że to są dokładnie te przestrzenie które mają uzwarcenia Hausdorffa.

Zobacz też[edytuj | edytuj kod]

Przypisy[edytuj | edytuj kod]

  1. Kuratowski, Kazimierz; Topology; Volume I. Państwowe Wydawnictwo Naukowe, Warszawa 1966, s. 120.
  2. Engelking, Ryszard; General Topology; Helderman, Berlin, 1989, s. 39. ISBN 3-88538-006-4.