泛函分析基础7-2-赋范线性空间7-Lᵖ[a,b]空间2：Lᵖ[a,b]【[a,b]上p方可积函数全体记为Lᵖ[a,b]】

首先需要证明几个重要的不等式：赫尔德(Holder)不等式、

下面介绍两个重要的巴拿赫空间。

---

例4
空间 $L^p[a,b].$

设 $f(t)$ 是 $[a,b]$ 上复值可测函数， $p>0$，如果$|f(x){|}^p$ 是 $[a,b]$ 上 $L$ 可积函数，则称$f(t)$ 是 $[a,b]$ 上 $p$ 方可积函数， $[a,b]$ 上 $p$方可积函数全体记为 $L^p[a,b]$。

当 $p=1$ 时，$L^1[a,b]$ 即为 $[a,b]$ 上 $L$ 可积函数全体.在空间$L^p[a,b]$ 中，我们把两个 $a.e.$ 相等的函数视为 $L^p[a,b]$ 中同一个元素而不加以区别.设$f,g\in L^p[a,b],$ 因为

∣ ⁢ f ⁡ ( t ) + g ⁡ ( t ) ∣ p ⩽ ( 2 max ⁡ { ∣ ⁢ f ⁡ ( t ) ⁢ ∣ , ∣ ⁢ g ⁡ ( t ) ⁢ ∣ } ) p ⩽ 2 p ( ∣ ⁢ f ⁡ ( t ) ∣ p + ∣ ⁢ g ⁡ ( t ) ∣ p ) . ∣⁢f⁡\left(t\right) + g⁡\left(t\right)∣^{p}⩽\left(2\max \left\{∣⁢f⁡\left(t\right)⁢∣,∣⁢g⁡\left(t\right)⁢∣\right\}\right)^{p}⩽2^{p}\left(∣⁢f⁡\left(t\right)∣^{p} + ∣⁢g⁡\left(t\right)∣^{p}\right). ∣⁢f⁡(t)+g⁡(t)∣p⩽(2max{∣⁢f⁡(t)⁢∣,∣⁢g⁡(t)⁢∣})p⩽2p(∣⁢f⁡(t)∣p+∣⁢g⁡(t)∣p).

所以， $|f(t)+g(t){|}^p$ 是 $[a,b]$ 上 $L$可积函数，即 $f+g\in L^p[a,b].$ 至于$L^p[a,b]$ 关于数乘运算封闭是显见的.

故 $L^p[a,b]$按函数通常的加法及数乘运算成为线性空间对每个$f\in L^p[a,b],$ 定义

$$\Vert f{\Vert }_p={\left({\int }_a^b|f(t){|}^p\mathrm{d}t\right)}^{\frac{1}{p}}.(6)$$

我们要证明当 $p⩾1$ 时， $L^p[a,b]$ 按$\Vert \cdot {\Vert }_p$ 成为巴拿赫空间.