Opinion.
Probablemente te enseñaron en la escuela que 0,999… (repitiéndose infinitamente) es igual a 1. No aproximadamente. No «casi». Exactamente igual. La demostración es elegante, ampliamente aceptada y completamente circular. Nos dice algo verdadero sobre un sistema que inventamos. No nos dice nada sobre la realidad discretaHipótesis según la cual el espacio, el tiempo y la materia existen como unidades mínimas indivisibles, en lugar de como cantidades continuas infinitamente divisibles. Apoyada por algunas interpretaciones de la física cuántica..
La demostración que se demuestra a sí misma
Este es el argumento estándar. Sea x = 0,999… Entonces 10x = 9,999… Restamos: 10x − x = 9. Así que 9x = 9 y x = 1. Limpio. Satisfactorio. Y presupone exactamente lo que dice demostrar.
El paso «sea x = 0,999…» solo funciona si se acepta que un decimal infinito es un objeto coherente con un valor definido. Esa aceptación no es gratuita. Proviene de los axiomas del análisis realRama de las matemáticas que define con rigor conceptos como límites, continuidad y sucesiones infinitas mediante axiomas precisos. Constituye el fundamento formal del cálculo diferencial e integral., una rama de las matemáticas construida en el siglo XIX específicamente para formalizar el infinito. Los números reales se definen como la completación de los racionales, lo que significa que toda sucesión convergente tiene un límite, y los límites se definen como igualdades. La demostración de que 0,999… = 1 es válida porque el sistema fue construido para hacerla válida. Esto no es un descubrimiento sobre el universo. Es una propiedad de un mapa que dibujamos.
Mapas y territorios: qué significa la distinción
La frase de Alfred Korzybski «el mapa no es el territorio» es una de las ideas más útiles de la epistemología y una de las más ignoradas en la enseñanza de las matemáticas. Un mapa es un modelo. Simplifica, comprime, hace posible la navegación. Pero también introduce artefactos: características que existen en el mapa pero no en el paisaje que representa.
El análisis real es un mapa. Uno extraordinariamente útil. Permite a los ingenieros construir puentes, a los físicos calcular órbitas y a los economistas modelar mercados (con grados variables de éxito). Pero la recta numérica que describe, infinitamente divisible, perfectamente continua, sin la menor brecha entre dos puntos cualesquiera, es un artefacto del modelo. Si la realidad discreta posee o no esta propiedad es una cuestión completamente distinta. Y cada vez más, la física sugiere que la respuesta es no. La realidad discreta no es una hipótesis marginal. Es hacia donde apuntan las evidencias.
Continuo frente a discreto: rampas y escaleras
Para los lectores que no han encontrado esta distinción de manera formal, es más sencilla de lo que parece. Imaginen una rampa y una escalera, ambas llevando de la planta baja al primer piso. La rampa es continua: puedes detenerte en cualquier punto, y siempre hay un lugar entre dos lugares. La escalera es discreta: estás en un peldaño o en otro, y no hay nada entre ellos.
Ahora imaginen que hacen zoom en una fotografía. A distancia normal, se ve suave, continua, como una ventana al mundo. Acérquense lo suficiente y verán píxeles: diminutos cuadrados de un solo color, con bordes duros entre ellos. La suavidad nunca estuvo ahí. Era un producto de la distancia a la que se encontraban de los datos.
Todo el marco del análisis real, y por extensión la mayor parte de las matemáticas modernas, asume la rampa. Modela el espacio, el tiempo y las cantidades como continuos: infinitamente divisibles, sin unidad mínima, sin píxel, sin suelo. La pregunta es si la realidad es una rampa o una escalera. Y la física moderna no deja de encontrar peldaños.
La física encuentra los píxeles
Empecemos por la longitud de Planck: aproximadamente 1.616 × 10⁻³⁵ metros. Es la escala en la que nuestras mejores teorías de la gravedad y de la mecánica cuántica se aplican simultáneamente, y simultáneamente fallan. Por debajo de esta longitud, el concepto de «distancia» tal como lo entendemos podría dejar de tener sentido. No se trata simplemente de que no podamos medir más pequeño. Las matemáticas de la gravedad cuántica sugieren que podría no haber nada más pequeño que medir. El espacio mismo podría ser granular a esta escala, como una tela cuya trama solo se ve bajo la ampliación más extrema.
Ya se sabe que la energía es discreta. La intuición original de Planck, aquella que dio inicio a la mecánica cuántica en 1900, fue que la energía no se emite de forma continua sino en paquetes (cuantos). No fue una conveniencia matemática. Fue la única hipótesis que coincidía con los datos experimentales sobre la radiación del cuerpo negro. El universo, al menos en este dominio, resultó ser una escalera.
La gravedad cuántica de lazos, una de las principales candidatas a teoría de la gravedad cuántica, va más allá. Modela el espaciotiempo como una red de nodos y enlaces discretos, no como un continuo suave. Si este marco (o algo similar) es correcto, entonces el espacio continuo e infinitamente divisible que el análisis real asume no existe en el nivel más fundamental. La recta numérica es un mapa de un territorio que no es suave. La implicación para la realidad discreta es significativa: nuestras herramientas matemáticas más precisas podrían estar modelando algo que no existe.
Newton sabía que el mapa tenía fugas
Esta tensión no es nueva. Isaac Newton, cuyo cálculo formalizó las matemáticas continuas que seguimos usando, era consciente de que sus modelos se desviaban. Su mecánica orbital predecía las posiciones planetarias con una precisión impresionante pero imperfecta. Los errores residuales se acumulaban con el tiempo. Newton atribuyó las correcciones necesarias a la intervención divina: Dios, argumentaba, ajustaba periódicamente los planetas para mantener estable el sistema solar.
Solemos tratar esto como una curiosa nota al pie religiosa. En realidad es una admisión honesta de que el modelo era una aproximación. Laplace eliminó más tarde la necesidad de correcciones divinas con su teoría de perturbaciones, y la narrativa pasó a ser «Newton tenía razón, solo necesitaba mejores matemáticas». Pero el punto más profundo sobrevive: el modelo siempre fue una aproximación de algo más complejo. Construimos las matemáticas modernas sobre los cimientos de Newton y gradualmente olvidamos que eran cimientos, no roca madre. Como muestra la investigación sobre el desacuerdo entre expertos, los marcos que heredamos moldean las conclusiones a las que llegamos, a menudo de forma invisible.
Qué significa la realidad discreta para las matemáticas
Si el espacio es fundamentalmente discreto, se sigue un conjunto de consecuencias. Una línea infinitamente divisible no corresponde a nada en el mundo físico. Los límites, la columna vertebral del cálculo, son herramientas para navegar un modelo continuo que la realidad discreta no obedece en su capa más básica. La convergencia de 0,999… hacia 1 es un teorema sobre un espacio matemático que podría no tener equivalente físico. Es verdadero de la misma manera en que las reglas del ajedrez son verdaderas: internamente consistentes, completamente autoritativas dentro del juego, y sin pretensión alguna sobre nada fuera de él.
Esto no hace inútil al análisis real. Lo convierte en un mapa. Un mapa extraordinariamente bueno, uno que ha hecho posibles siglos de ingeniería, física y tecnología. Pero un mapa cuya suavidad es un rasgo de la cartografía, no del terreno. Cuando decimos 0,999… = 1, estamos diciendo algo verdadero sobre nuestro modelo de los números. Si el universo contiene algo que se comporte como 0,999… es una pregunta que las matemáticas no pueden responder, porque las matemáticas construyeron el sistema en el que la pregunta se resuelve con un «sí». El concepto de realidad discreta nos pide sostener ambas verdades simultáneamente: el mapa funciona, y el mapa no es el territorio.
El círculo al final del argumento
Sigan este hilo hasta su conclusión. Si el espacio es discreto en la escala más pequeña, entonces no existe la curva perfecta. Una curva requiere continuidad: una línea ininterrumpida, sin huecos, sin escalones, sin píxeles. En una realidad discreta, toda curva es una aproximación, un polígono con aristas demasiado pequeñas para ser vistas, una escalera que finge ser una rampa.
Pi, la razón entre la circunferencia de un círculo y su diámetro, se define en términos de un círculo perfecto. Si los círculos perfectos no existen en la realidad discreta (si cada «círculo» físico es en realidad un polígono de muchísimos lados a la escala de Planck), entonces pi no es la medida de nada real. Es la medida de una idealización. Una propiedad del mapa.
El círculo es el fundamento de la trigonometría, que es el fundamento de la mecánica ondulatoria, que es el fundamento de la física cuántica, que es el campo que nos dice que la realidad es discreta. Hay una agradable ironía en esto: las matemáticas de los círculos nos llevaron a descubrir que los círculos podrían no existir.
Construimos unas matemáticas continuas para modelar un universo discreto. El modelo funciona de manera brillante a escalas humanas, igual que los píxeles parecen suaves vistos desde el otro lado de la habitación. Pero la suavidad siempre fue nuestra, nunca del universo. La recta numérica es un hermoso dibujo de un lugar que tiene bordes que elegimos borrar. Cero coma nueve periódico es igual a uno, dentro del dibujo. Fuera de él, la pregunta no aplica.
Los círculos no son reales.
Fuentes
- Stanford Encyclopedia of Philosophy: Quantum Gravity. Panorama de los argumentos a favor de un espaciotiempo discreto, incluyendo la gravedad cuántica de lazos y la granularidad a escala de Planck.
- Encyclopaedia Britannica: Planck Length. Entrada de referencia sobre la escala de Planck y su importancia como posible distancia mínima con significado.
- Wolfram MathWorld: Real Number. Definición técnica de los números reales como completación de los racionales, el fundamento axiomático discutido en este artículo.
