Processing math: 100%
ThmDex – An index of mathematical definitions, results, and conjectures.
Definitions
,
Results
,
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
:
∀
N
∈
1
,
2
,
3
,
…
:
∀
pairwise disjoint
[
a
1
,
b
1
]
,
…
,
[
a
N
,
b
N
]
⊆
[
a
,
b
]
(
N
∑
n
=
1
|
b
n
−
a
n
|
<
δ
⟹
N
∑
n
=
1
|
f
(
b
n
)
−
f
(
a
n
)
|
<
∞
)