« Page:Lebesgue - Leçons sur l'intégration et la recherche des fonctions primitives, 1928.djvu/310 » : différence entre les versions

réf. interne
Balise : Validée
 
État de la page (Qualité des pages)État de la page (Qualité des pages)
-
Page corrigée
+
Page validée
En-tête (noinclude) :En-tête (noinclude) :
Ligne 1 : Ligne 1 :
{{nr|294|{{t|CHAPITRE XI.|75}}|}}
Contenu (par transclusion) :Contenu (par transclusion) :
Ligne 1 : Ligne 1 :
<nowiki />
<nowiki />


Tout point <math>\mathrm{P}_0</math> est alors intérieur à un domaine <math>\mathrm{D(P_0)}</math> tel que le rapport <math>\frac\varphi\psi</math> diffère de <math>{f(\mathrm{P})}</math> de moins de <math>\varepsilon</math> pour le domaine <math>\mathrm{D(P_0)}</math> et pour tous les domaines intérieurs, assujettis aux restrictions qui ont pu être imposées dans la définition de la dérivée. À l’aide d’un nombre fini de ces domaines <math>\mathrm{D(P_0)}</math> on couvrira, d’après le théorème de {{M.|Borel}} ([[Leçons sur l’intégration et la recherche des fonctions primitives (seconde édition)/Chapitre VII#Borel-Lebesgue-112|{{pg|112}}]]), tout le domaine <math>\mathrm{D}</math> que l’on considère. En restreignant ces domaines <math>\mathrm{D(P_0)}</math> on pourra les supposer sans points intérieurs communs. Alors on aura partagé <math>\mathrm{D}</math> en domaines partiels <math>\mathrm{D_1}</math>, <math>\mathrm{D_2}</math>,&nbsp;…, <math>\mathrm{D}_n</math> et pris dans chacun d’eux ou au voisinage de chacun d’eux un point particulier <math>\mathrm{P}_i</math>, de manière que l’on ait
Tout point <math>\mathrm{P}_0</math> est alors intérieur à un domaine <math>\mathrm{D(P_0)}</math> tel que le rapport <math>\frac\varphi\psi</math> diffère de <math>{f(\mathrm{P})}</math> de moins de <math>\varepsilon</math> pour le domaine <math>\mathrm{D(P_0)}</math> et pour tous les domaines intérieurs, assujettis aux restrictions qui ont pu être imposées dans la définition de la dérivée. À l’aide d’un nombre fini de ces domaines <math>\mathrm{D(P_0)}</math> on couvrira, d’après le théorème de {{M.|Borel}} ([[Leçons sur l’intégration et la recherche des fonctions primitives (seconde édition)/Chapitre VII#Borel-Lebesgue-112|{{pg|112}}]]), tout le domaine <math>\mathrm{D}</math> que l’on considère. En restreignant ces domaines <math>\mathrm{D(P_0)}</math> on pourra les supposer sans points intérieurs communs. Alors on aura partagé <math>\mathrm{D}</math> en domaines partiels <math>\mathrm{D_1}</math>, {{nobr|<math>\mathrm{D_2}</math>, …,}} <math>\mathrm{D}_n</math> et pris dans chacun d’eux ou au voisinage de chacun d’eux un point particulier <math>\mathrm{P}_i</math>, de manière que l’on ait
{{c|<math>\varphi(\mathrm{D}_i) = \psi(\mathrm{D}_i) [f(\mathrm{P}) + \theta_i\varepsilon] \quad (-1 \leqq \theta_i \leq +1)</math>.|m=1em}}
{{c|<math>\varphi(\mathrm{D}_i) = \psi(\mathrm{D}_i) \left[f(\mathrm{P}_i) + \theta_i\varepsilon\right] \quad (-1 \leqq \theta_i \leq +1)</math>.|m=1em}}
{{SA|Si <math>{f(\mathrm{P})}</math> est continue, on modifiera très peu ceci en supposant <math>\mathrm{P}_i</math> pris dans <math>\mathrm{D}_i</math>.}}
{{SA|Si <math>{f(\mathrm{P})}</math> est continue, on modifiera très peu ceci en supposant <math>\mathrm{P}_i</math> pris dans <math>\mathrm{D}_i</math>.}}


De là résulte
De là résulte
{{c|<math>\textstyle\varphi(\mathrm{D}) = \sum \varphi(\mathrm{D}_i) = \sum \psi(\mathrm{D}_i) f(\mathrm{P}) + \theta \varepsilon \sum |\psi(\mathrm{D}_i) |</math>.|m=1em}}
{{c|<math>\textstyle\varphi(\mathrm{D}) = \sum \varphi(\mathrm{D}_i) = \sum \psi(\mathrm{D}_i) f(\mathrm{P}_i) + \theta \varepsilon \sum |\psi(\mathrm{D}_i) |</math>.|m=1em}}
{{SA|Si donc, quel que soit le morcellement de <math>\mathrm{D}</math> en les <math>\mathrm{D}_i</math> et quel que soit le choix des <math>\mathrm{P}_i</math>, la première somme tend vers une limite déterminée pour des <math>\mathrm{D}_i</math> de plus en plus petits, et la seconde reste bornée — ce dernier fait exprime que <math>\psi</math> est à variation bornée — on sait calculer <math>{\varphi(\mathrm{D})}</math>.}}
{{SA|Si donc, quel que soit le morcellement de <math>\mathrm{D}</math> en les <math>\mathrm{D}_i</math> et quel que soit le choix des <math>\mathrm{P}_i</math>, la première somme tend vers une limite déterminée pour des <math>\mathrm{D}_i</math> de plus en plus petits, et la seconde reste bornée — ce dernier fait exprime que <math>\psi</math> est à variation bornée — on sait calculer <math>{\varphi(\mathrm{D})}</math>.}}


La précision de ces aperçus conduit tout naturellement à l’intégrale de Stieltjès ; il suffit de supposer qu’il s’agit de domaines à une dimension, d’intervalles, que <math>{f(\mathrm{P})}</math> est <math>{f(x)}</math>, que <math>{\psi(\mathrm{D})}</math> est la fonction d’intervalle que nous avons attachée à une fonction <math>{\alpha(x)}</math> à variation bornée, pour retrouver la définition posée par Stieltjès, pour <math>{\int f(x)\,\mathrm{d}[\alpha(x)]}</math>.
La précision de ces aperçus conduit tout naturellement à l’intégrale de Stieltjès ; il suffit de supposer qu’il s’agit de domaines à une dimension, d’intervalles, que <math>{f(\mathrm{P})}</math> est <math>{f(x)}</math>, que <math>{\psi(\mathrm{D})}</math> est la fonction d’intervalle que nous avons attachée à une fonction <math>{\alpha(x)}</math> à variation bornée, pour retrouver la définition posée par Stieltjès, pour <math>{\textstyle\int f(x)\,\mathrm{d}[\alpha(x)]}</math>.


Mais il est clair que de ces aperçus dériveraient aussi des généralisations de cette intégrale aux fonctions de plusieurs variables. Nous n’insisterons pas puisque, dans ce Livre, nous nous bornons toujours à l’intégration des fonctions d’une variable.
Mais il est clair que de ces aperçus dériveraient aussi des généralisations de cette intégrale aux fonctions de plusieurs variables. Nous n’insisterons pas puisque, dans ce Livre, nous nous bornons toujours à l’intégration des fonctions d’une variable.