[JohnC++]

Hola que tal, ayuda con el desarrollo del siguiente problema, aquí planteo una solución pero está bien si hay otra forma de resolverlo.

\( \cdot{} \)Pruebe que si una sucesión \( f_n \) de funciones medibles converge casi uniformemente a \( f \) función medible, entonces \( f_n \) converge a \( f \) en medida.

Para demostrar la convergencia en medida, utilizaremos la definición de convergencia en medida. Dado \( \epsilon>0 \), queremos demostrar que:

\( \lim_{n\to\infty} \mu\{x: |f_n(x)-f(x)|>\epsilon\} = 0 \)

Dado que \( f_n \) converge casi uniformemente a \( f \), sabemos que para todo \( \epsilon>0 \), existe un conjunto \( E_\epsilon \) de medida finita tal que para todo \( x\in E_\epsilon^c \), se cumple que:

\( \lim_{n\to\infty} |f_n(x)-f(x)| = 0 \)

Por lo tanto, podemos restringir nuestro análisis al conjunto \( E_\epsilon \) para demostrar la convergencia en medida.

Para cada \( n \), definimos el conjunto \( A_n=\{x\in E_\epsilon: |f_n(x)-f(x)|>\epsilon\} \). Queremos demostrar que la medida de este conjunto tiende a cero cuando \( n \) tiende a infinito.

Observemos que para todo \( x\in A_n \), se cumple que \( |f_n(x)-f(x)|>\epsilon \). Sin embargo, dado que \( f_n \) converge casi uniformemente a \( f \), sabemos que existe un conjunto \( E \) de medida finita tal que para todo \( x\in E^c \), se cumple que \( |f_n(x)-f(x)|\leq \epsilon \) para todo \( n \).

Así, para demostrar que \( \mu(A_n)\to 0 \) cuando \( n\to\infty \), debemos analizar la medida de \( A_n \) en el conjunto \( E \).

Dado que \( f_n \) y \( f \) son funciones medibles, los conjuntos \( A_n \) también son mesurables. Por lo tanto, podemos aplicar la desigualdad de Chebyshev para estimar la medida de \( A_n \) dentro de \( E \):
\( \mu(A_n\cap E) \leq \frac{1}{\epsilon}\int_E |f_n(x)-f(x)|\,d\mu \)

Dado que la convergencia casi uniforme implica la convergencia en medida, tenemos que:
\( \lim_{n\to\infty} \int_E |f_n(x)-f(x)|\,d\mu = 0 \)

Por lo tanto, para todo \( \epsilon>0 \), existirá un \( N \) tal que para \( n>N \), \( \int_E |f_n(x)-f(x)|\,d\mu <\epsilon \). Esto implica que \( \mu(A_n\cap E)< \epsilon \). Sin embargo, recordemos que elegimos \( E \) para que la medida de su complemento sea finita. Por lo tanto, \( \mu(E^c)<\infty \).

Entonces, \( \mu(A_n) = \mu(A_n\cap E) + \mu(A_n\cap E^c) \leq \mu(A_n\cap E) + \mu(E^c) < \epsilon+\mu(E^c) \).

Dado que \( \epsilon \) y \( \mu(E^c) \) son constantes, podemos concluir que \( \mu(A_n)\to 0 \) cuando \( n\to\infty \), lo que nos prueba la convergencia en medida.

[Masacroso]

Hola que tal, ayuda con el desarrollo del siguiente problema, aquí planteo una solución pero está bien si hay otra forma de resolverlo.

\( \cdot{} \)Pruebe que si una sucesión \( f_n \) de funciones medibles converge casi uniformemente a \( f \) función medible, entonces \( f_n \) converge a \( f \) en medida.

Para demostrar la convergencia en medida, utilizaremos la definición de convergencia en medida. Dado \( \epsilon>0 \), queremos demostrar que:

\( \lim_{n\to\infty} \mu\{x: |f_n(x)-f(x)|>\epsilon\} = 0 \)

Dado que \( f_n \) converge casi uniformemente a \( f \), sabemos que para todo \( \epsilon>0 \), existe un conjunto \( E_\epsilon \) de medida finita tal que para todo \( x\in E_\epsilon^c \), se cumple que:

