« Page:Lebesgue - Leçons sur l'intégration et la recherche des fonctions primitives, 1928.djvu/139 » : différence entre les versions
Balise : Validée |
|||
État de la page (Qualité des pages) | État de la page (Qualité des pages) | ||
- | + | Page validée | |
En-tête (noinclude) : | En-tête (noinclude) : | ||
Ligne 1 : | Ligne 1 : | ||
{{nr||{{t|L’INTÉGRATION DÉFINIE DES FONCTIONS SOMMABLES.|65}}|123}} |
|||
Contenu (par transclusion) : | Contenu (par transclusion) : | ||
Ligne 3 : | Ligne 3 : | ||
{{SA|on a}} |
{{SA|on a}} |
||
{{c|<math>\begin{alignat}{3} |
{{c|<math>\begin{alignat}{3} |
||
&\sigma(f) &{}={}& \sum_{i=0}^{i=n-1} l_i \, m(\mathrm{ |
&\sigma(f) &{}={}& \sum_{i=0}^{i=n-1} l_i \, m(\mathrm{F}_i) &{}={}& l_{n-1} \, m(\mathrm{F}_0 + \mathrm{F}_1 + \ldots + \mathrm{F}_{n-1}) \\ |
||
&&&&&{}-{} \sum_{i=0}^{i=n-2} (l_{i+1} - l_i) \, m(\mathrm{F}_0 + \mathrm{F}_1 + \ldots + \mathrm{F}_{i})\text{,} \\ |
&&&&&{}-{} \sum_{i=0}^{i=n-2} (l_{i+1} - l_i) \, m(\mathrm{F}_0 + \mathrm{F}_1 + \ldots + \mathrm{F}_{i})\text{,} \\ |
||
&\sigma(g) &{}={}& \sum_{i=0}^{i=n-1} l_i \, m(\mathrm{ |
&\sigma(g) &{}={}& \sum_{i=0}^{i=n-1} l_i \, m(\mathrm{G}_i) &{}={}& l_{n-1} \, m(\mathrm{G}_0 + \mathrm{G}_1 + \ldots + \mathrm{G}_{n-1}) \\ |
||
&&&&&{}-{} \sum_{i=0}^{i=n-2} (l_{i+1} - l_i) \, m(\mathrm{G}_0 + \mathrm{G}_1 + \ldots + \mathrm{G}_{i})\text{.} \\ |
&&&&&{}-{} \sum_{i=0}^{i=n-2} (l_{i+1} - l_i) \, m(\mathrm{G}_0 + \mathrm{G}_1 + \ldots + \mathrm{G}_{i})\text{.} \\ |
||
\end{alignat}</math>|m=1em}} |
\end{alignat}</math>|m=1em}} |
||
Ligne 12 : | Ligne 12 : | ||
{{c|<math>{\mathrm{G}_0 + \mathrm{G}_1 + \ldots + \mathrm{G}_{i}}</math>|m=1em}} |
{{c|<math>{\mathrm{G}_0 + \mathrm{G}_1 + \ldots + \mathrm{G}_{i}}</math>|m=1em}} |
||
{{SA|et, pour <math>{i = n-1}</math>, ces deux ensembles sont identiques. Donc les premiers termes de <math>\sigma(f)</math> et <math>\sigma(g)</math> sont égaux et les autres termes sont plus petits, en valeur absolue, dans <math>\sigma(g)</math> que dans <math>\sigma(f)</math>, ce qui prouve la première inégalité}} |
{{SA|et, pour <math>{i = n-1}</math>, ces deux ensembles sont identiques. Donc les premiers termes de <math>\sigma(f)</math> et <math>\sigma(g)</math> sont égaux et les autres termes sont plus petits, en valeur absolue, dans <math>\sigma(g)</math> que dans <math>\sigma(f)</math>, ce qui prouve la première inégalité}} |
||
{{c|<math>\int_a^b f\,\mathrm{d}x \leqq \int_a^b g\,\mathrm{d}x</math>.| |
{{c|<math>\int_a^b f\,\mathrm{d}x \leqq \int_a^b g\,\mathrm{d}x</math>.|mb=0em|mt=1em}} |
||
Puisque l’on a |
Puisque l’on a |
||
{{c|<math>g \leqq f + \eta</math>,|m= |
{{c|<math>g \leqq f + \eta</math>,|m=0em}} |
||
{{SA|on a donc}} |
{{SA|on a donc}} |
||
{{c|<math>\int_a^b g\,\mathrm{d}x \leqq \int_a^b (f+\eta)\,\mathrm{d}x</math> ;| |
{{c|<math>\int_a^b g\,\mathrm{d}x \leqq \int_a^b (f+\eta)\,\mathrm{d}x</math> ;|mt=0em|mb=1em}} |
||
{{SA|pour calculer cette dernière intégrale de façon approchée servons-nous des nombres <math>{l + \eta}</math>, <math>{\mathrm{L} + \eta}</math>, <math>{l_i + \eta}</math> ; il est clair que l’on trouve}} |
{{SA|pour calculer cette dernière intégrale de façon approchée servons-nous des nombres <math>{l + \eta}</math>, <math>{\mathrm{L} + \eta}</math>, <math>{l_i + \eta}</math> ; il est clair que l’on trouve}} |
||
{{c|<math>\begin{align} |
{{c|<math>\begin{align} |
||
\sigma(f + \eta) &= \sum_{i=0}^{i=n-1} (l_i + \eta) \, m(\mathrm{F_i}) \\ |
\sigma(f + \eta) &= \sum_{i=0}^{i=n-1} (l_i + \eta) \, m(\mathrm{F_i}) \\ |
||
&= \sum_{i=0}^{i=n-1} l_i \, m(\mathrm{F_i}) + \eta \sum_{i=0}^{i=n-1} m(\mathrm{F_i}) = \sigma(f) + (b-a) \eta \text{.} |
&= \sum_{i=0}^{i=n-1} l_i \, m(\mathrm{F_i}) + \eta \sum_{i=0}^{i=n-1} m(\mathrm{F_i}) = \sigma(f) + (b-a) \eta \text{.} |
||
\end{align}</math>| |
\end{align}</math>|mb=0em|mt=1em}} |
||
{{SA|d’où}} |
{{SA|d’où}} |
||
{{c|<math>\int_a^b g\,\mathrm{d}x \leqq \int_a^b (f+\eta)\,\mathrm{d}x = \int_a^b f\,\mathrm{d}x + \eta (b-a)</math>.| |
{{c|<math>\int_a^b g\,\mathrm{d}x \leqq \int_a^b (f+\eta)\,\mathrm{d}x = \int_a^b f\,\mathrm{d}x + \eta (b-a)</math>.|mt=0em|mb=1em}} |
||
On peut encore dire que si deux fonctions diffèrent de moins |
On peut encore dire que si deux fonctions diffèrent de moins |