实变函数精解【19】

Levi定理

Levi定理，也称为勒贝格单调收敛定理（monotone convergence theorem），是实变函数领域中的一个重要定理。该定理主要关注于渐升的非负可测函数列的极限与积分之间的关系。以下是关于Levi定理的详细解析：

一、定理内容

设{fn(x)}是可测集E上的一列非负可测函数，且满足以下条件：
$$\begin{gathered} 1.fn(x)\le fn+1(x)（n=1,2,...），即函数列是单调递增的。 \\ 2.fn(x)在E上几乎处处收敛于某个函数f(x)。 \end{gathered}$$
则根据Levi定理，有：

$$\underset{n\to \infty }{\lim }{\int }_E{f}_n(x)dm={\int }_{E}f(x)dm$$

其中，dm表示在可测集E上的勒贝格测度。

二、定理意义

Levi定理的意义在于它允许我们在一定条件下将极限运算与积分运算交换顺序，这对于处理复杂的积分问题非常有用。特别地，当函数列是单调递增且非负时，我们可以先求极限再积分，或者先积分再求极限，两者结果相同。

三、应用领域

Levi定理在实变函数、测度论、概率论等领域都有广泛的应用。它不仅是勒贝格积分理论中的一个基本定理，也是处理函数列极限与积分关系的重要工具。

四、证明思路

证明Levi定理通常涉及以下几个步骤：

1. 构造逼近函数：通过非负简单函数列来逼近原函数列{fn(x)}，这些简单函数列同样保持单调递增的性质。
2. 应用单调收敛性：利用单调收敛定理（对于简单函数列）来证明逼近函数列的积分极限等于其极限函数的积分。
3. 极限运算：通过一系列极限运算，将逼近函数列的积分极限与原函数列的积分极限联系起来。
4. 得出结论：由于逼近函数列的积分极限等于原函数列的积分极限，且逼近函数列的极限函数等于原函数列的极限函数，因此可以得出Levi定理的结论。

五、相关定理

在实变函数和测度论中，除了Levi定理外，还有Fatou引理和Lebesgue控制收敛定理等重要的极限定理。这些定理共同构成了处理函数列极限与积分关系的基本理论框架。

六、总结

Levi定理是实变函数中的一个重要定理，它允许我们在一定条件下交换极限运算与积分运算的顺序。该定理在实变函数、测度论、概率论等领域都有广泛的应用，是处理复杂积分问题的重要工具。

Lebesgue可积函数

性质

1. 线性性：

   • 若函数$f(x)$和$g(x)$在区间$I$上都是Lebesgue可积的，则它们的线性组合$af(x)+bg(x)$（其中$a,b$为常数）在$I$上也是Lebesgue可积的，且积分满足${\int }_I(af(x)+bg(x))dx=a{\int }_{I}f(x)dx+b{\int }_{I}g(x)dx$。

2. 单调性：

   • 若函数$f(x)$在区间$I$上单调，则它是Lebesgue可积的。这是因为单调函数的不连续点至多可数，而可数集是零测集，不影响积分值。

3. 有界性：

   • 有界函数在有限区间上不一定是Lebesgue可积的，但如果它的不连续点构成的集合是零测集（即有界且几乎处处连续），则它是Lebesgue可积的。

4. 绝对可积性：

   • 若函数$f(x)$在区间$I$上是Lebesgue可积的，则其绝对值函数$|f(x)|$在$I$上也是Lebesgue可积的，且积分满足${\int }_I|f(x)|dx\ge \left|{\int }_{I}f(x)dx\right|$。

5. 积分区间的可加性：

   • 若函数$f(x)$在区间$I_1$和$I_2$上都是Lebesgue可积的，且$I_1\cap I_2$为空集或仅包含一个端点，则它在区间$I_1\cup I_2$上也是Lebesgue可积的，并且积分值满足${\int }_{I_1\cup I_2}f(x)dx={\int }_{I_1}f(x)dx+{\int }_{I_2}f(x)dx$。

