En matemticas, se llama nmero racional a todo nmero que puede representarse como el cociente de dos nmeros enteros (ms

precisamente, un entero y un natural positivo1 ) es decir, una fraccin comn a/b con numerador a y denominador b distinto de cero. El trmino racional alude a fraccin o parte de un todo. El conjunto de los nmeros racionales se denota por Q (o bien , en Blackboard bold) 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 expansin 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 .

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:
[Mostrar] 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:

[editar] Aritmtica de los nmeros racionales

Representacin grfica de las fracciones cuyo divisor es 4.

[editar] Definicin de suma y multiplicacin en Q

Se define la suma

Se define la multiplicacin

[editar] Relaciones de equivalencia y orden en Q

Se define la equivalencia

cuando

Los racionales positivos son todos los tales que

Los racionales negativos son todos los

tales que

Se define el orden

cuando

[editar] Existencia de neutros e inversos

Para cualquier nmero racional: se cumple que neutro aditivo de los racionales y se le denota por . Para cualquier nmero racional: se cumple que neutro multiplicativo de los racionales y se le denota por . Cada nmero racional: Cada nmero racional: que tiene un inverso aditivo tal que

entonces es el

entonces es el

con excepcin de tiene un inverso multiplicativo tal

[editar] Equivalencias notables en Q

Todo nmero entero con y

se puede escribir como fraccin

con con

y y .

[editar] 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 racionales existe otro nmero racional situado entre ellos. Los racionales forman un dominio de factorizacin nica ya que todo racional puede descomponerse en la forma: donde son nmeros enteros primos, (siendo algunos de ellos negativos si q no es entero) y . Por ejemplo .

[editar] Escritura decimal

[editar] 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). Todo nmero 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.
o 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. o 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 , por lo que la fraccin correspondiente ser , es decir: .

[editar] 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 aplica para el desarrollo decimal de un nmero racional en bases distintas de diez.

[editar] 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: o En base 10, un racional tendr un desarrollo finito si y slo si el denominador de su fraccin irreducible es de la forma 2n5p (n y p enteros).

En base duodecimal es infinita y recurrente la representacin de todas aquellas fracciones cuyo denominador contiene factores primos distintos de 2 y 3.

[editar] Propiedades topolgicas de los nmeros racionales

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 d(x,y) = |x y|. 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.

[editar] Nmero p-dico

Sea p un nmero primo y para todo entero no nulo a, sea |a|p = pn, donde pn es la mayor potencia de p que divide a a. Si |0|p = 0, y para cada nmero racional a/b, |a/b|p = |a|p / |b|p, entonces la funcin multiplicativa define una mtrica sobre .

El espacio mtrico no es completo, su completitud es el cuerpo de los nmeros pdicos . 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.

[editar] Vase tambin

Clasificacin de nmeros

Complejos

Reales

Racionales

Enteros

Naturales

Naturales primos Naturales compuestos

Cero Enteros negativos Fraccionarios Fraccin propia Fraccin impropia

Irracionales Imaginarios puros

Irracionales algebraicos Trascendentes

[editar] Referencias
Los nmeros racionales, son el conjunto de nmeros fraccionarios y nmeros enteros representados por medio de fracciones. Este conjunto est situado en la recta real numrica pero a diferencia de los nmeros reales que son consecutivos, por ejemplo a 4 le sigue 5 y a este a su vez le sigue el 6, y los nmeros negativos cuya consecucin se da as, a -9 le sigue -8 y a este a su vez le sigue -7; los nmeros racionales no poseen consecucin pues entre cada nmero racional existen infinitos nmeros que solo podran ser escritos durante toda la eternidad. Todos los nmeros fraccionarios son nmeros racionales, y sirven para representar medidas. Pues a veces es ms conveniente expresar un nmero de esta manera que convertirlo a decimal exacto o peridico, debido a la gran cantidad de decimales que se podran obtener.

Definicin de nmeros racionales

Para decir, Qu son nmeros racionales? Podemos empezar por decir que, un nmero racional es una cifra o valor que puede ser referido como el cociente de dos nmeros enteros o ms precisamente, un nmero entero y un nmero natural positivo. Es decir que es un nmero racional, es un nmero que se escribe mediante una fraccin. Los nmeros racionales son nmeros fraccionarios, sin embargo los nmeros enteros tambin pueden ser expresados como fraccin, por lo tanto tambin pueden ser tomados como nmeros racionales con el simple hecho de dar un cociente entre el nmero entero y el nmero 1 como denominador. Al conjunto de los nmeros racionales se lo denota con la letra Q, que viene de la palabra anglosajona Quotient traduccin literal de cociente, y que sirve para recogerlos como subgrupo dentro de los nmeros reales y junto a los nmeros enteros cuya denotacin es la letra Z. Por ello, en ocasiones se refieren a los nmeros racionales como nmeros Q.

