Int´egration
1 Fonctions en escalier
1.1 Espace des fonctions en escalier
1.1.1 Subdivisions et fonctions en escaliers
D´efinitions
•Soient a < b deux r´eels et n∈N∗un entier. Une subdivision du segment [a,b] en nmorceaux est une famille
finie strictement croissante a=a0< a1<···< an=bde r´eels de [a,b].
•Une fonction en escalier sur le segment [a,b] est une application f: [a,b]→Rtelle qu’il existe une subdivision
σ={a=a0< a1. . . < an=b}de [a,b] telle que, pour tout ide 1 `a n,fsoit constante sur l’intervalle
]xi−1,xi[.
On dit alors que la subdivision σest adapt´ee `a f.
On observe facilement que si l’on ajoute un r´eel suppl´ementaire ou un nombre fini de r´eels suppl´ementaires `a une
subdivision adapt´ee `a une fonction fen escalier, on obtient une nouvelle subdivision qui est encore adapt´ee `a f.
1.1.2 Alg`ebre des fonctions en escalier
Notons Esc([a,b]) l’ensemble de toutes les fonctions en escalier de [a,b] dans R.
Propri´et´e
Esc([a,b]) est une sous-alg`ebre de F([a,b],R) ; cela signifie que :
• ∀f, g ∈Esc([a,b]),∀λ, µ ∈R, λf +µg ∈Esc([a,b])
• ∀f, g ∈Esc([a,b]), fg ∈Esc([a,b])
•La fonction constante x7→ 1 appartient `a Esc([a,b]).
D´emonstration
Le troisi`eme point est ´evident. Pour les deux premiers, on prend une subdivision σfadapt´ee `a f, une autre σg
adapt´ee `a g.
D’apr`es l’observation pr´ec´edente, leur r´eunion est une subdivision σ={a=a0< a1<···< an=b}adapt´ee `a la
fois `a fet g.
Comme fet gsont constantes sur chacun des intervalles ]xi−1,xi[, il en est de mˆeme de λf +µg et de fg ce qui
ach`eve la d´emonstration.
1.2 Int´egrale des fonctions en escalier
1.2.1 D´efinition de Zb
a
f(x)dxpour fen escalier
Proposition
Soit f∈Esc([a,b]), σ ={a=x0< x1<···< xn=b}une subdivision adapt´ee `a f. Pour tout ide 1 `a n, soit yi
la valeur de fsur ]xi−1,xi[. On pose S(f,σ) =
n
X
i=1
yi(xi−xi−1).
Alors S(f,σ) ne d´epend pas de la subdivision adapt´ee `a f.
Id´ee de la d´emonstration
Si l’on ajoute un point x∈]xi−1,xi[ `a la subdivision σ, alors en posant
σ′={a=x0< x1<···< xi−1< x < xi<···< xn=b}, on a S(f,σ′) = S(f,σ) car la valeur de fsur ]xi−1,x[ et
celle sur ]x,xi[ est yide sorte que yi(x−xi−1) + yi(xi−x) = yi(xi−xi−1) ce qui entraˆıne S(f,σ′) = S(f,σ).
De la mˆeme fa¸con, l’ajout d’un nombre fini de points `a σne modifie pas la valeur de S(f,σ).
1