烏雷松空間

烏雷松空間(Urysohn space )一類特殊的拓撲空間.它是具有某種函數分離性的拓撲空間.設X為拓撲空間.若對於X的任意相異兩點二，y，存在連續函數.f:x}}o,l}，使得

f(x)=0，.f （y）=1

則稱x為烏雷松空間.烏雷松空間是完全豪斯多夫空間，但是反之不成立.烏雷松空間和r3空間是互相獨立的.烏雷松空間是烏雷松(yjJbICOI3, } J.)於1925年提出的.

^[1]