Si $f_n\in L^p$ convergen a $f$ y a $g$ en $L^p$ . ¿Significa eso que $f=g$ ¿en casi todas partes?
Respuestas
¿Demasiados anuncios?
Tim Abell
Puntos
145
Como sugiere julien, ya que $f_n\to f$ en $L^p$ existe una subsecuencia $f_{n_k}$ que converge puntualmente en casi todas partes a $f$ . Pero como $f_n\to g$ puntualmente se deduce que $f_{n_k}\to g$ puntualmente.
Así, en el conjunto de convergencia puntual de $f_{n_k}\to f$ debemos tener $f = g$ . Por lo tanto $f = g$ casi en todas partes.
tkf
Puntos
1815
Por el lema de Fatou, tenemos $$\int \liminf_{n \to \infty} |f_n-f|^p d\mu \leq \liminf_{n \to \infty} \int |f_n-f|^p d\mu.$$ Desde $f_n$ converge a g puntualmente, tenemos que $$\liminf_{n \to \infty} |f_n-f|^p=\lim_{n \to \infty} |f_n-f|^p=|g-f|^p.$$ También, $f_n$ converge a f en $L_p$ entonces $$\liminf_{n \to \infty} \int |f_n-f|^p d\mu=\lim_{n \to \infty} \int |f_n-f|^p d\mu=0.$$ Por lo tanto, tenemos $$\int |g-f|^p d\mu=0,$$ lo que implica que $g=f$ casi en todas partes.
2 votos
Bienvenido a math.SE: como eres nuevo, quería informarte de algunas cosas sobre el sitio. Para obtener las mejores respuestas posibles, es útil que digas en qué contexto te encontraste con el problema, y cuáles son tus ideas al respecto; esto evitará que la gente te diga cosas que ya sabes, y les ayudará a dar sus respuestas al nivel adecuado.
9 votos
Sugerencia: convergencia en $L^p$ implica la existencia de una subsecuencia que converge puntualmente a.e. Ver corolario 7.11 aquí .