Lp空间

Lp空间汇集了其p次方可积的函数，形成了完备的赋范空间，是测度论和泛函分析之间的桥梁。

Definition

对于一个测度空间和一个至少为一的指数p，Lp空间由可测函数的等价类组成，这些函数的绝对值的p次方具有有限积分，并由该积分的p次方根进行范数化。

Scope

本主题涵盖Lp范数和几乎处处相等函数的识别、赫尔德（Holder）不等式和闵可夫斯基（Minkowski）不等式、由里斯-费歇尔（Riesz-Fischer）定理表达的Lp空间的完备性、平方可积函数的特殊希尔伯特空间（Hilbert-space）情况、共轭指数之间的对偶性，以及简单函数和连续函数的稠密性。

Core questions

• 为什么Lp空间的元素必须是函数的等价类而不是函数本身？
• 哪些不等式使Lp范数成为真正的范数并控制函数的乘积？
• 为什么每个Lp空间都是完备的，这又为何重要？
• 如何通过共轭指数识别Lp空间的对偶空间？

Key theories

赫尔德（Holder）和闵可夫斯基（Minkowski）不等式

赫尔德不等式通过共轭指数的Lp范数乘积来限制乘积的积分，而闵可夫斯基不等式确立了Lp范数的三角不等式，这两个估计使得Lp成为一个赋范空间。

里斯-费歇尔（Riesz-Fischer）完备性定理

每个Lp空间都是完备的，因此它是一个巴拿赫空间，对于指数为二的情况，它是一个希尔伯特空间；完备性是连接测度论和泛函分析的基础，也是傅里叶展开的基础。

Clinical relevance

Lp空间是有限能量和有限功率信号的自然环境，通过索博列夫（Sobolev）空间进行偏微分方程的变分表述，以及在概率和统计学中，平方可积随机变量空间承载着方差、相关性和最小二乘估计背后的几何结构。

History

里斯（Riesz）和费歇尔（Fischer）于1907年独立证明了平方可积函数的完备性，这一结果很快被推广到一般指数。Lp空间成为里斯和巴拿赫（Banach）发展泛函分析时的原型巴拿赫空间。

Key figures

• Frigyes Riesz
• Ernst Fischer
• Otto Holder

Seminal works

• folland1999
• brezis2011

Frequently asked questions

为什么Lp元素是等价类而不是函数？

Lp范数无法区分仅在测度为零的集合上不同的函数，因此为了获得真正的范数，需要识别几乎处处相等的函数，并使用由此产生的等价类进行操作。

p等于二的情况有什么特殊之处？

平方可积函数空间是一个希尔伯特空间，是唯一具有内积的Lp空间，这赋予了它正交性和投影，并使其成为傅里叶分析和量子态的归宿。