• Registro
Foro de preguntas y respuestas de matemáticas, de cualquier nivel. Cuánto más interesantes, divertidas o intrépidas, mejor.
Aviso: Te invitamos a conocer la página de Facebook de la UCIM

Ganas puntos al hacer preguntas, contestarlas y, sobre todo, si tu respuesta es seleccionada como la mejor.
Registrate como usuario para participar en el foro. También puedes utilizar tu identidad de FB Utiliza el botón azul para ingresar (si usas tu identidad de FB y estás logeado en FB, automáticamente te reconoce).

El irracional tiene una página en FB. El Irracional






Ver que un conjunto es de medida 0.

+1 voto

PROBLEMA: Sea $(X, \mathcal{F}, \mu)$ un espacio con medida y la sucesión $\left\{ A_i\right\}_{i=1}^{\infty} \subset \mathcal{F}$ tal que
\[
\sum_{i=1}^{\infty} \mu (A_i) < \infty
\]
Probar que si $Z=\left\{ x \in X : x\in A_i \ \text{para una infinidad de $i$´s} \right\}$ entonces $\mu(Z)=0$

AVANCES: Lo que estoy tratando de ver es que si $A=\bigcup_{i=1}^{\infty}A_i$ entonces $\mu(A)=\mu(A \backslash Z)$, con lo cual ya quedaría la prueba, sin embargo, no logro llegar de manera directa, me esta causando muchos problemas como pensar el conjunto $A\backslash Z$, alguna otra idea para la prueba? 

preguntado por aldel16 (1,730 puntos) Dic 23, 2014 en Preguntas
editado por aldel16 Dic 23, 2014
Muestra que $Z=\bigcap_{n=1}^{\infty}\bigcup_{k=n}^{\infty}{A_k} \tag{2}$.



Si $\displaystyle E_n=\bigcup_{k=n}^{\infty} A_k$. Entonces  $\mu(E_1)$ es finito.

 
Por lo que:



$\mu(E_n)\leq \sum_{k=n}^{\infty}\mu(A_k) \Rightarrow \lim_{n\to \infty}\mu(E_n)\leq \lim_{n\to \infty}\sum_{k=n}^{\infty}\mu(A_k)=0$.



Por tanto:   $\mu(E_n)\to 0=\mu(Z)$
aldel16, este resultado es conocido como el Lema de Borel-Cantelli y la prueba es como menciona Izzyro en su comentario. Un saludo.
Claro, conocía el lema de borel cantelli pero con el límite superior de una sucesión de conjuntos. No recordaba que de hecho una forma de ver al límite superior es como se define al conjunto Z. Gracias a ambos, saludos.

1 Respuesta

+2 votos
 
Mejor respuesta
Para no dejar la pregunta sin solución ahí les va una demostración, basada en el comentario de @Izzyro:

Definamos $E_n=\bigcup_{k=n}^{\infty} A_k$. Notemos que
\[
x \in \bigcap_{n=1}^{\infty} E_n \Longleftrightarrow x \in E_n \ \forall \ n \Longleftrightarrow x \in Z
\]
es decir que $Z=\bigcap_{n=1}^{\infty} E_n$. Además es claro que $E_n \supseteq E_{n+1}$ y como por hipótesis $\mu(E_1)<\infty$, por un famoso resultado para la medida de la intersección de una sucesión decreciente de conjuntos medibles tendremos
\[
\mu(Z)=\mu\left( \bigcap_{n=1}^{\infty} E_n \right) = \lim_{n \to \infty} \mu(E_n)
\]
Sin embargo, como $\mu(E_n) \leq \sum_{k=n}^{\infty} \mu(A_k)$, entonces $\lim_{n \to \infty} \mu(E_n)=0$, de donde concluimos que en efecto $\mu(Z)=0$.
respondido por aldel16 (1,730 puntos) Dic 30, 2014
Licencia Creative Commons
Este obra está bajo una Licencia Creative Commons Atribución-NoComercial-CompartirIgual 2.5 México.

powered by UCIM

...