Introduccion a los numeros racionales
Un numero racional es cualquier numero que puede expresarse como el cociente de dos enteros, es decir, en la forma ( \frac{p}{q} ) donde ( p ) y ( q ) son enteros y ( q ) no es cero. Esta definicion abarca una amplia gama de valores que aparecen de forma constante en programacion, calculo numerico y modelado. Comprender los racionales permite distinguir entre representaciones exactas y aproximaciones, lo que resulta relevante al trabajar con tipos de datos de punto flotante o al implementar algoritmos que requieren precision.
Los numeros racionales forman un conjunto cerrado bajo las operaciones de suma, resta, multiplicacion y division (excepto por cero). Esto significa que el resultado de operar dos racionales es siempre otro racional. El conjunto se denota habitualmente por ( \mathbb{Q} ). En contraste, los numeros irracionales no pueden escribirse como fraccion de enteros y su expansion decimal no termina ni se repite de forma periodica.
Numeros enteros y su relacion con los racionales
Los numeros enteros incluyen los positivos, los negativos y el cero: ( \ldots, -3, -2, -1, 0, 1, 2, 3, \ldots ). Cualquier entero es un numero racional porque puede escribirse con denominador 1. Asi, el entero 5 equivale a ( \frac{5}{1} ), el entero ( -7 ) equivale a ( \frac{-7}{1} ) y el cero equivale a ( \frac{0}{1} ) o a ( \frac{0}{n} ) para cualquier entero ( n ) distinto de cero.
Los numeros naturales o enteros no negativos forman un subconjunto de los enteros y, por tanto, de los racionales. Esta inclusion es util cuando se razona sobre tipos de datos en lenguajes de programacion: un valor entero almacenado en un tipo int puede tratarse siempre como racional sin perdida de exactitud, mientras que un valor de punto flotante puede ser solo una aproximacion.
Fracciones de enteros
Cualquier fraccion cuyo numerador y denominador sean enteros y cuyo denominador sea distinto de cero es un numero racional. Ejemplos incluyen ( \frac{1}{2} ), ( \frac{3}{4} ), ( \frac{-5}{8} ) y ( \frac{27}{-463} ). Dos fracciones representan el mismo racional cuando son equivalentes, es decir, cuando se obtiene una a partir de la otra multiplicando o dividiendo numerador y denominador por el mismo entero distinto de cero.
La forma reducida de una fraccion se obtiene dividiendo numerador y denominador por su maximo comun divisor. Por ejemplo, ( \frac{6}{8} ) se reduce a ( \frac{3}{4} ). En implementaciones computacionales se suele trabajar con fracciones reducidas para minimizar el crecimiento de los enteros involucrados y para facilitar las comparaciones.
Decimales terminantes
Un decimal que termina despues de un numero finito de digitos es un numero racional. Puede convertirse a fraccion escribiendo el numero sin el punto decimal como numerador y una potencia de diez como denominador, y luego reduciendo. Asi, 0.5 equivale a ( \frac{5}{10} = \frac{1}{2} ), y 0.0001 equivale a ( \frac{1}{10000} ).
En programacion, los decimales terminantes que son potencias negativas de dos o de cinco suelen representarse de forma exacta en punto flotante binario o decimal, respectivamente. Sin embargo, muchos otros decimales terminantes en base diez no tienen representacion exacta en binario, lo que introduce errores de redondeo incluso cuando el valor matematico es racional.
Decimales periodicos
Un decimal que no termina pero cuyo bloque de digitos se repite de forma infinita es tambien un numero racional. El ejemplo clasico es ( 0.333\ldots = \frac{1}{3} ). Otro caso es ( 0.142857142857\ldots = \frac{1}{7} ). Para convertir un decimal periodico a fraccion se multiplica por una potencia de diez que desplace el periodo y se resta la ecuacion original, eliminando asi la parte infinita.
Sea ( x = 0.\overline{3} ). Entonces ( 10x = 3.\overline{3} ). Restando se obtiene ( 9x = 3 ), de donde ( x = \frac{3}{9} = \frac{1}{3} ). El mismo procedimiento se aplica a periodos mas largos. Esta conversion demuestra que todo decimal periodico corresponde a un racional y, reciprocamente, que todo racional tiene una expansion decimal que termina o es periodica.
Numeros irracionales
Un numero que no puede expresarse como cociente de enteros es irracional. Sus expansiones decimales son infinitas y no periodicas. Ejemplos clasicos son ( \pi \approx 3.1415926535\ldots ) y ( \sqrt{2} \approx 1.4142135623\ldots ). Se puede demostrar que ( \sqrt{2} ) es irracional por reduccion al absurdo: si ( \sqrt{2} = \frac{a}{b} ) con ( a ) y ( b ) enteros coprimos, entonces ( a^2 = 2b^2 ), lo que implica que ( a ) es par, y por tanto ( b ) tambien es par, contradiciendo la coprimalidad.
En computacion, los irracionales se representan siempre de forma aproximada. Las bibliotecas de precision arbitraria permiten calcular tantos digitos como se desee, pero nunca la expansion completa. Distinguir racionales de irracionales ayuda a decidir cuando una operacion puede realizarse de forma exacta con fracciones y cuando es inevitable recurrir a aproximaciones.
Operaciones y propiedades
El conjunto de los racionales es un cuerpo: esta cerrado bajo suma, resta, multiplicacion y division por elementos distintos de cero, y satisface las propiedades conmutativa, asociativa y distributiva. La suma de dos fracciones ( \frac{a}{b} + \frac{c}{d} ) se calcula como ( \frac{ad + bc}{bd} ). La multiplicacion es ( \frac{a}{b} \cdot \frac{c}{d} = \frac{ac}{bd} ). Estas reglas se implementan directamente en tipos de datos de fraccion disponibles en muchos lenguajes.
Entre dos racionales distintos siempre existe otro racional. Esta densidad contrasta con la de los enteros. En la recta real, los racionales son densos pero tienen medida cero: casi todos los numeros reales son irracionales. Para la mayoria de las aplicaciones practicas, sin embargo, los racionales y sus aproximaciones de punto flotante son suficientes.
Representacion en programacion
En lenguajes como Python el modulo fractions proporciona un tipo Fraction que almacena numerador y denominador enteros y realiza las operaciones de forma exacta. En otros lenguajes se pueden implementar estructuras similares o recurrir a bibliotecas de precision arbitraria. Cuando se utilizan tipos de punto flotante de doble precision, solo un subconjunto finito de los racionales tiene representacion exacta. Las operaciones sucesivas pueden acumular errores incluso cuando el resultado matematico es racional.
Una practica recomendada consiste en utilizar fracciones exactas mientras sea posible y convertir a punto flotante solo al final de un calculo, cuando se requiere una aproximacion para visualizacion o para un algoritmo que no admite enteros. Esto reduce la propagacion de errores de redondeo.
Conclusiones
Los numeros racionales se definen como cocientes de enteros con denominador distinto de cero y abarcan enteros, fracciones, decimales terminantes y decimales periodicos. Su expansion decimal siempre termina o se repite, a diferencia de los irracionales. Las propiedades de cuerpo y la densidad en la recta real los convierten en un conjunto fundamental tanto en matematicas como en computacion. Comprender la diferencia entre representacion exacta y aproximada permite elegir las estructuras de datos adecuadas y evitar errores de precision en algoritmos numericos. Con estos conceptos es posible razonar con claridad sobre los valores que aparecen en programas y sobre los limites de las representaciones en maquina.