« Page:Lebesgue - Leçons sur l'intégration et la recherche des fonctions primitives, 1928.djvu/237 » : différence entre les versions
ancre |
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|LA TOTALISATION.|75}}|221}} |
|||
Contenu (par transclusion) : | Contenu (par transclusion) : | ||
Ligne 5 : | Ligne 5 : | ||
{{refancre|raisonnement-221}} Nous utiliserons aussi la propriété suivante<ref>Cette propriété remplacera ici le second théorème fondamental (métrique) relatif aux nombres dérivés, de {{M.|Denjoy}}.</ref> : |
{{refancre|raisonnement-221}} Nous utiliserons aussi la propriété suivante<ref>Cette propriété remplacera ici le second théorème fondamental (métrique) relatif aux nombres dérivés, de {{M.|Denjoy}}.</ref> : |
||
{{p début|100|mt= |
{{p début|100|mt=1em}} |
||
''Si le rapport <math>{r[\mathrm{F}(x), x_0, x_0 + h]}</math> relatif à une fonction continue <math>{\mathrm{F}(x)}</math> est borné supérieurement uniformément pour tous les points <math>x_0</math> appartenant à un ensemble fermé <math>\mathrm{E}</math>, <math>{h > 0}</math>,'' |
''Si le rapport <math>{r[\mathrm{F}(x), x_0, x_0 + h]}</math> relatif à une fonction continue <math>{\mathrm{F}(x)}</math> est borné supérieurement uniformément pour tous les points <math>x_0</math> appartenant à un ensemble fermé <math>\mathrm{E}</math>, <math>{h > 0}</math>,'' |
||
Ligne 12 : | Ligne 12 : | ||
''le nombre dérivé supérieur à droite <math>{\Lambda_d\mathrm{F}(x)}</math> n’est, sur <math>\mathrm{E}</math>, égal à <math>-\infty</math> qu’aux points d’un ensemble de mesure nulle, <math>\mathrm{E}^{in}</math>.'' |
''le nombre dérivé supérieur à droite <math>{\Lambda_d\mathrm{F}(x)}</math> n’est, sur <math>\mathrm{E}</math>, égal à <math>-\infty</math> qu’aux points d’un ensemble de mesure nulle, <math>\mathrm{E}^{in}</math>.'' |
||
<math>{\Lambda_d\mathrm{F}(x)}</math> a, dans l’ensemble <math>{\mathrm{E} - \mathrm{E}^{in}}</math>, une intégrale déterminée, finie, et l’on a'' |
''<math>{\Lambda_d\mathrm{F}(x)}</math> a, dans l’ensemble <math>{\mathrm{E} - \mathrm{E}^{in}}</math>, une intégrale déterminée, finie, et l’on a'' |
||
{{c|<math>\mathrm{F}(b) - \mathrm{F}(a) \leqq \int_{\mathrm{E} - \mathrm{E}^{in}} \Lambda_d\mathrm{F}(x)\,\mathrm{d}x + {\textstyle\sum [\mathrm{F}(\beta) - \mathrm{F}(\alpha)]}</math>.|m=1em}} |
{{c|<math>\mathrm{F}(b) - \mathrm{F}(a) \leqq \int_{\mathrm{E} - \mathrm{E}^{in}} \Lambda_d\mathrm{F}(x)\,\mathrm{d}x + {\textstyle\sum [\mathrm{F}(\beta) - \mathrm{F}(\alpha)]}</math>.|m=1em}} |
||