绝对连续
绝对连续函数几乎处处可导且满足牛顿-莱布尼兹公式,勒贝格微分定理是其积分版本。
所属主题:实分析 ↗阅读路径
参考可汗学院 Get ready 机制:先修概念 → 当前概念 → 进阶概念,✓ 表示已读。
01定义
绝对连续是「积分意义下的可微性」:函数由导数的积分完全恢复(牛顿-莱布尼兹公式成立)。勒贝格微分定理断言单调函数几乎处处可导且导数可积——微积分基本定理在勒贝格世界的精确版本。
02核心要点
01
等价刻画
绝对连续 几乎处处可导、 且 ;「小区间总长小 函数值总变化小」的 ε-δ 版本同样等价。
02
勒贝格微分定理
单调函数几乎处处可导;其导数积分 (可能严格小——差额即奇异部分,康托尔函数为例)。
03
三级分解
任意 BV 函数 = 绝对连续 + 跳跃 + 奇异连续(勒贝格分解)——函数结构的最细粒度分类。
03关键公式
04历史沿革
维塔利 1905 年引入绝对连续概念;勒贝格 1904 年证明微分定理;富比尼与塞尔贝格完善分解理论——微积分基本定理终获精确表述。
05应用与延伸
ODE 解的正则性刻画(解即积分方程的不动点)、概率论中分布函数与密度函数的对应、随机过程的绝对连续性判别。
06交互演示
绝对连续:小总长度 → 小总变差f=x²(AC,gold)vs 康托函数(连续非 AC,cyan):同样的区间总长 δ