Un nmero racional puede ser expresado de diferentes maneras, sin alterar su cantidad mediante fracciones equivalentes, por ejemplo puede ser expresado como 2/4 o 4/8, debido a que estas son fracciones reducibles. Asimismo existe una clasificacin de los nmeros racionales dependiendo de su expresin decimal, estos son: Los nmeros racionales limitados, cuya representacin decimal tiene un nmero determinado y fijo de cifras, por ejemplo 1/8 es igual a 0,125. Los nmeros racionales peridicos, de los cuales sus decimales tienen un nmero ilimitado de cifras, pero se diferencian de los nmeros irracionales porque de esas cifras se puede descubrir un patrn definido mientras que en los nmeros irracionales sus cifras decimales son infinitas y no-peridicas. A su vez los nmeros racionales peridicos se dividen en dos, los peridicos puros, cuyo patrn se encuentra inmediatamente despus de la coma, por ejemplo 0,6363636363 y los peridicos mixtos, de los cuales el patrn se encuentra despus de un nmero determinado de cifras, por ejemplo 5,48176363636363

Propiedades de los nmeros racionales

Existen para la suma y resta, y para la multiplicacin y divisin, distintas propiedades de los nmeros racionales, estos son: Entre las propiedades de la suma y resta estn: Propiedad interna.- segn la cual al sumar dos nmeros racionales, el resultado siempre ser otro nmero racional, aunque este resultado puede ser reducido a su mnima expresin si el caso lo necesitara.

ab+cd=ef
Propiedad asociativa.- se dice que si se agrupa los diferentes sumandos racionales, el resultado no cambia y seguir siendo un nmero racional. Veamos:

(ab+cd)ef=ab+(cdef)
Propiedad conmutativa.- donde en la operacin, si el orden de los sumando vara, el resultado no cambia, de esta manera:

ab+cd=cd+ab
Elemento neutro.- el elemento neutro, es una cifra nula la cual si es sumada a cualquier nmero racional, la respuesta ser el mismo nmero racional.

ab+0=ab
Inverso aditivo o elemento opuesto.- es la propiedad de nmeros racionales segn la cual, existe un elemento negativo que anula la existencia del otro. Es decir que al sumarlos, se obtiene como resultado el cero.

abab=0
Por otro lado, existen tambin las propiedades de los nmeros racionales por parte de la multiplicacin y la divisin, y estas son: Propiedad interna.- en razn de que al multiplicar nmeros racionales, el resultado tambin es un nmero racional.

abcd=ef
Esta adems aplica con la divisin

abcd=ef
Propiedad asociativa.- donde al agrupar diferentes factores la forma de la agrupacin, no altera el producto.

(abcd)ef=ab(cdef)
Propiedad conmutativa.- aqu se aplica la famosa frase, el orden de los factores no altera el producto, entre los nmeros racionales tambin funciona.

abcd=cdab
Propiedad distributiva.- al combinar sumas y multiplicaciones, el resultado es igual a la suma de los factores multiplicado por cada uno de los sumandos, veamos el ejemplo:

ab(cd+ef)=abcd+abef
Elemento neutro.- en la multiplicacin y la divisin de nmeros racionales, existe un elemento neutro que es el nmero uno, cuyo producto o cociente con otro nmero racional, dar como resultado el mismo nmero.

ab1=ab ab1=ab

Ejemplos de nmeros racionales

Los nmeros racionales son nmeros fraccionarios, es decir que podramos escribir cualquier cociente entre dos nmeros enteros y llamarlo nmero racional, aqu un ejemplo

57
Aunque tambin podra ser expresado de esta manera:

5/7
Sin embargo, los nmeros enteros tambin pueden ser incluidos dentro de los nmeros Q, al formar un cociente con un nmero neutro, es decir de este modo:

3=31
Aunque tambin podramos expresar el nmero entero 3, en forma de fraccin, en el caso de necesitarlo en alguna operacin matemtica, pues al simplificarlo obtenemos la misma respuesta:

155=3
Tambin encontramos nmeros racionales enteros negativos, por ejemplo:

6=61
0,2424242424 tambin puede ser tomado como un nmero racional, pues sus decimales son peridicos, y podemos expresarlo en forma de fraccin, as:

2499

Suma de nmeros racionales

