6.4+完全正则.pptVIP

§6．4 完全正则空间，Tychonoff空间 * * 本节重点: 　　掌握完全正则空间与　空间的定义 　　掌握正则,正规及完全正则空间之间的关系 1.定义6.4.1 设X是一个拓扑空间．如果对于任意x∈X和X中任何一个不含点x的闭集B,存在一个连续映射f: X→[0,1]使得f(x)＝0以及对于任何y∈B有f(y)=1,则称拓扑空间X是一个完全正则空间． 完全正则　的空间称为Tychonoff空间，或　 空间． 2.完全正则、正则空间、正规． 定理6.4.3 正则 ＋ Lindeloff 正规 ． 定理6.4.2 正则 ＋ 正规 完全正则． 定理6.4.1 完全正则空间 正则空间． ① 定理6.4.1 每一个完全正则空间都是正则空间. 证明:对于任意x和不包含x的闭集B,由于X是一个完全正则空间,故对x和闭集B存在一个连续映射 ， 使得对于x和不包含x的闭集B有 及任意 有 . 0 1 [ ) ( ] x B f U V ②定理6.4.2 每 一个正则且正规的空间都是完全正则空间. 根据定理 6．4．1明显可见，每一个Tychonoff空间都是T3空间．根据Urysohn引理也容易看出，每一个T4空间都是Tychonoff空间，但反之不真。 0 1 [ ] x B f U 由于 x∈A，故 f（x）=0，这就证明了X是一个完全正则空间． 证明 设X是一个既正则又正规的空间． 设x∈X，B是X中的一个不包含点x的闭集． 由于X是一个正则空间，根据定理6.2.l， 点 x有一个开邻域 U使得　　　 ． 令　　　则A和B是X中无交的两个闭集． 由于X是一个正规空间，应用Urysohn引理可见， 存在一个连续映射f: X→[0，l]使得对于任何y∈A有 f（y）＝0和对于任何 y∈B有f（y）＝ 1． 定理6.4.3 [Tychonoff定理] 每一个正则的Lindeloff空间都是正规空间． §6．1，§6．2和本节中定义的　　　（即Hausdorff），　　(即Tychonoff), 　以及正则和正规等拓扑空间的性质统称为分离性公理．现将满足诸分离性公理的拓扑空间类之间的蕴涵关系列为图表6．1．