2.2 Définition 1
Soit f :[a, b] R une fonction bornée. On appelle intégrale supérieure de f et on note I+(f) la borne inférieure de
l’ensemble +a,b (f)={y Є R / y =∫ab u(x)dx, avec u Є E+a, b(f) }.
De même, on appelle intégrale inférieure de f et on note I-(f) la borne supérieure de l’ensemble -a,b (f)={y Є R /
y =∫ab v(x)dx, avec u Є E-a, b(f) }.
On a I-(f)≤I+(f).
2.3 Definition 2
Soit f:[a, b] R borne. On dit que f est intégrable au sens de Riemann sur f si et seulement si I+(f)=I-(f) et dans
ce cas on pose ∫ab f(x)dx= I+(f)=I-(f).
Sommes de Darboux de f(x) relatives à une subdivision : Soit f : [a, b] R bornée et (x0, x1, …xn) une
subdivision de [a, b]. Alors on considère les deux fonctions suivantes :
Ug : 0≤i≤n ug(xi)=f(xi) et 1≤i≤n, x Є ]xi-1, xi[ on a ug(x)=Mi ou Mi=Sup f(x).
Vg : 0≤i≤n vg(xi)=f(xi) et 1≤i≤n, x Є ]xi-1, xi[ on a vg(x)=mi ou mi=Inf f(x).
2.4 Définition 3
Soit f : [a, b] R, bornée et (x0, x1, …xn) une subdivision de [a, b]. On appelle somme de Darboux supérieure
relativement à le nombre :
b
a
n
iiiiGG MxxdxxuS 11)()(
avec uG Є E+a, b.
De même, on appelle somme de Darboux inférieure de f relativement à le nombre :
b
a
n
iiiiGG mxxdxxvs 11)()(
avec vG Є E-a, b.
On a donc, pour tout subdivision de [a, b], sG ≤ I-a,b ≤ I+a,b ≤ SG.
2.5 Propriétés
Soit f : [a, b] R, bornée, Є R
Si >0 alors I+ (f)=I+(f) et I- (f)=I-(f). Si <0 alors I+ (f)=I-(f) et I- (f)=I+(f).
Soient f, g bornées sur [a, b] : I+ (f+g)≤I+(f)+I+(g) et I-(f+g)≥I-(f)+I-(g).
Si f, g sont bornées et x Є [ b] f(x)≤g(x) alors I+(f)≤I+(g) et I-(f)≤I-(g).
2.6 Proposition 2
Soit f : [a, b] R, bornée. Alors f est intégrable si et seulement si >0, u Є E+a, b(f), v Є E-a, b(f) tel que
∫ab(u(x) - v(x)) dx < .
2.7 Proposition 3
Soit f : [a, b] R bornée. Alors f est intégrable si et seulement si >0, subdivision de [a, b], |SG–sG|< ou
SG et sG sont les sommes de Darboux de f relativement à G.
2.8 Définition 4
Soit f : [a, b] R bornée et (x0, x1, …xn) une subdivision de [a, b]. Un nombre réel S est dit somme de
Riemann de f relativement à si et seulement si il existe 1≤i≤n zi Є ]xi-1, xi[ tel que :