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

 
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||{{t|LA RECHERCHE DES FONCTIONS PRIMITIVES. L’EXISTENCE DES DÉRIVÉES.|75}}|193}}
Contenu (par transclusion) :Contenu (par transclusion) :
Ligne 1 : Ligne 1 :
<nowiki/>
<nowiki/>


Montrons, en effet, qu’il y a identité entre cet ensemble exceptionnel <math>\mathcal{E}</math> et celui <math>\mathcal{E}_1</math> des points <math>x_o</math> en lesquels la fonction d’ensemble intégrale indéfinie de <math>f(x)</math> n’admet pas une dérivée égale à <math>f(x_0)</math>.
Montrons, en effet, qu’il y a identité entre cet ensemble exceptionnel <math>\mathcal{E}</math> et celui <math>\mathcal{E}_1</math> des points <math>x_0</math> en lesquels la fonction d’ensemble intégrale indéfinie de <math>f(x)</math> n’admet pas une dérivée égale à <math>f(x_0)</math>.


Supposons, en effet, que <math>x_0</math> soit point de ce dernier ensemble <math>\mathcal{E}_1</math>, c’est-à-dire que l’on puisse trouver des ensembles <math>\mathrm{E}</math> dont tous les points se rapprochent indéfiniment de <math>x_0</math>, qui appartiennent à une famille régulière de paramètre <math>k</math> et pour lesquels on ait
Supposons, en effet, que <math>x_0</math> soit point de ce dernier ensemble <math>\mathcal{E}_1</math>, c’est-à-dire que l’on puisse trouver des ensembles <math>\mathrm{E}</math> dont tous les points se rapprochent indéfiniment de <math>x_0</math>, qui appartiennent à une famille régulière de paramètre <math>k</math> et pour lesquels on ait