Hola
Hola a todos, podrían ayudarme con este ejercicio.
Sea \( X \) un conjunto de \( n \) elementos. ¿Cuántas \(\sigma\)-álgebras distintas se pueden obtener con los \( 2^n \) subconjuntos de \( X \)? ¿Cuántas hay que tengan exactamente \( p \) elementos?
En un conjunto infinito \( x \) a toda \( \sigma \)-álgebra \( A \) se le puede asignar una partición que la genera. Basta tomar la familia de subconjuntos:
\( A_x=\bigcap \{C\in A|x\in C\} \) con \( x\in X \)
Se puede probar que es una partición y que general la \( \sigma \)-álgebra.
Y recíprocamente dada una partición genera una \( \sigma \)-álgebra.
Entonces contar \( \sigma \)-álgebras en un conjunto finito es contar particiones del mismo. Esto es un problema conocido:
https://es.wikipedia.org/wiki/N%C3%BAmero_de_BellPor otra parte nota que si \( P \) es una partición en \( k\geq 1 \) elementos la \( \sigma \)-álgebra que genera tiene \( p=2^k \) elementos. Es decir en conjuntos finitos sólo existen \( \sigma \) álgebras con un número de elementos que sea una potencia de \( 2 \).
En concreto el número de \( \sigma \)-álgebras con \( p=2^k \) elementos es el mismo que el número de particiones un conjunto de \( n \) elementos en \( k \) partes.
Eso es otro problema conocido:
https://es.wikipedia.org/wiki/N%C3%BAmeros_de_Stirling#N%C3%BAmeros_de_Stirling_de_segunda_especieSaludos.
