On dit que la fonction e est intégrable si ∫X e(x)dx est fini, ce qu'on note aussi ∫X e(x)dx < +∞.
3.
2) Intégrale de Lebesgue - Cas général.
On décompose f : X → R en : f+ = sup(f, 0) et f− = sup(−f, 0).
On a : f = f+ − f− et f = f+ + f−. f : X → C est mesurable si ses parties réelle et imaginaire le sont.
Soit f, une fonction intégrable sur I.
Si f est une fonction à valeurs réelles, alors f + et f − sont intégrables sur I.
Si f est une fonction à valeurs complexes, alors Re(f ) et Im(f ) sont intégrables sur I.