在數學 中,Lp 空間 是由p次可積函數 組成的空間;對應的ℓp 空間 是由p 次可和序列 組成的空間。它們有時叫做勒貝格空間 [ 註 1] 。
在泛函分析 和拓撲向量空間 中,他們構成了巴拿赫空間 一類重要的例子。Lp 空間在工程學 領域的有限元分析 中有應用。
展示在不同的p -範數下的單位圓 。
泛函分析中,常常會在某類函數的集合上架設拓撲結構 乃至更複雜的結構,以便使用拓撲乃至分析學的知識來討論這些集合的屬性。最常見的附加結構是賦范向量空間 。將函數集合作為裝備了範數 向量空間 來看待,有助於理解函數類的關係和性質。範數是歐幾里德空間 中長度概念的推廣。在平面幾何或立體幾何中,長度以及距離是最基本的概念之一。對象的形狀、位置、大小等性質或關係都是建立在長度和距離的定義上。最直觀的長度概念是由平直物理空間中抽象而來,滿足勾股定理 。例如說在平面上,原點到點
P
=
(
x
,
y
)
{\displaystyle P=(x,y)}
的向量長度是
x
2
+
y
2
{\displaystyle {\sqrt {x^{2}+y^{2}}}}
。三維空間中,原點到點
P
=
(
x
,
y
,
z
)
{\displaystyle P=(x,y,z)}
的向量長度
x
2
+
y
2
+
z
2
{\displaystyle {\sqrt {x^{2}+y^{2}+z^{2}}}}
。長度函數
l
{\displaystyle l}
滿足如下的基本性質:
只有零向量的長度是零:
l
(
v
)
=
0
⟺
v
=
0
,
{\displaystyle l(v)=0\iff v=0,}
數乘線性:
∀
λ
∈
R
,
l
(
λ
v
)
=
|
λ
|
l
(
v
)
,
{\displaystyle \forall \lambda \in \mathbb {R} ,\;\;l(\lambda v)=\left\vert \lambda \right\vert l(v),}
滿足三角不等式:
l
(
u
)
+
l
(
v
)
⩾
l
(
u
+
v
)
.
{\displaystyle l(u)+l(v)\geqslant l(u+v).}
比如說在更一般的n 維歐幾里德空間
R
n
{\displaystyle \mathbb {R} ^{n}}
中,可以定義向量
v
=
(
x
1
,
x
2
,
⋯
x
n
)
{\displaystyle v=(x_{1},x_{2},\cdots x_{n})}
的歐幾里德長度是
l
(
v
)
=
(
x
1
2
+
x
2
2
+
⋯
+
x
n
2
)
1
2
{\displaystyle l(v)=(x_{1}^{2}+x_{2}^{2}+\cdots +x_{n}^{2})^{\frac {1}{2}}}
這個函數也滿足以上的基本性質。更一般地,在向量空間
V
{\displaystyle V}
中,滿足以上性質的函數:
N
:
V
→
R
+
{\displaystyle {\mathcal {N}}:\;V\rightarrow \mathbb {R} _{+}}
稱為
V
{\displaystyle V}
上的「長度」函數或範數 。比如在歐幾里德空間
R
n
{\displaystyle \mathbb {R} ^{n}}
中也可以對給定的實數p ≥ 1定義範數:
N
p
(
x
)
=
‖
x
‖
p
=
(
|
x
1
|
p
+
|
x
2
|
p
+
⋯
+
|
x
n
|
p
)
1
p
{\displaystyle \ {\mathcal {N}}_{p}(x)=\|x\|_{p}=\left(|x_{1}|^{p}+|x_{2}|^{p}+\dotsb +|x_{n}|^{p}\right)^{\frac {1}{p}}}
這個範數稱為
R
n
{\displaystyle \mathbb {R} ^{n}}
上的p - 範數。p = 2的時候,就是常見的歐幾里德範數。p = 1的時候,是所謂的曼哈頓距離 。當p 趨於無窮大的時候,p - 範數趨於一個「極限」範數,稱為一致範數 (也記作L ∞ - 範數),定義為:
N
∞
(
x
)
=
‖
x
‖
∞
=
max
(
|
x
1
|
,
|
x
2
|
⋯
,
|
x
n
|
)
.
{\displaystyle \ {\mathcal {N}}_{\infty }(x)=\|x\|_{\infty }=\max(|x_{1}|,|x_{2}|\cdots ,|x_{n}|).}
對不同的p 來說,等長度點的集合是不一樣的。比如右圖列出了三種不同範數下單位圓 (從原點出發,「長度」等於1的點的集合)形狀。
有限維空間中的p - 範數可以如
R
n
{\displaystyle \mathbb {R} ^{n}}
一般定義。當空間維數是可數無限時,也可以將p - 範數的定義拓展到其上。這個定義一般適用於由數列或序列構成的空間,稱為
ℓ
p
{\displaystyle \ell ^{p}}
空間。常見的有如下例子:
ℓ
1
{\displaystyle \ell ^{1}}
空間,所有絕對收斂 級數 列構成的空間;
ℓ
2
{\displaystyle \ell ^{2}}
空間,所有平方收斂級數 列構成的空間;
ℓ
∞
{\displaystyle \ell ^{\infty }}
空間,所有有界 數列構成的空間。
事實上,序列集合上可以自然地按照序列的加法和數乘定義出向量空間。而
ℓ
p
{\displaystyle \ell ^{p}}
空間則是在這個向量空間中定義如下的p - 範數:
‖
(
x
n
)
n
∈
N
‖
p
=
(
|
x
1
|
p
+
|
x
2
|
p
+
⋯
+
|
x
n
|
p
+
|
x
n
+
1
|
p
+
⋯
)
1
p
=
(
∑
n
∈
N
|
x
n
|
p
)
1
p
.
{\displaystyle \|(x_{n})_{n\in \mathbb {N} }\|_{p}=\left(|x_{1}|^{p}+|x_{2}|^{p}+\dotsb +|x_{n}|^{p}+|x_{n+1}|^{p}+\dotsb \right)^{\frac {1}{p}}=\left(\sum _{n\in \mathbb {N} }|x_{n}|^{p}\right)^{\frac {1}{p}}.}
然而,上式中右側的級數不總是收斂的(有可能其級數和是無窮大)。所以
ℓ
p
{\displaystyle \ell ^{p}}
空間實際上是所有序列集合中,令上式右側的級數能夠收斂的元素組成的子集。
可以證明,隨着p 增大,
ℓ
p
{\displaystyle \ell ^{p}}
空間包含的元素也越多。實際上,如果p < q ,那麼
ℓ
p
{\displaystyle \ell ^{p}}
空間是
ℓ
q
{\displaystyle \ell ^{q}}
空間的真子集。比如說,以下的數列:
a
=
(
1
n
)
n
∈
N
∗
=
(
1
,
1
2
,
1
3
,
⋯
,
1
n
,
⋯
)
{\displaystyle a=({\frac {1}{n}})_{n\in \mathbb {N} ^{*}}=\left(1,{\frac {1}{2}},{\frac {1}{3}},\cdots ,{\frac {1}{n}},\cdots \right)}
不屬
ℓ
1
{\displaystyle \ell ^{1}}
,因為
1
+
1
2
+
1
3
+
⋯
+
1
n
+
⋯
{\displaystyle 1+{\frac {1}{2}}+{\frac {1}{3}}+\cdots +{\frac {1}{n}}+\cdots }
的和是無窮大。不過,由於
1
+
1
2
2
+
1
3
2
+
⋯
+
1
n
2
+
⋯
{\displaystyle 1+{\frac {1}{2^{2}}}+{\frac {1}{3^{2}}}+\cdots +{\frac {1}{n^{2}}}+\cdots }
的和是有限的,所以數列
a
{\displaystyle a}
屬於
ℓ
2
{\displaystyle \ell ^{2}}
.
當空間維度是無窮而且不可數的時候(沒有一個可數的基底),無法運用有限維或可數維度空間的辦法來定義範數,但對於可積函數空間,仍然能夠定義類似的概念。具體來說,給定測度空間 (S , Σ , μ )以及大於等於1的實數p ,考慮所有從S 到域
K
{\displaystyle \mathbb {K} }
(
K
=
C
{\displaystyle \mathbb {K} =\mathbb {C} }
或
R
{\displaystyle \mathbb {R} }
)上的可測函數 。考慮所有絕對值的p 次冪在S 可積的函數,也就是集合:
L
p
(
S
,
μ
)
=
{
f
;
‖
f
‖
p
=
(
∫
S
|
f
|
p
d
μ
)
1
p
<
∞
}
{\displaystyle {\mathcal {L}}^{p}(S,\mu )=\left\{f;\;\|f\|_{p}=\left({\int _{S}|f|^{p}\;\mathrm {d} \mu }\right)^{\frac {1}{p}}<\infty \right\}}
集合中的函數可以進行加法和數乘:
(
f
+
g
)
(
x
)
=
f
(
x
)
+
g
(
x
)
,
(
λ
f
)
(
x
)
=
λ
f
(
x
)
,
λ
∈
K
{\displaystyle (f+g)(x)=f(x)+g(x),\quad (\lambda f)(x)=\lambda f(x),\;\;\lambda \in \mathbb {K} }
從閔可夫斯基不等式 可知,兩個p 次可積函數的和,也是一個p 次可積函數。另外,容易證明
‖
λ
f
‖
p
=
|
λ
|
‖
f
‖
p
{\displaystyle \|\lambda f\|_{p}=|\lambda |\|f\|_{p}}
;閔可夫斯基不等式 的積分形式說明三角不等式對
‖
⋅
‖
p
{\displaystyle \|\cdot \|_{p}}
成立。滿足這樣條件的
‖
⋅
‖
p
{\displaystyle \|\cdot \|_{p}}
構成一個半範數 ,令
L
p
(
S
,
μ
)
{\displaystyle {\mathcal {L}}^{p}(S,\mu )}
成為一個半賦范向量空間。之所以是半範數,是因為滿足
‖
f
‖
p
=
0
{\displaystyle \|f\|_{p}=0}
的函數
f
{\displaystyle f}
不一定是零函數。然而可以通過一套標準的拓撲方法從這個半賦范空間得到一個賦范空間:考慮
L
p
(
S
,
μ
)
{\displaystyle {\mathcal {L}}^{p}(S,\mu )}
中所有使得
‖
f
‖
p
=
0
{\displaystyle \|f\|_{p}=0}
的函數
f
{\displaystyle f}
的集合:
N
=
{
f
;
‖
f
‖
p
=
0
}
.
{\displaystyle N=\left\{f;\;\|f\|_{p}=0\right\}.}
集合
N
{\displaystyle N}
可以看作是映射
f
↦
‖
f
‖
p
{\displaystyle f\mapsto \|f\|_{p}}
的零空間 。對可測函數
f
{\displaystyle f}
來說,
‖
f
‖
p
=
0
⟺
μ
(
f
≠
0
)
=
0
⟺
f
{\displaystyle \|f\|_{p}=0\iff \mu (f\neq 0)=0\iff f}
幾乎處處為零(在測度μ 意義下)。所以
N
≡
k
e
r
(
‖
⋅
‖
p
)
=
{
f
:
f
μ
−
{\displaystyle N\equiv \mathrm {ker} (\|\cdot \|_{p})=\{f:f\;\;\mu -}
幾乎處處為0
}
.
{\displaystyle \}.}
而
N
{\displaystyle N}
同時也是
L
p
(
S
,
μ
)
{\displaystyle {\mathcal {L}}^{p}(S,\mu )}
的一個子空間。設
L
p
(
S
,
μ
)
{\displaystyle L^{p}(S,\mu )}
是
L
p
(
S
,
μ
)
{\displaystyle {\mathcal {L}}^{p}(S,\mu )}
關於
N
{\displaystyle N}
的商空間 。
L
p
(
S
,
μ
)
{\displaystyle L^{p}(S,\mu )}
中的某個元素
f
{\displaystyle f}
可以看作是所有和函數
f
{\displaystyle f}
相差一個
N
{\displaystyle N}
中元素的函數構成的等價類。這樣定義的空間
L
p
(
S
,
μ
)
{\displaystyle L^{p}(S,\mu )}
是一個賦范向量空間,稱為S 上函數關於測度 μ 的L p 空間。
‖
⋅
‖
p
{\displaystyle \|\cdot \|_{p}}
稱為
L
p
(
S
,
μ
)
{\displaystyle L^{p}(S,\mu )}
函數的p -範數。
需要注意的是,L p 空間中的元素嚴格來說並不是具體的函數,而是一族函數構成的等價類。而當需要將L p 空間元素當作函數來計算的時候,參與計算的實際是從這一族函數中抽取的一個代表函數。
與序列空間一樣,在函數空間上也可以定義一致範數。定義的方法和範數一樣,首先定義:
‖
f
‖
∞
≡
inf
{
C
≥
0
:
|
f
(
x
)
|
μ
−
{\displaystyle \|f\|_{\infty }\equiv \inf\{C\geq 0:|f(x)|\;\;\mu -}
幾乎處處小於等於
C
}
.
{\displaystyle C\}.}
L
∞
(
S
,
μ
)
=
{
f
;
‖
f
‖
∞
<
∞
}
{\displaystyle {\mathcal {L}}^{\infty }(S,\mu )=\left\{f;\;\|f\|_{\infty }<\infty \right\}}
‖
⋅
‖
∞
{\displaystyle \|\cdot \|_{\infty }}
是一個半範數,取
N
≡
k
e
r
(
‖
⋅
‖
∞
)
=
{
f
:
f
μ
−
{\displaystyle N\equiv \mathrm {ker} (\|\cdot \|_{\infty })=\{f:f\mu -}
幾乎處處為0
}
.
{\displaystyle \}.}
,則
L
∞
(
S
,
μ
)
{\displaystyle {\mathcal {L}}^{\infty }(S,\mu )}
關於
N
{\displaystyle N}
的商空間 是一個賦范向量空間,記作
L
∞
(
S
,
μ
)
{\displaystyle L^{\infty }(S,\mu )}
。
一致範數與p -範數之間存在以下關係:
‖
f
‖
∞
=
lim
p
→
∞
‖
f
‖
p
{\displaystyle \|f\|_{\infty }=\lim _{p\to \infty }\|f\|_{p}}
可以證明,L p 空間是完備的空間 ,也即是說是一個巴拿赫空間 (完備賦范向量空間)。L p 空間的完備性通常被稱為里茲-費舍爾定理 。具體的證明可以藉助測度上的勒貝格積分 的相關收斂定理來完成。
一個拓撲向量空間的對偶空間 是指由這個向量空間上的所有的連續線性泛函 構成的泛函空間 。對某個大於1的實數p ,設q 是滿足
1
p
+
1
q
=
1
{\displaystyle {\frac {1}{p}}+{\frac {1}{q}}=1}
的唯一實數,則空間Lp (S , μ ) 的對偶空間Lp (S , μ )* 與Lq (S , μ )同構 。這個關係可以通過一個自然的同構映射展現:
κ
p
:
L
q
(
S
,
μ
)
⟶
L
p
(
S
,
μ
)
∗
{\displaystyle \kappa _{p}:\;\;L^{q}(S,\mu )\longrightarrow L^{p}(S,\mu )^{*}}
f
⟼
κ
p
(
f
)
:=
(
g
∈
L
p
(
S
,
μ
)
↦
∫
S
f
g
d
μ
)
.
{\displaystyle f\qquad \longmapsto \kappa _{p}(f):=\left(g\in L^{p}(S,\mu )\;\mapsto \;\int _{S}fg\;d\mu \right).}
赫爾德不等式 保證了其中的泛函
κ
p
(
f
)
{\displaystyle \kappa _{p}(f)}
是良好定義並且是連續的。
κ
p
{\displaystyle \kappa _{p}}
是一個線性映射,根據赫爾德不等式的極限情況,
κ
p
(
f
)
{\displaystyle \kappa _{p}(f)}
作為泛函的範數和
f
{\displaystyle f}
一樣,這說明
κ
p
{\displaystyle \kappa _{p}}
是一個等距映射 。此外還可以證明,對偶空間Lp (S , μ )* 中的任一線性泛函對偶空間G 都能表示成某個
κ
p
(
g
)
{\displaystyle \kappa _{p}(g)}
的形式,所以
κ
p
{\displaystyle \kappa _{p}}
是一個滿射 。結合以上性質可以推出,
κ
p
{\displaystyle \kappa _{p}}
是一個等距同構。在這個同構的意義下,我們常說Lp (S , μ ) 的對偶空間「是」Lq (S , μ ) 。
以上性質說明,當大於1的時候,Lp (S , μ ) 是一個自反空間 :Lp (S , μ ) 的二次對偶空間(對偶空間的對偶空間)「是」它自己(在同構的意義下)。具體來說,從
κ
p
{\displaystyle \kappa _{p}}
出發,可以構造出以下的關係:
j
p
:
L
p
(
S
,
μ
)
→
κ
q
L
q
(
S
,
μ
)
∗
⟶
(
κ
p
−
1
)
∗
L
p
(
S
,
μ
)
∗
∗
{\displaystyle j_{p}\colon L^{p}(S,\mu ){\overset {\kappa _{q}}{\to }}L^{q}(S,\mu )^{*}{\overset {\,\,\left(\kappa _{p}^{-1}\right)^{*}}{\longrightarrow }}L^{p}(S,\mu )^{**}}
κ
q
{\displaystyle \kappa _{q}}
與
(
κ
p
−
1
)
∗
{\displaystyle \left(\kappa _{p}^{-1}\right)^{*}}
的複合映射 jp 是從Lp (S , μ ) 映射到其二次對偶空間的賦值嵌入映射:
∀
f
∈
L
p
(
S
,
μ
)
,
G
∈
L
p
(
S
,
μ
)
∗
,
∃
g
∈
L
q
(
S
,
μ
)
{\displaystyle \forall f\in L^{p}(S,\mu ),\;\;G\in L^{p}(S,\mu )^{*},\;\;\exists g\in L^{q}(S,\mu )}
使得
G
=
κ
p
(
g
)
.
{\displaystyle G=\kappa _{p}(g).}
從而
[
j
p
(
f
)
]
(
G
)
=
[
(
(
κ
p
−
1
)
∗
∘
κ
q
)
(
f
)
]
(
G
)
=
[
(
κ
p
−
1
)
∗
(
κ
q
(
f
)
)
]
(
G
)
=
[
κ
q
(
f
)
]
(
κ
p
−
1
(
G
)
)
=
[
κ
q
(
f
)
]
(
g
)
=
∫
S
f
g
d
μ
=
G
(
f
)
.
{\displaystyle \;\;\left[j_{p}(f)\right](G)=\left[\left(\left(\kappa _{p}^{-1}\right)^{*}\circ \kappa _{q}\right)(f)\right](G)=\left[\left(\kappa _{p}^{-1}\right)^{*}\left(\kappa _{q}(f)\right)\right](G)=\left[\kappa _{q}(f)\right]\left(\kappa _{p}^{-1}(G)\right)=\left[\kappa _{q}(f)\right](g)=\int _{S}fg\;d\mu =G(f).}
作為兩個等距同構的複合映射,jp 也是等距同構。這說明Lp (S , μ ) 和Lp (S , μ )** 也是同構關係。
如果測度μ 是σ-有限測度 ,那麼L1 (S , μ )* 和L∞ (S , μ ) 也是等距同構。可以證明,
κ
1
:
f
∈
L
∞
(
S
,
μ
)
⟼
(
g
∈
L
1
(
S
,
μ
)
↦
∫
S
f
g
d
μ
)
{\displaystyle \kappa _{1}:\;\;f\in L^{\infty }(S,\mu )\longmapsto \left(g\in L^{1}(S,\mu )\;\mapsto \;\int _{S}fg\;d\mu \right)}
是L∞ (S , μ ) 到L1 (S , μ )* 上的一個同構。
L∞ (S , μ ) 則更為複雜。L∞ (S , μ )* 可以被刻畫為所有關於測度μ 絕對連續 的有界帶號有限可加測度的集合。如果承認選擇公理 ,那麼一般來說,L∞ (S , μ )* 這個集合要比L1 (S , μ ) 「大得多」。只有對某些簡單的測度μ ,L∞ (S , μ )* 會和L1 (S , μ ) 同構。
給定兩個實數:1 ≤ p < q ≤ ∞,當比較Lp (S , μ ) 和Lq (S , μ ) 的時候會發現,前者中包含一些局部行為更加不規則的函數,而後者中則包含了「尾巴更粗」的函數。舉例來說,
L
1
(
R
)
{\displaystyle L^{1}(\mathbb {R} )}
中的連續函數(也就是實數域上的勒貝格可積函數)可以在0的附近取很大的值,但當自變量趨於無窮大的時候,函數的值必須趨於0. 而對於
L
∞
(
R
)
{\displaystyle L^{\infty }(\mathbb {R} )}
中的連續函數(有界連續函數),無論自變量多大,函數值都可以不在0附近,但反過來說,無論自變量取多少,函數的值也不能超過上界和下界。
假設全集S 在μ 中的測度有限,以及1 ≤ p < q ≤ ∞。那麼由赫爾德不等式 有如下限制:
‖
f
‖
p
≤
μ
(
S
)
(
1
/
p
)
−
(
1
/
q
)
‖
f
‖
q
{\displaystyle \|f\|_{p}\leq \mu (S)^{(1/p)-(1/q)}\|f\|_{q}}
這說明空間Lq (S , μ ) 可以被連續地嵌入到Lp (S , μ ) 裡面。換句話說,Lq (S , μ ) 到Lp (S , μ ) 上的恆等映射
I
p
,
q
{\displaystyle I_{p,q}}
是有界連續映射。
I
p
,
q
{\displaystyle I_{p,q}}
的算子範數 就是由以上不等式取等號的情形確定的:
‖
I
p
,
q
‖
=
μ
(
S
)
(
1
/
p
)
−
(
1
/
q
)
.
{\displaystyle \|I_{p,q}\|=\mu (S)^{(1/p)-(1/q)}.}
研究某個複雜的無窮維賦范空間的時候,常常會使用一個由空間中比較「簡單」的元素構成的稠密 子集來逼近空間中的一個元素。假設1 ≤ p < ∞,則空間Lp (S , μ ) 中的元素可以用測度空間 (S , Σ , μ ) 上的簡單可積函數 逼近。給定測度空間(S , Σ , μ ),其上的一個簡單可積函數指的是形同:
f
=
∑
j
=
1
n
a
j
1
A
j
{\displaystyle f=\sum _{j=1}^{n}a_{j}\mathbf {1} _{A_{j}}}
的函數。其中的aj 是實數或複數係數,Aj ∈ Σ 是測度有限的可測集合。由勒貝格積分 的構造方法可知,簡單可積函數的集合在Lp (S , μ ) 中稠密。
如果S 本身也是測度空間,而μ 是S 上的博雷爾測度 ,那麼可以通過烏雷松引理 證明,所有S 可測而且測度有限的子集對應的指示函數 都可以通過連續函數逼近。所以所有的簡單可積函數可以用連續函數逼近。因而可以證明,Lp (S , μ ) 中的連續函數構成的集合在Lp (S , μ ) 中稠密[ 1] :84 。對於更具體的空間,可以證明更加強的結果。比如說當S 是n 維歐幾里德空間,而μ 是S 上的正則博雷爾測度 的時候,可以證明,所有緊支撐 的光滑函數 的集合在Lp (S , μ ) 中稠密。
Piotr Hajłasz, Pekka Koskela. Sobolev Met Poincaré. American Mathematical Society: Memoirs of the American Mathematical Society. 2000, (688).