PROFILPELAJAR.COM

マルチンゲール（英語: martingale）とは、確率論において、確率過程の性質の一つであり、過去の情報に制限して計算した期待値と未来の期待値が同一になる性質である。この性質は公平な賭け事を行っているときの持ち金の変遷に現れるものだと考えられており、マルチンゲールという名前も賭けにおける戦略（マルチンゲール法（英語版）^[1]）からとられたものである。

数学的には、情報というのは情報増大系{F_t}であたえられ、未来における期待値はこの情報による条件付期待値となる。

数学的定義

定義は連続時間の場合と離散時間の場合で多少異なっている。

連続時間マルチンゲールの定義

時刻の集合はT= [0, ∞) とし、情報増大系{F_t}_{t ∈ T}が与えられたとき、実数値連続時間確率過程 X_t, t ∈ T がマルチンゲールであるとは

任意の時刻 t について X_t は F_t可測
任意の時刻 t について X_t は可積分
任意の時刻 t > s について E[X_t|F_s]=X_s

が成立することである。

離散時間マルチンゲールの定義

時刻の集合はT= {1,2,3,…} とし、情報増大系{F_n}_{n ∈ T}が与えられたとき、実数値離散時間確率過程 X_n, n ∈ T がマルチンゲールであるとは

任意の時刻 n について X_n は F_n可測
任意の時刻 n について X_n は可積分
任意の時刻 n について E[X_n+1|F_n]=X_n

が成立することである。

定義において、最初の要請は X_t が F_t より多くの情報を与えないために必要であり、二番目の要請は条件付期待値が定義できるために必要であり、三番目の要請でこの確率過程が公平な賭けであることを特徴付けている。

例

離散時間マルチンゲールの例を挙げる。偏りのないコインを投げ続けたときの n 回目の結果を X_n と書くことにする。ただし、コインが表の場合は 1 で裏の場合は -1 と定める。情報増大系については、この X 以外に情報を与えるものはないとする。すなわち F_n を

${\mathcal {F}}_{n}:=\sigma (X_{1},X_{2},\dots ,X_{n})$

と定める。このとき、まず X 自身がマルチンゲールとなる。さらにその和

$S_{n}:=\sum _{i=1}^{n}X_{i}$

もマルチンゲールとなる。この S_n はコインの表に毎回1円を賭け続けたときの n 回目での持ち金を表しているといえる。もう少し複雑な賭けの戦略をとって、次の賭け金を現在の持ち金の関数になるようにしたとする。T₀を初期資金として、

$T_{n}:=T_{n-1}+f(T_{n-1})X_{n}$

の場合もやはり T_n はマルチンゲールとなる。このように戦略を変更することを、マルチンゲール変換 と呼ぶが、通常実行可能な戦略によるマルチンゲール変換によって得られる確率過程もマルチンゲールになることが知られている。

停止時刻

停止時刻(マルコフ時刻、stopping time、Markov time 等ともいう)は賭けをやめる時刻を数学的に定式化したものである。未来に起きる賭けの結果を知ってからやめることはできないが、過去に起きたことなら停止時刻に反映してもよいはずである。例えば、コイン投げに関係なさそうな「さっきカラスが鳴いたからやめる」というようなものも停止時刻でありうる。

数学的には T ∪ {∞ } に値をとる確率変数 τ が停止時刻であるとは