(完整word版)《点集拓扑讲义》第七章 紧致性 学习笔记_第1页
(完整word版)《点集拓扑讲义》第七章 紧致性 学习笔记_第2页
(完整word版)《点集拓扑讲义》第七章 紧致性 学习笔记_第3页
(完整word版)《点集拓扑讲义》第七章 紧致性 学习笔记_第4页
(完整word版)《点集拓扑讲义》第七章 紧致性 学习笔记_第5页
已阅读5页,还剩21页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

第第25第7章紧致性§7.1紧致空间本节重点:掌握紧致子集的定义及判断一个子集是紧致子集的方法.(这些方法哪些是充要条件);掌握紧致性是否是连续映射可保留的,是否是可遗传的、有限可积的.在§5.3中,我们用关于开覆盖和子覆盖的术语刻画了一类拓扑空间,即Lindeloff空间.现在来仿照这种做法,即将Lindeloff空间定义中的“可数子覆盖”换成“有限子覆盖”,以定义紧致空间.读者在数学分析中早已见过的Heine-Borel定理断言:实数空间R的任何一个子集为有界闭集的充分必要条件是它的每一个开覆盖都有一个有限子覆盖.(在§7.3中我们将要推广这个定理.)因此我们现在作的事也应当在意料之中.定义7.1.1设X是一个拓扑空间•如果X的每一个开覆盖有一个有限子覆盖,则称拓扑空间X是一个紧致空间.明显地,每一个紧致空间都是Lindeloff空间.但反之不然,例如包含着无限但可数个点的离散空间是一个Lindeloff空间,但它不是一个紧致空间.例7・1・1实数空间R不是一个紧致空间.这是因为如果我们设A={(―n,n)UR|bGZ+},则A的任何一个有限子族{(-旳,旳…,(-叫,叫)},由于它的并为(-max{®心八%},max{®宀'…%)所以不是R的一个子覆盖.因此R的开覆盖A没有任何一个有限子覆盖.定义7.1.2设X是一个拓扑空间,Y是X中的一个子集,如果Y作为X的子空间是一个紧致空间,则称Y是拓扑空间X的一个紧致子集.根据定义,拓扑空间X中的一个子集Y是X的紧致子集意味着每一个由子空间Y中的开集构成的Y的开覆盖有一个有限子覆盖,这并不明显地意味着由X中的开集构成的每一个Y的覆盖都有有限子覆盖.所以陈述以下定理是必要的.定理7.1.1设X是一个拓扑空间,Y是X中的一个子集•则Y是X的一个紧致子集当且仅当每一个由X中的开集构成的Y的覆盖都有有限子覆盖•(此定理表明开覆盖中的开子集可以是X的,也可以是Y的)证明必要性设Y是拓扑空间X中的一个紧致子集,A是Y的一个覆盖,它由X中的开集构成.贝恪易验证集族区珂貝cF|A^a}也是y的一个覆盖,它由Y中的开集构成.因此A有一个有限子覆盖,设为{£cF,血cF,…eV},于是A的有限子族A-A/'A覆盖Y.充分性,假定每一个由X的开集构成的Y的覆盖都有一个有限子覆盖.设A是Y的一个覆盖,它由Y中的开集构成.则对于每一个AWA存在X中的一个开集久1使得A二耳QY.因此刁珂乙|"〔A}开集久1使得A二耳QY.覆盖,所以有一个有限子覆盖,设为此时易见A的子族{川1,比,…&}覆盖Y.这证明Y是X的一个紧致子集.面介绍关于紧致性的一个等价说法.定义7.1.3设A是一个集族•如果A的每一个有限子族都有非空的交(即如果占是A的一个有限子族,则门却心h0),则称a是一个具有有限交性质的集族.定理7・1・2设X是一个拓扑空间•则X是一个紧致空间当且仅当X中的每一个具有有限交性质的闭集族都有非空的交.证明"=\设X是一个紧致空间.用反证法.设F是X中的一个具有有限交性质的闭集族.设FH°.如果c“C=°,则令A二{U'lU^F}.由于5仝«“丫=07所以A是X的一个开覆盖.于是A有一个有限子覆盖,设为{WxG}.从U]nC2n-nCM=©皿u-uC^f=Xf=0这说明F不具有有限交性质.矛盾.“=”,设X中的每一个具有有限交性质的闭集族都有非空的交.为证明X是一个紧致空间,设A是X的一个开覆盖.我们需要证明A有一个有限子覆盖.如果A=0,则,这蕴涵X=0以及A的每一个子族都是X的覆盖.以下假定AH°.此时F={占|AwA}便是X中的一个非空闭集族,并且nC«FU=仏/=2心4/=辺因此,它不具有有限交性质.也就是说,它有一个有限子族其交为空集.设F的这个有限子族为{从鶴宀捡,则卅=35是x的一个有限子覆盖.

如果B是紧致空间X的一个基,那么由B中的元素构成的X的一个覆盖当然是一个开覆盖,因此有有限子覆盖.下述定理指出,为验证拓扑空间的紧致性,只要验证由它的某一个基中的元素组成的覆盖有有限子覆盖.定理7.1.3设B*是拓扑空间X的一个基,并且X的由B*中的元素构成的每一个覆盖有一个有限子覆盖•则X是一个紧致空间.证明A*设是X的一个开覆盖.对于每一个AwA*存在B*的一个子族财使得卫=u段尊』B令舄=u应理旷壷由于u如11B=2肛.即B=u皿应典£)=貝=X故4是一个由B*故4是一个由B*的元素构成的X的一个覆盖,所以有一个有限子覆盖,设为兀际…瓦,对于每一个禺,i=l,2,…,n,于是对于A*的有限于族{舄4「4}有4u山?u…u&n吕空…吕花=X也就是说A*也就是说A*有一个有限子覆盖{…心}.这证明X是一个紧致空间.定理7・1・4设X和Y是两个拓扑空间,f:X~Y是一个连续映射•如果A是X的一个紧致子集,则f(A)是Y的一个紧致子集.证明设C*是f(A)的一个覆盖,它由Y中的开集组成.对于每一个CwC*,由于f是一个连续映射,广'(C)是X中的一个开集5具二了G4)3u0eC./-1(O=/-1(uCeC+Q二)于"C/(&0二)*所以A={广1(C)|CWC*}是A的一个开覆盖.由于A是X的一个紧致子集,所以A有一个有限子族,设为{广乜1)』"0…广NG)},覆盖A•••/-1G2广迄)U…=广goc2o-oCJnA:.C1uC2u-uCM即{G,G,…,G}是C*的一个子族并且覆盖f(A).这证明f(A)是Y的一个紧致子集.由上述定理可见,拓扑空间的紧致性是连续映射所保持的性质,因此是拓扑不变性质,也是一个可商性质.由此可见,由于实数空间R不是紧致空间,而每一个开区间都是与它同胚的,所以每一个开区间(作为子空间)都不是紧致空间.定理7.1.5紧致空间中的每一个闭子集都是紧致子集.证明设Y是紧致空间X中的一个闭子集.如果A是Y的一个覆盖,它由X中的开集构成.贝yE=是x的一个开覆盖.设B1是B的一个有限子族并且覆盖X.则Bl-{F'}便是A的一个有限子族并且覆盖Y.这证明Y是X的一个紧致子集.定理7.1.6每一个拓扑空间必定是某一个紧致空间的开子空间.证明:设(X,T)是一个拓扑空间.令为任何一个不属于X的元素.令X*二XU©}T*二TU爲U{X*}其中爲={EUX*|X*-E是拓扑空间(X,T)中的一个紧致闭集}首先验证T*是集合X*的一个拓扑.(略)其次.证明(X*,T*)是一个紧致空间:设C*是X*的一个开覆盖.则存在CeC*使得ooEC.于是cg爲,因此X*-C是紧致的,并且C*-{C}是它的一个开覆盖.于是C*-{C}有一个有限子族,设为C1,覆盖X*-C.易见C1U{C}是C*的一个有限子族,并且覆盖X*.最后,我们指出拓扑空间(X,T)是拓扑空间(X*,T*)的一个开子空间.这是因为T二厂1蛊及X是X*的一个开集.在以上定理的证明中由拓扑空间(X,T)构造出来的紧致空间(X*,T*),通常称为拓扑空间(X,T)的一点紧化.由于非紧致空间(它是存在的)是它的一点紧化的一个子空间,因此紧致性不是可遗传的性质.但由定理7.1.5可知紧致性是闭遗传的.以下定理表明紧致性是可积性质.定理7・1・7设耳禺,尤是口勿个紧致空间.则积空间皆W'化是个紧致空间.证明(略)作业:P1881.4.5.§7.2紧致性与分离性公理本节重点:掌握紧致空间中各分离性公理的关系;掌握Hausdorff空间中紧致子集的性质.在本节中我们把第六章中研究的诸分离性公理和紧致性放在一起进行考察、我们将会发现在紧致空间中分离性公理变得十分简单了.此外在本节的后半部分,我们给出从紧致空间到Hausdorff空间的连续映射的一个十分重要的性质.定理7・2・1设X是一个Hausdorff空间•如果A是X的一个不包含点xGX的紧致子集,则点x和紧致子集a分别有开邻域u和v使得unv=°•证明设A是一个紧致子集,xw百.对于每一个y^A,由于X是一个Hausdorff空间,故存在x的一个开邻域—和y的一个开邻域=集族|yWA}明显是紧致子集A的一个开覆盖,它有一个有限子族,设为{心巧"•£},覆盖A.令U==5"绻,它们分别是点x和集合A的开邻域.此外,由于对于每一个i=1,2,…,n有:口“=^1n^2n...n^“=0所以U厂芒=(Ucf)3(Uc卩小—.2(U=0推论7.2.2Hausdorff空间中的每一个紧致子集都是闭集.证明设A是Hausdorff空间X的一个紧致子集.对于任何x^X,如果x隹A,则根据定理7.2.1可见x不是A的凝聚点.因此凡A的凝聚点都在A中,从而A是一个闭集.推论7.2.2结合定理7.1.5可见:推论7.2.3在一个紧致的Hausdorff空间中,一个集合是闭集的充分必要条件是它是一个紧致子集.为了加强读者对定理7.1.5,推论7.2.2和推论7.2.3中的几个简单而常用的结论的印象,重新简明地列举如下:紧致空间:闭集=紧致子集Hausdorff空间:闭集=紧致子集紧致的hausdorff空间:闭集O紧致子集推论7・2・4每一个紧致的Haudorff空间都是正则空间.证明设A是紧致的Hausdorff空间X的一个闭子集,x是X中的一个不属于集合A的点.由于紧致空间中的闭子集是紧致的(参见定理7.1.5),所以A是一个紧致子集.又根据定理7.2.1,点x和集合A分别有开邻域U和V使得UGV二°.这就证明了X是一个正则空间.定理7.2.5设X是一个Hausdorff空间•如果A和B是X的两个无交的紧致子集,则它们分别有开邻域U和V使得UCV=°.证明设A和B是X的两个无交的紧致子集.对于任何xWA,根据定理7.2.1,点x和集合B分别有开邻域5亿刊*=0.集族严|xeA}是紧致子集A的一个开覆盖,它有一个有限子族,设为{S'®池},覆盖A.令由于对于每一个i=l,2,…,n有Sqv二°,所以UGV二0.由于Hausdorff空间的每一个闭子集都是紧致子集,所以根据定理7.2.5立即有:推论7.2.6每一个紧致的Hausdorff空间都是專的,这个结论也可以根据推论7.2.4和定理6.4.3直接推出.根据这个推论联系着表6.1并且留意到每一个紧致空间都是Lindeloff空间这一事实,我们可有图表7.1.从这个图表中可以看出,在紧致空间中分离性公理显得特别简单.图表7.1:紧致空间中的分离性公理定理7.2.7设X是一个正则空间•如果A是X中的一个紧致子集,U是A的一个开邻域,则存在A的一个开邻域V使得卩匚口.证明设A是正则空间X中的一个紧致子集,U是A的一个开邻域.对于任何xWA,点x有一个开邻域人使得匚5集族{农|xeA}是紧致子集A的一个开覆盖,它有有限子族,设为{人厲,…耳},覆盖a.令&7皿,它是A的一个开邻域,并且根据这个定理立即可见,每一个紧致的正则空间都是正规空间.然而这并不是什么新结论,因为每一个紧致空间都是Lindeloff空间,所以它明显地蕴涵于定理6.4.3中.然而紧致的正规空间可以不是正则空间.例子见于例6.2.3.在那个正规而非正则空间的例子中的拓扑空间只含有有限多个点,当然会是紧致的.定理7.2.8从紧致空间到Hausdorff空间的任何一个连续映射都是闭映射.证明设X是一个紧致空间,Y是一个Hausdorff空间,f:X-Y是一个连续映射.如果A是紧致空间X中的一个闭子集.则它是紧致的(参见定理7.1.5),因此它的象集f(A)是Hausdorff空间Y中的一个紧致子集(参见定理7.1.4),所以又是闭集(参见推论7.2.2).这证明f是一个闭映射.因为一个既单且满的开(或闭)的连续映射即是一个同胚,所以我们有:推论7・2・9从紧致空间到Hausdorff空间的任何一个既单且满的(即一一的)连续映射都是同胚.作业:P1921.2.§7.3n维欧氏空间朝中的紧致子集定义7.3.1设(X,p)是一个度量空间,AUX.如果存在实数M>0使得p(x,y)VM对于所有x,y^A成立,则称A是X的一个有界子集;如果X本身是一个有界子集,则称度量空间(X,p)是一个有界度量空间.定理7・3・1紧致度量空间是有界的.证明设(X,p)是一个紧致度量空间.由球形邻域构成的集族{B(x,1)|xWX}是X的一个开覆盖,它有一个有限子覆盖,设为{B(x1,1),B(x2,1),…,B(xn,1)}.令M=rnax{p(xi,xj)|lWi,jWn}十2如果x,y^X,则存在i,j,Ki,jWn,使得x^B(xi,l)和y^B(xj,l).于是p(x,y)Vp(x,xi)+p(xi,xj)十p(xj,y)VM

