1701041538
命题2.3 度量空间（X，d）满足Ti公理（i＝1，2，3，4）．
1701041539
1701041540
证明 显然（X，d）中单点集（从而有限集）是闭集，因此它满足T1公理．只须再验证它满足T4公理．
1701041541
1701041542
设A，B是不相交闭集，不妨设它们都不是∅．∀x∈X，则d（x，A）＋d（x，B）＞0（见第一章§2习题第12题）．规定X上连续函数f为
1701041543
1701041544
1701041545
1701041546
1701041547
则当x∈A时，f（x）＝0；x∈B时，f（x）＝1．任取实数t∈（0，1），则f-1（（－∞，t））和f-1（（t，＋∞））是A和B的不相交邻域． ▎
1701041548
1701041549
下面是T3，T4公理的另一种描述形式，它们在许多场合用起来更方便．
1701041550
1701041551
1701041552
1701041553
命题2.4 （1）满足T3公理任意点x和它的开邻域W，存在x的开邻域U，使得
1701041554
1701041555
1701041556
1701041557
（2）满足T4公理任意闭集A和它的开邻域W，有A的开邻域U，使得
1701041558
1701041559
证明 （1）和（2）的证明方法是相同的．下面只给出（2）的证明．
1701041560
1701041561
1701041562
1701041563
1701041564
．设A与B是不相交的闭集，则Bc是A的开邻域．由条件，存在A的开邻域U，记则V是开集，B⊂V，并且U∩V＝∅（见图2-1（a））．
1701041565
1701041566
1701041567
1701041568
1701041569
图2-1
1701041570
1701041571
1701041572
1701041573
1701041574
．记B＝Wc，则A与B为不相交的闭集．由T4公理，存在A与B的不相交的开邻域U与V．则U即为所求（因为，见图2-1（b））． ▎
1701041575
1701041576
许多拓扑书里有正规空间和正则空间的概念，但它们的含义是不统一的．有的书中把满足T4（T3）公理的拓扑空间称为正规（则）空间，而另一些书则还要求满足T1公理．本书中将避开这两个术语．
1701041577
1701041578
1.3 可数公理
1701041579
1701041580
可数公理有两个：第一可数公理和第二可数公理，分别简称C1公理和C2公理（也有称作A1公理和A2公理）．满足Ci公理的拓扑空间称为Ci空间．C2空间也称完全可分空间．
1701041581
1701041582
为了定义C1公理，先要介绍邻域基的概念．
1701041583
1701041584
1701041585
1701041586
1701041587