Przestrzeń T1

Z Wikipedii

Masz nowe wiadomości (różnica z poprzednią wersją).

Przestrzeń $T 1$ – termin topologiczny odnoszący się do jednego ze słabszych aksjomatów oddzielania. Dawniej przestrzenie spełniające ten warunek były nazywane też przestrzeniami Frécheta, ale wydaje się, że dzisiaj ta druga nazwa jest używana głównie w innym znaczeniu.

[edytuj] Definicja

Mówimy, że przestrzeń topologiczna $X$ jest $T 1$ , jeśli dla dowolnych dwóch różnych punktów $x, y \in X$ istnieje zbiór otwarty $U \subseteq X$ taki, że $x \in U$ , ale $y \notin U$ .

Równoważne sformułowanie powyższej definicji jest takie, że przestrzeń $X$ jest przestrzenią $T 1$ wtedy i tylko wtedy, gdy każdy jednopunktowy podzbiór $X$ jest domknięty.

[edytuj] Przykłady i własności

Większość naturalnych przykładów przestrzeni topologicznych jest $T 1$ , zwykle przestrzenie nie będące $T 1$ uważa się za „bardzo patologiczne”. W szczególności przykładami takich przestrzeni są: przestrzeń liczb rzeczywistych z naturalną topologią, przestrzenie euklidesowe i ogólniej przestrzenie metryczne.
Każda przestrzeń T₂ jest przestrzenią $T 1$ .
Istnieją przestrzenie $T 1$ , które nie są $T 2$ . Zbiór liczb rzeczywistych z topologią dopełnień skończonych (w której zbiorami otwartymi są tylko zbiór pusty $\emptyset$ i zbiory, których dopełnienie jest skończone, np. $\mathbb R \setminus \{0\}$ , $\mathbb R \setminus \{1,2,3,4,5\}$ ) jest przestrzenią T₁, ale nie T₂; podobnie jest z analogicznie definiowaną topologią Zariskiego, czyli topologią dopełnień co najwyżej przeliczalnych.
Każda przestrzeń $T 1$ jest przestrzenią T₀, lecz istnieją przestrzenie $T 0$ , które nie są $T 1$ . Na przykład zbiór $X = {a, b}$ wyposażony w topologię $\tau_0=\big\{\emptyset,X,\{a\}\big\}$ jest przestrzenią $T 0$ , ale nie $T 1$ .
Podzbiór przestrzeni $T 1$ traktowany jako przestrzeń topologiczna jest znów przestrzenią $T 1$ . Własność być przestrzenią $T 1$ jest więc własnością dziedziczną.
Iloczyn kartezjański (z topologią Tichonowa) przestrzeni $T 1$ jest przestrzenią $T 1$ .

[edytuj] Zobacz też

[edytuj] Bibliografia

¹ Engelking, Ryszard; General Topology; Helderman, Berlin, 1989. Strona 37. ISBN 3-88538-006-4
² Kuratowski, Kazimierz; Topology; Volume I. Państwowe Wydawnictwo Naukowe, Warszawa, 1966. Strony 38 i 51.

Źródło: "http://pl.wikipedia.org../../../p/r/z/Przestrze%C5%84_T1_5faf.html"

Kategoria: Topologia