乌雷松引理

王朝百科·作者佚名  2012-03-20
窄屏简体版  字體: |||超大  

在拓扑学中,乌雷松引理,有时称为“拓扑学中的第一非平凡事实”,通常用于构造正规空间上不同性质的连续函数。这个定理有广泛的应用,因为所有的度量空间和紧豪斯多夫空间都是正规的。

这个引理是以帕维尔·萨穆伊洛维奇·乌雷松命名的。正式表述乌雷松引理说明,X是一个正规拓扑空间,当且仅当只要A和B是X的不交闭子集,就存在一个从X到单位区间[0, 1]的连续函数:

f : X → [0, 1], 使得对于所有A内的a,都有f(a) = 0,而对于所有B内的b,都有f(b) = 1。

任何满足这个性质的函数f都称为乌雷松函数。

注意在以上的表述中,我们并不需要f(x) ≠ 0和≠ 1,对于A和B外部的x。这只在完备正规空间中才有可能。

乌雷松引理导致了其它拓扑空间,例如“吉洪诺夫性质”和“完全豪斯多夫空间”的表述。例如,这个引理的一个推论是,正规的T1空间是吉洪诺夫空间。证明证明请参考扩张阅读的链接

 
 
 
免责声明:本文为网络用户发布,其观点仅代表作者个人观点,与本站无关,本站仅提供信息存储服务。文中陈述内容未经本站证实,其真实性、完整性、及时性本站不作任何保证或承诺,请读者仅作参考,并请自行核实相关内容。
 
 
© 2005- 王朝網路 版權所有 導航