construccin formal

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:

Para el conjunto de los nmeros racionales puede escribirse:

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

Clase de equivalencia
Sea el conjunto de pares ordenados de nmeros
enteros, con la segunda componente distinta de 0.
Diremos que (a,b) R (c,d) s.s.s. ad = bc; en este caso R es una relacin de
equivalencia en el conjunto H. De tal modo que la relacin de equivalencia R
determina en H una particin y a cada elemento del conjunto cociente H/R se
llama nmero racional; en este contexto, un nmero racional es una clase de
equivalencia.

Por ejemplo, es la clase de equivalencia del

nmero racional conocido como 1/2 .

Representante cannico se llama al par (a,b)si el m.c.d (a,b)=

1. cualquier otro par se usa en el caso de operaciones. Al sumar 1/2 con 2/3 se les
reemplaza respectivamente por 3/6 y 4/6. 3

Aritmtica de los nmeros racionales

Representacin grfica de las fracciones cuyo divisor es 4.

Propiedades algebraicas[
Suma

Se define la suma
que es

Asociativa.

Conmutativa.
 Existe el elemento neutro: tal que para cualquier . Se
nombra cero y se denota 0.

Elemento opuesto. Para cualquier nmero racional existe ,

llamado elemento opuesto, tal que

Diferencia. La ecuacin tiene como solucin

La diferencia .
La operacin que a todo par de nmeros racionales, le hace corresponder su
diferencia se llama resta y se la considera operacin inversa de la suma. 4

Multiplicacin
Se define la multiplicacin
Asociativa
Conmutativa

Existe elemento neutro representado por , distinto de 0, tal

que

Inverso multiplicativo. Para todo nmero racional q, distinto de 0, existe q-

1,llamado inverso multiplicativo tal que
Se define el cociente de r entre s distinto de 0, al producto . En otra

notacin, .
A la operacin que a todo par de racionales, divisor distinto de cero, le hace
corresponder su cociente, se llama divisin, que no es una operacin totalmente
definida; pero se asume que es una operacin inversa de la multiplcacin que
resuelve la ecuacin .
A las operaciones de suma, resta, multiplicacin y divisin se llaman operaciones
racionales 5 .
Propiedad distributiva
para los nmeros racionales se
cumple 6

Capacidad resolutiva
En el sistema numrico se pueden resolver las ecuaciones de primer
grado: .
La ecuacin en

m, p Q posee la nica solucin en nmero racional:

. este resultado no siempre es posible en .7

Tambin en , se puede resolver una ecuacin de segundo grado

si el discriminante

y es cuadrado perfecto: hay dos races racionales; en el caso de que

hay una raz racional doble. 8

Relaciones de equivalencia y orden

Se define la equivalencia cuando

Los racionales positivos son todos los tales que

Los racionales negativos son todos los tales que

 El orden se define as: Si b>0 y d>0 entonces cuando

Equivalencias notables

Todo nmero entero se puede escribir como fraccin

con y

con

con .
Propiedades
El conjunto , con las propiedades de adicin y multiplicacin definidas ms
arriba, conforma un cuerpo conmutativo: el cuerpo de cocientes de los
enteros .

Los racionales son el menor cuerpo con caracterstica nula.

La clausura algebraica de , es el conjunto de los nmeros algebraicos.
El conjunto de los nmeros racionales es numerable, es decir que existe
una biyeccin entre y (tienen la misma cantidad de elementos). El
conjunto de los nmero reales no es numerable (la parte no-
denombrable de los reales, la constituyen los nmeros irracionales).
Propiedad arquimediana: el conjunto es denso en por construccin
misma de ; es decir, para cualquier pareja de nmeros reales existe otro
nmero racional situado entre ellos.
Los racionales forman un dominio de factorizacin nica ya que todo
racional diferente de cero puede descomponerse en la
forma: donde son nmeros enteros
primos, (siendo algunos de ellos negativos si q no es entero)
y . Por ejemplo .

Escritura decimal
Representacin racional de los nmeros
decimales
Todo nmero real admite una representacin decimal ilimitada, esta
representacin es nica si se excluyen secuencias infinitas de 9 (como por
ejemplo el 0,9 peridico). Todonmero decimal finito o peridico puede
expresarse como nmero racional de la siguiente manera:

Decimales exactos o finitos: se escribe en el numerador la expresin

decimal sin la coma (como un nmero entero), y en el denominador un uno
seguido de tantos ceros como cifras decimales.

Ejemplo:
Decimales peridicos puros: la fraccin correspondiente
tiene como numerador la diferencia entre el nmero escrito sin la coma, y
la parte anterior al periodo; y como denominador, tantos "9" como cifras
tiene el periodo.

Ejemplo:
Decimales peridicos mixtos: tendr como numerador la
diferencia entre y , donde es el nmero escrito sin la coma, y es el
nmero sin la parte decimal peridica, escritos ambos como nmeros
enteros. El denominador tendr tantos "9" como cifras tiene el periodo y
otros tantos "0" como cifras tenga el anteperodo.
Ejemplo: Sea el
nmero entonces y , por

lo que la fraccin correspondiente ser , es

decir: .
Desarrollo decimal de los nmeros racionales
El valor decimal de un nmero racional, es simplemente el resultado de dividir
el numerador entre el denominador. Los nmeros racionales se caracterizan
por tener una escritura decimal que slo puede ser de tres tipos:

Exacta: la parte decimal tiene un nmero finito de cifras. Al no ser

significativos, los ceros a la derecha del separador decimal pueden
omitirse, lo que da por resultado una expresin finita o terminal.
 Ejemplo:

Peridica pura: toda la parte decimal se repite

indefinidamente. Ejemplo:

Peridica mixta: no toda la parte decimal se repite.

Ejemplo:

Nota: lo mismo se aplica al desarrollo decimal de un nmero

racional en bases distintas de diez.

Nmero racional en otras bases]