6. 积分与极限的交换性（Levi定理/勒贝格单调收敛定理）：

   • 若函数列 { f n ( x ) } \{f_n(x)\} {fn​(x)}在区间$I$上单调递增（或递减），且几乎处处收敛于函数$f(x)$，则函数列和函数$f(x)$在$I$上都是Lebesgue可积的，且积分满足${\lim }_{n\to \infty }{\int }_I{f}_n(x)dx={\int }_{I}f(x)dx$。

7. 绝对连续性：

   • 对于Lebesgue可积函数$f(x)$，当积分区间$I$的长度趋于0时（即区间收缩到一点），积分的绝对值也趋于0，即${\lim }_{|I|\to 0}\left|{\int }_{I}f(x)dx\right|=0$。

8. 与Riemann积分的关系：

   • 若函数$f(x)$在区间$I$上是Riemann可积的，则它一定是Lebesgue可积的，并且两种积分的值相等。但反之不一定成立，即Lebesgue可积的函数不一定Riemann可积。这是因为Lebesgue积分对函数的不连续性要求更低，只要求不连续点构成零测集。

9. 积分的中值定理（在某些条件下成立）：

   • 对于在区间$I$上连续或几乎处处连续的Lebesgue可积函数$f(x)$，存在至少一个点$x_0\in I$，使得函数在该点的值等于积分平均值，即$f(x_0)=\frac{1}{|I|}{\int }_{I}f(x)dx$。但需要注意的是，这个性质并不总是成立，特别是当函数在区间上无界或具有其他特殊性质时。

10. 积分的比较定理：

    • 若在区间$I$上，函数$f(x)\le g(x)$几乎处处成立，且$f(x)$和$g(x)$都是Lebesgue可积的，则${\int }_{I}f(x)dx\le {\int }_{I}g(x)dx$。

11. 积分的可数可加性（在有限和下成立）：

    • 对于有限个Lebesgue可积函数的和，其积分等于各函数积分之和。即若$f_1(x),f_2(x),\dots ,f_n(x)$在区间$I$上都是Lebesgue可积的，则${\int }_I\left({\sum }_{i=1}^n{f}_i(x)\right)dx={\sum }_{i=1}^n{\int }_I{f}_i(x)dx$。但需要注意的是，对于可数无穷多个函数，这个性质一般不成立，除非满足特定的条件（如函数列单调且逐点收敛）。

综上所述，Lebesgue可积函数具有线性性、单调性、有界性（在特定条件下）、绝对可积性、积分区间的可加性、积分与极限的交换性（在特定条件下）、绝对连续性、与Riemann积分的关系、积分的中值定理（在特定条件下）、积分的比较定理以及积分的可数可加性（在有限和下）。这些性质共同构成了Lebesgue积分理论的基础。

依定义成立的性质

