« Page:Lebesgue - Leçons sur l'intégration et la recherche des fonctions primitives, 1928.djvu/188 » : différence entre les versions
des → dés |
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|172|{{t|CHAPITRE VIII.|75}}|}} |
|||
| Contenu (par transclusion) : | Contenu (par transclusion) : | ||
| Ligne 4 : | Ligne 4 : | ||
L’ensemble des singularités de <math>{\mathcal{P}(\mathrm{E})}</math> est par conséquent un ensemble <math>\mathrm{E}_{s, \mathcal{P}}</math> en lequel |
L’ensemble des singularités de <math>{\mathcal{P}(\mathrm{E})}</math> est par conséquent un ensemble <math>\mathrm{E}_{s, \mathcal{P}}</math> en lequel |
||
{{c|<math>\mathcal{P}[\mathrm{E}_{s, \mathcal{P}}] = \mathrm{P}_{1s}(b) |
{{c|<math>\mathcal{P}[\mathrm{E}_{s, \mathcal{P}}] = \mathrm{P}_{1s}(b) |
||
= \mathcal{P}_s[\mathrm{E}_{s, \mathcal{P}}]</math> ;|m=1em}} |
= \mathcal{P}_s[\mathrm{E}_{s, \mathcal{P}}]</math> ;|m=1em}} |
||
{{SA|pour tout ensemble <math>\mathrm{E}</math>, n’ayant aucun point commun avec <math>\mathrm{E}_{s, \mathcal{P}}</math>, <math>{\mathcal{P}_s(\mathrm{E})}</math> sera par suite nul, puisque <math>{\mathcal{P}_s}</math> ne peut être ni négatif ni supérieur à <math>{\mathrm{P}_{1s}(b)}</math>. L’ensemble <math>\mathrm{E}_{s, \mathcal{P}}</math> est l’ensemble en lequel <math>{\mathcal{F}_s(\mathrm{E})}</math>, ou <math>{\mathcal{P}_s(\mathrm{E})}</math>, atteint sa limite supérieure. L’ensemble <math>\mathrm{E}_{s, \mathcal{N}}</math> des singularités de <math>{\mathcal{N}(\mathrm{E})}</math> est celui en lequel <math>{\mathcal{F}_s(\mathrm{E})}</math>, ou <math>{-\mathcal{N}_s(\mathrm{E})}</math>, atteint sa limite inférieure. L’ensemble <math>{\mathrm{E}_{s, \mathcal{P}} + \mathrm{E}_{s, \mathcal{N}}}</math> est l’ensemble des singularités de <math>{\mathcal{A}(\mathrm{E})}</math>.}} |
{{SA|pour tout ensemble <math>\mathrm{E}</math>, n’ayant aucun point commun avec <math>\mathrm{E}_{s, \mathcal{P}}</math>, <math>{\mathcal{P}_s(\mathrm{E})}</math> sera par suite nul, puisque <math>{\mathcal{P}_s}</math> ne peut être ni négatif ni supérieur à <math>{\mathrm{P}_{1s}(b)}</math>. L’ensemble <math>\mathrm{E}_{s, \mathcal{P}}</math> est l’ensemble en lequel <math>{\mathcal{F}_s(\mathrm{E})}</math>, ou <math>{\mathcal{P}_s(\mathrm{E})}</math>, atteint sa limite supérieure. L’ensemble <!--c’est bien \mathrm{E} et non \mathcal{E}--><math>\mathrm{E}_{s, \mathcal{N}}</math> des singularités de <math>{\mathcal{N}(\mathrm{E})}</math> est celui en lequel <math>{\mathcal{F}_s(\mathrm{E})}</math>, ou <math>{-\mathcal{N}_s(\mathrm{E})}</math>, atteint sa limite inférieure. L’ensemble <!--c’est bien \mathrm{E} et non \mathcal{E}--><math>{\mathrm{E}_{s, \mathcal{P}} + \mathrm{E}_{s, \mathcal{N}}}</math> est l’ensemble des singularités de <math>{\mathcal{A}(\mathrm{E})}</math>.}} |
||
''L’ensemble des singularités d’une fonction <math>\mathcal{A}</math> complètement additive d’ensemble mesurable{{lié}}''B'' se décompose en deux ensembles sans points communs qui sont respectivement les ensembles des singularités de la variation positive de <math>\mathcal{A}</math> et de sa variation négative ;'' nous avons vu, en effet ([[Leçons sur l’intégration et la recherche des fonctions primitives (seconde édition)/Chapitre VIII#EpEn-148|{{pg|148}}]]), que les ensembles <math>\mathrm{E}^p</math> et <math>\mathrm{E}^n</math>, en lesquels une fonction [ici <math>{\mathcal{F}_s(\mathrm{E})}</math>] atteint sa limite supérieure et sa limite inférieure, peuvent être pris sans points communs. |
''L’ensemble des singularités d’une fonction <math>\mathcal{A}</math> complètement additive d’ensemble mesurable{{lié}}''B'' se décompose en deux ensembles sans points communs qui sont respectivement les ensembles des singularités de la variation positive de <math>\mathcal{A}</math> et de sa variation négative ;'' nous avons vu, en effet ([[Leçons sur l’intégration et la recherche des fonctions primitives (seconde édition)/Chapitre VIII#EpEn-148|{{pg|148}}]]), que les ensembles <math>\mathrm{E}^p</math> et <math>\mathrm{E}^n</math>, en lesquels une fonction [ici <math>{\mathcal{F}_s(\mathrm{E})}</math>] atteint sa limite supérieure et sa limite inférieure, peuvent être pris sans points communs. |
||