最后更新: 2025-11-28 07:55 查看: 222 次纠错评论(0) 课件开VIP

Fatou 法图引理

## Lebesgue 逐项积分定理
**定理 4.13 （Lebesgue 逐项积分定理）**  设 $\left\{f_k\right\}$ 是 $E \subset R ^n$ 上的非负可测函数列．令

$$
f(x)=\sum_{k=1}^{\infty} f_k(x)(x \in E),
$$

则 $\sum_{k=1}^{\infty} f_k(x)$ 可逐项积分，即

$$
\int_E f(x) d x=\sum_{k=1}^{\infty} \int_E f_k(x) d x .
$$

证明 令 $S_k(x)=\sum_{i=1}^k f_i(x)(k=1,2, \cdots)$ ，则 $\left\{S_k\right\}$ 为 $E$ 上的非负可测函数的递增列，

$$
\lim _{k \rightarrow \infty} S_k(x)=f(x)(x \in E),
$$

并且由积分的有限可加性可知，

$$
\int_E S_k(x) d x=\sum_{i=1}^k \int_E f_i(x) d x .
$$

令 $k \rightarrow \infty$ ，应用 Levi 定理 4.12 即得结论． $\square$
从数学分析知道，在 Riemann 积分情形，要使级数能够逐项积分，必须它一致收敛．而从这里看出，在 Lebesgue 积分情形，对于非负项级数来说，只要积分都有意义（各项函数可测）就能逐项积分，可见条件宽松多了。

下面考虑一般的非负可测函数列（对 $k$ 不必单调）的积分极限定理．由于历史的原因，下面这个定理一般称为 Fatou 引理．

**定理 4.14 （法图（Fatou）引理）** 设 $\left\{f_k\right\}$ 是 $E$ 上非负可测函数列，则

$$
\int_E \lim _{k \rightarrow \infty} f_k(x) d x \leqslant \lim _{k \rightarrow \infty} \int_E f_k(x) d x .
$$

证明 令 $g_k(x)=\inf \left\{f_k(x), f_{k+1}(x), \cdots\right\}(x \in E)$ ，则 $\left\{g_k\right\}$ 是对 $k$ 递增的非负可测函数列．由下极限的定义可知

$$
\lim _{k \rightarrow \infty} g_k(x)=\lim _{k \rightarrow \infty} f_k(x)
$$

于是由 Levi 定理，并注意 $g_k(x) \leqslant f_k(x)$ 就得到

$$
\begin{aligned}
& \int_E \lim _{k \rightarrow \infty} f_k(x) d x=\int_E \lim _{k \rightarrow \infty} g_k(x) d x=\lim _{k \rightarrow \infty} \int_E g_k(x) d x \\
& =\lim _{k \rightarrow \infty} \int_E g_k(x) d x \leqslant \lim _{k \rightarrow \infty} \int_E f_k(x) d x .
\end{aligned}
$$

定理的结论成立．$\square$
对一般的非负函数列的极限与积分交换次序问题，Fatou 引理只给出一个不等式关系．值得指出的是，作为一般性命题，这个不等式关系不能改进为等式，即

使式中的极限都存在（这时下极限等于极限）也是这样．关于这一点，可以看下面的例子．

`例` 在 $(0,1)$ 中令

$$
f_k(x)=k \chi_{(0,1 / k)}(x)= \begin{cases}k, & \text { 当 } 0<x<1 / k, \\ 0, & \text { 当 } 1 / k \leqslant x<1 .\end{cases}
$$

于是，当 $0<x<1$ 时有 $\lim _{k \rightarrow \infty} f_k(x)=0$ ，而对一切 $k$ 有 $\int_0^1 f_k(x) d x=1$ ．因此

$$
\lim _{k \rightarrow \infty} \int_0^1 f_k(x) d x=1
$$

但是，

$$
\int_0^1\left(\lim _{k \rightarrow \infty} f_k(x)\right) d x=0
$$

函数列积分的极限与极限的积分显然不相等．
下面给出一般可测函数列积分号下取极限的定理．

理解：Fatou（法图）引理*

它是实变函数论中的一个重要结论，理解它的关键在于体会其“不等式”的直观意义。

---

### 核心思想：增长的“底线”有保障

想象一下你在观察一队学生的身高变化。Fatou引理说的就是：**即使你不知道每个学生未来具体能长多高，但你一定能知道他们“平均身高”增长的一个最低保障。**

---

### 1. 设定场景

