绝对连续的一个等价定义

该结论是导师教我的.

绝对连续的一般定义

令 $I$ 为 $\mathbb{R}$ 上的区间. 函数 $f: I \to \mathbb{R}$ 在 $I$ 上绝对连续是指, $\forall \ \varepsilon > 0$, 存在 $\delta > 0$ 使得对任意有限不交区间族 $\lbrace (x_k, y_k) \rbrace_{k=1}^n \subset I$, 若

$$\sum_{k=1}^n (y_k - x_k) <\delta,$$

那么

$$\sum_{k=1}^n |f(y_k) - f(x_k)| < \varepsilon.$$

$I$ 上绝对连续函数全体记为 $AC(I)$.

绝对连续的等价定义

令 I