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