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

Cette page a été validée par deux contributeurs.

d’une valeur à une autre sans prendre, une fois au moins, chaque valeur intermédiaire. C’est le cas de la fonction égale à pour et à n’importe quelle valeur de l’intervalle (−1, +1) pour .

Il est assez curieux qu’une fonction puisse jouir de cette propriété qui a été prise pour définition de la continuité et être cependant discontinue en tout point. Pour construire une telle fonction, j’écris le nombre , pris entre 0 et 1, dans un système de numération, le système décimal par exemple

.

Considérons la suite des chiffres de rang impair . Si elle n’est pas périodique, nous prendrons  ; si elle est périodique, et si la première période commence à nous prendrons

.

Il est évident que la fonction ainsi définie prend toutes les valeurs de (0, 1) dans un intervalle quelconque si petit qu’il soit, donc est discontinue en tout point ; d’ailleurs ne prend pas de valeurs extérieures à (0, 1), donc ne passe pas d’une valeur à une autre sans prendre toutes les valeurs de (0, 1), et, a fortiori, toutes les valeurs comprises entre et .

Il faut aussi remarquer que, avec la définition critiquée par M. Darboux, la somme de deux fonctions continues n’est plus nécessairement une fonction continue. En effet, si

pouret,

et si

pouret,

les deux fonctions et ne peuvent passer d’une valeur à une

    qui intervient directement dans presque toutes les démonstrations, tandis que la propriété des fonctions continues et dérivées n’est guère employée que dans le théorème des substitutions et ses conséquences.