¿Hay más números pares, impares, o naturales? Parece que debería haber tantos pares como impares, porque a cada impar puedes asociarle un par (súmale o réstale 1), lo que implica que hay una biyección entre ellos y, como vimos en la entrada anterior, que tienen el mismo cardinal (o sea, “la misma cantidad de elementos”). Ahora, en su día, yo creía que habría más naturales que pares, porque los naturales contienen todos los pares pero tienen además números extra. En la jerga matemática, había encontrado una función inyectiva de los pares a los naturales que no era suprayectiva, luego no era una biyección. Pero bien podía ser que existiera otra función que sí lo fuera. Y, en efecto, existe: la función que multiplica por 2 cada número natural es una función de los naturales a los pares, que es inyectiva (no puede ser que dos números distintos sean iguales tras multiplicarlos por 2) y suprayectiva (cualquier par es el doble de otro número natural). Luego, por sorprendente que pueda parecer en un principio, hay tantos pares como naturales.
En la última entrada mostramos que, si tenemos una cantidad infinita de elementos ordenada de una cierta manera, podemos reordenarla de forma que el resultado sea, digamos, esencialmente distinto. Recuerda la carrera con infinitos competidores: es posible que en la clasificación final nadie quede último (\(ω\)), o que haya un último (\(ω+1\)), o que haya último y penúltimo (\(ω+2\)), o incluso que el resultado sea como dos carreras infinitas sin último, una detrás de otra (\(ω\cdot 2\)). La manera de demostrar que realmente podíamos hacer esta reorganización consistía en hacer una tabla con dorsales y posiciones, de manera que quedara claro que ambas clasificaciones, la original (según el número del dorsal) y la nueva, podían ser perfectamente válidas para nuestra carrera.
En una carrera participan 10 personas. Salen, corren los kilómetros que deban correr (salvo que sean como yo, en cuyo caso tal vez sólo corran “kilómetro” en singular), y terminan. Pongamos que has visto cómo iban llegando, y que has anotado su orden de llegada. Una de esas personas habrá llegado en primera posición, otra en la segunda, y así hasta la décima. Todo según lo previsto, pues corrían 10 personas: si hubieras visto que nadie llegaba en décima posición, tal vez hubieras dado la voz de alarma por una persona que nunca llegó a la meta; si hubieras visto que alguien llegaba en la undécima posición, habrías enarcado una ceja y sospechado juego sucio. Pero todo sale bien: eran diez personas, y todas las posiciones de la primera a la décima están cubiertas.
En la última entrada habíamos tratado cómo escribir los números desde el punto de vista de conjuntos: el 0 sería el conjunto vacío, sin elementos; el 1, el conjunto que contiene únicamente al número 0; el 2, el conjunto que contiene a 0 y 1, y así. Esto nos daba una forma de describir cualquier número, en principio: empezando desde el 0, podíamos ir describiéndolos todos de uno en uno hasta llegar al número deseado. Cierto es que, si el número que te interesa describir es gigantesco, tal vez no llegues a él antes de que la muerte llegue a ti, pero en este momento, con nuestro sombrero de matemático puro sobre nuestras cabezas, cómo hacer las cosas en la práctica nos parece irrelevante.