第 4 章 · $L^p$ 空间：函数的几何学

把可积性按"幂次"分层：$L^p = \{f : \int|f|^p < \infty\}$。这些空间自带距离与完备性，是泛函分析的第一批主角——Hilbert 空间、傅里叶分析、概率论都在这里安家。

范数与不等式双塔

• Hölder 不等式（$p, q$ 共轭 $1/p + 1/q = 1$）：$\int|fg| \le \|f\|_p\|g\|_q$——广义的柯西-施瓦茨（$p=q=2$ 特例）；
• 三角不等式（Minkowski）：$\|f+g\|_p \le \|f\|_p + \|g\|_p$——Hölder 的直接推论，$L^p$ 因此是赋范空间。

完备性与对偶

$L^p$（$1\le p \le \infty$）完备：Riesz-Fischer 定理——柯西列必收敛（逐点有子列收敛 + 控制收尾）。这是"$L^p$ 是 Banach 空间"的核心证明，也是"勒贝格理论完备化了黎曼世界"的正式宣言。对偶定理：$(L^p)^* = L^q$（$1 \le p < \infty$）——$L^p$ 上的每个连续线性泛函都是"与某个 $L^q$ 函数作内积"。$p=2$ 时 $L^2$ 是 Hilbert 空间：有内积 $\int f\bar g$，正交展开（傅里叶级数）的全部几何搬进来。

嵌套与稠密

