Lebesgue可积

Lebesgue可积（Lebesgue integrable）是实分析和测度论中的一个概念，由法国数学家Henri Lebesgue在20世纪初提出。Lebesgue积分是Riemann积分的推广，它允许对更广泛的函数类进行积分，包括一些Riemann不可积的函数。

Lebesgue积分的基本概念：

1. 测度（Measure）：在Lebesgue积分理论中，首先需要定义一个测度，它是一个函数，用于给实数线上的子集分配一个非负实数或无穷大，这个数可以被解释为该子集的“大小”或“体积”。

2. 可测函数（Measurable Function）：如果一个函数的每个可测集合的原像是可测的，那么这个函数就是可测的。

3. 简单函数（Simple Function）：一个只取有限个值的可测函数称为简单函数。

4. Lebesgue积分：对于非负可测函数，Lebesgue积分定义为简单函数积分的极限。对于一般的可测函数，其积分可以分解为正部分和负部分的积分。

Lebesgue可积的条件：

一个函数( f )在测度空间$(E,\mathcal{M},\mu )$上是Lebesgue可积的，如果它是一个可测函数，并且它的绝对值的积分是有限的，即：

${\int }_E|f|d\mu <\infty$

这里，$E$是定义域，$\mathcal{M}$是$E$上的$\sigma -$代数，$\mu$是测度。

Lebesgue积分的性质：

1. 线性：如果$f$和$g$是$Lebesgue$可积的，那么对于任意的常数$a$和$b$，$af+bg$也是$Lebesgue$可积的，并且：

$\int (af+bg)d\mu =a\int fd\mu +b\int gd\mu$

2. 单调性：如果$f$和$g$是可测函数，并且对于所有$x\in E$，有$f(x)\le g(x)$，那么：

   $\int fd\mu \le \int gd\mu$

3. 控制收敛定理：如果一系列可测函数 { f n } \{f_n\} {fn​}逐点收敛到函数$f$，并且存在一个可积函数$g$使得对于所有的$n$和所有的$x$，有$|f_n(x)|\le g(x)$，那么$f$是可积的，并且：

${\lim }_{n\to \infty }\int f_{n}d\mu =\int fd\mu$

Lebesgue积分是现代分析学的基础之一，它在概率论、傅里叶分析、泛函分析等领域有着广泛的应用。