最后更新: 2025-11-29 16:22 查看: 355 次纠错评论(0) 课件开VIP

Lp 空间

## Lp 空间
设 $E$ 是 $R ^n$ 的可测子集，$m(E)>0, p$ 是大于等于 1 的实数．对于在 $E$ 上可测且满足前面类似于（5）式的函数 $f(x)$ ：

$$
\int_E|f(x)|^P d x<+\infty
$$

我们引人下面的定义。
定义6．1 全体在 $E$ 可测且满足

$$
\|f\|_p=\left(\int_E|f(x)|^p d x\right)^{\frac{1}{p}}<+\infty
$$

的 $f(x)$ ，组成函数空间 $L^p(E)$ ，或简记为 $L^p$ ，其中 $1 \leqslant p<\infty$ ．称 $\|f\|_p$ 为 $f$ 在 $L^p$的范数．

由此定义可见，函数空间 $L^p(E)$ 就是在 $E$ 上 $p$ 次幂可积的可测函数类．我们首先证明 $L^P$ 是一个线性空间．

定理 6.1 若 $f, g \in L^p(E)$ ，则对任意实数 $\alpha, \beta$ ，

$$
\alpha f+\beta g \in L^p(E)
$$

证明 由

$$
\begin{aligned}
& |\alpha f(x)|=|\alpha \| f(x)| \\
& |f(x)+g(x)|^p \leqslant 2^p\left(|f(x)|^p+|g(x)|^p\right)
\end{aligned}
$$

便可推出．$\square$
例 1 若 $m(E)<+\infty$ ，则有界可测函数属于 $L^P(E)$ ．
例 $2 \frac{1}{x^\alpha} \in L^p(0,1)$ ，其中 $p \alpha<1$ ．

$$
\begin{aligned}
& \frac{1}{x^\beta} \in L^p(1,+\infty) \text {, 其中 } p \beta>1 \text {. } \\
& \frac{1}{1+x^2} \in L^p( R ), e^{-x^2} \in L^p( R ) .
\end{aligned}
$$

下面我们来研究一下 $L^p$ 的范数 $\|f\|_p$ ．范数的概念来源于 $R ^n$ 中向量的长度．设 $x =\left(x_1, x_2, \cdots, x_n\right) \in R ^n$ ，记

$$
\|x\|=\left(\sum_{i=1}^n\left|x_i\right|^2\right)^{\frac{1}{2}}
$$

这就是向量的长度，或称为 $x$ 的范数．
$R ^n$ 中的两个向量（或两个点）： $x =\left(x_1, x_2, \cdots, x_n\right), y =\left(y_1, y_2, \cdots, y_n\right)$ ，可以用范数来描述它们的距离 $d( x , y )$ ：

$$
d(x, y)=\|x-y\|=\left(\sum_{i=1}^n\left|x_i-y_i\right|^2\right)^{\frac{1}{2}}
$$

$\| x \|$ 作为线性空间 $R ^n$ 的范数，它具有下列三个最基本的性质：
$1^{\circ}$（非负性）$\| x \| \geqslant 0$ ，且 $\| x \|=0$ 的充要条件是 $x = \theta$（零向量）；
$2^{\circ}$（正齐性）$\quad \forall \lambda \in R , x \in R ^n$ ，有 $\|\lambda x \|=|\lambda|\| x \|$ ；
$3^{\circ}$（三角不等式）$\forall x, y \in R ^n$ ，有

$$
\|x+y\| \leqslant\|x\|+\|y\|
$$

