1701041873
1701041874
1701041875
证明 取X的可数拓扑基．中两个成员B与若满足就称为一个典型对．把所有的典型对（是可数的）排列好，并记以π1，π2，π3，…，πn，…，∀n，πn由Bn和构成
1701041876
1701041877
1701041878
1701041879
由于X满足T4公理，用Урьысон引理可构造连续函数fn：X→E1，使得fn在上取值为0，在上取值为1，∀n．（如果典型对只有M对，则n＞M时让fn＝0．）规定f：X→Eω为
1701041880
1701041881
1701041882
∀x∈X．
1701041883
1701041884
1701041885
1701041886
1701041887
1701041888
1701041889
f是单的．事实上，根据T1公理，当x≠y时，必有使得再由T4公理（｛x｝是闭集）存在B∈，使得x∈B，设B与是典型对πn，则fn（x）＝0，fn（y）＝1，从而f（x）≠f（y）．
1701041890
1701041891
由于X与Eω都是C1空间，连续性可用序列语言描述．因此要证f是嵌入只要验证：对任一序列｛xk｝，
1701041892
1701041893
1701041894
xk→xf（xk）→f（x）．
1701041895
1701041896
1701041897
．∀ε＞0，取N充分大，使得
1701041898
1701041899
1701041900
1701041901
1701041902
1701041903
根据f1，f2，…，fN的连续性和xk→x，取K充分大，使得k＞K，i≤N时于是当k＞K时，
1701041904
1701041905
1701041906
1701041907
1701041908
因此f（xk）→f（x）．
1701041909
1701041910
1701041911
1701041912
1701041913
1701041914
1701041915
1701041916
．只须证明xk↛x时f（xk）↛f（x）．取x的开邻域使得对无穷多个k，取B∈，使得x∈B，B与构成典型对πn．于是对无穷多个k，fn（xk）－fn（x）＝1，从而ρ（f（xk），f（x））≥1/n．因此f（xk）↛f（x）． ▎
1701041917
1701041918
定理的条件就是要求X满足§1中所定义的所有分离公理和可数公理．作为推论，得到：当X满足T1－T4和C1、C2所有这6个公理时，它一定可度量化．容易看出满足这6个公理并不是可度量化的必要条件（度量空间未必是C2空间）．然而，由于Eω是C2空间，满足6个公理对于嵌入Eω来说则是充分必要的．
1701041919
1701041920
习 题
1701041921
1701041922
1．证明Урьысон引理证明中定义的函数f满足