マルチンゲールのソースを表示
←
マルチンゲール
ナビゲーションに移動
検索に移動
あなたには「このページの編集」を行う権限がありません。理由は以下の通りです:
この操作は、次のグループに属する利用者のみが実行できます:
登録利用者
。
このページのソースの閲覧やコピーができます。
{{出典の明記|date=2013年1月}} '''マルチンゲール'''（{{Lang-en|martingale}}）とは、確率論において、[[確率過程]]の性質の一つであり、過去の情報に制限して計算した期待値と未来の期待値が同一になる性質である。 この性質は公平な賭け事を行っているときの持ち金の変遷に現れるものだと考えられており、マルチンゲールという名前も賭けにおける戦略（{{仮リンク|マルチンゲール法|en|Martingale (betting system)}}<ref>１／2の確率で勝てば賭け金が倍、残りの１／2の確率で０になる、という賭けにおいて、”負けた場合にはその前に賭けた額の倍を賭け、勝った場合に賭けを止め、初回の最低掛け金の段階に戻る”という手法。別名「倍プッシュ」。</ref>）からとられたものである。 数学的には、情報というのは[[情報増大系]]{''F''<sub>''t''</sub>}であたえられ、未来における期待値はこの情報による[[条件付期待値]]となる。 ==数学的定義== 定義は連続時間の場合と離散時間の場合で多少異なっている。 ===連続時間マルチンゲールの定義=== 時刻の集合は''T''= [0, ∞) とし、情報増大系{''F''<sub>''t''</sub>}<sub>''t ∈ T''</sub>が与えられたとき、 実数値連続時間確率過程 ''X''<sub>''t''</sub>, t ∈ T がマルチンゲールであるとは * 任意の時刻 ''t'' について ''X''<sub>''t''</sub> は ''F''<sub>''t''</sub>可測 * 任意の時刻 ''t'' について ''X''<sub>''t''</sub> は可積分 * 任意の時刻 ''t'' > ''s'' について E[''X''<sub>''t''</sub>|''F''<sub>''s''</sub>]=''X''<sub>''s''</sub> が成立することである。 ===離散時間マルチンゲールの定義=== 時刻の集合は''T''= {1,2,3,…} とし、情報増大系{''F''<sub>''n''</sub>}<sub>''n ∈ T''</sub>が与えられたとき、 実数値離散時間確率過程 ''X''<sub>''n''</sub>, n ∈ T がマルチンゲールであるとは * 任意の時刻 ''n'' について ''X''<sub>''n''</sub> は ''F''<sub>''n''</sub>可測 * 任意の時刻 ''n'' について ''X''<sub>''n''</sub> は可積分 * 任意の時刻 ''n'' について E[''X''<sub>''n''+1</sub>|''F''<sub>''n''</sub>]=''X''<sub>''n''</sub> が成立することである。 定義において、最初の要請は ''X''<sub>''t''</sub> が ''F''<sub>''t''</sub> より多くの情報を与えないために必要であり、二番目の要請は条件付期待値が定義できるために必要であり、三番目の要請でこの確率過程が公平な賭けであることを特徴付けている。 ==例== 離散時間マルチンゲールの例を挙げる。偏りのないコインを投げ続けたときの ''n'' 回目の結果を ''X''<sub>''n''</sub> と書くことにする。ただし、コインが表の場合は 1 で裏の場合は -1 と定める。 情報増大系については、この ''X'' 以外に情報を与えるものはないとする。すなわち ''F''<sub>''n''</sub> を {{Indent|<math>\mathcal{F}_n := \sigma(X_1, X_2, \dots, X_n)</math>}} と定める。このとき、まず ''X'' 自身がマルチンゲールとなる。さらにその和 {{Indent|<math>S_n := \sum_{i=1}^n X_i</math>}} もマルチンゲールとなる。この ''S''<sub>''n''</sub> はコインの表に毎回1円を賭け続けたときの ''n'' 回目での持ち金を表しているといえる。もう少し複雑な賭けの戦略をとって、次の賭け金を現在の持ち金の関数になるようにしたとする。''T''<sub>0</sub>を初期資金として、 {{Indent|<math>T_n := T_{n-1}+f(T_{n-1})X_n</math> }} の場合もやはり ''T''<sub>''n''</sub> はマルチンゲールとなる。このように戦略を変更することを、'''マルチンゲール変換''' と呼ぶが、通常実行可能な戦略によるマルチンゲール変換によって得られる確率過程もマルチンゲールになることが知られている。 ==停止時刻== 停止時刻(マルコフ時刻、stopping time、Markov time 等ともいう)は賭けをやめる時刻を数学的に定式化したものである。未来に起きる賭けの結果を知ってからやめることはできないが、過去に起きたことなら停止時刻に反映してもよいはずである。例えば、コイン投げに関係なさそうな「さっきカラスが鳴いたからやめる」というようなものも停止時刻でありうる。 数学的には ''T'' ∪ {∞ } に値をとる確率変数 τ が停止時刻であるとは * 任意の時刻 ''t'' ∈ ''T'' にたいして、{τ ≤ t } ∈ ''F''<sub>''t''</sub> を満たすことである。これは、現在ちょうど停止時刻であるかまたは過去に停止時刻があったかどうかは現在得られる情報であるという意味である。 ===任意抽出定理=== ここでは離散時刻の任意抽出定理を解説する。 ''σ'' , ''τ'' を ''σ'' ≦ ''τ'' を満たす停止時刻とする。また、''Y''<sub>''τ'' ∧''n'' </sub> を[[一様可積分]]な[[劣マルチンゲール]]とする。この時、 {{Indent|<math>E(Y_{\sigma}) \leq E(Y_{\tau})</math>}} であり、かつ {{Indent|<math>Y_{\sigma} \leq E(Y_{\tau} | \mathcal{F}_{\sigma}) </math>}} が成立する。これを任意抽出定理という。 ここで ''τ'' ∧ ''n'' は min(''τ'', ''n'') を意味する。 <!-- == 出典 == {{Reflist}} --> == 脚注 == <references /> {{確率論}} {{Normdaten}} {{DEFAULTSORT:まるちんけえる}} [[Category:マルチンゲール理論|*]] [[Category:確率過程]] [[Category:数学に関する記事]]
このページで使用されているテンプレート:
テンプレート:Indent
(
ソースを閲覧
)
テンプレート:Lang-en
(
ソースを閲覧
)
テンプレート:Normdaten
(
ソースを閲覧
)
テンプレート:仮リンク
(
ソースを閲覧
)
テンプレート:出典の明記
(
ソースを閲覧
)
テンプレート:確率論
(
ソースを閲覧
)
マルチンゲール
に戻る。
ナビゲーション メニュー
個人用ツール
ログイン
名前空間
ページ
議論
日本語
表示
閲覧
ソースを閲覧
履歴表示
その他
検索
案内
メインページ
最近の更新
おまかせ表示
MediaWiki についてのヘルプ
特別ページ
ツール
リンク元
関連ページの更新状況
ページ情報