在機率論中，平賭是滿足下述條件的隨機過程：已知過去某一 時刻 s 以及之前所有時刻的觀測值，若某一時刻 t 的觀測值的條件期望等於過去某一時刻 s 的觀測值，則稱這一隨機過程是平賭。而於博弈論中，平賭經常用來作為公平博弈的數學模型。 歷史 鞅的原名「martingale」原指一類於 18 世紀流行於法國的投注策略，稱為加倍賭注法。這類策略中最簡單的一種策略是為博弈設計的。在博弈中，賭徒會擲硬幣，若硬幣正面向上，賭徒會贏得賭本，若硬幣反面向上，賭徒會輸掉賭本。這一策略使賭徒在輸錢後加倍賭金投注，為的是在初次贏錢時贏回之前輸掉的所有錢，同時又能另外贏得與最初賭本等值的收益。當賭徒的財產和可用時間同時接近無窮時，他擲硬幣後硬幣正面向上的機率會接近 1，由此看來，加倍賭注法似乎是一種必然能贏錢的策略。然而，由於現實中賭徒的資金是有限的，賭金的指數增長最終會導致使用這一策略的賭徒破產。 鞅的概念首先是由保羅皮埃爾萊維於 1934 年提出的，但他只提出了離散時間的版本，而且沒有給予命名。直到 1939 年，將此概念推廣到連續時間的情況，並且首次提出「martingale」這個名稱。等人在鞅的相關理論的初期發展做出重大貢獻，而完成這些工作的部分動機是為了表明成功的投注策略不可能存在。此外，伊藤清在分析應用方面作出了重要的貢獻。從 1970 年代開始，鞅論就在純粹數學和應用數學的很多領域中有廣泛的應用，特別是在數學物理和金融數學中。 定義 離散時間鞅 離散時間鞅是對於所有 n 都滿足 mathbf E vert X_n vert infty mathbf E X_n1mid X_1ldotsX_nX_nquad nin mathbb N 的時間離散的隨機過程 X1，X2，X3，也就是說，已知之前所有觀測值，若下一次觀測值的條件期望等於本次觀測值，則稱這一隨機過程（即隨機變數序列）是離散時間鞅。 關於隨機過程的離散時間鞅 相對來說更為一般的定義如下：若對於所有 n 都滿足 mathbf E vert Y_n vert infty mathbf E Y_n1mid X_1ldotsX_nY_nquad nin mathbb N 則稱隨機過程 Y1，Y2，Y3， 是關於另一隨機過程 X1，X2，X3， 的鞅。 連續時間鞅 與離散時間鞅的定義相似，連續時間鞅的定義為：若對於所有 t 都滿足 mathbf E vert Y_t vertinfty mathbf E Y_t mid X_tau tau leq s Y_s forall s leq t 則稱關於隨機過程 Xt 的連續時間鞅是隨機過程 Yt 。 上述定義表達了鞅的性質，即在 s t 的條件下，已知時刻 s 以及之前所有時刻的觀測值，若時刻 t 的觀測值的條件期望等於時刻 s 的觀測值，則隨機過程是鞅。 廣義的定義 更為一般性的定義如下：若隨機過程 YTtimes Omega to S 滿足如下性質，則稱 Y 是一個關於濾鏈 Σ和機率測度 P 的鞅。 Σ 是給定機率空間 Ω Σ P 的； Y 是適應於濾鏈 Σ 的適應過程，即對於指標集 T 中的每一 t ，隨機變數 Yt 是一個 Σt 可測函式； 對於任意 t ，Yt 存在於 Lp 空間 L1 Ω Σt P S 中，即 mathbf E_mathbf P Y_t infty 對於所有 s 和 t （s t ）和所有 F Σs， mathbf E_mathbf P left Y_tY_schi_Fright0 其中 χF 表示事件 F 的指示函式。在 Grimmett 和 Stirzaker 的《Probability and Random Processes》一書中，最後一個條件被表示為條件期望的一般形式： Y_s mathbf E_mathbf P Y_t Sigma_s 要注意的重點是鞅成立的性質與濾鏈以及關於選定期望的機率測度都有關。Y 可能是某一測度的鞅，但不是另一測度的鞅；而要說明某一伊藤過程是鞅，則可以利用找出相關的測度。 鞅的例子 設 Xn 是一個賭徒 n 次拋擲公平硬幣後的財產，規則是如果硬幣正面朝上，則賭徒贏得 1 美元，硬幣反面朝上，則賭徒輸掉 1 美元。在已知過去不同時刻所擁有的財產之下，下一次試驗後賭徒財產的條件期望與其現在的財產相等，故這一隨機過程是鞅。這個例子稱為賭徒謬誤。 令 Yn Xn2 n ，其中 Xn 是上例中賭徒的財產，則隨機過程 Yn n 1 2 3 是鞅。這一例子可以表明賭徒的全部收益或損失大致在拋擲次數的正負平方根之間變化。 （棣莫弗鞅）設拋擲的是有偏硬幣（或稱為不公平硬幣），正面向上的機率為 p，反面向上的機率為 q 1 p 。令 X_n1X_npm 1 正面情況用 ，反面情況用 。令 Y_nqpX_n 則 Yn n 1 2 3 是關於 Xn n 1 2 3 的鞅。證明如下： begin align E Y_n1 mid X_1dotsX_n p qpX_n1 q qpX_n1 p qp qpX_n q pq qpX_n q qpX_n p qpX_n qpX_nY_n end align （波利亞罐子模型）一個罐子中最初裝有 r 個紅球和 b 個藍球。某人隨機取出一個球，然後將此球與另一個與此球顏色相同的球放回罐子中。令 Xn 為重複上述步驟 n 次後罐子中的紅球數，令 Yn Xn n r b。這時隨機過程 Yn n 1 2 3 是鞅。 （統計學中的似然比檢驗）某一總體可能是按照機率密度 f 分佈，也可能是按照機率密度 g 分佈。從總體中取出一個隨機樣本，資料為 X1 Xn 。令 Yn 為 似然比： Y_nprod_i1nfrac g X_if X_i （上式在應用中用作檢驗統計量。）若總體實際上是按照機率密度 f 而不是 g 分佈，則 Yn n 1 2 3 是關於 Xn n 1 2 3 的鞅。 設每一變形蟲不是以機率 p 分裂成兩個變形蟲，就是以機率 1 p 最終死亡。令 Xn 為 n 代後變形蟲的存活數目（若種群在某一時刻滅絕，則這一時刻的 Xn 0）。令 r 為。（找出 r 關於 p 的函式在實際應用中是非常有用的。提示：已知最初的一個變形蟲已經分裂了，則這個變形蟲的後代最終滅絕的機率等於其分裂直接得到的兩個後代中任何一個死亡的機率。）則 rX_nn123dots 是關於 Xn n 1 2 3 的鞅。 一個大小固定生態系統中，任一特定物種的個體數量都是一個（離散）時間函式，可被視為一個隨機過程（隨機變數序列）。這一隨機過程是下的鞅。 若 Nt t 0 是強度為 λ 的泊松過程，則補償泊松過程 Nt λt t 0 是具有右連續且有左極限的樣本軌道的連續時間鞅（更確切地說是區域性鞅）。 利用計算機軟體，鞅序列可以很容易地製作出來： Microsoft Excel 或類似的電子製表軟體：在 A1（左上角）單元格中輸入 00，在下方的 A2 單元格中輸入 A1NORMINV RAND 01。這時下拉複製此單元格，得到大約 300 個單元格，這樣就能建立均值為 0，標準差為 1 的鞅序列。在這些單元格仍處於選中狀態的情況下，利用圖表建立工具建立這些值的圖表。這時每次重新計算後（在 Excel 中可按 F9 實現），圖表都會顯示出不同的鞅序列。 R 語言：若要再現上述例子，可執行如下命令。若要顯示另一個鞅，重新輸入如下命令即可。 plot cumsum rnorm 100 mean0 sd1 tl coldarkblue lwd3 下鞅與上鞅 （離散時間）下鞅（submartingale，又稱亞鞅）是滿足 E X_n1X_1ldotsX_n ge X_nquad nin mathbb N 的可積隨機過程 X1，X2，X3，。 類似地，（離散時間）上鞅（supermartingale，又稱超鞅）是滿足 E X_n1X_1ldotsX_n le X_nquad nin mathbb N 的可積隨機過程 X1，X2，X3，。 下鞅或上鞅的定義都可由前述的離散時間和連續時間鞅的更為一般的定義轉換得到，只需將條件期望的等式代換成不等式即可。 這裡給出一個區分下鞅和上鞅的記憶方法：生活是一個上鞅：隨著時間的推進，期望降低。 例子 每一個鞅既是下鞅又是上鞅，反過來任何既是下鞅又是上鞅的隨機過程是鞅。 再次考慮賭徒的例子，若硬幣正面向上，賭徒贏得 1 美元，若硬幣反面向上，賭徒輸掉 1 美元。設此時硬幣是有偏的，則硬幣正面向上的機率為 p 。 若 p 等於 12，平均起來，賭徒既未贏錢也未輸錢，則隨著時間的流逝，賭徒的財產是一個鞅。 若 p 小於 12，平均起來，賭徒輸了錢，則隨著時間的流逝，賭徒的財產是一個上鞅。 若 p 大於 12，平均起來，賭徒贏了錢，則隨著時間的流逝，賭徒的財產是一個下鞅。 由延森不等式求出的鞅的凸函式（convex function）是下鞅。例如，公平硬幣博弈中賭徒財產的平方是下鞅（同時也是根據 Xn2 n 是鞅的事實得出的）。類似地，鞅的凹函式（concave function）是一個上鞅。 鞅與停時 關於隨機過程 X1，X2，X3， 的停時是隨機變數 τ，這一隨機變數具有如下性質：對於每一個時間 ，事件 τ t 的發生與否僅取決於 X1，X2，X3，，Xt 的取值。從定義中可以感受到的直覺是在任一特定時刻 t，我們都可以知道在這一時刻隨機過程是否到了停時。現實生活中停時的例子如賭徒離開賭桌的時刻，這一時刻可能是賭徒以前贏得錢財的函式（例如，僅當他沒有錢時，他才可能離開賭桌），但是他不可能根據還未完成的博弈的結果來選擇離開還是留下。 上述停時定義滿足強條件，下面給出一個弱條件的停時定義：若事件 τ t 的發生與否統計獨立於 Xt1，Xt2， 但並不是完全決定於時刻 t 以及之前的過程歷史，則隨機變數 τ 是停時。雖然這是一個弱條件，但在需要用到停時的證明中的一些情況也算是足夠強的條件。 鞅的一個基本性質是若 X_t_t0 是下 上鞅且 tau 是停時，由 X_ttauX_mintaut 定義的對應停止過程 X_ttau_t0 也是下 上鞅。 停時鞅的概念引出了一系列定理，例如可選停止定理（又稱可選抽樣定理）：在特定條件下，停時的鞅的期望值等於其初始值。利用這一定理，我們可以證明對於一個壽命有限且房產有限的賭徒，成功的投注策略不可能存在。 參見 吾妻不等式 布朗運動 伊藤微積分 鞅中心極限定理 鞅表示定理 馬爾可夫鏈 馬爾可夫性質 半鞅 參考文獻 腳註 參考書目 平裝 有關鞅的簡報講義 歐洲輪盤策略：機率論 Category 隨機過程 Category 鞅論 Category 博弈論