Predicable Processes

Definition (E\mathcal{E}, simple predictable processes)

We denote by E\mathcal{E} the set of all processes of the form X=i=1nai1(si,ti]×Fi+k=1ndk1{0}×F0k(★)\tag{★}X=\sum_{i=1}^{n}a_{i}\mathbb{1}_{(s_{i},t_{i}]\times F_{i}}+\sum_{k=1}^{n}d_{k}\mathbb{1}_{\{ 0 \}\times F_{0k}}where 0si<ti,FiFsi,i=1,,n0\le s_{i}<t_{i}, F_{i}\in\mathcal{F}_{s_{i}}, \forall i=1,\dots,n and F0kF0,k=1,,nF_{0k}\in\mathcal{F}_{0}, \forall k=1,\dots,n. We call E\mathcal{E} the set of R\mathcal{R}-simple processes or the space of elementary predictable processes

Remark

In (★) all the (si,ti]×Fi(s_{i},t_{i}]\times F_{{i}} can be assumed WLOG to be pairwise disjoint.

Definition (Λ\Lambda, the set of predictable locally integrable processes)

Let MM be a right continuous L2L^{2}-martingale. We denote by Λ2(P,M)\Lambda^{2}(\mathscr{P},M)the set of all RVs X:(R+×Ω,P)(R,B(R))X:(\mathbb{R}^{+}\times\Omega,\mathscr{P})\to(\mathbb{R},\mathcal{B}(\mathbb{R})) that are measurable (i.e. XX is a predictable process) s.t. 1[0,t]XL2(R+×Ω,P,μM),t0\mathbb{1}_{[0,t]}X\in L^{2}(\mathbb{R}^{+}\times\Omega,\mathscr{P},\mu_{M}),\quad t\ge 0

Linked from