ThmDex – An index of mathematical definitions, results, and conjectures.
P2669
Since $X_{n, 1}, \ldots, X_{n, M_n}$ are independent for each $n \geq 1$, applying results
(i) R3396: Variance is translation invariant
(ii) R3627: Variance of independent finite basic real sum is sum of variances
(iii) R2355: Variance is homogeneous to degree two

one has \begin{equation} \begin{split} \sum_{m = 1}^{M_n} \text{Var}(Z_{n, m}) & = \sum_{m = 1}^{M_n} \text{Var} \left( \frac{X_{n, m} - \mu_{n, m}}{s_n} \right) \\ & = \sum_{m = 1}^{M_n} \text{Var} \left( \frac{X_{n, m}}{s_n} \right) \\ & = \frac{1}{s^2_n} \sum_{m = 1}^{M_n} \text{Var} ( X_{n, m} ) \\ & = \frac{1}{s^2_n} \sum_{m = 1}^{M_n} \sigma^2_{n, m} \\ & = \frac{1}{s^2_n} s^2_n \\ & = 1 \end{split} \end{equation} Finally, R3791: Linearity of signed basic expectation implies \begin{equation} \mathbb{E} (Z_{n, m}) = \mathbb{E} (X_{n, m} - \mu_{n, m}) = \mathbb{E} (X_{n, m}) - \mu_{n, m} = \mu_{n, m} - \mu_{n, m} = 0 \end{equation} $\square$