Hola,
Estoy con dudas al intentar demostrar esto. Mi idea es utilizar el hecho de que una relación de equivalencia queda determinada por una partición del conjunto sobre el cual estará definida la relación; así, el conjunto de estas particiones será el conjunto cociente. Bueno, la pregunta es, entonces, ¿De cuántas maneras se puede particionar un conjunto con elementos, de tal forma que los subconjuntos sean disjuntos dos a dos?
Para responder esto, se me ocurrió separar en casos y aplicar la regla de la suma, pero no estoy seguro de que esté bien. Primero voy a comentar lo primero que se me ocurrió, lo cual me lleva a un resultado incorrecto:
Caso genérico : Considero elementos del conjunto, los cuales se pueden elegir de formas distintas. Formo una relación de equivalencia con los elementos restantes, lo cual se puede hacer de formas. Esto último me da una partición del subconjunto de elementos, para completar la partición que determina la relación sobre el conjunto total, le agrego la clase de equivalencia que consta de los elementos elegidos al principio. Así, este caso se puede realizar de formas.
Por la regla de la suma, y considerando , se tiene . Imagino que estoy contando casos de más, esto me forzó a pensar en lo siguiente:
Caso genérico : entre los primeros elementos del conjunto, elijo , lo cual se puede hacer de formas. Con los restantes elementos (entre los primeros del conjunto total), formo una relación de equivalencia, lo cual se puede realizar de formas. Ahora bien, para completar la partición, agrego la relación de equivalencia que consta de los elementos elegidos previamente y el último, que hasta el momento no había sido considerado. Así, este caso se puede realizar de formas.
En lo anterior se supuso , por lo que debe verificar . Además, el mínimo valor posible para es 0 (valores negativos no tienen sentido y con un valor mínimo mayor no se cubren todos los casos). Luego, por la regla de la suma, .
¿Está bien esto último? ¿Estoy contando de más en el primer razonamiento? ¿Por qué? Gracias!
Saludos,
Leandro