Processing math: 100%
ThmDex – An index of mathematical definitions, results, and conjectures.
Set of symbols
Alphabet
Deduction system
Theory
Zermelo-Fraenkel set theory
Set
Binary cartesian set product
Binary relation
Map
Function
Real collection function
Euclidean real function
Real function
Definition D2
Absolutely continuous real function
Formulation 3
Let [a,b]R be a D544: Closed real interval such that
(i) f:[a,b]R is a D4364: Real function on [a,b]
Then f is absolutely continuous if and only if ε>0:δ>0:N1,2,3,:pairwise disjoint [a1,b1],,[aN,bN][a,b](Nn=1|bnan|<δNn=1|f(bn)f(an)|<)