3.3紧集与有限维赋范线性空间.docxVIP

PAGE PAGE # 3.3 紧集与有限维赋范线性空间 3.3.1致密集的概念 实数直线上的 Bolzano-Weierstrass 致密性定理 （compactness theorem）: 任一有界数歹U 必有收敛子列。 定义3.3.1 设（X,讨是度量空间， A X ?若在A中的任何点列必有在 X中收敛的子点 列，则称A是（X中的）致密集。 若X自身是致密集，则称 X是致密空间。 性质1有限点集是致密集。 注点集和点列不一样，点列是取点集中的元素构成的， 其各项可以重复，但点集中的元素 却不能一样。因此，由于有限点集中的元素有限， 所以要想构成点列， 必然有同一个元素无 数次重复，这样，这些重复的元素构成的子点列必然收敛。 性质2有限个致密集的并是致密集。 m 证 设A，A，…，Am是度量空间（X,「）的致密集，往证 A二 Ak也是（X, 的致密集。 kA 任取一点列｛Xn｝ A，则存在A （仁-m） ,｛人｝有无限多项属于 A，记其为｛Xnk｝, 即｛Xnk｝ A. 而A是致密的，所以必有在 X中收敛的子点列｛xn ｝，使得 kh Xnk 》X X （h—；：）, kh 即｛Xn｝在X中收敛的子点列｛Xnk ｝，故A也是（X, ■■）的致密集。证毕！ k h 性质3致密集的任何子集是致密集。因此，任何一族致密集的交是致密集。 证只要证明“致密集的任何子集是致密集”即可，而“任何一族致密集的交是致密集 ” 则是前者的直接推论。 设A是度量空间（X, ?的致密集，B是A的任一子集。 任取一点列｛Xn｝ B，因为B A，所以｛Xn｝ A. 而A是致密的，因此点列｛Xn｝必有在X中收敛的子点列｛Xnk｝，使得 Xn「X X （k —）, 故B也是致密的。证毕！ 性质4 致密集的闭包是致密集。 证 设（X,门是度量空间， A X是致密集，往证 A的闭包 A = A A 也是致密集。 TOC \o 1-5 \h \z 任取一点列｛xn｝ A = A A，则对每个n ,存在yn?A （进而得一点列｛yn｝ A）, 使得 r 1 \o Current Document :（Xn,yn） . n 因为A是致密的，所以点列｛yn｝必有在X中收敛的子点列｛ynk｝，使得 ynk—； y X （k—；即 T（ynK,y）? 0 （—； ：?） 于是由三点不等式得 1 （Xn- y）空（Xn-ynk） ，（ynk，y） （ynk，y） 0 （k—； rk 即：点列｛Xn｝必有在X中收敛的子点列｛Xnk｝，使得 Xnk r X （k 宀）? 由定义3.3.1知：A的闭包A也是致密集。 证毕！ 性质5致密集中的基本点列必然收敛。因此，致密的度量空间是完备的。 证 设（X, 是度量空间，A X是致密集。 若｛Xn｝是A中的基本点列，则由 A的致密性得：点列｛Xn｝必有在X中收敛的子点列 ｛ Xnk｝，使得 Xnk》X X （k 宀）. 于是 Xn-； X （n -:）. 证毕！ 3?3?2紧集 定义3.3.2 （紧集）称度量空间中的致密闭集为 紧集（Compact Set）。 注 显然，A是紧集的充要条件是： A中任一点列必有收敛的子点列收敛于 A中的一点。 对于全空间来说，致密的概念和紧集的概念没有区别， 致密的度量空间又称为 紧（度量） 空间。 性质 度量空间（X,讨中的紧集A看成X的子空间时是完备的。 定理3.3.1 （Gross）设A是度量空间（X,门中的紧集，K是X中的一族开集。若K覆盖A : A B , B.. K 则必有K中的有限个开集B1,B2- ,Bn覆盖A: n A Bi . i 4 注 这个定理也称为有限覆盖定理，它的逆命题也成立。 定理3.3.2 设A是度量空间（X,讨中的点集，若 X中每个覆盖 A的开集族中必有有限个 开集覆盖A，则A是紧集。 证（自证！） 根据定理3.3.1和定理3.3.2，我们可以给出度量空间中紧集的另一个定义： 定义3.3.3 （紧集）设A是度量空间（X,讨中的子集，若X中每个覆盖A的开集族中必有 有限个开集覆盖 A，则称A是紧集。 3.3.3紧集上的连续映射 我们现在把闭区间上的连续函数的基本性质拓广到度量空间的紧集上。 定理3.3.3 设A是度量空间（X,门中的紧集，f是A上的连续映射，则A的象B二f（A） 也是紧集。 证（自证！） 推论1度量空间上的连续映射必然把致密集映射成致密集。 推论2 度量空间中的紧集 A上的连续函数f必然有界，而且上、下确界可以达到。 推论3 紧集上的一对一的连续映射必是同胚映射。 证 设f是紧集A到B上的一对一的连续映射，往证逆映射 f 4也是连续的。 In fact,只要证明f的逆映射f将A的任意闭子集 E映射成闭集即可。 因为A是紧集，所以 A的