Número racional
Antecedentes históricos.
Aunque las cantidades
fraccionarias habían sido
representadas de disimiles formas
en las distintas civilizaciones
antiguas que tuvieron la necesidad
de usarlas; es el matemático
Fibonacci
quien establece su forma de representación actual en el "Liber
Abaci" de 1202.
Anteriormente, los egipcios por ejemplo para representar 2 sobre
5.gif utilizaban la suma 1 sobre 3 mas 1 15.gif, pues solo tenían
fracciones de numerador 1 o alícuotas. Para ello incluso habían ido
refinando a lo largo del tiempo tablas de conversión en los que
definían una serie de fracciones tipos y sus representaciones como
suma de alícuotas.
De igual manera, hay registros del uso de fracciones en Babilonia,
Grecia, China, India, Persia y otras civilizaciones, que además
usaban sus versiones negativas antes de que los números
negativos fueran de uso común en Occidente para el siglo XVII.
Los números racionales son todos los números que pueden representarse como el cociente de dos
números enteros o, más exactamente, un entero y un natural positivo; es decir, una fracción común a/b
con numerador a y denominador b distinto de cero. El término «racional» alude a una fracción o parte de
un todo. El conjunto de los números racionales se denota por Q, que deriva de «cociente» (Quotient en
varios idiomas europeos). Este conjunto de números incluye a los números enteros {Z}) y a los números
fraccionarios (que es el cociente de dos números naturales, obviando la división por cero, actualmente sin
definir), y es un subconjunto de los números reales {R}

La escritura decimal de un número racional es, o
bien un número decimal finito, o bien semiperiódico.
Esto es cierto no solo para números escritos en
base 10 (sistema decimal); también lo es en base
binaria, hexadecimal o cualquier otra base entera.
Recíprocamente, todo número que admite una
expansión finita o periódica (en cualquier base
entera) es un número racional.
Un número real que no es racional se llama
número irracional; la expresión decimal de los
números irracionales, a diferencia de los
racionales, es infinita aperiódica.
En sentido estricto, número racional es el conjunto de
todas las fracciones equivalentes a una dada; de todas
ellas, se toma como representante canónico de dicho
número racional a la fracción irreducible. Las fracciones
equivalentes entre sí –número racional– son una clase
de equivalencia, resultado de la aplicación de una
relación de equivalencia sobre {Z}.
Históricamente los números fraccionarios propios
antecedieron a los negativos y a los imaginarios.
Aritmética de los números racionales
Relaciones de equivalencia y orden
Inmersión de enteros
Cualquier entero n se puede expresar como el
número racional n/1 debido a eso se escribe
frecuentemente {Z} \ {Q} (técnicamente, se dice que
los racionales contienen un subanillo isomorfo al
anillo de los números enteros).