La cardinalidad mide el tamaño de un conjunto. En conjuntos infinitos, comparar tamaños requiere correspondencias y lleva a una idea sorprendente: no todos los infinitos tienen el mismo tamaño.
Para conjuntos finitos, la cardinalidad es simplemente la cantidad de elementos. Si un conjunto tiene cinco elementos, su cardinalidad es cinco.
Con conjuntos infinitos, la situación es más profunda. No podemos contar hasta terminar, por lo que necesitamos otra forma de comparar tamaños. Esa forma se basa en correspondencias entre elementos.
En un conjunto finito, la cardinalidad se obtiene contando elementos distintos.
Este caso es directo porque el conteo termina.
Un conjunto es infinito cuando no tiene una cantidad finita de elementos. Los números naturales son el ejemplo básico.
Siempre podemos encontrar un natural más grande, por eso el conjunto no termina.
Para comparar conjuntos infinitos usamos correspondencias uno a uno. Si podemos emparejar cada elemento de un conjunto con exactamente un elemento del otro, ambos tienen la misma cardinalidad.
La biyección permite comparar tamaños sin contar hasta el final.
El conjunto de los números naturales y el conjunto de los números pares positivos tienen la misma cardinalidad, aunque los pares parezcan "menos".
La función f(n) = 2n empareja cada natural con un par positivo y no deja pares sin emparejar.
En conjuntos finitos, un subconjunto propio siempre tiene menor cardinalidad. En conjuntos infinitos, esto puede no ocurrir.
Esta es una de las primeras diferencias importantes entre conjuntos finitos e infinitos.
Un conjunto infinito es numerable si sus elementos pueden ponerse en correspondencia con los números naturales.
Los naturales, los pares positivos y los enteros son ejemplos de conjuntos numerables.
El conjunto de los enteros también es numerable, aunque incluye negativos, cero y positivos.
Podemos enumerarlos en un orden como:
Esta lista permite asociar cada entero con un número natural.
Los racionales también son numerables, aunque entre dos racionales siempre hay otro racional.
La idea consiste en ordenar fracciones en una grilla y recorrerlas cuidadosamente, evitando repeticiones. El resultado muestra que pueden enumerarse.
Los números reales no son numerables. Cantor demostró que no se pueden listar todos los reales en una secuencia numerada por los naturales.
Esto significa que la cardinalidad de los reales es mayor que la cardinalidad de los naturales.
Una de las conclusiones más importantes de la teoría de conjuntos es que existen diferentes tamaños de infinito.
| Conjunto | Tipo de infinito | Comentario |
|---|---|---|
| N | Numerable | Se puede listar directamente |
| Z | Numerable | Se puede reordenar en una lista |
| Q | Numerable | Se puede enumerar con cuidado |
| R | No numerable | No existe una lista completa de reales |
La cardinalidad de los números naturales se denota con ℵ₀, que se lee "aleph cero".
Todo conjunto infinito numerable tiene cardinalidad ℵ₀.
La cardinalidad de los números reales se conoce como cardinalidad del continuo.
Esto expresa que hay más números reales que naturales, incluso aunque ambos conjuntos sean infinitos.
En programación no podemos generar un conjunto infinito completo, pero sí podemos simular los primeros términos de una correspondencia.
function primerosPares(cantidad) {
const resultado = [];
for (let n = 1; n <= cantidad; n++) {
resultado.push([n, 2 * n]);
}
return resultado;
}
console.log(primerosPares(10));La salida muestra los primeros pares de la correspondencia n ↔ 2n.
También podemos generar una secuencia que enumera enteros alternando positivos y negativos.
function primerosEnterosEnumerados(cantidad) {
const resultado = [0];
for (let n = 1; resultado.length < cantidad; n++) {
resultado.push(n);
if (resultado.length < cantidad) {
resultado.push(-n);
}
}
return resultado;
}
console.log(primerosEnterosEnumerados(11));Esta enumeración ilustra por qué los enteros son numerables.
| Área | Importancia de la cardinalidad infinita |
|---|---|
| Matemática | Distinguir tipos de infinito |
| Computación teórica | Estudiar qué objetos pueden enumerarse o codificarse |
| Lógica | Analizar lenguajes, modelos y estructuras infinitas |
| Programación | Comprender secuencias infinitas generadas bajo demanda |
| Datos | Distinguir datos finitos de espacios de valores potencialmente infinitos |
La cardinalidad de conjuntos infinitos muestra que el infinito puede compararse con rigor. Las biyecciones permiten descubrir que algunos conjuntos infinitos tienen el mismo tamaño y que otros, como los reales, son más grandes.
En el próximo tema estudiaremos conjuntos numerables y no numerables con más detalle.