《点集拓扑学》第7章-§7.6-局部紧致空间-仿紧致空间

1、点集拓扑学第 7章-7.6-局部紧致空间-仿紧致空间§ 7.6局部紧致空间，仿紧致空间本节重点：掌握局部紧致空间、仿紧致空间的定义.性质；掌握局部紧致空间、仿紧致空间中各分离性公理空间之间的关系；掌握局部紧致空间、仿紧致空间与紧致空间之间的关系.定义7.6.1 设X是一个拓扑空间,如果X中的每一个点都有一个紧致的邻域,则称拓扑空间X是一个局部紧致空间.由定义立即可见，每一个紧致空间都是局部紧致空间，因为紧致空间本身便是它的每一个点的紧致邻域.n维欧氏空间也是局部紧致空间，因为其中的任何一个球形邻域的闭包都是紧致的.定理7.6.1每一个局部紧致的空间都是正则空间.证明 设X是一个局部紧

2、致的 Hausdorff空间，设xC X,U是x的一个开邻域.令D是x 的一个紧致邻域，作为Hausdorff空间X的紧致子集，D是X中的闭集.由推论7.2.4,D作为 子空间是一个紧致的 Hausdorff空间，所以是一个正则空间. 炉三C 口口是x在子空间D中的一个开邻域，其中白口是集合D在拓扑空间X中的内部.从而x在子空间D中有一个开 邻域V使得它在子空间 D中的闭包包含于 W 一方面V是子空间D中的一个开集，并且又包 含于W,因此V是子空间 W中的一个开集，而W是X中的一个开集，所以V也是X中的开集.另 一方面，由于D是X的闭集，所以V在D中的闭包便是 V在X中的闭包厂因此点x在X中的

3、开邻域V使得旷匚 犷匚口 .因此X是一个正则空间.定理7.6.2设X是一个局部紧致的正则空间，x C X,则点x的所有紧致邻域构成的集族是拓扑空间X在点x处的一个邻域基.证明 设U是xCX的一个开邻域.令D为x的一个紧致邻域，则UC。”是x的一个开邻域.因为X是正则空间，所以存在x的开邻域V使得/匚"门。” .闭集，是x的一个闭 邻域，并且作为紧致空间 D中的闭子集，它是紧致的.以上证明了在x的任何开邻域 U中包含 着某一个紧致邻域 / .从前面两个定理立即可以推出推论7.6.3 设X是一个局部紧致的 Hausdorff空间,xCX.则点x的所有紧致邻 域构成的集族是拓扑空间X在点x

4、处的一个邻域基.定理7.6.4每一个局部紧致的正则空间都是完全正则空间.证明 设X是一个局部紧致的正则空间.我们验证X是一个完全正则空间如下：设xCX和B是X中的一个闭集，使得五咕203是x的一个开邻域.由定理7.6.2,存在x的一个紧致闭邻域 V,使得/匚9.V作为X的一个子空间是紧致的正则空间(正则是可遗传的)，因此是完全正则的.因而存在连续映射g：V一0,1,使得g(x)=0,和对于任何有 g(y)=1 .定义映射h:川7口,使得*W尸4=1.显然 h是一一个连续映射定义映射f:X -0,1,使得对于任何 zCXJ(Z)- <首先，映射f的定义是确切的，因为如果工8* N，则有g(

5、z)=1=h(z),其次，匕1 都是X中的闭集，从而根据黏结引理，f是连续的.最后，显然有f(x)=0及对于 也工3匚旷的=/3) =1根据定理7.6.1,定理7.6.4及图表6.1,立即可得图表7.4局都魁空间；空间|0.空间|忸空间Mt;听 b品全正他空间o正则空间定义7.6.2 设集族A和B都是集合X的覆盖，如果A中的每一个元素包含于B中的某一个元素之中，则称A是B的一个加细.显然，如果A是B的一个子覆盖，则A是B的一个加细定义7.6.3 设X是一个拓扑空间，八是X的子集A的一个覆盖.如果对于每一个xCA, 点x有一个邻域U仅与A中有限个元素有非空的交，即：A C AA n Uw

6、76; 是一个有限集,则称A是集合A的一个局部有限覆盖.有限覆盖当然是局部有限覆盖.定义7.6.4 设X是一个拓扑空间，如果X的每一个开覆盖都有一个局部有限的开覆盖 是它的加细，则称X是一个仿紧致空间.紧致空间自然是仿紧致的.离散空间也是仿紧致的，因为所有单点集构成的集族是离散空间的一个开覆盖并且是它的任何一个开覆盖的局部有限的加细.定理7.6.5每一个仿紧致的正则空间都是正规空间.证明：设X是一个仿紧致的正则空间,A是X中的一个闭集,U是A的一个开邻域.对于每 一个aC A,点a有一个开邻域上 ,使得%仁口 .从而集族" = 0 "却是X 的一个开覆盖，它有一个局部有限的

7、加细，设为S,令 C =用 HO) .则C是A的一个局部有限的开覆盖.于是 1=。是A的一个开邻域.以下证明 斤UU .VCs Cr3Ua mC uUqnC uU如果Xe,，由于口是局部有限的，所以x有一个邻域 W只与U中有限个元素1有非空的交，于是=Cf u U'-uC； uU这证明了 一” -0.定理7.6.6每一个仿紧致的 Hausdorff空间都是正则空间，因而也是正规空间.证明：设X是一个仿紧致的 Hausdorff空间，兹验证X是一个正则空间如下：设xCX,B是X中的一个不包含点x的闭集,对于每一个bC B,存在x的一个开邻域口J和 b的一个开邻域 匕，使得5巴三0 .特别

8、，小吃一 集族月.跖花2邙US-是X的 一个开覆盖,它有一个局部有限的加细，设为否.令C 一.集族宫是B的一个局部 有限的开覆盖.令'' UcM V是闭集B的一个开邻域.我们有 犬走，.（x有一个邻域 W只与宫中有 限个元素有非空的交,因此W也只与&中有限个元素,设为CW,J 有非空的交.如果则（C uC2 5 uCJ=Cf o C7； u uC； uU因此存在某一个5一小匚伍,然而易见孙巨匕于是得到矛盾）因 此S 厂是x的一个开邻域.此外显然仃门= 0根据定理7.6.5,定理7.6.6及图表6.1我们有图表7.5:仿装致空间:看空间| O 区空间 O n空间 O 区空间UT 羽 4T?; UTt;正规空间| U 层全正则空间 O 正则空间引理7.6.7设X是一个满足第二可数性公理的局部紧致的Hausdorff空间.则X有一个开覆盖0m 满足条件：对于每一个1三？中,闭包匕 是一个包含于匕1的