# Leçons sur l’intégration et la recherche des fonctions primitives (seconde édition)/Chapitre IX
### CHAPITRE IX. LA RECHERCHE DES FONCTIONS PRIMITIVES. L’EXISTENCE DES DÉRIVÉES.
#### I. — La recherche des fonctions primitives.

Soit ${\mathcal {F}}(x)$ une fonction ayant une dérivée $f(x)$, nous savons que $f(x)$ est mesurable, car c’est une fonction de première classe (p. 99). Supposons que $f(x)$ soit bornée, alors ${r[{\mathcal {F}}(x),x,x+h]}$ est aussi borné, quels que soient $x$ et $h$. Et puisque $f(x)$ est la limite pour ${h=0}$ de ${r[{\mathcal {F}}(x),x,x+h]}$ on peut écrire, d’après un théorème énoncé à la page 125,
$\int _{a}^{x}f(x)\,\mathrm {d} x=\lim _{h=0}{\frac {\int _{a}^{x}[{\mathcal {F}}(x+h)-{\mathcal {F}}(x)]\,\mathrm {d} x}{h}}={\mathcal {F}}(x)-{\mathcal {F}}(a)$
car ${\mathcal {F}}(x)$ est une fonction continue.
Donc les fonctions d’une variable intégrales indéfinies d’une dérivée sont ses fonctions primitives. Nous avons résolu le problème fondamental du calcul intégral pour les fonctions bornées. De plus, nous avons un procédé régulier de calcul permettant de reconnaître si une fonction bornée est ou non une dérivée.
Pour aller plus loin, démontrons que les nombres dérivés d’une fonction continue sont mesurables et même mesurables B. Considérons pour cela une suite de fonctions $u_{1}$, $u_{2}$, …, et les fonctions ${\overline {u}}$, ${\underline {u}}$ égales, pour chaque valeur de $x$, à la plus grande et à la plus petite des limites des $u_{n}$, limites prises pour $x$ constant et $n$ croissant indéfiniment ; ce sont les enveloppes d’indétermination de la limite des $u$. Voici comment on peut obtenir l’enveloppe supérieure ${\overline {u}}$ ; $v_{i}$ est la fonction qui, pour chaque valeur de $x$, est égale à la plus grande des fonctions $u_{1}$, $u_{2}$, …, $u_{i}$ ; $w_{1}$ est la limite de la suite croissante $v_{1}$, $v_{2}$, $v_{3}$, … ; $w_{i}$ se définit à partir de $u_{i}$, $u_{i+1}$, …, comme $w_{1}$ à partir de $u_{1}$, $u_{2}$, … ; ${\overline {u}}$ est la limite de la suite décroissante $w_{1}$, $w_{2}$, …. Si les $u_{i}$ sont des fonctions continues, il en est de même des $v_{i}$, les $w_{i}$ sont donc au plus de première classe et ${\overline {u}}$ au plus de seconde classe. Un raisonnement analogue s’applique à ${\underline {u}}$. Si l’on suppose seulement que si les $u_{i}$ sont mesurables, on voit que ${\overline {u}}$ et ${\underline {u}}$ le sont aussi et cela ne suppose pas que les $u_{i}$, que ${\overline {u}}$ et ${\underline {u}}$ soient partout finies.
La définition des enveloppes d’indétermination aurait pu être donnée pour une fonction ${g(x,h)}$, où $h$ est un paramètre remplaçant l’indice de la fonction $u_{i}$. L’un des nombres dérivés de $f(x)$ est l’une des enveloppes d’indétermination de ${r[f(x),x,x+h]}$, quand on fait tendre $h$ vers zéro, par valeurs de signe déterminé. Mais ${r[f(x),x,x+h]}$ étant continue en ${(x,h)}$ pour ${h\neq 0}$, on peut, comme nous allons le voir, remplacer, pour la recherche de ces enveloppes, l’infinité non dénombrable des valeurs de $h$ par une suite de valeurs de $h$ tendant vers zéro et convenablement choisies. Les nombres dérivés sont donc, lorsqu’ils sont finis, au plus de seconde classe et en tout cas mesurables B.
Mais il faut prouver que l’on peut, comme il a été annoncé, remplacer la considération de la valeur continue $h$ par celle d’une suite de valeurs de $h$. S’il s’agit des nombres dérivés à droite, c’est-à-dire des valeurs positives de $h$, nous prendrons une suite contenant les nombres $1$, ${\frac {1}{2}}$, ${\frac {1}{4}}$, ${\frac {1}{8}}$, … et, de plus, contenant entre ${\frac {1}{2^{i}}}$ et ${\frac {1}{2^{i+1}}}$ des nombres divisant cet intervalle en assez de parties égales pour que, lorsque $h$ varie dans une de ces parties, l’oscillation de ${r[f(x),x,x+h]}$ reste inférieure à ${\frac {1}{i}}$, $x$ restant constant et ayant n’importe quelle valeur. Il est bien clair que cette suite donne, pour plus grande et plus petite limite de $r$, les deux nombres dérivés à droite de $f(x)$. Les nombres dérivés sont donc mesurables et l’on peut espérer que, dans des cas étendus, l’intégration des fonctions sommables nous permettra de trouver une fonction connaissant l’un de ses nombres dérivés.
Au Chapitre V, nous avons démontré qu’une fonction continue ayant son nombre dérivé supérieur à droite, par exemple, constamment nul, était constante en calculant de façon approchée l’accroissement subi par cette fonction, à l’aide de la considération d’une chaîne d’intervalles. C’est le même procédé de calcul que nous allons appliquer à une fonction continue $f(x)$ dont nous supposerons connu le nombre dérivé supérieur à droite ${\Lambda f(x)}$ dans un intervalle ${(a,b)}$.
À partir de $a$, nous allons couvrir ${(a,b)}$ d’une chaîne d’intervalles satisfaisant aux conditions qui vont être indiquées :
1$^o$ Chaque intervalle a une longueur au plus égale à un nombre positif $\lambda$ que l’on fera par la suite tendre vers zéro. Alors si l’on prend les sommes $p$ et $-n$, formées respectivement des accroissements positifs et négatifs, fournies par la chaîne, on sait que, lorsque $\lambda$ tend vers zéro, $p$ et $+n$ tendent respectivement vers les variations totales positive et négative, $\mathrm {P}$ et $\mathrm {N}$, et cela uniformément à un certain égard, comme il a été dit page 53.
Nous allons nous proposer seulement le calcul de $\mathrm {P}$. On sait qu’on obtient une valeur approchée de $\mathrm {P}$ en faisant la somme des accroissements positifs de $f(x)$ donnés par les intervalles de la chaîne. Or, l’intervalle ${(x_{0},x_{0}+h)}$ donne un accroissement égal à ${h\,r[f(x),x_{0},x_{0}+h]}$, et ce nombre $r$ est une valeur approchée de ${\Lambda f(x_{0})}$. Il convient de préciser cette approximation ; pour cela nous partagerons ${(a,b)}$ en les ensembles
$\mathrm {E} [l\varepsilon \leqq \Lambda f(x)<(l+1)\varepsilon ]=\mathrm {E} _{l}$
relatifs aux diverses valeurs de $l$ entières, positives, négatives et nulle, $\varepsilon$ étant un nombre positif, très petit, et en les ensembles
$\mathrm {E} [\Lambda f=+\infty ]=\mathrm {E} ^{ip}$
$\mathrm {E} [\Lambda f=-\infty ]=\mathrm {E} ^{in}$
Puis nous poserons la condition :
2$^o$ Si $x_{0}$ est l’origine d’un intervalle ${(x_{0},x_{0}+h)}$ de la chaîne, on aura
${\begin{aligned}(l-1)\varepsilon \leqq&r[f(x),x_{0},x_{0}+h]\leqq (l+1)\varepsilon ,&&{\text{si }}x_{0}{\text{ est point de }}\mathrm {E} _{l}{\text{,}}\\\mathrm {M} \leqq&r[f(x),x_{0},x_{0}+h],&&{\text{si }}x_{0}{\text{ est point de }}\mathrm {E} ^{ip}{\text{,}}\\&r[f(x),x_{0},x_{0}+h]\leqq -\mathrm {M} ,&&{\text{si }}x_{0}{\text{ est point de }}\mathrm {E} ^{in}{\text{ ;}}\end{aligned}}$
$\mathrm {M}$ étant un nombre positif arbitrairement grand.
Les intervalles de la chaîne ayant pour origine des points de $\mathrm {E} ^{ip}$, des points des $\mathrm {E} _{l}$ à indice positif et certains points de $\mathrm {E} _{0}$ sont seuls à considérer dans le calcul de $\mathrm {P}$.
Les intervalles ayant pour origines des points de $\mathrm {E} ^{ip}$ ont une contribution de la forme $\mathrm {M'A} ^{ip}$, $\mathrm {M} '$ étant au moins égal à $\mathrm {M}$ et $\mathrm {A} ^{ip}$ étant la longueur totale des intervalles issus des points de $\mathrm {E} ^{ip}$. Ceux qui ont pour origines des points de $\mathrm {E} _{l}$, ${l>0}$, ont une contribution égale à leur longueur totale $\Lambda _{l}$ multipliée par un nombre compris entre ${(l-1)\varepsilon }$ et ${(l+1)\varepsilon }$ ; en d’autres termes, cette contribution est ${\Lambda _{l}l\varepsilon }$ à ${\Lambda _{l}\varepsilon }$ près au plus. Ce résultat est vrai aussi pour les intervalles ayant pour origines des points de $\mathrm {E} _{0}$, car la contribution de ces intervalles dans la valeur approchée de $\mathrm {P}$ est au plus ${\Lambda _{0}\varepsilon }$. Donc on peut prendre pour valeur approchée de $\mathrm {P}$
$p=\sum _{0}^{+\infty }\Lambda _{l}l\varepsilon +\mathrm {M'A} ^{ip}$
puisqu’on ne s’écarte de la valeur donnée par la chaîne que de ${\varepsilon \sum _{0}^{\infty }\Lambda _{l}}$ au plus, soit au plus ${\varepsilon (b-a)}$.
Il faut maintenant pouvoir évaluer les $\Lambda _{l}$ et $\Lambda ^{ip}$ ; pour cela, nous supposons que l’on ait enfermé chacun des ensembles que nous avons considérés dans un ensemble d’intervalles ; nous aurons ainsi les ensembles $\mathrm {A} _{l}$, $\mathrm {A} ^{ip}$, $\mathrm {A} ^{in}$ formés chacun d’intervalles non empiétants. Chacun d’eux surpasse en mesure l’ensemble de même indice d’une quantité $\varepsilon _{l}$, $\varepsilon ^{ip}$, $\varepsilon ^{in}$ que nous pourrons choisir aussi petite que nous le voudrons.
Supposons donc que les séries ${\varepsilon ^{ip}+\varepsilon ^{in}+\sum _{-\infty }^{+\infty }\varepsilon _{l}}$ et ${\sum _{-\infty }^{+\infty }|l|\varepsilon _{l}}$ soient convergentes et aient des sommes arbitrairement petites $\eta$ et $\zeta$. Et posons la condition :
3$^o$ Chaque intervalle de la chaîne est enfermé tout entier dans l’ensemble $\mathrm {A}$ qui enferme l’ensemble auquel appartient son origine.
Alors $\Lambda _{l}$ est au plus égale à ${m(\mathrm {E} _{l})+\varepsilon _{l}}$ et au moins égale au plus grand des deux nombres : 0 ou ${m(\mathrm {E} _{l})-\eta }$ ; pour $\Lambda ^{ip}$ on a des limites analogues. De là se déduisent des limites inférieure et supérieure pour $p$ ; la limite inférieure est
$\sideset{^{p}}\sum _{0\;\;}^{\infty \;}\left[m(\mathrm {E} _{l})-\eta \right]l\varepsilon +\mathrm {M} \,\left[m(\mathrm {E} ^{ip})-\eta \right]$
les termes positifs étant seuls conservés dans ${\textstyle \sum }^{p}$.
Cette somme ne contient donc qu’un nombre fini de termes, nombre variable avec $\eta$. Ces termes sont inférieurs à ceux de
$\sum _{0}^{\infty }m(\mathrm {E} _{l})\,l\varepsilon$
mais tendent respectivement vers ceux-ci pour $\eta$ tendant vers zéro.
Or on peut faire tendre $\eta$ vers zéro, d’où la limite
$\sum _{0}^{\infty }m(\mathrm {E} _{l})\,l\varepsilon +\mathrm {M} \,m(\mathrm {E} ^{ip})$
puis on peut prendre $\varepsilon$ arbitrairement petit, $\mathrm {M}$ arbitrairement grand, donc on a, l’intégrale ayant une valeur finie ou infinie,
$\mathrm {P} \geqq \int _{\mathrm {E} [0<\Lambda f<+\infty ]}\Lambda f\,\mathrm {d} x+\mathrm {M} \,m(\mathrm {E} ^{ip})$
quel que soit $\mathrm {M}$. $\mathrm {P}$ ne sera donc fini que pour
$m(\mathrm {E} ^{ip})=0$
$\int _{\mathrm {E} [0<\Lambda f<+\infty ]}\Lambda f\,\mathrm {d} x$
finie. Concluons en nous rappelant que l’on aurait pu prendre pour ${\Lambda f(x)}$ l’un quelconque des quatre nombres dérivés, et qu’il y a pour $\mathrm {N}$ une inégalité analogue à celle trouvée pour $\mathrm {P}$.
Une fonction continue et à variation bornée a ses nombres dérivés finis presque partout ; ses nombres dérivés sont sommables dans l’ensemble des points où ils sont finis ; ses trois variations totales $\mathrm {P}$, $\mathrm {N}$, $\mathrm {V}$ vérifient les relations
${\begin{alignedat}{2}\mathrm {P} &\geqq \int _{\mathrm {E} [0<\Lambda f]}&&\Lambda f\,\mathrm {d} x=\int _{a}^{b}{\frac {1}{2}}[\Lambda f+|\Lambda f|]\,\mathrm {d} x{\text{,}}\\\mathrm {N} &\geqq \int _{\mathrm {E} [\Lambda f<0]}&-&\Lambda f\,\mathrm {d} x=\int _{a}^{b}{\frac {1}{2}}[|\Lambda f|-\Lambda f]\,\mathrm {d} x{\text{,}}\end{alignedat}}$
$\mathrm {V} \geqq \int _{a}^{b}|\Lambda f|\,\mathrm {d} x$
$\Lambda f$ étant l’un quelconque des quatre nombres dérivés ; les points où $\Lambda f$ est infini étant exclus des ensembles ou intervalles d’intégration.
Supposons maintenant le nombre dérivé supérieur à droite $\Lambda f$ sommable sur l’ensemble ${\mathrm {E} [0<\Lambda f<+\infty ]}$ et supposons l’ensemble $\mathrm {E} ^{ip}$ de mesure nulle ; formons la limite supérieure de $\mathrm {P}$
$\sum _{0}^{\infty }\left[m(\mathrm {E} _{l})+\varepsilon _{l}\right]l\varepsilon +\mathrm {M} '\left[m(\mathrm {E} ^{ip})+\varepsilon ^{ip}\right]$
Le premier terme est inférieur à ${\sum _{0}^{\infty }m(\mathrm {E} _{l})\,l\varepsilon +\zeta \varepsilon }$ ; pour $\zeta$ et $\varepsilon$ tendant vers zéro, il tend donc vers ${\int _{\mathrm {E} [0<\Lambda f<+\infty ]}\Lambda f\,\mathrm {d} x}$.
Puisque ${m(\mathrm {E} ^{ip})}$ est nulle, le second terme se réduit au produit ${\mathrm {M'} \varepsilon ^{ip}}$ d’un nombre arbitrairement grand par un nombre arbitrairement petit, il ne nous apprend donc rien.
Enfermons $\mathrm {E} ^{ip}$ dans un ensemble $\mathrm {I}$ d’intervalles non empiétants, supposons les $\mathrm {A} ^{ip}$ choisis enfermés dans $\mathrm {I}$. Alors, si $\mathrm {P(I)}$ désigne la somme des variations positives de $f$ dans les intervalles $\mathrm {I}$, le second terme ${\mathrm {M'} \varepsilon ^{ip}}$ est au plus $\mathrm {P(I)}$. Si donc on désigne par ${\mathrm {P} (\mathrm {E} ^{ip})}$ l’une quelconque des limites de $\mathrm {P(I)}$ quand on fait varier $\mathrm {I}$ de façon que ${m(\mathrm {I} )}$ tende vers zéro, on aura
$\mathrm {P} \leqq \int _{a}^{b}{\frac {1}{2}}\left[\Lambda f+|\Lambda f|\right]\,\mathrm {d} x+\mathrm {P} (\mathrm {E} ^{ip})$
les points de ${\mathrm {E} ^{i}=\mathrm {E} ^{ip}+\mathrm {E} ^{in}}$ étant exclus de l’intervalle d’intégration.
Soit $\mathrm {I} _{1}$ un ensemble formé d’un nombre fini des intervalles $\mathrm {I}$ choisis de façon que, lorsqu’on fait tendre ${m(\mathrm {I} )}$ vers zéro, $\mathrm {P(I_{1})}$ tende, comme $\mathrm {P(I)}$, vers ${\mathrm {P} (\mathrm {E} ^{ip})}$. Soit $\mathrm {J} _{1}$ le complémentaire de $\mathrm {I} _{1}$ par rapport à ${(a,b)}$ ; $\mathrm {J} _{1}$ est formé d’un nombre fini d’intervalles, on peut donc appliquer une formule précédente et écrire
${\begin{aligned}\mathrm {P(J_{1})} &\geqq \int _{\mathrm {J} _{1}}{\frac {1}{2}}\left[\Lambda f+|\Lambda f|\right]\,\mathrm {d} x\\&=\int _{a}^{b}{\frac {1}{2}}\left[\Lambda f+|\Lambda f|\right]\,\mathrm {d} x-\int _{\mathrm {I} _{1}}{\frac {1}{2}}\left[\Lambda f+|\Lambda f|\right]\,\mathrm {d} x{\text{,}}\end{aligned}}$
d’où, en ajoutant $\mathrm {P(I_{1})}$ aux deux membres,
$\mathrm {P} \geqq \int _{a}^{b}{\frac {1}{2}}\left[\Lambda f+|\Lambda f|\right]\,\mathrm {d} x+\mathrm {P(I_{1})} -\int _{\mathrm {I} _{1}}{\frac {1}{2}}\left[\Lambda f+|\Lambda f|\right]\,\mathrm {d} x$
Et comme, quand $m(\mathrm {I} )$ tend vers zéro, $m(\mathrm {I} _{1})$ tend vers zéro, donc aussi la dernière intégrale du second membre, tandis que $\mathrm {P(I_{1})}$ tend vers ${\mathrm {P} (\mathrm {E} ^{ip})}$, on a
$\mathrm {P} \geqq \int _{a}^{b}{\frac {1}{2}}\left[\Lambda f+|\Lambda f|\right]\,\mathrm {d} x+\mathrm {P} (\mathrm {E} ^{ip})$
En rapprochant les deux inégalités de sens inverses obtenues, on conclut finalement
$\mathrm {P} =\int _{a}^{b}{\frac {1}{2}}\left[\Lambda f+|\Lambda f|\right]\,\mathrm {d} x+\mathrm {P} (\mathrm {E} ^{ip})$
Donc ${\mathrm {P} (\mathrm {E} ^{ip})}$, qui désigne l’une quelconque des limites de $\mathrm {P(I)}$, a une valeur déterminée ; nous pouvons énoncer ce résultat comme il suit :
Si ${\Lambda f}$ est l’un des nombres dérivés d’une fonction continue $f(x)$, pour que $f(x)$ soit à variation bornée il faut et il suffit que ${\Lambda f}$ soit sommable dans l’ensemble des points où il est fini et positif, que l’ensemble $\mathrm {E} ^{ip}$ des points ou ${\Lambda f}$ est infini positif soit de mesure nulle et qu’il puisse être enfermé dans des intervalles $\mathrm {I}$ fournissant une somme de variations totales positives $\mathrm {P(I)}$ qui soit bornée.
$\mathrm {P(I)}$ tend alors vers une limite finie et déterminée, quand on fait varier $\mathrm {I}$ de façon que sa mesure tende vers zéro ; cette limite est la différence entre la variation totale positive de $f(x)$ dans l’intervalle considéré et l’intégrale de ${\Lambda f}$ dans l’ensemble des points où il est positif.
On a, bien entendu, un énoncé analogue en changeant positif en négatif, $\mathrm {E} ^{ip}$ en $\mathrm {E} ^{in}$, $\mathrm {P}$ en $\mathrm {N}$, qu’exprime l’égalité
$\mathrm {N} =\int _{a}^{b}{\frac {1}{2}}\left[|\Lambda f|-\Lambda f|\right]\,\mathrm {d} x+\mathrm {N} (\mathrm {E} ^{in})$
De $\mathrm {P}$ et $\mathrm {N}$, par addition et soustraction, nous déduisons la variation totale $\mathrm {V}$ et l’accroissement ${f(b)-f(a)}$ de $f(x)$ dans ${(a,b)}$. L’ensemble ${\mathrm {E} ^{i}=\mathrm {E} ^{ip}+\mathrm {E} ^{in}}$ des points où ${\Lambda f}$ est infini, est de mesure nulle. Tout ensemble $\mathrm {I}$ d’intervalles non empiétants enfermant $\mathrm {E} ^{i}$, et dont la mesure tend vers zéro, peut donc servir simultanément au calcul de ${\mathrm {P} (\mathrm {E} ^{ip})}$, de ${\mathrm {N} (\mathrm {E} ^{in})}$ que l’on peut noter en conséquence ${\mathrm {P} (\mathrm {E} ^{i})}$, ${\mathrm {N} (\mathrm {E} ^{i})}$ ; la limite de la somme $\mathrm {V(I)}$ des variations totales dans les intervalles de $\mathrm {I}$ sera ${\mathrm {P} (\mathrm {E} ^{i})+\mathrm {N} (\mathrm {E} ^{i})=\mathrm {V} (\mathrm {E} ^{i})}$ ; parce que, dans un intervalle $\delta$, ${\mathrm {P} (\delta )+\mathrm {N} (\delta )=\mathrm {V} (\delta )}$. Mais, dans ${\delta =(\alpha ,\beta )}$, on a, pour l’accroissement ${\mathrm {A} (\delta )}$,
$\mathrm {A} (\delta )=f(\beta )-f(\alpha )=\mathrm {P} (\delta )-\mathrm {N} (\delta )$
donc on a pour la somme des accroissements de $f(x)$ dans les intervalles de $\mathrm {I}$,
$\mathrm {A} (\mathrm {I} )=\mathrm {P} (\mathrm {I} )-\mathrm {N} (\mathrm {I} )$
d’où, pour $\mathrm {E} ^{i}$, par un passage à la limite,
$\mathrm {P} (\mathrm {E} ^{i})-\mathrm {N} (\mathrm {E} ^{i})=\mathrm {P} (\mathrm {E} ^{ip})-\mathrm {N} (\mathrm {E} ^{in})=\mathrm {A} (\mathrm {E} ^{i})$
Ainsi, si ${\Lambda f}$ est l’un des nombres dérivés d’une fonction $f(x)$ continue et à variation bornée dans un intervalle ${(a,b)}$, ses trois variations et son accroissement dans ${(a,b)}$ sont donnés par les formules
${\begin{aligned}\mathrm {P} &=\int _{a}^{b}{\frac {1}{2}}\left[|\Lambda f|+\Lambda f\right]\,\mathrm {d} x+\mathrm {P} (\mathrm {E} ^{i}){\text{,}}\\\mathrm {N} &=\int _{a}^{b}{\frac {1}{2}}\left[|\Lambda f|-\Lambda f\right]\,\mathrm {d} x+\mathrm {N} (\mathrm {E} ^{i}){\text{,}}\\\mathrm {V} &=\int _{a}^{b}|\Lambda f|\,\mathrm {d} x+\mathrm {V} (\mathrm {E} ^{i}){\text{,}}\\\mathrm {A} &=f(b)-f(a)=\int _{a}^{b}\Lambda f\,\mathrm {d} x+\mathrm {A} (\mathrm {E} ^{i}){\text{.}}\end{aligned}}$
${\mathrm {P} (\mathrm {E} ^{i})}$, ${\mathrm {N} (\mathrm {E} ^{i})}$, ${\mathrm {V} (\mathrm {E} ^{i})}$, ${\mathrm {A} (\mathrm {E} ^{i})}$ sont les limites, finies et bien déterminées, vers lesquelles tendent les sommes des diverses variations totales et des accroissements de $f(x)$ dans des intervalles $\mathrm {I}$, non empiétants et enfermant l’ensemble $\mathrm {E} ^{i}$ des points où ${\Lambda f}$ est infinie, quand on fait varier le système $\mathrm {I}$ d’intervalles, de façon que ${m(\mathrm {I} )}$ tende vers zéro.
Laissons pour un instant cet énoncé général et attachons-nous au cas où $\mathrm {E} ^{i}$ n’existe pas ; les nombres ${\mathrm {P} (\mathrm {E} ^{i})}$, ${\mathrm {N} (\mathrm {E} ^{i})}$, ${\mathrm {V} (\mathrm {E} ^{i})}$, ${\mathrm {A} (\mathrm {E} ^{i})}$, sont alors nuls. Si nous appliquons alors le théorème précédent à l’intervalle ${(a,x)}$, nous avons :
La condition nécessaire et suffisante pour que le nombre dérivé ${\Lambda f}$ partout fini, d’une fonction continue $f(x)$ soit sommable, est que $f(x)$ soit à variation bornée.
La fonction primitive $f(x)$ de ${\Lambda f}$ est alors l’intégrale indéfinie, fonction d’une variable, de ${\Lambda f}$.
Nous pouvons donc dire que nous savons résoudre les problèmes A′, B′, C′ (p. 78), et par suite les problèmes A, B, C, pour toutes les fonctions sommables.
Il y a un autre cas dans lequel ${\mathrm {P} (\mathrm {E} ^{i})}$, ${\mathrm {N} (\mathrm {E} ^{i})}$, ${\mathrm {V} (\mathrm {E} ^{i})}$, ${\mathrm {A} (\mathrm {E} ^{i})}$ sont tous nuls, c’est celui où $f(x)$ est absolument continue ; car alors $\mathrm {V(I)}$ tend vers zéro avec ${m(\mathrm {I} )}$. Donc : une fonction absolument continue est l’intégrale indéfinie de chacun de ses quatre nombres dérivés, sa variation totale est l’intégrale indéfinie de la valeur absolue de l’un quelconque de ses nombres dérivés.
Maintenant que nous avons cet énoncé à notre disposition, nous pouvons remplacer certains résultats antérieurs par de simples conditions suffisantes d’absolue continuité :
Une fonction continue $f$, qui a son nombre dérivé ${\Lambda f}$ partout fini et sommable dans ${(a,b)}$, y est absolument continue.
Une fonction continue et à variation bornée $f(x)$, qui a son nombre dérivé ${\Lambda f}$ partout fini dans ${(a,b)}$, y est absolument continue.
Revenons au cas général dans lequel $\mathrm {E} ^{i}$ existe et où les nombres ${\mathrm {P} (\mathrm {E} ^{i})}$, ${\mathrm {N} (\mathrm {E} ^{i})}$, ${\mathrm {V} (\mathrm {E} ^{i})}$, ${\mathrm {A} (\mathrm {E} ^{i})}$ ne sont pas nécessairement nuls.
Alors, si l’on considère un ensemble $\mathrm {J}$ d’intervalles non empiétants, on a, en appelant $e^{ip}$ la partie de $\mathrm {E} ^{ip}$ située dans $\mathrm {J}$
$\mathrm {P(J)} =\int _{\mathrm {J} }{\frac {1}{2}}\left[\Lambda f+|\Lambda f|\right]\,\mathrm {d} x+\mathrm {P} (e^{ip})$
mais $\mathrm {P} (e^{ip})$ est au plus égale à $\mathrm {P} (\mathrm {E} ^{ip})$ et l’intégrale du second membre tend vers zéro avec $m(\mathrm {J} )$. Donc, quand $m(\mathrm {J} )$ tend vers zéro, la plus grande des limites de $\mathrm {P(J)}$ est $\mathrm {P} (\mathrm {E} ^{ip})$ et cette plus grande limite est atteinte quand on prend $\mathrm {J}$ enfermant $\mathrm {E} ^{ip}$. En d’autres termes : $\mathrm {E} ^{ip}$ est l’ensemble des singularités de la fonction $\mathrm {P} (x)$ représentant la variation totale positive de $a$ à $x$. La fonction des singularités ${\mathrm {P} _{s}(x)}$ de la fonction $\mathrm {P} (x)$ est
$\mathrm {P} _{s}(x)=\mathrm {P} (x)-\int _{a}^{x}{\frac {1}{2}}[\Lambda f+|\Lambda f|]\,\mathrm {d} x$
On a de même, avec des notations dont le sens est clair,
$\mathrm {N} _{s}(x)=\mathrm {N} (x)-\int _{a}^{x}{\frac {1}{2}}[|\Lambda f|-\Lambda f]\,\mathrm {d} x$
d’où
${\begin{aligned}\mathrm {V} _{s}(x)&=\mathrm {V} (x)-\int _{a}^{x}|\Lambda f|\,\mathrm {d} x{\text{,}}\\f_{s}(x)&=f(x)-f(a)-\int _{a}^{x}\Lambda f\,\mathrm {d} x{\text{ ;}}\end{aligned}}$
formules qui font connaître les fonctions des singularités de ${\mathrm {P} (x)}$, ${\mathrm {N} (x)}$, ${\mathrm {V} (x)}$, ${\mathrm {A} (x)}$. Quant à l’ensemble des singularités, c’est $\mathrm {E} ^{ip}$ pour ${\mathrm {P} (x)}$, $\mathrm {E} ^{in}$ pour ${\mathrm {N} (x)}$, c’est $\mathrm {E} ^{i}$ pour ${\mathrm {P} (x)}$, ${\mathrm {N} (x)}$, ${\mathrm {V} (x)}$, $f(x)$.
On a en particulier
$\mathrm {P} _{s}(b)=\mathrm {P} (\mathrm {E} ^{i})$
$\mathrm {N} _{s}(b)=\mathrm {N} (\mathrm {E} ^{i})$
$\mathrm {V} _{s}(b)=\mathrm {V} (\mathrm {E} ^{i})$
$f_{s}(b)=\mathrm {A} (\mathrm {E} ^{i})$
ces nombres ne sont donc tous nuls que dans le cas, déjà examiné, où $f$ est absolument continue.
Nous avons décomposé précédemment (p. 163) une fonction continue à variation bornée en sa fonction des singularités et un noyau absolument continu, soit $\mathrm {AC}$ le noyau de $f(x)$ ; nous venons de prouver que l’on a
$\mathrm {AC} (x)=f(a)+\int _{a}^{x}\Lambda f\,\mathrm {d} x$
et des formules analogues pour les noyaux de ${\mathrm {P} (x)}$, ${\mathrm {N} (x)}$, ${\mathrm {V} (x)}$.

#### II. — La dérivation des fonctions à variation bornée.

Nous allons tenir compte maintenant de ce que chacun de nos résultats a quatre interprétations suivant que, par ${\Lambda f}$, on a désigné le nombre dérivé supérieur à droite de $f$, ou le nombre dérivé inférieur à droite, etc.
Nous avons d’abord vu que $\mathrm {E} ^{ip}$ jouait un rôle tout spécial que nous venons de préciser en montrant que $\mathrm {E} ^{ip}$ est l’ensemble des singularités de ${\mathrm {P} (x)}$ quand ${\mathrm {P} (x)}$ n’est pas absolument continue. Il y a quatre ensembles $\mathrm {E} ^{ip}$, soit ${\mathcal {E}}^{ip}$ leur partie commune ; ${\mathcal {E}}^{ip}$ est l’ensemble des points en lesquels $f(x)$ a une dérivée égale à $+\infty$, or la partie commune à plusieurs ensembles des singularités, s’ils sont mesurables B, est aussi un ensemble des singularités (p. 169), donc ${\mathcal {E}}^{ip}$ est l’ensemble des singularités de ${\mathrm {P} (x)}$.
Ainsi, dans tout ce qui précède, on peut remplacer $\mathrm {E} ^{ip}$, $\mathrm {E} ^{in}$, $\mathrm {E} ^{i}$ respectivement par les ensembles ${\mathcal {E}}^{ip}$, ${\mathcal {E}}^{in}$, ${{\mathcal {E}}^{i}={\mathcal {E}}^{ip}+{\mathcal {E}}^{in}}$, formés par les points en lesquels $f(x)$ a une dérivée déterminée en grandeur et signe égale respectivement à $+\infty$, à $-\infty$, à $+\infty$ ou à $-\infty$. Ces trois ensembles ${\mathcal {E}}^{ip}$, ${\mathcal {E}}^{in}$, ${\mathcal {E}}^{i}$ sont les ensembles des singularités respectivement de ${\mathrm {P} (x)}$, ${\mathrm {N} (x)}$, $f(x)$, lorsque ces fonctions ne sont pas absolument continues.
En particulier, signalons qu’une fonction continue à variation bornée, qui n’a en aucun point une dérivée bien déterminée en grandeur et signe qui soit égale à $+\infty$ ou à $-\infty$, est absolument continue.
Nous avons vu ensuite que le noyau ${\mathrm {AC} (x)}$ de $f(x)$ était donné par la formule
$\mathrm {AC} (x)=f(a)+\int _{a}^{x}\Lambda f\,\mathrm {d} x$
donc l’intégrale du second membre est la même pour chacun des quatre nombres dérivés ; ainsi (p. 160) ces quatre nombres dérivés sont égaux, exception faite tout au plus des points d’un ensemble de mesure nulle. Une fonction continue à variation bornée $f(x)$, a une dérivée presque partout et le noyau de $f(x)$ est donné par la formule
$\mathrm {AC} (x)=f(a)+\int _{a}^{x}f'(x)\,\mathrm {d} x$
Appliquons ce résultat à ${\mathrm {AC} (x)}$ qui est son propre noyau :
$\mathrm {AC} (x)=\mathrm {AC} (a)+\int _{a}^{x}\mathrm {AC} '(x)\,\mathrm {d} x$
${f'(x)}$ et ${\mathrm {AC} '(x)}$ sont donc égales presque partout comme ayant la même intégrale indéfinie, et par suite la dérivée de ${f(x)-\mathrm {AC} (x)}$ est presque partout nulle. En d’autres termes : la dérivée de la fonction des singularités $f_{s}(x)$ d’une fonction continue à variation bornée $f(x)$ est presque partout nulle. La réciproque est vraie ; d’une façon plus précise : une fonction continue à variation bornée et dont la dérivée est presque partout nulle, est sa propre fonction des singularités. En effet, d’après la formule qui précède, son noyau est identiquement nul.
Les trois théorèmes précédents peuvent, comme il a été indiqué en note, être étendus à toutes les fonctions à variation bornée continues ou discontinues. Pour cela, il suffira d’utiliser la formule de la page 163,
$\mathrm {F=S+C} =\mathrm {F} _{s}+\mathrm {AC} =\mathrm {S} +\mathrm {C} _{s}+\mathrm {AC}$
et de démontrer qu’une fonction des sauts a une dérivée nulle presque partout.
À chaque point de discontinuité $x_{0}$ de la fonction $\mathrm {S}$ considérée, attachons deux fonctions ${\varphi (x)}$ ; la première égale à
$\mathrm {S} (x_{0})-\mathrm {S} (x_{0}-0)$
$x\leqq x_{0}$
et nulle ailleurs ; la seconde égale à
$\mathrm {S} (x_{0}+0)-\mathrm {S} (x_{0})$
$x>x_{0}$
et nulle ailleurs. $\mathrm {S}$ est la somme de la série ${\textstyle \sum \varphi (x)}$. La variation totale ${\mathrm {VS} (x)}$ de $\mathrm {S}$ est, pour l’intervalle ${(a,x)}$, la somme de la série ${\textstyle \sum |\varphi (x)|}$ ; série qui est majorée par la série de constantes ${\textstyle \sum |\varphi (b)|}$.
Modifions chaque fonction ${|\varphi (x)|}$ à gauche de son point de discontinuité $x_{0}$, dans un intervalle ${(x_{0}-h,x_{0})}$, pour avoir une fonction ${\psi (x)}$ partout continue égale à ${|\varphi (x)|}$ en dehors de ${(x_{0}-h,x_{0})}$, et linéaire dans ${(x_{0}-h,x_{0})}$.
La fonction ${\Psi (x)=\textstyle \sum \psi (x)}$, étant définie par une série de fonctions continues, majorée par la série de constantes ${\textstyle \sum |\varphi (b)|}$ est continue ; elle est de plus non décroissante.
Soit $\mathrm {E}$ l’ensemble des points n’appartenant à aucun des intervalles ${(x_{0}-h,x_{0})}$ ; dans $\mathrm {E}$ on a
$\Psi (x)=\mathrm {VS} (x)$
dans le complémentaire $\mathrm {CE}$ de $\mathrm {E}$, on a
$\Psi (x)>\mathrm {VS} (x)$
puisque chaque fonction $\Psi$ est supérieure à la fonction ${|\varphi (x)|}$ correspondante dans l’intervalle où elles différent.
Les fonctions $\Psi$ et $\psi$ étant non décroissantes et continues ont simultanément des dérivées presque partout. En un point où toutes ces dérivées existent, on a, quel que soit l’entier positif $p$,
$\Psi =\psi _{1}+\psi _{2}+\ldots +\psi _{p}+\rho _{p}$
$\rho _{p}$ étant une fonction non décroissante, donc
$\Psi '=\sum _{1}^{p}\psi _{i}'+\rho _{p}'=\sum _{1}^{\infty }\psi '+\theta$
$\theta$ étant positif ou nul. D’où, d’après les théorèmes des pages 179 et 128,
${\begin{aligned}\Psi (b)\geqq \int _{a}^{b}\Psi '(x)\,\mathrm {d} x&=\sum _{1}^{\infty }\int _{a}^{b}\psi '\,\mathrm {d} x+\int _{a}^{b}\theta \,\mathrm {d} x\\&=\sum _{1}^{\infty }\psi (b)+\int _{a}^{b}\theta \,\mathrm {d} x=\Psi (b)+\int _{a}^{b}\theta \,\mathrm {d} x{\text{,}}\end{aligned}}$
et, puisque $\theta$ n’est jamais négatif, $\theta$ est presque partout nul. Mais, aux points de $\mathrm {E}$, toutes les dérivées $\psi '$ sont nulles ; donc presque partout dans $\mathrm {E}$, on a
$\Psi '=\textstyle \sum \psi '=0$
Or, d’après les relations signalées plus haut,
$\Psi (x)=\mathrm {VS} (x)$
aux points de $\mathrm {E}$, ${\Psi (x)>\mathrm {VS} (x)}$ aux points de $\mathrm {CE}$ ; en tout point de $\mathrm {E}$ la fonction ${\mathrm {VS} (x)}$ a des nombres dérivés à droite au plus égaux à ceux de ${\Psi (x)}$, donc presque partout dans $\mathrm {E}$ la variation totale $\mathrm {VS}$, et a fortiori $\mathrm {S}$, a une dérivée à droite et qui est égale à zéro. Mais la mesure de $\mathrm {CE}$ est au plus la somme ${\textstyle \sum h}$ que nous pouvons rendre arbitrairement petite. Donc ${\mathrm {S} (x)}$ admet presque partout zéro comme dérivée à droite. Une conclusion analogue s’applique évidemment aux dérivées à gauche ; le théorème est démontré.
Nous sommes maintenant en mesure de répondre à des questions antérieurement posées et de justifier certaines affirmations. Nous avons déjà, page 143, fait allusion à la propriété suivante : pour qu’une fonction d’une variable ${\mathrm {F} (x)}$ soit l’intégrale indéfinie d’une fonction inconnue ${f(x)}$, il faut et il suffit que ${\mathrm {F} (x)}$ soit absolument continue. La légitimation de cet énoncé est maintenant immédiate ; nous avons vu, en effet, que toute intégrale indéfinie est absolument continue, page 158, puis, page 183, que toute fonction absolument continue est une intégrale indéfinie.
De là résulte de suite que : pour qu’une fonction d’ensemble ou d’intervalle soit l’intégrale indéfinie d’une fonction inconnue ${f(x)}$, il faut et il suffit qu’elle soit complètement additive et absolument continue ; d’après ce que nous savons sur le passage d’une telle fonction à une fonction absolument continue d’une variable et sur le passage inverse.
Page 160, nous avons formulé ce problème : trouver une fonction connaissant son intégrale indéfinie. Prenons cette intégrale indéfinie sous la forme d’une fonction d’une variable $\mathrm {F(X)}$ ; $\mathrm {F(X)}$ est absolument continue, donc a une dérivée presque partout et est l’intégrale indéfinie de cette dérivée ; mais deux fonctions qui ont même intégrale indéfinie sont égales presque partout, donc la fonction dont l’intégration a donné $\mathrm {F(X)}$ est presque partout égale à $\mathrm {F'(X)}$. En d’autres termes : une intégrale indéfinie ${\mathrm {F} (x)}$ admet presque partout pour dérivée la fonction intégrée.
Si l’intégrale indéfinie est donnée comme fonction d’ensemble ou d’intervalle, le problème n’en est pas moins résolu. Examinons ce que devient alors l’opération de dérivation. Que $h$ soit positif ou négatif, le rapport ${r[\mathrm {F} (x),x_{0},x_{0}+h]}$ est égal au quotient de la valeur de la fonction considérée $\Psi$, pour l’intervalle $\delta$ d’extrémités $x_{0}$ et ${x_{0}+h}$, par la mesure de cet intervalle
$r[\mathrm {F} (x),x_{0},x_{0}+h]={\frac {\Psi (\delta )}{m(\delta )}}$
C’est donc par la considération de tels rapports qu’on obtiendra la dérivée ; avec la dérivée ordinaire, nous serions conduits à utiliser les deux familles d’intervalles ${(x_{0}-h,x_{0})}$, ${(x_{0},x_{0}+h)}$ ayant le point étudié pour extrémité ou origine. Mais il est mieux de remarquer que la dérivée peut tout aussi bien se définir à l’aide des intervalles ${(x_{0}-h,x_{0}+k)}$, car on a
${\begin{alignedat}{2}r[\mathrm {F} (x),x_{0}-h,x_{0}+k]&=&&{\frac {h}{h+k}}\,r[\mathrm {F} (x),x_{0}-h,x_{0}]\\&&+&{\frac {k}{h+k}}\,r[\mathrm {F} (x),x_{0},x_{0}+k]{\text{,}}\end{alignedat}}$
ce qui montre que la valeur de $r$ du premier membre est comprise entre celles qui figurent au second membre. Nous sommes ainsi conduits à dire : pour dériver en un point $x_{0}$ la fonction d’intervalles ${\Phi (\delta )}$, nous cherchons la limite du rapport ${\frac {\Phi (\delta )}{m(\delta )}}$ quand ${m(\delta )}$ tend vers zéro, $\delta$ désignant un intervalle variable contenant $x_{0}$.
Cette définition ne laisse rien à désirer pour une fonction d’intervalle, mais pour une fonction d’ensemble on voudrait pouvoir prendre la limite de ${\frac {\Psi (\mathrm {E} )}{m(\mathrm {E} )}}$ quand ${m(\mathrm {E} )}$ tend vers zéro et que tout l’ensemble $\mathrm {E}$ tend vers $x_{0}$ ; c’est-à-dire que $\mathrm {E}$ est contenu dans un intervalle $\Delta$ contenant $x_{0}$ et dont la mesure tend vers zéro. Si $\mathrm {E}$ n’était assujetti qu’à ces conditions, on pourrait le prendre, en particulier, réduit au point $x_{0}$ et à un intervalle $\delta$ ne contenant pas $x_{0}$ ; il faudrait donc que la dérivée apparaisse comme la limite de
${\frac {\Psi (\delta )}{m(\delta )}}=r[\mathrm {F} (x),x_{0}+h,x_{0}+h+k]$
quand $h$ et $k$ tendent vers zéro, même par valeurs de même signe. D’après le théorème de la moyenne, le second membre est compris entre les valeurs extrêmes prises dans ${(x_{0}+h,x_{0}+h+k)}$ par la fonction $f$ dont $\mathrm {F}$ est l’intégrale indéfinie. Soit d’ailleurs un point ${x_{0}+h}$ voisin de $x_{0}$ et en lequel $\mathrm {F'}$ existe, on pourra alors trouver ${(x_{0}+h,x_{0}+h+k)}$ tel que $hk$ soit positif et aussi petit que l’on veut et que $r[\mathrm {F} (x),x_{0}+h,x_{0}+h+k]$ soit aussi voisin de ${\mathrm {F} '(x_{0}+h)}$ qu’on le voudra. Donc le procédé que nous examinons ne réussira, avec tous les intervalles $\delta$ ou tous les ensembles $\mathrm {E}$, que si $\mathrm {F'}$ est continue en $x_{0}$ dans l’ensemble des points où elle existe. D’ailleurs, dans ce cas, la fonction $f$ dont $\mathrm {F}$ est l’intégrale indéfinie pourra être supposée continue en $x_{0}$ — puisqu’elle n’est assujettie qu’à la condition d’être presque partout égale à $\mathrm {F'}$ — et par suite le procédé de définition de la dérivée à l’aide de tous les ensembles dont tous les points tendent vers $x_{0}$, peut bien alors être utilisé.
Hors ce cas banal, il faut donc particulariser la famille des ensembles $\mathrm {E}$ employés, et de façon à diminuer l’influence des points en lesquels $f$ diffère beaucoup de ${\mathrm {F'} (x_{0})}$. Pour cela, $\varepsilon$ ayant été arbitrairement choisi positif, soit $\mathrm {E} _{i}$ l’ensemble des points
$\mathrm {E} [i\varepsilon \leqq f(x)<(i+1)\varepsilon ]$
soit $f_{i}$ la fonction égale à $f$ aux points de $\mathrm {E} _{i}$ et nulle ailleurs, soit enfin ${g_{i}=f-f_{i}}$. Un ensemble de mesure nulle de points étant excepté, les intégrales indéfinies ${\int f_{i}\,\mathrm {d} x}$ et ${\int |g_{i}|\,\mathrm {d} x}$ ont des dérivées, au sens ordinaire du mot, respectivement égales aux fonctions $f_{i}$ et $|g_{i}|$. Alors, si le point non exceptionnel $x_{0}$ appartient à $\mathrm {E} _{l}$, on a
${\frac {\int _{\mathrm {E} }f\,\mathrm {d} x}{m(\mathrm {E} )}}={\frac {\int _{\mathrm {E} }f_{l}\,\mathrm {d} x}{m(\mathrm {E} )}}+{\frac {\int _{\mathrm {E} }g_{l}\,\mathrm {d} x}{m(\mathrm {E} )}}$
$\left\vert {\frac {\int _{\mathrm {E} }f\,\mathrm {d} x}{m(\mathrm {E} )}}-{\frac {\int _{\mathrm {E} }f_{l}\,\mathrm {d} x}{m(\mathrm {E} )}}\right\vert \leqq {\frac {\int _{\mathrm {E} }|g_{l}|\,\mathrm {d} x}{m(\mathrm {E} )}}\leqq {\frac {\int _{\Delta }|g_{l}|\,\mathrm {d} x}{m(\Delta )}}\,{\frac {m(\Delta )}{m(\mathrm {E} )}}$
$\Delta$ désignant le plus petit intervalle contenant à la fois $\mathrm {E}$ et $x_{0}$. Le premier rapport du second membre tend vers la dérivée de ${\textstyle \int |g_{l}|\,\mathrm {d} x}$ en $x_{0}$, laquelle est nulle par hypothèse. Donc nous n’aurons plus à nous occuper que de l’influence de $f_{l}$, c’est-à-dire des points de $\mathrm {E} _{l}$, si le rapport ${\frac {m(\Delta )}{m(\mathrm {E} )}}$ n’augmente pas indéfiniment. D’où la définition : Nous appellerons dérivée en $x_{0}$ d’une fonction d’ensemble $\Psi$ la limite, si elle existe, du rapport ${\frac {\Psi (\mathrm {E} )}{m(\mathrm {E} )}}$ pour des ensembles $\mathrm {E}$ appartenant à une famille régulière. On entend par là qu’un entier positif $k$ ayant été arbitrairement choisi, on ne considérera un ensemble $\mathrm {E}$ que si, $\Delta$ étant le plus petit intervalle contenant $\mathrm {E}$ et $x_{0}$, on a
$m(\mathrm {E} )>k\,m(\Delta )$
et que l’on fera varier $\mathrm {E}$ de façon que $m(\Delta )$ tende vers zéro.
Nous venons de voir qu’avec ce choix d’ensemble $\mathrm {E}$ les deux rapports incrémentiels ${\frac {\int _{\mathrm {E} }f\,\mathrm {d} x}{m(\mathrm {E} )}}$, ${\frac {\int _{\mathrm {E} }f_{l}\,\mathrm {d} x}{m(\mathrm {E} )}}$ avaient les mêmes limites presque partout. Étudions le second. Soit $\mathrm {F} _{l}$ l’ensemble des points communs à $\mathrm {E}$ et $\mathrm {E_{l}}$ et soit ${\mathrm {G} _{l}=\mathrm {E} -\mathrm {F} _{l}}$ ; on a
${\frac {\int _{\mathrm {E} }f_{l}\,\mathrm {d} x}{m(\mathrm {E} )}}={\frac {\int _{\mathrm {F} _{l}}f_{l}\,\mathrm {d} x}{m(\mathrm {E} )}}={\frac {\int _{\mathrm {F} _{l}}f_{l}\,\mathrm {d} x}{m(\mathrm {F} _{l})}}\,{\frac {m(\mathrm {F} _{l})}{m(\mathrm {E} )}}$
Le premier facteur du dernier membre est compris entre $l\varepsilon$ et ${(l+1)\varepsilon }$ ; quant au second, il s’écrit encore ${1-{\frac {m(\mathrm {G} _{l})}{m(\mathrm {E} )}}}$. Or, si $h_{l}$ désigne la fonction nulle dans $\mathrm {E} _{l}$ et égale à un en dehors de $\mathrm {E} _{l}$, on a
${\frac {m(\mathrm {G} _{l})}{m(\mathrm {E} )}}\leqq {\frac {m(\mathrm {G} _{l})}{k\,m(\Delta )}}={\frac {\int _{\mathrm {G} _{l}}h_{l}\,\mathrm {d} x}{k\,m(\Delta )}}\leqq {\frac {1}{k}}\,{\frac {\int _{\Delta }h_{l}\,\mathrm {d} x}{m(\Delta )}}$
En dehors d’un ensemble exceptionnel de mesure nulle, toutes les intégrales indéfinies ${\textstyle \int h_{i}\,\mathrm {d} x}$ ont des dérivées égales aux $h_{i}$ ; si donc $x_{0}$ a été pris en dehors aussi de ce nouvel ensemble exceptionnel, le dernier membre des relations précédentes tend vers zéro ; donc, le rapport incrémentiel ${\frac {\int _{\mathrm {E} }f\,\mathrm {d} x}{m(\mathrm {E} )}}$ a toutes ses limites comprises entre $l\varepsilon$ et ${(l+1)\varepsilon }$, c’est-à-dire différentes de $f(x_{0})$ au plus de $\varepsilon$. Mais, comme $\varepsilon$ est arbitrairement petit, si l’on prend $x_{0}$ en dehors de la somme des ensembles exceptionnels attachés aux valeurs ${\varepsilon =1}$, ${\frac {1}{2}}$, ${\frac {1}{3}}$, ${\frac {1}{4}}$, … c’est-à-dire en dehors d’un ensemble de mesure nulle, la dérivée de la fonction d’ensemble ${\textstyle \int _{\mathcal {E}}f\,\mathrm {d} x}$ sera $f(x_{0})$. Donc une intégrale indéfinie fonction d’ensemble a presque partout pour dérivée la fonction intégrée.
Nous avons donc le même énoncé pour les trois espèces d’intégrale indéfinie ; mais il faut bien remarquer que, sous sa dernière forme, il exprime une propriété bien plus précise que sous les deux premières formes qui étaient équivalentes. Si l’intégrale indéfinie ${\Psi (\mathrm {E} )}$ a une dérivée au point $x_{0}$, $\mathrm {F(X)}$ en a une aussi et ces deux dérivées sont égales ; mais la réciproque n’a pas lieu.
Il y a donc lieu de traduire en un énoncé relatif à $\mathrm {F(X)}$ le résultat que nous venons d’obtenir ; des développements relatifs au calcul de ${\Psi (\mathrm {E} )}$ connaissant $\mathrm {F(X)}$ résultent de suite cet énoncé : $\mathrm {F(X)}$ étant une fonction absolument continue dans ${(a,b)}$ et $x_{0}$ un point de ${(a,b)}$, on enferme $x_{0}$ dans un intervalle $\Delta$ et l’on choisit, dans $\Delta$, des intervalles non empiétants ${(\alpha _{i},\beta _{i})}$ tels que l’on ait
$\textstyle \sum (\beta _{i}-\alpha _{i})\geqq k\,m(\Delta )$
$k$ étant un nombre positif fixe. Alors, presque partout on a
$\mathrm {F'} (x_{0})={\underset {\mathrm {mes} (\Delta )\to 0}{\operatorname {limite} }}{\frac {\sum [\mathrm {F} (\beta _{i})-\mathrm {F} (\alpha _{i})]}{\sum [\beta _{i}-\alpha _{i}]}}$
On peut donner à cet énoncé la forme suivante : $f(x)$ étant une fonction sommable, la fonction ${\int \left\vert f(x)-f(x_{0})\right\vert \mathrm {d} x}$ admet une dérivée nulle pour ${x=x_{0}}$, pourvu que $x_{0}$ ne soit pas pris dans un certain ensemble exceptionnel de mesure nulle.
Montrons, en effet, qu’il y a identité entre cet ensemble exceptionnel ${\mathcal {E}}$ et celui ${\mathcal {E}}_{1}$ des points $x_{0}$ en lesquels la fonction d’ensemble intégrale indéfinie de $f(x)$ n’admet pas une dérivée égale à $f(x_{0})$.
Supposons, en effet, que $x_{0}$ soit point de ce dernier ensemble ${\mathcal {E}}_{1}$, c’est-à-dire que l’on puisse trouver des ensembles $\mathrm {E}$ dont tous les points se rapprochent indéfiniment de $x_{0}$, qui appartiennent à une famille régulière de paramètre $k$ et pour lesquels on ait
$\left\vert {\frac {\int _{\mathrm {E} }f(x)\,\mathrm {d} x}{m(\mathrm {E} )}}-f(x_{0})\right\vert >\alpha$
$\alpha$ étant un nombre fixe non nul.
On a donc, a fortiori,
${\frac {\int _{\mathrm {E} }|f(x)-f(x_{0})|\,\mathrm {d} x}{m(\mathrm {E} )}}\geqq \left\vert {\frac {\int _{\mathrm {E} }f(x)\,\mathrm {d} x-\int _{\mathrm {E} }f(x_{0})\,\mathrm {d} x}{m(\mathrm {E} )}}\right\vert >\alpha$
et, par suite, si $\Delta$ est le plus petit intervalle contenant ${\mathrm {E} +x_{0}}$,
${\begin{aligned}{\frac {\int _{\Delta }|f(x)-f(x_{0})|\,\mathrm {d} x}{m(\Delta )}}&\geqq {\frac {\int _{\mathrm {E} }|f(x)-f(x_{0})|\,\mathrm {d} x}{m(\Delta )}}\\&={\frac {\int _{\mathrm {E} }|f(x)-f(x_{0})|\,\mathrm {d} x}{m(\mathrm {E} )}}\,{\frac {m(\mathrm {E} )}{m(\Delta )}}>k\alpha {\text{ ;}}\end{aligned}}$
ce qui montre que $x_{0}$ est point de ${\mathcal {E}}$.
Inversement, supposons $x_{0}$ point de ${\mathcal {E}}$, alors on peut trouver une suite d’intervalles $\Delta$, enfermant chacun $x_{0}$ et de longueurs décroissantes et tendant vers zéro, tels que pour chacun d’eux on ait
${\frac {\int _{\Delta }|f(x)-f(x_{0})|\,\mathrm {d} x}{m(\Delta )}}>\alpha$
$\alpha$ étant un certain nombre positif.
Partageons les points de $\Delta$ en deux ensembles $\mathrm {E} _{p}$ et $\mathrm {E} _{n}$ dans lesquels la différence ${f(x)-f(x_{0})}$ est respectivement positive et non positive et ne conservons qu’une suite partielle des $\Delta$ de façon que
${\frac {\int _{\mathrm {E} _{p}}\left[f(x)-f(x_{0})\right]\,\mathrm {d} x}{m(\Delta )}}$
${\frac {\int _{\mathrm {E} _{n}}\left[f(x)-f(x_{0})\right]\,\mathrm {d} x}{m(\Delta )}}$
tendent vers deux limites déterminées $\beta$ et $-\gamma$, et que l’on ait
${\frac {\int _{\mathrm {E} _{p}}\left[f(x)-f(x_{0})\right]\,\mathrm {d} x}{m(\Delta )}}>{\frac {\beta }{2}}$
$<{\frac {\gamma }{4}}$
suivant que $\beta$ est positif ou nul, et
${\frac {\int _{\mathrm {E} _{n}}\left[f(x)-f(x_{0})\right]\,\mathrm {d} x}{m(\Delta )}}<-{\frac {\gamma }{2}}$
$>-{\frac {\beta }{4}}$
suivant que $\gamma$ est positif ou nul.
Remarquons, au reste, que ${\beta -\gamma }$ est au moins égal à $\alpha$, donc que $\beta$ et $\gamma$ ne sont jamais nuls à la fois, et que
$m(\mathrm {E} _{n})+m(\mathrm {E} _{p})=m(\Delta )$
donc que l’un au moins des deux ensembles $\mathrm {E} _{n}$ et $\mathrm {E} _{p}$ appartient à la famille régulière d’ensemble de paramètre ${k={\frac {1}{4}}}$.
Si $\mathrm {E} _{p}$ est régulier et ${\beta >0}$, en prenant ${\mathrm {E} \equiv \mathrm {E} _{p}}$, on a
${\frac {\int _{\mathrm {E} }f(x)\,\mathrm {d} x}{m(\mathrm {E} )}}>f(x_{0})+{\frac {\beta }{2}}\,{\frac {m(\Delta )}{m(\mathrm {E} )}}>f(x_{0})+{\frac {\beta }{2}}$
Si ces deux conditions ne sont pas réalisées à la fois et si $\mathrm {E} _{n}$ est régulier et ${\gamma >0}$, on prend ${\mathrm {E} \equiv \mathrm {E} _{n}}$,
${\frac {\int _{\mathrm {E} }f(x)\,\mathrm {d} x}{m(\mathrm {E} )}}<f(x_{0})-{\frac {\gamma }{2}}\,{\frac {m(\Delta )}{m(\mathrm {E} )}}<f(x_{0})-{\frac {\gamma }{2}}$
Si $\mathrm {E} _{p}$ est irrégulier, ${\beta >0}$, et si ${\gamma =0}$, $\mathrm {E} _{n}$ est alors régulier ; nous prendrons ${\mathrm {E} \equiv \Delta }$ et nous aurons
${\begin{aligned}{\frac {\int _{\mathrm {E} }f(x)\,\mathrm {d} x}{m(\mathrm {E} )}}&={\frac {\int _{\mathrm {E} _{p}}f(x)\,\mathrm {d} x}{m(\Delta )}}+{\frac {\int _{\mathrm {E} _{n}}f(x)\,\mathrm {d} x}{m(\Delta )}}\\&>\left[f(x_{0}){\frac {m(\mathrm {E} _{p})}{m(\Delta )}}+{\frac {\beta }{2}}\right]+\left[f(x_{0}){\frac {m(\mathrm {E} _{n})}{m(\Delta )}}-{\frac {\beta }{4}}\right]\\&=f(x_{0})+{\frac {\beta }{4}}{\text{.}}\end{aligned}}$
Enfin, il ne reste plus que le cas où $\mathrm {E} _{p}$ étant régulier et $\mathrm {E} _{n}$ irrégulier, ${\beta =0}$ ; avec ${\mathrm {E} \equiv \Delta }$, on a alors
${\frac {\int _{\mathrm {E} }f(x)\,\mathrm {d} x}{m(\mathrm {E} )}}<f(x_{0})-{\frac {\gamma }{4}}$
Si donc ${\lambda >0}$ est plus petit à la fois que ${\frac {\beta }{4}}$ et ${\frac {\gamma }{4}}$, on a toujours
$\left\vert {\frac {\int _{\mathrm {E} }f(x)\,\mathrm {d} x}{m(\mathrm {E} )}}-f(x_{0})\right\vert >\lambda$
La suite de ces ensembles $\mathrm {E}$, qui appartiennent à la famille régulière pour ${k={\frac {1}{4}}}$, permet de constater que $x_{0}$ appartient à ${\mathcal {E}}_{1}$.
Au cours des raisonnements précédents, nous avons rencontré une notion qu’il importe d’expliciter. Soit un ensemble mesurable $\mathrm {E}$, le rapport ${\frac {m(e)}{\beta -\alpha }}$, de la mesure de la partie $e$ de $\mathrm {E}$ située dans un intervalle ${(\alpha ,\beta )}$ à la mesure de cet intervalle, est appelé la densité moyenne de $\mathrm {E}$ dans ${(\alpha ,\beta )}$. Si la densité moyenne de $\mathrm {E}$ dans les intervalles ${(\alpha ,\beta )}$ contenant un point $x_{0}$, tend vers une limite déterminée quand ${\beta -\alpha }$ tend vers zéro, cette limite est dite la densité en $x_{0}$ ; $x_{0}$ n’a pas besoin d’être un point de $\mathrm {E}$ pour que cette définition s’applique.
Soit $\varphi$ la fonction mesurable égale à un aux points de $\mathrm {E}$ et nulle ailleurs, la densité moyenne de $\mathrm {E}$ dans ${(\alpha ,\beta )}$ est le rapport incrémentiel ${\frac {\int _{\alpha }^{\beta }\varphi \,\mathrm {d} x}{\beta -\alpha }}$, donc le théorème sur la dérivation de ${\textstyle \int _{a}^{x}\varphi \,\mathrm {d} x}$ donne : la densité d’un ensemble mesurable $\mathrm {E}$ est presque partout égale à un aux points de $\mathrm {E}$, presque partout égale à zéro en dehors de $\mathrm {E}$.
On peut regarder cette propriété comme le fondement géométrique des théorèmes sur la dérivation des intégrales définies et l’on peut, pour établir ces théorèmes, suivre une marche exactement inverse de celle suivie ici, c’est-à-dire prouver en premier lieu le théorème sur la densité. Nous nous contenterons de déduire de ce théorème une proposition intéressante concernant une fonction mesurable quelconque $f$, que nous allons obtenir en reprenant les notations utilisées pour étudier la dérivation des fonctions d’ensemble (p. 190).
Sauf aux points d’un ensemble exceptionnel de mesure nulle, les différents ensembles $\mathrm {E} _{i}$ ont une densité égale à un ou à zéro, suivant qu’il s’agit de la densité en un point de $\mathrm {E} _{i}$ ou non ; on peut supposer cet ensemble exceptionnel choisi de manière à convenir pour les valeurs 1, 1/2, 1/3, …, données à $\varepsilon$. $x_{0}$ ayant été choisi en dehors de cet ensemble exceptionnel, soit ${l(\varepsilon )}$ l’indice de celui des $\mathrm {E} _{l}$ correspondant à $\varepsilon$, qui contient $x_{0}$ ; alors, en $x_{0}$, pour chacune des valeurs indiquées de $\varepsilon$, $\mathrm {E} _{l(\varepsilon )}$ a une densité égale à un, les autres $\mathrm {E} _{i}$ ont une densité nulle.
Choisissons un intervalle $\Delta _{1}$ de centre $x_{0}$ et assez petit pour que, dans tout intervalle contenu dans $\Delta _{1}$ et contenant $x_{0}$, la densité moyenne de $\mathrm {E} _{l(\varepsilon )}$ soit supérieure à ${1-\varepsilon _{1}}$, $\varepsilon _{1}$ étant un nombre, compris entre zéro et un, arbitrairement choisi. Soit ${1-\varepsilon _{1}+\eta _{1}}$ la limite inférieure de cette densité moyenne dans les intervalles considérés.
Choisissons un nombre $\varepsilon _{2}$ inférieur à la fois à ${\frac {\varepsilon _{1}}{2}}$ et à $\eta _{1}$, et soit $\Delta _{2}$ un intervalle de milieu $x_{0}$ de longueur inférieure à ${\frac {\Delta _{1}}{4}}$ et tel que, dans tout intervalle contenu dans $\Delta _{2}$ et contenant $x_{0}$, la densité moyenne de $\mathrm {E} _{l\left({\frac {1}{2}}\right)}$ soit supérieure à ${1-\varepsilon _{2}}$. On appellera alors
$1-\varepsilon _{2}+\eta _{2}$
la limite inférieure de cette densité moyenne et, à partir de $\eta _{2}$ et $\varepsilon _{2}$, comme tout à l’heure à partir de $\eta _{1}$ et $\varepsilon _{1}$, on définira, par l’intermédiaire de $\mathrm {E} _{l\left({\frac {1}{3}}\right)}$ un nombre $\varepsilon _{3}$ et un intervalle $\Delta _{3}$. Et ainsi de suite.
Soit $\mathrm {E}$ l’ensemble formé par la partie de $\mathrm {E} _{l(1)}$ extérieure à $\Delta _{2}$ et contenue dans $\Delta _{1}$, de la partie de $\mathrm {E} _{l\left({\frac {1}{2}}\right)}$ extérieure à $\Delta _{3}$ et contenue dans $\Delta _{2}$, …. Il est clair que $f(x)$ est continue en $x_{0}$ sur $\mathrm {E}$ ; nous allons constater que $\mathrm {E}$ est de densité un au point $x_{0}$.
Pour cela, raisonnons sur un ensemble ${\mathcal {E}}$ qui serait constitué dans ${\Delta _{1}-\Delta _{2}}$ par $\mathrm {E} _{l(1)}$ et qui, dans $\Delta _{2}$, serait tel que, dans tout intervalle contenu dans $\Delta _{2}$ et contenant $x_{0}$, sa densité moyenne surpasse ${1-\varepsilon _{2}}$. On pourrait, par exemple, prendre ${\mathcal {E}}$ identique à $\mathrm {E} _{l\left({\frac {1}{2}}\right)}$ dans $\Delta _{2}$.
Les intervalles contenus dans $\Delta _{1}$ et contenant $x_{0}$ sont, ou bien contenus dans $\Delta _{2}$, et alors nous connaissons pour eux la limite inférieure ${1-\varepsilon _{2}}$ de leur densité moyenne, ou non contenus dans $\Delta _{2}$. Soit $\mathrm {L}$ un tel intervalle, $l$ sa partie située dans $\Delta _{2}$. Dans $\mathrm {L}$, $\mathrm {E} _{l(1)}$ avait une mesure au moins égale à ${(1-\varepsilon _{1}+\eta _{1})\,m(\mathrm {L} )}$ ; mais tout $l$ peut faire partie de $\mathrm {E} _{l(1)}$ et, dans $l$, ${\mathcal {E}}$ a une mesure supérieure à ${(1-\varepsilon _{2})\,m(l)}$ ; finalement, dans $\mathrm {L}$, ${\mathcal {E}}$ a une mesure supérieure à
$(1-\varepsilon _{1}+\eta _{1})\,m(\mathrm {L} )-m(l)+(1-\varepsilon _{2})\,m(l)$
donc une densité moyenne supérieure à
$1-\varepsilon _{1}+\eta _{1}-\varepsilon _{2}\,{\frac {m(l)}{m(\mathrm {L} )}}>1-\varepsilon _{1}+\eta _{1}-\varepsilon _{2}>1-\varepsilon _{1}$
Or, soit ${\mathcal {E}}_{2}$ l’ensemble ${\mathcal {E}}$ identique à $\mathrm {E} _{l\left({\frac {1}{2}}\right)}$ dans $\Delta _{2}$, soit ${\mathcal {E}}_{i}$ l’ensemble identique à ${\mathcal {E}}_{i-1}$ à l’extérieur de $\Delta _{i}$, et identique à $\mathrm {E} _{l\left({\frac {1}{i}}\right)}$ dans $\Delta _{i}$. Il est clair maintenant que les densités moyennes de ${\mathcal {E}}_{2}$, ${\mathcal {E}}_{3}$, …, sont toutes supérieures à ${1-\varepsilon _{1}}$ dans les intervalles contenant $x_{0}$, contenus dans $\Delta _{1}$ et contenant $\Delta _{2}$ ; que les densités moyennes de ${\mathcal {E}}_{3}$, ${\mathcal {E}}_{4}$, …, sont toutes supérieures à ${1-\varepsilon _{2}}$ dans les intervalles contenant $x_{0}$, contenus dans $\Delta _{2}$ et contenant $\Delta _{3}$, ….
Donc, la densité moyenne de $\mathrm {E}$ est au moins égale à ${1-\varepsilon _{1}}$, ${1-\varepsilon _{2}}$, …, respectivement dans les diverses espèces d’intervalles considérés ; la densité de $\mathrm {E}$ au point $x_{0}$ est donc égale à un et celle du complémentaire $\mathrm {CE}$ de $\mathrm {E}$ est par suite nulle, car la somme des densités moyennes, dans un même intervalle, de deux ensembles complémentaires est bien évidemment égale à un. Ainsi :
Une fonction mesurable $f(x)$ est continue en chaque point $x_{0}$ pourvu qu’on néglige les points d’un ensemble de densité nulle en $x_{0}$, exception faite toutefois des points $x_{0}$ appartenant à un ensemble exceptionnel de mesure nulle.
De là résulte en particulier que les dérivées des fonctions ${\mathrm {F} (x)}$ à variation bornée, dont l’existence a été démontrée, sont presque partout continues aux ensembles de densité nulle près. Chacun pourra étudier les rapports entre cette continuité et la possibilité de dériver les fonctions d’ensemble intégrales indéfinies ; sans nous y arrêter, nous allons traiter rapidement de la rectification des courbes, ce qui va nous ramener aux procédés du début de ce paragraphe.

#### III. — La rectification des courbes.

Soit une courbe donnée par les fonctions continues $x(t)$, $y(t)$, $z(t)$ définies dans un certain intervalle ${(a,b)}$. En appliquant au radical qui représente la longueur d’une corde de cette courbe, l’inégalité
$|l|\leqq {\sqrt {l^{2}+m^{2}+n^{2}}}\leqq |l|+|m|+|n|$
nous avons conclu, au Chapitre IV, que la courbe est rectifiable si, et seulement si, $x(t)$, $y(t)$, $z(t)$ sont à variation bornée ; et que, lorsque cette condition est réalisée, l’arc donné par les valeurs de $t$ d’un intervalle $\delta$ a une longueur comprise entre la variation totale ${\mathrm {V} x(\delta )}$ de $x$ dans $\delta$ [ou ${\mathrm {V} y(\delta )}$, ou ${\mathrm {V} z(\delta )}$], et la somme ${\mathrm {V} x(\delta )+\mathrm {V} y(\delta )+\mathrm {V} z(\delta )}$.
Si $s(t)$ est la longueur de l’arc depuis ${t=a}$ jusqu’à $t$ quelconque, on peut écrire cela :
$\mathrm {V} x(\delta )\leqq \mathrm {V} s(\delta )\leqq \mathrm {V} x(\delta )+\mathrm {V} y(\delta )+\mathrm {V} z(\delta )$
Appliquons cette double inégalité à tous les intervalles d’un ensemble $\mathrm {I}$ d’intervalles non empiétants, et ajoutons ; nous obtenons un résultat que l’on peut noter
$\mathrm {V} x(\mathrm {I} )\leqq \mathrm {V} s(\mathrm {I} )\leqq \mathrm {V} x(\mathrm {I} )+\mathrm {V} y(\mathrm {I} )+\mathrm {V} z(\mathrm {I} )$
Faisons maintenant varier $\mathrm {I}$ de façon que ${m(\mathrm {I} )}$ tende vers zéro, nous voyons que : $s(t)$ est absolument continue si, et seulement si $x(t)$, $y(t)$, $z(t)$ le sont. L’ensemble des singularités de $s(t)$ est la somme des ensembles des singularités de $x(t)$, $y(t)$, $z(t)$.
Nous pouvons donc prendre l’ensemble ${\mathcal {E}}_{s}$ des valeurs de $t$ où $x(t)$, $y(t)$, $z(t)$, $s(t)$ n’ont pas, toutes quatre, des dérivées finies et déterminées comme un ensemble de singularités.
Ceci étant, enfermons ${\mathcal {E}}_{s}$ dans un ensemble $\mathrm {A} ^{i}$ d’intervalles non empiétants ; puis, $\varepsilon$ étant arbitrairement choisi positif, enfermons dans un ensemble $\mathrm {A} _{p}$ d’intervalles non empiétants l’ensemble $\mathrm {E} _{p}$ des points en lesquels on a
$p\varepsilon \leqq {\sqrt {{x'}^{2}+{y'}^{2}+{z'}^{2}}}<(p+1)\varepsilon$
et couvrons ${(a,b)}$, à partir de $a$, à l’aide d’une chaîne d’intervalles choisis parmi les suivants :
a. À un point $t_{0}$ de ${\mathcal {E}}_{s}$ attachons l’intervalle d’origine $t_{0}$ et dont l’extrémité coïncide avec l’extrémité de celui des intervalles constituant $\mathrm {A} ^{i}$ qui contient $t_{0}$ ;
b. À un point $t_{0}$ de $\mathrm {E} _{p}$ attachons un intervalle d’origine $t_{0}$, contenu dans celui des intervalles constituant $\mathrm {E} _{p}$ qui contient $t_{0}$, et tel que la longueur de la corde fournie par cet intervalle $\delta$ diffère de
$m(\delta ){\sqrt {x'(t_{0})^{2}+y'(t_{0})^{2}+z'(t_{0})^{2}}}$
de moins de $\varepsilon$.
Servons-nous de cette chaîne, ou plutôt du polygone inscrit correspondant, pour calculer une valeur approchée de $s(b)$. La contribution des intervalles de l’espèce a est au plus ${\mathrm {V} _{s}(\mathrm {A} ^{i})}$ ; d’ailleurs, elle sera aussi voisine qu’on le voudra de cette valeur si l’on modifie la construction de la chaîne comme il suit : on opérera comme il a été indiqué seulement à l’extérieur des $p$ premiers intervalles, $\delta _{1}$, $\delta _{2}$, …, $\delta _{p}$ constituant $\mathrm {A} ^{i}$ et l’on subdivisera $\delta _{2}$, …, $\delta _{p}$ en intervalles partiels extrêmement petits. Moyennant cette modification nous pourrons donc supposer, en choisissant convenablement les $\mathrm {A} ^{i}$, que la contribution des intervalles de l’espèce a diffère aussi peu qu’on le veut de la limite inférieure de ${\mathrm {V} _{s}(\mathrm {A} ^{i})}$, quand on fait tendre ${m(\mathrm {A} ^{i})}$ vers zéro, c’est-à-dire de la valeur ${s_{s}(b)}$ que prend pour ${t=b}$ la fonction des singularités ${s_{s}(t)}$ de ${s(t)}$.
D’autre part, la contribution des intervalles de l’espèce b est comprise entre
$\textstyle \sum \left[|p|-2\right]\varepsilon \,m(\alpha _{p})$
$\textstyle \sum \left[|p|+2\right]\varepsilon \,m(\mathrm {A} _{p})$
$\alpha _{p}$ désignant la partie de $\mathrm {A} _{p}$ non couverte par $\mathrm {A} ^{i}$ et les autres $\mathrm {A} _{p}$. Mais nous avons vu que, moyennant un choix convenable de $\varepsilon$, de ${m(\mathrm {A} ^{i})}$ et des ${m(\mathrm {A} _{p})}$, tous pris suffisamment petits, les deux sommes précédentes diffèrent aussi peu qu’on le veut de
$\int _{\mathcal {E}}{\sqrt {{x'}^{2}+{y'}^{2}+{z'}^{2}}}\,\mathrm {d} t$
${\mathcal {E}}$ étant l’ensemble des points de ${(a,b)}$ qui n’appartiennent pas à ${\mathcal {E}}_{s}$. Avant de conclure remarquons que si nous avions formé ${\mathcal {E}}_{s}$ à l’aide des points où l’un des nombres $x'$, $y'$, $z'$ aurait été infini de signe bien déterminé, et ${\mathcal {E}}$ des points où $x'$, $y'$, $z'$ auraient été tous trois finis et déterminés, cela n’aurait changé ni la limite inférieure de ${\mathrm {V} _{s}(\mathrm {A} ^{i})}$, ni l’intégrale ${\int _{\mathcal {E}}{\sqrt {{x'}^{2}+{y'}^{2}+{z'}^{2}}}\,\mathrm {d} t}$, donc :
Si l’on désigne par ${\mathcal {E}}$ l’ensemble des valeurs de $t$ pour lesquelles $x'(t)$, $y'(t)$, $z'(t)$ sont finies et déterminées, et par ${\mathcal {E}}_{s}$ l’ensemble des valeurs de $t$ pour lesquelles l’une au moins des dérivées $x'(t)$, $y'(t)$, $z'(t)$ a une valeur infinie de signe déterminé, la longueur de la courbe rectifiable $x(t)$, $y(t)$, $z(t)$ est égale à
$\int _{\mathcal {E}}{\sqrt {{x'}^{2}+{y'}^{2}+{z'}^{2}}}\,\mathrm {d} t+s_{s}(b)$
${s_{s}(b)}$ étant la limite inférieure de la somme des longueurs
d’arcs de la courbe contenant tous les points de cette courbe donnés par les valeurs de ${\mathcal {E}}_{s}''$.
Si l’on corrige $s(t)$ de sa fonction des singularités, on a une fonction absolument continue
$\mathrm {AC} s(t)=s(t)-s_{s}(t)=\int _{0}^{t}{\sqrt {{x'}^{2}+{y'}^{2}+{z'}^{2}}}\,\mathrm {d} t$
qui a presque partout pour dérivée ${\sqrt {{x'}^{2}+{y'}^{2}+{z'}^{2}}}$ ; mais ${s_{s}(t)}$ a presque partout une dérivée nulle. Donc, on a presque partout
${\overline {s'(t)}}^{2}={\overline {x'(t)}}^{2}+{\overline {y'(t)}}^{2}+{\overline {z'(t)}}^{2}$
pour toute courbe rectifiable.
Exprimons les coordonnées des points de la courbe en fonction du paramètre ${s=s(t)}$ ; cette formule devient
$1={\overline {x'(s)}}^{2}+{\overline {y'(s)}}^{2}+{\overline {z'(s)}}^{2}$
elle a lieu presque partout ; l’expression presque partout étant relative maintenant à la mesure par rapport à la variable $s$. Partout où elle a lieu $x'(s)$, $y'(s)$, $z'(s)$ existent et ne sont pas toutes trois nulles, donc : si l’on excepte les points d’une courbe rectifiable, donnés par un ensemble de mesure nulle de valeurs de l’arc $s$, en tout point de la courbe existe une tangente déterminée, et l’on a
${x_{s}'}^{2}+{y_{s}'}^{2}+{z_{s}'}^{2}=1$
* ↑ Comparez avec la page 89.
* ↑ Cette distinction est nécessaire car nous n’avons appliqué la classification de M. Baire qu’aux fonctions partout finies. Mais on peut étendre cette classification à toutes les fonctions.
* ↑ Pour satisfaire aux exigences logiques, indiquées en note page 67, il conviendrait d’ailleurs, ce qui serait facile, de préciser ces conditions pour que la construction de la chaîne ne comporte plus aucun choix ; nous ne nous y arrêterons pas. La condition 1$^o$ est en réalité inutile ; les conditions 2$^o$ et 3$^o$ suffisent. On pourra remarquer que ce qui suit ne suppose à aucun moment que ${\Lambda f(x)}$ soit le nombre dérivé supérieur à droite de $f(x)$, mais seulement que ${\Lambda f(x)}$ est mesurable et compris en tout point entre les deux nombres dérivés à droite de $f(x)$ ; ${\lambda _{d}\leqq \Lambda f\leqq \Lambda _{d}}$. De nos considérations résulte alors que $f$ est déterminée par ${\Lambda f}$, quand ${\Lambda f}$ est sommable. C’est la réponse à une question posée par M. Denjoy.
* ↑ Nous conviendrons de dire qu’une propriété a lieu presque partout dans un intervalle ${(a,b)}$, ou sur un ensemble ${\mathcal {E}}$, si les points de ${(a,b)}$ ou de en lesquels elle n’a pas lieu ou bien n’existent pas, ou bien forment un ensemble de mesure nulle. Cette locution, introduite dans la première édition de ce Livre, a été généralement adoptée. Si l’on se rappelle que M. Denjoy n’a pas trouvé suffisamment précise et qu’il a rejeté l’expression : le point $\mathrm {P}$ est point de l’ensemble $\mathrm {E}$, on ne s’étonnera pas qu’il ait jugé inadmissible la locution presque partout qui, à son avis, a deux sens : l’un qualitatif ou descriptif, l’autre quantitatif ou métrique. Je pense qu’il faut entendre par là qu’on aurait pu convenir de donner à presque partout la signification suivante : exception faite des points formant un ensemble partout non dense. Certes ; mais M. Denjoy dit qu’une propriété a lieu sur une épaisseur pleine quand je dis qu’elle a lieu presque partout. Épaisseur pleine n’aurait-elle pas pu recevoir une autre signification que celle qu’il a plu à M. Denjoy de lui donner ? Presque partout serait inadmissible si, dans la langue usuelle, cette expression avait un sens précis, mais cela n’est pas ; de sorte que le lecteur, en présence de l’énoncé précédent par exemple, ne peut lui donner aucun sens précis sans se reporter à la définition posée pour presque partout. Aucune erreur n’est donc possible. Obliger le lecteur à se reporter à une définition a son inconvénient. Je l’accorderais volontiers à n’importe qui, sauf à M. Denjoy qui a utilisé dans ses Mémoires un nombre formidable de mots nouveaux. Et ce n’est pas diminuer l’inconvénient que de modifier, fût-ce même pour le perfectionner, un vocabulaire dont l’usage commence à se répandre.
* ↑ C’est pour éviter des redites que l’ordre du texte a été adopté, mais il convient de remarquer combien les considérations précédentes se simplifient quand on se borne au cas d’un nombre dérivé ${\Lambda f}$ toujours fini ; on notera en particulier que, alors, la notion de fonction d’ensemble n’y intervient plus. L’ordre historique est inverse de celui du texte ; les théorèmes relatifs au cas ${\Lambda f}$ toujours fini figuraient dans la première édition de ce livre ; l’idée d’évaluer la différence ${f(b)-f(a)-\int _{a}^{b}\Lambda f\,\mathrm {d} x}$ comme limite de $\mathrm {A(I)}$ est due à M. de la Vallée Poussin, qui a obtenu le théorème général, tout d’abord pour les fonctions monotones (Cours d’Analyse infinitésimale, 2e édition, t. I, p. 269). On remarquera que l’idée de M. de la Vallée Poussin contient déjà en puissance les notions de fonction et d’ensemble des singularités. Ces notions et toutes celles relatives aux fonctions d’ensemble ont été examinées dans mon Mémoire : Sur l’intégration des fonctions discontinues (Ann. sc. de l’Éc. Norm., 1910).
* ↑ Il est bien entendu que, pour la conception de cette intégrale indéfinie, on néglige l’ensemble $\mathrm {E} ^{i}$ de mesure nulle, formé par les points en lesquels le nombre dérivé considéré ${\Lambda f}$ est infini. Ou, ce qui revient au même, on prend l’intégrale de la fonction nulle aux points de $\mathrm {E} ^{i}$, égale à ${\Lambda f}$ ailleurs.
* ↑ Pour $f$ non absolument continue, un des nombres ${\mathrm {P} (\mathrm {E} ^{i})}$, ${\mathrm {N} (\mathrm {E} ^{i})}$, ${\mathrm {A} (\mathrm {E} ^{i})}$ peut être nul, mais un seulement.
* ↑ $^,$$^{et}$ On va voir dans un instant que le mot « continue » peut être supprimé.
* ↑ La dérivation des fonctions discontinues a été étudiée pour la première fois par M. et Mme W. H. Young (Quaterly Journal, 1910 et Proceedings of the London math. Soc., 1910).
* ↑ Dans la première édition de ce livre, j’avais signalé cet énoncé, en note de la page 128, de façon tout à fait incidente et sans démonstration. M. Vitali a retrouvé ce théorème et en a publié la première démonstration (Acc. Reale delle Sc. di Torino, 1904-1905). C’est à l’occasion de ce théorème que M. Vitali a introduit, pour les fonctions d’une variable, la dénomination de fonction absolument continue et qu’il a montré la simplicité et la clarté que prend toute la théorie quand on met cette notion à sa base.
* ↑ On comparera cette définition, qui n’est que la traduction de la définition de la dérivée ordinaire, avec celle donnée par M. Volterra pour la dérivée d’une fonction de ligne (Leçons sur les équations intégrales et les équations intégro-différentielles, p. 12). La définition du texte peut évidemment être appliquée à des fonctions d’ensemble de points d’un plan, de l’espace, etc. Si on l’applique à un ensemble de points du plan, la parenté avec la définition de M. Volterra apparaît mieux.
* ↑ En somme, il faut et il suffit que $f$ soit continue en $x_{0}$ quand on néglige les ensembles de mesure nulle.
* ↑ On trouvera dans un Mémoire relatif aux séries de Fourier, que j’ai publié dans les Math. Annalen (Bd LXI, 1905), une autre démonstration de ce théorème, d’où l’on pourrait déduire la proposition relative à la dérivabilité des fonctions d’ensemble qui sont des intégrales indéfinies d’une manière toute différente de celle qui nous a servi ici.
* ↑ J’ai introduit ces dénominations, qui s’imposent presque, étant donnés les sens physiques des mêmes expressions, dans le Mémoire cité des Math. Annalen. M. Denjoy remplace le mot densité par épaisseur ; il est choqué par des phrases telles que celle-ci : « Un ensemble partout non dense peut avoir presque partout une densité égale à un ». Il est certain qu’une telle phrase semble un calembour ; mais des deux mots dense et densité, c’est le premier qui est mal choisi, car il éveille, me semble-t-il, une idée de mesure, une idée quantitative. Quoi qu’il en soit, le lecteur qui m’aura suivi jusqu’ici ne se laissera pas troubler par ces questions de mots puisqu’il aura consenti à s’occuper de la recherche de la définition de l’intégrale définie — ce qui peut paraître ridicule, — et de la définition de l’intégrale qui reste indéfinie même après qu’on l’a définie — ce qui est un peu humiliant.
* ↑ Voir, par exemple, mon Mémoire des Ann. Sc. de l’Éc. Norm., 1910.
* ↑ L’ensemble négligé, de densité nulle en $x_{0}$, varie avec le point $x_{0}$ ; c’est l’ensemble $\mathrm {CE}$ du texte.
* ↑ La démonstration montre que l’on peut remplacer dans cet énoncé les mots « la limite inférieure de la somme des longueurs d’arcs » par « la limite inférieure de la limite de la somme des longueurs des cordes d’arcs ».