Posted by haifeng on 2012-07-08 08:59:33 last update 2012-07-08 09:00:54 | Answers (0) | 收藏
[Lem] 设 $\sim$ 是拓扑空间 $X$ 上的开等价关系. 则 $R=\{(x,y)\in X\times X\mid x\sim y\}$ 是 $X\times X$ 的闭子集当且仅当商空间 $X/\sim$ 是 Hausdorff 的.