Nmero racional

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 Z .
Histricamente los nmeros fraccionarios propios antecedieron a los negativos y a los imaginarios.[3]

1 Historia
Los egipcios calculaban la resolucin de problemas prcticos utilizando fracciones cuyos denominadores son enteros positivos; son los primeros nmeros racionales utilizados para representar las partes de un entero, por
medio del concepto de recproco de un nmero entero.[4]
Los matemticos de la antigua Grecia consideraban que
dos magnitudes eran conmensurables si era posible encontrar una tercera tal que las dos primeras fueran mltiplos de la ltima, es decir, era posible encontrar una unidad comn para la que las dos magnitudes tuvieran una
medida entera. El principio pitagrico de que todo nmero es un cociente de enteros, expresaba en esta forma que
cualesquiera dos magnitudes deben ser conmensurables,
luego nmeros racionales.[5]

Representacin grca de de las fracciones cuyo divisor es 4.

Estas cuatro fracciones son nmeros racionales.

Nmero 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
b distinto 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 Q , en negrita de pizarra)
que deriva de cociente (Quotient en varios idiomas europeos). Este conjunto de nmeros incluye a los nmeros
enteros ( Z ), y es un subconjunto de los nmeros reales
( R ).

Etimolgicamente, el hecho de que estos nmeros se llamen racionales corresponde a que son la razn de dos
nmeros enteros, palabra cuya raz proviene del latn ratio,[6][7] y esta a su vez del griego (razn), que es
como llamaban los matemticos de la antigua Grecia a
estos nmeros.[8] La notacin Q empleada para nombrar
el conjunto de los nmeros racionales proviene de la palabra italiana quoziente, derivada del trabajo de Giuseppe
Peano en 1895.[9]

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

nmero decimal nito, o bien peridico. Esto es cierto no 2 Aritmtica de los nmeros raciosolo para nmeros escritos en base 10 (sistema decimal);
nales
tambin lo es en base binaria, hexadecimal o cualquier
otra base entera. Recprocamente, todo nmero que admite una expansin nita o peridica (en cualquier base 2.1 Relaciones de equivalencia y orden
entera) es un nmero racional.
2.1.1 Inmersin de enteros
Un nmero real que no es racional se llama nmero irracional; la expresin decimal de los nmeros irracionales, Cualquier entero n se puede expresar como el nmero raa diferencia de los racionales, es innita aperidica.[2]
cional n/1 debido a eso se escribe frecuentemente ZQ
En sentido estricto, nmero racional es el conjunto de to- (tcnicamente, se dice que los racionales contienen un
das las fracciones equivalentes a una dada; de todas ellas, subanillo isomorofo al anillo de los nmeros enteros).
1

3 ESCRITURA DECIMAL

2.1.2

Equivalencia
a
b

2.1.3

c
d

si y solo si ad = bc.

2.2.4 Divisin
Se dene la divisin o cociente de dos racionales r entre
s distinto de 0, al producto r s1 . En otra notacin,

Orden

Cuando ambos denominadores son positivos:

a
c
a d
=
b
d
b
c

Es una operacin totalmente denida, pero se asume que

es una operacin inversa de la multiplicacin que resuelve
Si cualquiera de los denominadores es negativo, las frac- la ecuacin sx=r, s0.
ciones primero deben convertirse en otras equivalentes
con denominadores positivos, siguiendo las ecuaciones:
a
b

<

c
d

si y solo si ad < bc.

2.3 Inversos

a
a
=
b
b

Los inversos aditivo y multiplicativo existen en los nmeros racionales:

y
a
a
=
.
b
b

2.2

(a)
b

a
a
=
b
b

( a )1
b

b
si a = 0.
a

3 Escritura decimal

Operaciones
3.1 Nmero racional en base decimal

A las operaciones de suma, resta, multiplicacin y divisin se les llama operaciones racionales.[10]
Todo nmero real admite una representacin decimal ilimitada, esta representacin es nica si se excluyen secuencias innitas de 9 (como por ejemplo el 0,9 peridi2.2.1 Suma
co). Utilizando la representacin decimal, todo nmero
racional puede expresarse como un nmero decimal niSe dene la suma o adicin de dos nmeros racionales a
to (exacto) o peridico y viceversa. De esta manera, el
la operacin que a todo par de nmeros racionales le hace
valor decimal de un nmero racional, es simplemente el
corresponder su suma
resultado de dividir el numerador entre el denominador.
a
c
ad + bc
+ =
b
d
bd
2.2.2

