T0 空间

${\mathbf{T}}_0$ 空间 (又称为 Kolmogorov 空间) 是一类拓扑空间, 满足其中的点能够用开集区分. 能够见到的拓扑空间基本都是 ${\mathrm{T}}_0$ 空间.

1定义

定义 1.1. 称拓扑空间 $X$ 为 ${\mathbf{T}}_0$ 空间, 指的是对 $x,y\in X$, 只要 $x\ne y$, 就存在开集 $U\subset X$, 恰包含 $x,y$ 二者之一.

术语翻译

${\mathrm{T}}_0$ 空间 • 英文 ${\mathrm{T}}_0$ space