7.3n维欧氏空间中的紧致子集.pptVIP

* 1.定义7.3.1 设（X，ρ）是一个度量空间，A　X．如果存在实数M＞0使得 ρ(x，y)＜M对于所有x，y∈A成立，则称A是X的一个有界子集；如果X本身是一个有界子集，则称度量空间（X，ρ）是一个有界度量空间． §7.3 n维欧氏空间Rn中的紧致子集 令M＝max{ρ(xi，xj）| 1≤i，j≤n}+2 如果 x，y∈ X，则存在 i，j， 1≤i，j≤n，使得 x ∈ B（xi， l）和 y∈B（xj，l）．于是 　　ρ（x，y）＜ρ（x，xi）+ρ（xi，xj）+ρ（xj，y）＜M 2.定理7.3.1 紧致度量空间是有界的. 证明　设（X，ρ）是一个紧致度量空间．由球形邻域构成的集族{B（x，1）| x∈X}是X的一个开覆盖，它有一个有限子覆盖，设为 {B（x1，1），B（x2，1），…，B（xn，1）}． 　　因此度量空间中的每一个紧致子集都是有界子集．特别n维欧氏空间　的每一个紧致子集都是有界的． 引理 7.3.2 单位闭区间 [0,1] 是一个紧致空间． 证明：（略） 3.定理7.3.3 设A是n维欧氏空间 中的一个子集．则A是一个紧致子集当且仅当A是一个有界闭集． 任何一个闭区间[a，b]（a＜b），由于它和单位 闭区间［0，1］同胚，所以是紧致的．并且作为 紧致空间 的积空间，可见n维欧氏空间 中任何 一个闭方体 （a＜b）也是紧致空间． 证明 设ρ是n维欧氏空间 的通常度量． “　　”: 如果A　　是一个紧致子集， 由于　是一个 Hausdorff空间，根据推论 7.2.2，它是一个闭集． 则根据定理7.3.1，它是有界的； “　　”: 设A　　是一个有界闭集．如果A=　，则A是紧致的．下设A　　． 容易验证（根据三角不等式）A　　　　　． 因此A作为紧致空间　　　　中的一个闭子集 必定是紧致的． 定理7.3.4 设X是一个非空的紧致空间，f: X→R是一个连续映射．则存在x0，x1∈X使得对于任意x∈X有 　　　　f（x0）≤f (x) ≤f (x1) . 证明 由于X紧致，故根据定理7.1.4可见 f（X）是实数空间R中的一个紧致子集． 因此存在x0，x1∈X使得f(x0)＝m和f(x1)=M． 由于R是一个Hausdorff空间，所以f (X)是一个闭集． 设m和M分别为集合f（X）的下，上确界，则m，M ∈f(X)． 根据上，下确界的定义立即可见，对于任何x∈X有 f（x0）≤f (x) ≤ f (x1).