Définition [Fonction intégrable]
Une fonction de dans
est dite intégrable si elle est mesurable et si est finie. On note l'ensemble des fonctions intégrables de dans
, et l'ensemble des fonctions intégrables de dans
. tout court désigne généralement
(voir selon le contexte).
est un
-espace vectoriel (on le munit de l'addition et de la multiplication par un scalaire). L'application qui à une fonction associe son intégrale est une forme linéaire sur cet espace vectoriel.
est un
-espace vectoriel (on le munit de l'addition et de la multiplication par un scalaire). L'application qui à une fonction associe son intégrale est une forme linéaire sur cet espace vectoriel.
Notez que l'intégrabilité dépend de la mesure, alors que la mesurabilité ne dépend que de l'espace mesurable.
Définition [Intégrale (au sens de Lebesgue) d'une fonction intégrable]
Etant donnée une fonction intégrable de dans
, on appelle intégrale de et on note le réel.
Etant donnée une fonction intégrable de dans
, on appelle intégrale de et on note le complexe
.
On notera bien que cette définition ne permet de définir d'intégrale que lorsque est finie. Ainsi l'intégrale d'une fonction mesurable à valeurs dans
est toujours définie mais la fonction n'est pas nécéssairement intégrable (lorsque l'intégrale est infinie). Et dans le cas d'une fonction Riemann-intégrable on doit résister à la tentation d'utiliser une intégrale d'une fonction pas intégrable, puisque l'intégrale de Lebesgue n'est définie que dans le cadre de fonctions intégrables.
Propriétés:
Si est intégrable alors est intégrable et
.
Une fonction inférieure en module à une fonction intégrable, est intégrable.
Si deux fonctions et sont intégrables et à valeurs dans
et si alors
.
Définition [Intégrale sur une partie mesurable]
Soit une partie mesurable de , et de dans
ou
, alors est dite intégrable sur si est intégrable, avec la fonction caractéristique de . On définit alors
.
On peut vérifier que
.
Exemple important: les sommes de séries.
L'ensemble des parties de
est une -algèbre sur
. On peut munir
l'espace mesurable ainsi défini d'une mesure telle que
si est fini et
sinon.
On se donne alors une fonction de
dans
,
c'est à dire une suite de réels positifs.
Cette fonction est évidemment mesurable.
On peut alors considérer les fonctions
;
la suite de ces fonctions converge vers , donc par le
théorème de convergence monotone, l'intégrale
de sur
est la limite pour
tendant vers
de l'intégrale de
.
étant une fonction étagée, son intégrale est
facile à calculer; il s'agit de la somme des pour
.
On peut retrouver ainsi divers résultats classiques
du calcul de séries, par exemple le changement d'ordre
des termes dans une série absolument convergente. On
peut aussi considérer le cas des séries complexes.
Par contre, on ne peut rien faire au niveau des
séries non-absolument convergentes.
PropositionUne fonction mesurable de dans
est d'intégrale nulle
si et seulement si elle est nulle presque partout.
Si une fonction mesurable de dans
est d'intégrale finie
alors elle est finie presque partout.
mesurable de dans
; alors
, et si
, alors il existe tel que presque partout.
Démonstration: le premier point est facile, il suffit de considérer les ensembles sur lesquels est supérieure à , et leur réunion dénombrable.
Considérer l'ensemble des tels que
et sa mesure.
Considérer l'argument de l'intégrale de , et la fonction avec un complexe de module tel que
. La suite est facile...
On peut considérer différentes structures à l'intérieur de l'espace
vectoriel des fonctions de dans
:
Le sous-espace vectoriel des fonctions mesurables
Le sous-espace vectoriel des fonctions intégrables
Le sous-espace vectoriel des fonctions nulles presque partout
La dernière propriété permet notamment de définir un espace quotient de l'espace des fonctions, par la relation d'équivalence définie par
presque partout . On considère alors l'espace constitué par les classes contenant au moins une fonction intégrable. La forme linéaire qui à associe son intégrale induit une forme linéaire sur cet espace quotient (notez que deux fonctions intégrables appartenant à la même classe ont même intégrale). On peut normer cet espace par la norme suivante:
La forme linéaire qui à associe son intégrale est continue pour cette norme, et de norme , c'est à dire que
. Dans la plupart des cas, c'est à dire dès qu'il existe une partie de mesure finie non nulle, cette norme est (on pourra s'en convaincre en considérant la fonction caractéristique d'une telle partie).
Définition
On note le sous-espace des classes contenant au moins une fonction intégrable ainsi normé (ne pas confondre avec
). Cette notation est dépendante du contexte; formellement il faudrait préciser l'espace de départ et l'espace d'arrivée (ce dernier étant généralement
, quelquefois
).
Théoriquement il n'est pas possible d'écrire
pour une fonction de dans
, inclus; néanmoins on verra souvent cette notation pour . On se permettra ainsi de parler de la classe d'une fonction dont l'intégrale est finie, même s'il s'agit par exemple d'une fonction à valeurs dans
.
On assimilera souvent une fonction et sa classe, l'intégrale d'une fonction et l'intégrale d'une fonction intégrable de sa classe, etc.