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

mAucun résumé des modifications
réf. interne
Contenu (par transclusion) :Contenu (par transclusion) :
Ligne 19 : Ligne 19 :
Reprenons la formule que nous venons de trouver
Reprenons la formule que nous venons de trouver
{{c|<math>\mathrm{F}(b-0) - \mathrm{F}(a) = \lim_{\varepsilon \to 0}{\sum_{i=0} f(x_i) \, m_{\alpha(x)}\![x_i \leqq x < x_{i+1}]}</math>,|m=1em}}
{{c|<math>\mathrm{F}(b-0) - \mathrm{F}(a) = \lim_{\varepsilon \to 0}{\sum_{i=0} f(x_i) \, m_{\alpha(x)}\![x_i \leqq x < x_{i+1}]}</math>,|m=1em}}
{{SA|formule dans laquelle, pour simplifier, nous avons fait rentrer sous le signe <math>\textstyle\sum</math> la contribution de <math>{(a, x)}</math> malgré sa forme spéciale. Et précisons, comme {{lié|pages 176}} et suivantes, le choix des intervalles de la chaîne. Supposons pour cela <math>f(x)</math> sommable par rapport à <math>{\alpha(x)}</math> et soit <math>\mathrm{E}_l</math> l’ensemble <math>{\mathrm{E}[l\varepsilon \leqq f(x) (l+1)\varepsilon]}</math> ; enfermons <math>\mathrm{E}_l</math> dans un ensemble <math>\mathrm{A}_l</math> d’intervalles non empiétants dont la mesure, par rapport à <math>{\mathrm{V}(x)}</math>, ne surpasse celle de <math>\mathrm{E}_l</math> que de <math>\varepsilon_l</math> au plus ; les nombres <math>\varepsilon_l</math> étant choisis tels que les séries <math>{\textstyle\sum \varepsilon_l}</math> et <math>{\textstyle\sum |l|\varepsilon_l}</math> soient convergentes et de sommes <math>\eta</math> et <math>\zeta</math> très petites.}}
{{SA|formule dans laquelle, pour simplifier, nous avons fait rentrer sous le signe <math>\textstyle\sum</math> la contribution de <math>{(a, x)}</math> malgré sa forme spéciale. Et précisons, comme [[Leçons sur l’intégration et la recherche des fonctions primitives (seconde édition)/Chapitre IX#chaine-176|{{lié|pages 176}} et suivantes]], le choix des intervalles de la chaîne. Supposons pour cela <math>f(x)</math> sommable par rapport à <math>{\alpha(x)}</math> et soit <math>\mathrm{E}_l</math> l’ensemble <math>{\mathrm{E}[l\varepsilon \leqq f(x) (l+1)\varepsilon]}</math> ; enfermons <math>\mathrm{E}_l</math> dans un ensemble <math>\mathrm{A}_l</math> d’intervalles non empiétants dont la mesure, par rapport à <math>{\mathrm{V}(x)}</math>, ne surpasse celle de <math>\mathrm{E}_l</math> que de <math>\varepsilon_l</math> au plus ; les nombres <math>\varepsilon_l</math> étant choisis tels que les séries <math>{\textstyle\sum \varepsilon_l}</math> et <math>{\textstyle\sum |l|\varepsilon_l}</math> soient convergentes et de sommes <math>\eta</math> et <math>\zeta</math> très petites.}}


Assujettissons l’intervalle <math>{(x_i, x_{i+1})}</math> dont l’origine <math>x_i</math> appartient
Assujettissons l’intervalle <math>{(x_i, x_{i+1})}</math> dont l’origine <math>x_i</math> appartient