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
1701041770
1701041771
1701041772
1701041773
1701041774
1701041775
设已构造，它们满足（i）和（ii）．记ri（n）＝max｛rl｜l≤n，rl＜rn＋1｝，rj（n）＝min｛rl｜l≤n，rl＞rn＋1｝，则ri（n）＜rj（n）．因此作是的开邻域，并且（见图2-3）．容易验证仍满足（i）和（ii）．｛Ur｝的定义完成．
1701041776
1701041777
1701041778
1701041779
1701041780
图2-3
1701041781
1701041782
（2）规定函数f：X→E1为：∀x∈X，
1701041783
1701041784
1701041785
1701041786
1701041787
1701041788
这里给出f（x）的两个定义式，如果∀r，则用第一式；如果∀r，x∈Ur，则用第二式；余下的情形，两式的值是相等的．因为A⊂Ur，∀r∈QI，所以f在A上各点的值都为0；类似地，f在B上各点取值1．现在只剩下f连续性的验证了，为此只用说明对任何开区间（a，b），f-1（a，b）是X的开集，即它的每一点都是内点．
1701041789
1701041790
1701041791
根据f的定义，∀r∈QI，（a）若x∈Ur，则f（x）≤r；（b）若x则f（x）≥r．从f的定义还可看出，0≤f（x）≤1，∀x∈X．
1701041792
1701041793
设x∈f-1（a，b），即a＜f（x）＜b．要证x有开邻域包含在f-1（a，b）中．
1701041794
1701041795
1701041796
1701041797
1701041798
1701041799
1701041800
如果f（x）≠0，1，则可取r，r′，r″∈QI，使得a＜r′＜r″＜f（x）＜r＜b．由（a）知，从而由（b）知，x∈Ur，因此是x的开邻域．（a）与（b）说明a＜r′≤f（y）≤r＜b，因此
1701041801
1701041802
如果f（x）＝0，则a＜0，取r＜b，则x∈Ur⊂f-1（a，b）．
1701041803
1701041804
1701041805
如果f（x）＝1，则b＞1，取a＜r′＜r″，则
1701041806
1701041807
∎
1701041808
1701041809
显然，当对于A，B有定理中所说的连续函数时，A，B有不相交的邻域．因此Урьысон引理的结论是T4公理的等价条件．