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

La bibliothèque libre.
Cette page a été validée par deux contributeurs.
173
L’INTÉGRALE INDÉFINIE DES FONCTIONS SOMMABLES.

suffit d’ajouter à l’ensemble des singularités de les points en lesquels a au moins un saut positif. Donc les ensembles des singularités des variations positive et négative, et , d’une fonction à variation bornée, , peuvent être pris sans autres points communs que ceux en lesquels a un saut de droite et un saut de gauche différents de zéro et de signes contraires.

De toute cette analyse il faut retenir surtout qu’une fonction complètement additive d’ensemble mesurable B est absolument continue si, et seulement si, elle a une valeur nulle sur tout ensemble mesurable B de mesure nulle. La fonction est alors prolongeable à tout ensemble mesurable[1].

  1. On comparera cet énoncé avec celui de la page 151.