1.4.1 Infinite Limits Definition（无穷极限的定义）¶

理解当x趋向某一点时函数值趋向正无穷或负无穷的精确数学定义，掌握lim f(x) = ±∞的符号表示

定义¶

无穷极限的定义是描述当自变量趋向某一点时，函数值趋向正无穷或负无穷的精确数学概念。

正无穷极限的定义：设函数 \(f(x)\) 在点 \(a\) 的某个去心邻域内有定义。如果对于任意大的正数 \(M\)，都存在 \(\delta > 0\)，使得当 \(0 < |x - a| < \delta\) 时，有 \(f(x) > M\)，则称当 \(x\) 趋向 \(a\) 时，\(f(x)\) 趋向正无穷，记作 \(\lim_{x \to a} f(x) = +\infty\)。

负无穷极限的定义：设函数 \(f(x)\) 在点 \(a\) 的某个去心邻域内有定义。如果对于任意小的负数 \(-M\)（其中 \(M > 0\)），都存在 \(\delta > 0\)，使得当 \(0 < |x - a| < \delta\) 时，有 \(f(x) < -M\)，则称当 \(x\) 趋向 \(a\) 时，\(f(x)\) 趋向负无穷，记作 \(\lim_{x \to a} f(x) = -\infty\)。

单侧无穷极限：当 \(x\) 从左侧趋向 \(a\) 时，记作 \(\lim_{x \to a^-} f(x) = \pm\infty\)；当 \(x\) 从右侧趋向 \(a\) 时，记作 \(\lim_{x \to a^+} f(x) = \pm\infty\)。

关键特征：无穷极限不是真正的极限（因为 \(\pm\infty\) 不是实数），而是描述函数值无限增大或无限减小的行为。当函数存在无穷极限时，该点处的垂直渐近线存在。

核心公式¶

\(\lim_{x \to a} f(x) = +\infty \Leftrightarrow \forall M > 0, \exists \delta > 0, \text{ s.t. } 0 < |x - a| < \delta \Rightarrow f(x) > M\)
\(\lim_{x \to a} f(x) = -\infty \Leftrightarrow \forall M > 0, \exists \delta > 0, \text{ s.t. } 0 < |x - a| < \delta \Rightarrow f(x) < -M\)
\(\lim_{x \to a^+} f(x) = +\infty \Leftrightarrow \forall M > 0, \exists \delta > 0, \text{ s.t. } a < x < a + \delta \Rightarrow f(x) > M\)
\(\lim_{x \to a^-} f(x) = -\infty \Leftrightarrow \forall M > 0, \exists \delta > 0, \text{ s.t. } a - \delta < x < a \Rightarrow f(x) < -M\)
\(x = a \text{ 是 } f(x) \text{ 的垂直渐近线} \Leftrightarrow \lim_{x \to a^+} f(x) = \pm\infty \text{ 或 } \lim_{x \to a^-} f(x) = \pm\infty\)

易错点¶

⚠️ 混淆无穷极限与有限极限：学生常误认为 \(\lim_{x \to a} f(x) = +\infty\) 是一个真正的极限值，但实际上 \(+\infty\) 不是实数，这只是描述函数值无限增大的行为。无穷极限不满足普通极限的运算法则。
⚠️ 忽视去心邻域的要求：定义中强调 \(0 < |x - a| < \delta\)，即 \(x \neq a\)。学生常忽略这一点，导致对函数在 \(x = a\) 处的行为理解不清。函数在 \(a\) 处可能无定义或有定义但极限为无穷。
⚠️ 单侧极限判断错误：对于形如 \(f(x) = \frac{1}{x-a}\) 的函数，学生常混淆左右两侧的极限方向。需要明确 \(x \to a^+\) 时分母的符号变化，从而判断函数值趋向 \(+\infty\) 还是 \(-\infty\)。
⚠️ 垂直渐近线的判断不完整：学生常认为只要 \(\lim_{x \to a} f(x) = \infty\) 就有垂直渐近线，但实际上需要至少一侧的单侧极限为无穷。有时两侧极限方向相反（如 \(\lim_{x \to a^+} f(x) = +\infty\) 且 \(\lim_{x \to a^-} f(x) = -\infty\)），仍然存在垂直渐近线。