鞅收敛定理-鞅收敛定理

在推导鞅收敛定理的前言里，总得有人先问一句：我们说了如此多漂亮的话，到底要能落地到哪个具体的数学对象上？别跟我提那些得理直气壮地声称自己“懂”啥，实际上不然。收敛定理本质上就是个筛选器，它不关心你用了多少高深的术语，只关心一个残酷的事实：当随机游走遇到边界时，它能不能像个听话的孩子一样乖乖停下，要么干脆摔个狗啃泥。 大量新手一上来就盯着“可预测性”要么“无平方根条件”这种抽象定义，结局发现连自己扔进白盒子的过程都卡住了。
实际上，回到现实世界挺好办。举个最好办的例子：想象你在赌桌上玩赌场里的“幸运赌徒”。你每次下注的倍数都是固定的，比如每次下 1 块钱，赢就是翻倍，输就是回本。
要是你一直下注，你的资金会麻利变成几百万。
这时候你问自己：“我手里的钱能不能一辈子不再缩水？”答案是肯定的，出于你只要不突然转变策略就行。
这种状态，就是鞅。它就像一条稳稳当当的直线，甭管如何走，挺久赶明儿你总能回到你出发的那个点。但现实往往没那么好办，赌场总有“庄家”，庄家总能给你一点甜头，要么让你多输一点。
这时候你手里的钱就会像泄了气的皮球，无限期地跌下去。
这时候就需求一个更严格的条件来保证你不会 Forever 跌落。 这个条件往往被大家误当作是“绝对可预测”，但换个说法可能更准：它要求你的策略务必是“局部可预测”的。
也就是说，你不能预知下一秒会形成啥，但你务必能预知“下一秒之后”大约率会形成啥，要么起码能预知负期望事件的概率是正的。
比如我在做随机模拟时，时常遇到一种策略：每次亏损时加倍下注，盈利时减半下注。乍一看，这仿佛是完美的对冲。但略微算算账就会发现，这种策略在长期来看，平均收益就是负无穷，也就是我们所说的“负期望”。
这就好比你在地下挖隧道，每次挖得越深，单位长度的平均收益就越低，最终你挖到地面时，账户余额可能只有原来的九牛一毛。
要是长期来看你一直处于“期望为负”的状态，那你的账户如何可能会收敛？它只会越来越小，直到归零。
故此，收敛定理的基石实际上是“期望为零”这个比较温和的约束，而不是“绝对可预测”。 再回到具体例子。我们来看看一个更典型的鞅模型：抛硬币。假设一个公平硬币，正面朝上概率是 0.5，反面也是 0.5。假设你每次抛出后，要是正面就加 1 分，反面就减 1 分。
这就构成了一个好办的随机游走（Random Walk），首项不可能为负，出于每步都是等概率的。
这显然知足鞅的定义，出于你已经赢了，你不可能再亏钱。
那么难题来了：这个序列会不会收敛？答案是肯定的。出于它的期望是 0，并且它是首项非负的（没有负数的状态），根据经典结局，它必然简直处处收敛。 这就解释了为啥我们常说“零和博弈”里的鞅是收敛的。出于对于公平的游戏，庄家和你之间的能量池是固定的，你的每一分努力最终都会以某种形式返还给系统，只是暂时分散到了墙上要么你身上的。但一旦加入不可预测的干扰项，比如我上面说的“加倍负赌注”策略，要么被庄家偷偷增添一点“庄家的优势”，这个好办的鞅就失效了。
这时候，你的序列就变成了一个“负期望鞅”。
这时候，数学上的结论就变得残酷了：它可能收敛到一个确定的数值，也可能发散到负无穷。
这意味着，你根本不能指望通过好办的策略就能保证最终结局。 更有趣的是，有时候就算期望为零的鞅确实收敛了，结局也不一定像你预期的那么“平滑”。
比如那个赌徒下注，别看最终收敛到了某个正数，但这个数的分布可能贼陡峭。你可能起码有 99% 的概率输掉所有钱，只有 1% 的概率能活下来且赚不少钱。
这就好比你在数学期望为 0 的悬崖上行走，别看你理论上能停住，但停住的位置可能极不寻常，就连可能在一个庞大的空洞里。
这种“均值零但方差极大”的现象，在金融投资里简直是个噩梦，出于这意味着你赚不了大钱，只能小赚小赔，一辈子无法凭运气翻身。 故此，当我们谈论鞅收敛定理时，我们实际上是在回答一个关于“策略稳定性”的根本难题。一个鞅要稳定收敛，它务必与此同时知足两个看似矛盾的条件：一方面，它不能出于长期的负期望而无限坠落；另一方面，它又务必充足“理性”，不让运气像无头苍蝇一样胡乱折腾。
要是运气忒好，它只会疯涨，变成负无穷；要是运气忒差，它只会疯跌，变成正无穷。
只有当运气和理性保持平衡，像公平硬币那样，当且仅当“零和”时，这个平衡才会被打破，序列才会稳稳地落在某个有限的数上。 最终，我想提醒一下大家，收敛定理并不是万能的。它有一个隐含的前提，那就是样本空间是有限的，要么说，你的随机变量在某种意义上是有界的。
要是你的随机游走能够无限放大，那它可能一辈子也构不成一个鞅，更别提收敛了。
故此，在工程应用要么金融建模中，我们常常需求人工构造额外的条件（比如压缩博弈、压缩策略等），来确保我们的模型别看看起来复杂，但底层逻辑依然能回归到“零和鞅”这个收敛的轨道上来。否则，你跑出来的结局可能就是一个无意义的数学怪物，一辈子无法复现。收敛不是魔法，它是数学对“理性”和“公平”最严格的平衡。