连续与一致连续:δ 能否对所有点通用

从量词顺序理解两个定义,用平方函数说明区间条件为什么重要。

先在一个点附近观察

设 f:D→Rf:D\to\mathbb{R},且 a∈Da\in D。函数在 aa 连续,是说对每个 ε>0\varepsilon>0,都能找到 δ>0\delta>0,使所有满足 x∈Dx\in D 且 ∣x−a∣<δ|x-a|<\delta 的点都有

∣f(x)−f(a)∣<ε.|f(x)-f(a)|<\varepsilon.

这里先固定了观察点 aa,所以 δ\delta 可以随 aa 改变。靠近不同的位置,需要用不同的放大倍数,并不妨碍函数处处连续。

一致连续改变了量词顺序

一致连续要求:对每个 ε>0\varepsilon>0,存在同一个 δ>0\delta>0,对任意 x,y∈Dx,y\in D 都有

∣x−y∣<δ⟹∣f(x)−f(y)∣<ε.|x-y|<\delta\quad\Longrightarrow\quad |f(x)-f(y)|<\varepsilon.

此时 δ\delta 只能依赖于误差要求,不能在看到 x,yx,y 之后重新挑选。定义看起来只少写了一个点,实际却要求整个定义域服从同一套尺度。

平方函数给出的反例

函数 f(x)=x2f(x)=x^2 在实数轴上处处连续,却不一致连续。取

xn=n,yn=n+1n.x_n=n,\qquad y_n=n+\frac1n.

两点的距离为 1/n→01/n\to0,但函数值之差为

∣f(yn)−f(xn)∣=2+1n2>2.|f(y_n)-f(x_n)|=2+\frac1{n^2}>2.

例如固定 ε=1\varepsilon=1,无论给出多小的 δ\delta,总能取足够大的 nn,使自变量距离小于 δ\delta,而函数值仍相差超过 11。这正好否定了一致连续的定义。

限定区间之后会怎样

在 [−R,R][-R,R] 上,若 R>0R>0,则

∣x2−y2∣=∣x−y∣∣x+y∣≤2R∣x−y∣.|x^2-y^2|=|x-y||x+y|\le2R|x-y|.

取 δ=ε/(2R)\delta=\varepsilon/(2R) 即可得到一致连续性。更一般地,紧集上的连续函数一定一致连续。这个结论说明,判断连续性质时,函数表达式与定义域必须一起看;换了定义域,答案也可能改变。

这是一篇用于展示网站功能的示例,可替换为自己的学习笔记或真实项目记录。