1 概念与直观
1.1 变差刻画的“变化强度”
变差（variation）用来量化一个函数在给定区间上“变化得有多剧烈”。直观上，函数在区间内来回起伏、整体上升或下降越明显，变差越大；反之，若函数变化很平缓、仅有少量跳动或逐段缓慢调整，变差较小。 在分析中，变差常被视为一种“全局振荡强度”的指标：它不只关心某一点的局部斜率，还关注函数在整个区间上的累积增量。
1.2 与波动、单调性的关系
单调函数在区间上只呈现一种方向的变化：要么整体不降、要么整体不升。这种“单方向”的行为通常意味着变差与端点之间的差异直接挂钩。 而一般函数可能既上升又下降，波动越频繁、幅度越大，累计起来的“正向增量与反向增量”都会被计入，因此变差往往更大。于是，变差可以看作对“既可能上又可能下”的复杂行为的统一度量。
1.3 正变差与负变差的动机
为了区分上升与下降的贡献，可以把函数的变化拆成“向上推动”的部分与“向下推动”的部分。对应地，正变差刻画函数增量的累积，负变差刻画减量的累积。 这种拆分在理论上能更自然地支持分解结果（例如把一个函数视为两个单调函数的差），在计算上也便于分析哪些环节造成了主要的波动。
2 一维实分析中的基本定义
2.1 区间上的分点与增量
设 \(f:[a,b]\to\mathbb{R}\)。取任意分点 \[ a=x_0<x_1<\cdots<x_n=b, \] 并考虑相邻点处的函数增量 \(f(x_i)-f(x_{i-1})\)。直观上，这些增量相加能粗略描述函数在区间内的“累计变化”。分点越细、增量信息越密，所得到的“累计变化”的估计往往更接近真实振荡强度。
2.2 （绝对连续）总变差定义
总变差通常通过绝对增量来定义：对任意分点，将 \[
| \sum_{i=1}^n | f(x_i)-f(x_{i-1}) |
|---|
\] 视为一次“离散近似”的变化量，再对所有分点取上确界，得到 \[
| V_a^b(f)=\sup_{a=x_0<\cdots<x_n=b}\sum_{i=1}^n | f(x_i)-f(x_{i-1}) | . |
|---|
\] 若该上确界是有限的，则称 \(f\) 在 \([a,b]\) 上具有有限总变差。 注：这里所说的“总变差”本身不等同于绝对连续性（两者相关但概念不同），目录中的“（绝对连续）总变差”强调的是常见的变差框架下对绝对增量的采用。
2.3 正变差、负变差的定义方式
正变差与负变差分别用“增量的正部分”和“增量的负部分”来计量。对同一分点集合，定义 \[ V^+(f)=\sup \sum_{i=1}^n \max\{f(x_i)-f(x_{i-1}),0\}, \] \[ V^-(f)=\sup \sum_{i=1}^n \max\{f(x_{i-1})-f(x_i),0\}. \] 总变差可理解为正、负部分共同导致的变化量的合计，即在标准框架下有 \[ V(f)=V^+(f)+V^-(f). \]
2.4 变差的区间依赖性：从子区间到整体
变差的定义对具体区间敏感。若取子区间 \([c,d]\subset[a,b]\)，则可相应定义 \(V_c^d(f)\)。通常情况下，区间越大，允许的振荡积累越多，因此变差不会随区间扩大而减少得太“离谱”，并可建立与区间嵌套相关的基本不等式。 这种区间依赖性使得变差成为分析局部行为并逐步扩展到整体性质的工具。
3 有界变差与相关性质
3.1 有界变差（BV）的定义与等价表述
若 \(V_a^b(f)<\infty\)，就称 \(f\) 在 \([a,b]\) 上属于有界变差类，记为 \(f\in BV([a,b])\)。 在一维实分析中，有限变差还与多种等价描述紧密相关：例如通过正负变差的有限性、通过与某些单调函数的分解，或通过与由变差诱导的测度结构对应起来。虽然这些表述看法不同，但刻画的是同一类“整体变化受控”的函数。
3.2 变差的可加性与次可加性
变差在组合运算下具有重要的估计性质。若把函数拆成两部分并相加，总变差通常满足“次可加性”：大体上 \[ V(f+g)\le V(f)+V(g), \] 反映出振荡的累计不会超过各自累计之和。 此外，变差也对取绝对值、取标量倍数等运算表现出可控的尺度变化：例如标量乘以函数会按比例放大变化量。此类性质是后续构造与证明稳定性的基础。
3.3 与有界性、可积性的联系
有限变差并不必然推出函数连续，但它确实在某些意义下提供了“规整性”。例如在一维情形下，有界变差函数通常具有良好的可测性，并常能推出其在 Lebesgue 意义下可积（或至少具备适当的可积性条件）。 其核心原因在于：有限变差意味着函数不会在区间上以“无界频率与无界幅度”振荡到无法控制的程度，因此可与测度理论和积分工具进行衔接。
3.4 与单调函数的典型对应
有界变差函数与单调函数之间存在典型对应。直观而言，若一个函数的整体波动被限制在有限范围内，那么它可以被看作“上升趋势与下降趋势”的叠加结果。 在严格层面，这种对应最终体现为 Jordan 分解：一个有界变差函数可表示为两个单调函数之差。于是，“有限变差”可以理解为“能用单调组件拼装”的程度。
4 分解定理与结构结果
4.1 由正负变差分解函数
正、负变差的定义为构造分解提供了直接线索。通过适当的规范化方式，可以把函数的“上升部分”与“下降部分”分别累计出来，从而得到两个单调函数，使它们的差给出原函数。 这类分解不仅给出结构解释，也使得后续测度化处理成为可能：正变差与负变差对应的累积量可被视为一种“带方向的变化堆积”。
4.2 Jordan 分解（单调函数差的分解思想）
Jordan 分解思想指出：在一维区间上，具有有限总变差的函数可以表示为 \[ f = g - h, \] 其中 \(g\) 与 \(h\) 均为单调函数。该分解揭示了有界变差函数的本质结构：它不是任意振荡的“自由组合”，而是可用两条单调曲线的差来刻画。 该结论是变差理论在实分析中具有“桥梁”作用的重要原因：它把复杂的振荡问题转化为更易处理的单调结构问题。
4.3 变差度量下的稳定性讨论
Jordan 分解与变差估计共同带来稳定性现象。大致而言，若一族函数在变差意义上“差得不多”（例如变差范数下有界或收敛），它们的单调分量也能在适当意义下保持可控，从而在极限过程或逼近过程中不会出现不可解释的“突然爆炸”。 这种稳定性使得变差方法适用于逼近、紧致性与收敛性讨论等分析场景。
5 变差函数的构造与性质
5.1 变差函数的单调性
为了更细致地观察函数的变化随位置如何累积，可以定义“从左端点开始累计的变差函数”。例如固定区间 \([a,b]\)，令 \[ \eta(x)=V_a^x(f), \] 则 \(\eta(x)\) 随 \(x\) 增大而不减：因为从更短区间到更长区间允许的分点集合更多，累计变化的上确界不会降低。 因此变差函数天然是单调的，这与其作为“累计振荡量”的解释一致。
5.2 变差函数的基本测度意义
当 \(f\) 具有有限变差时，变差函数（及其正负分量形式）可以转化为测度的生成对象。直观上，单调的累计量可以视为“把每个位置的变化集中成质量”的过程；分解中的正、负分量则对应两种方向的质量。 这使得“变差”不再只是一个数，而是一个能驱动积分与分布式分析的结构，从而与更广泛的测度框架建立联系。
5.3 与积分和极限过程的衔接
一旦变差结构被测度化，许多极限操作就获得了可行性：例如可通过与测度收敛相关的定理来研究逼近序列；也能在积分层面把“函数的变化”转化为对某个（由变差诱导的）测度的积分。 在概念上，这就是变差理论在实分析中贯通“几何式变化”（分点增量）与“解析式计算”（积分与极限）的通道。
6 典型例子与计算
6.1 单调函数的变差
若 \(f\) 在 \([a,b]\) 上单调不减，则对任意分点， \[ \sum_{i=1}^n (f(x_i)-f(x_{i-1})) = f(b)-f(a), \] 因此总变差等于端点差的绝对值（并与正、负变差中只有一边非零相对应）。单调不增同理。 这体现了变差在“无反向振荡”情形下的简洁性：它把变化强度完全收缩为一次整体位移。
6.2 分段常数函数的变差计算
分段常数函数在有限个跳点处发生跳跃。若在 \(a=x_0<\cdots<x_n=b\) 之间常值，仅在点 \(x_i\) 改变取值，那么相邻分点的函数增量只会在这些跳点对应的区间边界处累积。 因此总变差可归结为各次跳跃幅度的绝对值之和。该例子直观展示：不连续并不必然导致无界变差；有限次跳跃就能产生有限的变差。
6.3 跳跃函数与不连续性的影响
更一般的跳跃行为会显著影响变差。若跳跃幅度在某些点累积得足够大，或跳点数量在某种意义上变得过于密集，变差可能变大乃至无界。 另一方面，若跳跃幅度的总贡献可以被一个有限和所控制，则仍可能保持有限变差。于是，变差提供了评估“不连续性是否可控”的量化指标。
6.4 可微/绝对连续函数的变差表现
若函数足够光滑（如可微）并且导数可积，常可通过积分形式来刻画其总变差：变差由导数的绝对值累积决定。 在绝对连续情形下，函数的“变化”可以由其几乎处处的导数再现，从而变差表现为对导数大小的整体度量。该联系说明变差理论并不是与微积分对立，而是在更弱的正则性条件下延伸了“用导数描述变化”的思想。
7 与微积分工具的关系（定性与公式层面）
7.1 导数存在时的变差估计
| 当 \(f\) 在 \([a,b]\) 上可微时，分点增量可用微积分基本定理连接到导数在相应子区间上的积分。由此可得到变差的上界估计：总变差不会超过 \(\int_a^b | f'(x) | \,dx\)（在适当可积性条件成立时）。 |
|---|
该结果在定性上表明：导数越大、绝对值累积越高，函数在区间上就越“容易剧烈变化”。
7.2 与绝对连续、可积导数的对应线索
若 \(f\) 具备绝对连续性并且导数在 Lebesgue 意义下可积，那么变差与导数绝对值的积分在很大程度上可以对上。此时“分点离散度量”与“连续积分度量”形成一致的描述语言：变差不只是一个上确界的抽象量，而是能用更具体的解析对象来计算或估计。 这种对应是从经典微积分到 BV 框架的过渡桥梁。
7.3 极限运算下变差的表现（概念层面）
在逼近与极限过程中，变差具有某种“下半连续性”倾向：当一列函数在合适方式下收敛，变差的极限不容易突然变得更小，而通常至少不会低于极限下界。 这使得变差在变分问题、逼近理论里具有优势：能把“能量不突然减少”的原则落实为可用的分析工具。
8 多维与更一般背景的延伸（概念预告）
8.1 从一维到更高维的 BV 思路
在更高维中，变差的角色由“函数沿区间的总振荡”推广为“函数在空间上的总变化”。一维中的分点近似对应到多维会涉及网格剖分、法向方向与局部变化累积。 因此 BV 的高维版本可理解为：把“一维的累计增量”替换为“多维意义下的分布式梯度测度”。
8.2 “变差”与泛函分析对象的映射关系
更一般的分析框架中，“变差”与泛函分析常见的范数、半范数或能量泛函产生对应。它既能衡量函数的整体变化，又能在弱收敛下保持一定可控性，从而成为研究偏微分方程、变分问题的常用对象。 这种映射说明变差不是孤立概念，而是一类可嵌入更大理论体系的结构量。
8.3 与分布/测度框架的衔接（概念层面）
从概念上，变差与分布理论、测度理论通过“弱导数或分布型梯度”的观点连接起来：函数的变化可以被编码成某种测度，从而让积分、散度与边界项等操作在更弱的光滑性条件下仍可执行。 这使得 BV 框架能够覆盖存在跳跃、具有奇异的函数，同时仍保持可计算的结构。
9 文化与轻量梗（可选）
9.1 “变差=函数在区间里翻跟头的次数”式直观
在口头解释里，有人会把总变差类比为“函数在区间里翻跟头的总量”。频繁翻、幅度大就变差大；翻得少或者方向统一就变差小。 当然这只是比喻：变差更精确地是对增量的绝对值累积，并不等于字面意义上的“次数”。
9.2 常见误解：把变差当作导数大小的替代品
| 一个常见误解是把变差简单等同于 \( | f' | \) 或导数范数的“替代品”。实际上，变差是一个更稳健、更广义的整体变化度量：即使函数不可微或导数不存在，也仍可通过分点增量来定义。 |
|---|
因此它既与导数在光滑情形下相容，又在非光滑情形下提供了替代语言。
9.3 口头表达：总变差到底在“总”什么
“总变差”的“总”并不指“总是有限”，也不指“总和某个局部量”。它强调的是：把区间内所有可能的离散划分产生的“累计变化量”取最大意义上的上界。 换句话说，它总计的是“无论你怎么把区间切开，函数在相邻点之间至少折腾了多少”的最大值。