(d) Soit σune subdivision de [a;b]. On construit σ0∈Sa,cet σ”∈Sc,bcomme dans la question (b).
Par hypothèse, fest de longueur bornée sur [a;c]et sur [c;b], donc on a `(σ0,f)6Lc
a(f)et `(σ00,f)6
Lb
c(f). On a donc `(σ,f)6Lc
a(f) + Lb
c(f)d’après la question précédente. Puisque Lc
a(f) + Lb
c(f)ne
dépend pas de σ, il majore l’ensemble {`(σ,f)|σ∈Sa,b}. Donc fest de longueur bornée sur [a;b]et,
puisque Lb
a(f)est le plus petit majorant de {`(σ,f)|σ∈Sa,b}, on a
Lb
a(f)6Lc
a(f) + Lb
c(f).
B.5) (a) Posons σ0= (σ0
i)06i6q,σ00 = (σ00
j)06j6r,p=q+ret
σi=(σ0
isi 0 6i6q
σ00
i−qsi q+16i6p.
Alors σ= (σi)06i6pest une subdivision de [a;b]. De plus,
`(σ,f) =
q
∑
i=1
|f(σi)−f(σi−1)|+
p
∑
i=q+1
|f(σi)−f(σi−1)|
=
q
∑
i=1f(σ0
i)−f(σ0
i−1)+
p−q
∑
i=1f(σi+q)−f(σi+q−1)
=
q
∑
i=1f(σ0
i)−f(σ0
i−1)+
r
∑
i=1f(σ00
i)−f(σ00
i−1)
=`(σ0,f) + `(σ00,f).
(b) Soit σ0une subdivision de [a;c]et soit σ” une subdivision de [c;b]. On construit σ∈Sa,bà partir de
σ0et σ” comme dans la question précédente. On a alors `(σ0,f) = `(σ,f)−`(σ”, f)6`(σ,f)6Lb
a(f)
puisque `(σ00,f)>0 et fest à variations bornées sur [a;b]. On déduit que pour toute subdivi-
sion σ0de [a;c]on a `(σ0,f)6Lb
a(f), et par conséquent fest de longueur bornée sur [a;c]. De
même, fest de longueur bornée sur [c;b]. De plus, on a `(σ0,f) + `(σ00,f)6Lb
a(f)pour toutes
subdivisions σ0de [a;c]et σ00 de [c;b], avec Lb
a(f)indépendant de σ0et σ”, donc Lb
a(f)majore
{`(σ0,f) + `(σ00,f)|σ0∈Sa,c,σ”∈Sc,b}donc sup{`(σ0,f) + `(σ00,f)|σ0∈Sa,c,σ”∈Sc,b}6Lb
a(f).
Or sup{`(σ0,f) + `(σ00,f)|σ0∈Sa,c,σ”∈Sc,b}=Lc
a(f) + Lb
c(f)donc Lc
a(f) + Lb
c(f)6Lb
a(f).
B.6) Si α<β<γ, cela découle des questions B.5)(b) et B.4)(d).
Avec la convention La
a(f) = 0, si certains parmi α,β,γsont égaux le résultat est évident.
Enfin, dans le cas général c’est vrai aussi grâce à la convention Lb
a(f) = −La
b(f). Vérifions-le par exemple
dans le cas où β<α<γ. Alors on a Lα
β(f) + Lγ
α(f) = Lγ
β(f), donc Lγ
α(f) = Lγ
β(f)−Lα
β(f) = Lγ
β(f) + Lβ
α(f),
ce que l’on voulait.
Les quatre cas qui restent se traitent de la même manière.
C. LIEN ENTRE "ETRE DE LONGUEUR BORNÉE"ET "ETRE À VARIATIONS BORNÉES".
C.1) (a) Supposons que qest croissante. Soit σ=σi06i6pune subdivision de [a;b]. Alors
`(σ,q) =
p
∑
i=1
|q(σi)−q(σi−1)|=
p
∑
i=1
(q(σi)−q(σi−1)) = q(σp)−q(σ0) = q(b)−q(a) = |q(b)−q(a)|
ne dépend pas de σ. Donc l’ensemble {`(σ,q)|σ∈Sa,b}={|q(b)−q(a)|} est un singleton, il admet
donc une borne supérieure qui est Lb
a(q) = |q(b)−q(a)|.
Si qest décroissante, on obtient de même que qest de longueur bornée sur [a;b]et Lb
a(q) = q(a)−q(b) =
|q(b)−q(a)|.
(b) Il existe gcroissante sur Iet hdécroissante sur Itelles que f=g+h. D’après la question précédente,
get hsont de longueur bornée sur [a;b], donc d’après la question B.3),fest de longueur bornée sur
[a;b].
3