随机微积分里「变差」和「变分」是同一个概念，但 sup 与 max 的区别、一阶与二阶变差的分野，恰好是理解伊藤积分为何存在的钥匙。本文梳理全变差的定义、布朗运动的两条路径性质，以及从「无界变差」到「伊藤积分」的完整因果链。
变分就是变差
先把名字钉死：在随机微积分语境下，变分和变差是同一个东西，英文都是 variation，全变差就是全变分。叫法差异只是教材传统——实分析文献多叫「变差」，随机过程文献多叫「变分」，读书时对不上号很容易以为是两个概念。
另一个更深的坑是「变分法」（calculus of variations）：那是研究泛函极值的数学分支，和这里讨论的函数变差毫无关系，只是中文撞了名。
此「变分」非 VAE 的「变分」
中文「变分」对应两个完全不同的英文词根：
- variation（名词）——全变差 / total variation。场景：实分析、布朗运动变差、图像去噪的 TV-Loss。含义：函数轨道震荡的总绝对变化量。
- variational（形容词）——变分法、变分推断、VAE。场景：泛函分析、贝叶斯机器学习。含义：优化对象是函数或分布（泛函极值问题）。
TV-Loss 和布朗运动的变差同源，属于第一类；它与 VAE 的「变分」没有任何数学关联，纯属中文同名。
全变差与 sup 的真正含义
对定义在 上的函数 ，全变差定义为
逐项拆开看：划分是把 任意切成 ，切法有无穷多种；求和项 是某一种划分下函数上下跳动的总竖直路程； 再取遍所有划分。一句话：全变差 就是函数在区间内能跑出的「最大可能总震荡路程」。
这里最容易错的是把 读成最大值。：max 是集合里真实存在的最大元，不一定有；sup 是压住所有元素的最小上界，永远存在——可以是 ，也可以不属于集合本身。变差的定义必须用 sup，因为划分有无穷多种，那堆路程构成的集合未必有最大元。
由此分出两类函数。有界变差（）：无论怎么切分，总震荡路程有上限，光滑可导函数、分段光滑函数都在此列。无界变差（）：有限时间区间内，只要切得足够细，震荡总路程就能无限大——注意这不是「时间无限长跑得无限远」，而是有限区间上的病态震荡。
布朗运动：一阶无界，二阶有限
布朗运动 的路径有两条核心性质。第一条：处处连续、处处不可微——没有跳跃，但任意时刻都没有切线、没有瞬时速度，轨道无限粗糙。第二条建立在第一条之上：在任意区间上，一阶变差无界、二阶变差有限。
一阶变差是增量绝对值之和，它发散：。哪怕极短的时间区间，来回震荡的总路程也是无穷大——布朗运动是无界变差的典型样本。二阶变差是增量平方和，它却收敛：，依概率收敛到区间长度本身。
两者一散一敛并不神秘：把 等分成 段，每段增量 的量级约为 。绝对值求和约 ；平方求和约 ，恰好稳定在区间长度。一阶发散和二阶收敛是同一个尺度律（增量 ）的两面。
无界变差如何逼出伊藤积分
经典 Riemann–Stieltjes 积分 要求积分元 是有界变差函数——确定性世界的微分方程：含义、形式来源、历史、主要分类默认路径光滑，这个前提从不成问题。布朗运动恰恰打破了它：一阶变差无界， 按经典方式定义彻底失效。
出路正是二阶变差有限。 提供了一个良定义的极限对象，伊藤积分与伊藤公式就建立在这一点上：放弃逐路径的极限，改用 意义下的极限，从而撑起随机微分方程的整套理论。伊藤公式里多出的二阶修正项，根源也在这里——非正式地写就是 ，二次变差在微分层面留下了不可忽略的痕迹。
速记
- 变分 = 变差，英文统一是 variation
- sup 是天花板（最小上界），不是最大值
- 布朗轨道：连续但处处不可微
- 一阶震荡无穷（无界变差），二阶平方和有限（收敛到 ）