在數學 中，循序可測 是隨機過程 的一種性質。循序可測性質是隨機過程研究中用到的一種重要性質，能夠保證停過程 的可測性 。循序可測性比隨機過程的適應性更加嚴格[1] :4-5 。循序可測過程在伊藤積分 理論中有重要應用。
設有
概率空間
(
Ω
,
F
,
P
)
{\displaystyle (\Omega ,{\mathcal {F}},\mathbb {P} )}
測度空間
(
X
,
A
)
{\displaystyle (\mathbb {X} ,{\mathcal {A}})}
σ-代數
F
{\displaystyle {\mathcal {F}}}
參考族
{
F
t
|
t
⩾
0
}
{\displaystyle \{{\mathcal {F}}_{t}|t\geqslant 0\}}
隨機過程
X
:
T
=
[
0
,
∞
)
×
Ω
→
X
=
(
X
t
)
t
∈
T
{\displaystyle X:T=[0,\infty )\times \Omega \to \mathbb {X} =\left(X_{t}\right)_{t\in T}}
指標集
T
{\displaystyle T}
[
0
,
T
0
]
{\displaystyle [0,T_{0}]}
N
{\displaystyle \mathbb {N} }
則隨機過程
(
X
t
)
t
∈
T
{\displaystyle \left(X_{t}\right)_{t\in T}}
若且唯若 對任意的時刻
t
∈
T
{\displaystyle t\in T}
映射
X
|
[
0
,
t
]
:
[
0
,
t
]
×
Ω
⟶
X
{\displaystyle X\left|_{[0,t]}:\,\,[0,t]\times \Omega \,\,\longrightarrow \,\,\mathbb {X} \right.}
(
s
,
ω
)
↦
X
s
(
ω
)
{\displaystyle (s,\omega )\quad \mapsto \,\,X_{s}(\omega )}
都是
B
o
r
e
l
(
[
0
,
t
]
)
⊗
F
t
{\displaystyle \mathrm {Borel} ([0,t])\otimes {\mathcal {F}}_{t}}
[2] :110 。
(
X
t
)
t
∈
T
{\displaystyle \left(X_{t}\right)_{t\in T}}
適應過程 [1] :5 。
子集
P
⊆
[
0
,
∞
)
×
Ω
{\displaystyle P\subseteq [0,\infty )\times \Omega }
指示過程 ：
X
s
(
ω
)
:=
1
P
(
s
,
ω
)
{\displaystyle X_{s}(\omega ):=\mathbf {1} _{P}(s,\omega )}
是循序可測過程。所有循序可測的子集
P
{\displaystyle P}
[
0
,
∞
)
×
Ω
{\displaystyle [0,\infty )\times \Omega }
P
r
o
g
{\displaystyle \mathrm {Prog} }
(
X
t
)
t
∈
T
{\displaystyle \left(X_{t}\right)_{t\in T}}
若且唯若 它（在被看作
[
0
,
∞
)
×
Ω
{\displaystyle [0,\infty )\times \Omega }
P
r
o
g
{\displaystyle \mathrm {Prog} }
[3] :190 。
如果一個適應隨機過程是左連續 或右連續的，那麼它是循序可測過程。特別地，左極限右連續 的適應隨機過程是循序可測過程[3] :191 。
設
W
=
(
W
t
(
ω
)
;
t
∈
T
,
ω
∈
Ω
)
{\displaystyle W=\left(W_{t}(\omega )\,;\,\,t\in T,\,\omega \in \Omega \right)}
H
=
(
H
t
(
ω
)
;
t
∈
T
,
ω
∈
Ω
)
{\displaystyle H=\left(H_{t}(\omega )\,;\,\,t\in T,\,\omega \in \Omega \right)}
W
{\displaystyle W}
{
F
t
W
}
{\displaystyle \{{\mathcal {F}}_{t}^{W}\}}
E
[
∫
T
H
(
t
)
2
d
t
]
<
∞
{\displaystyle \mathbb {E} [\int _{T}H(t)^{2}\mathrm {d} t]<\infty }
H
{\displaystyle H}
W
{\displaystyle W}
∫
T
H
(
t
)
d
W
t
{\displaystyle \int _{T}H(t)\mathrm {d} W_{t}}
[2] :146-147 ，而且滿足
E
[
(
∫
T
H
(
t
)
d
W
t
)
2
]
=
E
[
∫
T
H
(
t
)
2
d
t
]
.
{\displaystyle \mathbb {E} \left[\left(\int _{T}H(t)\mathrm {d} W_{t}\right)^{2}\right]=\mathbb {E} \left[\int _{T}H(t)^{2}\mathrm {d} t\right].}
[3] :192 [2] :141 。
一個隨機過程
X
=
(
X
t
(
ω
)
;
t
∈
T
,
ω
∈
Ω
)
{\displaystyle X=\left(X_{t}(\omega )\,;\,\,t\in T,\,\omega \in \Omega \right)}
修正 （modification ）是指另一個隨機過程
Y
=
(
Y
t
(
ω
)
;
t
∈
T
,
ω
∈
Ω
)
{\displaystyle Y=\left(Y_{t}(\omega )\,;\,\,t\in T,\,\omega \in \Omega \right)}
∀
t
∈
T
,
P
(
X
t
=
Y
t
)
=
1.
{\displaystyle \forall t\in T,\,\,\mathbb {P} (X_{t}=Y_{t})=1.}
[2] :110 。
![{\displaystyle [0,T_{0}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a01d43506036829bdf63a3106f25b26e503d06a7)
![{\displaystyle X\left|_{[0,t]}:\,\,[0,t]\times \Omega \,\,\longrightarrow \,\,\mathbb {X} \right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6ad386904825852771f1c1370503d32f1ac87909)
![{\displaystyle \mathrm {Borel} ([0,t])\otimes {\mathcal {F}}_{t}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/20fe3858e271e6fd86fbdb6a6281780354d0de8b)
![{\displaystyle \mathbb {E} [\int _{T}H(t)^{2}\mathrm {d} t]<\infty }](https://wikimedia.org/api/rest_v1/media/math/render/svg/dca8623a1a197cecc34793daefa13937721c9e27)
![{\displaystyle \mathbb {E} \left[\left(\int _{T}H(t)\mathrm {d} W_{t}\right)^{2}\right]=\mathbb {E} \left[\int _{T}H(t)^{2}\mathrm {d} t\right].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/790cda510727424df9ee2f4f9f9d6ae751024d88)