因此度量空间中的每一个紧致子集都是有界子集.特别n维欧氏空间疋的每一个紧致子集都是有界的.面作为引理给出单位闭区间[0,1]是一个紧致空间的证明.尽管读者可能早已熟知这个结论.引理7・3・2单位闭区间[0,1]是一个紧致空间.证明设A是[0,1]的一个开覆盖.令P={xG[0,l]|A有一个有限子族覆盖[0,x]}它是[0,1]的一个子集.对于集合P,我们依次证明,PH°.因为显然0ep;P是一个开集.设xep.则A有一个有限子族,设为{4地「&},覆盖[0,x].当x=1时,易见P=[0,1],它是一个开集.因此x是P的一个内点.下设xV1.这时对于某一个i0,lWi0Wn,有xe几.由于凡是[0,1]中的一个开集,所以存在实数£x+£)UP.由于[0,x+£)是[0,存在实数£x+£)UP.由于[0,x+£)是[0,1]中的一个包含x的开集,所以x是P的一个内点.以上证明了集合P中的任何一个点都是P的内点,所以它是一个开集・一个内点.P是一个闭集.设xeF=[0,1]-P.根据集合P的定义可见,[x,1]uF.另外根据⑴可见.0Vx.选取选取AeA使得xeA.由于A是一个开集,所以存在实数£>0使得(x-£,x]匸A.假如(x-£,x]GPH°,设ze(x-£,x]nP.则A有一个有限子族A1覆盖[0,z],因此A的有限子族A1U{A}覆盖[0,x],这与X$P矛盾.所以(X—£,x]np二0,即(x-£,x]uF,从而(x-£,1]UP,因此x是卩的一个内点.这证明P是一个开集,即P是一个闭集.根据上述三条,P是[0,1]中的一个既开又闭的非空子集.由于[0,1]是一个连通空间,所以P=[0,1],特别,1WP.这也就是说A有一个有限子族覆盖[0,1].以上证明了[0,1]的任何一个开覆盖有有限子覆盖,故[0,1]是一个紧致空间.任何一个闭区间[a,b](aVb),由于它和单位闭区间[0,1]同胚,所以是紧致的.并且作为紧致空间的积空间,可见n维欧氏空间疋中任何一个闭方体也切^(aVb)也是紧致空间.定理7.3.3设A是n维欧氏空间必中的一个子集.则A是一个紧致子集当且仅当A是一个有界闭集.证明设p是n维欧氏空间卅的通常度量.:如果AU0是一个紧致子集,则根据定理7.3.1,它是有界的;由于対是一个Hausdorff空间,根据推论7.2.2,它是一个闭集.“=”:设A匚卅是一个有界闭集.如果A=°,则A是紧致的.下设°.于是存在实数M>0使得对于任何x,y$A有p(x,y)VM.任意选取xOGA,并且令N=M十p(0,x0),其中0=(0,0,…,0)$芒.容易验证(根据三角不等式)A匚.因此A作为紧致空间中的一个闭子集必定是紧致的.定理7・3・4设X是一个非空的紧致空间,f:X-R是一个连续映射.则存在x0,x1GX使得对于任意xWX有f(x0)Wf(x)Wf(x1)换言之,从非空的紧致空间到实数空间R的任何一个连续映射都可以取到最大点与最小点.证明由于X紧致,故根据定理7.1.4可见f(X)是实数空间R中的一个紧致子集.由于R是一个Hausdorff空间,所以f(X)是一个闭集.设m和M分别为集合f(X)的下,上确界,则m,MGf(X).因此存在xO,xlGX使得f(xO)=m和f(xl)=M.根据上,下确界的定义立即可见,对于任何x^X有f(xO)Wf(x)Wf(xl).此外,由于m维单位球面E鮫是一个有界闭集,所以是紧致的,n维欧氏空间必不是紧致的,而紧致性又是一个拓扑不变性质,所以:定理7・3・5设m,n^Z+・则m维单位球面少与n维欧氏空间必不同胚.这是通过拓扑不变性质区分不同胚的拓扑空间的又一个例子.作业:P1961・2・§7・4几种紧致性以及其间的关系本节重点:掌握新定义的几种紧致性的定义及它们之间的关系.读者已从数学分析的学习中知道了以下命题:实数空间朗中的一个子集A如果满足以下条件(l)〜(4)中的任何一条,则满足其他的几条.A是一个有界闭集;A的每一个开覆盖都有有限子覆盖;A中的每一个无限子集都有凝聚点在A中;A中的每一个序列都有收敛的子序列收敛于A中的点.这几个条件的重要意义,读者应当早就有所体会了.不难发现这四条中以惟有(l)中涉及的概念有赖于度量,其余(2),(3)和(4)三条中所涉及的概念都只是牵连到拓扑.我们当然希望在一般的拓扑空间中还能建立条件,(3)和(4)的等价性;假如不能,讨论在何种条件下它们等价也是一件有意义的事.本节我们研究这个问题.为了研究问题时的方便,引进以下条件(5)作为讨论的中间站.A的每一个可数开覆盖都有有限子覆盖.定义7.4.1设X是一个拓扑空间•如果X的每一个可数开覆盖都有有限子覆盖,则称拓扑空间X是一个可数紧致空间.以下两个定理的证明十分容易,请读者自己补证.定理7.4.1每一个紧致空间都是可数紧致空间.定理7・4・2每一个Lindeloff的可数紧致空间都是紧致空间.定义7.4.2设X是一个拓扑空间•如果X的每一个无限子集都有凝聚点,则称拓扑空间X是一个列紧空间.定理7・4・3每一个可数紧致空间都是列紧空间.证明设X是一个可数紧致空间.为了证明它是一个列紧空间,我们只要证明它的每一个可数的无限子集都有凝聚点,现在用反证法来证明这一点.假设X有一个可数无限子集A没有凝聚点.首先这蕴涵A是一个闭集.此外对于每一个a£A,由于a不是A的凝聚点,所以存在a的一个开邻域使得SGA={a}.于是集族{U也|a£A}Up;}是X的一个开覆盖.由于X是可数紧致空间,它有一个有限子覆盖,不妨设为}由于占与A无交,所以卩小Um…口叭必定覆盖A.因此,A二円7%°"u^)nA={a1,a2,-an}是一个有限集.这是一个矛盾.定义7.4.3设{国}^+是一个由集合构成的序列,如果它满足条件:国二国+i对于每一个iGZ+成立,即同二&二则称序列凤}山是一个下降序列.在某一个拓扑空间中的一个由非空闭集构成的下降序列也叫做一个非空闭集下降序列.引理7.4.4设X是一个拓扑空间•则拓扑空间X是一个可数紧致空间当且仅当由X中任何一个非空闭集下降序列凤有非空的交,即证明设可数紧致空间X中的非空闭集下降序列迅心+使得=0于是'珂}计+是X的一个开覆盖,它有一个有限子覆盖,设为{骂"骂2,兔!}由此可得0=腔=2:■屈y=c;出.=嘔门禺呦这是一个矛盾.另一方面,设拓扑空间X中的每一个非空闭集下降序列都有非空的交•如果X不是一个可数紧致空间,则X有一个可数开覆盖,设为{…},没有有限子覆盖.对于每一个ieZ+,令

