Cada punto de la recta corresponde a un número real
Los números reales son todos los números que pueden situarse en la recta numérica: incluyen enteros, fracciones, decimales finitos o periódicos y también irracionales como √2 y π. Se representan por R y permiten sumar, restar, multiplicar, dividir salvo por cero, comparar y tomar límites. Su rasgo decisivo no es que tengan decimales —muchos conjuntos los tienen—, sino que rellenan los huecos que quedan entre los racionales mediante una propiedad llamada completitud. La definición cubre valores negativos, cero y positivos sin convertir la recta en una colección de puntos separados.
Los naturales están contenidos en los enteros; los enteros, en los racionales; y estos, en los reales. Los irracionales también son reales, pero no racionales. Esta jerarquía evita tratar cada nombre como una caja aislada. El número 3 es natural, entero, racional y real al mismo tiempo; √2 es irracional y real; i no es real y pertenece a los complejos.
Dos tipos llenan la misma recta de maneras distintas
Un racional puede escribirse como p/q con enteros p y q y q distinto de cero. Su desarrollo decimal termina o repite un patrón. Un irracional no admite esa fracción y su decimal es infinito no periódico. √2 fue un ejemplo histórico decisivo: la diagonal de un cuadrado de lado 1 tiene esa longitud, pero ninguna razón exacta de enteros la expresa.
Racionales e irracionales son densos: entre dos reales distintos hay infinitos de ambos tipos. Por eso ampliar una medición decimal nunca permite decidir solo por proximidad a qué clase pertenece; hace falta una prueba sobre su estructura. π puede aproximarse por 22/7, pero aproximación no es igualdad. Una calculadora muestra un número finito de cifras y oculta esa diferencia exacta.
Los límites que faltan en Q existen dentro de R
Consideremos aproximaciones 1,4; 1,41; 1,414; 1,4142... a √2. Todos esos términos son racionales, pero el límite no lo es. Dentro de los racionales, la sucesión apunta a un hueco. Los reales completan el sistema: toda sucesión de Cauchy —términos que acaban tan próximos entre sí como se quiera— converge a un real.
Una formulación equivalente afirma que todo conjunto no vacío de reales acotado superiormente posee un supremo, la menor cota superior. Esta propiedad sostiene teoremas del análisis y distingue R de Q. No significa que podamos escribir todas las cifras de cada real, sino que el sistema contiene el valor límite definido por la propiedad matemática.
Los reales pueden construirse rigurosamente de varias maneras. Los cortes de Dedekind separan racionales en dos partes que localizan un punto; las clases de sucesiones de Cauchy identifican aproximaciones que deberían tener el mismo límite. Ambas construcciones parten de Q y añaden exactamente los huecos necesarios, sin suponer de antemano una recta ya terminada.
Una representación no es el número que representa
El mismo real puede tener dos escrituras decimales: 1 = 0,999... porque la diferencia tras n nueves tiende a cero. Esta igualdad no dice que 0,999 sea 1; los puntos suspensivos especifican una sucesión infinita. Las bases también cambian la apariencia: 1/3 es periódico en base diez, pero una fracción finita en base tres.
Los ordenadores almacenan normalmente aproximaciones de coma flotante, no reales arbitrarios exactos. Por eso 0,1 + 0,2 puede no representarse internamente como 0,3 exacto. Bibliotecas simbólicas conservan ciertas fracciones o raíces, pero ningún dispositivo finito enumera todas las cifras de un real general. El modelo matemático continuo y su representación computacional son niveles distintos.
Un decimal infinito es una regla o límite, no una tarea de escritura que deba completarse. Algunas reglas son breves, como repetir 3; otras se definen mediante series, ecuaciones o algoritmos. También existen reales que ningún programa puede generar cifra a cifra. Esto amplía el conjunto más allá de las constantes famosas que usamos en cálculos.
El continuo permite describir cambio y magnitud
Longitud, tiempo, temperatura y probabilidad se modelan con reales porque pueden variar de forma continua en las teorías utilizadas. El cálculo diferencial e integral depende de límites, intervalos y completitud. Una medida física siempre tiene incertidumbre y ofrece un rango o cifras finitas; asignarle un real exacto es una idealización útil, no una observación de infinitas cifras.
En cálculo diferencial, una derivada surge de un límite de cocientes. Si el conjunto numérico tuviera huecos relevantes, muchos límites no existirían dentro de él. Los reales proporcionan el escenario estable. Los complejos amplían después ese escenario con i, pero no reemplazan el orden lineal de R: no existe una comparación compatible que diga para todos los complejos cuál es mayor.
El orden permite formar intervalos abiertos, cerrados o semiabiertos y expresar desigualdades. La distancia habitual entre x e y es |x−y|, base de convergencia y continuidad. Estas propiedades hacen de R un cuerpo ordenado completo; cada palabra cumple una función y ninguna, por separado, define todo el sistema.
La recta contiene más números que una lista infinita
Los racionales son numerables: puede diseñarse una lista que acabe asignando una posición a cada fracción. Cantor demostró mediante su argumento diagonal que los reales no son numerables. Aunque ambos conjuntos son infinitos y densos, no tienen el mismo tamaño. De hecho, casi todos los reales en sentido de medida son irracionales, pese a que los racionales aparecen entre cualquier par.
El dato memorable es esa combinación: infinitas fracciones están por todas partes, pero no bastan para llenar la recta. Los números irracionales explica esa clase; esta página estudia la unión completa, sus operaciones, orden y límites. Los reales no son “todos los números”: complejos, p-ádicos y otras extensiones responden a problemas diferentes.
