NUMEROS RACIONALES Llamamos nmeros racionales al conjunto formado por todos los nmeros enteros y todos los fraccionarios

se lo designa por Q y se lo denomina conjunto de los nmeros racionales Nmero racional es el que se puede expresar como cociente de dos nmeros enteros, es decir, en forma de fraccin. Los nmeros enteros son racionales, pues se pueden expresar como cociente de ellos mismos por la unidad: a = a/1. Los nmeros racionales no enteros se llaman fraccionarios. El conjunto de todos los nmeros racionales se designa porQ. As como en el conjunto Z de los nmeros enteros cada nmero tiene un siguiente (el siguiente al 7 es el 8, el siguiente al -5 es el -4), no pasa lo mismo con los racionales, pues entre cada dos nmeros racionales existen infinitos nmeros. Q= { m/n , m Z, n Z, n =0 } Los nmeros racionales pueden sumarse, restarse, multiplicarse y dividirse y el resultado es un nmero racional. Los nmeros racionales sirven para expresar medidas, ya que al comparar una cantidad con su unidad el resultado es, frecuentemente, fraccionario. Al expresar un nmero racional, no entero, en forma decimal se obtiene un nmero decimal exacto o bien un nmero decimal peridico. Si la fraccin es irreducible y en la descomposicin factorial del denominador slo se encuentran los factores 2 y 5, entonces la fraccin es igual a un nmero decimal exacto, pero si en el denominador hay algn factor distinto de 2 o 5 la expresin decimal es peridica; por ejemplo:

COMPARACIN Toda fraccin positiva es mayor que cualquier fraccin negativa. Si las fracciones tienen igual denominador ser mayor aquella cuyo numerador sea mayor. Si tienen distinto denominador se comparan las fracciones equivalentes a las dadas con igual denominador. SUMA y RESTA DE NMEROS RACIONALES La suma de dos nmeros racionales es otro nmero racional. Cumple las siguiente propiedades: Asociativa: (a + b) + c = a + (b + c) Conmutativa: a+b=b+a

Elemento neutro: el cero es un nmero racional que hace de elemento neutro en la suma, a+0=a Elemento opuesto: el opuesto de un nmero racional a, es otro nmero racional -a, a + (-a) = 0 Sumar y restar fracciones con igual denominador es muy sencillo. El resultado tendr por numerador a la suma o resta de los numeradores y el denominador ser el mismo. Si las fracciones no tienen el mismo denominador, se sustituyen por fracciones equivalentes con igual denominador (determinamos un denominador comn). Luego se opera de la misma manera que en el clculo anterior. PRODUCTO DE NMEROS RACIONALES El producto de dos nmeros racionales es otro nmero racional. Cumple las siguientes propiedades: Asociativa: (a b) c = a (b c) Conmutativa: ab=ba Elemento neutro: el 1 es un nmero racional que hace de elemento neutro del producto, a1=a Elemento inverso: el inverso de un nmero racional a " 0 es otro nmero racional que multiplicado por a da 1:

Distributiva respecto a la suma: a (b + c) = a b + a c COCIENTE El cociente de dos nmeros fraccionarios es igual al producto entre el dividendo y el inverso del divisor. Ejemplo: -2/5 : 4/3 = -2/5 * = -6/20 = -3/10 SIMPLIFICACIN Simplificar una fraccin es sustituirla por la fraccin equivalente cuyo denominador es el menor posible. RACIONALIZACIN DE DENOMINADORES Las expresiones

tienen el denominador irracional. Con frecuencia es conveniente transformarlas en otras expresiones equivalentes que tengan el denominador racional, con lo que se dice que se les ha racionalizado el denominador. Para ello se siguen distintas estrategias:

En los dos ejemplos anteriores se ha multiplicado un denominador del tipo por otro radical del mismo ndice, , y tal que el producto de sus bases am, ap, sea una potencia de an. En consecuencia, ha habido que multiplicar el numerador por la misma expresin.

En los dos ejemplos anteriores se ha utilizado la identidad (a + b)(a - b) = a2 - b2 para hacer desaparecer las races cuadradas del denominador multiplicndolo por la expresin correspondiente que, por tanto, tambin ha multiplicado al numerador. EXPRESIN DECIMAL DE LOS NUMEROS RACIONALES Si queremos escribir un nmero fraccionario en forma decimal, bastar con dividir el numerador por el denominador. Ejemplo: 7/2 = 3.5

Nmero racional

Diagrama usado en la demostracin de que los racionales son numerables (Georg Cantor).

En matemtica, 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 bdistinto 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 ), y es un

(Quotient en varios idiomas europeos). Este conjunto de nmeros incluye a los nmeros enteros ( 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 .
Contenido
[ocultar]

1 Construccin formal 2 Aritmtica de los nmeros racionales

o o

2.1 Definicin de suma y multiplicacin en Q 2.2 Relaciones de equivalencia y orden en Q

o o o

2.3 Existencia de neutros e inversos 2.4 Equivalencias notables en Q 2.5 Propiedades

3 Escritura decimal

o o o

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

4.1 Nmero p-dico

5 Vase tambin 6 Referencias 7 Bibliografa

[editar]Construccin

formal

Vanse tambin: Dominio de integridad y Cuerpo de cocientes

Se puede ver un nmero racional como la clase de equivalencia de un par ordenado de enteros, con la siguiente relacin de equivalencia:

[Mostrar] Demostracin

El conjunto de los nmeros racionales

[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: racionales y se le denota por .

se cumple que

entonces

es el neutro aditivo de los

Para cualquier nmero racional:

se cumple que . tal que

entonces

es el neutro

multiplicativo de los racionales y se le denota por

Cada nmero racional:

tiene un inverso aditivo

Cada nmero racional:

con excepcin de

tiene un inverso multiplicativo

tal que

[editar]Equivalencias

notables en Q

Todo nmero entero con

se puede escribir como fraccin y

con

con

[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. y (tienen

El conjunto de los nmeros racionales es numerable, es decir que existe una biyeccin entre

la misma cantidad de elementos). El conjunto de los nmero reales no es numerable (la parte nodenombrable 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 ejemplo

. Por .

[editar]Escritura

decimal
racional de los nmeros decimales

[editar]Representacin

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.

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: y , donde es el nmero

Decimales peridicos mixtos: tendr como numerador la diferencia entre 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:

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 dicos

no es completo, su completitud es el cuerpo de los nmeros pes

. El teorema de Ostrowski asegura que todo valor absoluto no-trivial sobre

equivalente ya sea al valor absoluto usual, o al valor absoluto p-dico.

[editar]Vase

tambin
Clasificacin de nmeros

Naturales Enteros Racionales Complejos Reales

Uno Naturales primos Naturales compuesto s

Cero Enteros negativos Fraccionarios Fraccin propia Fraccin impropia

Irracionales Imaginarios puros

Irracionales algebraicos Trascendentes

[editar]