Intégrale de Daniell

En mathématiques, l'intégrale de Daniell est un type d'intégration qui généralise le concept plus élémentaire de l'intégrale de Riemann qui est généralement la première enseignée. Une des principales difficultés de la formulation traditionelle de l'intégrale de Lebesgue est qu'elle nécessite le développement préalable de la théorie de la mesure avant d'obtenir les principaux résultats de cette intégrale. Cependant, une autre approche est possible, qui a été développée par Percy John Daniell dans son article de 1918 "A general form of integral" (Ann. of Math, 19, 279) qui ne présente pas cette difficulté, et a des avantages réels par rapport à la formulation traditionnelle, en particulier lorsque l'on veut généraliser l'intégrale aux espaces de dimension supérieure où bien lorqu'on veut introduire d'autres généralisations telles que l'intégrale de Riemann–Stieltjes. L'idée de base introduit une axiomatisation de l'intégrale.

Axiomes de Daniell

On commence par choisir une famille $H$ de fonctions réelles bornées (appelées fonctions élémentaires) définies sur un ensemble $X$, qui satisfait les deux axiomes:

1. $H$ est un espace vectoriel pour les opérations usuelles de l'addition et de la multiplication par un scalaire.

2. Si une fonction $h(x)$ est dans $H$, alors sa valeur absolue $|h(x)|$ également.

En plus, à chaque fonction h dans H est assigné un nombre réel $Ih$, qui est appelé l'intégrale élémentaire de h, satisfaisant les trois axiomes:

1. Linéarité. Si h et k sont tous deux dans H, et $\alpha$ et $\beta$ sont deux nombres réels quelconques, alors $I(\alpha h+\beta k)=\alpha Ih+\beta Ik$.

2. Non-négativité. Si $h(x)\geq 0$, alors $Ih\geq 0$.

3. Continuité. Si $h_{n}(x)$ est une suite non croissante (i.e. $h_{1}\geq \cdots \geq h_{k}\geq \cdots$) de fonctions dans $H$ qui converge vers 0 pour tout $x$ dans $X$, alors $Ih_{n}\to 0$.

Ainsi, nous définissons une forme linéaire continue non-négative $I$ sur l'espace des fonctions élémentaires.

Ces fonctions élémentaires et leurs intégrales élémentaires peuvent être n'importe quel ensemble de fonctions et de définitions des intégrales pour ces fonctions qui satisfont ces axiomes. La famille de toutes les fonctions en escalier évidemment satisfait les axiomes qui précédent. Si on définit l'intégrale élémentaire pour la famille des fonctions en escalier comme l'aire (orientée) du domaine défini par la fonction en escalier, les axiomes pour une intégrale élémentaire sont évidemment satisfaits. Si on applique la construction de l'intégrale de Daniell décrite ci-dessous en utilisant les fonctions en escalier comme fonctions élémentaires, on définit une intégrale équivalente à l'intégrale de Lebesgue. Si $X$ est un espace topologique et si on utilise la famille de toutes les fonctions continues comme fonctions élémentaires et la traditionnelle intégrale de Riemann comme intégrale élémentaire, alors cela conduit à une intégrale qui est enore équivalente à la définition de Lebesgue. Si l'on fait la même chose, mais en utilisant l'intégrale de Riemann–Stieltjes, avec une fonction appropriée à variation bornée, on obtient une définition de l'intégrale équivalente à celle de Lebesgue–Stieltjes.

Les ensembles négligeables (i.e. de mesure nulle) peuvent être définis en termes de fonctions élémentaires comme suit. Un ensemble $Z$ qui est un sous-ensemble de $X$ est un ensemble négligeable si pour tout $\epsilon >0$, il existe une suite non-décroissante de fonctions élémentaires non négatives $h_{p}(x)$ dans H telle que $Ih_{p}<\epsilon$ et $\sup _{p}h_{p}(x)\geq 1$ sur $Z$.

On dit qu'une propriété est vraie presque partout si elle est vraie partout sur $X$ sauf sur un ensemble négligeable.

Définition de l' intégrale de Daniell

Nous pouvons étendre la notion d'intégrale à une classe de fonctions plus large, basée sur notre choix de fonctions élémentaires, la classe $L^{+}$, qui est la famille de toutes les fonctions qui sont limites presque partout d'une suite non décroissante $h_{n}$ de fonctions élémentaires, telles que l'ensemble des intégrales $Ih_{n}$ est bornée. L'intégrale d'une fonction $f$ dans $L^{+}$ est définie par:

$If=\lim _{n\to \infty }Ih_{n}$

On peut montrer que cette définition de l'intégrale est bien-définie, i.e. qu'elle ne dépend pas du choix de la suite $h_{n}$.

Cependant, la classe $L^{+}$ est en général non fermée pour la soustraction et la multiplication par les nombres négatifs, mais nous pouvons l'étendre en définissant une classe plus large de fonctions $L$ telle que toute fonction $\phi (x)$ puisse être presque partout représentée comme la différence $\phi =f-g$, par des fonctions $f$ et $g$ dans la classe $L^{+}$. Alors l'intégrale d'une fonction $\phi (x)$ peut être définie par:

$\int _{X}\phi (x)dx=If-Ig\,$

Là encorre, on peut montrer que l'intégrale est bien-définie, i.e. qu'elle ne dépend pas de la décomposition de $\phi$ en $f$ et $g$. Cela termine la construction de l'intégrale de Daniell.

Voir aussi

• Intégrale de Riemann
• Intégrale de Riemann–Stieltjes
• Intégrale de Lebesgue

Bibliographie

• Daniell, Percy John, 1918, "A general form of integral," Annals of Mathematics 19: 279–94.
• Daniell, Percy John, 1919, "Integrals in an infinite number of dimensions," Annals of Mathematics 20: 281–88.
• Daniell, Percy John, 1919, "Functions of limited variation in an infinite number of dimensions," Annals of Mathematics 21: 30–38.
• Daniell, Percy John, 1920, "Further properties of the general integral," Annals of Mathematics 21: 203–20.
• Daniell, Percy John, 1921, "Integral products and probability," American Journal of Mathematics 43: 143–62.
• Royden, H. L., 1988. Real Analysis, 3rd. ed. Prentice Hall. ISBN 978-0-02-946620-9.
• Shilov, G. E., and Gurevich, B. L., 1978. Integral, Measure, and Derivative: A Unified Approach, Richard A. Silverman, trans. Dover Publications. ISBN 0-486-63519-8.
• Asplund Edgar and Bungart Lutz, 1966 -"A first course in Integration" - Holt, Rinehart and Winston

library of congress catalog card number-66-10122

• Taylor A.E , 1965, "General Theory of Functions and Integration" -I edition -Blaisdell Publishing Company- library of congress catalog card number- 65-14566

Sources

• (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Daniell integral » (voir la liste des auteurs).