Lp空间

线性赋范空间
我们定义等价关系为几乎处处相等，用几乎处处有限的函数空间商去这个等价关系，我们定义其
中的线性子空间为L 空间： p

p p
L (E) = {[f ]| ∫ |f | < ∞}
E

线性子空间是显然的，因为：

p p p p
∫ |αf + βg| ≤ 2 ∫ (|αf | + |βg| ) ≤ ∞
E E

我们在这里特别定义L , L 空间：L 1 ∞ 1
(E) 是指E上全体可积函数的等价类集合。
我们说函数f 是本质有界的，如果：

|f | ≤ M , a. e. x ∈ E

称所有本质有界函数的全体等价类组成的空间为L (E) ∞

我们指出，我们可以选择范数让L 空间成为赋范线性空间。 p

首先是L , L 中，我们定义范数|| ⋅ || , || ⋅ || 如下：

1 ∞
1 ∞

||f || 1 = ∫ |f |, ||f || ∞ = inf {M ||f | ≤ M }

E

正定性，正齐次性是自然成立的，L 中的三角不等式也是自然的，现在我们考虑L 中的三角不 1 ∞

等式的证明：
显然||f || 也是f 的一个本性上界，因为：
∞

1
|f | ≤ |f | ∞ + , x, a, e, x ∈ E
n

从而发现它还是最小的本性上界，于是：

|f + g| ≤ |f | + |g| ≤ ||f || ∞ + ||g|| ∞ ⇒ ||f + g|| ∞ ≤ ||f || ∞ + ||g|| ∞

对应于离散情形，我们也有下面的赋范线性空间：
∞

p p
l = {(a 1 , a 2 , ⋯ , a n , ⋯) : ∑ |a n | < ∞}

n=1

对l 取范数为坐标的上确界。
∞

现在，我们来利用一系列不等式给出一般的L 空间的赋范线性结构。 p

Young不等式，Holder不等式与Minkowski不等式
我们首先指出一般的L 范数： p
 1
p
p
||f || p = (∫ |f | )
E

Young不等式：对于共轭指数p, q，对a, b > 0有不等式：

p q
a b
ab ≤ +
p q

我们将其做一下变换：
1 1 a b a b 1 1
a p
b q
≤ + ⟺ ln( + ) ≥ ln a + ln b
p q p q p q

这根据对数函数的凹凸性就可以得到。
根据琴生不等式，当且仅当a = b 不等式取到等号。 p q

Holder不等式：对于共轭指数p, q，如果f ∈ L (E), g ∈ L p q

(E) ，那么有：

∫ |f g| ≤ ||f || p ||g|| q
E

同时，如果f ≠ 0 ，那么有其共轭f ∗
= ||f || p
1−p
sgn(f )|f |
p−1
∈ L (E)
q
，那么就有：

∗ ∗
∫ ff = ||f || p , ||f || q = 1
E

我们首先假设两个函数均不为零，不然我们得到的就是平凡的结果。
我们进一步假设函数的范数为1，不然我们可以通过除以自身范数来做转换。
根据Young不等式：
p q
|f | |g|
|f g| = |f ||g| ≤ +
p q

两边做积分就可以得到：

1 1
∫ |f g| ≤ + = 1
E
p q

于是完成不等式的证明。我们现在来讨论取得等号的条件：
将Young不等式的取等条件用到这里就是当且仅当||g|| q
q |f |
p
= ||f || p |g|
p q
时取到等号。
对于共轭函数：

q(1−p) (p−1)q −p p
∫ ||f || p |f | = ||f || p ∫ |f | = 1
E E

∗ 1−p p
∫ ff = ||f || p ∫ |f | = ||f || p
E E

现在我们来推导Minkowski不等式，并且指出它给了L 空间赋范线性空间的结构： p

∗ ∗
||f + g|| p = ∫ (f + g)(f + g) ≤ (||f || p + ||g|| p )||(f + g) || q = ||f || p + ||g|| p
E
当p = q = 2的时候，Holder不等式有相对更熟悉的形式：

2 2
∫ |f g| ≤ √ ∫ f √∫ g
E E E

推论：设E是可测集合，1 < p < ∞同时F 是L p

(E) 的有界子族，也就是说||f || p
< M , ∀f ∈ F ，那
么它们是一致可积的。
事实上，我们任取可测子集A ⊂ E，那么有：
1 1 1
p
p q q
∫ |f | ≤ (∫ |f | ) (m(A)) ≤ M m(A) < ϵ
A A

于是发现只要：
ϵ q
m(A) < ( )
M

推论：设E是一个有限测度集合，1 ≤ p 1 ≤ p2 ≤ ∞ ，那么我们有包含L p2
⊂ L
p1

对于p = ∞的情况是平凡的。
2

在更一般的情形下：令p = p 2 /p 1 > 1 ，记q为p的共轭，假设f ∈ L

P2
(E) ，那么f p1 p
∈ L (E)，那么
我们应用Holder不等式：

1 1
p1 p1 p1
q q
∫ |f | ≤ ||f || p (m(E)) = ||f || p (m(E))
2

从而最终得到：
p −p
2 1

p p
||f || p 1 ≤ c||f || p 2 , c = (m(E)) 1 2

我们指出下列结果：(它沟通着范数上的极限关系)

lim ||f || p = ||f || ∞

p→∞

我们考虑集合：

A ϵ = {x : |f | ≥ ||f || ∞ − ϵ}

那么我们有：
1 1
p
||f || p ≥ (∫ |f | ) p
≥ (||f || ∞ − ϵ)(m(A ϵ )) p
⇒ lim inf ||f || p ≥ ||f || ∞
p→∞
Aϵ

另一个方向：取p ≥ q
p−q q
1
p−q q p p
||f || p = (∫ |f | |f | ) p
≤ ||f || ∞ ||f || q ⇒ lim sup ||f || p ≤ ||f || ∞
E p→∞

最后我们介绍一个插值不等式：
对于0 < p < q < r ≤ ∞，我们有不等式：
 λ 1−λ
1 λ 1 − λ
||f || q ≤ ||f || p ||f || r , = +
q p r

我们仍然是利用Holder不等式来做证明：
λq (1−λ)q q λq (1−λ)q
f = |f | , g = |f | ⇒ |||f | || 1 ≤ |||f | || p
|||f | || r

λq (1−λ)q

我们做变形：
λq (1−λ)q

q p p r r λ 1−λ
|||f | || 1 ≤ |||f | || |||f | || ⇒ ||f || q ≤ ||f || p ||f || r
1 1

Lp空间的完备性
所谓完备空间，是指所有Cauchy列都范数收敛到自身的空间，我们在这一节要指出L 空间是完备 p

的赋范线性空间。
命题：赋范线性空间中的收敛序列都是Cauchy列，Cauchy列收敛当且仅的存在收敛子列。
根据三角不等式，前者得以验证：

||f n − f m || ≤ ||f n − f || + ||f m − f ||

现在假设已经有了一个Cauchy列，并且有一个子列f 收敛到f ，于是我们有三角不等式： nk

||f n − f || ≤ ||f n − f n k || + ||f n k − f || → 0

针对L 空间，我们提出快速Cauchy列的概念：
p

对于赋范空间的序列f 是快速Cauchy列，如果存在收敛正项级数∑
n
∞

k=1
ϵk < ∞ 满足：
2
||f k+1 − f k || ≤ ϵ k

快速Cauchy列显然是Cauchy列，我们指出，对于反向的问题，存在快速Cauchy子列：
利用递归，选取子列：
−2k
||f n − f m || ≤ 2

就可以得到快速Cauchy列。
定理：设E是可测集，1 ≤ p ≤ ∞，每个L p
(E) 中的快速Cauchy列关于|| ⋅ || 收敛，同时也几乎处 p

处收敛到L (E)中的一个函数。
p

对于p = ∞的情形是平凡的。
对于1 ≤ p < ∞，设f 是快速Cauchy列，那么它几乎处处有限，因此我们都将其视为有限的。
n

根据快速Cauchy列的定义：

p 2p
∫ |f k+1 − f k | ≤ ϵ
k
E

固定自然数k，注意到对每个x ∈ E, |f k+1 − fk | ≥ ϵk 当且仅当|f k+1 − fk | ≥ ϵ

p

k
，于是根据切比雪夫
不等式与上式得到：

−p p p
m{x ∈ E : |f k+1 − f k | ≥ ϵ k } ≤ ϵ ∫ |f k+1 − f k | ≤ ϵ
k k
E
于是我们得到：
∞
p
m{x ∈ E : k ≥ K(x), |f k+1 − f k | ≥ ϵ k } ≤ lim ∑ ϵ → 0
k
n→∞
k=n

于是我们知道存在零测子集E ，使得在这个集合之外，基本都是收敛的。于是我们得到了我们想
0

要的Cauchy列，我们将其极限记为f 。
那么我们有：
∞

p 2 p
∫ |f n+k − f k | ≤ (∑ ϵ j )
E
j=n

取极限同时利用Fatou引理，得到：
∞

p 2 p
∫ |f − f n | ≤ (∑ ϵ j ) → 0
E
j=n

从而完成了这个定理的证明。现在我们来给出这一节最重要的定理：
Riesz-Fischer定理：L (E)空间是一个Banach空间，并且对于L 空间中的范数收敛，存在子列几
p p

乎处处收敛。
首先我们来证明完备性，对于空间中的Cauchy列，根据前面的明知道存在子列是快速Cauchy列，
从而指导这个字列按照范数收敛，同时也几乎处处收敛。再用前面的定理，因为Cauchy列有子列
收敛，从而本身也收敛。
逼近与可分
最后我们来介绍逼近性质的一些讨论。
我们已经有了一些前置的知识：比如有理数是在实数中稠密的，比如闭区间上的多项式空间是在
这个区间上的连续函数空间中稠密的。
命题：设E是一个可测集，1 ≤ p ≤ ∞，那么L (E)中的简单函数空间是稠密的。 p

这本质上就是Lusin定理。
同样的，阶梯函数构成的子空间也是稠密的函数空间。
我们定义一个函数是可分的，如果存在可数的稠密子集。例如R就是可分的。
定理：1 ≤ p < ∞时，L (E)是可分空间
p

我们只需要讨论取值为有理数，并且阶梯端点为有理数的全体阶梯函数构成的线性空间即可。
对于L 一般是不可分的。
∞

最后我们考虑支撑集合有界的连续函数全体为C (E)，那么它在L (E), 1 ≤ p < ∞中稠密。 c

p

Riesz表示定理
最后我们直接指出Riesz表示定理：
考虑一个算子R : L (E) → R如下：
g
p

R g (f ) = ∫ gf
E
那么对于L p
空间上的任意一个线性泛函T ，都存在唯一g ∈ L
(E)
q
满足R
(E) g = T