有限测度空间上 $p$ 大则 $L^p \subset L^{p'}$（$p' < p$）；无限测度上互不包含。简单函数（阶梯、连续函数）在各 $L^p$ 稠密——"逼近工具箱"，几乎所有 $L^p$ 定理的证明套路是"先对简单函数证，再稠密性延拓"。

老师的提醒

• Hölder 是"配对"的不等式：看到两个量相乘要积，先想 $p$-$q$ 共轭配对。
• $L^p$ 收敛推不出逐点收敛，但必有几乎处处收敛的子列（Riesz 定理）——判断题常客。

自检

• 叙述 Hölder 与 Minkowski 并说明依赖关系。
• Riesz-Fischer 定理说了什么完备性？
• 为什么 $L^2$ 比 $L^p$（$p\ne2$）更"几何"？

更深一层：$L^2$ 为什么是"几何特区"

$L^p$ 家族里 $p = 2$ 独享 Hilbert 空间的特级待遇，原因是内积与范数由同一个量生成：$\langle f, g\rangle = \int f\bar g$ 给出 $\|f\|_2 = \sqrt{\langle f,f\rangle}$。内积带来的几何全套——正交、投影、勾股定理、Parseval——在 $p \ne 2$ 的 $L^p$ 里统统不存在（那里只有范数没有角度）。这解释了傅里叶分析为何安家在 $L^2$：正交展开、能量守恒（Parseval）、最佳平方逼近，全都需要"角度"。而 $L^1$ 与 $L^\infty$ 的对偶关系（$(L^1)^* = L^\infty$）是另一条对偶轴——**$L^p$ 空间的对偶链 $(L^p)^* = L^q$ 在 $p = 2$ 处自对偶，这个"自对偶点"就是几何最丰富的点**。

Hölder 不等式的"配对"本质也值得配一张卡：$\int |fg| \le \|f\|_p\|g\|_q$ 是"两个不同尺度的量如何安全相乘"的通用合同——$p$ 与 $q$ 互补 ($1/p + 1/q = 1$)，等号在 $|f|^p \propto |g|^q$ 时取得。量子力学的不确定性关系、PDE 的能量估计，都是这张合同的应用分支。

推导细读：Riesz-Fischer 完备性定理的"两级火箭"证明

$L^p$ 完备性（柯西列必收敛）的证明是两级火箭：第一级，从柯西条件提取一个快速柯西子列（$\|f_{n_{k+1}} - f_{n_k}\|_p \le 2^{-k}$），配合 Chebyshev 得到逐点几乎处处收敛的子列——柯西性先兑换成"子列逐点收敛"；第二级，用 Fatou 引理把整个序列的控制权交给这个子列极限（$\int|f - f_{n_k}|^p$ 被 Fatou 压住）——再从子列收敛升级为全列收敛。这个"提取子列 → Fatou 收网"的两级结构是完备性证明的通用模板，$L^1$、$L^p$、鞅收敛全用它。黎曼可积函数空间恰恰在第一级就破产（柯西列的逐点极限可以不可积）——完备性是勒贝格理论最硬的战果。

在真实世界里：$L^2$ 语言的工程货币

$L^2$ 是工程信号的法定货币：能量信号（有限能量）天然住在 $L^2$；Parseval 等式是"时域能量 = 频域能量"的总账（滤波器的能量分配审计）；信噪比的定义（信号功率 / 噪声功率）本质是 $L^2$ 范数之比；傅里叶级数的系数平方和收敛（Riesz-Fischer）保证频谱表示合法。图像压缩的离散余弦变换、通信的 OFDM 正交载波、机器学习的核函数内积——都是 $L^2$ 几何的不同方言。掌握 $L^2$ 的语言，等于同时领取了信号处理、量子力学（波函数空间）、统计回归（最小二乘 = 投影）三个行业的入场券。

专题深入：$L^2$ 的"几何特区"完整版

$L^p$ 家族里 $p = 2$ 独享 Hilbert 空间的特级待遇，原因是内积与范数由同一个量生成：$\langle f, g\rangle = \int f\bar g$ 给出 $\|f\|_2 = \sqrt{\langle f,f\rangle}$。内积带来的几何全套——正交、投影、勾股定理、Parseval——在 $p \ne 2$ 的 $L^p$ 里统统不存在（那里只有范数没有角度）。这解释了傅里叶分析为何安家在 $L^2$：正交展开、能量守恒（Parseval）、最佳平方逼近，全都需要"角度"。而 $L^1$ 与 $L^\infty$ 的对偶关系（$(L^1)^* = L^\infty$）是另一条对偶轴——**$L^p$ 空间的对偶链 $(L^p)^* = L^q$ 在 $p = 2$ 处自对偶，这个"自对偶点"就是几何最丰富的点**。

数学细节展开：Hölder 与 Minkowski 的"配对"本质

Hölder 不等式 $\int|fg| \le \|f\|_p\|g\|_q$（$1/p + 1/q = 1$）的"配对"本质值得展开：它是"两个不同尺度的量如何安全相乘"的通用合同——$p$ 与 $q$ 互补，等号在 $|f|^p \propto |g|^q$ 时取得。量子力学的不确定性关系、PDE 的能量估计，都是这张合同的应用分支。Minkowski 三角不等式是 Hölder 的直接推论——$L^p$ 因此是赋范空间。"配对"是不等式的灵魂：看到两个量相乘要积，先想 $p$-$q$ 共轭配对。

工程案例细节：Riesz-Fischer 完备性定理的"两级火箭"证明工程版

$L^p$ 完备性的证明是两级火箭：第一级——从柯西条件提取一个快速柯西子列（$\|f_{n_{k+1}} - f_{n_k}\|_p \le 2^{-k}$），配合 Chebyshev 得到逐点几乎处处收敛的子列（柯西性先兑换成"子列逐点收敛"）；第二级——用 Fatou 引理把整个序列的控制权交给这个子列极限（$\int|f - f_{n_k}|^p$ 被 Fatou 压住，再从子列收敛升级为全列收敛）。"提取子列 → Fatou 收网"的两级结构是完备性证明的通用模板，$L^1$、$L^p$、鞅收敛全用它。黎曼可积函数空间恰恰在第一级就破产（柯西列的逐点极限可以不可积）——完备性是勒贝格理论最硬的战果。