Page:Lebesgue - Leçons sur l'intégration et la recherche des fonctions primitives, 1904.djvu/38

partiels tels que la somme des longueurs de ceux de ces intervalles dans lesquels l’oscillation est plus grande que $\varepsilon$, quel que soit ${\varepsilon >0}$, soit aussi petite que l’on veut.

Si une telle division est possible, il s’en trouve une infinité dans toute suite de divisions telles que le maximum de la longueur des intervalles partiels tende vers zéro, puisque, quelle que soit cette suite, $\textstyle \sum \delta _{i}\omega _{i}$ tend toujours vers le même nombre.

De cette propriété de $\textstyle \sum \delta _{i}\omega _{i}$ résulte aussi que, si à une suite de divisions de la nature considérée correspondent des nombres ${\underline {\mathrm {S} }}$ et ${\overline {\mathrm {S} }}$ ayant la même limite, nous pouvons affirmer l’intégrabilité de la fonction considérée.

La forme donnée par Riemann à la condition d’intégrabilité montre bien que les fonctions continues sont intégrables, mais elle ne met pas en évidence le rôle des points de discontinuité de la fonction. Paul du Bois-Reymond a mis ce rôle en évidence par une transformation de la condition d’intégrabilité. L’énoncé de du Bois-Reymond suppose connue la définition des groupes intégrables.

Un ensemble de points d’une droite constitue un groupe intégrable, si les points de l’ensemble peuvent être enfermés dans un nombre fini de segments dont la somme des longueurs est aussi petite que l’on veut^[1].

Un nombre fini de points constitue un groupe intégrable, mais la réciproque n’est pas vraie.

Considérons l’ensemble $\mathrm {Z}$ des points dont les abscisses sont données par la formule

$x={\frac {a_{1}}{3}}+{\frac {a_{2}}{3^{2}}}+{\frac {a_{3}}{3^{3}}}+\ldots$,

dans laquelle tous les $a$ sont égaux à 0 ou 2. Cet ensemble s’obtient en retranchant de l’intervalle ${(0,1)}$ d’abord les points intérieurs à l’intervalle ${\left({\frac {1}{3}},{\frac {2}{3}}\right)}$, puis les points intérieurs aux inter-

1. On peut, à volonté, considérer qu’un point est enfermé dans un intervalle, soit s’il est intérieur à cet intervalle ou confondu avec ses extrémités ; soit s’il est intérieur à l’intervalle, les extrémités exclues. Les deux définitions correspondantes des groupes intégrables sont évidemment identiques.