已知∑ₖE[||wₖ||²]<∞，求证∑ₖ||wₖ||²<∞的推理是否正确？

已知条件与待证结论 #

• 已知：对于随机序列${w_k}$，有$$\sum_k \mathbb{E}[| w_k |^2 ] < \infty$$，其中$\mathbb{E}[\cdot]$表示数学期望，$|\cdot|$为范数。
• 待证结论：$\sum_k |w_k|^2 < \infty$ 几乎必然成立（即发生的概率为1）。

给出的推理过程 #

通过单调收敛定理可得$$ \sum_k \mathbb{E}[| w_k |^2 ] = \mathbb{E}[\sum_k | w_k |^2 ] $$，由于该式结果有限，故几乎必然有$\sum_k |w_k|^2 < \infty$。

推理正确性分析 #

这个推理是完全严谨成立的，咱们来拆解下每一步的逻辑：

1. 首先，$|w_k|^{2$是**非负随机变量**——毕竟范数的平方不可能为负，因此部分和序列${\sum_{i=1}}n |w_i|^2}_{n=1}\infty$是单调递增的非负随机变量序列（每一项都比前一项多一个非负项）。
2. 对于这类单调递增的非负随机变量序列，**单调收敛定理（MCT）**完全支持我们交换求和与期望的顺序，也就是：
   $$\lim_{n\to\infty} \mathbb{E}\left[\sum_{k=1}^n |w_k|^2\right] = \mathbb{E}\left[\lim_{n\to\infty} \sum_{k=1}^n |w_k|^2\right]$$
   左边的极限就是无穷求和$\sum_{k=1}^\infty \mathbb{E}[|w_k|^{2]$，右边则是无穷和的期望$\mathbb{E}\left[\sum_{k=1}}\infty |w_k|^2\right]$，因此题目中的等式成立。
3. 已知$\sum_k \mathbb{E}[|w_k|^2] < \infty$，所以$\mathbb{E}\left[\sum_k |w_k|^2\right] < \infty$。对于非负随机变量$X = \sum_k |w_k|^2$，如果它取无穷大的概率大于0，那么$\mathbb{E}[X]$至少等于$\infty \times P(X=\infty)$，结果必然是无穷大，这和期望有限的前提矛盾。因此，$X < \infty$几乎必然成立，也就是$\sum_k |w_k|^2 < \infty$几乎必然成立。

内容的提问来源于stack exchange，提问作者user143234