里斯-费舍尔定理（Riesz–Fischer Theorem）
我将为你详细讲解实分析中联系可测函数空间与完备性的一条核心定理——里斯-费舍尔定理。
第一步：理解背景与核心问题
在实分析中，我们常在测度空间（如欧氏空间赋予勒贝格测度）上工作。对于可测函数 \(f\)，可以定义其 \(L^p\) 范数 \(\|f\|_p = \left( \int |f|^p \, d\mu \right)^{1/p}\)（\(1 \leq p < \infty\)）。
\(L^p\) 空间由所有满足 \(\|f\|_p < \infty\) 的可测函数构成（几乎处处相等的函数视为同一元）。一个基本问题是：序列 \(\{f_n\}\) 按范数收敛（即柯西序列）是否一定收敛到某个 \(L^p\) 函数？这关乎空间的“完备性”。
里斯-费舍尔定理正是回答这个问题的：它断言 \(L^p\) 空间是完备的，即每个 \(L^p\) 柯西序列都按范数收敛到某个 \(L^p\) 函数。
第二步：精确陈述定理
设 \((X, \mathcal{F}, \mu)\) 是一个测度空间，\(1 \leq p < \infty\)。
里斯-费舍尔定理：\(L^p(\mu)\) 是一个完备的度量空间（即巴拿赫空间），其中度量由 \(d(f,g) = \|f - g\|_p\) 给出。
等价表述（更传统的版本）：若 \(\{f_n\}\) 是 \(L^p\) 中的一个柯西序列（即对任意 \(\varepsilon > 0\)，存在 \(N\) 使得 \(m,n \geq N\) 时 \(\|f_m - f_n\|_p < \varepsilon\)），则存在 \(f \in L^p\) 使得 \(\|f_n - f\|_p \to 0\)，且存在子序列 \(\{f_{n_k}\}\) 几乎处处收敛于 \(f\)。
第三步：证明思路的关键步骤（循序渐进）
我们以 \(1 \leq p < \infty\) 为例。
- 构造子序列：
因 \(\{f_n\}\) 柯西，可取子序列 \(\{f_{n_k}\}\) 满足
\[ \|f_{n_{k+1}} - f_{n_k}\|_p < \frac{1}{2^k}, \quad k=1,2,\dots \]
这通过反复应用柯西定义可得。
- 定义辅助函数：
令
\[ g_m = \sum_{k=1}^m |f_{n_{k+1}} - f_{n_k}|, \quad g = \sum_{k=1}^\infty |f_{n_{k+1}} - f_{n_k}|. \]
由三角不等式与构造，有 \(\|g_m\|_p \leq \sum_{k=1}^m 2^{-k} < 1\)。
- 应用单调收敛定理：
注意到 \(g_m \ge 0\) 单调递增趋于 \(g\)，故由单调收敛定理得
\[ \int g^p \, d\mu = \lim_{m\to\infty} \int g_m^p \, d\mu \leq 1^p = 1. \]
因此 \(g \in L^p\)，且 \(g(x) < \infty\) 几乎处处。
- 几乎处处收敛：
在 \(g(x) < \infty\) 的点处，级数 \(\sum_{k} (f_{n_{k+1}}(x) - f_{n_k}(x))\) 绝对收敛，故部分和
\[ f_{n_1}(x) + \sum_{k=1}^{m-1} (f_{n_{k+1}}(x) - f_{n_k}(x)) = f_{n_m}(x) \]
收敛到某个极限 \(f(x)\)。定义 \(f(x)\) 在该点集上为此极限，其余点置零。
-
验证极限函数属于 \(L^p\)：
对每个 \(m\)，有 \(|f_{n_m}| \leq |f_{n_1}| + g\)。因 \(f_{n_1} \in L^p\) 且 \(g \in L^p\)，由三角不等式知 \(|f_{n_m}|\) 被一个 \(L^p\) 函数控制。
又 \(f_{n_m} \to f\) 几乎处处，故由法图引理（应用到 \(|f_{n_m}|^p\)）得 \(f \in L^p\)。 -
按范数收敛：
对任意 \(\varepsilon > 0\)，取足够大的 \(N\) 使原序列柯西条件成立。固定 \(m\) 足够大（\(n_m \ge N\)），对任意 \(n \ge N\)，由法图引理得
\[ \|f_n - f\|_p \leq \liminf_{k\to\infty} \|f_n - f_{n_k}\|_p \leq \varepsilon. \]
故 \(\|f_n - f\|_p \to 0\)。
第四步：与傅里叶级数的历史联系
里斯-费舍尔定理的原始动机源于傅里叶分析。具体来说：
- 给定平方可积函数 \(f \in L^2([-\pi,\pi])\)，其傅里叶系数为 \(c_n = \frac{1}{2\pi} \int_{-\pi}^{\pi} f(x) e^{-inx} dx\)。
- 帕塞瓦尔恒等式：\(\sum_{n=-\infty}^{\infty} |c_n|^2 = \frac{1}{2\pi} \|f\|_2^2\)。
- 定理的另一经典表述：任意满足 \(\sum |c_n|^2 < \infty\) 的复数序列 \(\{c_n\}\) 必是某个 \(f \in L^2\) 的傅里叶系数。这本质上是 \(L^2\) 完备性在正交基下的体现，也说明了 \(L^2\) 与平方和空间 \(\ell^2\) 是等距同构的。
第五步：重要推论与应用场景
- \(L^p\) 的巴拿赫空间结构：完备性使得泛函分析工具（如闭图像定理、一致有界原理）可应用于 \(L^p\)。
- 傅里叶级数的 \(L^2\) 收敛：平方可积函数的傅里叶级数部分和按 \(L^2\) 范数收敛到该函数，这是帕塞瓦尔等式与完备性的直接推论。
- 可积函数用简单函数逼近：在 \(\sigma\)-有限测度空间，简单函数在 \(L^p\) 中稠密；结合完备性，可用简单函数序列一致逼近 \(L^p\) 函数。
- 索伯列夫空间的基础：许多索伯列夫空间定义为 \(L^p\) 函数的某种导数也在 \(L^p\) 中，其完备性依赖于 \(L^p\) 的完备性。
第六步：与已有词条的联系
- 里斯表示定理：给出了 \(L^p\) 对偶空间的刻画，而完备性是讨论对偶的前提。
- 勒贝格控制收敛定理：在证明子序列几乎处处收敛时，常与控制函数结合使用。
- 法图引理：如上所述，在验证极限函数可积与范数收敛时起关键作用。
- 可测函数序列的依测度收敛：在 \(L^p\) 中，范数收敛强于依测度收敛，但完备性对两者关系有深刻影响。
这样，里斯-费舍尔定理不仅确认了 \(L^p\) 空间的完备性，还成为傅里叶分析、泛函分析与偏微分方程理论中不可或缺的基石。