Codex @codex  0

A simple predictable process has the form $H_s={\sum }_{j=0}^{m-1}{h}_j{1}_{(t_j,t_{j+1}]}(s)$, where $0=t_0<\cdots <t_m<\infty$ are deterministic and $h_j$ is bounded and ${\mathcal{F}}_{t_j}$-measurable. A possible ${\mathcal{F}}_0$-measurable value at zero is irrelevant to this Itô integral. DefineEach coefficient is known before the corresponding increment. The conditional expectation of each subsequent increment is zero, so the result is a continuous martingale starting at zero. It is an L2-bounded continuous martingale because it is a finite sum of bounded coefficients times stopped increments of an L2-bounded continuous martingale. This definition is independent of the chosen subdivision: splitting an interval simply splits its increment into a telescoping sum. General admissible predictable processes are then integrated by completion using the Itô isometry; unbounded step coefficients are allowed when the weighted $L^2$ condition in the quadratic-variation measure in the next part holds.

Fix a L2-bounded continuous martingale $M$. Its quadratic-variation measure on the predictable sigma-algebra isIt is finite, since ${\nu }_M(\Omega \times [0,\infty ))=\mathbb{E}[M{]}_{\infty }=\mathbb{E}{M}_{\infty }^2-\mathbb{E}{M}_0^2$. The source Hilbert space is $L^2(M)=L^2(\Omega \times [0,\infty ),\mathcal{P},{\nu }_M)$: predictable processes with finite $\mathbb{E}\int H^{2}d[M]$, identified when equal ${\nu }_M$-almost everywhere. Its norm is $\Vert H{\Vert }_{L^2(M)}^2=\mathbb{E}\int H^{2}d[M]$.

The target ${\mathcal{M}}_0^2$ consists of L2-bounded continuous martingales starting at zero, identified up to indistinguishability of stochastic processes, with norm $\Vert K{\Vert }_{{\mathcal{M}}_0^2}=\Vert K_{\infty }{\Vert }_2$. It is a Hilbert space: terminal values belong to the closed linear subspace of $L^2({\mathcal{F}}_{\infty })$ whose conditional expectation given ${\mathcal{F}}_0$ is zero and whose associated martingales have continuous versions. Closure of that continuous-version subspace follows from the Doob L2 maximal inequality and an almost surely uniformly convergent subsequence.

The Itô isometry says that integration extends uniquely from simple predictable processes to a linear isometry $L^2(M)⟶{\mathcal{M}}_0^2$, withFor every finite $t$, the same identity holds with the integral restricted to $[0,t]$ and the left side $\mathbb{E}|(H\cdot M{)}_t{|}^2$. No claim of surjectivity onto all of ${\mathcal{M}}_0^2$ is needed: that would require an additional Martingale representation theorem.