Académique Documents
Professionnel Documents
Culture Documents
n−1
X
V arσ (f ) := |f (xi+1 ) − f (xi )|
i=0
y
_
:= sup V arσ (f )
x σ∈Sub([x,y])
Wy
On dit que f est à variation bornée sur [x, y] si x < +∞.
2. Montrer que toute fonction est à variation bornée si, et seulement si elle est différence
de deux fonctions croissantes par double implication.
z y z
_ _ _
f = f+ f
x x y
p−1 q−1
X X
V arσ (f ) = |f (xi+1 ) − f (xi )| + |f (yi+1 ) − f (yi )|
|i=0 {z } |i=0 {z }
tous les xi tous les yi
6 V arσ1 (f ) + V arσ2 (f )
y z
_ _
6 f+ f
x y
z y z
_ _ _
f 6 f+ f (1)
x x y
? De plus, soit σ ∈ Sub([x, z]). On introduit y dans σ, créant ainsi une nouvelle subdivi-
sion σ 0 ∈ Sub([x, z]) de cette forme:
p−2 q−1
X X
V arσ (f ) = |f (xi+1 ) − f (xi )| + |f (yi+1 ) − f (yi )|
i=0 i=1
p−1 q−1 z
X X _
V arσ (f ) 6 |f (xi+1 ) − f (xi )| + |f (yi+1 ) − f (yi )| = V arσ0 (f ) 6 f
x
|i=0 {z } |i=0 {z }
=V arσ1 (f ) =V arσ1 (f )
z
_
Donc on a: V arσ1 (f ) + V arσ1 (f ) 6 f
x
y z z
_ _ _
f+ f 6 f (2)
x y x
z y z
_ _ _
f = f+ f
x x y
Lemme 2
f : [a, b] −→ R est à variation bornée si, et seulement si f est la différence de deux
fonctions croissantes
p−1 p−1
X X
V arσ (f ) = |g(xi+1 ) − g(xi )| = [g(xi+1 ) − g(xi )] = g(xp ) − g(x0 ) = g(b) − g(a)
g%
i=0 i=0
p−1 p−1
X X
V arσ (f ) = |g(xi+1 ) − g(xi )| = [g(xi ) − g(xi+1 )] = g(x0 ) − g(xp ) = g(a) − g(b)
g&
i=0 i=0
b
_
Ainsi, si g est monotone, alors g = |g(a) − g(b)| donc est à variation bornée
a
p−1
X
V arσ (f ) = V arσ (g − h) = |g(xi+1 ) − h(xi+1 ) − g(xi ) + h(xi )|
i=0
p−1
X
D’où V arσ (f ) 6 {|g(xi+1 ) − g(xi )| + |h(xi+1 ) − h(xi )|} 6 V arσ (g) + V arσ (h)
i=0
b
_ b
_ b
_
D’où f6 g+ h ce qui montre la première implication.
a a a
g : [a, b] −→ WR
x
x 7−→ af
g est bien definie (car f est à variation bornée). Soit h = g − f . Soient x 6 y ∈ [a, b] :
y x
_ _
h(y) − h(x) = g(y) − g(x) − f (y) + f (x) = − f + f (x) − f (y)
a a
y y
_ _
h(y) − h(x) = +f (x) − f (y) > −|f (y) − f (x)| > 0
| {z }
x x
=V ar{x,y} (f )
Donc h est constante. Comme g(y)−g(x) = yx > 0, g est également croissante. Ainsi,
W
f est la différence de deux fonctions croissantes.
Démonstration. ? Si f est dans l’espace vectoriel engendré par les fonctions monotones,
alors ils existent λ1 , · · · , λp ∈ R et f1 , · · · , fp monotones, donc à variation bornée
(lemme 2), tels que:
p
X
f = λi fi
i=1
p p b
X X _
Donc, pour tout σ ∈ Sub([a, b]), V arσ (f ) 6 λi V arσ (fi ) 6 λi fi
i=1 i=1 a
b
_
Donc f < +∞ ce qui montre une première inclusion.
a