Axioma de completitud: consecuencias que completan la recta real

Intenten medir la diagonal de un cuadrado de un metro con una regla; cada fracción propuesta queda un poco corta o un poco larga. Esta longitud rebelde, conocida desde la Grecia antigua, señala la primera brecha seria de la recta real : las fracciones solas no pueden nombrar cada punto. El experimento mental es sencillo y su resultado es sorprendente, porque una recta hecha solo de razones queda incompleta.

La completitud significa aquí una recta sin huecos, y la clase la fija con un principio único: todo conjunto no vacío acotado por arriba admite una mínima cota superior. Este principio lleva el nombre de axioma de completitud , y el valor garantizado se llama supremo . El enunciado es deliberadamente sobrio, pues se asume al inicio en lugar de demostrarse.

Tras la mínima cota superior

Reúnan todos los racionales cuyo cuadrado queda por debajo de dos; el conjunto posee muchas cotas superiores pero ninguna mínima entre los racionales. Sea cual sea la fracción propuesta, siempre aparece una mayor con la misma propiedad. El conjunto de los números racionales no puede entonces cerrar esta bolsa, y el hueco permanece justo donde debería estar la cota. De aquí nace un experimento histórico: los pitagóricos quedaron conmovidos por un descubrimiento semejante, y siglos después los cortes de Dedekind buscaron un remedio para la misma herida.

La propiedad arquimediana afirma que los naturales no chocan con ningún techo: un natural supera siempre cualquier real propuesto. De aquí sigue una pequeña consecuencia sorprendente, pues dividir uno entre naturales cada vez mayores conduce hacia cero. Ni infinitamente pequeños ni infinitamente grandes habitan esta recta, y cada escala alcanza la siguiente como los peldaños de una escalera.

La densidad significa que la recta está esparcida como un polvo fino: entre dos reales distintos siempre se desliza un racional. También se desliza un irracional, de modo que fracciones y no fracciones se entrelazan sin fin. La práctica de la medición vive de este hecho, y los desarrollos decimales son su lenguaje cotidiano.

Mientras los intervalos se estrechan

Corten un intervalo cerrado por la mitad, conserven una mitad y repitan sin fin; mientras las longitudes tienden a cero, un único punto permanece. He aquí la garantía de que las aproximaciones llegan a algún lugar, y la explicación de por qué los desarrollos decimales designan números. Imaginen los dígitos de la raíz cuadrada de dos como ejercicio mental; cada dígito estrecha el intervalo un poco más. El principio de los intervalos encajados es el motor discreto de la convergencia.

Probar la irracionalidad y probar la existencia son tareas distintas; la primera muestra una ausencia, la segunda una presencia. La clase toma el supremo de los números cuyo cuadrado queda por debajo de dos y establece por reducción al absurdo que su cuadrado vale dos. La pieza faltante queda así construida, nunca tomada en préstamo. El valor obtenido recibe el nombre de raíz cuadrada de dos y sella la brecha de la recta.

De la clase a la vida

La clase sigue el orden del primer volumen del Calculus de Tom Apostol y se extiende durante cinco horas y media en el canal Math with Ming. La arquitectura del libro avanza en un único sentido, del axioma hacia las aplicaciones; las definiciones llegan temprano y su precio se paga después. El presentador construye cada demostración despacio en la pizarra e incluso sugiere una lectura avanzada a los curiosos. Este ritmo apuesta por la intuición duradera en lugar de la memorización de exámenes.

Sin completitud, el discurso sobre los límites flota en el aire, pues nada garantiza que el valor aproximado habite la recta. La derivada reposa sobre el mismo suelo; el abrigo de los cocientes de diferencias es un tramo de recta sin rupturas. Las últimas horas de la clase construyen este puente y dejan todo el análisis en deuda con un solo axioma. Los ensayos en clase vuelven concreta esta deuda, pues el estudiante reencuentra la misma firma en cada teorema.

Para aprovechar esta clase, pausen el vídeo antes de cada demostración e inténtenla primero; retomar donde se atascan acelera el aprendizaje. Escribir un ejemplo numérico tras cada teorema vuelve tangible la abstracción. Como paso final, intenten explicar el tema a otra persona; una explicación fluida prueba que la base es sólida.