Category:Absolutely Continuous Real Functions

From ProofWiki
Jump to navigation Jump to search

This category contains results about Absolutely Continuous Real Functions.
Definitions specific to this category can be found in Definitions/Absolutely Continuous Real Functions.

Let $I \subseteq \R$ be a real interval.

A real function $f: I \to \R$ is said to be absolutely continuous if and only if it satisfies the following property:

For every $\epsilon > 0$ there exists $\delta > 0$ such that the following property holds:
For every finite set of pairwise disjoint closed real intervals $\closedint {a_1} {b_1}, \dotsc, \closedint {a_n} {b_n} \subseteq I$ such that:
$\ds \sum_{i \mathop = 1}^n \size {b_i - a_i} < \delta$
it holds that:
$\ds \sum_{i \mathop = 1}^n \size {\map f {b_i} - \map f {a_i} } < \epsilon$