Martingale difference sequence ($\mathbb{E}[D_n\mid {\mathcal{F}}_{n-1}]=0$)

A martingale difference sequence is an adapted sequence of integrable random variables $D_n$, $n\ge 1$, with $\mathbb{E}[D_n\mid {\mathcal{F}}_{n-1}]=0$. Its partial sums are a martingale, and martingale increments give such sequences. If the differences are square-integrable, they are uncorrelated random variables: for $j<k$, conditioning on ${\mathcal{F}}_{k-1}$ gives $\mathbb{E}{D}_j{D}_k=0$.

A time-indexed increment $D_j$ with $\mathbb{E}(D_j\mid {\mathcal{F}}_{j-1})=0$ is a martingale difference relative to its history. Square-integrable differences at different indices are orthogonal, allowing their conditional variances to accumulate. They need not be independent.

If a martingale has increments bounded by a single deterministic constant, then $M_n/n\to 0$ almost surely. Its increments form a uniformly $L^2$-bounded martingale difference sequence; apply the strong law for uniformly L2-bounded uncorrelated random variables to their partial sums and note $M_0/n\to 0$. No square-integrability of the initial value is needed beyond the usual martingale integrability.