鞅（martingale）

想像一個賭徒坐在一場完全公平的賭局前，押注擲硬幣、賠率對等。每一回合過後他的財富往上或往下跳，但這場賭局對任何一方都沒有優勢。現在問：在已經發生的一切之下——每一次擲硬幣、整段歷史中的每一次輸贏——對我下一回合過後財富的最佳預測是多少？對一場公平賭局而言，答案很簡單：恰好就是我現在所擁有的。鞅就是任何具備這個性質、隨時間演變的量的數學名稱。它是公平賭局的精確模型，也是現代機率論中最強大的單一工具。

形式上，鞅是一列隨機變數 M_0, M_1, M_2, ...，滿足兩件事。第一，每個 M_n 都可積，意思是 E[|M_n|] 有限，使它的期望有意義。第二，也是關鍵：在給定整段過去之下，下一個值的條件期望等於現在的值：E[M_(n+1) given M_0, ..., M_n] = M_n。請慢慢讀——這並不是說下一個值會等於現在的值（財富仍會上下擺動），而是說下一個值的平均，依未來從此處展開的所有方式加權後，恰好落在你現在所在之處。對兩邊取普通期望並逐步展開，得到對每個 n 都有 E[M_n] = E[M_0]：鞅的均值隨時間保持不變。一場預測只會上升的有利賭局是下鞅（submartingale）；一場只會下降的不利賭局是上鞅（supermartingale）。

為什麼一個聽起來如此簡單的條件這麼重要？因為驚人地廣泛的一類量，原來都是偽裝起來的鞅——一連串公平賭注的累積和、概似比、金融選擇權的價值，甚至是一個被一片片揭露的固定隨機變數。一旦你認出某個鞅，一整批深刻的定理立刻解鎖：你無法用聰明的下注策略打敗它、它很難遊蕩得太遠（極大不等式），而在溫和條件下它必定安定下來收斂到一個極限（收斂定理）。誠實的提醒：「公平」只是關於條件期望的陳述——鞅在個別路徑上仍可能漂得任意遠，「期望值保持不變」與「值維持在接近常數」是非常不同的兩回事。