Martingale-difference orthogonality (source code)

= Martingale-difference orthogonality

If $(M_n)$ is a square-integrable <martingale>, then its increments are orthogonal in $L^2$: for $i<j$,
$$
\mathbb E[(M_i-M_{i-1})(M_j-M_{j-1})]=0.
$$
More generally, multiplying the later increment by any square-integrable quantity measurable before it still gives expectation zero whenever the product is integrable.