Resta

La operacin que a todo par de nmeros racionales le hace corresponder su diferencia se llama resta o diferencia
y se la considera operacin inversa de la suma.[11]
c
a
c ( a)
= +
d
b
d
b
2.2.3

Multiplicacin

Los nmeros racionales se caracterizan por tener una escritura decimal que solo puede ser de tres tipos:
Exacta: la parte decimal tiene un nmero nito de
cifras. Al no ser signicativos, los ceros a la derecha
del separador decimal pueden omitirse, lo que da
por resultado una expresin nita o terminal.
Por ejemplo:

8
= 1, 6
5
Peridica pura: toda la parte decimal se repite indenidamente. Ejemplo:

La multiplicacin o producto de dos nmeros racionales

es la operacin
c
ac
a
=
b
d
bd

1
7

= 0, 142857142857 . . .
= 0, 142857

3
Peridica mixta: no toda la parte decimal se repite.
Ejemplo:

1
60

2, 5 =

25
10

10
4

5
2

Para poder denir los nmeros racionales debe denirse

cuando dos fracciones diferentes son equivalentes y por
tanto representan el mismo nmero racional.
= 0, 01666 . . .

Formalmente cada nmero racional puede representarse

como la clase de equivalencia de un par ordenado de enteros (a,b), con b0, con la siguiente relacin de equivaDe la misma manera se aplica la representacin de un n- lencia:
mero racional en un sistema de numeracin posicional en
bases distintas de diez.
= 0, 016

(a, b) (c, d) si solo y si ad = bc

3.2

Nmero racional en otras bases

donde el espacio de equivalencia de clases es el espacio

En un sistema de numeracin posicional de base racio- cociente (Z Z \ {0})/ . Las operaciones de suma y
nal, las fracciones irreducibles cuyo denominador contie- multiplicacin se denen como
ne factores primos distintos de aquellos que factorizan la
base no tienen representacin nita.
(a, b) + (c, d) = (ad + bc, bd)
Por ejemplo, en base 10, un racional tendr un desarrollo
nito si y solo si el denominador de su fraccin irreduci- (a, b) (c, d) = (ac, bd)
ble es de la forma 2n 5p ( n y p enteros), as como en Se verica que las dos operaciones denidas son compabase duodecimal es innita y recurrente la representacin tibles con la relacin de equivalencia, indicando de made todas aquellas fracciones cuyo denominador contiene nera que Q se puede denir como el conjunto cociente
factores primos distintos de 2 y 3.
(Z Z \ {0})/ , con la relacin de equivalencia descrita antes.

Tngase en cuenta que las operaciones denidas no son

ms que la formalizacin de las operaciones habituales
entre fracciones:

Construccin formal
b
7
6

a
+
b
a

5
4
3

-3
2

-7

-6

-5

-3
1
-4

2
3

1
-3

-2

-1

1
2
1

-1

c
ad + bc
=
d
bd
c
ac
=
d
bd

Se denota como [(a,b)] a la clase de equivalencias que corresponde con las distintas representaciones de un mismo
nmero racional ab = ka
kb , con k0, en forma de fraccin.
Es decir :

-2
-3
-4
-5
-6
-7

Construccin formal de los nmeros racionales como pares ordenados.

[(a, b)] = { , (2a, 2b), (a, b), (a, b), (2a, 2b), }.
Se toma como representante cannico el par (a,b) tal
que mcd(a,b)= 1. Cualquier otro par se puede usar
en el caso de operaciones.[12] Por ejemplo, [(1, 2)] =
{(1, 2), (2, 4)(3, 6)...} es la clase de equivalencia del nmero racional 21 .
Con las operaciones anteriores, Q es un cuerpo, donde la
clase (0,1) desempea el papel de cero, y la clase (1,1)
de uno. El elemento opuesto de la clase (a,b) es la clase
(-a,b). Adems, si a0, la clase (a,b) es distinta de cero, luego (a,b) es invertible (inverso multiplicativo) y su
inverso corresponde a la clase (b,a).

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 identicable con
el conjunto de fracciones, porque a veces un nmero racional puede representarse por ms de una fraccin, por Tambin se puede denir una orden total en Q de la siguiente manera:
ejemplo:

NMERO P-DICO

1/1 1/2 1/3 1/4 1/5 1/6 1/7 1/8

...

2/2 2/3 2/4 2/5 2/6 2/7 2/8

(a, b) (c, d) si solo y si (bd > 0 y ad bc) (bd < 0 y ad2/1
bc)

...

3/1 3/2 3/3 3/4 3/5 3/6 3/7 3/8

...

4/1 4/2 4/3 4/4 4/5 4/6 4/7 4/8

...

5/1 5/2 5/3 5/4 5/5 5/6 5/7 5/8

...

6/1 6/2 6/3 6/4 6/5 6/6 6/7 6/8

...

7/1 7/2 7/3 7/4 7/5 7/6 7/7 7/8

...

8/1 8/2 8/3 8/4 8/5 8/6 8/7 8/8

...

El conjunto de los nmeros racionales puede tambin

construirse como el cuerpo de cocientes de los nmeros
enteros, esto es,

Q = Frac(Z).

Propiedades

...

...

...

...

...

...

...

Algebraicas

...

...

5.1

El conjunto de los nmeros racionales Q equipado con las

operaciones de suma y producto cumple las propiedades Diagrama usado en la demostracin de que los racionales son
numerables (Georg Cantor).
conmutativa, asociativa y distributiva, es decir:
a
b

c
d

c
d

a
b

(conmutativa)
(
)
e
a
c
e
+
+
=
+
+
b
d
f
b
d
f (asociativa)
(
)
a
c
e
= ab dc + ab
b
d + f
+

(a

=
)
c

5.2 Conjuntistas

e
f

(distributiva).[13]

El conjunto de los nmeros racionales es numerable, es

decir que existe una biyeccin entre N y Q (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).

Existen los elementos neutros para la suma y producto.

Para la suma, el cero, denotado por 0, ya que ab + 0 = ab 5.3 Topolgicas
para cualquier ab . Para el producto es el 1, que puede
ser representado por nn = 1 , con n distinto de 0, ya que
El conjunto Q forma un subconjunto denso de los
a
a
nmeros reales R por construccin misma de R
b 1= b .
(propiedad arquimediana): todo nmero real tiene
Posee elementos simtricos para las operaciones de suracionales arbitrariamente cerca.
ma y producto. As, el elemento simtrico respecto de la
a
a
suma para cualquier nmero racional b es b , llamado
Poseen una expansin nita como fraccin continua
elemento opuesto, puesto que ab + ( ab ) = 0 . Lo misregular.
mo ocurre en el caso del elemento simtrico respecto del
producto, para todo nmero racional q = ab , distinto de
Con la topologa del orden, forman un anillo topolgico, o de grupo parcialmente ordenado; presentan
0, existe q 1 = ab , llamado inverso multiplicativo tal que
una topologa inducida; tambin forman un espacio
q q 1 = ab ab = 1 .
mtrico con la mtrica d(x, y) = |x y| .
El conjunto Q , con las operaciones de adicin y multiplicacin denidas ms arriba, conforma un cuerpo con Los racionales son un ejemplo de espacio que no es
mutativo, el cuerpo de cocientes de los enteros Z .
localmente compacto.
Los racionales son el menor cuerpo con caracterstica nula. Cualquier otro cuerpo de caracterstica nula contiene
una copia de Q .
La clausura algebraica de Q , es el conjunto de los
nmeros algebraicos.

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.

Los racionales forman un dominio de factorizacin nica

ya que todo racional diferente de cero puede descompo- 6 Nmero p-dico
n
1
nerse en la forma: q = up
1 . . . pn donde pi N son
nmeros enteros primos, i Z (siendo algunos de ellos Sea p un nmero primo y para todo entero no nulo a ,
negativos si q no es entero) y u {1, 1} . Por ejemplo sea |a|p = pn donde pn es la mayor potencia de p que
divide a a .
260/693 = 22 32 51 71 111 131 .

