mero racional es todo nmero que puede representarse como el cociente de dos nmeros

enteros o, ms precisamente, un entero y un natural positivo,1 es decir, una fraccin

comn a/b con numerador a y denominador bdistinto de cero. El trmino racional alude a una
fraccin o parte de un todo. El conjunto de los nmeros racionales se denota por Q (o bien

en negrita de pizarra) que deriva de cociente (Quotient en varios idiomas europeos). Este
conjunto de nmeros incluye a los nmeros enteros ( ), y es un subconjunto de los nmeros
reales (

).

La escritura decimal de un nmero racional es, o bien un nmero decimal finito, o

bien peridico. Esto es cierto no solo para nmeros escritos en base 10 (sistema decimal),
tambin lo es en base binaria, hexadecimal o cualquier otra base entera. Recprocamente,
todo nmero que admite una expansin finita o peridica (en cualquier base entera), es un
nmero racional.
Un nmero real que no es racional, se llama nmero irracional; la expresin decimal de los
nmeros irracionales, a diferencia de los racionales, es infinita no-peridica.
En sentido estricto, nmero racional es el conjunto de todas las fracciones equivalentes a una
dada; de todas ellas, se toma como representante cannico de dicho nmero racional a
la fraccin irreducible. Las fracciones equivalentes entre s nmero racional son una clase
de equivalencia, resultado de la aplicacin de una relacin de equivalencia sobre
ndice
[ocultar]

1 Construccin formal

2 Aritmtica de los nmeros racionales

2.1 Definicin de suma y multiplicacin

2.2 Relaciones de equivalencia y orden

2.3 Existencia de neutros e inversos

2.4 Equivalencias notables

2.5 Propiedades
3 Escritura decimal

3.1 Representacin racional de los nmeros decimales

3.2 Desarrollo decimal de los nmeros racionales

3.3 Nmero racional en otras bases

4 Propiedades topolgicas de los nmeros racionales

5 Propiedades algebraicas
o

5.1 Nmero p-dico

6 Vase tambin

7 Referencias

8 Bibliografa

9 Enlaces externos

Construccin formal[editar]
Vanse tambin: Dominio de integridad y Cuerpo de cocientes.

El conjunto de los nmeros racionales puede construirse a partir del conjunto

de fracciones cuyo numerador y cuyo denominador son nmeros enteros. El conjunto de los
nmeros racionales no es directamente identificable con el conjunto de fracciones, porque a
veces un nmero racional puede representarse por ms de una fraccin, por ejemplo:

Para poder definir los nmeros racionales debe definirse cuando dos fracciones diferentes son
equivalentes y por tanto representan el mismo nmero racional. Formalmente cada nmero
racional puede representarse como la clase de equivalencia de un par ordenado de enteros,
con la siguiente relacin de equivalencia:

[Expandir]Demostracin

Para el conjunto de los nmeros racionales puede escribirse:

Y si se tienen en cuenta la relacin de equivalencia anterior de hecho se tiene: