Dejemos que $\mathcal{F}$ sea una familia infinita de subconjuntos de $X$ de cardinalidad $\kappa$ (así $\kappa$ es un cardinal infinito). A partir de la descripción recursiva de los generados $\sigma$ -álgebra, sé que el $\sigma$ -Álgebra $\langle \mathcal{F}\rangle$ que es generado por $\mathcal{F}$ tiene como máximo la cardinalidad $\kappa^{\aleph_0}$ . Por otra parte, dado que $\langle \mathcal{F}\rangle $ contiene $\mathcal{F}$ , $\langle \mathcal{F}\rangle$ tiene una cardinalidad de al menos $\kappa$ . Por lo tanto, tenemos $\kappa\leq |\langle \mathcal{F}\rangle |\leq \kappa^{\aleph_0}$ . ¿Es cierto que $|\langle \mathcal{F}\rangle |=\kappa^{\aleph_0}$ ? No estoy muy familiarizado con la aritmética cardinal, gracias por cualquier ayuda.
Gracias por su respuesta. De la wikipedia es.wikipedia.org/wiki/Complete_Boolean_algebra sé lo que es un álgebra booleana completa. Pero, ¿qué significa el álgebra de Boole completa infinita?
0 votos
Trate de tomar $\mathcal {F} $ para ser un álgebra sigma en sí misma. Entonces es obvio cuál es la cardinalidad del álgebra sigma generada.
0 votos
@PhoemueX En este caso, creo que tenemos $\kappa^{\aleph_0}=\kappa$ . Obsérvese que no existe $\sigma$ -con cardinalidad $\aleph_0$ . Por lo tanto, si $\mathcal{F}$ mismo es un $\sigma$ -debe tener una cardinalidad mayor que $\aleph_0$ . En este caso, podemos tener $\kappa=\kappa^{\aleph_0}$ . De hecho, si $\kappa=c$ la igualdad se mantiene.
0 votos
Decidir si $\kappa =\kappa^\aleph_0$ parece ser un problema difícil ( math.stackexchange.com/questions/184746/ ), posiblemente incluso indecidible en ZFC. Si asumimos la hipótesis del continuo generalizado, esto es válido para todos los conjuntos incontables. Pero en general, parece ser difícil. Nótese también que toda álgebra sigma infinita tiene al menos la cardinalidad del continuo.