1701041720
1701041721
13．证明T3公理有可乘性和遗传性．
1701041722
1701041723
14．证明C2公理有可乘性和遗传性．
1701041724
1701041725
15．证明可分度量空间的子空间也是可分的．
1701041726
1701041727
1701041728
1701041729
16．记＝｛［a，b）｜a＜b｝．证明拓扑空间不是C2空间．
1701041730
1701041731
17．记τ＝｛（－∞，a）｜－∞≤a≤＋∞｝．证明（R，τ）是C2空间，写出它的一个可数拓扑基．
1701041732
1701041733
18．记S是全体无理数的集合．在实数集R上规定子集族τ＝｛UA｜U是E1的开集，A⊂S｝．
1701041734
1701041735
（1）验证τ是R上的拓扑；
1701041736
1701041737
（2）验证（R，τ）满足T2公理，但不满足T3公理；
1701041738
1701041739
（3）证明（R，τ）是满足C1公理的可分空间；
1701041740
1701041741
（4）证明τ在S上诱导的子空间拓扑τs是离散拓扑，从而（S，τs）是不可分的；
1701041742
1701041743
（5）说明（R，τ）不满足C2公理．
1701041744
1701041745
基础拓扑学讲义 [:1701040205]
1701041746
§2 Урысон引理及其应用
1701041747
1701041748
本节介绍从分离公理和可数公理引出的较深刻的结果．Урысон引理和Tietze扩张定理分别给出T4公理的两个等价条件；度量化定理表明，分离公理和可数公理在改善拓扑空间的性质方面已走得多远．
1701041749
1701041750
2.1 Урысон引理（Urysohn引理）
1701041751
1701041752
定理2.2（Урысон引理） 如果拓扑空间X满足T4公理，则对于X的任意两个不相交闭集A和B，存在X上的连续函数f，它在A和B上分别取值为0和1．
1701041753
1701041754
证明 记QI是［0，1］中的有理数的集合，它是一个可数集．证明分两步．
1701041755
1701041756
（1）用归纳法①构造开集族｛Ur：r∈QI｝，使得
1701041757
1701041758
1701041759
（i）当r＜r′时，
1701041760
1701041761
（ii）∀r∈QI，A⊂Ur⊂Bc．
1701041762
1701041763
1701041764
1701041765
1701041766
1701041767
作法如下．将QI随意地排列为｛r1，r2，…｝，只须使r1＝1，r2＝0．然后对n归纳地构造取它是A的开邻域．根据命题2.4，可构造是A的开邻域，
1701041768
1701041769
