数学 › 確率論 › マルチンゲールとブラウン運動
中心化ガウス過程
定義 5.4(「マルチンゲールとブラウン運動」§5)
確率過程 (Xt)t≥0 が、任意の有限個の時刻 t1,…,tk≥0 と任意の実数 a1,…,ak に対し ∑i=1kaiXti が正規分布(分散 0 の退化した場合も含む)に従うとき、(Xt) をガウス過程という。さらにすべての t で E[Xt]=0 のとき中心化ガウス過程という。関数 (s,t)↦E[XsXt] をその共分散関数という。
本文で読む(前後の説明と例)→
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理
証明で明示的に参照している定理は、まだありません。