31 votos

Número de $\sigma$ -Algebra sobre el conjunto finito

Dejemos que $X$ es un conjunto no vacío con $m$ miembros . ¿Cuántos $\sigma$ -álgebra podemos hacer en este conjunto?

2 votos

Creo que el número de $\sigma$ -es menor que $2^{n}$ donde $n$ es el número de $X$ .

0 votos

@Alizter veo que has abierto una recompensa porque la pregunta no ha recibido suficiente atención. Quieres que mi respuesta sea más detallada?

0 votos

@DavideGiraudo Creo que sería una buena idea. También creo que esta pregunta es aplicable a un público más amplio por lo que quizás alguna notación y explicación más sencilla puede ser conveniente. Gracias por responder :)

28voto

Davide Giraudo Puntos 95813

Respuesta corta. Puedes hacer tanto $\sigma$ -como particiones en $X$ .

Verificación formal. Dejemos que $\mathcal A$ sea la colección de todas las álgebras sobre $X$ y que $\Pi$ sean todas las particiones de $X$ (que consisten en conjuntos no vacíos). Existe una correspondencia biyectiva entre $\mathcal A$ y $\Pi$ . En efecto, para una partición $P\in \Pi$ Considera que $\mathfrak A_{\Pi}$ el álgebra generada por $\{A_1,\ldots,A_k\}$ los elementos de $P$ es decir $\mathfrak A_{\Pi}$ consiste en el conjunto $\bigcup_{j\in J}A_j$ , donde $J\subset \{1,\ldots,k\}$ . Para ver que esta correspondencia es biyectiva, dado un álgebra $\mathfrak A$ se puede definir para todos $x\in X$ el conjunto $A_x:=\bigcap_{A\in \mathfrak A,x\in A}A$ (es una intersección finita), y eso le dará una partición única.

En efecto, defina la relación de equivalencia $x\sim y$ si y sólo si $A_x=A_y$ . Da una partición, y es la única. Si $P=\{S_1,\ldots,S_m\}$ funciona, entonces $A_x=S_{i(x)}$ para algunos $i(x)$ y se puede comprobar que esta partición está formada por las clases de equivalencia de $\sim$ .

Así que el problema es enumerar el número de particiones de un conjunto que tiene $m$ elementos. Tendrá que utilizar Los números de Bell .

0 votos

¿Por qué esta correspondencia es biyectiva?

0 votos

He añadido los detalles.

2 votos

¿Y cuando X es contablemente infinito? ¿Sigue funcionando? Esa intersección de elementos del álgebra sigma ya no sería finita, ¿correcto?

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