11 votos

Un infinito $\sigma$ -contiene una secuencia infinita de conjuntos no vacíos y disjuntos.

Estoy tratando de resolver el Ejercicio 3 a) dado aquí . El problema se plantea:

Dejemos que $\mathcal{M}$ sea un infinito $\sigma$ -álgebra. Demostrar que $\mathcal{M}$ contiene una secuencia infinita de conjuntos no vacíos y disjuntos conjuntos. (Sugerencia: si $\mathcal{M}$ contiene una secuencia infinita de conjuntos estrictamente anidados, entonces hemos terminado, así que supongamos que no existe tal secuencia existe. A continuación, utilice esta suposición para encontrar un conjunto no vacío en $\mathcal{M}$ sin subconjuntos propios no vacíos en $\mathcal{M}$ . Por último, demuestre que esto se puede hacer infinitas veces).

Esta es mi idea: Digamos que $\mathcal{M}$ es $\sigma$ -en el conjunto $X$ . Si $\mathcal{M}$ no contiene una secuencia infinita de conjuntos estrictamente anidados, entonces dado cualquier $A\in\mathcal{M}$ cada cadena estricta que comienza con $A$ debe terminar después de un tiempo finito: es decir $A\subsetneq E_{1}\subsetneq E_{2}\subsetneq … \subsetneq E_{k}$ y no hay un conjunto $X\neq B\in\mathcal{M}$ tal que $E_{k}\subsetneq B$ . Pero entonces el complemento $E_k^{c}$ no tiene subconjuntos propios no vacíos en $\mathcal{M}$ . Pero tengo problemas para demostrar que el proceso puede repetirse infinitas veces.

Llevo todo el día atascado con esto y me está volviendo loco. ¡Gracias por la ayuda!

5voto

Prism Puntos 4541

He encontrado una respuesta muy interesante a la pregunta utilizando el Principio Máximo de Hausdorff aquí en la página 2. Permítanme hacer una captura de pantalla por ahora. Volveré a hacerla con látex cuando tenga tiempo. enter image description here

4voto

universalset Puntos 6716

Aquí hay una pista: ¿puede demostrar que $\mathcal{M}_1 := \{Y \cap E_k\ | Y \in \mathcal{M}\}$ es un infinito $\sigma$ -(y un subconjunto de $\mathcal{M}$ ) con la misma propiedad? Ahora repite este proceso, obteniendo $\mathcal{M}_n$ para cada $n\in \mathbb{N}$ y encontrar un conjunto $A_n$ disjuntos de cada conjunto anterior $A_i$ ( $i<n$ ) en cada paso del proceso.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X