关于证明lim_{z→z₀}(z²+c)=z₀²+c时δ选取合理性的疑问

我来帮你分析这个复数极限证明里的δ选取问题~

首先，你的目标是证明$\boldsymbol{\lim_{z\to z_0}(z^2+c)=z_02+c}$，你给出的推导步骤是：
$$|z^2+c-(z_02+c)|=|z^2-z_02|\leq|z|^2+|z_0|2\leq|z+z_0-z_0|^2+|z_0|2\leq|z-z_0|^2+2|z_0|2<\epsilon.$$

你的核心疑问是：能不能选取$,\delta = \sqrt{\epsilon-2|z_0|^2},$作为δ的值？

结论：这个δ的选取是不可行的，问题出在你的放缩逻辑和表达式本身： #

• 放缩逻辑错误：$|z^2 - z_0^2|$的正确展开是$|z - z_0||z + z_0|$，你用三角不等式把它放成$|z|^2 + |z_0|^2$属于过度放缩，完全偏离了极限证明中需要用$|z - z_0|$来控制整体绝对值的核心思路，导致后续的表达式无法满足极限定义的要求。
• δ表达式无意义场景：当$\epsilon \leq 2|z_0|^{2$时，$\sqrt{\epsilon-2|z_0|}2}$的根号内为非正数，δ要么不存在要么为非正数，而极限定义要求对于任意给定的$\epsilon>0$，都能找到正的δ，所以这个选取显然不成立。

正确的推导与δ选取方式： #

我们可以按照极限证明的标准思路来推导：

1. 先化简目标绝对值：
   $$|z^2 + c - (z_0^2 + c)| = |z^2 - z_0^2| = |z - z_0| \cdot |z + z_0|$$
2. 先限定$|z - z_0| < 1$（这个1是任意选取的正数，也可以用其他小正数），利用三角不等式控制$|z + z_0|$的范围：
   $$|z + z_0| = |(z - z_0) + 2z_0| \leq |z - z_0| + |2z_0| < 1 + 2|z_0|$$
3. 现在要让$|z - z_0| \cdot |z + z_0| < \epsilon$，结合上面的结果，只需让：
   $$|z - z_0| \cdot (1 + 2|z_0|) < \epsilon \implies |z - z_0| < \frac{\epsilon}{1 + 2|z_0|}$$
4. 最后取$\delta = \min\left(1, \frac{\epsilon}{1 + 2|z_0|}\right)$，这样当$0 < |z - z_0| < \delta$时，必然满足$|z^2 + c - (z_0^2 + c)| < \epsilon$，完全符合极限的定义。

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