定理1有一个非常重要的推论,就是嵌套性。

定理2\textbf{定理2} 令FkF_k是RnR^n中非空紧集序列,对于所有k=1,2,…k=1,2,\ldots满足Fk+1⊂FkF_{k+1}\subset F_k,那么在∩∞k=1Fk\cap_{k=1}^\infty F_k中至少存在一个点。

直观上来看,集合FkF_k会越来越小,所以我们可以将其看成序列中的一个点。然而,如果FkF_k是非紧的,那么交集可能为空。

我们可以用波尔查诺-魏尔斯特拉斯定理证明它,对每个kk选取xk∈Fkx_k\in F_k,那么xkx_k有一个收敛的子序列,因为他们都位于F1F_1中,因为集合FkF_k是闭的所以极限点肯定位于所有的集合中。

有一个更加容易的证明会在附3中给出,该证明用到了定理1(ii)′\textrm{(ii)}^{'}。

例1:\textbf{例1:}对Fk=[0,1/k]⊂RF_k=[0,1/k]\subset R,验证定理2。

解:\textbf{解:}每个FkF_k是紧集并且很明显Fk+1⊂FkF_{k+1}\subset F_k,交集是{0}\{0\},它是非空的。

例2:\textbf{例2:}如果非空紧变成非空开火非空闭,那么定理2还成立吗?

解:\textbf{解:}不成立。令Fk=(k,∞)F_k=(k,\infty)或者[k,∞)[k,\infty)。

漫步数学分析十二——嵌套相关推荐

  1. 漫步线性代数十二——网络

    上篇文章举的例子是3×43\times 4矩阵,从理论角度来说它解决了我们要求的问题:计算四个子空间以及他们的维数r,n−r,r,m−rr,n-r,r,m-r都是非零的.但是这个例子并是不是由实际应用 ...

  2. 漫步最优化十二——局部极小与极大的充分必要条件(下)

    我心里有个小小的愿望,\textbf{我心里有个小小的愿望,} 就是在接下来漫长的路途中,\textbf{就是在接下来漫长的路途中,} 把我们爱的点点滴滴装进行囊.\textbf{把我们爱的点点滴滴装 ...

  3. 漫步数理统计十二——随机变量的期望

    本篇讲解期望运算,之后内容都会涉及到这种运算. 定义1:\textbf{定义1:}(期望)令XX表示一个随机变量,如果XX 是连续的随机变量,pdf为f(x)f(x)且 ∫∞−∞|x|f(x)dx&l ...

  4. 漫步数学分析十六——紧集与连集的像

    定理2\textbf{定理2} 令f:A→Rmf:A\to R^m是一个连续映射,那么 如果K⊂AK\subset A并且KK是连集,那么f(K)f(K)是连集. 如果B⊂AB\subset A并且B ...

  5. 漫步数学分析十五——连续

    连续函数有一个重要的性质,那就是当xx靠近x0x_0时,f(x)f(x)靠近f(x0)f(x_0)(如图???\ref{fig:4-1}所示).另一方面,在图2中,即使xx非常靠近x0x_0,但是f( ...

  6. 漫步数学分析十——序列

    定义7\textbf{定义7} 令xkx_k是RnR^n中的点列,如果对每个包含xx的开集UU(或者称为xx的邻域),有一个NN使得k≥Nk\geq N时xk∈Ux_k\in U,那么我们说xkx_k ...

  7. 漫步微积分十二——隐函数、分数指数

    目前我们遇到的大部分函数形式都是y=f(x)y=f(x),yy直接或明确的表示成xx的形式.然而,我们常常看到如下形式的定义 F(x,y)=0(1) \begin{equation} F(x,y)=0 ...

  8. 漫步数学分析十九——介值定理

    介值定理说明对于某区间上的连续函数,给定两个值后,可以取得两个值中间的所有值,如图1,图2中的不连续函数ff不会取值1/21/2.简单来说,该定理告诉我们不连续函数可以从一个值调到另一个值,而连续函数 ...

  9. 漫步数学分析十八——紧集上连续函数的有界性

    现在我们证明连续实值函数的一个重要性质,即有界定理.有界定理表明连续函数在紧集上是有界的并且在集合上的某些点取得最大值与最小值,准确的描述放到定理5中. 为了理解上面的结论,我们考虑非紧集上函数会发生 ...

最新文章

  1. CMakeLists.txt文件如何编写?(一 基础篇)
  2. ofdma技术_科普:何为第六代WiFi技术?你家也可以轻松实现1.6G每秒的网速
  3. 【学习笔记】7、标准数据类型—字符串
  4. 为什么 C++ 中提倡尽量避免使用宏 #define(转)
  5. 提交显示成功但是没有看到文件_如何向RTThread提交一个BSP?
  6. 克隆CentOS6虚拟机eth0被修改为eth1如何修改eth0
  7. Mysql ERROR 1418 (HY000): This function has none of DETERMINISTIC, NO SQL, or READS SQL DATA
  8. 创建用户的种类与区分
  9. Spring Cloud(5)---基于 Spring Cloud 完整的微服务架构实战
  10. SpringMVC系列(十四)Spring MVC的运行流程
  11. Linux中Docker常用命令
  12. sql exists_SQL Exists运算符–终极指南
  13. 基于品类关系,虚拟类目如何建设?
  14. 在.net中使用GAC
  15. visual studio发布网站的时候水晶报表rpt格式文件不是最新的解决
  16. python columns函数_pandas 对 column 使用函数
  17. Error:(3, 50) java: 程序包com.n.c.caa.cds.commons.constants不存在
  18. mysql和oracle面试题_【SQL 面试题2】Mysql 和Oracle数据库
  19. 程序员如何快速上手一个自己不太熟悉的新项目
  20. h5打开麦克风权限录音_微信H5录音实现

热门文章

  1. http://ftp.gnu.org/gnu/ http://ftp.gnu.org/gnu/libc/
  2. ASP.NET伪静态 UrlRewrite(Url重写) 实现和配置
  3. crc循环校验原理和实现
  4. 解决ppt里面添加flash后在其他电脑上不能播放的问题
  5. 初学UML,画了几个UML图
  6. 《老子》中国古代先秦诸子百家经典欣赏
  7. 使用 Web Workers
  8. 当async/await遇上forEach
  9. C语言,功能一、利用一维数组和选择法对成绩高低排序,功能二、输出对应的学号,功能三、查找对应学生成绩
  10. vue data变量之间相互赋值或进行数据联动