SÉANCE DU 28 ])i;CEMiJI!i-: 190 3. jn'2C) 



tivemenl •• la cléfinilion du maximum et du minimum d'une fonction quand 

 on néglige une certaine classe d'ensembles, on pourra dire que, sauf pour les 

 points d'un certain ensemble de mesure nulle, toute fonction mesurable est 

 continue quand on néglige les ensembles de mesure t, z étant aussi petit que 

 l'on veut ('). 



» On passe facilement de cet énoncé à celui de M. Borel, de sorte que 

 toute fonction mesurable jouit de la propriété de M. Borel ; d'ailleurs toute 

 fonction qui jouit de cette propriété est évidemment mesurable, c'est une 

 propriété caractéristique des fonctions mesurables. 



« Quand on veut démontrer seulement que les fonctions actuellement 

 définies jouissent de la propriété de M. Borel, il suffit, comme le fait 

 M. Borel, de remarquer que cette propriété appartient aux fonctions con- 

 tinues et qu'elle se conserve à la limite. Ce dernier fait est une conséquence 

 immédiate d'une propriété presque évidente et très générale que j'ai déjà 

 eu l'occasion d'appliquer à l'intégration terme à terme des séries à restes 

 bornés (-) : Lorsque l'on a une série corner génie de fonctions mesurables, quels 

 que soient 'c y et c., on peut toujours trouçer n assei grand pour que l'ensemble 

 des valeurs de x, pour lesquelles certains des restes d' indices supérieurs à n sont, 

 en valeur absolue, supérieurs df £,, soil de mesure inférieure à z.,. De sorte 

 que : toute série convergente de fonctions mesurables est uniformément conver- 

 gente quand on néglige certains ensembles de mesure z, z étant aussi petit que 

 l'on veut. 



» La propriété qu'a remarquée M. Borel est susceptible d'une autre 

 forme qu'il est souvent commode d'employer pour étendre aux fonctions 

 mesurables des théorèmes vrais pour les fonctions intégrables : Toute fonc- 

 tion mesurable f ne diffère d'une certaine fonction inlégrableo.^ qu'aux points 

 d'un ensemble de mesure t aussi petite que l'on veut. Si / est bornée et 

 comprise entre /et L, on peut prendre Çg comprise entre ces mêmes limites; 

 lorsqu'on opère ainsi, l'intégrale de Çe ^^^^^^ vers celle de/quand t tend vers 

 zéro. Cela donne un procédé permettant de définir facilement l'intégrale 

 des fonctions mesurables bornées. En se servant de la propriété relative 



( ') Mais non nul; l'énoncé que j'avais donné à M. Borel est inexact. Les ensembles 

 que l'on^néglige ne sont pas de mesure nulle, mais, si l'on veut, de densité nulle au 

 point considéré. 



(-) Voir ma Thèse Intégrale, longueur, aire {Ànnali cli Mateniatica, 1903), 

 p. 29. 



C. U., 1900, 2' Sc/neslre. (T. GXWVIL N» 28 ) I (j ' 



