1.Urysohn(乌雷松)引理2.Tietze(铁策)扩张定理4.乌雷松度量化定理3.可度量化主要内容1Urysohn(乌雷松)引理PARTONEUrysohn(乌雷松)引理乌雷松引理:若拓扑空间满足公理,则对于的任意两个不相交闭集和,存在上的连续函,,使得时,当时,.2Tietze(铁策)扩张定理PARTTWOTietze(铁策)扩张定理Tietze(铁策)扩张定理:如果满足公理,则定义在的闭子集上的连续函数可连续的扩张到上.Tietze(铁策)扩张定理另一种描述:若满...