1701040750
1701040751
1701040752
1701040753
1701040754
1701040755
1701040756
（4）对（A∩B）⊂A用（1），得同理有得到对用（1），得到（等号根据（3））．
1701040757
1701040758
1701040759
1701040760
（5）因为是包含在A∪B中的开集，根据结论（2），有 ▎
1701040761
1701040762
1701040763
用归纳法，从（4）可推出但对无穷多个子集的交集相应结果不成立．一般地（5）不能把包含号改为等号．请读者自己找出反例．
1701040764
1701040765
3．聚点与闭包
1701040766
1701040767
1701040768
定义1.4 设A是拓扑空间X的子集，x∈X．如果x的每个邻域都含有A｛x｝中的点，则称x为A的聚点．A的所有聚点的集合称为A的导集，记作A′．称集合为A的闭包．
1701040769
1701040770
1701040771
由定义不难推出：的任一邻域与A都有交点．
1701040772
1701040773
闭包与内部这两个概念有密切关系，具体表现为
1701040774
1701040775
1701040776
1701040777
命题1.4 若拓扑空间X的子集A与B互为余集，则与互为余集．
1701040778
1701040779
1701040780
证明有邻域与A不相交
1701040781
1701040782
1701040783
x有邻域包含在B中
1701040784
1701040785
1701040786
x是B的内点，
1701040787
1701040788
1701040789
因此 ▎
1701040790
1701040791
1701040792
命题1.5 （1）若A⊂B，则
1701040793
1701040794
1701040795
（2）是所有包含A的闭集的交集，所以是包含A的最小的闭集；
1701040796
1701040797
1701040798
（3）是闭集；
1701040799