打字猴:1.70104071e+09
1701040710
1701040711 (3)有限个闭集的并集是闭集.
1701040712
1701040713 证明 这是由三条拓扑公理推出的.(2)和(3)分别由拓扑公理(2)和(3)应用De Morgan公式推出.(1)是因为∅和X都是开集. ▎
1701040714
1701040715 2.邻域、内点和内部
1701040716
1701040717
1701040718 定义1.3 设A是拓扑空间X的一个子集,点x∈A.如果存在开集U,使得x∈U⊂A,则称x是A的一个内点,A是x的一个邻域.A的所有内点的集合称为A的内部,记作
1701040719
1701040720
1701040721 命题1.3 (1)若A⊂B,则
1701040722
1701040723
1701040724 (2)是包含在A中的所有开集的并集,因此是包含在A中的最大开集;
1701040725
1701040726
1701040727 (3)是开集;
1701040728
1701040729
1701040730 (4)
1701040731
1701040732
1701040733 (5)
1701040734
1701040735
1701040736 证明 (1)若x是A的内点,取开集U使得x∈U⊂A;因为A⊂B,所以U⊂B,于是x也是B的内点,这样,A的内点都是B的内点,
1701040737
1701040738
1701040739
1701040740
1701040741
1701040742
1701040743 (2)记{Uα|α∈}是包含在A中的所有开集构成的子集族.根据定义,则x为A的内点).因此反之,若由定义,x必属于某个Uα,从而
1701040744
1701040745
1701040746
1701040747
1701040748 (3)由(2)知,是开集.若则A也是开集;反之,当A是开集时,由(2)推出
1701040749
1701040750
1701040751
1701040752
1701040753
1701040754
1701040755
1701040756 (4)对(A∩B)⊂A用(1),得同理有得到对用(1),得到(等号根据(3)).
1701040757
1701040758
1701040759
[ 上一页 ]  [ :1.70104071e+09 ]  [ 下一页 ]