Escolar Documentos
Profissional Documentos
Cultura Documentos
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.