概念

离散鞅

鞅满足 E[X_{n+1}|F_n]=X_n，Doob 分解把随机过程拆为鞅与可料部分，鞅收敛定理保证有界鞅收敛。

阅读路径

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

离散鞅随机过程

01定义

鞅是「公平博弈」的数学化身：

E[X_{n+1}\mid\mathcal{F}_n]=X_n

——给定过去，未来的期望恰是现在。杜布分解、鞅不等式与收敛定理把「公平」炼成随机分析最锋利的工具。

鞅轨迹：波动任意，条件期望不动

公平 = 鞅，庄家有利 = 上鞅（ $E[X_{n+1}|\mathcal{F}_n]\leq X_n$ ）；赌场游戏的本质是上鞅——长期必输的数学证明。

任何适应过程 = 鞅 + 可料过程：把趋势与噪声严格分离；离散随机积分（可料策略）保鞅性——「赌注策略打不败公平游戏」。

$L^1$ 有界的鞅几乎必然收敛——上穿不等式证明路径不能无穷振荡；这是强大数律与贝叶斯后验收敛的统一引擎。

E[X_{n+1}\mid\mathcal{F}_n]=X_n,\quad E[X_\tau]=E[X_0]\ (\text{有界停时})

维勒 1939 年命名「鞅」（martingale 源自马具）；杜布 1953 年专著《随机过程》建立系统理论；迈耶将其推广到连续时间。

金融的无套利定价（风险中性测度下折现价格是鞅）、在线学习的遗憾分析、随机算法的浓度不等式（Azuma-Hoeffding）。

对称随机游走：鞅性质Sₙ = X₁+…+Xₙ（Xᵢ = ±1）：E[Sₙ₊₁ | S₁…Sₙ] = Sₙ，下一步期望回到当前值

步数 n20