T0 공간

위상공간의 분리공리

T0 | T1 | T2 | T2½ | 완비 T2 T3 | T3½ | T4 | T5 | T6

$T_0$ 공간은 위상수학에서 분리공리의 하나인 $T_0$ 공리를 만족하는 위상공간을 뜻한다. 구체적으로, 공간상의 임의의 서로 다른 두 점 $p, q \in X$ 에 대해서 적당한 열린 집합 U가 존재하여 p 또는 q가 U에 속하고 반대로 q 또는 p는 U에 속하지 않는 성질을 만족하는 공간이다. 콜모고로프 공간(Kolmogorov space)이라고도 한다. 정의에 따라서, T₁ 공간은 T₀ 공간이다.

참고 문헌

• Boto von Querenburg, Mengentheoretische Topologie, 3. Auflage, Springer-Verlag, ISBN 3-540-67790-9