假设我们有一系列函数 `f₁(x), f₂(x), f₃(x), ...`，它们可以看作是一系列变化的数值。

*   **比喻**：把 `x` 想象成每个学生（比如学生A，学生B...）。
*   把 `f_n(x)` 想象成在第 `n` 年时，学生 `x` 的身高。
*   所以，`f₁(x)` 是第一年所有学生的身高，`f₂(x)` 是第二年所有学生的身高，以此类推。我们关心的是，随着年份 `n` 不断增加（`n → ∞`），学生身高的“平均情况”（即函数的积分）会如何变化。

---

### 2. Fatou引理在说什么？

Fatou引理的数学表述比较复杂，但它的核心结论是一个不等式：

**“极限身高的平均” ≥ “平均身高的极限下限”**

让我们拆解这个“绕口令”：

*   **“平均身高的极限下限” (公式右边 ∫ lim inf f_n)**：
    *   `lim inf`（下极限）可以通俗地理解为一个序列的“最低增长底线”。
    *   对于每个学生 `x`，我们观察他这些年的身高变化序列：`f₁(x), f₂(x), f₃(x), ...`。这个序列可能波动很大，比如某年长得快，某年长得慢。
    *   这个序列的 `lim inf`，就是这个学生身高变化的“最保守估计”，即他无论如何都能达到的一个“身高底线”。
    *   **∫ lim inf f_n** 就是先对每个学生找出他的“身高底线”，然后计算所有这些“底线”的平均值。

*   **“极限身高的平均” (公式左边 lim inf ∫ f_n)**：
    *   我们每年都先计算一次全班学生的平均身高（即 **∫ f_n**），得到一串平均身高数据：第一年的平均身高、第二年的平均身高...
    *   然后我们看这串“平均身高”数据的 `lim inf`，也就是这些年里，全班平均身高的“最低水平”。

**Fatou引理告诉我们：**
> **全班的“终极平均身高”再低，也不会低于“每个学生的个人身高底线”所计算出的平均身高。**

用更直白的话说：**你先保证每个人都有一个最低的生长底线，那么全班的平均身高就有一个最低的保障。这个保障，就是根据每个人的底线算出来的平均值。**

---

### 3. 一个简单的数字例子

假设只有两个学生：学生A和学生B。我们观察两年（n=1, 2）。

*   **第一年 (n=1)**： A身高 140cm， B身高 160cm。**平均身高 = (140+160)/2 = 150cm**。
*   **第二年 (n=2)**： A身高 150cm（长高了）， B身高 150cm（生病变矮了）。**平均身高 = (150+150)/2 = 150cm**。

现在我们来套用Fatou引理的思想：

1.  **计算右边：“每个学生的个人身高底线”的平均值**
    *   学生A的身高序列：140 -> 150。这个序列的“底线”是 140cm。
    *   学生B的身高序列：160 -> 150。这个序列的“底线”是 150cm。
    *   根据个人底线算出的平均身高 = (140 + 150) / 2 = **145cm**。

2.  **计算左边：“全班平均身高”的底线**
    *   全班的平均身高序列：150 -> 150。这个序列的底线是 **150cm**。

3.  **比较**
    *   150cm ≥ 145cm。
    *   **“全班平均身高的底线”(150) ≥ “根据个人底线算出的平均身高”(145)**。

Fatou引理成立！它保证了最终的平均水平（150）不会比由个人最低保障算出的平均水平（145）更差。

---

### 4. 为什么这个引理重要？

Fatou引理是证明实变函数论中两个更强大工具（**单调收敛定理** 和 **控制收敛定理**）的基石。它的价值在于：

*   **放宽条件**：它不需要函数列单调递增，也不需要被另一个函数“控制”住，只需要函数非负（身高不能为负数）这个非常弱的条件。
*   **给出底线**：在很多复杂情况下，我们无法求出精确的极限，但Fatou引理可以帮我们确定这个极限的一个确定的**下界**（最低限度），这在数学分析和概率论中非常重要。

### 终极比喻

**盖大楼：**
*   你有若干建筑模块（函数序列 `f_n`），每个模块最终能达到的高度不确定。
*   Fatou引理说：即使你不知道这栋楼最终确切能盖多高，但**这栋楼的最终高度，肯定不会低于你用每个模块的“最低高度保证”所搭建出来的模型的高度**。

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

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

免费注册

《高等数学》难点解析

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

《线性代数》难点解析

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

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

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

上一篇： Levi 列维定理

下一篇： Lebesgue 控制收敛定理

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