Recta Numérica
Una recta numérica es una línea recta en la que los números se representan como puntos, con los números positivos a la derecha del cero y los negativos a la izquierda.
Definition
Una recta numérica es una línea donde cada punto representa un número: los números aumentan al moverte hacia la derecha y disminuyen al moverte hacia la izquierda, con el cero en el medio. Más formalmente, es una representación visual del sistema de números reales con una correspondencia biunívoca entre puntos y números reales, donde la distancia entre dos puntos $a$ y $b$ es $|a - b|$, modelando la suma (a la derecha), la resta (a la izquierda), el orden ($<, >$), y el valor absoluto (distancia desde el origen). Topológicamente, la recta numérica es el espacio métrico $(\mathbb{R}, d)$ con $d(x,y) = |x-y|$, la única (salvo isometría) variedad $1$-dimensional completa, separable, y conexa sin frontera, subyacente a las definiciones de límite, continuidad, y derivada.
Example
En una recta numérica, $-3, -2, -1, 0, 1, 2, 3$ están espaciados de manera uniforme, con $2$ a la derecha del $0$ y $-2$ a la izquierda. Resolver $|-4 - x| = 3$ geométricamente significa hallar todos los puntos $x$ cuya distancia a $-4$ es $3$: son $x = -7$ y $x = -1$. La construcción de Cantor elimina el tercio medio de $[0, 1]$, luego los tercios medios de los intervalos restantes, repetidamente; el conjunto de Cantor resultante es un subconjunto de la recta numérica con medida $0$ pero con una cantidad no numerable de puntos.
Key Insight
Una recta numérica convierte la suma y la resta en movimiento: sumar significa moverse a la derecha, restar significa moverse a la izquierda. La misma idea en $2$D da el plano cartesiano, en $3$D da el espacio $3$-dimensional, y en cualquier dimensión da $\mathbb{R}^n$, con todo el cálculo y el análisis construidos sobre este modelo. La completitud de la recta real, que toda sucesión de Cauchy converge, es lo que hace demostrables el teorema del valor intermedio, el teorema del valor medio, y el teorema fundamental del cálculo.