闭区间上的连续函数必定是一致连续的
2013-02-06 01:21
204 查看
设$[a,b]$是$\mathbf{R}$上的闭区间,且$f(x)$是$[a,b]$上的连续函数,则$f(x)$在$[a,b]$上一致连续.
证明:反证法.假设$f(x)$在$[a,b]$上不是一致连续的,则必定存在这么两个序列,其中$$a_1,a_2,\cdots,a_n,\cdots$$是$[a,b]$中的一个序列,$$b_1,b_2,\cdots,b_n,\cdots$$是$[a,b]$中的另一个序列,且\begin{equation}\label{eq:11}\lim_{n\to\infty}(a_n-b_n)=0,\end{equation}但是$\forall i\in \mathbf{N}$,都有\begin{equation}\label{eq:111}|f(a_i)-f(b_i)|\geq t.\end{equation}其中$t$是一个正的常数.根据Bolzano-Weierstrass定理,序列$(a_n)_{n=1}^{\infty}$必有收敛子列$$a_{t_1},a_{t_2},\cdots$$设收敛到$p$,同理,序列$(b_n)_{n=1}^{\infty}$必定也有收敛子列$$b_{l_1},b_{l_2},\cdots$$由\ref{eq:11}可得也收敛到$p$.由于$[a,b]$是闭集,因此$p\in [a,b]$.由于$f(x)$在$[a,b]$上连续,因此可得$$\lim_{n\to\infty}|f(a_{t_n})-f(b_{l_n})|=0$$,这与\ref{eq:111}矛盾.可见,假设错误,即$f(x)$在$[a,b]$上一致连续.
相关文章推荐
- 闭区间上的连续函数必定是一致连续的
- 陶哲轩实分析 定理 13.3.5 :紧致度量空间上的连续函数一致连续
- 陶哲轩实分析 定理 13.3.5 :紧致度量空间上的连续函数一致连续
- SPOJ GSS1 Can you answer these queries I (线段树求区间最大连续和)
- 51nod 1094 和为k的连续区间 map优化
- C#连续区间最大和求解
- 最大子数组(最大连续区间和)问题
- 51nod 1393 0和1相等串 (连续区间)
- 数组中最长的区间,满足该区间内的数排序后是连续的。
- Function---hdu5875(大连网选,区间连续求余)
- 51Nod 1094 和为k的连续区间 map
- 分治法对最大连续和以及归并排序,分治与递归实质把问题区间区域分割成几个小区间或者小分区,一直下钻到一个元素小区解决问题
- HDU 1540 Tunnel Warfare 【线段树--最大连续区间】
- HDU 4745 Two Rabbits(区间DP,最长非连续回文子串)
- leetcode : 327. Count of Range Sum : 连续和在指定区间内
- 最大连续区间和的算法总结
- 51nod-1094 和为k的连续区间
- HDU 1540 Tunnel Warfare(线段树,去最大连续区间)
- POJ 题目2892 Tunnel Warfare(线段树单点更新查询,求单点所在最大连续区间长度)
- poj3258 二分(连续区间求和)