JORDI CAMPOS MOTA UNIVERSIDAD PANAMERICANA GPC TEOREMA DE CANTOR El teorema de Cantor es un resultado formalizable en la teora de conjuntos de ZermeloFrnkel,

que afirma lo siguiente: El conjunto de partes de un conjunto de cualquier conjunto A tiene una cardinalidad estrictamente mayor que la cardinalidad del propio A. El teorema de Cantor es obvio para conjuntos finitos: si un conjunto finito tiene n elementos entonces el conjunto de partes de ese conjunto tiene 2n elementos. El hecho de que sea vlido para todo conjunto infinito no es del todo intuitivo, pero permite establecer varios resultados interesantes: Existe una infinidad de cardinales transfinitos, lo cual significa que en realidad existen muchos tipos de infinito (de hecho una infinidad) cada uno mayor que el anterior. Este resultado a priori es muy poco intuitivo, pero terriblemente importante en la fundamentacin de las matemticas. 2. No existe un conjunto que contenga a todos los dems conjuntos. 3. No existe ninguna manera de enumerar todos los subconjuntos de .
1.

Para ilustrar la validez de este teorema para conjuntos infinitos se reproduce a continuacin una demostracin. Consideremos una funcin cualquiera f de A en el conjunto de partes de A, entonces demostrar el teorema de Cantor requiere probar que f no es sobreyectiva (exhaustiva). Y para probar que f no es sobreyectiva basta encontrar un subconjunto de A que no sea la imagen de ningn elemento de A a travs de f. Cantor consider un conjunto particular B definido como:

Y prob que ese subconjunto no puede ser la imagen de ningn elemento de A. El argumento que construy Cantor es por reduccin al absurdo presuponiendo de partida que f si es sobreyectiva, y entonces el argumento va como sigue: 1. Puesto que f es sobreyectiva, entonces existe un subconjunto de A. puesto que B es

2. Ahora tratemos de ver si o bien . Supongamos en primer lugar que a pertenece a B, entonces por la definicin de B se tiene que a no pertenece, lo cual es contradictorio. Por otro lado si suponemos que a no pertenece a B, entonces por la definicin de B, a debe ser un elemento de B lo cual es una contradiccin de nuevo. 3. Por tanto llegamos al caso de que si existe un a cuya imagen sea el conjunto B entonces irremisiblemente llegamos a contradiccin, por tanto la nica salida es suponer que dicho a no existe y por tanto f no puede ser sobreyectiva, como queramos demostrar.

Comentario: Lo que entend acerca del Teorema de Cantor fue que establecido un cardinal cualquiera, siempre existe otro mayor que l. En efecto, entre un conjunto cualquiera A y el conjunto de sus partes P(A) siempre se verifica que si a = Card(A) , entonces a <2 a .