$L^p$ 空间: 完备性与可分性

$L^p$ 空间: 不等式与性质

【定义0】($L^p$ 空间) 设 $\Omega$ 是 $R^n$ 的开子集, $\mu$ 是勒贝格测度, 定义 L p ( Ω ) = { f : Ω → R , 可测且 ∥ f ∥ L p < ∞ } . L^p\left( \Omega \right) =\left\{ f:\Omega \rightarrow R,\text{可测且}\left\| f \right\| _{L^p}<\infty \right\} . Lp(Ω)={f:Ω→R,可测且∥f∥Lp​<∞}. 这里, 范数定义为 $${\Vert f\Vert }_{L^p}=\{\begin{array}{ll}{\left({\int }_{\Omega }{\left|f\right|}^p\mathrm{d}\mu \right)}^{\frac{1}{p}},& 1\le p<\infty ,\\ \underset{\Omega }{\mathrm{esssup}}\left|f\right|,& p=\infty .\end{array}$$

[Remark]: 本性上确界 $\mathrm{esssup}$ 指的是最小的“本性上界”, “本性上界”则指除了一个零测集里的点比该值大以外, 其余值都不超过它.

[Remark]: 如果 $\mu (\Omega )<\infty$, 那么 $\underset{p\to \infty }{\lim }{\Vert f\Vert }_{L^p}={\Vert f\Vert }_{L^{\infty }}$. 不妨记右侧为 $M$, 一方面 ${\Vert f\Vert }_{L^p}\le {\left({\int }_{\Omega }{M}^p\mathrm{d}\mu \right)}^{1/p}=M(\mu (\Omega ){)}^{1/p}$, 取极限得 $\underset{p\to \infty }{\overline{\lim }}{\Vert f\Vert }_{L^p}\le M$. 另一方面, 设 $M_n\uparrow M$, 记
A n = { ∣ f ( x ) ∣ > M n } , A_n=\left\{ \left| f\left( x \right) \right|>M_n \right\}, An​={∣f(x)∣>Mn​},
则有 ${\Vert f\Vert }_{L^p}={\left({\int }_{\Omega }{\left|f\right|}^p\mathrm{d}\mu \right)}^{1/p}\ge M_n{\left(\mu \left(A_n\right)\right)}^{1/p}$, 令 $p\to \infty$, 有 $\underset{p\to \infty }{\underline{\lim }}{\Vert f\Vert }_{L^p}\ge M_n$, 令 $n\to \infty$ 得 $\underset{p\to \infty }{\underline{\lim }}{\Vert f\Vert }_{L^p}\ge M$. 综上所述 $\underset{p\to \infty }{\lim }{\Vert f\Vert }_{L^p}={\Vert f\Vert }_{L^{\infty }}$.

【推论1】$L^p(\Omega )$ 是线性空间.

提示: 设 $f,g\in L^p$, 若 $p<\infty$, 有
$${\Vert af+bg\Vert }_{L^p}^p\le 2^p\left({\left|a\right|}^p{\Vert f\Vert }_{L^p}^p+{\left|b\right|}^p{\Vert g\Vert }_{L^p}^p\right).$$

若 $p=\infty$, 有
$${\Vert af+bg\Vert }_{L^{\infty }}\le \left|a\right|{\Vert f\Vert }_{L^{\infty }}+\left|b\right|{\Vert g\Vert }_{L^{\infty }}.$$

【定理2】(Holder不等式) ${\int }_{\Omega }\left|fg\right|\mathrm{d}\mu \le {\left({\int }_{\Omega }{\left|f\right|}^p\mathrm{d}\mu \right)}^{\frac{1}{p}}{\left({\int }_{\Omega }{\left|g\right|}^q\mathrm{d}\mu \right)}^{\frac{1}{q}}={\Vert f\Vert }_{L^p}{\Vert g\Vert }_{L^q}$, 这里 $1/p+1/q=1$.

【定理3】(Minkowski 不等式) ${\Vert f+g\Vert }_{L^p}\le {\Vert f\Vert }_{L^p}+{\Vert g\Vert }_{L^p}$, 这里 $p\ge 1$;

【推论4】$L^p(\Omega )$ 是 Banach 空间.

证明: 根据 Mikowski 不等式, $L^p(\Omega )$ 显然是赋范线性空间, 其距离定义为 $d(f,g)={\Vert f-g\Vert }_{L^p}$. 现只需证明完备性. 假设 { f n } \{f_n\} {fn​} 是 $L^p(\Omega )$ 中柯西列, 则 ${\Vert f_n-f_m\Vert }_{L^p}\to 0$, 先考虑 $1\le p<\infty$, 记 E n , m = { x ∈ Ω : ∣ f n − f m ∣ > ε } E_{n,m}=\left\{ x\in \Omega :\left| f_{n}-f_{m} \right|>\varepsilon \right\} En,m​={x∈Ω:∣fn​−fm​∣>ε}, 则有
$$\mu \left(E_{n,m}\right)\le \frac{1}{{\epsilon }^p}{\int }_{\Omega }{\left|f_n-f_m\right|}^p\mathrm{d}\mu =\frac{1}{{\epsilon }^p}{\Vert f_n-f_m\Vert }_{L^p}^p\to 0,$$
即 { f n } \{f_{n}\} {fn​} 是依概率柯西列, 一定存在 $\Omega$ 上的函数 $f$ 使得 $f_n\stackrel{\mu }{\to }f$. 根据 Riesz 定理, 存在一个子列 { f n k } \{f_{n_k}\} {fnk​​} 几乎处处收敛于 $f$. 因此有
$${\Vert f_n-f\Vert }_{L^p}^p={\Vert \underset{k\to \infty }{\lim }\left(f_n-f_{n_k}\right)\Vert }_{L^p}^p\le \underset{k\to \infty }{\underline{\lim }}{\Vert f_n-f_{n_k}\Vert }_{L^p}^p\to 0,n\to \infty .$$
接下去只需说明 $f\in L^p(\Omega )$, 这是平凡的, 由 Mikowski不等式, 有 ${\Vert f\Vert }_{L^p}\le {\Vert f-f_n\Vert }_{L^p}+{\Vert f_n\Vert }_{L^p}\le \infty$.

再考虑 $p=\infty$, 设 A m , n = { x : ∣ f m ( x ) − f n ( x ) ∣ > ∥ f m − f n ∥ L ∞ } A_{m,n}=\{x:|f_m(x)-f_n(x)|>\left\|f_m-f_n\right\|_{L^{\infty}}\} Am,n​={x:∣fm​(x)−fn​(x)∣>∥fm​−fn​∥L∞​}, 以及 $A={\bigcup }_{m,n}{A}_{m,n}$, 显然 $A$ 是零测集, 后续我们均在 $\Omega -A$ 中讨论, 因此不妨重令 $\Omega =\Omega -A$. 此时存在一子列
$$\sum _{k=1}^{\infty }\left|f_{n_{k+1}}-f_{n_k}\right|\le \sum _{k=1}^{\infty }{\Vert f_{n_{k+1}}-f_{n_k}\Vert }_{L^{\infty }}<\infty ,$$
因此有 $f_{n_1}+{\sum }_{k=1}^{\infty }\left(f_{n_{k+1}}-f_{n_k}\right)$ 绝对收敛, 即存在 $\Omega$ 上函数, 使得 $f_{n_k}\to f$. 因此有

综上所述, 存在子列 $f_{n_k}\stackrel{\mathrm{a}.\text{e}.}{\to }f$. 因此有
$$\left|f_n-f\right|=\left|\underset{k\to \infty }{\lim }\left(f_n-f_{n_k}\right)\right|\le \underset{k\to \infty }{\underline{\lim }}\left|f_n-f_{n_k}\right|\to 0,n\to \infty ,$$
同理, 有 $\left|f\right|\le \left|f-f_n\right|+\left|f_n\right|<\infty$.

【定义5】(稠密与可分) 设 $\Gamma$ 是 $L^p(\Omega )$ 的子集, 若对任意 $f\in L^p(\Omega )$ 和 $\epsilon >0$, 存在 $g\in \Gamma$, s.t., ${\Vert f-g\Vert }_{L^p}<\epsilon$, 则称 $\Gamma$ 是稠密的. 如果 $L^p(\Omega )$ 中存在元素个数为可数的稠密子集, 则称 $L^p(\Omega )$ 可分.

[Remark]: 例如 $\mathbb{Q}$ 是 $\mathbb{R}$ 的可数稠密子集. 一个空间可分意味着我们总能找到一个可数的稠密子集来靠近它当中的任意一个函数.

【推论6】$L^p(\Omega )$ 是可分空间, 其中 $p<\infty$.

证明: 设 $f\in L^p({\mathbb{R}}^d)$, 考虑有紧支集的阶梯函数, 使得
$${\Vert f-\phi \Vert }_{L^p}^p<\epsilon /2,$$
其中 $\phi \left(x\right)={\sum }_{i=1}^m{c}_i{I}_{A_i}\left(x\right)$. 不妨设 $|c_i|\le M$, $\mu (A_i)\le M^p$, 则尝试找 $r_i$, 使得
$$\left|r_i-c_i\right|\le \frac{\epsilon }{2mM},i=1,2,\cdots ,m,$$
并令 $\psi \left(x\right)={\sum }_{i=1}^m{r}_i{I}_{A_i}\left(x\right)$, 则有
$${\Vert \psi -\phi \Vert }_{L^p}\le \sum _{i=1}^m\left|r_i-c_i\right|{\left(\mu \left(A_i\right)\right)}^{1/p}\le \frac{\epsilon }{2}.$$
而形如 $\psi$ 的阶梯函数全体 $\Gamma$ 是一个可数稠密子集, 故 $L^p({\mathbb{R}}^d)$ 可分. 进一步考虑 $L^p(\Omega )$, 其中 $\Omega \subset {\mathbb{R}}^d$, 且 $1\le p<\infty$, 则取 $L^p({\mathbb{R}}^d)$ 中函数 $f_1(x)=f(x)I_{\Omega }(x)$, 则存在 ${\psi }_1(x)\in \Gamma$ 满足条件. 再设 $\psi (x)={\psi }_1(x){|}_{\Omega }$, 它的全体组成的集合 ${\Gamma }_1$ 也是可数稠密子集, 且满足条件, 故 $L^p(\Omega )$ 是可分的.

[Remark]: 因为找到紧支集阶梯函数来逼近时需要 $p<\infty$, 故 $L^{\infty }(\Omega )$ 不能被如此证明是可分的, 事实上 $L^{\infty }(\Omega )$ 不可分. 反例: 设 $L^{\infty }((0,1))$, 如果能够找到一个子集函数类 $\mathcal{F}$, 它不可数, 且各自之间都有一定的距离, 那么就不可能找到可数个函数来靠近这不可数个函数, 考虑函数类 $f_t(x)=I_{(0,t)}(x)$, 其中 $t\in (0,1)$, 它不可数, 则只要 $t_1\ne t_2$, 就有
$${\Vert f_{t_1}-f_{t_2}\Vert }_{L^{\infty }}=1.$$