泛函分析基础7-2-赋范线性空间7-Lᵖ[a,b]空间4：Lᵖ[a,b](p⩾1)是巴拿赫空间

定理2

$L^p[a,b](p⩾1)$ 是巴拿赫空间.

证明
设 { f n } \left\{ f _ { n } \right\} {fn​} 是 $L^p[a,b]$ 中柯西点列，由柯西点列的定义，存在正整数 $m_k,$ 使当 $n,$$m⩾m_k$ 时，

$${\Vert f_n-f_m\Vert }_p<\frac{1}{2^k},k=1,2,\cdots$$

取 $n_k⩾m_k,$ 且使$n_1<n_2<\cdots <n_k<\cdots ,$ 则

$${\Vert f_{n_{k+1}}-f_{n_k}\Vert }_p<\frac{1}{2^k},k=1,2,\cdots .$$

因此

$$\sum _{k=1}^{\infty }{\Vert f_{n_{k+1}}-f_{n_k}\Vert }_p⩽\sum _{k=1}^{\infty }\frac{1}{2^k}<\infty .(12)$$

但是因为常数 $1\in L^{\ast }[a,b],$ 由赫尔德不等式，有

$${\int }_a^b\left|f_{n_{k+1}}(t)-f_{n_k}(t)\right|\mathrm{d}t⩽{\Vert f_{n_{k+1}}-f_{n_k}\Vert }_p(b-a{)}^{\frac{1}{q}}.$$

所以级数

$$\sum _{k=1}^{\infty }{\int }_a^b\left|f_{n_{k+1}}(t)-f_{n_k}(t)\right|\mathrm{d}t(13)$$

收敛，由级数形式的莱维定理，级数${\sum }_{k=1}^{\infty }\left|f_{n_{k+1}}(t)-f_{n_k}(t)\right|$在 $[a,b]$ 上几乎处处收敛.因此，函数列

$$f_{n_k}(t)=f_{n_1}(t)+\sum _{j=1}^{k-1}\left(f_{n_{n+1}}(t)-f_{n_j}(t)\right)(k=1,2,3,\cdots )$$

在 $[a,b]$ 上几乎处处收敛于一可测函数 $f(t).$ 下证$f\in L^p[a,b].$ 因为 { f n } \left\{ f _ { n } \right\} {fn​} 是$L^p[a,b]$ 中柯西点列，对于任意正数 $\epsilon >0,$ 存在 $N,$ 使当$n,m⩾N$ 时，${\Vert f_n-f_m\Vert }_p<\epsilon ,$
取足够大的 $k_0,$使 $n_{k_0}>N,$ 于是当$k⩾k_0,n⩾N$ 时，就有

$${\int }_a^b{\left|f_n(t)-f_{n_k}(t)\right|}^p\mathrm{d}t=\Vert f_n-f_{n_k}\Vert p^p<{\epsilon }^p.$$

又因当 $k\to \infty$ 时函数列${\left|f_n(t)-f_{n_k}(t)\right|}^p\to {\left|f_n(t)-f(t)\right|}^{p}a.e.$于 $[a,b],$ 由法图定理得到 ${\left|f_n(t)-f(t)\right|}^{\prime }$ 是 $L$可积函数，并且有

$${\int }_a^b{\left|f_n(t)-f(t)\right|}^p\mathrm{d}t⩽\underset{k\to \infty }{\underline{\lim }}{\int }_a^b{\left|f_n(t)-f_{n_k}(t)\right|}^p\mathrm{d}t⩽{\epsilon }^p,$$

这说明 $f-f_n\in L^p[a,b],$ 且当 $n⩾N$ 时

$${\Vert f_n-f\Vert }_p⩽\epsilon .(14)$$

又因 $f_n\in L^p[a,b],$ 而$f=\left[f-f_n\right]+f_n,$ 由于$L^p[a,b]$ 是线性空间，所以 $f\in L^p[a,b],$ 由(14) , $f_n\to f,$ 这就证明了 $L^p[a,b]$是巴拿赫空间.

对 $C[a,b]$ 中每个函数 $f(t),$ 定义

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

那么 $C[a,b]$ 按 $\Vert \cdot {\Vert }_p$ 成为 $L^p[a,b]$的赋范线性子空间，类似于 $\mathrm{S}$ 4例5的证明，可以证明 $C[a,b]$ 按范数 $\Vert \cdot {\Vert }_p$不完备，但是可以证明它的完备化空间是 $L^p[a,b].$ 从这个观点看， $L$ 可积函数类只不过是 $R$ 可 积函数类的完备化拓广