Quadratic-variation measure (${\nu }_M$)

For a L2-bounded continuous martingale $M$, define a finite measure on the predictable sigma-algebra by ${\nu }_M(A)=\mathbb{E}{\int }_0^{\infty }{1}_{A}d[M]$. Its total mass is $\mathbb{E}[M{]}_{\infty }=\mathbb{E}{M}_{\infty }^2-\mathbb{E}{M}_0^2$. The Lebesgue space $L^2({\nu }_M)$ identifies predictable processes that agree ${\nu }_M$-almost everywhere. Integration against $M$ is an isometry from this space into L2-bounded continuous martingales starting at zero by the Itô isometry. This gives the correct integrand space even when the quadratic variation is random or is not absolutely continuous in time.