最近正好复习到泛函分析的核心章节把 Lp 空间和 lp 空间的笔记系统整理了一遍。这个系列写到这里前面铺垫的度量空间、赋范空间、完备化这些概念终于要派上大用场了。Lp 空间之所以重要是因为它把分析学里最常见的几类函数空间连续函数、可积函数、有界函数统一到了一个框架下而且这些空间本身是完备的赋范空间也就是 Banach 空间这意味着我们可以在里面放心地做极限运算、用泛函分析的整套工具去研究它们。这篇笔记适合正在学实变函数和泛函分析的同学尤其是对 Lebesgue 积分有一定基础、想弄明白 Lp 空间到底是怎么构建起来的人。内容上我会从定义出发讲清楚范数怎么来的、完备性怎么证明、lp 空间和 Lp 空间是什么关系以及 Hölder 不等式、Minkowski 不等式这些核心工具的使用逻辑。1. 内容整体设计与思路拆解1.1 从具体空间到抽象框架的动机在学 Lp 空间之前我们手头已经有不少具体的函数空间了。比如连续函数空间 C[a,b]配上最大值范数是一个完备的赋范空间再比如 Riemann 可积函数配上积分范数它不是完备的因为 Riemann 可积函数列的极限可能不再是 Riemann 可积的。这就带来一个核心痛点我们在分析里经常需要对函数列取极限如果空间不完备极限可能跑出空间之外很多论证就进行不下去。Lebesgue 积分的引入从根上解决了这个问题——它扩大了可积函数的范围使得极限运算更加稳定。Lp 空间的定义思路很直接把 p 次幂绝对值的积分作为衡量函数大小的方式。p1 时就是绝对可积函数空间 L1p2 时是平方可积函数空间 L2也就是 Hilbert 空间p趋于无穷时得到的 L∞ 是本性有界函数空间。我在学习的时候最大的感受是Lp 空间不是一个孤立的定义它是积分 范数 完备性三者结合的产物。每一步定义都有它非如此不可的理由而不是人为的任意构造。1.2 为什么要把几乎处处相等的函数视为同一个元素这是初学者最容易忽视、但恰恰是整个理论地基的地方。定义 Lp 空间时我们必须把几乎处处相等的两个函数看成同一个元素。如果不这样做积分为零的非零函数比如在单个点上取值为 1、其他地方为 0 的函数就会破坏范数的正定性。从几何上理解这件事我们想用范数定义距离而范数必须满足范数为零当且仅当元素为零。如果把几乎处处相等的函数视为同一个等价类这个条件就自然满足了。这种处理方式在数学里叫做商空间本质上是我们把注意力从点态取值转向了积分意义上的行为。我建议大家在学习初期就把这个观念内化在 Lp 空间里函数不是逐点定义的而是几乎处处定义的。一个函数在某个零测集上怎么取值完全不重要。这和我们平时熟悉的连续函数视角完全不同需要一段适应期。1.3 与 lp 空间的天然联系lp 空间是 Lp 空间的离散版本。如果把定义域取为自然数集配上计数测度每个单点的测度为 1那么 Lp 空间就变成了 lp 空间所有 p 次幂绝对值和收敛的数列组成的空间。这种联系不是简单的类比而是同一个理论的两种呈现。很多在 Lp 空间里需要用抽象测度论证明的结论放到 lp 空间里可以用更初等的级数语言直接验证反过来也能加深对 Lp 空间的理解。我在笔记里把这两个空间放在一起讲就是想强调这种连续-离散的对照关系。在研究泛函分析时lp 空间还承担着一个重要角色它是很多反例的来源也是验证抽象定理的试验场。比如我们后面要学的自反性、可分性、紧性这些概念在 lp 空间上有着非常清晰的刻画。2. 核心细节解析与实操要点2.1 Lp 空间的严格定义与范数给定测度空间 (X, μ)对 1 ≤ p ∞定义[ L^p(X, \mu) \left{ f : X \to \mathbb{R} \text{ 可测} ;\middle|; \int_X |f|^p , d\mu \infty \right} ]在这个集合上定义[ |f|_p \left( \int_X |f|^p , d\mu \right)^{1/p} ]注意这里我们默认把几乎处处相等的函数视为同一个等价类。对于 p ∞定义 L∞ 为本性有界函数空间范数为[ |f|_\infty \operatorname{ess,sup} |f| \inf { M \geq 0 : |f(x)| \leq M \text{ 几乎处处成立} } ]这个本性上确界的概念很关键它忽略零测集上的取值。比如定义在 [0,1] 上的函数 f(x) x 的所有有理点取值改成 1000它的本性上确界仍然是 1。实操中判断一个函数是否属于 Lp最常用的方法是寻找控制函数。如果你能把 |f|^p 控制在一个可积函数之下那么积分有限性就得到了保证。常用的控制函数有常数函数在有界定义域上、x^{-α} 类函数在无穷远处以及指数衰减函数。2.2 Hölder 不等式的证明与使用逻辑Hölder 不等式是 Lp 空间理论的基石它的内容是设 1 p, q ∞ 且 1/p 1/q 1如果 f ∈ Lpg ∈ Lq那么 fg ∈ L1 且[ \int_X |fg| , d\mu \leq |f|_p |g|_q ]证明的核心步骤是 Young 不等式对 a, b ≥ 0[ ab \leq \frac{a^p}{p} \frac{b^q}{q} ]这个不等式可以从凸函数的几何性质直观理解曲线 y x^{p-1} 与 y x^{q-1} 在坐标轴第一象限围成的区域面积关系。等号成立的条件是 a^p b^q。证明 Hölder 不等式时一个常用的技巧是归一化。把 f 替换为 f/‖f‖p把 g 替换为 g/‖g‖q这样右边就变成了 1然后利用 Young 不等式分别对 |f|^p 和 |g|^q 做估计最后把归一化因子还原回去。在实际做题中Hölder 不等式最常用来处理两种问题。第一种是证明某个乘积函数的可积性第二种是估计积分值的大小。另一个特别常用的推论是在有限测度空间上p 越大可积性要求越低。事实上当 μ(X) ∞ 时如果 1 ≤ p q ≤ ∞那么 Lq ⊂ Lp而且有范数估计[ |f|_p \leq \mu(X)^{1/p - 1/q} |f|_q ]这个结论用 Hölder 不等式可以很快推出来是判断包含关系的利器。2.3 Minkowski 不等式的证明思路Minkowski 不等式就是 Lp 范数的三角不等式[ |f g|_p \leq |f|_p |g|_p ]证明的思路是把 ‖f g‖_p^p 写成积分形式利用不等式 |f g|^p ≤ |f||f g|^{p-1} |g||f g|^{p-1}然后对右边两项分别应用 Hölder 不等式取 q p/(p-1)配出公因子 ‖f g‖_p^{p/q}两边同时除以它即可。这里有一个值得强调的细节Minkowski 不等式要求 p ≥ 1。当 0 p 1 时三角不等式不再成立‖·‖p 不再是范数但它仍然可以定义距离函数[ d(f, g) \int_X |f - g|^p , d\mu ]这个距离函数满足距离公理只是不满足齐次性和三角不等式在范数意义下。所以 0 p 1 时 Lp 空间是完备的度量空间但不是赋范空间也不是 Banach 空间。这个区分在习题里经常出现需要特别小心。在应用中Minkowski 不等式还有一个推广形式——Minkowski 积分不等式它说的是先积分后取范数不超过先取范数后积分[ \left| \int f(\cdot, y) , d\nu(y) \right|_p \leq \int |f(\cdot, y)|_p , d\nu(y) ]这个结果在偏微分方程和调和分析里频繁使用值得单独记住。3. 实操过程与核心环节实现3.1 完备性证明的完整逻辑链条Lp 空间是 Banach 空间完备性是这个结论的核心。完备性的证明有一个固定的套路我建议按照下面的步骤逐步展开。第一步取一个 Cauchy 列 {f_n} ⊂ Lp。我们要构造它在 Lp 意义下的极限。第二步从 Cauchy 列中选取子列 {f_{n_k}} 使得[ |f_{n_{k1}} - f_{n_k}|_p 2^{-k} ]这一步实现了快速收敛的子列抽取是实现逐点收敛的关键。第三步定义[ g |f_{n_1}| \sum_{k1}^{\infty} |f_{n_{k1}} - f_{n_k}| ]利用 Minkowski 不等式的推广对无穷级数取范数可以证明 ‖g‖p ∞于是 g 几乎处处有限。第四步由 g 的有限性可知级数 f_{n_1} Σ(f_{n_{k1}} - f_{n_k}) 几乎处处绝对收敛记极限为 f则 f 是一个几乎处处有限的可测函数。第五步证明 f ∈ Lp。利用不等式 |f| ≤ g 以及 g ∈ Lp结合控制收敛定理或直接估计可以得出 f ∈ Lp。第六步证明 ‖f_{n_k} - f‖p → 0。这里需要对 |f_{n_k} - f|^p 应用控制收敛定理|f_{n_k} - f|^p ≤ (g g)^p 2^p g^p而 g^p 是可积的。最后利用Cauchy 列若有子列收敛到 f则全列收敛到 f这个度量空间的一般结论完成证明。每当我完整走一遍这个证明都会对 Lp 空间为什么完备有更深的体会。关键在于我们先用范数的快速衰减抽取出逐点收敛的子列然后通过一个 Lp 意义下的控制函数g来保证极限不跑出空间。3.2 lp 空间的关键性质验证lp 空间定义为满足 Σ|x_n|^p ∞ 的数列全体配上范数[ |x|p \left( \sum{n1}^{\infty} |x_n|^p \right)^{1/p} ]在 lp 空间上很多抽象的定理变得非常具体。比如完备性的证明Cauchy 列的逐点收敛极限可以直接构造出来对每个坐标 n数列 {x_n^{(k)}}k 是序列指标是实数 Cauchy 列所以收敛到某个 x_n^。然后证明 x^ (x_1^, x_2^, ...) 属于 lp 并且是范数极限。这个过程比 Lp 空间的情况直观得多也更容易掌握。我强烈建议初学者先用 lp 空间练手把完备性证明的每一步都写清楚再回头去看 Lp 空间的抽象版本会有事半功倍的效果。关于 lp 空间之间的包含关系有一个容易混淆的点当 1 ≤ p q ∞ 时lp ⊂ lq 且 ‖x‖q ≤ ‖x‖p。这看起来和 Lp 空间的情况相反——在有限测度空间上Lq ⊂ Lp。原因在于计数测度不是有限测度每个单点测度为 1所以有限测度空间上的包含关系在这里不适用。我记得第一次学到这个结论时确实绕了一下需要在不同测度背景下切换。另一个实用结论是对于 lp 空间当 p 从 1 增大到 ∞ 时空间是逐渐变大的lp ⊂ lq 对 p q而对应的 Lp[0,1] 是逐渐变小的。这个对照关系如果画成图表会非常清晰。3.3 L∞ 空间与本性有界函数L∞ 空间的定义和 Lp (p ∞) 略有不同它关注的不是积分的有限性而是函数取值是否几乎处处有界。范数是本性上确界。在有限测度空间上L∞ 是最大的对任意 p ∞L∞ ⊂ Lp且[ |f|p \leq \mu(X)^{1/p} |f|\infty ]这个结论在练习中经常用到用来把 L∞ 范数估计转化成 Lp 估计。L∞ 的一个重要性质是在 σ-有限测度空间上L∞ 是 L1 的共轭空间。也就是说(L1)* L∞这里的等号意思是存在等距同构。但反过来(L∞)* 严格大于 L1除非空间是有限维的这一点初学者经常搞混。L∞ 空间本身也有一些奇怪的性质。比如对一般的测度空间L∞ 不可分在范数拓扑下这使得它的结构比 Lp (p ∞) 复杂得多。在 lp 空间中l∞ 是所有有界数列组成的空间范数是上确界范数它同样不是可分的。3.4 对偶空间、自反性与可分性Lp 空间的对偶空间结构是泛函分析的美妙结论之一。设 1 p ∞1/p 1/q 1则有等距同构[ (L^p)^* \cong L^q ]这里的同构映射是对 g ∈ Lq定义线性泛函[ \Phi_g(f) \int_X f g , d\mu ]这个结果告诉我们Lp 上的每一个连续线性泛函都可以表示成和某个 Lq 函数做内积的形式。这个表示定理是 Riesz 表示定理在 Lp 空间的推广也是很多应用中最重要的工具之一。由对偶关系可以直接得出自反性当 1 p ∞ 时Lp 是自反的即 (Lp)≋ Lp等距同构意义下。自反性意味着单位球是弱紧的Alaoglu 定理加上自反性这在变分法和优化问题中至关重要。关于可分性结论是当 1 ≤ p ∞ 时在合适的条件下比如定义域是 Rn 的子集配 Lebesgue 测度或者一般的 σ-有限可分测度空间Lp 是可分的。证明的思路是用简单函数逼近 Lp 中的函数然后用有理系数、定义在有限个有理区间上的阶梯函数构造可数稠密子集。L∞ 则一般不可分。3.5 两对重要的不等式除了 Hölder 和 Minkowski 不等式Lp 空间还有几个常用的不等式在习题和后续课程中会反复遇到。第一个是插值不等式设 1 ≤ p r q ≤ ∞如果 f ∈ Lp ∩ Lq那么 f ∈ Lr且有[ |f|_r \leq |f|_p^{\theta} |f|_q^{1-\theta} ]其中 1/r θ/p (1-θ)/q。这个不等式说明一个函数如果在一头可积且在另一头可积那么中间的所有 Lr 范数都被两端的范数控制。这在调和分析中非常常用比如证明算子的有界性时只要在 L1 和 L∞或 L2上分别建立估计就可以插值到所有中间空间。第二个是 Chebyshev 不等式对 f ∈ Lp 和任意 t 0[ \mu({ x : |f(x)| t }) \leq \frac{|f|_p^p}{t^p} ]这个不等式建立了 Lp 范数和分布函数之间的联系。它说明 Lp 函数的尾巴衰减是有定量估计的这个思想在概率论里就是 Markov 不等式。4. 常见问题与排查技巧实录4.1 服从包含关系时的直觉误区关于 Lp 空间包含关系的问题我见过的错误率非常高。关键要分清楚测度空间是否有限。在有限测度空间比如 [0,1] 配 Lebesgue 测度上p 越大空间越小L∞ ⊂ Lq ⊂ Lp ⊂ L1。这个结论可以从 Hölder 不等式推出来对 f ∈ Lq令 1/p 1/q (1/p − 1/q)其中当 p q 时 1/p − 1/q 0将常数函数 1 视为 L^{r} 的元素其中 1/r 1/p − 1/q然后用 Hölder 不等式把 f·1 分解。在一般测度空间包括计数测度上没有这种包含关系或者方向相反。比如在 R 上配 Lebesgue 测度Lp 和 Lq 互不包含x^{-1/2} 在 x ∈ (0,1) 上属于 L1 但不属于 L2而 x^{-2/3} 在 x 1 上属于 L2 但不属于 L1。我建议在做题时先问自己两个问题定义域测度是否有限p 和 q 的大小关系是什么这样基本可以避免包含关系搞反。4.2 范数三角不等式失效的陷阱当 0 p 1 时Minkowski 不等式是不成立的。这在某些题目里会导致非常反直觉的结果。比如在 L^{1/2}(0,1) 中两个函数和的范数积分形式可能大于两个函数范数之和这与直觉相悖。实际上在 0 p 1 时我们有反向的 Minkowski 不等式对非负函数[ |f g|_p \geq |f|_p |g|_p ]这个反向不等式的成立条件是 p 1而且只对非负函数成立。这个结论经常作为考察点出现在泛函分析习题中。另一个容易出问题的地方是把 ‖·‖_p 的三角不等式滥用到了 p ∞ 以外的情形。L∞ 的三角不等式对应的是本性上确界的次可加性这在验证 L∞ 是赋范空间时是必需的它的证明不依赖于 Hölder 不等式而是直接从函数值的上确界性质出发。4.3 稠密性与逼近问题的常见困惑在很多证明里我们都需要用好的函数比如连续函数、阶梯函数、光滑函数去逼近 Lp 中的一般函数。这个逼近定理的基础是 Lp 空间中简单函数的稠密性。具体来说对任意 f ∈ Lp存在一列简单函数 {s_n} 使得 ‖s_n − f‖p → 0。这个结论的证明分三步先用可测函数的定义构造简单函数逼近逐点收敛然后利用 |f|^p 可积和控制收敛定理升级为 Lp 收敛。在应用层面这个稠密性结论常和 Lusin 定理结合进而用紧支连续函数逼近 Lp 函数。进一步的在 R 上还可以用光滑紧支函数C_c^∞逼近 Lp 函数这在 PDE 理论里是最常用的工具之一。一个有价值的练习题是证明 C_c^∞(R) 在 Lp(R) 中稠密1 ≤ p ∞。思路是用卷积磨光化mollifier逼近先用截断把函数变紧支再用磨光卷积变光滑。这个过程需要三次磨光化处理和两次截断处理每一步都要用 Young 卷积不等式控制范数。4.4 收敛性概念之间的关系Lp 收敛‖f_n − f‖p → 0和几乎处处收敛、依测度收敛这几者之间的关系常常让初学者头疼。一条清晰的路径是范数收敛蕴含存在几乎处处收敛的子列Riesz 定理。反过来几乎处处收敛一般不蕴含范数收敛除非额外假设某种控制条件比如被某个 Lp 函数控制这时用控制收敛定理。从 Lp 收敛可以推出依测度收敛因为 Chebyshev 不等式给出了直接的估计。但依测度收敛非常弱它既推不出范数收敛也推不出几乎处处收敛只知道有几乎处处收敛的子列。在解题时如果你需要在 Lp 收敛和逐点收敛之间切换最稳妥的方式是先说明 Lp 收敛推出子列几乎处处收敛然后对子列使用逐点条件和控制收敛定理如果条件允许最后再利用Cauchy 列子列收敛则全列收敛的原理回到整个序列。4.5 一个经典的 Lp 习题演练作为收尾我写一个代表性的题目展示以上技巧的综合运用。题目设 f_n, f ∈ L^2([0,1])且 f_n 依测度收敛于 f。证明当 ‖f_n‖_2 → ‖f‖_2 时f_n 在 L^2 范数意义下收敛到 f。第一步注意到 L2 是 Hilbert 空间有平行四边形恒等式[ |f_n - f|_2^2 2|f_n|_2^2 2|f|_2^2 - 4\left|\frac{f_n f}{2}\right|_2^2 ]第二步由依测度收敛f_n f 依测度收敛于 2f。结合内积的正则性和 Fatou 引理或弱下半连续性可得[ \liminf_{n \to \infty} \left|\frac{f_n f}{2}\right|_2^2 \geq |f|_2^2 ]第三步在上面的恒等式中取上极限利用 ‖f_n‖2 → ‖f‖2得到[ \limsup_{n \to \infty} |f_n - f|_2^2 \leq 0 ]于是 ‖f_n − f‖2 → 0。这个题目本质上是范数收敛 依测度收敛 强收敛的一个具体体现其中的思路值得反复品味。结尾的个人体会把这部分笔记整理完最大的感受是 Lp 空间这个框架确实配得上泛函分析的基石这个称号。它把分析中关于积分、逼近、收敛的核心问题统一到了一个简洁的范数语言里每一个关键结论完备性、对偶表示、稠密性都指向后续更深刻的定理。如果你现在正在学这一部分我的建议是不要急于往后赶进度先花时间把 Hölder 不等式和 Minkowski 不等式的证明彻底掌握再自己独立把 Lp 空间完备性的六步证明写一遍。这两个动作做完后面所有的内容都会顺畅很多。另外多拿 lp 空间当试金石把抽象结论放到具体的数列空间里验证很多抽象的概念会在这种对照中变得清晰起来。 Lp空间与lp空间完全指南：从范数定义到完备性证明的核心笔记
最近正好复习到泛函分析的核心章节把 Lp 空间和 lp 空间的笔记系统整理了一遍。这个系列写到这里前面铺垫的度量空间、赋范空间、完备化这些概念终于要派上大用场了。Lp 空间之所以重要是因为它把分析学里最常见的几类函数空间连续函数、可积函数、有界函数统一到了一个框架下而且这些空间本身是完备的赋范空间也就是 Banach 空间这意味着我们可以在里面放心地做极限运算、用泛函分析的整套工具去研究它们。这篇笔记适合正在学实变函数和泛函分析的同学尤其是对 Lebesgue 积分有一定基础、想弄明白 Lp 空间到底是怎么构建起来的人。内容上我会从定义出发讲清楚范数怎么来的、完备性怎么证明、lp 空间和 Lp 空间是什么关系以及 Hölder 不等式、Minkowski 不等式这些核心工具的使用逻辑。1. 内容整体设计与思路拆解1.1 从具体空间到抽象框架的动机在学 Lp 空间之前我们手头已经有不少具体的函数空间了。比如连续函数空间 C[a,b]配上最大值范数是一个完备的赋范空间再比如 Riemann 可积函数配上积分范数它不是完备的因为 Riemann 可积函数列的极限可能不再是 Riemann 可积的。这就带来一个核心痛点我们在分析里经常需要对函数列取极限如果空间不完备极限可能跑出空间之外很多论证就进行不下去。Lebesgue 积分的引入从根上解决了这个问题——它扩大了可积函数的范围使得极限运算更加稳定。Lp 空间的定义思路很直接把 p 次幂绝对值的积分作为衡量函数大小的方式。p1 时就是绝对可积函数空间 L1p2 时是平方可积函数空间 L2也就是 Hilbert 空间p趋于无穷时得到的 L∞ 是本性有界函数空间。我在学习的时候最大的感受是Lp 空间不是一个孤立的定义它是积分 范数 完备性三者结合的产物。每一步定义都有它非如此不可的理由而不是人为的任意构造。1.2 为什么要把几乎处处相等的函数视为同一个元素这是初学者最容易忽视、但恰恰是整个理论地基的地方。定义 Lp 空间时我们必须把几乎处处相等的两个函数看成同一个元素。如果不这样做积分为零的非零函数比如在单个点上取值为 1、其他地方为 0 的函数就会破坏范数的正定性。从几何上理解这件事我们想用范数定义距离而范数必须满足范数为零当且仅当元素为零。如果把几乎处处相等的函数视为同一个等价类这个条件就自然满足了。这种处理方式在数学里叫做商空间本质上是我们把注意力从点态取值转向了积分意义上的行为。我建议大家在学习初期就把这个观念内化在 Lp 空间里函数不是逐点定义的而是几乎处处定义的。一个函数在某个零测集上怎么取值完全不重要。这和我们平时熟悉的连续函数视角完全不同需要一段适应期。1.3 与 lp 空间的天然联系lp 空间是 Lp 空间的离散版本。如果把定义域取为自然数集配上计数测度每个单点的测度为 1那么 Lp 空间就变成了 lp 空间所有 p 次幂绝对值和收敛的数列组成的空间。这种联系不是简单的类比而是同一个理论的两种呈现。很多在 Lp 空间里需要用抽象测度论证明的结论放到 lp 空间里可以用更初等的级数语言直接验证反过来也能加深对 Lp 空间的理解。我在笔记里把这两个空间放在一起讲就是想强调这种连续-离散的对照关系。在研究泛函分析时lp 空间还承担着一个重要角色它是很多反例的来源也是验证抽象定理的试验场。比如我们后面要学的自反性、可分性、紧性这些概念在 lp 空间上有着非常清晰的刻画。2. 核心细节解析与实操要点2.1 Lp 空间的严格定义与范数给定测度空间 (X, μ)对 1 ≤ p ∞定义[ L^p(X, \mu) \left{ f : X \to \mathbb{R} \text{ 可测} ;\middle|; \int_X |f|^p , d\mu \infty \right} ]在这个集合上定义[ |f|_p \left( \int_X |f|^p , d\mu \right)^{1/p} ]注意这里我们默认把几乎处处相等的函数视为同一个等价类。对于 p ∞定义 L∞ 为本性有界函数空间范数为[ |f|_\infty \operatorname{ess,sup} |f| \inf { M \geq 0 : |f(x)| \leq M \text{ 几乎处处成立} } ]这个本性上确界的概念很关键它忽略零测集上的取值。比如定义在 [0,1] 上的函数 f(x) x 的所有有理点取值改成 1000它的本性上确界仍然是 1。实操中判断一个函数是否属于 Lp最常用的方法是寻找控制函数。如果你能把 |f|^p 控制在一个可积函数之下那么积分有限性就得到了保证。常用的控制函数有常数函数在有界定义域上、x^{-α} 类函数在无穷远处以及指数衰减函数。2.2 Hölder 不等式的证明与使用逻辑Hölder 不等式是 Lp 空间理论的基石它的内容是设 1 p, q ∞ 且 1/p 1/q 1如果 f ∈ Lpg ∈ Lq那么 fg ∈ L1 且[ \int_X |fg| , d\mu \leq |f|_p |g|_q ]证明的核心步骤是 Young 不等式对 a, b ≥ 0[ ab \leq \frac{a^p}{p} \frac{b^q}{q} ]这个不等式可以从凸函数的几何性质直观理解曲线 y x^{p-1} 与 y x^{q-1} 在坐标轴第一象限围成的区域面积关系。等号成立的条件是 a^p b^q。证明 Hölder 不等式时一个常用的技巧是归一化。把 f 替换为 f/‖f‖p把 g 替换为 g/‖g‖q这样右边就变成了 1然后利用 Young 不等式分别对 |f|^p 和 |g|^q 做估计最后把归一化因子还原回去。在实际做题中Hölder 不等式最常用来处理两种问题。第一种是证明某个乘积函数的可积性第二种是估计积分值的大小。另一个特别常用的推论是在有限测度空间上p 越大可积性要求越低。事实上当 μ(X) ∞ 时如果 1 ≤ p q ≤ ∞那么 Lq ⊂ Lp而且有范数估计[ |f|_p \leq \mu(X)^{1/p - 1/q} |f|_q ]这个结论用 Hölder 不等式可以很快推出来是判断包含关系的利器。2.3 Minkowski 不等式的证明思路Minkowski 不等式就是 Lp 范数的三角不等式[ |f g|_p \leq |f|_p |g|_p ]证明的思路是把 ‖f g‖_p^p 写成积分形式利用不等式 |f g|^p ≤ |f||f g|^{p-1} |g||f g|^{p-1}然后对右边两项分别应用 Hölder 不等式取 q p/(p-1)配出公因子 ‖f g‖_p^{p/q}两边同时除以它即可。这里有一个值得强调的细节Minkowski 不等式要求 p ≥ 1。当 0 p 1 时三角不等式不再成立‖·‖p 不再是范数但它仍然可以定义距离函数[ d(f, g) \int_X |f - g|^p , d\mu ]这个距离函数满足距离公理只是不满足齐次性和三角不等式在范数意义下。所以 0 p 1 时 Lp 空间是完备的度量空间但不是赋范空间也不是 Banach 空间。这个区分在习题里经常出现需要特别小心。在应用中Minkowski 不等式还有一个推广形式——Minkowski 积分不等式它说的是先积分后取范数不超过先取范数后积分[ \left| \int f(\cdot, y) , d\nu(y) \right|_p \leq \int |f(\cdot, y)|_p , d\nu(y) ]这个结果在偏微分方程和调和分析里频繁使用值得单独记住。3. 实操过程与核心环节实现3.1 完备性证明的完整逻辑链条Lp 空间是 Banach 空间完备性是这个结论的核心。完备性的证明有一个固定的套路我建议按照下面的步骤逐步展开。第一步取一个 Cauchy 列 {f_n} ⊂ Lp。我们要构造它在 Lp 意义下的极限。第二步从 Cauchy 列中选取子列 {f_{n_k}} 使得[ |f_{n_{k1}} - f_{n_k}|_p 2^{-k} ]这一步实现了快速收敛的子列抽取是实现逐点收敛的关键。第三步定义[ g |f_{n_1}| \sum_{k1}^{\infty} |f_{n_{k1}} - f_{n_k}| ]利用 Minkowski 不等式的推广对无穷级数取范数可以证明 ‖g‖p ∞于是 g 几乎处处有限。第四步由 g 的有限性可知级数 f_{n_1} Σ(f_{n_{k1}} - f_{n_k}) 几乎处处绝对收敛记极限为 f则 f 是一个几乎处处有限的可测函数。第五步证明 f ∈ Lp。利用不等式 |f| ≤ g 以及 g ∈ Lp结合控制收敛定理或直接估计可以得出 f ∈ Lp。第六步证明 ‖f_{n_k} - f‖p → 0。这里需要对 |f_{n_k} - f|^p 应用控制收敛定理|f_{n_k} - f|^p ≤ (g g)^p 2^p g^p而 g^p 是可积的。最后利用Cauchy 列若有子列收敛到 f则全列收敛到 f这个度量空间的一般结论完成证明。每当我完整走一遍这个证明都会对 Lp 空间为什么完备有更深的体会。关键在于我们先用范数的快速衰减抽取出逐点收敛的子列然后通过一个 Lp 意义下的控制函数g来保证极限不跑出空间。3.2 lp 空间的关键性质验证lp 空间定义为满足 Σ|x_n|^p ∞ 的数列全体配上范数[ |x|p \left( \sum{n1}^{\infty} |x_n|^p \right)^{1/p} ]在 lp 空间上很多抽象的定理变得非常具体。比如完备性的证明Cauchy 列的逐点收敛极限可以直接构造出来对每个坐标 n数列 {x_n^{(k)}}k 是序列指标是实数 Cauchy 列所以收敛到某个 x_n^。然后证明 x^ (x_1^, x_2^, ...) 属于 lp 并且是范数极限。这个过程比 Lp 空间的情况直观得多也更容易掌握。我强烈建议初学者先用 lp 空间练手把完备性证明的每一步都写清楚再回头去看 Lp 空间的抽象版本会有事半功倍的效果。关于 lp 空间之间的包含关系有一个容易混淆的点当 1 ≤ p q ∞ 时lp ⊂ lq 且 ‖x‖q ≤ ‖x‖p。这看起来和 Lp 空间的情况相反——在有限测度空间上Lq ⊂ Lp。原因在于计数测度不是有限测度每个单点测度为 1所以有限测度空间上的包含关系在这里不适用。我记得第一次学到这个结论时确实绕了一下需要在不同测度背景下切换。另一个实用结论是对于 lp 空间当 p 从 1 增大到 ∞ 时空间是逐渐变大的lp ⊂ lq 对 p q而对应的 Lp[0,1] 是逐渐变小的。这个对照关系如果画成图表会非常清晰。3.3 L∞ 空间与本性有界函数L∞ 空间的定义和 Lp (p ∞) 略有不同它关注的不是积分的有限性而是函数取值是否几乎处处有界。范数是本性上确界。在有限测度空间上L∞ 是最大的对任意 p ∞L∞ ⊂ Lp且[ |f|p \leq \mu(X)^{1/p} |f|\infty ]这个结论在练习中经常用到用来把 L∞ 范数估计转化成 Lp 估计。L∞ 的一个重要性质是在 σ-有限测度空间上L∞ 是 L1 的共轭空间。也就是说(L1)* L∞这里的等号意思是存在等距同构。但反过来(L∞)* 严格大于 L1除非空间是有限维的这一点初学者经常搞混。L∞ 空间本身也有一些奇怪的性质。比如对一般的测度空间L∞ 不可分在范数拓扑下这使得它的结构比 Lp (p ∞) 复杂得多。在 lp 空间中l∞ 是所有有界数列组成的空间范数是上确界范数它同样不是可分的。3.4 对偶空间、自反性与可分性Lp 空间的对偶空间结构是泛函分析的美妙结论之一。设 1 p ∞1/p 1/q 1则有等距同构[ (L^p)^* \cong L^q ]这里的同构映射是对 g ∈ Lq定义线性泛函[ \Phi_g(f) \int_X f g , d\mu ]这个结果告诉我们Lp 上的每一个连续线性泛函都可以表示成和某个 Lq 函数做内积的形式。这个表示定理是 Riesz 表示定理在 Lp 空间的推广也是很多应用中最重要的工具之一。由对偶关系可以直接得出自反性当 1 p ∞ 时Lp 是自反的即 (Lp)≋ Lp等距同构意义下。自反性意味着单位球是弱紧的Alaoglu 定理加上自反性这在变分法和优化问题中至关重要。关于可分性结论是当 1 ≤ p ∞ 时在合适的条件下比如定义域是 Rn 的子集配 Lebesgue 测度或者一般的 σ-有限可分测度空间Lp 是可分的。证明的思路是用简单函数逼近 Lp 中的函数然后用有理系数、定义在有限个有理区间上的阶梯函数构造可数稠密子集。L∞ 则一般不可分。3.5 两对重要的不等式除了 Hölder 和 Minkowski 不等式Lp 空间还有几个常用的不等式在习题和后续课程中会反复遇到。第一个是插值不等式设 1 ≤ p r q ≤ ∞如果 f ∈ Lp ∩ Lq那么 f ∈ Lr且有[ |f|_r \leq |f|_p^{\theta} |f|_q^{1-\theta} ]其中 1/r θ/p (1-θ)/q。这个不等式说明一个函数如果在一头可积且在另一头可积那么中间的所有 Lr 范数都被两端的范数控制。这在调和分析中非常常用比如证明算子的有界性时只要在 L1 和 L∞或 L2上分别建立估计就可以插值到所有中间空间。第二个是 Chebyshev 不等式对 f ∈ Lp 和任意 t 0[ \mu({ x : |f(x)| t }) \leq \frac{|f|_p^p}{t^p} ]这个不等式建立了 Lp 范数和分布函数之间的联系。它说明 Lp 函数的尾巴衰减是有定量估计的这个思想在概率论里就是 Markov 不等式。4. 常见问题与排查技巧实录4.1 服从包含关系时的直觉误区关于 Lp 空间包含关系的问题我见过的错误率非常高。关键要分清楚测度空间是否有限。在有限测度空间比如 [0,1] 配 Lebesgue 测度上p 越大空间越小L∞ ⊂ Lq ⊂ Lp ⊂ L1。这个结论可以从 Hölder 不等式推出来对 f ∈ Lq令 1/p 1/q (1/p − 1/q)其中当 p q 时 1/p − 1/q 0将常数函数 1 视为 L^{r} 的元素其中 1/r 1/p − 1/q然后用 Hölder 不等式把 f·1 分解。在一般测度空间包括计数测度上没有这种包含关系或者方向相反。比如在 R 上配 Lebesgue 测度Lp 和 Lq 互不包含x^{-1/2} 在 x ∈ (0,1) 上属于 L1 但不属于 L2而 x^{-2/3} 在 x 1 上属于 L2 但不属于 L1。我建议在做题时先问自己两个问题定义域测度是否有限p 和 q 的大小关系是什么这样基本可以避免包含关系搞反。4.2 范数三角不等式失效的陷阱当 0 p 1 时Minkowski 不等式是不成立的。这在某些题目里会导致非常反直觉的结果。比如在 L^{1/2}(0,1) 中两个函数和的范数积分形式可能大于两个函数范数之和这与直觉相悖。实际上在 0 p 1 时我们有反向的 Minkowski 不等式对非负函数[ |f g|_p \geq |f|_p |g|_p ]这个反向不等式的成立条件是 p 1而且只对非负函数成立。这个结论经常作为考察点出现在泛函分析习题中。另一个容易出问题的地方是把 ‖·‖_p 的三角不等式滥用到了 p ∞ 以外的情形。L∞ 的三角不等式对应的是本性上确界的次可加性这在验证 L∞ 是赋范空间时是必需的它的证明不依赖于 Hölder 不等式而是直接从函数值的上确界性质出发。4.3 稠密性与逼近问题的常见困惑在很多证明里我们都需要用好的函数比如连续函数、阶梯函数、光滑函数去逼近 Lp 中的一般函数。这个逼近定理的基础是 Lp 空间中简单函数的稠密性。具体来说对任意 f ∈ Lp存在一列简单函数 {s_n} 使得 ‖s_n − f‖p → 0。这个结论的证明分三步先用可测函数的定义构造简单函数逼近逐点收敛然后利用 |f|^p 可积和控制收敛定理升级为 Lp 收敛。在应用层面这个稠密性结论常和 Lusin 定理结合进而用紧支连续函数逼近 Lp 函数。进一步的在 R 上还可以用光滑紧支函数C_c^∞逼近 Lp 函数这在 PDE 理论里是最常用的工具之一。一个有价值的练习题是证明 C_c^∞(R) 在 Lp(R) 中稠密1 ≤ p ∞。思路是用卷积磨光化mollifier逼近先用截断把函数变紧支再用磨光卷积变光滑。这个过程需要三次磨光化处理和两次截断处理每一步都要用 Young 卷积不等式控制范数。4.4 收敛性概念之间的关系Lp 收敛‖f_n − f‖p → 0和几乎处处收敛、依测度收敛这几者之间的关系常常让初学者头疼。一条清晰的路径是范数收敛蕴含存在几乎处处收敛的子列Riesz 定理。反过来几乎处处收敛一般不蕴含范数收敛除非额外假设某种控制条件比如被某个 Lp 函数控制这时用控制收敛定理。从 Lp 收敛可以推出依测度收敛因为 Chebyshev 不等式给出了直接的估计。但依测度收敛非常弱它既推不出范数收敛也推不出几乎处处收敛只知道有几乎处处收敛的子列。在解题时如果你需要在 Lp 收敛和逐点收敛之间切换最稳妥的方式是先说明 Lp 收敛推出子列几乎处处收敛然后对子列使用逐点条件和控制收敛定理如果条件允许最后再利用Cauchy 列子列收敛则全列收敛的原理回到整个序列。4.5 一个经典的 Lp 习题演练作为收尾我写一个代表性的题目展示以上技巧的综合运用。题目设 f_n, f ∈ L^2([0,1])且 f_n 依测度收敛于 f。证明当 ‖f_n‖_2 → ‖f‖_2 时f_n 在 L^2 范数意义下收敛到 f。第一步注意到 L2 是 Hilbert 空间有平行四边形恒等式[ |f_n - f|_2^2 2|f_n|_2^2 2|f|_2^2 - 4\left|\frac{f_n f}{2}\right|_2^2 ]第二步由依测度收敛f_n f 依测度收敛于 2f。结合内积的正则性和 Fatou 引理或弱下半连续性可得[ \liminf_{n \to \infty} \left|\frac{f_n f}{2}\right|_2^2 \geq |f|_2^2 ]第三步在上面的恒等式中取上极限利用 ‖f_n‖2 → ‖f‖2得到[ \limsup_{n \to \infty} |f_n - f|_2^2 \leq 0 ]于是 ‖f_n − f‖2 → 0。这个题目本质上是范数收敛 依测度收敛 强收敛的一个具体体现其中的思路值得反复品味。结尾的个人体会把这部分笔记整理完最大的感受是 Lp 空间这个框架确实配得上泛函分析的基石这个称号。它把分析中关于积分、逼近、收敛的核心问题统一到了一个简洁的范数语言里每一个关键结论完备性、对偶表示、稠密性都指向后续更深刻的定理。如果你现在正在学这一部分我的建议是不要急于往后赶进度先花时间把 Hölder 不等式和 Minkowski 不等式的证明彻底掌握再自己独立把 Lp 空间完备性的六步证明写一遍。这两个动作做完后面所有的内容都会顺畅很多。另外多拿 lp 空间当试金石把抽象结论放到具体的数列空间里验证很多抽象的概念会在这种对照中变得清晰起来。