用ε-δ连续性定义证明分段函数f在x=3处不连续

没问题，咱们一步步把这个ε-δ证明补全，把逻辑理得明明白白：

首先先明确目标函数的定义：

f(x) = \begin{cases} 
x+1 &\mbox{if } x \le 3 \\
2 &\mbox{if } x > 3 
\end{cases}

第一步：计算$f(3)$的值 #

因为$3 \le 3$，代入分段函数的第一分支可得：
$f(3) = 3 + 1 = 4$

第二步：回顾不连续的等价ε-δ表述 #

函数$f$在$x=3$处不连续，等价于：

$\exists\epsilon > 0, \forall\delta > 0, \exists x ,,\mbox{such that} ,,|x-3| < \delta ,,\mbox{and},, |f(x) - f(3)| > \epsilon$

你已经选好了$\epsilon=0.5$，这是个非常恰当的取值，接下来咱们完成后续推导：

第三步：对任意$\delta>0$，构造满足条件的$x$ #

对任意给定的$\delta>0$，我们选取 $x = 3 + \frac{\delta}{2}$：

• 首先，$x = 3 + \frac{\delta}{2} > 3$，符合分段函数第二分支的定义域；
• 其次，$|x - 3| = \left|3 + \frac{\delta}{2} - 3\right| = \frac{\delta}{2} < \delta$，满足$|x-3|<\delta$的要求。

第四步：计算$|f(x)-f(3)|$并验证不等式 #

因为$x>3$，所以$f(x)=2$，代入计算得：

|f(x) - f(3)| = |2 - 4| = 2

对比我们选定的$\epsilon=0.5$，显然$2 > 0.5$，也就是$|f(x)-f(3)| > \epsilon$。

结论 #

我们找到了固定的$\epsilon=0.5$，对任意$\delta>0$都能找到满足条件的$x$，完全符合函数在该点不连续的ε-δ定义。因此$f(x)$在$x=3$处不连续。

内容的提问来源于stack exchange，提问作者lnguy193