【Lp空间】
在数学中，Lp空间是由p次可积函数组成的空间；对应的ℓp空间是由p次可和序列组成的空间。它们有时叫做勒贝格空间。
在泛函分析和拓扑向量空间中，他们构成了巴拿赫空间一类重要的例子。Lp空间在工程学领域的有限元分析中有应用。
==基本知识==
展示在不同的p-范数下的单位圆。
===长度、距离与范数===
泛函分析中，常常会在某类函数的集合上架设拓扑结构乃至更复杂的结构，以便使用拓扑乃至分析学的知识来讨论这些集合的属性。最常见的附加结构是赋范向量空间。将函数集合作为装备了范数向量空间来看待，有助于理解函数类的关系和性质。范数是欧几里德空间中长度概念的推广。在平面几何或立体几何中，长度以及距离是最基本的概念之一。对象的形状、位置、大小等性质或关系都是建立在长度和距离的定义上。最直观的长度概念是由平直物理空间中抽象而来，满足勾股定理。例如说在平面上，原点到点的向量长度是。三维空间中，原点到点的向量长度。长度函数满足如下的基本性质：
#只有零向量的长度是零：
#数乘线性：
#满足三角不等式：
比如说在更一般的n维欧几里德空间中，可以定义向量的欧几里德长度是
这个函数也满足以上的基本性质。更一般地，在向量空间中，满足以上性质的函数：称为上的“长度”函数或范数。比如在欧几里德空间中也可以对给定的实数p ≥ 1定义范数：
这个范数称为上的p-范数。p = 2的时候，就是常见的欧几里德范数。p = 1的时候，是所谓的曼哈顿距离。当p趋于无穷大的时候，p-范数趋于一个“极限”范数，称为一致范数（也记作L∞-范数），定义为：
对不同的p来说，等长度点的集合是不一样的。比如右图列出了三种不同范数下单位圆（从原点出发，“长度”等于1的点的集合）形状。
===可数维度空间的p-范数===
有限维空间中的p-范数可以如一般定义。当空间维数是可数无限时，也可以将p-范数的定义拓展到其上。这个定义一般适用于由数列或序列构成的空间，称为空间。常见的有如下例子：
*空间，所有绝对收敛级数列构成的空间；
*空间，所有平方收敛级数列构成的空间；
*空间，所有有界数列构成的空间。
事实上，序列集合上可以自然地按照序列的加法和数乘定义出向量空间。而空间则是在这个向量空间中定义如下的p-范数：
然而，上式中右侧的级数不总是收敛的（有可能其级数和是无穷大）。所以空间实际上是所有序列集合中，令上式右侧的级数能够收敛的元素组成的子集。
可以证明，随着p增大，空间包含的元素也越多。实际上，如果math|p  p空间==
当空间维度是无穷而且不可数的时候（没有一个可数的基底），无法运用有限维或可数维度空间的办法来定义范数，但对于可积函数空间，仍然能够定义类似的概念。具体来说，给定测度空间(S, Σ, μ)以及大于等于1的实数p，考虑所有从S到域（或）上的可测函数。考虑所有绝对值的p次幂在S可积的函数，也就是集合：
集合中的函数可以进行加法和数乘：
从闵可夫斯基不等式可知，两个p次可积函数的和，也是一个p次可积函数。另外，容易证明；闵可夫斯基不等式的积分形式说明三角不等式对成立。满足这样条件的构成一个半范数，令成为一个半赋范向量空间。之所以是半范数，是因为满足的函数不一定是零函数。然而可以通过一套标准的拓扑方法从这个半赋范空间得到一个赋范空间：考虑中所有使得的函数的集合：
集合可以看作是映射的零空间。对可测函数来说，几乎处处为零（在测度μ意义下）。所以
几乎处处为0
而同时也是的一个子空间。设是关于的商空间。中的某个元素可以看作是所有和函数相差一个中元素的函数构成的等价类。这样定义的空间是一个赋范向量空间，称为S上函数关于测度μ的L p空间。称为函数的p-范数。
需要注意的是，L p空间中的元素严格来说并不是具体的函数，而是一族函数构成的等价类。而当需要将L p空间元素当作函数来计算的时候，参与计算的实际是从这一族函数中抽取的一个代表函数。
与序列空间一样，在函数空间上也可以定义一致范数。定义的方法和范数一样，首先定义：
几乎处处小于等于
是一个半范数，取几乎处处为0，则关于的商空间是一个赋范向量空间，记作。
一致范数与p-范数之间存在以下关系：
可以证明，L p空间是完备的空间，也即是说是一个巴拿赫空间（完备赋范向量空间）。L p空间的完备性通常被称为里兹－费舍尔定理。具体的证明可以借助测度上的勒贝格积分的相关收敛定理来完成。
=== 特例 ===
L p空间都是巴拿赫空间，但只有当p = 2的时候，L2空间是希尔伯特空间。也就是说，可以为L2空间中的元素定义内积。具体形式是：
其中的表示复数的共轭。这个内积是从2-范数自然诱导的内积。L2空间在傅立叶级数和量子力学以及其他领域有着重要的运用。
空间可以看作是L p空间的特例。只要取L p空间中的，测度为上的计数测度，则对应的就是空间。
== Lp空间的性质 ==
===对偶空间===
一个拓扑向量空间的对偶空间是指由这个向量空间上的所有的连续线性泛函构成的泛函空间。对某个大于1的实数p，设q是满足的唯一实数，则空间Lp(S, μ)的对偶空间Lp(S, μ)*与Lq(S, μ)同构。这个关系可以通过一个自然的同构映射展现：
:::
赫尔德不等式保证了其中的泛函是良好定义并且是连续的。是一个线性映射，根据赫尔德不等式的极限情况，作为泛函的范数和一样，这说明是一个等距映射。此外还可以证明，对偶空间Lp(S, μ)*中的任一线性泛函对偶空间G都能表示成某个的形式，所以是一个满射。结合以上性质可以推出，是一个等距同构。在这个同构的意义下，我们常说Lp(S, μ)的对偶空间“是”Lq(S, μ)。
以上性质说明，当大于1的时候，Lp(S, μ)是一个自反空间：Lp(S, μ)的二次对偶空间（对偶空间的对偶空间）“是”它自己（在同构的意义下）。具体来说，从出发，可以构造出以下的关系：
与的复合映射jp是从Lp(S, μ)映射到其二次对偶空间的赋值嵌入映射：
: 使得
从而
:
作为两个等距同构的复合映射，jp也是等距同构。这说明Lp(S, μ)和Lp(S, μ)**也是同构关系。
如果测度μ是σ-有限测度，那么L1(S, μ)*和L∞(S, μ)也是等距同构。可以证明，
是L∞(S, μ)到L1(S, μ)*上的一个同构。
则更为复杂。L∞(S, μ)*可以被刻画为所有关于测度μ绝对连续的有界带号有限可加测度的集合。如果承认选择公理，那么一般来说，L∞(S, μ)*这个集合要比L1(S, μ)“大得多”。只有对某些简单的测度μ，L∞(S, μ)*会和L1(S, μ)同构。
=== 嵌入 ===
给定两个实数：1 ≤ p p(S, μ)和Lq(S, μ)的时候会发现，前者中包含一些局部行为更加不规则的函数，而后者中则包含了“尾巴更粗”的函数。举例来说，中的连续函数（也就是实数域上的勒贝格可积函数）可以在0的附近取很大的值，但当自变量趋于无穷大的时候，函数的值必须趋于0. 而对于中的连续函数（有界连续函数），无论自变量多大，函数值都可以不在0附近，但反过来说，无论自变量取多少，函数的值也不能超过上界和下界。
假设全集S在μ中的测度有限，以及1 ≤ p q(S, μ)可以被连续地嵌入到Lp(S, μ)里面。换句话说，Lq(S, μ)到Lp(S, μ)上的恒等映射是有界连续映射。的算子范数就是由以上不等式取等号的情形确定的：
=== 稠密子空间 ===
研究某个复杂的无穷维赋范空间的时候，常常会使用一个由空间中比较“简单”的元素构成的稠密子集来逼近空间中的一个元素。假设1 ≤ p p(S, μ)中的元素可以用测度空间 (S, Σ, μ) 上的简单可积函数逼近。给定测度空间(S, Σ, μ)，其上的一个简单可积函数指的是形同：
的函数。其中的aj是实数或复数系数，Aj ∈ Σ 是测度有限的可测集合。由勒贝格积分的构造方法可知，简单可积函数的集合在Lp(S, μ)中稠密。
如果S本身也是测度空间，而μ是S上的博雷尔测度，那么可以通过乌雷松引理证明，所有S可测而且测度有限的子集对应的指示函数都可以通过连续函数逼近。所以所有的简单可积函数可以用连续函数逼近。因而可以证明，Lp(S, μ)中的连续函数构成的集合在Lp(S, μ)中稠密84。对于更具体的空间，可以证明更加强的结果。比如说当S是n维欧几里德空间，而μ是S上的正则博雷尔测度的时候，可以证明，所有紧支撑的光滑函数的集合在Lp(S, μ)中稠密。