CONJUNTO POTENCIA DE NUMERABLES

El concepto de tamaño de un conjunto de objetos no tiene problema alguno cuando

se trata de un conjunto finito, pero cuando tratamos con conjuntos infinitos empiezan
los problemas.
Georg Cantor trató de asignarle un tipo especial de número a cada conjunto de
objetos con el objetivo de medir el tamaño de dicho conjunto. Así nacieron los
números cardinales. La cardinalidad de un conjunto A usualmente se denota por |𝐴|
o 𝑐𝑎𝑟𝑑(𝐴).
Para cualquier conjunto numerable 𝐴 (ver definición 3) escribiremos 𝑐𝑎𝑟𝑑 (𝐴) = ℵ0
(alef cero)
Es claro que el conjunto de números naturales es numerable, pero ¿el conjunto de
formado por los subconjuntos de ℕ será numerable?
La respuesta es no, y más aún el conjunto potencia (ver definición 4) de numerables
no es numerable. A continuación se demostrara esta afirmación mediante
cardinales y el teorema de cantor.

Definición 1:
Dos conjuntos A y B tienen la misma cardinalidad si existe una biyección, de A en
B. Se dice que dichos conjuntos son equipotentes y de denota A ~ B.

Definición 2:
Se dice que cardinal de un conjunto A sea estrictamente menor que el cardinal de
otro conjunto B es que no existan aplicaciones suprayectivas de A en B.
𝑐𝑎𝑟𝑑 (𝐴) < 𝑐𝑎𝑟𝑑(𝐵) ↔ ∀ 𝑓: 𝐴 → 𝐵 𝑓 𝑛𝑜 𝑒𝑠 𝑠𝑢𝑝𝑟𝑎𝑦𝑒𝑐𝑡𝑖𝑣𝑎
Definición 3:
Un conjunto A se llama numerable si 𝑐𝑎𝑟𝑑 (𝐴) = 𝑐𝑎𝑟𝑑 (ℕ).

Definición 4:
El conjunto potencia de A es el conjunto formado por todos los subconjuntos de A y
se denota por 𝓅(𝐴).
𝓅(𝐴) = {𝐵 | 𝐵 ⊆ 𝐴}

Teorema de Cantor
Para cualquier conjunto se verifica que su cardinal es estrictamente menor que el
de su conjunto potencia.
∀ 𝐴, 𝑐𝑎𝑟𝑑(𝐴) < 𝑐𝑎𝑟𝑑(𝓅(𝐴))
Demostración
Bastara probar que no existe una aplicación suprayectiva 𝑓: 𝐴 → 𝓅(𝐴), por lo que,
en virtud de la definición 2, el cardinal de A es estrictamente inferior al cardinal de
𝓅(𝐴).
Procederemos por contradicción
Supongamos que 𝑓 es suprayectiva, es decir, que ∀ 𝐵 ∈ 𝓅(𝐴), ∃ 𝑏 ∈
𝐴 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑓(𝑏) = 𝐵.
Elijamos como conjunto B aquella parte de A formada por los elementos cuya
imagen por 𝑓 no los contiene, es decir.
𝐵 = {𝑥 ∈ 𝐴 | 𝑥 ∉ 𝑓(𝑥)}
Luego como 𝑓 es suprayectiva se tiene que ∃ 𝑏 ∈ 𝐴 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑓(𝑏) = 𝐵. Notemos que
esto nos conduce a una contracción.
Caso 1: si 𝑏 ∈ 𝐵, entonces por definición de 𝐵 se tiene que 𝑏 ∉ 𝐵, lo cual es una
contradicción.
Caso 2: si 𝑏 ∉ 𝐵, entonces por definición de 𝐵 se tiene que 𝑏 ∈ 𝐵, lo cual es una
contradicción.
En ambos casos llegamos a una contradicción, por tanto no existe dicho 𝑏 ∈ 𝐴 y
entonces 𝑓 (que es una función cualquiera) no es suprayectiva, como queríamos
demostrar.

En particular se tiene que , ℵ0 < 𝑐𝑎𝑟𝑑(𝓅(ℕ)), y en virtud de la definición 3 se tiene

que 𝓅(ℕ) es no numerable y el conjunto potencia de numerables no es numerable.