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

 
mAucun résumé des modifications
Contenu (par transclusion) :Contenu (par transclusion) :
Ligne 5 : Ligne 5 :
De là résulte de suite que : ''pour qu’une fonction d’ensemble ou d’intervalle soit l’intégrale indéfinie d’une fonction inconnue <math>{f(x)}</math>, il faut et il suffit qu’elle soit complètement additive et absolument continue'' ; d’après ce que nous savons sur le passage d’une telle fonction à une fonction absolument continue d’une variable et sur le passage inverse.
De là résulte de suite que : ''pour qu’une fonction d’ensemble ou d’intervalle soit l’intégrale indéfinie d’une fonction inconnue <math>{f(x)}</math>, il faut et il suffit qu’elle soit complètement additive et absolument continue'' ; d’après ce que nous savons sur le passage d’une telle fonction à une fonction absolument continue d’une variable et sur le passage inverse.


{{lié|Page 160}}, nous avons formulé ce problème : ''trouver une fonction connaissant son intégrale indéfinie.'' Prenons cette intégrale indéfinie sous la forme d’une fonction d’une variable <math>\mathrm{F(X)}</math> ; <math>\mathrm{F(X)}</math> est absolument continue, donc a une dérivée presque partout et est l’intégrale indéfinie de cette dérivée ; mais deux fonctions qui ont même intégrale indéfinie sont égales presque partout, donc la fonction dont l’intégration a donné <math>\mathrm{F(X)}</math> est presque partout égale à <math>\mathrm{F'(X)}</math>. En d’autres termes : ''une intégrale {{tiret|indé|finie}}''
{{lié|Page 160}}, nous avons formulé ce problème : ''trouver une fonction connaissant son intégrale indéfinie.'' Prenons cette intégrale indéfinie sous la forme d’une fonction d’une variable <math>\mathrm{F(X)}</math> ; <math>\mathrm{F(X)}</math> est absolument continue, donc a une dérivée presque partout et est l’intégrale indéfinie de cette dérivée ; mais deux fonctions qui ont même intégrale indéfinie sont égales presque partout, donc la fonction dont l’intégration a donné <math>\mathrm{F(X)}</math> est presque partout égale à <math>\mathrm{F'(X)}</math>. En d’autres termes : ''une intégrale'' {{tiret|''indé''|finie}}