Théorèmes généraux 23
on obtient
1 g(t)dt
une inégalité qui sera utilisée dans la suite fréquemment.
Soit {Un} une suite de fonctions définies dans [a, b] à valeurs dans !R N ;
on sait que
lim un (t) = u(t), t E [a , b]
n-+=
existe si et seulement si {un (t)} est une suite de Cauchy dans !R N, pour tout
t E [a, b] ; on dit que {Un} converge uniformément vers u dans J si
lim {suplun(t) - u(t)
n-+= tEl
1} = 0.
Rappelons que ( vol. 1, chap. 1) si les Un sont continues dans J et que {Un}
converge uniformément vers u dans J, alors u est continue dans J; de plus,
lim l un (t)dt
b b
= l u(t)dt
n-+= a a
car
1 un (t) dt -1 u(t) dt
b b
b
� r lun (t) - u(t)I dt� (b - a) suplun(t) - u(t)I -----+ 0
la tEI
lorsque n ---+ oo.
Soit g : [a, b] ---+ !R N (a, b réels, a < b) avec g (91, · · . , gN). Si
a < t < b, on définit
= hlim0 -h {g(t + h ) - g(t)},
1
g'(t)
-+
étant toujours entendu dans ce genre de formules que h /=- 0 ; si t = a, on définit
g'(a) en prenant la limite sur h > 0 et si t = b, g'(b) est défini en prenant la
limite sur h < O ; autrement dit, g' (a) est la dérivée unilatérale à droite et g' ( b)
est la dérivée unilatérale à gauche. Il est clair que
et que l'existence de g'(t) entraîne la continuité de g au point t23051969.