鞅

“公平游戏”不是说路径不会剧烈起伏，也不是说每步输赢独立，而是说在掌握当前全部可用信息后，下一步的条件平均仍是现有财富。过去可以强烈影响下一步分布，只要正负变化在条件平均上平衡即可。下鞅具有非负条件漂移，像平均上升的过程；上鞅则相反。滤过明确了玩家知道什么，同一数值过程换一套包含未来提示的信息后，可能不再公平。

令 $M_0\in \mathbb{R}$ 为常数，实随机变量 ${\xi }_1,{\xi }_2,\dots$ 相互独立，满足 $\mathbb{E}|{\xi }_k|<\mathrm{\infty }$、$\mathbb{E}{\xi }_k=0$，并令 $M_n=M_0+\sum _{k=1}^n{\xi }_k$，${\mathcal{F}}_n=\sigma ({\xi }_1,\dots ,{\xi }_n)$。由于新增量与过去独立且均值为零，

增量独立只是这个例子的充分机制，不是鞅定义要求。

仅有 $\mathbb{E}{M}_n$ 恒定并不够。取一个均值为零、非退化的实随机变量 $Z$，令 $M_0=0,M_1=Z,M_2=-Z$，并用自然滤过；各时刻期望都为零，但 $\mathbb{E}[M_2\mid {\mathcal{F}}_1]=-Z\ne Z=M_1$。可选停止也不能从“公平”口号无条件推出：公平硬币赌博中每输一次就把下一注翻倍，直到首次获胜时净赚 $1$，停时几乎处处有限；然而停前可能背负 $2^n-1$ 的无界亏损，下注增量也无统一界，故停止后的期望为 $1$ 并不与初始财富 $0$ 矛盾，失败的是可选停止所需的一致可积或有界性条件。

Doob 鞅把任意可积实终端量沿信息时间线理路滤过与适应过程Filtration · Adapted process · Natural filtration以递增 σ-代数表示信息积累，并刻画过程在每一时刻不使用未来信息。逐步显露，是概率论中把静态随机变量转为动态过程的基本接口。停时理路停时Stopping time · 停止时刻是否已经发生可由当前信息判断、因而不依赖未来的随机时刻。允许沿随机时刻截取鞅，在附加条件下导出可选停止定理；有界鞅差则由 Azuma–Hoeffding 不等式理路Azuma–Hoeffding 不等式Azuma-Hoeffding inequality · Azuma inequality有界鞅差之和偏离初值的概率具有高斯型指数上界。给出指数集中。鞅收敛定理理路鞅收敛定理Martingale convergence theorem · Almost sure martingale convergence绝对一阶矩统一有界的离散下鞅具有有限的几乎必然极限，但未必在一阶均值中收敛。把绝对一阶矩统一有界的公平过程连接到几乎处处收敛理路几乎必然收敛Almost sure convergence除去一个零概率事件后，随机变量序列逐样本收敛。。若还要求平均绝对误差消失，则需用一致可积鞅的 L¹ 收敛结论理路鞅的 L¹ 收敛定理L1 martingale convergence theorem · Uniformly integrable martingale convergence · Closed martingale离散鞅一致可积当且仅当它在 L¹ 中收敛，也当且仅当它由一个可积随机变量的条件期望闭合。。在随机算法中，逐个暴露输入坐标得到的 Doob 鞅能度量每一步新增信息的影响；在金融模型中，风险中性定价也以贴现价格相对于市场滤过为鞅这一结构为核心。