2 THIERRY DE PAUW
Une pr´e-d´eriv´ee de fest une fonction mesurable g:R→Rtelle
que g(x)∈Der(f;x) pour presque tout x∈R. On a alors |g| ≤ Lip f
presque partout.
Proposition 2. Si f:R→Rest lipschitzienne et si gest une pr´e-
d´eriv´ee de falors Rb
ag=f(b)−f(a)quels que soient les r´eels a < b.
D´emonstration. Choisissons un ensemble n´egligeable N⊂(a, b) tel que
chaque x∈(a, b)\Nait les propri´et´es suivantes :
(A) xest un point de Lebesgue de g;
(B) g(x)∈Der(f;x).
Soit ε > 0, et x∈(a, b)\N. D’apr`es (A) il existe 0 < δ(x)<min{x−
a, b −x}tel que
(2)
g(x)λ(I)−ZI
g
< ελ(I)
pour chaque intervalle I⊂Rtel que x∈Iet diam I < δ(x). D’apr`es
(B) il existe une suite h1, h2, . . . telle que 0 <|hj|< δ(x) et
(3)
f(x+hj)−f(x)
hj
−g(x)
< ε,
pour chaque j= 1,2, . . .. On pose I(x, j) := [x, x +hj] si hj>0 et
I(x, j) := [x+hj, x] si hj<0, j= 1,2, . . ., de sorte que (3) se r´ecrit
(4) |f(max I(x, j)) −f(min I(x, j)) −g(x)λ(I(x, j))|< ελ(I(x, j)) .
Ensuite on choisit un ouvert U⊂(a, b) tel que N⊂Uet λ(U)< ε,
et pour chaque x∈Nune suite d’intervalles ferm´es I(x, 1), I(x, 2), . . .
contenus dans Uet tels que limjdiam I(x, j) = 0.
Observons que
V=∪{I(x, j) : x∈(a, b), j = 1,2, . . .}
est un recouvrement de Vitali de l’intervalle (a, b), par cons´equent il
existe une sous-famille d´enombrable d’intervalles deux `a deux disjoints
I1, I2, . . . ∈Vtelle que λ((a, b)\ ∪∞
k=1Ik) = 0. Il existe un entier κtel
que
(5) λ((a, b)\ ∪κ
k=1Ik)< ε.
Remarquons que (5) entraˆıne
(6)
Zb
a
g−
κ
X
k=1 ZIk
g
< εLip f