可預測過程

可預測過程是數學中隨機過程里的一個概念。如果一個隨機過程在某個時刻的取值在這個時刻之前就可能可以知道（可測），那麼就稱這個過程是可預測過程。

定義

設有

• 概率空間$(\Omega ,{\mathcal {F}},\mathbb {P} )$；
• 測度空間$(S,{\mathcal {A}})$，狀態空間；
• 有序的指標集$T$： 可以是非負實數集$[0,\infty )$、有限時間集$[0,T_{0}]$或離散時間$\mathbb {N}$；
• σ-代數${\mathcal {F}}$上的參考族$\mathbb {F} =\{{\mathcal {F}}_{t}|t\in T\}$；
• 隨機過程$X:T\times \Omega \to \mathbb {X} =\left(X_{t}\right)_{t\in T}$。

當指標集$T$是（可數的）離散集合，比如$\mathbb {N}$時，$\left(X_{t}\right)_{t\in \mathbb {N} }$是可預測過程若且唯若對任意的$n\in \mathbb {N}$，$X_{n+1}$都是${\mathcal {F}}_{n}$-可測的隨機變量。通俗地說，只要完全掌握了這個隨機過程在$t=n$時刻的所有信息，那麼$t=n+1$時的取值就是確定的。

當指標集$T$是（不可數的）連續集合，比如$[0,\infty )$時，$\left(X_{t}\right)_{t\in \mathbb {T} }$是可預測過程若且唯若對任意的$t\in \mathbb {T}$，$X_{t}$都是${\mathcal {F}}_{t_{-}}$-可測的隨機變量。其中的參考族${\mathcal {F}}_{t_{-}}=\bigcup _{s<t}{\mathcal {F}}_{s}$。換句話說，如果知道了隨機過程這個隨機過程$X$在$t$時刻之前任意時刻的取值，那麼幾乎必然有$X_{t}=\lim _{s\uparrow t}X_{s}$，也就是說隨機過程在一個特定時刻的取值是之前的取值的極限。另一種等價的定義方式是先定義可預測的σ-代數。給定了參考族$\mathbb {F} =\{{\mathcal {F}}_{t}|t\in T\}$後，可以定義$(\Omega ,T)$上的$\mathbb {F}$-可預測σ-代數$\mathbb {F} ^{p}$：它是由所有的左連續並且對每個$t$都可測的過程$Y=Y(\omega ,t)$生成的σ-代數。而一個隨機過程是可預測的，若且唯若$X=X(\omega ,t)$作為$(\Omega ,T)$上的隨機變量是$\mathbb {F} ^{p}$-可測的。

性質

• 任意的左連續適應過程，或者一列左連續適應過程的（概率為1的）極限，都是可預測過程。實際上，可預測過程的集合就是所有左連續適應過程生成的σ-代數。
• 任意關於可預測過程的可測函數仍然是可預測過程。
• 只有在可預測過程上才能定義關於半鞅的積分。

Doob-Meyer分解

可預測過程可以用在分解半鞅過程上。Doob-Meyer分解定理說明，設$X=\left(X_{t}\right)_{t\in \mathbb {T} }$是一個（局部）下鞅，那麼存在唯一的（局部）鞅$M=\left(M_{t}\right)_{t\in \mathbb {T} }$和單增的局部可積的可預測過程$A=\left(A_{t}\right)_{t\in \mathbb {T} }$，使得

$X(t)=X(0)+M(t)+A(t).$

舉例來說，設 $B=\left(B_{t}\right)_{t\in \mathbb {T} }$ 是一個標準布朗運動過程，那麼過程 $\left(B_{t}^{2}\right)_{t\in \mathbb {T} }$ 就是一個下鞅，對應的分解是$M(t)=B_{t}^{2}-t$和$A(t)=t$.

參見

• 適應過程
• 循序可測過程