烏雷松引理

在拓撲學中 ， 烏雷松引理 ， 有時稱爲 “ 拓撲學中的第一非平凡事實 ” ， 通常用於構造正規空間上不同性質的連續函數 。 這個定理有廣泛的應用 ， 因爲所有的度量空間和緊豪斯多夫空間都是正規的 。 這個引理是以帕維爾 · 薩穆伊洛維奇 · 烏雷松命名的 。