Lebesgue积分的引入与性质

Lebesgue积分的引入与性质

1. Lebesgue积分的定义

Lebesgue积分的基本定义：

Lebesgue积分是实变函数中的一种积分方法，通常用于处理Riemann积分无法处理的情形。它基于测度理论，通过对函数的定义域进行划分，并结合函数的取值进行积分。

给定一个可测函数 $f:X\to \mathbb{R}$，其Lebesgue积分定义为：
$${\int }_{A}fd\mu =\sup \left\{{\int }_A\varphi d\mu \mid 0\le \varphi \le f,\varphi \text{ 是简单函数}\right\}$$
其中，$A$ 是可测集合，$\varphi$ 是简单函数，简单函数是指有限个常数值的函数。

Lebesgue积分与Riemann积分的区别：

• Riemann积分：是通过对函数的定义域进行划分，计算每个小区间内的面积来求解积分。Riemann积分更适用于连续或间断点少的函数。
• Lebesgue积分：通过对函数的值进行划分，对每个“值”所在的集合进行积分。Lebesgue积分更适合处理复杂的函数和具有不规则间断的函数。

---

2. 简单函数与可积函数

简单函数的积分：

简单函数是指有限个常数值的函数。假设 $\varphi$ 是简单函数，可以表示为：
$$\varphi (x)=\sum _{i=1}^n{a}_i{\chi }_{A_i}(x)$$
其中，${\chi }_{A_i}$ 是集合 $A_i$ 的指示函数，$a_i$ 是常数，积分可以通过加权求和计算：
$${\int }_A\varphi d\mu =\sum _{i=1}^n{a}_i\mu (A_i)$$

可积函数的定义：

函数 $f$ 是Lebesgue可积的，当且仅当：
$${\int }_X|f(x)|d\mu <\infty$$
即函数的绝对值的Lebesgue积分有限。

---

3. Lebesgue积分的性质

线性性：

Lebesgue积分具有线性性：
$${\int }_A(af+bg)d\mu =a{\int }_{A}fd\mu +b{\int }_{A}gd\mu$$
其中，$a$ 和 $b$ 为常数，$f$ 和 $g$ 为可积函数。

单调性：

如果 $f\le g$，且 $f$, $g$ 均可积，则有：
$${\int }_{A}fd\mu \le {\int }_{A}gd\mu$$

可加性：

如果 $f$ 在 $A_1,A_2,\dots$ 上是可积的，并且这些集合是两两不交的，那么：
$${\int }_{{\bigcup }_{i=1}^{\infty }{A}_i}fd\mu =\sum _{i=1}^{\infty }{\int }_{A_i}fd\mu$$
这表示Lebesgue积分对于可加性是封闭的。

---

4. 课堂活动与练习

活动 1：计算简单函数的Lebesgue积分

例题：设 $f(x)=2{\chi }_{[0,1]}(x)+3{\chi }_{[1,2]}(x)$，计算其在区间 $[0,2]$ 上的Lebesgue积分。

解答：

• 将简单函数 $f(x)$ 写成常数值和集合的乘积形式：
  $$f(x)=2{\chi }_{[0,1]}(x)+3{\chi }_{[1,2]}(x)$$
• 计算每个部分的Lebesgue积分：
  $${\int }_0^{2}f(x)dx={\int }_{[0,1]}2d\mu +{\int }_{[1,2]}3d\mu =2\cdot 1+3\cdot 1=5$$

活动 2：比较Lebesgue积分与Riemann积分的差异

例题：考察函数 $f(x)=\frac{1}{x}$ 在区间 $[0,1]$ 上的积分。讨论其在Riemann积分和Lebesgue积分下的不同表现。

解答：

• 在Riemann积分下，$f(x)=\frac{1}{x}$ 在 $[0,1]$ 上不可积，因为它在 $x=0$ 处有无限的间断。
• 然而，在Lebesgue积分下，我们可以处理这种情况，因为Lebesgue积分可以在“局部不规则”的点上进行处理。

---

5. Python代码示例：Lebesgue积分计算

下面是一个计算简单函数Lebesgue积分的Python代码示例：

import numpy as np
import matplotlib.pyplot as plt

# 定义指示函数
def indicator_function(set_condition, domain):
    return np.array([1 if condition else 0 for condition in set_condition(domain)])

# 简单函数 f(x) = 2 on [0, 1] and 3 on [1, 2]
def simple_function(x):
    return 2 * indicator_function((x >= 0) & (x <= 1), x) + 3 * indicator_function((x >= 1) & (x <= 2), x)

# 定义区间
x_vals = np.linspace(0, 2, 1000)
y_vals = simple_function(x_vals)

# 计算Lebesgue积分
integral_value = np.trapz(y_vals, x_vals)
print(f"Lebesgue integral of the simple function: {integral_value}")

# 可视化
plt.plot(x_vals, y_vals, label="Simple function f(x)")
plt.fill_between(x_vals, 0, y_vals, alpha=0.3)
plt.title("Visualization of Simple Function")
plt.xlabel("x")
plt.ylabel("f(x)")
plt.legend()
plt.show()

该代码使用Python计算简单函数的Lebesgue积分，并绘制其图像。使用np.trapz进行数值积分，帮助学生理解如何实现Lebesgue积分。

---

总结：

• Lebesgue积分：通过对函数值进行划分并计算其权重，解决了Riemann积分无法处理的复杂函数。
• 简单函数与可积函数：通过简单函数的定义和Lebesgue可积条件，帮助学生理解可积函数的性质。
• Lebesgue积分的性质：包括线性性、单调性、可加性等，都是Lebesgue积分非常重要的特性。

通过这些基础知识和实际例子，可以更好地理解Lebesgue积分，并掌握如何计算Lebesgue积分以及其应用。