Para sumar y restar nmeros racionales existen dos casos diferentes con los cuales podemos tratar, el primero es cuando poseen un denominador distinto entre los sumandos, y el otro es cuando tienen un denominador de igual valor y es por este por el que vamos a empezar. Cuando resolvemos la adicin de nmeros racionales y la sustraccin de nmeros racionales con igual denominador, simplemente se mantiene el mismo denominador (que es el valor ubicado en la parte inferior de la fraccin) y sumamos o restamos los numeradores (en la parte superior de la fraccin) segn sea el caso:

65+35=6+35=95
Cuando tenemos denominadores de distinto valor, lo que tenemos que hacer es buscar una fraccin equivalente, y encontrar el mnimo comn mltiplo de los denominadores a travs de multiplicaciones o divisiones que los igualen y formen fracciones equivalente, tomando

en cuenta que cualquier operacin realizada debe tambin realizarse al numerador para no alterar el resultado, por ejemplo si multiplicamos el denominador por 4 para encontrar el mnimo comn mltiplo tambin debemos multiplicar por 4 al numerador, veamos:

14+65=520+2420=5+2420=2920
Notamos que el mnimo comn mltiplo de 4 y 5 es 20, por lo tanto multiplicamos al primer sumando por 5 y al segundo por 4 para obtener un mismo denominador con fracciones equivalentes y luego los sumamos como fue mostrado en la operacin anterior.

Multiplicacin de nmeros racionales

La multiplicacin entre fracciones es sencilla si se sabe cmo hacer. En primer lugar, se multiplican los numeradores de todos los factores y a continuacin el producto resultante se lo utiliza como numerador, luego se multiplican los denominadores y al resultado se lo ubica como denominador sin importar si el valor es igual o distinto, de esta manera:

435612=451362=2036=1018=59
En este caso el resultado pudo ser simplificado, dividiendo el numerador y el denominador para el mismo nmero hasta obtener el mnimo nmero entero en los dos cocientes. En la multiplicacin tambin existe un elemento inverso que da como resultado una unidad, tomando en cuenta que los nmeros enteros tambin son nmeros racionales si se los expresa como fraccin, para explicarlo mejor, se ofrece algunos ejemplos:

133=1331=33=1
Aunque entre fraccionarios no enteros, tambin sucede el mismo fenmeno:

5775=3535=1

Divisin de nmeros racionales

Para dividir los nmeros racionales, tomamos el numerador de la primera fraccin y se lo multiplica por el denominador de la segunda fraccin y este resultado ser utilizado como numerador; a continuacin se toma el denominador de la primera fraccin y se lo multiplica por el numerador de la segunda fraccin, y a ese resultado se lo ubica como denominador. Por lo tanto en el caso de la divisin, el orden de los cocientes si altera el resultado, veamos el siguiente ejemplo:

5423=5342=158

Como se puede notar, para dividir los nmeros racionales, se debe multiplicar en cruz, tomando en cuenta que el numerador y el denominador de la primera fraccin no cambia de orden, pero los de la segunda fraccin si lo hacen para lograr el resultado final.

Potenciacin de nmeros racionales

Para la potenciacin de un nmero racional, se deben seguir estas simples reglas: Si el nmero racional posee distintas potencias para distinto numerador y el denominador, solo se procede a potenciar cada cociente y simplificar si es posible:

anbm 2332=89
Cuando se tiene el mismo valor en el numerador y el denominador, pero distinta potencia para cada uno, podemos sustraer la potencia del denominador de la del numerador y simplificar la fraccin a un entero, de esta manera:

aman=amn 3436=326=32
Aunque tambin se puede proceder de esta manera, tomando el mismo ejemplo:

3436=3333333333=133=132=32
Para elevar los nmeros racionales a una potencia natural, elevamos el numerador y el denominador a dicha potencia:

(ab)n=anbn (32)3=3323=278
En el caso de que la potencia sea negativa, simplemente invertimos la fraccin y la potencia:

(ab)n=(ba)n=bnan (56)2=(65)2=6252=3625
Si la potencia es -1, simplemente se invierte la fraccin:

(ab)1=ba (815)1=158

Cuando la potencia es igual a 0, el resultado es 1:

(ab)0=1 (931)0=1
Si la potencia es igual a 1, el resultado ser el mismo nmero racional:

(ab)1=ab (1743)1=1743
Si se multiplican potencias con la misma base, en el resultado se mantiene la base y se suman los exponentes:

(ab)n(ab)m=(ab)n+m (34)2(34)3=(34)2+3=3545=2431024
Si dividimos potencias con la misma base, utilizamos el mismo principio que con el producto, es decir que se mantiene la base pero se resta el exponente del segundo nmero racional del primero

(ab)n(ab)m=(ab)nm (34)5(34)7=(34)57=3242=916
Para resolver la potencia de una potencia, se deben multiplicar los exponentes:

[(ab)m]n=(ab)mn [(23)3]2=(23)6=2636=64729
Al multiplicar nmeros racionales distintos con la misma potencia, se procede a multiplicar la fraccin mientras se mantiene el exponente:

(ab)n(cd)n=(acbd)n (23)2(45)2=(2435)2=(815)2
Para dividir nmeros racionales distintos con la misma potencia, se debe realizar el procedimiento de la multiplicacin en cruz y mantener el mismo exponente:

(ab)n(cd)n=(adbc)n (23)2(45)2=(2534)2=(1012)2=(56)2

Nmeros racionales
Un nmero racional es un nmero que se puede escribir en fraccin (o sea, como un cociente). Por ejemplo 1.5 es un nmero racional porque 1.5 = 3/2 (se puede escribir en forma de fraccin) Aqu tienes ms ejemplos:
Nmero 5 1.75 .001 0.111... 2 (raz cuadrada de 2) En fraccin 5/1 7/4 1/1000 1/9 ? Racional? S S S S NO!

Vaya! La raz cuadrada de 2 no se puede escribir en forma de fraccin! Y hay muchos ms nmeros as, como no son racionales se llaman irracionales.

Definicin formal de nmero racional

Ms formalmente diramos: Un nmero racional es un nmero que se expresa en la forma p/q donde p y q son enteros y q es distinto de cero. As que un nmero racional es: p/q donde q no es cero

Ejemplos:
p q Nmero racional

1 1 55 1 253 7

1 2 100 1000 10 0

1 0.5 0.55 0.001 2.53 No! "q" no puede ser cero!

El estudiante de Pitgoras
El antiguo matemtico griego Pitgoras crea que todos los nmeros son racionales (se pueden escribir en forma de fraccin), pero uno de sus estudiantes, Hipaso, demostr que no se puede escribir la raz de 2 en forma de fraccin (se cree que usando geometra) y que es por lo tanto irracional. Pero Pitgoras no poda aceptar que existieran nmeros irracionales, porque crea que todos los nmeros tienen valores perfectos. Como no pudo demostrar que los "nmeros irracionales" de Hipaso no existan, tiraron a Hipaso por la borda y se ahog!
Los nmeros racionales son los que se pueden representar por medio de fracciones. Los nmeros racionales representan partes de algo que se ha dividido en partes iguales. Por ejemplo, si cortamos una tarta en 4 trozos iguales y nos tomamos tres trozos de la tarta nos hemos comido 3/4 de la tarta. Son nmeros racionales 1/2, 3/4, 11/5, 2535/3, ... Tambin son nmeros racionales los nmeros enteros 2 = 2/1, 5 = 10/2, ... Un mismo nmero racional se puede expresar con varias fracciones. Por ejemplo: 1/2, se puede expresar como 1/2, 2/4, 3/6, ... De todas estas formas, la primera se llama fraccin irreducible y las dems fracciones equivalentes. Hay infinitos nmeros racionales. Aunque parezca increble, podemos 'contar' (asociar un nmero natural a cada nmero racional) los nmeros racionales. Muchas veces los nmeros racionales se expresan como nmeros decimales. Por ejemplo: 1/2 = 0,5, 3/4 = 0,75. Se pueden clasificar en dos grupos: Limitados y peridicos. Estos ltimos se pueden clasificar a su vez, en peridicos puros y peridicos mixtos. Los nmeros racionales limitados son los que en su representacin decimal tienen un nmero fijo de nmeros. Por ejemplo: 1/4 = 0,25.

Los nmeros racionales peridicos son los que en su representacin decimal tienen un nmero ilimitado de nmeros. Hay dos tipos de nmeros racionales peridicos: Los peridicos puros: Un nmero, o grupo de nmeros, se repite ilimitadamente, desde el primer decimal. (por ejemplo: 3,838383...) y los peridicos mixtos: un nmero o grupo de nmeros se repite ilimitadamente a partir del segundo o posterior decimal (por ejemplo 3,27838383...). A veces, nos dan el nmero decimal y nos piden que calculemos el nmero fraccionario. Si quieres saber cmo se calcula dicha fraccin visita la pgina: Fraccin generatriz de un nmero decimal.

La divisin de nmeros complejos requiere un mayor trabajo que la multiplicacin y partimos de un artificio previo, basado en que el producto de un numero complejo por su conjugado da como resultado un nmero real:

As, la divisin de dos nmeros complejos, la multiplicamos y dividimos por el conjugado del denominador, que es lo mismo decir que multiplicamos dividendo (numerador) y divisor (denominador), por el conjugado del divisor (denominador).

[editar] Potencias
Para elevar un nmero complejo a un exponente entero, se aplican las identidades notables (cuadrado de la suma) . Se debe tener en cuenta la igualdad :