§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. R learning 十八讲 0018-R语言绘图基础
  2. 几种开源分词工具的比較
  3. java元婴期(27)----java进阶(springmvc(1)---springmvc框架入门程序(上)(不基于注解开发))
  4. 网易云信亮相WOT, 打造“IM+连麦互动直播”云服务
  5. MOS和三极管不同接法对应的性能比较
  6. 在hadoop/hbase等代码中kinit
  7. mysql的indata文件_【数据分析】MySQL之不能导入本地文件“Loading local data is disable;”...
  8. 游戏详细设计说明书_宜家的说明书设计脑洞太大了!
  9. Codeforces Round #480 (Div. 2) B. Marlin
  10. jQuery-瀑布流-绝对定位布局(二)(延迟AJAX加载图片)
  11. 护考人机对话用计算机吗,2018护士执业资格考试人机对话怎么考 有什么注意事项...
  12. 守卫数据中心命门的胡桃夹子-特权账号管理平台
  13. widnows监控linux 内存,在windows下监控linux的cpu和内存
  14. 秀米svg点击显示另一张图_SVG的雷,你踩过了没?
  15. 陈丹琦团队最新论文:受GPT-3启发,用小样本学习给语言模型做微调,性能最高提升30%...
  16. java fastjson 格式化_json的格式化展示(基于 fastjson)
  17. 现代计算机专业版官网,现代计算机期刊_投稿邮箱_杂志_编辑部_审稿_投稿须知...
  18. 视频教程-Java8零基础入门视频教程-Java
  19. Gem5模拟器,详解官网教程Debugging gem5(四)
  20. 必应搜索引擎怎么了?

热门文章

  1. 跨境电商亚马逊如何从根本上杜绝被跟卖的现象
  2. 机器学习二:支持向量机
  3. 中国人上班路上花费时间世界第一:我是“挤班族”
  4. 数学建模——整数规划
  5. 西工大NOJ数据结构实验——实验 2.4稀疏矩阵的乘法
  6. 设计实用的RESTful API的最佳实践
  7. Web前端可以做什么岗位?
  8. nodejs的安装和配置,自定义仓库
  9. Java键盘输入类Scanner使用详解
  10. python面向对象程序设计