En un sistema de numeracin posicional de base racional,
las fracciones irreducibles cuyo denominador contiene factores
primos distintos de aquellos que factorizan la base, no tienen
representacin finita.

Ejemplos:
En base 10, un racional tendr un desarrollo finito si y slo si
el denominador de su fraccin irreducible es de la
forma ( y enteros).
En base duodecimal es infinita y recurrente la representacin
de todas aquellas fracciones cuyo denominador contiene
factores primos distintos de 2 y 3.

Propiedades topolgicas del conjunto de los nmeros

racionales[editar]

Forman un subconjunto denso de los nmeros reales: todo

nmero real tiene racionales arbitrariamente cerca.
Poseen una expansin finita como fraccin continua regular.
 Con la topologa del orden, forman un anillo topolgico, o
de grupo parcialmente ordenado; presentan una topologa
inducida; tambin forman un espacio mtrico con la
mtrica .
Los racionales son un ejemplo de espacio que no es localmente
compacto.
Se caracterizan topolgicamente por ser el nico espacio
metrizable numerable sin puntos aislados (tambin
es totalmente discontinuo). Los nmeros racionales no forman
un espacio mtrico completo.

Sea el conjunto de los nmeros racionales en el intervalo

cerrado , entonces no tiene puntos aislados, todo punto
de es punto de acumulacin, los restantes punto de son
exteriores a . Entre los puntos de acumulacin de algunos
estn en l y otros no. Cada punto de es un punto frontera,
pues su vecindad contiene puntos de y de su
complemento. no tiene puntos interiores, ninguna vecindad
de un elemento de est contenida en ; no es un conjunto
conexo ya que todo [m,n] con elementos m,n de H no es parte
de H.9

Propiedades algebraicas[]
con la adicin forma un grupo conmutativo
El conjunto de los nmeros racionales no nulos, con la
multiplicacin, forma un grupo multiplicativo abeliano
<, +, *> es un cuerpo conmutativo
En hay dos operaciones asociativas y conmutativas: adicin y
multiplicacin y dos operaciones no conmutativas ni asociativas:
la resta y la divisin, con elementos identidades por la derecha.
En , siempre es posible resolver una ecuacin , donde

Histricamente, los nmeros fraccionarios propios antecedieron

a los negativos y a los imaginarios 10
Sea H = {0, 1, -1} con la adicin y multiplicacin usuales posee
la estructura de cuerpo.
 Sea el conjunto P = {2n / n es un entero}, <P, * > constituye un
grupo mltiplicativo, donde * es el producto usual de nmeros
racionales.

El conjunto de los nmeros racionales de la forma donde p es

un nmero entero, se denomina el conjunto de los nmeros
racionales enteros.
Nmero p-dico
Sea un nmero primo y para todo entero no nulo ,
sea donde es la mayor potencia de que divide a
.

Si y para cada nmero

racional , entonces la funcin
multiplicativa define una mtrica sobre .

El espacio mtrico no es completo, su completitud es el

cuerpo de los nmeros p-dicos . El teorema de
Ostrowski asegura que todo valor absoluto no-trivial sobre es
equivalente ya sea al valor absoluto usual, o al valor absoluto p-
dico.11
 Clasificacin de nmeros

1: uno
Naturale
Natura s primos
Enter les Naturale
os s
compue
Raciona
stos
les
Real
Comple 0: Cero
es
jos Enteros negativos

Fraccin
propia
Fraccionarios
Fraccin
impropia

Irracionales algebraicos
Irracionales
Trascendentes

Imaginarios