关于在某点未定义的函数是否具备一致连续性的技术问询
嘿,这个问题提得很到位,咱们来一步步把它捋清楚!首先得明确:一致连续性的判断是针对函数的整个定义域来的,这里你的函数定义域是 $(-\infty,1)\cup(1,+\infty)$,对吧?
先拆解函数的两个分支来看:
- 当 $x>1$ 时,$f(x)=2+2x$ 是斜率为2的线性函数,在 $(1,+\infty)$ 上本身是一致连续的(线性函数在任何区间上都是Lipschitz连续的,自然满足一致连续的要求);
- 当 $x<1$ 时,$f(x)=-2+2x$ 同样是斜率为2的线性函数,在 $(-\infty,1)$ 上也具备一致连续性。
但问题出在两个区间的衔接处——x=1附近。咱们用一致连续的核心定义来验证:一致连续要求,不管你给出多小的正数 $\varepsilon$,总能找到一个对应的 $\delta>0$,只要定义域内的两个点 $x_1,x_2$ 满足 $|x_1-x_2|<\delta$,就一定有 $|f(x_1)-f(x_2)|<\varepsilon$。
咱们拿 $\varepsilon=1$ 来测试一下:不管你选的 $\delta$ 有多小,我都能找到两个点:$x_1=1-\frac{\delta}{2}$(属于左边区间),$x_2=1+\frac{\delta}{2}$(属于右边区间)。这时候 $|x_1-x_2|=\delta$,完全满足“自变量距离小于等于δ”的条件,但计算函数值的差:
$$
|f(x_1)-f(x_2)| = |(-2+2(1-\frac{\delta}{2})) - (2+2(1+\frac{\delta}{2}))| = |(-\delta) - (4+\delta)| = 4+2\delta
$$
这个结果明显大于1(毕竟δ是正数),也就是说,不管你选的δ多小,总能找到这样一对点——它们的自变量距离符合要求,但函数值的差却超过了咱们设定的ε=1。这就直接违反了一致连续的定义。
所以最终结论是:这个在x=1处未定义的分段函数,在它的整个定义域上不是一致连续的。
备注:内容来源于stack exchange,提问作者Eccentric Tuber

