est Riemann-intégrable si et seulement si l'ensemble de ses points de discontinuité a une mesure de Lebesgue nulle.
L'ensemble des discontinuités peut être de mesure nulle sans être fini ou dénombrable, comme pour la fonction caractéristique de l'ensemble de Cantor, qui n'est donc pas réglée.
Définition 4.2.1 - Intégrable au sens de Riemann.
Une fonction f : [a, b] → R est dite intégrable au sens de Riemann (on dit aussi Riemann-intégrable sur [a, b]) si, pour tout ε > 0, il existe des fonctions étagées uε et vε ∈ E([a, b]) telles que : (i) uε 6 f 6 vε .
Définition : Soit f une fonction bornée sur [a,b] .
Alors f est Riemann intégrable si et seulement l'une des conditions équivalentes suivante est vérifiée : S−(f)=supσS−(f,\u03c.
3) S − ( f ) = sup σ S − ( f , σ ) et S+(f)=infσS+(f,\u03c.
3) S + ( f ) = inf σ S + ( f , σ ) sont égales.