Convergence $faible^*$ dans $L^p$

Bonjour,

le point que j'ai encadré en violet veut-il dire que la suite $f_{n}$ converge $faible^*$ comme élément de $L^\infty$ au sens où $L^\infty(X,\mu)=(L^1(X,\mu))'$ ? Parce que a priori $f_n$ est seulement dans $C^0$ à support compact.

Merci d'avance !95314

Réponses

  • Bonjour,

    La fonction \(f_n\) est bien élément de \(L^1\) ; on n'a pas besoin de plus.
  • $f\in C^0_c]-1,1[,\|f\|_\infty=1,f(0)=1, f_n=f(nx)\in L^\infty$, $\|f_n\|_\infty=1$ et dont le support est contenu dans $[-1/n,1/n]$.

    Pour tout $g\in L^1$, $\lim_n \int g f_n= 0$, donc $f_n \to 0$ pour la topologie faible* sur $L^\infty=(L^1)'$,

    mais $\lim_n \int \delta f_n=1$, donc $f_n$ ne tend pas vers $0$ pour la topologie faible sur $L^\infty$.

    (où $\delta$ est le prolongement de $\delta\in C^0(\R)'$ à une forme linéaire continue $\in L^\infty(\R)'$)
  • Merci beaucoup reuns c'est très clair !
Connectez-vous ou Inscrivez-vous pour répondre.