Urysohn引理

Urysohn引理是拓扑学中刻画有关分离性的引理，在处理解决分离性问题时发挥重要作用。Urysohn引理：如果拓扑空间(X，τ)是正规空间，则对于(X，τ)中任意两个不相交闭集A，B，存在一个连续映射f：X→[a，b]，使得f(x)=a，∀x∈A，f(y)=b，∀y∈B。