Lebesgue

零测集

定义

1. （零测集）对给定的集合 $A$，对于任意大于 0 的 $\epsilon$，存在一个至多可数的开区间集 { I n : n ∈ N ∗ } \{I_n: n\in N^* \} {In​:n∈N∗}组成 $A$ 的一个开覆盖，并且 $\sum _{i=0}^n|I_i|<\epsilon$。

定理

1. 如果 $A$ 是至多可数集，那么 $A$ 一定是零测集。
2. 任何长度不为 $0$ 的区间都不是零测集。
3. 至多可数集个零测集的并集是零测集。
4. 零测集的子集也必然是零测集。

Lebesgue

定义

1. 用 $D(f)$ 记 $f$ 在 $[a,b]$ 上的不连续点的全体，即 D ( f ) = { x ∈ [ a , b ] : f  在  x  点处不连续 } D(f)=\{x\in [a,b]: f \text{ 在 } x \text{ 点处不连续}\} D(f)={x∈[a,b]:f 在 x 点处不连续}。
2. $B_r(x)$ 记为区间 $(x-r,x+r)$，${\omega }_f(x,r)$ 记为 $f$ 在 $B_r(x)$ 上的振幅，${\omega }_f(x)=\underset{r\to 0^{+}}{\lim }{\omega }_f(x,r)$ 记为 $f$ 在点 $x$ 处的振幅。
3. 对 $\delta >0$ 记 D δ = { x ∈ [ a , b ] : ω f ( x ) ≥ δ } D_\delta= \{x\in [a,b]: \omega_f(x) \geq \delta \} Dδ​={x∈[a,b]:ωf​(x)≥δ}。

引理

1. 设 $\omega$ 是有界函数 $f$ 在 $[a,b]$ 上的振幅，那么 ω = sup ⁡ { ∣ f ( y 1 ) − f ( y 2 ) ∣ : y 1 , y 2 ∈ [ a , b ] } \omega=\sup\{|f(y_1)-f(y_2)|: y_1,y_2 \in [a,b]\} ω=sup{∣f(y1​)−f(y2​)∣:y1​,y2​∈[a,b]} 。

2. 函数 $f$ 在点 $x\in I$ 处连续的充要条件是 ${\omega }_f(x)=0$。

3. $D(f)=\bigcup _{n=1}^{\infty }{D}_{1/n}$。

4. 设 $f:[a,b]\to \mathbb{R}$。如果存在一列区间 $({\alpha }_j,{\beta }_j)(j=1,2,\cdots )$，使得 $D(f)\subset \bigcup _{j=1}^{\infty }({\alpha }_j,{\beta }_j)$，记 $K=[a,b]\backslash \bigcup _{j=1}^{\infty }({\alpha }_j,{\beta }_j)$。那么对任意的 $\epsilon >0$，一定存在 $\delta >0$，当 $x\in K$，$y\in [a,b]$ 且 $|x-y|<\delta$ 时，有 $|f(x)-f(y)|<\epsilon$ 。

定理

1. （Lebesgue）设 $f$ 在有限区间上有界，那么 $f$ 在 $[a,b]$ 上黎曼可积的充要条件是：$D(f)$ 是零测集。

推论

1. 若 $f$ 在 $[a,b]$ 上有界，且只有至多可数个间断点，那么 $f$ 在 $[a,b]$ 上黎曼可积。
2. 如果 $f$ 在 $[a,b]$ 上可积，那么 $|f|$ 在 $[a,b]$ 上也可积。
3. 设 $f,g$ 在 $[a,b]$ 上可积，那么 $fg$ 在 $[a,b]$ 上也可积。因为 $D(fg)\subset D(f)\bigcup D(g)$。
4. 如果 $f$ 在 $[a,b]$ 上可积，$\frac{1}{f}$ 在 $[a,b]$ 上有定义且有界，那么 $\frac{1}{f}$ 在 $[a,b]$ 上也可积。这是因为 $D(f)=D(\frac{1}{f})$
5. 如果 $f$ 在 $[a,b]$ 上可积，$[c,d]\subset [a,b]$，那么 $f$ 在 $[c,d]$ 上也可积。
6. 如果 $c\in (a,b)$，且 $f$ 在 $[a,c]$ 和 $[c,d]$ 上都可积，那么 $f$ 在 $[a,d]$ 上也可积。
7. 设 $f$ 在 $[a,b]$ 上可积，且 $g$ 除有限个点以外都和 $f$ 相等，那么 $g$ 在 $[a,b]$ 上也可积，且 ${\int }_a^{b}f(x)\mathrm{d}x={\int }_a^{b}g(x)\mathrm{d}x$。