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

  定义7.3.1 设(X,ρ)是一个度量空间,AX.如果存在实数M>0使得ρ(x,y)<M对于所有x,y∈A成立,则称A是X的一个有界子集;如果X本身是一个有界子集,则称度量空间(X,ρ)是一个有界度量空间.

  定理7.3.1 紧致度量空间是有界的.

  证明 设(X,ρ)是一个紧致度量空间.由球形邻域构成的集族{B(x,1)|x∈X}是X的一个开覆盖,它有一个有限子覆盖,设为{B(x1,1),B(x2,1),…,B(xn,1)}.令

   M=rnax{ρ(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

  因此度量空间中的每一个紧致子集都是有界子集.特别n维欧氏空间的每一个紧致子集都是有界的.

  下面作为引理给出单位闭区间[0,1]是一个紧致空间的证明.尽管读者可能早已熟知这个结论.

  引理7.3.2 单位闭区间[0,1]是一个紧致空间.

  证明 设A是[0,1]的一个开覆盖.令

  P={x∈[0,l]|A有一个有限子族覆盖[0,x]}

  它是[0,1]的一个子集.对于集合P,我们依次证明,

  (l)P.因为显然0∈P;

  (2)P是一个开集.

  设x∈P.则A有一个有限子族,设为{ },覆盖[0,x].当x=1时,易见P=[0,l],它是一个开集.因此x是P的一个内点.下设x<1.这时对于某一个i0,1≤i0≤n,有x∈.由于是[0,1]中的一个开集,所以存在实数ε>0使得[x,x+ε).于是[0,x+ε)..这蕴涵[0,x+ε)P.由于[0,x+ε)是[0,1]中的一个包含x的开集,所以x是P的一个内点.以上证明了集合P中的任何一个点都是P的内点,所以它是一个开集.

  (3)P是一个闭集.

  设x∈=[0,1]-P.根据集合P的定义可见,[x,1].另外根据(1)可见.0<x.选取选取A∈A使得x∈A.由于A是一个开集,所以存在实数ε>0使得(x-ε,x]A.假如(x-ε,x]∩P≠,设z∈(x-ε,x]∩P.则A有一个有限子族A1覆盖[0,z],因此A的有限子族A1∪{A}覆盖[0,x],这与xP矛盾.所以(x-ε,x]∩P=,即(x-ε,x],从而(x-ε,1],因此x是的一个内点.这证明是一个开集,即P是一个闭集.

  根据上述三条,P是[0,l]中的一个既开又闭的非空子集.由于[0,1]是一个连通空间,所以P=[0,1],特别,1∈P.这也就是说A有一个有限子族覆盖[0,1].以上证明了[0,1]的任何一个开覆盖有有限子覆盖,故[0,1]是一个紧致空间.

  任何一个闭区间[a,b](a<b),由于它和单位闭区间[0,1]同胚,所以是紧致的.并且作为紧致空间的积空间,可见n维欧氏空间中任何一个闭方体(a<b)也是紧致空间.

  定理7.3.3 设A是n维欧氏空间中的一个子集.则A是一个紧致子集当且仅当A是一个有界闭集.

  证明 设ρ是n维欧氏空间的通常度量.

  “”:如果A是一个紧致子集,则根据定理7.3.1,它是有界的;由于是一个Hausdorff空间,根据推论7.2.2,它是一个闭集.

  “”:设A是一个有界闭集.如果A=,则A是紧致的.下设A.于是存在实数M>0使得对于任何x,y∈A有ρ(x,y)<M.任意选取x0∈A,并且令N=M十ρ(0,x0),其中0=(0,0,…,0)∈.容易验证(根据三角不等式)A.因此A作为紧致空间中的一个闭子集必定是紧致的.

  定理7.3.4 设X是一个非空的紧致空间,f:X→R是一个连续映射.则存在x0,x1∈X使得对于任意x∈X有

   f(x0)≤f(x)≤f(x1)

换言之,从非空的紧致空间到实数空间R的任何一个连续映射都可以取到最大点与最小点.

  证明 由于X紧致,故根据定理7.1.4可见f(X)是实数空间R中的一个紧致子集.由于R是一个Hausdorff空间,所以f(X)是一个闭集.设m和M分别为集合f(X)的下,上确界,则m,M∈f(X).因此存在x0,x1∈X使得f(x0)=m和f(x1)=M.根据上,下确界的定义立即可见,对于任何x∈X有f(x0)≤f(x)≤f(x1).

  此外,由于m维单位球面是一个有界闭集,所以是紧致的,n维欧氏空间不是紧致的,而紧致性又是一个拓扑不变性质,所以:

  定理7.3.5 设m,n∈Z+.则m维单位球面与n维欧氏空间不同胚.

  这是通过拓扑不变性质区分不同胚的拓扑空间的又一个例子.

§7.3 n维欧氏空间中的紧致子集相关推荐

  1. n维欧氏空间里的基本概念和符号

    n维欧氏空间里的基本概念和符号 一.欧氏空间的定义 设 V 是实数域 R 上的线性空间,对 V 中任意两个向量 α . β ,定义一个二元实函数,记作( α . β ) , 若( α . β ) 设V ...

  2. 两个空间(N维欧氏空间、Lebesgue空间)的Holder不等式

    Holder不等式是范数理论中重要的不等式,表述如下: ∥ x y ∥ 1 ≤ ∥ x ∥ p ∥ y ∥ q , where  p > 0 , q > 0 , and   1 p + 1 ...

  3. 剑指offer:面试题04. 二维数组中的查找

    题目:二维数组中的查找 在一个 n * m 的二维数组中,每一行都按照从左到右递增的顺序排序,每一列都按照从上到下递增的顺序排序.请完成一个函数,输入这样的一个二维数组和一个整数,判断数组中是否含有该 ...

  4. php查找二维数组下标,PHP实现二维数组中的查找算法小结

    本文实例讲述了PHP实现二维数组中的查找算法.分享给大家供大家参考,具体如下: 方法1:silu从左下角最后一行的第一个元素开始,遍历.如果小于target 则遍历该行的所有元素,找到结束.如果大于继 ...

  5. 求二维数组中最大子数组的和

    任国庆  张博 之前我们讨论了在一维数组中求最大子数组的和,在此基础上我们开始讨论二维数组的最大子数组. 求二维数组的最大子数组思想是建立在以为数组.首先将数组的第一列看成一个一维数组,找到该列的最大 ...

  6. 剑指offer_第1题_二维数组中的查找

    题目描述 在一个二维数组中(每个一维数组的长度相同) 每一行都按照从左到右递增的顺序排序 每一列都按照从上到下递增的顺序排序. 请完成一个函数,输入这样的一个二维数组和一个整数,判断数组中是否含有该整 ...

  7. 数组-二维数组中的查找

    题意: 在一个 n * m 的二维数组中,每一行都按照从左到右递增的顺序排序,每一列都按照从上到下递增的顺序排序.请完成一个函数,输入这样的一个二维数组和一个整数,判断数组中是否含有该整数. 示例: ...

  8. VC++中从txt文本中读取数据并且存到二维数组中

    这几天因为在做作业,所以不仅会想到这一类有关的问题.现在我需要实现的是讲txt文件的数据读取出来并且存储到一个二维数组中.,首先为了对待什么样的矩阵我们都可以读取,我们就要设置一个动态的矩阵,这样当我 ...

  9. 智能,万亿维空间中的求解

    作者:Terry J. Sejnowski 编译:贾伟.梦佳 1884年,Edwin Abbott 在讽刺小说<平面国>中描述了这样一个世界,这个国家生活在一个二维世界中,平面国的人们只能 ...

最新文章

  1. “寒冬”下的金三银四跳槽季来了,帮你客观分析一下局面
  2. python难度大的题_早看少被坑!Python 最难的问题
  3. red hat linux5 u盘安装,RHEL5安装,Red Hat Enterprise Linux 5安装文档
  4. 使用Classycle验证类/包依赖关系
  5. linux emule 编译 wx-config --libs,LeezPi-RK3399_Android9编译说明
  6. tslib编译使用方法
  7. 1.Web前端之CSS3中3D立方体以及3D轮播图
  8. NLP --- 隐马尔可夫HMM(极大释似然估计详解)
  9. C++笔记---函数声明(prototype)
  10. opencv4 车牌识别 C++ vs2019
  11. Matlab实现图像高斯滤波(公开代码)
  12. 二级域名映射服务器,如何进行二级域名解析做端口映射?
  13. oracle dbf文件是什么,.ora文件、.dbf文件和.dat文件的区别
  14. 官方rom提取原签名工具_从安卓官方版ROM中提取你喜欢的软件(单独安装包)
  15. linux安装启动openoffice和swftools
  16. html中span怎么写,html的span标签怎么使用
  17. 每日数学-三角变换恒等式
  18. Silver-Slides Chapter 1 - 强化学习入门:基本概念介绍
  19. Gnuplot 绘图
  20. 谷歌搜索结果在新标签页中打开

热门文章

  1. vista开机出现explorer停止工作有感
  2. 分发饼干Python解法
  3. 考研国家线预测,22分数线会上涨吗?
  4. Trunk的封装协议详解
  5. Java 逆向工程
  6. 数理统计----协方差公式推导
  7. 2021年中国人民大学人大802经济学考研经验总结以及真题和答案等资料
  8. 如何将自身的商标从“知产”转变为“资产”?
  9. 3D LUT Creator 软件+教程
  10. 增强IE让IE具有Maxthon的功能(转)