Convergence dominée de Lebesgue dans \(L^p\)

[ Théorème ]
On suppose ici \(p \neq +\infty\). Soit une suite \((f_n)\) de fonctions mesurables, telle que \[f_n(x) \to f(x) \mbox{ pour presque tout }x\] \[\exists g \in L^p / \forall (x,n) |f_n(x)| \leq g(x)\] alors la classe de \(f\) appartient à \(L^p\) et \(f_n\) tend vers \(f\) pour \(N^p\).
En savoir plus