《点集拓扑讲义》第七章紧致性学习笔记.docxVIP

  • 38
  • 0
  • 约1.43万字
  • 约 26页
  • 2021-02-03 发布于天津
  • 举报

《点集拓扑讲义》第七章紧致性学习笔记.docx

第7章紧致性 § 7.1 紧致空间 本节重点: (这些方法哪些掌握紧致子集的定义及判断一个子集是紧致子集的方法. (这些方法哪些 是充要条件); 掌握紧致性是否是连续映射可保留的,是否是可遗传的、有限可积的. 在§ 5.3中,我们用关于开覆盖和子覆盖的术语刻画了一类拓扑空间,即 Lin deloff 空间.现在来仿照这种做法,即将 Lin deloff 空间定义中的“可数 子覆盖”换成“有限子覆盖”,以定义紧致空间?读者在数学分析中早已见过 的Heine — Borel定理断言:实数空间R的任何一个子集为有界闭集的充分必 要条件是它的每一个开覆盖都有一个有限子覆盖.(在§ 7.3中我们将要推广 这个定理.)因此我们现在作的事也应当在意料之中. 定义7.1.1 设X是一个拓扑空间.如果X的每一个开覆盖有一个有限子 覆盖,则称拓扑空间X是一个紧致空间. 明显地,每一个紧致空间都是Lin deloff 空间.但反之不然,例如包含着 无限但可数个点的离散空间是一个 Lin deloff 空间,但它不是一个紧致空间. 例7.1.1 实数空间R不是一个紧致空间.这是因为如果我们设 A={ ( — n, n) — R|b€ Z+},贝U A的任何一个有限子族 {(F冷)右诃2)厂-},由于它的并为 (-max{ :【」; },max{S.5}) 所以不是R的一个子覆盖?因此R的开覆盖A没有任何一个有限子覆盖. 定义7.1.2 设X是一个拓扑空间,丫是X中的一个子集,如果丫作为X的 子空间是一个紧致空间,则称 丫是拓扑空间X的一个紧致子集. 根据定义,拓扑空间X中的一个子集丫是X的紧致子集意味着每一个由子 空间丫中的开集构成的丫的开覆盖有一个有限子覆盖,这并不明显地意味着由 X中的开集构成的每一个丫的覆盖都有有限子覆盖?所以陈述以下定理是必要 的. 定理7.1.1 设X是一个拓扑空间,丫是X中的一个子集.则丫是X的一 个紧致子集当且仅当每一个由X中的开集构成的丫的覆盖都有有限子覆盖.(此 定理表明开覆盖中的开子集可以是 X的,也可以是丫的) 证明 必要性设丫是拓扑空间X中的一个紧致子集,A是丫的一个覆盖,它 由X中的开集构成.则容易验证集族 A} 也是丫的一个覆盖,它 由丫中的开集构成.因此A有一个有限子覆盖,设为 {匚 」「一 - ■ ■■亠},于是A的有限子族---- 比 覆盖Y. 充分性,假定每一个由X的开集构成的丫的覆盖都有一个有限子覆盖.设 A是丫的一个覆盖,它由丫中的开集构成.则对于每一个A€ A存在X中的一个 开集使得a=」n丫?因此「 A}是由X中的开集构成的丫的一个 覆盖,所以有一个有限子覆盖,设为 此时易见A的子族{ 4-4 4 }覆盖丫.这证明丫是X的一个紧致子集. F面介绍关于紧致性的一个等价说法. 定义7.1.3 设A是一个集族.如果A的每一个有限子族都有非空的交(即 如果4是A的一个有限子族,则 7」),则称A是一个具有有限交性 质的集族. 定理7.1.2 设X是一个拓扑空间.则X是一个紧致空间当且仅当 X中的 每一个具有有限交性质的闭集族都有非空的交. 证明 ^J:设X是一个紧致空间?用反证法?设 F是X中的一个具有有 限交性质的闭集族?设Fm二?如果 I1:/ - _ ,则令 A={ ? € F} ?由于 所以A是X的一个开覆盖.于是A有一个有限子覆盖,设为.从 而 G nCa q …nC, = ? u Q 匕…uCj-T = 0 这说明F不具有有限交性质?矛盾. “;”,设X中的每一个具有有限交性质的闭集族都有非空的交?为证 明X是一个紧致空间,设A是X的一个开覆盖?我们需要证明 A有一个有限子 覆盖?如果a=」,贝一」,这蕴涵以及A的每一个子族都是X的 覆盖?以下假定AmJ ?此时F={^ |A € A}便是X中的一个非空闭集族,并且 弘工心小(九显) 因此,它不具有有限交性质.也就是说,它有一个有限子族其交为空集.设 F的这个有限子族为{〔I ;},贝U 厂_二是x的一个有限子覆盖. 如果B是紧致空间X的一个基,那么由B中的元素构成的X的一个覆盖当 然是一个开覆盖,因此有有限子覆盖?下述定理指出,为验证拓扑空间的紧致 性,只要验证由它的某一个基中的元素组成的覆盖有有限子覆盖. 定理7.1.3 设B*是拓扑空间X的一个基,并且X的由B*中的元素构成 的每一个覆盖有一个有限子覆盖?则 X是一个紧致空间. 证明 A* 设是X的一个开覆盖?对于每一个 A€ A*存在B*的一个子族 二’使得 A趴B 令由于 故二是一个由B*的元素构成的X的一个覆盖,所以有一个有限子覆 盖,设为 -r:,-- -■,对于每一个一 ,i=1,2,, , n , :Bi 6■苹 € 舲 A E B J 二瓦匚 4 于是对于A*的有限

文档评论(0)

1亿VIP精品文档

相关文档