La cardinalidad es una medida del número de elementos de un conjunto: los conjuntos finitos tienen un cardinal natural finito, los conjuntos infinitos se comparan por la existencia de biyecciones (misma cardinalidad) o inyecciones/suryecciones (relación ≤).

Principio

Dos conjuntos tienen la misma cardinalidad si existe una biyección entre ellos; inyecciones y sobreyecciones definen un orden parcial en las cardinalidades; el teorema de Cantor muestra que el conjunto de partes tiene cardinal estrictamente mayor que el original.

Demostración

Ejemplo finito: {a,b,c} tiene cardinalidad 3. Ejemplo numerable: los enteros y los pares están en biyección, ambos numerablemente infinitos. Ejemplo no numerable: los reales tienen cardinal estrictamente mayor que los naturales.

Aplicación incorrecta

Tratar los conjuntos infinitos como si siguieran intuición finita (por ejemplo, asumir que un subconjunto propio tiene cardinal menor), o confundir 'tamaño' en teoría de la medida con cardinalidad.

Consecuencia

La cardinalidad clasifica conjuntos en finitos, numerables y varias magnitudes no numerables (alephs, continuo); restringe posibles biyecciones e informa resultados de existencia/no existencia en matemáticas, con consecuencias que dependen de axiomas como la elección (AC).

Inversión

La perspectiva opuesta enfatiza medida o probabilidad: un conjunto puede ser no numerable pero de medida cero; la cardinalidad ignora la estructura métrica o de medida y registra solo el tamaño combinatorio.

Límite

Afecta al tamaño puramente conjuntista; la aritmética de cardinales tiene comportamientos sorprendentes en casos infinitos y puede depender de axiomas de teoría de conjuntos; cardinalidad no captura topología, medida ni estructura.

Tensión semántica

Compite con nociones de 'medida', 'dimensión' y 'densidad' — la cardinalidad es un tamaño combinatorio burdo, mientras que medida/dimensión capturan magnitud geométrica o probabilística y se comportan de forma distinta para conjuntos infinitos.

Síntesis

La cardinalidad es el recuento combinatorio de los elementos de un conjunto: una clasificación fundamental en tamaños finitos e infinitos determinada por biyecciones, central en teoría de conjuntos y en la distinción entre infinitos, pero ortogonal a nociones métricas o de medida.