习题 12, § 11

设X为拓扑空间。 证明以下三个条件是等价的：$\alpha$X的分量开集合； $\beta$ 每个$x \in X$ 都有邻域包含在每个集合中，集合既是开闭的又是包含 x； $\gamma$ 对于$x \in X$、集合的交，它们都是开闭的，包含于 x 是开集合。