展开 证明可数集合X的可数补拓扑是X的离散拓