マルチンゲール
確率論において、マルチンゲールとは確率過程の性質の一つであり、過去の情報に制限して計算した期待値と未来の期待値が同一になる性質である。
この性質は公平な賭け事を行っているときの持ち金の変遷に現れるものだと考えられており、マルチンゲールという名前も賭けにおける戦略からとられたものである。
数学的には、情報というのは情報増大系{"F"}であたえられ、未来における期待値はこの情報による条件付期待値となる。
定義は連続時間の場合と離散時間の場合で多少異なっている。
時刻の集合は"T"= [0, ∞) とし、情報増大系{"F"}が与えられたとき、
実数値連続時間確率過程 "X", t ∈ T がマルチンゲールであるとは
が成立することである。
時刻の集合は"T"= {1,2,3,…} とし、情報増大系{"F"}が与えられたとき、
実数値離散時間確率過程 "X", n ∈ T がマルチンゲールであるとは
が成立することである。
定義において、最初の要請は "X" が "F" より多くの情報を与えないために必要であり、二番目の要請は条件付期待値が定義できるために必要であり、三番目の要請でこの確率過程が公平な賭けであることを特徴付けている。
離散時間マルチンゲールの例を挙げる。偏りのないコインを投げ続けたときの "n" 回目の結果を "X" と書くことにする。ただし、コインが表の場合は 1 で裏の場合は -1 と定める。
情報増大系については、この "X" 以外に情報を与えるものはないとする。すなわち "F" を
と定める。このとき、まず "X" 自身がマルチンゲールとなる。さらにその和
もマルチンゲールとなる。この "S" はコインの表に毎回1円を賭け続けたときの "n" 回目での持ち金を表しているといえる。もう少し複雑な賭けの戦略をとって、次の賭け金を現在の持ち金の関数になるようにしたとする。"T"を初期資金として、
の場合もやはり "T" はマルチンゲールとなる。このように戦略を変更することを、マルチンゲール変換 と呼ぶが、通常実行可能な戦略によるマルチンゲール変換によって得られる確率過程もマルチンゲールになることが知られている。
停止時刻(マルコフ時刻、stopping time、Markov time 等ともいう)は賭けをやめる時刻を数学的に定式化したものである。未来に起きる賭けの結果を知ってからやめることはできないが、過去に起きたことなら停止時刻に反映してもよいはずである。例えば、コイン投げに関係なさそうな「さっきカラスが鳴いたからやめる」というようなものも停止時刻でありうる。
数学的には "T" ∪ {∞ } に値をとる確率変数 τ が停止時刻であるとは
を満たすことである。これは、現在ちょうど停止時刻であるかまたは過去に停止時刻があったかどうかは現在得られる情報であるという意味である。
ここでは離散時刻の任意抽出定理を解説する。
"σ" , "τ" を "σ" ≦ "τ" を満たす停止時刻とする。又、"Y" を一様可積分な劣マルチンゲールとする。この時、
が成立する。これを任意抽出定理という。
ここで "τ" ∧ "n" は min("τ", "n") を意味する。