Los números reales: una historia en capas, de los decimales al campo ordenado

1. Cada número nuevo nació de un problema que el anterior no resolvía

Los conjuntos numéricos no fueron un regalo: se inventaron para tapar huecos. Contar animales o graneros pidió los naturales (1, 2, 3…). Pero 'quedarse sin algo' o deber exigió el cero y los enteros negativos (…, -2, -1, 0, 1, 2…). Repartir una medida entre varios forzó las fracciones, los racionales. Y cuando alguien quiso medir la diagonal de un cuadrado de lado 1, descubrió que ninguna fracción la expresa: aparecieron los irracionales. Reuniendo racionales e irracionales se obtienen los reales, que son 'todos los puntos de la recta', sin huecos. Cada ampliación conservó lo anterior y añadió lo que faltaba.

2. Decimales: la puerta de entrada

Empecemos por lo concreto: los decimales positivos. Un decimal puede terminar ('0.5', '0.125'), o repetirse para siempre con un patrón ('0.333…' = 1/3, '0.142857142857…' = 1/7). Los decimales que terminan o que se repiten con periodo son siempre fracciones: son racionales. Pero hay decimales que no terminan y no se repiten nunca: '1.41421356237…' (la raíz de 2) o '3.14159265…' (pi). Esos no son fracción: son irracionales. La forma de su expansión decimal es justo la que delata a qué familia pertenece un número.

3. El hallazgo que incomodó: raíz de 2 no es fracción

La leyenda cuenta que los pitagóricos, convencidos de que todo era número-entero-o-relación-de-enteros, se llevaron una sorpresa con el teorema de Pitágoras: un cuadrado de lado 1 tiene diagonal d con d·d = 2, es decir d = raíz de 2. Intentemos escribirla como fracción irreducible p/q (sin factores comunes). De p/q = raíz de 2 se sigue p·p = 2·(q·q), o sea p·p es par, luego p es par: p = 2k. Sustituyendo, 4k·k = 2·q·q, así que q·q es par y también q es par. Pero entonces p y q comparten el factor 2, contradiciendo que la fracción era irreducible. No existe esa fracción. Lo que salvó la situación fue ampliar el mundo: aceptar números que no son cociente de enteros.

4. Los reales como campo ordenado (en palabras simples)

Cuando los matemáticos dicen que los reales forman un campo ordenado y completo, enumeran las reglas del juego. Campo: puedes sumar y multiplicar con propiedades seguras — asociativa, conmutativa, existen el 0 (neutro de la suma) y el 1 (neutro del producto), todo número tiene su opuesto (para restar) y todo número distinto de cero tiene su recíproco (para dividir). Ordenado: los números se ordenan en una recta de menor a mayor, y ese orden respeta las operaciones — si a es menor que b, entonces a más c es menor que b más c; y si además multiplicamos por un número positivo c, la desigualdad se conserva. Completo: es la propiedad que distingue a los reales de los racionales y la que veremos al final.

5. Densidad y huecos: por qué hace falta la completitud

Un conjunto es denso si entre dos elementos siempre hay otro. Los racionales son densísimos: entre 0.1 y 0.2 hay infinitas fracciones. Y, sin embargo, tienen huecos: en el punto exacto donde vive raíz de 2 no hay ningún racional. La recta de los racionales está 'llena de números pero agujereada'. Los reales se obtienen tapando todos esos agujeros: cada punto de la recta, sin excepción, es un real. Esa ausencia de huecos es la completitud, y es lo que hace posible medir longitudes, alturas o tiempos de forma continua. Sin ella, la raíz de 2 seguiría siendo un fantasma entre los números.

En resumen. Los números se ampliaron por necesidad: contar (N), deber (Z), repartir (Q), medir lo continuo (irracionales) hasta llenar la recta (R). Los racionales son decimales que terminan o se repiten; los irracionales son decimales interminables sin periodo como raíz de 2 y pi. Los reales son un campo ordenado (puedes sumar, multiplicar, restar, dividir y ordenar con reglas fijas) y, a diferencia de los racionales, son completos: no tienen huecos. Esta es la perspectiva histórica y estructural que pide P06.