Théorème de convergence dominée de Lebesgue
Salut
Soit $\Omega$ un domaine borné $(f_n)_{n\in \mathbb{N}}$ une suite de fonctions mesurables sur un espace mesuré ${\displaystyle (E,{\mathcal {A}},\mu )}$, à valeurs réelles ou complexes, telle que :
$f_n$ converge p.p vers $f $
$f_n$ est bornée dans $L^{p}(\Omega)$.
Alors $f_n$ converge fortement dans $L^{p}(\Omega)$.
Est-ce que ce que j'ai écrit au dessus est vrai en utilisant le théorème de convergence dominée de Lebesgue.
Edit en rouge.
Soit $\Omega$ un domaine borné $(f_n)_{n\in \mathbb{N}}$ une suite de fonctions mesurables sur un espace mesuré ${\displaystyle (E,{\mathcal {A}},\mu )}$, à valeurs réelles ou complexes, telle que :
$f_n$ converge p.p vers $f $
$f_n$ est bornée dans $L^{p}(\Omega)$.
Alors $f_n$ converge fortement dans $L^{p}(\Omega)$.
Est-ce que ce que j'ai écrit au dessus est vrai en utilisant le théorème de convergence dominée de Lebesgue.
Edit en rouge.
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
Ainsi $(f_n)_n$ converge simplement vers la fonction nulle $\N\to \R$, mais $\|f_n\|_p=1$ pour tout $p$ de sorte que la suite est bornée dans $L^p$ mais ne converge pas pour la norme vers $0$.
Je me place donc dans $E=\Omega=[0;1]$ muni de sa famille de parties comme tribu et de la mesure de comptage $\mu$. Ici $\Omega$ est borné.
Et cette fois je pose $f_n=1_{1/n}$, c'est-à-dire que $f_n(x)=0$ sauf si $x=1/n$ auquel cas $f_n(1/n)=1$
Nous avons toujours les formules annoncées plus haut.
Merci beacoup math2 &Frédéric Bosio .