Простір T0

Шаблон:Аксіоми відокремлюваності Простір $T_0$ — топологічний простір, що задовольняє одній з найслабших аксіом відокремлюваності $T_0$. Ці простори також називаються просторами Колмогорова.

Визначення

Топологічний простір $X$ називається простором $T_0$, якщо для будь-яких двох різних точок $x,y\in X$ існує відкрита множина $U\subseteq X$, така що одна з цих двох точок належить цій підмножині, а інша - ні. На відміну від простору $T_1$, якщо $x\in U$, але $y\notin U$, то кожен відкритий окіл точки y може мати x своїм елементом.

Еквівалентно можна визначити, що $X$ є простором $T_0$, коли будь-які його дві точки не є граничними точками одна одної.

Приклади і властивості

• Більшість типових прикладів топологічних просторів є просторами $T_0$ і простори, що не є $T_0$ вважаються "дуже патологічними". Прикладами просторів $T_1$ є зокрема: простір дійсних чисел із звичайною топологією, евклідові простори і, в більш загальному випадку, метричні простору. Кожен дискретний простір є простором $T_0$.
• Кожен простір $T_1$ зокрема гаусдорфів простір є простором $T_0$.
• Будь-який простір з антидискретною топологією не є простором $T_0$. Також якщо на дійсному векторному просторі топологія породжена напівнормою, що не є нормою, то такий топологічний простір не є простором $T_0$.
• Прикладом простору, що задовольняє аксіому $T_0$, але не є простором $T_1$ є множина $X=\{a,b\}$ з топологією ${\tau }_0=\{\mathrm{\varnothing },X,\{a\}\}$. Іншими такими прикладами є топологія перекривних інтервалів, топологія замкненого розширення і простір Серпінського. Також спектр кільця із топологією Зариського є простором $T_0$ але в загальному випадку не є простором $T_1$.
• Підмножина простору $T_0$ з індукованою топологією є простором $T_0$.
• Декартовий добуток просторів $T_0$ теж є простором $T_0$.
• На множині точок довільного топологічного простору ввести відношення еквівалентності: $x\sim y$ тоді й тільки тоді коли довільна відкрита множина, що містить x містить також y і навпаки. Фактор-простір по цьому відношенню буде простором $T_0$.

Див. також

• Аксіоми відокремлюваності
• Простір T1
• Гаусдорфів простір

Література

• Gaal, Steven A.(1966), Point set topology, New York: Dover Publications, ISBN 978-0-486-47222-5 Шаблон:Ref-en