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