\( \lim_{n\to\infty} |f_n(x)-f(x)| = 0 \)

Por lo tanto, podemos restringir nuestro análisis al conjunto \( E_\epsilon \) para demostrar la convergencia en medida.

Para cada \( n \), definimos el conjunto \( A_n=\{x\in E_\epsilon: |f_n(x)-f(x)|>\epsilon\} \). Queremos demostrar que la medida de este conjunto tiende a cero cuando \( n \) tiende a infinito.

Hasta aquí bien aunque te ha faltado decir en la argumentación que en la convergencia casi uniforme no es que exista un conjunto de medida finita arbitraria, sino uno de medida arbitrariamente pequeña, es decir, si \( f_n\to f \) casi uniformemente entonces para cada \( \epsilon >0 \) existe un \( B_{\epsilon } \) tal que \( \mu (B_{\epsilon })<\epsilon  \) y \( f_n\to f \) uniformemente en \( B_{\epsilon }^\complement  \). Por tanto puedes asumir desde el inicio que \( \mu(E_{\epsilon })<\epsilon  \).

Observemos que para todo \( x\in A_n \), se cumple que \( |f_n(x)-f(x)|>\epsilon \). Sin embargo, dado que \( f_n \) converge casi uniformemente a \( f \), sabemos que existe un conjunto \( E \) de medida finita tal que para todo \( x\in E^c \), se cumple que \( |f_n(x)-f(x)|\leq \epsilon \) para todo \( n \).

Esto último no sería correcto así como está planteado: no sabes realmente si en \( E^\complement  \) es cierto que \( |f_n(x)-f(x)|\leqslant \epsilon  \) para todo \( x\in E^\complement  \), lo único que sabes es que ahí hay convergencia uniforme. Es perfectamente posible que \( |f_n(x)-f(x)|>\epsilon  \) para cada \( x \) en un número finito de \( n\in \mathbb{N} \).

Así, para demostrar que \( \mu(A_n)\to 0 \) cuando \( n\to\infty \), debemos analizar la medida de \( A_n \) en el conjunto \( E \).

Ok, pero esto no era necesario ya que ya partías del hecho de que \( A_n\subset E_{\epsilon } \) y que \( f_n\to f \) uniformemente en \( E_{\epsilon }^\complement  \).

Dado que \( f_n \) y \( f \) son funciones medibles, los conjuntos \( A_n \) también son mesurables. Por lo tanto, podemos aplicar la desigualdad de Chebyshev para estimar la medida de \( A_n \) dentro de \( E \):
\( \mu(A_n\cap E) \leq \frac{1}{\epsilon}\int_E |f_n(x)-f(x)|\,d\mu \)

Dado que la convergencia casi uniforme implica la convergencia en medida, tenemos que:
\( \lim_{n\to\infty} \int_E |f_n(x)-f(x)|\,d\mu = 0 \)

Por lo tanto, para todo \( \epsilon>0 \), existirá un \( N \) tal que para \( n>N \), \( \int_E |f_n(x)-f(x)|\,d\mu <\epsilon \). Esto implica que \( \mu(A_n\cap E)< \epsilon \). Sin embargo, recordemos que elegimos \( E \) para que la medida de su complemento sea finita. Por lo tanto, \( \mu(E^c)<\infty \).

Entonces, \( \mu(A_n) = \mu(A_n\cap E) + \mu(A_n\cap E^c) \leq \mu(A_n\cap E) + \mu(E^c) < \epsilon+\mu(E^c) \).

Creo que esta parte está bien, pero como te decía te podrías haber ahorrado todo esto utilizando el hecho de que \( \mu (E_{\epsilon })<\epsilon  \) y que por tanto \( \mu (A_n)<\epsilon  \) para todo \( n \).

Dado que \( \epsilon \) y \( \mu(E^c) \) son constantes, podemos concluir que \( \mu(A_n)\to 0 \) cuando \( n\to\infty \), lo que nos prueba la convergencia en medida.

No veo manera de concluir que \( \mu (A_n)\to 0 \) únicamente del hecho de que \( \mu (A_n)<K \) para alguna constante \( K>0 \). Esto está mal o deberías aclararlo más.