研读Spivak微积分：函数倒数极限定理正确性、遗漏点及假设弱化问询

我最近在啃Spivak的《微积分》时，也注意到书中部分定理的表述会省略一些关键细节，你整理的这个倒数极限定理补充得很到位！下面我来帮你验证正确性、梳理遗漏点，再聊聊假设能不能弱化的问题。

补充后的定理 #

设$g$为定义在$\mathbb{R}$中$a$的邻域$A$（$A$不一定包含$a$）上的实值函数，且$\lim_{x \to a} g(x) = l \neq 0$，则$\lim_{x \to a} \left(\frac{1}{g}\right)(x) = \frac{1}{l}$。

完整证明过程 #

你给出的证明开头逻辑是对的，我把完整的$\varepsilon-\delta$证明补全：

根据假设，$\lim_{x \to a} g(x) = l \neq 0$，由极限定义：

1. 首先利用$l \neq 0$，取$\varepsilon_0 = \frac{|l|}{2} > 0$，则存在$\delta_1 > 0$，当$x \in A$且$0 < |x - a| < \delta_1$时，$|g(x) - l| < \frac{|l|}{2}$。
   由三角不等式可得：$|g(x)| = |l - (l - g(x))| \geq |l| - |l - g(x)| > |l| - \frac{|l|}{2} = \frac{|l|}{2}$，这一步是关键——保证了在$a$的去心邻域内$g(x)$不会为0，$\frac{1}{g(x)}$有定义。
2. 对任意$\varepsilon > 0$，取$\varepsilon' = \frac{|l|^2}{2} \varepsilon$，则存在$\delta_2 > 0$，当$x \in A$且$0 < |x - a| < \delta_2$时，$|g(x) - l| < \varepsilon'$。
3. 取$\delta = \min(\delta_1, \delta_2)$，当$x \in A$且$0 < |x - a| < \delta$时：
   $$
   \left|\frac{1}{g(x)} - \frac{1}{l}\right| = \frac{|g(x) - l|}{|g(x)| \cdot |l|} < \frac{\frac{|l|^2}{2} \varepsilon}{\frac{|l|}{2} \cdot |l|} = \varepsilon
   $$
   由此满足极限定义，$\lim_{x \to a} \left(\frac{1}{g}\right)(x) = \frac{1}{l}$得证。

正确性与遗漏点分析 #

• 正确性：你的定理表述和证明的核心逻辑完全正确，补充“$A$不一定包含$a$”这个细节非常精准——因为极限是去心邻域上的性质，函数在$a$点本身是否有定义不影响极限存在性，这正好补上了Spivak可能省略的细节。
• 遗漏点：你当前的证明草稿缺少了第一步“找$|g(x)|$的下界”的关键步骤，这是连接“$g(x)$极限不为0”和“$\frac{1}{g(x)}$极限存在”的核心桥梁，没有这一步的话，证明会有逻辑漏洞（无法保证$\frac{1}{g(x)}$有定义，也没法完成最后的不等式放缩）。

假设弱化探讨 #

咱们来聊聊能不能弱化定理的假设：

• 核心假设$\lim_{x \to a} g(x) = l \neq 0$不能弱化：如果$l=0$，$\frac{1}{g(x)}$在$a$的邻域内会无界，极限根本不存在；如果极限不存在，那倒数的极限更无从谈起。
• “$A$是$a$的邻域”可以进一步明确为**“$A$是$a$的去心邻域”**——不过你已经通过“$A$不一定包含$a$”隐含了这一点，本质上极限定义只要求函数在$a$的去心邻域内有定义，所以这个假设已经是最精简的了。
• 不需要额外添加“$g(x)$在$A$上恒不为0”的假设：因为由$\lim_{x \to a}g(x)=l\neq0$，通过极限的保号性（或上面证明的第一步），自然能推出在$a$的某个去心邻域内$g(x)\neq0$，这个结论是可以由现有假设推导出来的，不用单独作为条件。

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