• f ( x ) 在 E 上是 L e b e s g u e 可积，则： 1. m ( E ) = 0 ，则 E 上的非负可测函数 f ( x ) 均可积。 ∫ E f ( x ) d x = 0 2. f ( x ) 是 E 上非负可测函数， A 是 E 上的可测子集。 ∫ A f ( x ) d x = ∫ E f ( x ) χ A ( x ) d d x ∫ A f ( x ) d x = s u p { ∫ A h ( x ) d x ∣ h ( x ) 是 A 上非负简单可测函数， h ( x ) ≤ f ( x ) } = s u p { ∫ A h ( x ) d x ∣ h ( x ) 是 E 上非负简单可测函数， h ( x ) ≤ f ( x ) χ A ( x ) } = s u p { ∫ E h ( x ) d x ∣ h ( x ) 是 E 上非负简单可测函数， h ( x ) ≤ f ( x ) χ A ( x } = ∫ E f ( x ) χ A ( x ) d x ∫ E f ( x ) d x = s u p { ∫ E h ( x ) d x ∣ h ( x ) 是 E 上的非负简单可测函数，且 h ( x ) ≤ f ( x ) } f(x)在E上是Lebesgue可积，则： \\1.m(E)=0，则E上的非负可测函数f(x)均可积。\int_Ef(x)dx=0 \\2.f(x)是E上非负可测函数，A是E上的可测子集。\\\int_Af(x)dx=\int_Ef(x)\chi_A(x)ddx \\\int_Af(x)dx \\=sup\{\int_Ah(x)dx|h(x)是A上非负简单可测函数，h(x)\le f(x)\} \\=sup\{\int_Ah(x)dx|h(x)是E上非负简单可测函数，h(x)\le f(x)\chi_A(x)\} \\=sup\{\int_Eh(x)dx|h(x)是E上非负简单可测函数，h(x)\le f(x)\chi_A(x\} \\=\int_Ef(x)\chi_A(x)dx \\\int_Ef(x)dx=sup\{\int_Eh(x)dx|h(x)是E 上的非负简单可测函数，且h(x)\le f(x)\} f(x)在E上是Lebesgue可积，则：1.m(E)=0，则E上的非负可测函数f(x)均可积。∫E​f(x)dx=02.f(x)是E上非负可测函数，A是E上的可测子集。∫A​f(x)dx=∫E​f(x)χA​(x)ddx∫A​f(x)dx=sup{∫A​h(x)dx∣h(x)是A上非负简单可测函数，h(x)≤f(x)}=sup{∫A​h(x)dx∣h(x)是E上非负简单可测函数，h(x)≤f(x)χA​(x)}=sup{∫E​h(x)dx∣h(x)是E上非负简单可测函数，h(x)≤f(x)χA​(x}=∫E​f(x)χA​(x)dx∫E​f(x)dx=sup{∫E​h(x)dx∣h(x)是E上的非负简单可测函数，且h(x)≤f(x)}

实变函数中有界可测函数的可积性

在实变函数中，讨论有界可测函数的可积性时，我们主要关注的是勒贝格积分。勒贝格积分是一种比黎曼积分更广泛的积分，它能够处理具有更多不连续性的函数。以下是有界可测函数在勒贝格积分意义下可积的条件：

1. 有界性：函数$f(x)$在定义域上是有界的，即存在一个正数$M$，使得对于定义域内的所有$x$，都有$|f(x)|\le M$。

2. 可测性：函数$f(x)$是可测的，这意味着对于任意实数$a$，集合 { x ∣ f ( x ) > a } \{x | f(x) > a\} {x∣f(x)>a}是可测集。在勒贝格积分的框架下，这通常是通过假设函数定义在一个可测集上，并且函数值是可测的（即，对于每个实数$a$，函数值大于$a$的$x$的集合是可测的）来实现的。

3. 定义域的可测性：函数$f(x)$的定义域是一个可测集，且其测度是有限的。这通常意味着我们在一个有限区间、有限个不相交区间的并集、或者更一般的可测集上考虑函数。

4. 绝对可积性：在勒贝格积分的意义下，一个函数是可积的，当且仅当它的绝对值函数是可积的。这等价于说，函数$f(x)$的勒贝格积分$\int |f(x)|d\mu$是有限的，其中$\mu$是定义域上的测度。

综合以上条件，我们可以得出结论：一个定义在有限测度可测集上的有界可测函数，在勒贝格积分的意义下是可积的，当且仅当它的绝对值函数是可积的。这通常是通过证明函数的绝对值函数的积分是有限的来实现的。

需要注意的是，与黎曼积分不同，勒贝格积分不要求函数在不连续点处具有良好的性质（如不连续点构成零测集）。勒贝格积分能够处理具有任意多不连续点的函数，只要这些不连续点不影响积分的有限性。

测度空间上研究可测函数的收敛性

是一个深入且重要的课题。为了清晰地阐述这一主题，我们需要从几个关键方面来探讨：可测函数的基本概念、不同类型的收敛性（如依测度收敛、逐点收敛、一致收敛等），以及它们之间的关系和性质。

测度空间的定义

一、定义

测度空间一般记作$(X,\mathcal{F},\mu )$，其中：

• $X$为样本空间（sample space），它是一个集合，在统计学中，$X$中的每一个元素都代表一个可能的结果（outcome）。样本空间可以为任意形式的集合，例如表示硬币的正反面、骰子的六个面的数字、0到1间的任意一个数字等。
• $\mathcal{F}$为$X$上的一个σ代数（σ-field），它是$X$的子集组成的集合，满足特定的性质：包含全集$X$和空集$\varnothing$；对补集运算封闭；对可数并运算封闭。σ代数中的元素称为可测集。
• $\mu$为定义在$\mathcal{F}$上的测度（measure），它是一个函数，满足非负性、规范性和完全可加性，为每个可测集分配一个非负实数（或无穷大），表示该集合的“大小”或“度量”。具体来说，对任意的$A\in \mathcal{F}$，有$\mu (A)\ge 0$（非负性）；$\mu (\varnothing )=0$（规范性）；对于任意一列两两不交的集合$A_i$（其中$A_i\in \mathcal{F}$），有$\mu ({\bigcup }_{i=1}^{\infty }{A}_i)={\sum }_{i=1}^{\infty }\mu (A_i)$（完全可加性）。

二、解释

• 样本空间：是研究对象所有可能结果的集合。
• σ代数：是样本空间上所有可测集的集合，它包含了足够多的子集以支持测度的定义。σ代数的性质确保了测度的定义是合理和有用的。
• 测度：是用来测量集合“大小”或“度量”的函数。在概率论中，当测度满足$\mu (X)=1$时，称该测度为概率测度，此时测度空间称为概率空间。

测度空间详细阐述：

一、定义概述

测度空间是一个三元组(X, Σ, μ)，其中：

• X是一个集合，通常称为样本空间或基本空间，它包含了研究过程中所有可能的结果或元素。
• Σ是X的一个子集组成的σ代数（或-域），它是X上某些特定子集的集合，满足特定的性质（如包含空集、对补集和可数并集封闭）。Σ中的元素称为可测集。
• μ是定义在Σ上的一个非负测度函数，它用于为Σ中的每个可测集分配一个非负实数（或无穷大），表示该集合的“大小”或“度量”。

二、关键概念解析

1. 样本空间X：

   • 样本空间是包含所有可能结果的集合。在统计学和概率论中，这些结果可以是实验或观察的可能输出。

2. σ代数Σ：

   • σ代数是样本空间X的子集的一个集合，满足以下三个条件：
     • 包含空集和样本空间X本身。
     • 对补集运算封闭，即如果A∈Σ，那么X\A（A的补集）也属于Σ。
     • 对可数并集运算封闭，即如果{An}n∈N是一列属于Σ的集合，那么它们的并集∪n∈NAn也属于Σ。
   • σ代数中的元素称为可测集，这些集合是测度函数可以定义在其上的对象。

3. 测度μ：

   • 测度是一个函数μ: Σ → [0, +∞]，它将σ代数Σ中的每个可测集A映射到一个非负实数μ(A)（或无穷大），表示该集合的“大小”或“度量”。
   • 测度函数满足非负性、规范性和完全可加性：
     • 非负性：对任意的A∈Σ，有μ(A) ≥ 0。
     • 规范性：空集的测度为0，即μ(∅) = 0。
     • 完全可加性：对任意一列两两不交的集合{An}n∈N ⊆ Σ，有μ(∪n∈NAn) = ∑n∈N μ(An)。

三、特殊类型

• 概率空间：当测度μ满足μ(X) = 1时，称(X, Σ, μ)为概率空间，此时μ称为概率测度。
• σ有限测度空间：如果对于Σ中的每个集合A，都存在一个可测集序列{An}n∈N，使得A ⊆ ∪n∈NAn且μ(An) < +∞对所有的n都成立，则称μ是Σ上的σ有限测度，(X, Σ, μ)称为σ有限测度空间。

四、应用实例

测度空间是测度论中的基本概念，广泛应用于概率论、统计学、实分析等领域。例如，勒贝格测度空间(R, Σ, λ)是一个重要的测度空间，其中R是实数集，Σ是勒贝格可测集类，λ是勒贝格测度，它赋予欧几里得空间的子集一个长度、面积或体积的标准方法。

综上所述，测度空间是定义了测度的可测空间，它是一个三元组$(X,\mathcal{F},\mu )$，其中$X$为样本空间，$\mathcal{F}$为$X$上的σ代数，$\mu$为定义在$\mathcal{F}$上的测度。

可测函数的基本概念

在测度空间$(X,\mathcal{F},\mu )$中，$\mathcal{F}$是$X$上的$\sigma$-代数，$\mu$是$\mathcal{F}$上的测度。一个函数$f:X\to \mathbb{R}$（或$\mathbb{C}$）被称为可测的，如果对于任意实数$a$，集合 { x ∈ X : f ( x ) > a } \{x \in X: f(x) > a\} {x∈X:f(x)>a}都属于$\mathcal{F}$。

不同类型的收敛性

1. 逐点收敛：

   • 定义：对于可测函数序列 { f n } \{f_n\} {fn​}和函数$f$，如果对于几乎所有$x\in X$，都有${\lim }_{n\to \infty }{f}_n(x)=f(x)$，则称 { f n } \{f_n\} {fn​}逐点收敛于$f$。

2. 一致收敛：

   • 定义：如果对于任意$ϵ>0$，都存在一个正整数$N$，使得当$n\ge N$时，对于所有$x\in X$，都有$|f_n(x)-f(x)|<ϵ$，则称 { f n } \{f_n\} {fn​}一致收敛于$f$。

3. 依测度收敛：

   • 定义：对于任意$ϵ>0$，如果存在一个正整数$N$，使得当$n\ge N$时，有 μ ( { x ∈ X : ∣ f n ( x ) − f ( x ) ∣ ≥ ϵ } ) < ϵ \mu(\{x \in X: |f_n(x) - f(x)| \geq \epsilon\}) < \epsilon μ({x∈X:∣fn​(x)−f(x)∣≥ϵ})<ϵ，则称 { f n } \{f_n\} {fn​}依测度收敛于$f$。

收敛性之间的关系

1. 逐点收敛与一致收敛：

   • 一致收敛必然导致逐点收敛，但逐点收敛不一定能推出一致收敛。一致收敛要求收敛的速度在所有$x\in X$上都是一致的，而逐点收敛只要求对每个$x$都存在极限。

2. 逐点收敛与依测度收敛：

   • 逐点收敛不一定能推出依测度收敛。例如，在某些情况下，即使函数序列逐点收敛，但收敛的速度可能非常慢，导致在测度上不满足依测度收敛的条件。
   • 依测度收敛也不一定意味着逐点收敛。但是，在某些特定的条件下（如函数序列是单调的），依测度收敛可以推出逐点收敛。

3. 一致收敛与依测度收敛：

   • 一致收敛通常比依测度收敛更强。在有限测度空间上，一致收敛通常意味着依测度收敛。但在无限测度空间上，这种关系可能不成立。

性质与定理

• Egoroff定理：在有限测度空间上，如果 { f n } \{f_n\} {fn​}依测度收敛于$f$，则存在一个子集$E\subseteq X$，使得$\mu (E)$可以任意小，并且 { f n } \{f_n\} {fn​}在$X\setminus E$上一致收敛于$f$。

• Riesz定理：如果 { f n } \{f_n\} {fn​}是可分的、单调增加（或减少）的可测函数序列，并且逐点收敛于函数$f$，则 { f n } \{f_n\} {fn​}依测度收敛于$f$。

五、总结

在测度空间上研究可测函数的收敛性是一个复杂且有趣的领域。不同类型的收敛性之间有着紧密的联系和区别。理解这些收敛性的定义、性质以及它们之间的关系对于深入掌握测度论和实分析是非常重要的。

参考文献

1.《实变函数与泛函分析》
2. 文心一言
3. chatgpt