跳到主要内容

极限、连续与严格定义

🔢 用 ε-δ 语言精确刻画"无限趋近"的直觉，理解连续性的三个等价条件。

核心问题​

极限解决什么问题？ 函数在某点附近的行为，即使该点本身无意义（如 sin x / x 在 x=0）。

极限​

直觉​

f(x)f(x) 在 x→ax \to a 时趋近 LL，意思是：xx 离 aa 足够近（但不等于 aa），f(x)f(x) 就能离 LL 任意近。

严格定义（ε-δ）​

lim⁡x→af(x)=L  ⟺  ∀ε>0, ∃δ>0, 0<∣x−a∣<δ⇒∣f(x)−L∣<ε\lim_{x \to a} f(x) = L \iff \forall \varepsilon > 0,\ \exists \delta > 0,\ 0 < |x - a| < \delta \Rightarrow |f(x) - L| < \varepsilon

⚠️ 注意 0<∣x−a∣0 < |x - a|：极限只关心 aa 的邻域，不关心 f(a)f(a) 是否存在。

常用极限​

极限值说明
lim⁡x→0sin⁡xx\lim_{x→0} \frac{\sin x}{x}11夹逼定理
lim⁡x→0ex−1x\lim_{x→0} \frac{e^x - 1}{x}11导数定义
lim⁡x→∞(1+1x)x\lim_{x→∞} (1 + \frac{1}{x})^xee自然常数定义
lim⁡x→0ln⁡(1+x)x\lim_{x→0} \frac{\ln(1+x)}{x}11对数极限

极限运算法则​

若 lim⁡f=A\lim f = A，lim⁡g=B\lim g = B，则：

  • lim⁡(f±g)=A±B\lim (f \pm g) = A \pm B
  • lim⁡(f⋅g)=A⋅B\lim (f \cdot g) = A \cdot B
  • lim⁡fg=AB\lim \frac{f}{g} = \frac{A}{B}（B≠0B \neq 0）

夹逼定理​

若 g(x)≤f(x)≤h(x)g(x) \leq f(x) \leq h(x)，且 lim⁡g=lim⁡h=L\lim g = \lim h = L，则 lim⁡f=L\lim f = L。

连续性​

三个等价条件​

ff 在点 aa 连续   ⟺  \iff 同时满足：

  1. f(a)f(a) 存在
  2. lim⁡x→af(x)\lim_{x \to a} f(x) 存在
  3. lim⁡x→af(x)=f(a)\lim_{x \to a} f(x) = f(a)（极限值等于函数值）

间断点分类​

  • 可去间断点：极限存在但 f(a)f(a) 未定义或不等于极限值
  • 跳跃间断点：左右极限都存在但不相等
  • 无穷间断点：极限为 ±∞\pm\infty
  • 振荡间断点：极限不存在（如 sin⁡(1/x)\sin(1/x) 在 x=0x=0）

连续函数的重要定理​

定理内容
介值定理ff 在 [a,b][a,b] 连续，则取遍 f(a)f(a) 和 f(b)f(b) 之间的所有值
最值定理闭区间上的连续函数必有最大值和最小值
零点定理若 f(a)⋅f(b)<0f(a)\cdot f(b) < 0，则 ∃c∈(a,b)\exists c \in (a,b)，使 f(c)=0f(c)=0

无穷小与无穷大​

等价无穷小（x→0x \to 0）​

sin⁡x∼x,tan⁡x∼x,ex−1∼x,ln⁡(1+x)∼x\sin x \sim x,\quad \tan x \sim x,\quad e^x - 1 \sim x,\quad \ln(1+x) \sim x

1−cos⁡x∼x22,(1+x)α−1∼αx1 - \cos x \sim \frac{x^2}{2},\quad (1+x)^\alpha - 1 \sim \alpha x

常见误区​

  • lim⁡x→af(x)=f(a)\lim_{x\to a} f(x) = f(a) 不一定成立，需要连续才行
  • 极限存在 ≠ 左右极限相等（需分左极限和右极限）
  • ∞−∞\infty - \infty、0⋅∞0 \cdot \infty、000^0 等不定式需转化再求极限

Manim 可视化思路​

  • ε-δ 动画：在数轴上显示 ε\varepsilon 带和对应的 δ\delta 邻域，随 ε→0\varepsilon \to 0 缩小
  • 夹逼定理：三条曲线动画，两侧趋近同一值
  • 间断点类型：分别展示可去、跳跃、无穷间断点的图像