Vous êtes sur la page 1sur 6

Nmero racional

Nmero racional
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 positivo) 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 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.

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

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
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:
Demostracin

decir que el conjunto de los nmeros racionales es el cociente

De esta manera por la relacin de equivalencia.

, es

Para el conjunto de los nmeros racionales puede escribirse:

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

Nmero racional

Aritmtica de los nmeros racionales


Definicin de suma y multiplicacin en Q
Se define la suma Se define la multiplicacin

Relaciones de equivalencia y orden en Q


Se define la equivalencia cuando tales que tales que

Los racionales positivos son todos los Los racionales negativos son todos los Se define el orden cuando

Representacin grfica de las fracciones cuyo divisor es 4.

Existencia de neutros e inversos


Para cualquier nmero racional: y se le denota por . se cumple que entonces es el neutro multiplicativo de los se cumple que entonces es el neutro aditivo de los racionales

Para cualquier nmero racional: racionales y se le denota por Cada nmero racional: Cada nmero racional: .

tiene un inverso aditivo con excepcin de

tal que tal que

tiene un inverso multiplicativo

Equivalencias notables en Q
Todo nmero entero con con y y . con y se puede escribir como fraccin

Nmero racional

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

Los racionales son el menor cuerpo con caracterstica nula. , es el conjunto de los nmeros algebraicos. y (tienen la

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

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 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). 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: Decimales peridicos mixtos: tendr como numerador la diferencia entre sin la coma, y y , donde es el nmero escrito es el nmero sin la parte decimal peridica, escritos ambos como nmeros enteros. El entonces , es decir: y . , por lo que la

denominador tendr tantos "9" como cifras tiene el periodo y otros tantos "0" como cifras tenga el anteperodo. Ejemplo: Sea el nmero fraccin correspondiente ser

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:

Nmero racional

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 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.

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.

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 valor absoluto p-dico. 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

Referencias Bibliografa
Crdenas, Raggi (1990). lgebra Superior. Mxico D.F.: Trillas. ISBN 968-24-3783-0. OCLC 7121505 (http:// worldcat.org/oclc/7121505). Z.I. Borevich, I.R. Shafarevich; C. Pisot, M. Zamansky (2001), Rational Number (http://www. encyclopediaofmath.org/index.php?title=Rational_number&oldid=14864), en Hazewinkel, Michiel (en ingls), Encyclopaedia of Mathematics, Springer, ISBN 978-1556080104

Nmero racional Weisstein, Eric W. RationalNumber (http://mathworld.wolfram.com/RationalNumber.html) (en ingls). MathWorld. Wolfram Research.

Enlaces externos
Wikcionario tiene definiciones para nmero racional.Wikcionario Nmeros Racionales (http://numerosracionales.com) Definicin, propiedades y operaciones de nmeros racionales, junto con ejemplos .

Fuentes y contribuyentes del artculo

Fuentes y contribuyentes del artculo


Nmero racional Fuente: http://es.wikipedia.org/w/index.php?oldid=69356747 Contribuyentes: 142857, 212.95.194.xxx, 333, Adriancho1995, Airunp, Aleator, Alvaro qc, Amads, Andre Engels, Andreasmperu, Angel GN, Ariss, AstroNomo, Aipni-Lovrij, Baiji, Banfield, Baute2010, Beelux, Bibliofilotranstornado, BlackBeast, Boatbadly, C'est moi, Camilo, Carmin, Charly Toluca, Charly genio, Cinabrium, Cucharro, DIRQUENSHNOF, DJ Nietzsche, Darc-lord, Dark, David0811, Davius, Dermot, Diegusjaimes, Dnu72, Doctor C, Dorieo, Dove, Dovidena, Edslov, Eduardosalg, Emiduronte, Er Komandante, Farisori, Fernando Estel, Foundling, Gelpgim22, GermanX, Ggenellina, Gins90, Gnesis17, Googolplanck, Gtz, HUB, Halfdrag, Helmy oved, Hprmedina, Humbefa, Igna, Interwiki, Isha, Iulius1973, JAQG, JMCC1, Jarisleif, Javierito92, Jcaraballo, Jerowiki, JetDriver, Jkbw, JoseXXXKKK, Joseaperez, Jtico, Julian Mendez, Kn, Korolain, Kved, Leonpolanco, Llull, Lorrie Baril, Luis1970, M S, Magister Mathematicae, Maldoror, Maquedasahag, Matdrodes, Matiasasb, Maveric149, McMalamute, Mel 23, Metronomo, MiguelMTN, Moriel, Mpeinadopa, Msdus, Muro de Aguas, Netito777, Nixn, Ortisa, Oscar ., Oyauguru, Poxqo, Plux, Queninosta, Ralgis, Raulshc, Ricardogpn, Roberto Fiadone, Rosarino, RoyFocker, Sabbut, SaeedVilla, Savh, Sebrev, Sergio Andres Segovia, Sigmanexus6, Simonolea, Smoken Flames, SuperBraulio13, Tano4595, Technopat, Thorongil, ThunderFOX, Tirithel, Travelour, UA31, Varano, Vitamine, Vivero, Waka Waka, Xinese-v, Yeza, Youssefsan, conversion script, maipo.as.arizona.edu, 634 ediciones annimas

Fuentes de imagen, Licencias y contribuyentes


Archivo:Diagonal argument.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Diagonal_argument.svg Licencia: Creative Commons Attribution-ShareAlike 3.0 Unported Contribuyentes: Cronholm144 Archivo:Fracciones.gif Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Fracciones.gif Licencia: Public Domain Contribuyentes: German Archivo:Wiktionary-logo-es.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Wiktionary-logo-es.png Licencia: logo Contribuyentes: es:Usuario:Pybalo

Licencia
Creative Commons Attribution-Share Alike 3.0 //creativecommons.org/licenses/by-sa/3.0/