微积分基本定理（Lebesgue 版）fundamental theorem of calculus

谁指向它（入边）

推出 1

• AC ⊆ BV、函数绝对连续 ⟺ 测度绝对连续、NBV 函数的导数与测度的关系 ⟹ 本页推出
  $(a) \iff (b) \iff (c)$：微积分基本定理的三条等价

  $(a) \implies (b)$。 设 $F$ 绝对连续。由$AC \subseteq BV$，$F \in BV$；把它补成 NBV 里的函数（差一个常数与右连续化，不影响导数的积分）。由绝对连续 $\iff \mu _F \ll m$，写 Lebesgue 分解时奇异部分 $\lambda = 0$，于是 $d\mu_F = f\cdot dm$，即

  $$F(x) - F(a) = \int_a^x f(t) dt$$

  取 $f$ 就是所要的 $L^{1}$ 函数。

  $(b) \implies (c)$。 若 $F(x) - F(a) = \int_a^x f$，则由积分的绝对连续性，$F$ 绝对连续（这是直接验证）；而由微分定理，$d / dx\int_a^x f = f(x)$ a.e.，故 $F' = f$ a.e.、$F' \in L^1$，公式成立。

  $(c) \implies (a)$。 由 (c)，$F$ 在 a.e. 意义下等于一个积分的原函数；把 $F(x) - \int_a^x F'$ 这个差记作 $G$，则 $G$ 绝对连续（$(b) \implies F$ 的那一段）且 $G' = 0 \text{a.e.}$；再由 (b) 的构造（$\mu _G \ll m$ 且密度为 $F' - F' = 0$）得 $G \equiv 0$。故 $F$ 本身绝对连续。∎

  $>$ ⭐ 最容易错的直觉是「a.e. 可导 $F' \in L^{1}$ 就够」——Cantor 函数正是反例：它 a.e. 可导、$F' \equiv 0 \in L^{1}$，但 $\int _{0}^{1} F' = 0 \ne 1$。绝对连续这一条不能省。

  这条定理是整个「有界变差 / 绝对连续」星团的收官：它把函数侧、积分侧、导数侧三个刻画焊在一起。

定义引用 2

• 绝对连续函数 → 本页定义引用

  (a) 就是绝对连续的定义。

• 可积 / L¹ → 本页定义引用

  (b)(c) 里的 $f$、$F'$ 都要求在 $L^{1}$ 里。