对本章引言中提到的 $l^2$ ，由（2）定义的范数显然也满足这三条性质。
对一般的线性空间，人们对其元素引入范数，通常都要求它满足与上述三条相应的性质，因此人们称这三条为＂范数＂公理．下面我们来看看，$L^p$ 空间的范数是否具有这样的性质．
$1^{\circ}$ 显然 $\|f\|_p \geqslant 0$ ．但由第四章定理 4．3，知 $\|f\|_p=0$ 的充分必要条件是 $f(x)=0$ ，a．e．$x \in E$ ．这说明，要使 $L^p$ 的范数满足范数公理 $1^{\circ}$ ，必须把任意一个在 $E$ 上几乎处处等于 0 的函数，都看作线性空间 $L^p$ 的零元素。因此，我们需要改变一个观念，即把所有在 $E$ 上几乎处处等于 0 （即对等于 0 ）的函数，看成 $L^p$ 的同一个零元素．由于在线性空间中，$f-g=\theta$ 相当于 $f=g$ ，因此我们也必须把其差几乎处处为 0 的两个函数，即把两个几乎处处相等的函数，看成 $L^P$ 的同一个元素。换句话说，我们把与 $f$ 在 $E$ 对等的全体函数放在一起，组成了一个等价类，它们在 $L^p$ 中代表同一个元素。在计算或者讨论时，可以从其中任意取出一个代表 $f$ ，而不会影响讨论与计算的结果。因此，我们约定，以后说 $f \in L^P$ ，意指 $f$ 是所有与它对等的函数组成的等价类中的一个代表．
$2^{\circ} L^p$ 中的范数 $\|f\|_p$ 的正齐性也是显然的。
为了证明 $\|f\|_p$ 满足三角不等式，我们需要下面的引理和定理．
引理6．1 若 $a, b, \alpha, \beta>0, \alpha+\beta=1$ ，则
$$
a^\alpha b^\beta \leqslant \alpha a+\beta b
$$

其中等式成立当且仅当 $a=b$ ．
证明 不妨设 $a \geqslant b$ ．用微分中值定理易见

$$
x^t-1 \leqslant s(x-1) \quad(x \geqslant 1,0<s<1),
$$

并且等式只有在 $x=1$ 时成立．令 $x=\frac{a}{b}$ ，有

$$
\frac{a^s}{b^s}-1 \leqslant s\left(\frac{a}{b}-1\right)
$$

且等号只有在 $a=b$ 时成立．通分移项，得

$$
a^s b^{1-s} \leqslant b+s(a-b)=s a+(1-s) b,
$$

令 $\alpha=s$ ，则 $1-s=\beta$ ，便得

$$
a^\alpha b^\beta \leqslant \alpha a+\beta b
$$

且等号成立当且仅当 $a=b$ ．

##  L^p 空间

我会用“衡量函数大小”这个核心思想来贯穿整个解释。

### 一句话概括

**L^p 空间就是一整套“公平秤”，不同的 p 值就是不同的秤。这些秤用来给函数“称体重”，符合一定“体重标准”（即范数有限）的函数，就能进入相应的“俱乐部”（即L^p空间）。**

---

### 一个生动的比喻：函数俱乐部

想象有一个叫“数学城”的地方，里面住着各种各样的函数（曲线）。城里有很多高级俱乐部，名字分别叫 **L¹俱乐部、L²俱乐部、L∞俱乐部** 等等。每个俱乐部都有自己的入会标准，也就是一把“公平秤”。

1.  **L¹俱乐部：看重“总量”的工厂老板**
    *   **他的秤（范数）**：$ \|f\|_1 = \int |f(x)| dx $
    *   **入会标准**：你的函数曲线和x轴之间围成的**总面积**必须是有限的。
    *   **他怎么看函数**：他像个工厂老板，只关心你的总产量（总面积）。他不在乎你的产出是平稳还是某天突然爆肝（一个很高的尖峰），只要这个尖峰持续的时间足够短（很窄），总产量不大，他就欢迎。
    *   **通俗理解**：**衡量的是函数的总量或积累**。比如，速度对时间的积分是总路程，功率对时间的积分是总耗电量。老板只关心最终结果。

2.  **L²俱乐部：看重“平均能量”的工程师**
    *   **他的秤（范数）**：$ \|f\|_2 = \sqrt{\int |f(x)|^2 dx} $
    *   **入会标准**：你的函数平方后，与x轴围成的总面积是有限的。
    *   **他怎么看函数**：他像个电气工程师，关心的是“平均功率”或“能量”。如果你的函数值波动太大（有很高的尖峰），即使很短，平方之后也会变得很大，这可能会让你的“总能量”超标，导致无法入会。所以，L²俱乐部对尖峰比L¹俱乐部更敏感。
    *   **特别福利**：L²俱乐部不仅宽敞明亮，而且结构特别棒（**希尔伯特空间**），里面有“角度”和“垂直”（正交）的概念，非常适合做信号处理（傅里叶分析）。
    *   **通俗理解**：**衡量的是函数的能量或波动强度**。在电学中，电压平方代表功率。

