∑

数学知识体系

Observatory Archive of Mathematics
⌕2026/8/31
概念

绝对连续

绝对连续函数几乎处处可导且满足牛顿-莱布尼兹公式,勒贝格微分定理是其积分版本。

所属主题:实分析 ↗
阅读路径

参考可汗学院 Get ready 机制:先修概念 → 当前概念 → 进阶概念,✓ 表示已读。

当前概念

绝对连续实分析

01定义

绝对连续是「积分意义下的可微性」:函数由导数的积分完全恢复(牛顿-莱布尼兹公式成立)。勒贝格微分定理断言单调函数几乎处处可导且导数可积——微积分基本定理在勒贝格世界的精确版本。
陡升段:导数大 a b f(b) − f(a) = ∫ f′ ⇔ 绝对连续 增量恰为导数积分——康托尔函数连续但做不到这一点
绝对连续:函数增量完全由导数的积分给出

02核心要点

01

等价刻画

绝对连续   ⟺  \iff 几乎处处可导、f′∈L1f'\in L^1 且 f(x)=f(a)+∫axf′f(x)=f(a)+\int_a^x f';「小区间总长小 ⇒\Rightarrow 函数值总变化小」的 ε-δ 版本同样等价。

02

勒贝格微分定理

单调函数几乎处处可导;其导数积分 ≤f(b)−f(a)\leq f(b)-f(a)(可能严格小——差额即奇异部分,康托尔函数为例)。

03

三级分解

任意 BV 函数 = 绝对连续 + 跳跃 + 奇异连续(勒贝格分解)——函数结构的最细粒度分类。

03关键公式

f 绝对连续  ⟺  f(x)=f(a)+∫axf′(t) dtf\ \text{绝对连续}\iff f(x)=f(a)+\int_a^x f'(t)\,dt

04历史沿革

维塔利 1905 年引入绝对连续概念;勒贝格 1904 年证明微分定理;富比尼与塞尔贝格完善分解理论——微积分基本定理终获精确表述。

05应用与延伸

ODE 解的正则性刻画(解即积分方程的不动点)、概率论中分布函数与密度函数的对应、随机过程的绝对连续性判别。

06交互演示

绝对连续:小总长度 → 小总变差f=x²(AC,gold)vs 康托函数(连续非 AC,cyan):同样的区间总长 δ

07相关概念