定理1
当 p ⩾ 1 p \geqslant 1 p⩾1 时, L p [ a , b ] L ^ { p } [ a , b ] Lp[a,b] 按(6)式中范数 ∥ ⋅ ∥ , \| \cdot \| , ∥⋅∥, 成为赋范线性空间
证明
∥
⋅
∥
p
\| \cdot \| _ { p }
∥⋅∥p 满足范数条件
1
∘
1 ^ { \circ }
1∘ 及
2
∘
2 ^ { \circ }
2∘ 是 显然的.又由闵科夫斯基不等式,当
p
⩾
1
p \geqslant 1
p⩾1时,对任意
f
,
g
∈
L
p
[
a
,
b
]
f , g \in L ^ { p } [ a , b ]
f,g∈Lp[a,b] 有
∥
f
+
g
∥
p
⩽
∥
f
∥
p
+
∥
g
∥
p
,
\| f + g \| _ { p } \leqslant \| f \| _ { p } + \| g \| _ { p } ,
∥f+g∥p⩽∥f∥p+∥g∥p, 所以
L
p
[
a
,
b
]
L ^ { p } [ a , b ]
Lp[a,b] 按
∥
⋅
∥
p
\| \cdot \| _ { p }
∥⋅∥p 成赋范线性空间.