Hola a todos. Quería consultar lo siguiente:
Consideremos la familiade conjuntos de
. He visto que existe un procedimiento para construir el álgebra generada por
. Ese procedimiennto es el siguiente:
1.- Comenzamos considerando la familiaformada por el vacío, el conjunto
y aquellos conjuntos cuyo complementario
.
2.- Despues consideramos la familiaformada por las intersecciones finitas de elementos de
3.- Y por último construímos la familiade las uniones finitas de conjuntos disjuntos de elementos de
Resulta entonces que.
Pues bien, ye he sido capaz de demostrar (consultando libros y apuntes) que(esto último es evidente). Sin embargo, para terminar de probar que
.
¿Alguien me puede echar una mano?. Muchas gracias.
Citar