贝畀叭,比,…}也是X的一个开覆盖,没有有限子覆盖,并且满足条件:珂匚兀匚…因此呎岡厂是一个非空闭集下降序列,所以6」H迈.由此可见5/工X.也就是说{%02「}不是X的一个覆盖,这是一个矛盾.定理7・4・5每一个列紧的爲空间都是可数紧致空间证明个列紧的爲空间.如果X证明个列紧的爲空间.如果X不是个可数紧致空间,贝根据引理7.4.4,X中有一个非空闭集下降序列(骂}佃+,使得°品+骂=°在每一个骂中选取一点©,并且考虑集合A={"i兀,…}如果A是一个有限集,则必有一点xGA和一个正整数的严格递增序列n1,n2,…使得“甘心二…于是对于任何iEZ+有xG珂.这是因为,于是xGC罰+耳,这与反证假设矛盾.设A是一个无限集.由于X是一个列紧空间,所以A有一个凝聚点,设为y.由于X是一个石空间(它的每一个有限子集都是闭集),易见对于每一个iGZ+,点y也是集合召珂心羽小…}的一个凝聚点;又由于召匚耳二『亡百迈+珂.这也与反证假定矛盾.定义7.4.4设X是一个拓扑空间•如果X中的每一个序列都有一个收敛的子序列,称拓扑空间X是一个序列紧致空间.定理7・4・6每一个序列紧致空间都是可数紧致空间.证明设X是一个序列紧致空间,{%耳「}是X中的一个非空闭集下降序列.在每E呂=他內,…}—耳2,…},验心=尹.对于每一个iWZ+,'■'…已典i匚珂=7E骂=$已njeZ+骂="6詔+骂工0.根据引理7.4.4X是一个可数紧致空间.定理7.4.7每一个满足第一可数性公理的可数紧致空间都是序列紧致空间.证明设X是一个满足第一可数性公理的可数紧致空间,设{丙}山+匸用.对于每一个iez+,令鸟=任“可+1「}和骂=&.于是月“耳'…是拓扑空间X中的一个非空闭集下降序列,因此根据引理7.4.4,我们有6翻+骂工0厲施门5耳.由于X满足第一可数性公理,根据定理5.1.8,在点x处有一个可数邻域基{厲耳,…}满足条件:E二6二…=药=6egH0对于任意jez+成立.令&、=min{JEZ+|6n对于每一个i>l,令N[-JE?+丨吁EqC爲;_|+J,于是站…是一个严格递增的正整数序列•并且心已6对于每一个j(=z+成立.我们来证明序列{召}的子序列^}收敛于X:设U是x的一个邻域.存在某一个kez+,使得卩皿匚^,于是当i>k时我们有卞恥已厲匚久匚根据本节中的各个定理,我们可以得到图表7.2.根据这个表立即可以知:推论7・4・8设X是一个满足第二可数性公理的爲空间,A是X的一个子集•则下列条件等价:(1)A的每一个开覆盖都有有限子覆盖;(2)A的每一个可数开覆盖都有有限子覆盖;(3)A中的每一个序列都有子序列收敛于A中的点;(4)A中的每一个无限子集都有凝聚点在A中.特别,对于n维欧氏空间必的子集以上推论成立,并且推论中的每一个条件都等价于A是一个有界闭集.作业:P2011§7・5度量空间中的紧致,本节重点:掌握度量空间中的紧致空间、可数紧致空间、序列紧致空间、列紧空间之间的关系.由于度量空间满足第一可数性公理,同时也是爲空间,所以上一节中的讨论(参见表7・2)因此我们,一个度量空间是可数紧致空间当且仅当它是列紧空间,也当且仅当它是序列紧致空间.但由于度量空间不一定就是Lindeloff空间,因此从定理7.4.2并不能断定列紧的度量空间是否一定就是紧致空间.本节研究这个问题并给出肯定的回答.定义7.5.1设A是度量空间(X,p)中的一个非空子集.集合A的直径diam(A)定义为diam(A)二sup{p(x,y)|x,y^A}若A是有界的diam(A)二*若A是无界的定义7・5・2设(X,p)是一个度量空间,A是X的一个开覆盖•实数入>0称为开覆盖A的一个Lebesgue数,如果对于X中的任何一个子集A,只要diam(A)V入,则A包含于开覆盖A的某一个元素之中.Lebesgue数不一定存在•例如考虑实数空间R的开覆盖{(-8,l)}u{(n-1/n,n+1+1/n)|n^Z+}则任何一个正实数都不是它的Lebesgue数•(请读者自补证明・)定理7.5.1[Lebesgue数定理]序列紧致的度量空间的每一个开覆盖有一个Lebesgue数.证明设X是一个序列紧致的度量空间,A是X的一个开覆盖.假若开覆盖A没有Lebesgue数,则对于任何iGZ+,实数1/i不是A的Lebesgue数,所以X有一个子集E,使得diam(E)V1/i并且Ei不包含于A的任何元素之中.在每一个鸟之中任意选取一个点召,由于X是一个序列紧致空间,所以序列心可,…有一个收敛的子序列叽.由于a是x的一个开覆盖,故存在AeA使得y^A,并且存在实数£>0使得球形邻域B(y,£)匸A.由于g卧…F,所以存在整数M>0使得当i>M时%已险煜.令k为任意一个整数,使得k>M+2/£,则对于任何应皿有p(x,y)Wp(x,%)+p(琢,y)V£这证明%匚吕W)uAea与丑恥的选取矛盾.定理7・5・2每一个序列紧致的度量空间都是紧致空间.证明设X是一个序列紧致的度量空间,A是X的一个开覆盖.根据定理7.5.1,X的开覆盖A有一个Lebesgue数,设为入>0.令B={B(x,入/3)}.它是X的一个开覆盖.我们先来证明B有一个有限子覆盖.假设B没有有限子覆盖.任意选取一点心丘X.对于i>1,假定点心吃,…,耳1已经取定,由于3(九加觅£(心加3),…£(召」加3)}xieX,sxi毎)不是X的覆盖,选取.按照归纳原则,序列6吃,…已经取定.易见对于任何i,jwZ+,iHj,有p(召刃)>入/3.序列6可,…没有任何收敛的子序列.(因为任何ywx的球形邻域B(y,入/6)中最多只能包含这个序列中的一个点.)这与X是序列紧致空间相矛盾.现在设{回可川取月(吃謳®…月O肿⑶打是开覆盖B的一个有限子覆盖.由于其中每一个元素的直径都小于入,所以对于每一个i=l,2,…,n存在召迂卫使得B(y/3)皿.于是是A的一个子覆盖.因此,根据定理7.5.2以及前一节中的讨论可见:定理7・5・3设X是一个度量空间•则下列条件等价:X是一个紧致空间;X是一个列紧空间;X是一个序列紧致空间;X是一个可数紧致空间.我们将定理7.5.3的结论列为图表7.3以示强调紧致空间O可数紧致空「可O序列紧致空间O列紧空间作业:P2051.本章总结:(1)重点是紧致性、紧致性与分离性的关系.(2)度量空间(特别是疋、中的紧致性性质要掌握.紧致性是否是连续映射所能保持的、可积的、可遗传的?证明时牵涉到的闭集要注意是哪个空间的闭集.§7.6局部紧致空间,仿紧致空间本节重点:掌握局部紧致空间、仿紧致空间的定义•性质;掌握局部紧致空间、仿紧致空间中各分离性公理空间之间的关系;掌握局部紧致空间、仿紧致空间与紧致空间之间的关系.定义7・6・1设X是一个拓扑空间,如果X中的每一个点都有一个紧致的邻域,则称拓扑空间X是一个局部紧致空间.由定义立即可见,每一个紧致空间都是局部紧致空间,因为紧致空间本身便是它的每一个点的紧致邻域.n维欧氏空间也是局部紧致空间,因为其中的任何一个球形邻域的闭包都是紧致的.定理7.6.1每一个局部紧致的空间都是正则空间.证明设X是一个局部紧致的Hausdorff空间,设x$X,U是x的一个开邻域.令D是x的一个紧致邻域,作为Hausdorff空间X的紧致子集,D是X中的闭集.由推论7.2.4,D作为子空间是一个紧致的Hausdorff空间,所以是一个正则空间"UF是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中的开邻域V使得莎u琢uU.因此X是一个正则空间.定理7.6.2设X是一个局部紧致的正则空间,xWX,则点x的所有紧致邻域构成的集族是拓扑空间X在点x处的一个邻域基.证明设U是xeX的一个开邻域.令D为x的一个紧致邻域,则是x的一个开邻域.因为X是正则空间,所以存在x的开邻域V使得旷匚U小.闭

集旷是X的一个闭邻域,并且作为紧致空间D中的闭子集,它是紧致的.以上证明了在x的任何开邻域U中包含着某一个紧致邻域歹.从前面两个定理立即可以推出:推论7・6・3设X是一个局部紧致的Hausdorff空间,x^X・则点x的所有紧致邻域构成的集族是拓扑空间X在点x处的一个邻域基.定理7・6・4每一个局部紧致的正则空间都是完全正则空间.证明设X是一个局部紧致的正则空间.我们验证X是一个完全正则空间如下:设xeX和B是X中的一个闭集,使得沁=g是x的一个开邻域.由定理7.6.2,存在x的一个紧致闭邻域V,使得卩R・作为X的一个子空间是紧致的正则空间(正则是可遗传的),因此是完全正则的.因而存在连续映射g:Vf[0,l],使得g(x)=0,和对于任何,亡卩一卩有g(y)=l.定义映射h:呼-[0使得⑵=1.显然h是一个连续映射定义映射f:X-[0,l],使得对于任何/r

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论