泛函分析笔记06：Lp与lp空间

2.2 $l^p$与$L^p$空间

首先介绍三个常用不等式。

• 设 $p,q>0,\frac{1}{p}+\frac{1}{q}=1$,则对 $\forall a,b\in \mathbb{K}$ 有

$$|ab|\le \frac{|a{|}^p}{p}+\frac{|b{|}^q}{q}$$

• Hölder不等式

设 $p,q>0,\frac{1}{p}+\frac{1}{q}=1$,

(1) $\forall a_n,b_n\in \mathbb{K}(n\in \mathbb{N})$ 有
$$\sum _{n=1}^{\infty }\left|a_n{b}_n\right|\le {\left(\sum _{n=1}^{\infty }{\left|a_n\right|}^p\right)}^{\frac{1}{p}}{\left(\sum _{n=1}^{\infty }{\left|b_n\right|}^q\right)}^{\frac{1}{q}}$$
(2) 设 $E$ 为 $\mathbb{R}$ 中Lebesgue可测集, $x,y$ 在 $E$ 上可测, 则
$${\int }_E|x(t)y(t)|dt\le {\left({\int }_E|x(t){|}^{p}dt\right)}^{\frac{1}{p}}{\left({\int }_E|y(t){|}^{q}dt\right)}^{\frac{1}{q}}$$

• Minkowski不等式

设 $1\le p<\infty$, 则

(1) $\forall a_n,b_n\in \mathbb{K}(n\in \mathbb{N})$ 有
$${\left(\sum _{n=1}^{\infty }{\left|a_n+b_n\right|}^p\right)}^{\frac{1}{p}}\le {\left(\sum _{n=1}^{\infty }{\left|a_n\right|}^p\right)}^{\frac{1}{p}}+{\left(\sum _{n=1}^{\infty }{\left|b_n\right|}^p\right)}^{\frac{1}{p}}$$
(2) 设 $E$ 为 $\mathbb{R}$ 中Lebesgue可测集, $x,y$ 在 $E$ 上可测, 有
$${\left({\int }_E|x(t)+y(t){|}^{p}dt\right)}^{\frac{1}{p}}\le {\left({\int }_E|x(t){|}^{p}dt\right)}^{\frac{1}{p}}+{\left({\int }_E|y(t){|}^{p}dt\right)}^{\frac{1}{p}}$$

例1：（ $l^p$空间 ）设 1 ≤ p < ∞ , ℓ p = { x = { ξ n } n = 1 ∞ : ξ n ∈ K ( n ∈ 1 \leq p<\infty, \quad \ell^{p}=\left\{x=\left\{\xi_{n}\right\}_{n=1}^{\infty}: \xi_{n} \in \mathbb{K} \quad(n \in\right. 1≤p<∞,ℓp={x={ξn​}n=1∞​:ξn​∈K(n∈ N), ${\sum }_{n=1}^{\infty }{\left|{\xi }_n\right|}^p<\infty \}$, 通常加法和数乘, 则 ${\ell }^p$ 是一个线性空间，
定义
$$\Vert x\Vert ={\left(\sum _{n=1}^{\infty }{\left|{\xi }_n\right|}^p\right)}^{\frac{1}{p}},\forall x\in {\ell }^p$$
则 $\left({\ell }^p,\Vert \cdot \Vert \right)$ 成为一个可分的 $(B)$ 空间。

例2：（ $L^p$空间 ）设 $E$ 为 $\mathbb{R}$ 中 Lebesgue 可测集, $1\le p<\infty$, 记 $L^p(E)$ 为 $E$ 上 可测且 $p-$ 幂 可积 $\left({\int }_E|x(t){|}^{p}dt<\infty \right)$ 的函数 $x$ 全体组成的 空间, 其中几乎处处相等的函数视为同一元, 在通常 加法和数乘下是一个线性空间，定义
$$\Vert x\Vert ={\left({\int }_E|x(t){|}^{p}dt\right)}^{\frac{1}{p}},x\in L^p(E)$$
则 $\left(L^p(E),\Vert \cdot \Vert \right)$ 是一个 $(B)$ 空间 $(1\le p<\infty )$ 。

• $L^p[a,b]$ 是可分的，进而对 $\forall$ Lebesgue可测集$E\subset \mathbb{R}$，$L^p(E)$是可分的。（$1\le p<\infty$）