1.4 Fonctions continues par morceaux
Définition fest continue par morceaux sur J= [a, b]s’il existe une subdivision a=a0<· · · < an=b
telle que
1. fcontinue sur ]ak−1, ak[
2. fadmet une limite à droite en akpour tout k < n
3. fadmet une limite à gauche en akpour tout k > 0.
Remarque Les fonctions en escalier sur Jsont continues par morceaux.
Remarque Toute fonction CPM sur un segment est bornée. Attention, elle n’atteint pas nécessairement
ses bornes.
Proposition Cm([a, b]) est une sous-algèbre de B([a, b]) (normée par k.k∞).
Théorème d’approximation Soit fune fonction CPM de [a, b]dans R.
VERSION 1 : Pour tout ε > 0, il existe deux fonctions en escalier ϕ,ψtelles que ϕ≤f≤ψet ψ−ϕ≤ε.
VERSION 2 : Il existe une suite (fn)de fonctions en escalier telle que kfn−fk∞→0(fnconverge
uniformément vers fsur [a, b].)
Remarque Réciproque fausse : une suite de fonctions en escalier peut converger uniformément vers une
fonction qui n’est pas CPM.
L’ensemble des limites uniformes de fonctions en escalier est l’ensemble des fonctions réglées (HORS P).
Il contient les fonctions CPM et, par ex., les fonctions monotones.
1.5 Intégrale des fonctions CPM
Il s’agit essentiellement de faire passer à la limite uniforme les propriétés de l’intégrale des fonctions
en escalier.
Proposition Si fnest une suite de fonctions en escalier telle que kfn−fk∞→0, alors R[a,b]fnconverge
vers une limite Iindépendante de la suite fn. Par définition, Iest l’intégrale de fsur [a, b].
Démonstration
1. Posons In=R[a,b]fn.
(fn)est une suite convergente, donc de Cauchy dans B([a, b]) pour la norme ||.||∞. Or, pour tout n, p,
|Ip−In| ≤ (b−a)kfn−fpk∞donc Inest de Cauchy dans K, donc convergente.
2. Supposons que (gn)converge uniformément vers f. Notons I0
n=ZJ
gnPar inégalité triangulaire, on
a : ||fn−gn||∞≤ ||fn−f||∞+||f−gn||∞→0.
De là, |In−I0
n| ≤ (b−a)||fn−gn||∞→0, et on en déduit que les deux suites (In)et (I0
n)ont la
même limite.
2