Teorema de Cantor

Carta Poco común · N.º 175786

El teorema de Cantor, de Georg Cantor,​ es un resultado formalizable en la teoría de conjuntos de Zermelo-Fraenkel, que afirma lo siguiente:​ Para conjuntos finitos, se puede ver que el teorema de Cantor es verdadero mediante una simple enumeración del número de subconjuntos. Contando el conjunto vacío como un subconjunto, un conjunto con n {\displaystyle n} elementos tiene un total de 2 n {\displaystyle 2^{n}} subconjuntos, y el teorema se cumple porque 2 n > n {\displaystyle 2^{n}>n} para todos los enteros no negativos.​​ Mucho más significativo es el descubrimiento de Cantor de un argumento que es aplicable a cualquier conjunto y muestra que el teorema también se cumple para conjuntos infinitos. En consecuencia, la cardinalidad de…

Leer en Wikipedia · Imagen KSmrq, CC BY-SA 3.0