黎曼可积的充分必要条件 (3)

推论 1

闭区间上的连续函数必定可积。

证明：

$f(x)$ 在闭区间 $[a, b]$ 连续， 则有界且一致连续。
因此， $\forall \varepsilon > 0, \exists \delta > 0, \forall x', x'' \in [a, b],$ 若 $|x' - x''| \lt \delta,$ 则 $|f(x') - f(x'')| \lt \dfrac {\varepsilon } {b - a},$
且对于任意一种 $[a, b]$ 上的划分 $P,$
$\forall i \in \mathbb N, 1 \le i \le n, f(x)$ 在 $[x_{i - 1}, x_i]$ 连续，
因此 $\exists \zeta _i, \eta _i \in [x_{i - 1}, x_i],$ 使得 $f(\zeta _i) = M_i, f(\eta _i) = m_i,$
只要 $\lambda = \max \{\Delta x_i: i \in \mathbb N, 1 \le i \le n\} \lt \delta,$
便有：
$\sum _{i = 1} ^{n} w_i\Delta x_i$
$= \sum _{i = 1} ^{n} (M_i - m_i)\Delta x_i$
=∑