定理2(开集与闭集的对偶性) 设 E E E 是开集,则 E c E ^ { c } Ec 是闭集;设 E E E 是 闭集,则 E e E ^ { \mathrm { e } } Ee 是开集 证明 第一部分:设 E E E 是开集,而 P 0 P _ { 0 } P0 是 E c E ^ { c } Ec 的任一聚点,那么 P 0 P _ { 0 } P0 的任一邻域都有不属于 E