5
 
|a|
Si |0|p = 0 y para cada nmero racional ab ,  ab p = |b|pp
entonces la funcin multiplicativa dp (x, y) = |x y|p
dene una mtrica sobre Q .
El espacio mtrico (Q, dp ) no es completo, su
completitud es el cuerpo de los nmeros p-dicos
Qp . El teorema de Ostrowski asegura que todo valor
absoluto no-trivial sobre Q es equivalente ya sea al valor
absoluto usual, o al valor absoluto p-dico.[14]

Vase tambin

Z.I. Borevich, I.R. Shafarevich; C. Pisot, M. Zamansky (2001), Rational Number, en Hazewinkel, Michiel, Encyclopaedia of Mathematics (en ingls), Springer, ISBN 978-1556080104
Weisstein, Eric W. RationalNumber. En Weisstein, Eric W. MathWorld (en ingls). Wolfram Research.

10 Enlaces externos

Notas y referencias

[1] Elena de Oteyza de Oteyza. lgebra. Pearson Educacin,

2003.
[2] T.S. Tsipkin. Manual de Matemtica Editorial Mir, Mosc
[3] Herstein: lgebra moderna
[4] Eves, Howard Eves ; with cultural connections by Jamie H.
(1990). An introduction to the history of mathematics (6th
ed. edicin). Philadelphia: Saunders College Pub. ISBN
0030295580.
[5] Dantzig, Tobias (1955). The Bequest of the Greeks. London: Unwin Brothers LTD. 3982581.
[6] Real Academia Espaola (2014). Razn. Diccionario
de la lengua espaola (23. edicin). Madrid: Espasa.
Consultado el 27 de febrero de 2016.
[7] Real Academia Espaola (2014). Ratio. Diccionario de
la lengua espaola (23. edicin). Madrid: Espasa. Consultado el 27 de febrero de 2016.
[8] Jimnez, Douglas. DIVULGACIN MATEMTICA
Qu era un irracional para un matemtico griego antiguo?. Consultado el 27 de febrero de 2016.
[9] Think rationally - The Problem with Rational. Hobart
and William Smith Colleges (en ingls). Consultado el 16
de febrero de 2016.
[10] Trejo. Op. cit.
[11] Adaptacin de la monografa El concepto de nmero de
Csar Trejo. Edicin de la OEA.
[12] Csar Trejo. Concepto de nmero
[13] Trejo. Op. cit.
[14] Consultar Aritmtica elemental de Enzo Gentile

Bibliografa
Crdenas, Raggi (1990). lgebra Superior. Mxico,
D. F.: Trillas. ISBN 968-24-3783-0. OCLC 7121505.

Wikcionario tiene deniciones y otra informacin sobre nmero racional.Wikcionario

11 ORIGEN DEL TEXTO Y LAS IMGENES, COLABORADORES Y LICENCIAS

11
11.1

Origen del texto y las imgenes, colaboradores y licencias

Texto

Nmero racional Fuente: https://es.wikipedia.org/wiki/N%C3%BAmero_racional?oldid=92832215 Colaboradores: AstroNomo, Andre

