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

Cette page a été validée par deux contributeurs.
272
CHAPITRE XI.

Mais, avant de rechercher une forme nouvelle de la définition de l’intégrale de Stieltjès, il convient de voir dans quel cas on peut employer sans modification la définition primitivement posée pour les fonctions continues.

Soit une fonction bornée dans et une fonction à variation bornée, nous formons, comme il a été dit, la somme

.

Si, dans , varie entre et , nous désignerons par et deux nombres définis par les conventions

, , si ,
, , si ,

et seront les bornes supérieure et inférieure de prises par rapport à . L’oscillation de , toujours dans l’intervalle considéré, sera

.

Ceci posé, si l’on fait varier les sans faire varier les , varie entre

et ;

nous allons montrer que ces sommes, pour une suite de divisions , , … en intervalles dont la longueur maximum tend vers zéro, tendent vers des limites déterminées

,,

— que nous appellerons les intégrales de Stieltjès-Darboux de , par excès et par défaut, — pourvu que tout point de discontinuité de soit point de la division , à partir d’une certaine valeur de .

Si , , sont les trois variations totales de ,

,,