数学分析(2): 有限覆盖定理和一致连续定理
2021/8/9 6:35:58
本文主要是介绍数学分析(2): 有限覆盖定理和一致连续定理,对大家解决编程问题具有一定的参考价值,需要的程序猿们随着小编来一起学习吧!
一致连续定理
一致连续定义
设函数 \(f(x)\) 在区间 \(I\) 上有定义,如果,\(\forall \epsilon > 0, \exist \delta >0\),使得对于在区间 \(I\) 上的任意两点 \(x_1, x_2\),当 \(|x_1 - x_2| < \delta\) 时,恒有 \(|f(x_1) - f(x_2)|<\epsilon\),则称函数 \(f(x)\) 在区间 \(I\) 上一致连续
参数 \(\delta\) 仅与 \(\epsilon\) 有关,与所选取的任意两点 \(x_1, x_2\) 无关,即 \(\delta = \delta(\epsilon)\)
连续但不一致连续
\[f(x) = \dfrac{1}{x}, ~~x>0 \]连续性:
\(\forall \epsilon > 0, \forall x > 0,\) 要 \(|\dfrac{1}{x} - \dfrac{1}{(x+\delta)}| < \epsilon\), 只需
\[\begin{cases} -\epsilon < \dfrac{\delta}{x(x+\delta)} < \epsilon & \to \dfrac{1}{x} - \epsilon < \dfrac{1}{x+\delta} < \dfrac{1}{x} + \epsilon\\ x+\delta > 0 \end{cases} \]不一致连续:
对任意 \(\epsilon, x_1, \delta\) 满足
\[\dfrac{\delta}{x_1(x_1+\delta)} < \epsilon \]只需将 \(x_1\) 取小,即可使不等式不恒成立,故不一致连续
有限覆盖
开覆盖:
设 \(S\) 为 \(R_n\) 上的点集,如果 \(R_n\) 中的一组开集 \(A={U_α:α∈A}\) 满足 \(\{~U_α\) 的并 \(\} ⊇ S\),那么称集族 \({U_α}\) 为 \(S\) 的一个开覆盖
而被覆盖区域中任意一点 \(P\) 都能找到在开覆盖中找到一个集合 \(S\) 使得 \(P∈S\)
有限覆盖定理:
设 \(H\) 是闭区间 \([a,b]\) 的一个(无限)开覆盖,则必可以从 \(H\) 中选择有限个开区间来覆盖 \([a,b]\)
有界开集反例
为了说明 \((0, 1)\) 不一定能被有限覆盖,只需要找到它的一个开覆盖,其中每个开集缺一不可
为了找到这样一个开覆盖,我们可以以这样的思路构造:其中的每个开集都有一个点只有它有,或者一段区间只有它有
\[A = \{(a_i, \dfrac{2}{\pi}\arctan i)~|~i = 1,2,..\land a_1 = 0 \land a_{i+1} = \dfrac{2}{\pi}\arctan i\} \]选 \(\dfrac{2}{\pi}\arctan\) 的原因是要找到一个单增且收敛的函数,使得随着 \(i\) 的递增,这个函数收敛到 \(1\)
通过 \(A\) 可以构造出一个集合簇 \(B\)
\[B = \{(a_i, a_{i+2})~|~i = 1, 2,..\} \]这样,因为 \(A\) 中区间两两不相交,可知点 \(a_{i+1}\) 仅仅 \(\in (a_i, a_{i+2})\),开覆盖 \(B\) 即为所求
另一个构造思路
\[B = \{(\dfrac{1}{n}, 1- \dfrac{1}{n})~|~i = 3, 4, ..\} \]这个构造更纯粹地说明了开集和闭集的区别
去掉有限个区间,还剩无穷个区间
有限覆盖定理证明
证明: 反证,设 \([a, b]\) 不能被有限覆盖
二分 \([a, b]\) 得到 \([a_1, b_1]\) 和 \([a_2, b_2]\),这两个区间至少有一个不能被有限覆盖
这样得到一个闭区间套 \(\{[a_n, b_n]\}\),最终逼近一个实数 \(c\),由开覆盖定义可知,对任意开覆盖 \(A\),必存在 \(S\in A\),使得 \(c\in S\)
\(S\) 是开集,所以 \(c\) 是 \(S\) 的一个内点,那么必存在 \(N\) 使得 \(\forall n > N, [a_n, b_n] \sub S\),于是 \([a_n, b_n]\) 被有限覆盖,矛盾
一致连续定理
闭区间上的连续函数必一致连续
教材上是用致密性定理反证,这里用有限覆盖构造 δ
若 \(f\) 在 \([a, b]\) 上连续,对于给定 \(\epsilon\), 需要求得一个 \(\delta\) 使得 \(\forall x_1, x_2\) 满足 \(x_2 - x_1 < \delta\) 且 \(x_2 > x_1\) 有
\[-\epsilon < f(x_2) - f(x_1) < \epsilon \]由于 \(f\) 在 \([a, b]\) 上连续,故 \(\forall x \in [a, b]\),存在 \(U(x, \delta_x)\) 使得 \(\forall x' \in U(x, \delta_x)\) 有
\[|f(x') - f(x)| < \dfrac{\epsilon}{2} \]故若 \(x_1, x_2 \in U(x, \delta_x)\),则
\[\begin{aligned} |f(x_1) - f(x_2)| \le& |f(x_1) - f(x)| + |f(x_2) - f(x)| \\ <& \dfrac{\epsilon}{2}+\dfrac{\epsilon}{2} = \epsilon \end{aligned} \tag{1} \]因此我们只需要保证任意的 \(x_1, x_2\) 满足题意总能落在某个点的邻域中
存在开覆盖 \(\{(x-\dfrac{\delta_x}{2}, x+ \dfrac{\delta_x}{2})~|~x\in [a, b]\}\)
由有限覆盖定理,存在子有限开覆盖 \(\{(x_k-\dfrac{\delta_{x_k}}{2}, x_k+ \dfrac{\delta_{x_k}}{2})~|~k = 1, 2, .., m\}\)
注意,这里必须要取有限开覆盖,才能取最小值 否则不一定取到一个实数,如 min({1/n})
取 \(\delta = \min(\delta_{x_k})\),接下来证明 \(x_1, x_2\) 总是能落到同一个邻域 \(U(x, 2\delta)\) 中
由开覆盖定义,存在邻域使得 \(x_1 \in U(x, \delta)\)
因为 \(|x_1 - x_2| < \delta\), 所以 \(x_2 \in U(x, 2\delta)\)
于是由 \((1)\) 可知 \(f\) 在 \([a, b]\) 上一致连续
一致连续的序列表述
\(E\) 是 \(\R\) 的子集,\(f\) 在 \(E\)上有定义,\(f\) 在 \(E\) 一致连续的充要条件是对任意满足 \(\lim (x_n - y_n) = 0\) 的序列 \(\{x_n\}\sub E\) 和 \(\{y_n\}\sub E\),都有
\[\lim (f(x_n) - f(x_y)) = 0 \]我还没看致密性原理,看完再回来看看这个
这篇关于数学分析(2): 有限覆盖定理和一致连续定理的文章就介绍到这儿,希望我们推荐的文章对大家有所帮助,也希望大家多多支持为之网!
- 2024-11-23Springboot应用的多环境打包入门
- 2024-11-23Springboot应用的生产发布入门教程
- 2024-11-23Python编程入门指南
- 2024-11-23Java创业入门:从零开始的编程之旅
- 2024-11-23Java创业入门:新手必读的Java编程与创业指南
- 2024-11-23Java对接阿里云智能语音服务入门详解
- 2024-11-23Java对接阿里云智能语音服务入门教程
- 2024-11-23JAVA对接阿里云智能语音服务入门教程
- 2024-11-23Java副业入门:初学者的简单教程
- 2024-11-23JAVA副业入门:初学者的实战指南