Hola que tal, aquí planteo una solución al siguiente problema para revisión:
Sea \( X \) un espacio de medida finita y \( f_n, f \) funciones medibles y finitas casi siempre, tales que \( f_n \) converge casi siempre a \( f \). Pruebe que \( f_n \) converge a \( f \) en medida.Para probar que \( f_n \) converge a \( f \) en medida, primero recordemos la definición de convergencia en medida:
Se dice que una sucesión de funciones medibles \( (f_n) \) converge a una función medible \( f \) en medida si para todo \( \epsilon > 0 \), se tiene que:
\( \lim_{n\to \infty} \mu \left( \{ x \in X : |f_n(x) - f(x)| \geq \epsilon \} \right) = 0 \)
Ahora, consideremos el conjunto \( E_\epsilon = \{ x \in X : |f_n(x) - f(x)| \geq \epsilon \} \). Notemos que este conjunto puede ser expresado como la unión de dos conjuntos disjuntos: \( E_{\epsilon,+} \), donde \( f_n(x) - f(x) \geq \epsilon \), y \( E_{\epsilon,-} \), donde \( f_n(x) - f(x) \leq -\epsilon \). Entonces tenemos que:
\( E_\epsilon = E_{\epsilon,+} \cup E_{\epsilon,-} \)
Ahora, observemos que para cualquier número real \( \delta > 0 \), la siguiente desigualdad se cumple:
\( |f_n(x) - f(x)| \geq \epsilon \Rightarrow |f_n(x) - f(x)|^2 \geq \delta^2 \)
Esto implica que si \( \mu(E_{\epsilon,+}) > 0 \), entonces \( \mu(E_{\epsilon,+}) \geq \frac{\delta^2}{\epsilon^2} \). Análogamente, si \( \mu(E_{\epsilon,-}) > 0 \), entonces \( \mu(E_{\epsilon,-}) \geq \frac{\delta^2}{\epsilon^2} \).
Por lo tanto, tenemos que si \( \mu(E_\epsilon) > 0 \), entonces \( \mu(E_\epsilon) \geq \frac{\delta^2}{\epsilon^2} \). Esto implica que si \( \lim_{n\to \infty} \mu(E_\epsilon) = 0 \), entonces para todo \( \epsilon > 0 \), se tiene que \( \lim_{n\to \infty} \mu(E_\epsilon) \geq \frac{\delta^2}{\epsilon^2} \).
Ahora, dado que \( f_n \) converge casi siempre a \( f \), podemos afirmar que para cualquier \( \epsilon > 0 \), se tiene que \( \mu(E_\epsilon) = 0 \). Esto implica que para todo \( \delta > 0 \), se tiene que \( \lim_{n\to \infty} \mu(E_\epsilon) \geq \frac{\delta^2}{\epsilon^2} \).
Finalmente, si fijamos \( \delta \) y \( \epsilon \) arbitrarios, podemos concluir que \( \lim_{n\to \infty} \mu(E_\epsilon) = 0 \). Por lo tanto, \( f_n \) converge a \( f \) en medida.