Engels, Maveric149, Youssefsan, Llull~eswiki, Joseaperez, Sabbut, Moriel, Dovidena, Vivero, Zwobot, MiguelMTN, Interwiki, Rosarino,
Cucharro, Sms, Tano4595, Cinabrium, 142857, Benjavalero, Renabot, RobotJcb, Airunp, Rembiapo pohyiete (bot), Magister Mathematicae, Orgullobot~eswiki, RobotQuistnix, Chobot, Yrbot, Amads, Oscar ., Varano, Vitamine, BOTijo, YurikBot, GermanX, No s qu
nick poner, Eskimbot, Baneld, Dove, Gtz, Swazmo, Maldoror, Er Komandante, Smoken Flames, Matiasasb, Sigmanexus6, Kn, Aleator,
BOTpolicia, CEM-bot, Jorgelrm, 333, JMCC1, Marianov, Baiji, Davius, Rosarinagazo, Julian Mendez, Dorieo, Ggenellina, Thijs!bot, Alvaro qc, Roberto Fiadone, Escarbot, Yeza, RoyFocker, Doctor C, Botones, Isha, Mpeinadopa, JAnDbot, VanKleinen, Kved, Charly Toluca,
DerHexer, Muro de Aguas, Iulius1973, Gsrdzl, TXiKiBoT, Netito777, Rei-bot, Plux, Jtico, AlnoktaBOT, VolkovBot, Technopat, C'est
moi, Queninosta, Matdrodes, Fernando Estel, Synthebot, DJ Nietzsche, BlackBeast, Luis1970, AlleborgoBot, Poxqo, Muro Bot, SieBot,
PaintBot, DaBot~eswiki, Loveless, Carmin, CASF, Dark, BOTarate, Mel 23, BuenaGente, PipepBot, Tirithel, M S, Jarisleif, Javierito92,
Dnu72, HUB, ThunderFOX, Farisori, Xinese-v, McMalamute, Estirabot, Eduardosalg, Leonpolanco, Pan con queso, Charly genio, Darclord, JetDriver, Raulshc, Aipni-Lovrij, Gelpgim22, Camilo, UA31, AVBOT, Msdus, JAQG, David0811, Dermot, Hemingway10, Angel
GN, Diegusjaimes, Davidgutierrezalvarez, MelancholieBot, Arjuno3, Andreasmperu, Luckas-bot, Xtquique, Ptbotgourou, Jotterbot, Nixn,
Ariss, ArthurBot, SuperBraulio13, Ortisa, Manuelt15, Xqbot, Jkbw, Rubinbot, Ricardogpn, Metronomo, Igna, Simonolea, Botarel, Panderine!, Googolplanck, BOTirithel, Hprmedina, TobeBot, Halfdrag, DIRQUENSHNOF, Jerowiki, Boatbadly, PatruBOT, Dinamik-bot,
Adriancho1995, Humbefa, Foundling, GrouchoBot, Edslov, EmausBot, Savh, TuHan-Bot, Sergio Andres Segovia, Emiduronte, Jcaraballo,
Waka Waka, WikitanvirBot, Oyauguru, SaeedVilla, Sebrev, Travelour, Gins90, MetroBot, Invadibot, Allan Aguilar, Maquedasahag, Bibliolotranstornado, Korolain, DLeandroc, Beelux, Helmy oved, RosenJax, Baute2010, Lorrie Baril, Legobot, JoseXXXKKK, Jean70000,
Addbot, Balles2601, Gnesis17, ConnieGB, JacobRodrigues, Manuel Balarezo, Hyllarys, Edwind sheik, Juahumada55, Jarould, Matiia,
Bruno Rene Vargas, Cristiano2015, BenjaBot, Itachisusano, Jeremiah Aguilar, Oscar5173, Robyn Perez Moreno, Joel Morera, X2y3, Romandaniel, Fernando2812l, Luisgustavo2223, Yupakuq, Ivan122003, Alexander castilloooo, Krassnine, TheXGamerYT, Ivoral7, RaulDG2
y Annimos: 633

11.2

Imgenes

Archivo:Diagonal_argument.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/8/85/Diagonal_argument.svg Licencia:

CC-BY-SA-3.0 Colaboradores: Trabajo propio Artista original: Cronholm144
Archivo:Fracciones.gif Fuente: https://upload.wikimedia.org/wikipedia/commons/b/b2/Fracciones.gif Licencia: Public domain Colaboradores: Trabajo propio Artista original: German
Archivo:Konstrukcja_liczb_wymiernych.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/9/99/Konstrukcja_liczb_
wymiernych.svg Licencia: Public domain Colaboradores: Trabajo propio Artista original: pl:Wikipedysta:Olaf
Archivo:Wiktionary-logo-es.png Fuente: https://upload.wikimedia.org/wikipedia/commons/0/06/Wiktionary-logo-es.png Licencia: CC
BY-SA 3.0 Colaboradores: originally uploaded there by author, self-made by author Artista original: es:Usuario:Pybalo

11.3

Licencia del contenido

Creative Commons Attribution-Share Alike 3.0