3.  **L∞俱乐部：看重“最高表现”的精英主义者**
    *   **他的秤（范数）**：$ \|f\|_\infty $ （本性上确界）
    *   **入会标准**：你的函数值几乎不能超过某个固定的上限。允许在极个别、可以忽略的时刻（零测集）“犯规”一下，但整体上必须表现得像个“有教养的绅士”，不能有太出格的行为。
    *   **他怎么看函数**：他根本不在乎你的总量或能量，他只关心你的“天花板”有多高。只要你有一个无限高的尖峰（即使非常窄），你就永远别想加入L∞俱乐部。但是，一个恒为10的函数，虽然总量无限（如果定义域是全体实数），却可以加入L∞俱乐部，因为它的值始终被10控制。
    *   **通俗理解**：**衡量的是函数值的上界，即“峰值”**。比如，保证电路电压不超过某个安全值。

### 为什么需要这么多俱乐部（L^p空间）？

因为不同的应用场景关心函数的不同方面：
*   算**总成本**、**总路程**？用 L¹ 这把秤最合适。
*   分析**信号稳定性**、**波动能量**？用 L² 这把秤。
*   保证**电压安全**、**压力上限**？用 L∞ 这把秤。

### 这些“俱乐部”牛在哪？

1.  **非常包容**：基于勒贝格积分，很多在传统（黎曼积分）眼光下“怪异”的函数（比如只在有理数点取值的函数），只要符合标准，都能加入。这大大扩展了我们的研究范围。

2.  **完美的舞台（完备性）**：这是最重要的性质！想象在俱乐部里，如果一群人（函数序列）跳的舞步越来越整齐（柯西序列），那么他们最终一定会收敛于一个确定的、也在俱乐部里的舞步（极限函数也在L^p空间里）。这意味着在这个空间里做极限运算非常安全，不会“跳出”这个空间。这个性质让数学家和分析师们可以放心地进行各种高级操作。

### 总结

你可以把 L^p 空间理解为一套**标准化的集装箱系统**：

*   **L¹集装箱**：装的是总货物量有限的货。
*   **L²集装箱**：装的是单位体积内能量有限的货。
*   **L∞集装箱**：装的是单件货物高度不超过限高的货。

每个集装箱都有自己的规格（p值），把符合规格的函数装进去，就形成了一个性质优良、便于进行数学分析和处理的空间。这就是 L^p 空间的通俗精髓。

科数题库(单机版) 会议室预约系统(book)

今日还可看 0 篇未注册用户每天查看4篇，注册用户每天8篇，开通VIP会员无限制查看。

免费注册

《高等数学》难点解析

高数教程 泰勒公式切线与法线切平面与法平面驻点·拐点·极值点·零点间断点渐进线瑕积分欧拉方程伯努利方程 Abel 收敛定理偏导数的几何意义偏导数的几何意义梯度数量场与向量场多元函数极值拉格朗日算子通量与散度环流量与旋度格林公式高斯公式斯托克斯公式三大公式比较傅里叶级数极坐标微元点法式方程变上限定积分 X型计算面积 Y型计算面积微分的意义渐近线间断点 y''+py'+qy=f(x)方程高斯黎曼傅里叶变换(复数) 拉普拉斯变换(复数)

《线性代数》难点解析

线代教程 近世代数对数学的整体思考线性的意义矩阵乘法(列视角) 矩阵乘法(行视角) 矩阵左乘矩阵右乘逆矩阵求解方程组阶梯形矩阵的求法方程组解的判定四阶行列式的计算线性变换的意义线性空间向量组的等价线性空间的几何意义基础解系的求法施密特正交化特征值与特征向量的意义矩阵相似的几何意义矩阵可对角化的理解秩的意义(向量版) 秩的意义(方程版) 二次型的意义

《概率论与数理统计》难点解析

概率教程 置信区间与上a分位数概率中的“取”与“放” 贝叶斯公式全概率公式泊松分布指数分布伽玛分布二维密度图的意义卷积的意义相关系数的意义 k阶矩是与矩母函数卡方分布的作用单正态区间估计理解假设检验理解切比雪夫不等式中心极限定理

上一篇：概述

下一篇：赫尔德（Hölder）不等式

本文对您是否有用？有用 (0) 无用 (0)