用商空间做一些能够想象的拓扑空间: 对 于 集 合 X ， 在 其 上 定 义 拓 扑 , 定 义 等 价 关 系 在 X / ∼ = { x ˉ ∣ x ∈ X } 上 定 义 拓 扑 ， 需 满 足 X / ∼ 中 的 开 集 在 π − 1 映 回 去 仍 是 X 中 开 集 。 对于集合X，在其上定义拓扑,定义等价关系\\ 在X/\sim=\{\bar x|x\in X\}上定义拓扑，\