Un conjunto numerable puede listarse usando los números naturales. Un conjunto no numerable es demasiado grande para cualquier lista infinita numerada.
En el tema anterior vimos que no todos los infinitos tienen el mismo tamaño. Ahora distinguiremos con más detalle entre conjuntos numerables y no numerables.
Esta clasificación es fundamental en matemática, lógica, computación teórica y análisis de los límites de lo que puede enumerarse o representarse mediante algoritmos.
Un conjunto es numerable si sus elementos pueden ponerse en una lista, finita o infinita, indexada por números naturales.
Si un conjunto infinito puede listarse de esta forma sin omitir elementos, entonces es infinito numerable.
Todo conjunto finito es numerable porque sus elementos pueden listarse uno por uno.
El concepto de numerabilidad incluye conjuntos finitos e infinitos que pueden enumerarse.
Los números naturales son el ejemplo principal de conjunto infinito numerable.
Se listan naturalmente en su propio orden.
Los enteros también son numerables, aunque se extienden hacia negativos y positivos.
Esta enumeración alcanza todos los enteros en una lista infinita.
El conjunto de pares ordenados de naturales también es numerable. Aunque parece una grilla infinita, puede recorrerse por diagonales.
Este recorrido permite listar todos los pares sin dejar ninguno fuera.
Los racionales son numerables porque pueden representarse como fracciones de enteros y organizarse en una grilla de numeradores y denominadores.
Aunque entre dos racionales siempre hay otro racional, eso no impide que el conjunto sea numerable.
Un conjunto es no numerable si no existe ninguna forma de listar todos sus elementos usando los números naturales.
Los números reales son el ejemplo clásico de conjunto no numerable.
Cantor demostró que los números reales entre 0 y 1 no pueden listarse completamente. Como ese intervalo ya es no numerable, el conjunto de todos los reales también lo es.
La diagonal de Cantor muestra que cualquier supuesta lista completa de números reales entre 0 y 1 siempre deja al menos un número fuera.
Construyendo un nuevo número que difiere en la primera cifra del primer número, en la segunda cifra del segundo, en la tercera cifra del tercero, y así sucesivamente, se obtiene un número que no aparece en la lista.
| Conjunto | ¿Numerable? | Motivo |
|---|---|---|
| Conjunto finito | Sí | Puede listarse completamente |
| N | Sí | Ya está enumerado naturalmente |
| Z | Sí | Puede ordenarse en una lista |
| Q | Sí | Puede recorrerse mediante una enumeración de fracciones |
| R | No | La diagonal de Cantor impide una lista completa |
Un conjunto numerable puede ser infinito. La palabra numerable no significa finito, sino que puede enumerarse.
Esto es importante porque los racionales son infinitos y densos, pero siguen siendo numerables.
Un programa no puede completar una enumeración infinita, pero puede generar sus primeros términos.
function primerosEnteros(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(primerosEnteros(12));La función ilustra una enumeración posible de los enteros.
Podemos generar pares de naturales por diagonales.
function primerosParesNaturales(cantidad) {
const pares = [];
for (let suma = 2; pares.length < cantidad; suma++) {
for (let a = 1; a < suma && pares.length < cantidad; a++) {
const b = suma - a;
pares.push([a, b]);
}
}
return pares;
}
console.log(primerosParesNaturales(12));Este recorrido muestra cómo una grilla infinita puede transformarse en una lista.
Todo programa concreto es una cadena finita de símbolos. Por eso, los programas posibles sobre un alfabeto finito forman un conjunto numerable.
En cambio, los números reales son no numerables. Esto sugiere una diferencia profunda: hay más números reales que programas capaces de describirlos individualmente.
| Área | Importancia |
|---|---|
| Matemática | Distinguir tamaños de infinito |
| Computación teórica | Comprender límites de enumeración y descripción |
| Lógica | Estudiar lenguajes formales y modelos |
| Análisis | Comprender la estructura de los números reales |
| Programación | Diferenciar generación finita, perezosa e infinita potencial |
Los conjuntos numerables pueden organizarse en una lista, aunque sean infinitos. Los no numerables, como los reales, superan cualquier enumeración posible. Esta diferencia revela una estructura profunda dentro del concepto de infinito.
En el próximo tema estudiaremos paradojas y límites de la teoría de conjuntos.