適合過程

確率過程論における適合過程（てきごうかてい、テンプレート:Lang-en-short）とは、「未来が見通せない」ような過程を指す。くだけた解釈をすれば、任意の実現結果と任意の時刻 n について、X_n が知られる時刻が n であるようなとき、過程 X は適合過程である。適合過程の概念は、例えばテンプレート:仮リンクの定義において本質的である。というのも、伊藤積分が意味を持つのは被積分過程が適合過程であるときに限られるからである。適合過程は non-anticipating または non-anticipative process と称されることもある。

定義

• $(\mathrm{\Omega },ℱ,\mathbb{P})$ を確率空間、
• $I$ を全順序 $\le$ を備えた添字集合（ $I$ は $\mathbb{N}$, ${\mathbb{N}}_0$, $[0,T]$, $[0,+\mathrm{\infty })$ であることが多い）、
• ${ℱ}_{\cdot }={\left({ℱ}_i\right)}_{i\in I}$ を完全加法族 $ℱ$ の情報系、
• $(S,\mathrm{\Sigma })$ を測度空間（状態空間）、
• $X:I\times \mathrm{\Omega }\to S$ を確率過程

とする。$X$ は、任意の $i\in I$ に対し $X_i:\mathrm{\Omega }\to S$ が $({ℱ}_i,\mathrm{\Sigma })$-可測関数であるとき、情報系 ${\left({ℱ}_i\right)}_{i\in I}$ に適合である（adapted to the filtration ${\left({ℱ}_i\right)}_{i\in I}$ ）という。

例

確率過程 X : [0, T] × Ω → R と、開集合から生成されるボレル集合族を備えた実数直線 R を考える。

• テンプレート:仮リンク F_•^X をとると、X は自動的に F_•^X-適合である。ここで F_t^X は時刻 0 ≤ s ≤ t での R のボレル集合 B の引き戻し テンプレート:Nowrap から生成される σ-加法族。直感的に言えば、自然情報系 F_•^X は時刻 t までの X の挙動の全ての情報を含んでいると見なせる。
• これを使って、適合的でない過程 テンプレート:Nowrap の簡単な例が作れる。 時刻 0 ≤ t < 1 に対し F_t を自明 σ-加法族 {∅, Ω} とし、時刻 テンプレート:Nowrap に対し F_t = F_t^X とする。自明 σ-加法族に対し可測となるのは定数関数に限られるから、時間帯 [0, 1] において定数関数でないどんな X も F_•-適合でない。そのような過程の「非定数的素性」は、より精緻な未来の σ-加法族 F_t（ テンプレート:Nowrap）からの情報を使用する（The non-constant nature of such a process "uses information" from the more refined "future" σ-algebras F_t, テンプレート:Nowrap）。

関連項目

• テンプレート:仮リンク
• Progressively measurable process