点集拓扑讲义 熊金城 《点集拓扑讲义》 · 第 103 页 · 定义 6.1.1 设 $X$ 是一个拓扑空间。如果 $X$ 中的任意两个不相同的点中必有一个点有一个开邻域不包含另一个点（即如果 $x,y\in X$，$x\neq y$，则或者 $x$ 有一个开邻域 $U$ 使得 $y\notin U$，或者 $y$ 有一个开邻域 $V$ 使得 $x\notin V$），则称拓扑空间 $X$ 是一个 $T_0$ 空间。 查看原书页面 由 admin 提交
