第4讲 度量空间的列紧性与紧性.pdfVIP

西安电子科技大学理学院 杨有龙 《线性与非线性泛函分析》 第四节 度量空间的列紧性与紧性 4.1 度量空间的紧性 Compactness 在微积分中，闭区间上的连续函数具有最大值、最小值、一致连续等，这些性质的成立基 于一个重要的事实：R 的紧性，即有界数列必有收敛子列．但这一事实在度量空间中却未必 成立． π 2 2 例 1.4.1 设X L [−ππ, ] {f | (L )∫−π | f (x ) | dx =∞} ，对于f ,g ∈X ，定义 1 π 2 2 d ( f , g ) (∫−π | f (x) =−g (x) | dx) ， 令 {f n (x )} {sinnx } ，那么{f n (x )}是有界的发散点列． 证明 由于 1 1 π π 2 2 2 2 d ( f ,0) ( | f (x) =−0 | dx) ( (sin nx) dx) n ∫−π n ∫−π 1 1 π 2 π π 2 ⎛ 1−cos 2nx ⎞ ⎛ 1 cos 2nx ⎞ ⎛ ⎞ ⎛ ⎞ ⎛ ⎞ ⎜∫−π ⎜ ⎟dx ⎟ ⎜∫−π ⎜ ⎟dx +∫−π ⎜ ⎟dx ⎟ π 2 2 2 ⎝ ⎝ ⎠ ⎠ ⎝ ⎝ ⎠ ⎝ ⎠ ⎠ 所以 {f n (x )}为有界点列．对于任意的n, m ∈N ，有 1 π 2 1 ⎛ π ⎛ m +n n −m ⎞2 ⎞2 d f f nx =− mx dx 2 x =⋅ x dx ( n