Número racional

Los números racionales son todos los números que pueden

representarse como el cociente de dos números enteros o, más
exactamente, un entero y un natural positivo;1 ​ es decir, una
fracción común con numerador y denominador distinto de
cero. El término «racional» alude a una fracción o parte de un todo.
El conjunto de los números racionales se denota por Q (o bien ,
en negrita de pizarra) que deriva de «cociente» (Quotient en varios
idiomas europeos). Este conjunto de números incluye a los
números enteros ( ) y a los números fraccionarios y es un
subconjunto de los números reales ( ).

La escritura decimal de un número racional es, o bien un número

decimal finito, o bien semiperiódico. Esto es cierto no solo para
números escritos en base 10 (sistema decimal); también lo es en
base binaria, hexadecimal o cualquier otra base entera.
Recíprocamente, todo número que admite una expansión finita o Representación gráfica de las
periódica (en cualquier base entera) es un número racional. fracciones cuyo divisor es 4. Estas
cuatro fracciones son números
Un número real que no es racional se llama número irracional; la racionales.
expresión decimal de los números irracionales, a diferencia de los
racionales, es infinita aperiódica.2 ​

En sentido estricto, número racional es el conjunto de todas las fracciones equivalentes a una dada; de todas
ellas, se toma como representante canónico de dicho número racional a la fracción irreducible. Las
fracciones equivalentes entre sí –número racional– son una clase de equivalencia, resultado de la aplicación
de una relación de equivalencia sobre .

Índice
Historia
Aritmética de los números racionales
Relaciones de equivalencia y orden
Inmersión de enteros
Equivalencia
Orden
Operaciones Racionales
Suma
Resta
Multiplicación
División
Inversos
Escritura decimal
Número racional en base decimal
 Número racional en otras bases
Construcción formal
Propiedades
Algebraicas
Conjuntistas
Topológicas
Número p-ádico
Véase también
Notas y referencias
Bibliografía
Enlaces externos

Historia
Los egipcios calculaban la resolución de problemas prácticos utilizando fracciones cuyos denominadores
son enteros positivos; son los primeros números racionales utilizados para representar las «partes de un
entero», por medio del concepto de recíproco de un número entero.3 ​

Los matemáticos de la antigua Grecia consideraban que dos magnitudes eran conmensurables si era posible
encontrar una tercera tal que las dos primeras fueran múltiplos de la última, es decir, era posible encontrar
una unidad común para la que las dos magnitudes tuvieran una medida entera. El principio pitagórico de
que todo número es un cociente de enteros, expresaba en esta forma que cualesquiera dos magnitudes
deben ser conmensurables, luego números racionales.4 ​

Etimológicamente, el hecho de que estos números se llamen racionales corresponde a que son la razón de
dos números enteros, palabra cuya raíz proviene del latín ratio,5 6​ ​y esta a su vez del griego λόγος (razón),
que es como llamaban los matemáticos de la antigua Grecia a estos números.7 ​ La notación empleada
para nombrar el conjunto de los números racionales proviene de la palabra italiana quoziente, derivada del
trabajo de Giuseppe Peano en 1895.8 ​

Aritmética de los números racionales

Véase también: Fracción § Aritmética con fracciones

Relaciones de equivalencia y orden

Inmersión de enteros

Cualquier entero n se puede expresar como el número racional n/1 debido a eso se escribe frecuentemente
(técnicamente, se dice que los racionales contienen un subanillo isomorfo al anillo de los números
enteros).

Equivalencia

Si se cumple:
Orden

Cuando ambos denominadores son positivos:

Si cualquiera de los denominadores es negativo, las fracciones primero deben convertirse en otras
equivalentes con denominadores positivos, siguiendo las ecuaciones:

Operaciones Racionales

A las operaciones de suma, resta, multiplicación y división se las llama operaciones racionales.9 ​

Suma

Se define la suma o adición de dos números racionales a la operación que a todo par de números racionales
le hace corresponder su suma:

Resta

La operación que a todo par de números racionales le hace corresponder su diferencia se llama resta o
diferencia y se la considera operación inversa de la suma.9 ​

Multiplicación

La multiplicación o producto de dos números racionales:

División
Se define la división o cociente de dos racionales r entre s distinto de 0, al producto . En otra
notación,

Es una operación totalmente definida, pero se asume que es una operación inversa de la multiplicación que
resuelve la ecuación s·x=r, s≠0.

Inversos

Los inversos aditivo y multiplicativo existen en los números racionales:

Escritura decimal

Número racional en base decimal

Véanse también: Representación decimal, Número decimal y Número decimal periódico.

Todo número real admite una representación decimal ilimitada, esta representación es única si se excluyen
secuencias infinitas de 9 (como por ejemplo el 0,9 periódico).
Utilizando la representación decimal, todo
número racional puede expresarse como un número decimal finito (exacto) o periódico y viceversa. De esta
manera, el valor decimal de un número racional, es simplemente el resultado de dividir el numerador entre
el denominador.

Los números racionales se caracterizan por tener una escritura decimal que solo puede ser de tres tipos:

Exacta: la parte decimal tiene un número finito de cifras. Al no ser significativos, los ceros a
la derecha del separador decimal pueden omitirse, lo que da por resultado una expresión
«finita» o «terminal». Por ejemplo:

Periódica pura: toda la parte decimal se repite indefinidamente. Ejemplo:

Periódica mixta: no toda la parte decimal se repite. Ejemplo:

De la misma manera se aplica la representación de un número racional en un sistema de numeración
posicional en bases distintas de diez.

Número racional en otras bases

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

Por ejemplo, en base 10, un racional tendrá un desarrollo finito si y solo si el denominador de su fracción
irreducible es de la forma ( y enteros), así como en base duodecimal es infinita y recurrente la
representación de todas aquellas fracciones cuyo denominador contiene factores primos distintos de 2 y 3.

Construcción formal
Véanse también: Dominio de integridad y Cuerpo de cocientes.

El conjunto de los números racionales puede construirse a

partir del conjunto de fracciones cuyo numerador y cuyo
denominador son números enteros. El conjunto de los números
racionales no es directamente identificable con el conjunto de
fracciones, porque a veces un número racional puede
representarse por más de una fracción, por ejemplo:

Para poder definir los números racionales debe definirse

cuando dos fracciones diferentes son equivalentes y por tanto Construcción formal de los números
representan el mismo número racional. racionales como pares ordenados.

Formalmente cada número racional puede representarse como

la clase de equivalencia de un par ordenado de enteros (a,b),
con b≠0, con la siguiente relación de equivalencia:

donde el espacio de equivalencia de clases es el espacio cociente . Las operaciones de

suma y multiplicación se definen como

Se verifica que las dos operaciones definidas son compatibles con la relación de equivalencia, indicando de
manera que se puede definir como el conjunto cociente , con la relación de
equivalencia descrita antes.

Téngase en cuenta que las operaciones definidas no son más que la formalización de las operaciones
habituales entre fracciones:
Se denota como [(a,b)] a la clase de equivalencias que corresponde con las distintas representaciones de un
mismo número racional , con k≠0, en forma de fracción. Es decir :

Se toma como representante canónico el par (a,b) tal que mcd(a,b)= 1. Cualquier otro par se puede usar en
el caso de operaciones.9 ​ Por ejemplo, es la clase de equivalencia del
número racional .

Con las operaciones anteriores, es un cuerpo, donde la clase (0,1) desempeña el papel de cero, y la clase
(1,1) de uno. El elemento opuesto de la clase (a,b) es la clase (-a,b). Además, si a≠0, la clase (a,b) es
distinta de cero, luego (a,b) es invertible (inverso multiplicativo) y su inverso corresponde a la clase (b,a).

También se puede definir una orden total en de la siguiente manera:

ó .

El conjunto de los números racionales puede también construirse como el cuerpo de cocientes de los
números enteros, esto es,

Propiedades

Algebraicas

El conjunto de los números racionales equipado con las operaciones de suma y producto cumple las
propiedades conmutativa, asociativa y distributiva, es decir:

(conmutativa)

(asociativa)

(distributiva).9 ​

Existen los elementos neutros para la suma y producto. Para la suma, el cero, denotado por 0, ya que
para cualquier . Para el producto es el 1, que puede ser representado por , con n
distinto de 0, ya que .

Posee elementos simétricos para las operaciones de suma y producto. Así, el elemento simétrico respecto de
la suma para cualquier número racional es , llamado elemento opuesto, puesto que .
Lo mismo ocurre en el caso del elemento simétrico respecto del producto, para todo número racional
, distinto de 0, existe , llamado inverso multiplicativo tal que .
El conjunto , con las operaciones de adición y multiplicación definidas más arriba, conforma un cuerpo
conmutativo, el cuerpo de cocientes de los enteros .

Los racionales son el menor cuerpo con característica nula. Cualquier otro cuerpo de característica nula
contiene una copia de .

La clausura algebraica de , es el conjunto de los números algebraicos.

Los racionales forman un dominio de factorización única ya que todo racional diferente de cero puede
descomponerse en la forma: donde son números enteros primos, (siendo
algunos de ellos negativos si q no es entero) y . Por ejemplo
.

Conjuntistas

El conjunto de los números racionales es numerable, es decir que

existe una biyección entre y (tienen la misma cantidad de
elementos). El conjunto de los números reales no es numerable (la
parte no-denombrable de los reales, la constituyen los números
irracionales).

Topológicas
El conjunto forma un subconjunto denso de los
números reales por construcción misma de
(propiedad arquimediana): todo número real tiene
racionales arbitrariamente cerca. Diagrama usado en la demostración
Poseen una expansión finita como fracción continua de que los racionales son
regular. numerables (Georg Cantor).
Con la topología del orden, forman un anillo topológico,
o de grupo parcialmente ordenado; presentan una
topología inducida; también forman un espacio métrico con la métrica .
Los racionales son un ejemplo de espacio que no es localmente compacto.
Se caracterizan topológicamente por ser el único espacio metrizable numerable sin puntos
aislados (también es totalmente discontinuo). Los números racionales no forman un espacio
métrico completo.

Número p-ádico
Sea un número primo y para todo entero no nulo , sea donde es la mayor potencia de
que divide a .

Si y para cada número racional , entonces la función multiplicativa

define una métrica sobre .

El espacio métrico no es completo, su completitud es el cuerpo de los números p-ádicos . El
teorema de Ostrowski asegura que todo valor absoluto no-trivial sobre es equivalente ya sea al valor
10
absoluto usual, o al valor absoluto p-ádico. ​

Esto en representaciones algebraicas y no en representaciones aritméticas.

Véase también

Clasificación de los números

Naturales
Enteros Cero: 0
Racionales
Reales Enteros negativos
Complejos
Fraccionarios
Irracionales
Imaginarios

Notas y referencias
7. Jiménez, Douglas. «DIVULGACIÓN
1. Elena de Oteyza de Oteyza. Álgebra.
MATEMÁTICA ¿Qué era un irracional para
Pearson Educación, 2003. un matemático griego antiguo?» (http://ww
2. T.S. Tsipkin. Manual de Matemática w.emis.de/journals/BAMV/conten/vol13/dji
Editorial Mir, Moscú menez.pdf). Consultado el 27 de febrero de
3. Eves, Howard Eves  ; with cultural 2016.
connections by Jamie H. (1990). An 8. «Think rationally - The Problem with
introduction to the history of mathematics Rational» (http://math.hws.edu/mitchell/Mat
(6th ed. edición). Philadelphia: Saunders h331S13/Rationals.pdf). Hobart and
College Pub. ISBN 0030295580. William Smith Colleges (en inglés).
4. Dantzig, Tobias (1955). The Bequest of the Consultado el 16 de febrero de 2016.
Greeks (https://archive.org/details/dli.ernet. 9. Adaptación de la monografía El concepto
103285). London: Unwin Brothers LTD. de número de César Trejo. Edición de la
3982581. OEA.
5. Real Academia Española y Asociación de 10. Consultar Aritmética elemental de Enzo
Academias de la Lengua Española. Gentile
«Razón»
(https://dle.rae.es/Raz%C3%B3n).
Diccionario de la lengua española (23.ª
edición). Consultado el 27 de febrero de
2016.
6. Real Academia Española y Asociación de
Academias de la Lengua Española.
«Ratio» (https://dle.rae.es/Ratio).
Diccionario de la lengua española (23.ª
edición). Consultado el 27 de febrero de
2016.
Bibliografía
Cárdenas, Raggi (1990). Álgebra Superior. México,  D.  F.: Trillas. ISBN  968-24-3783-0.
OCLC 7121505 (https://www.worldcat.org/oclc/7121505).
Z.I. Borevich, I.R. Shafarevich; C. Pisot, M. Zamansky (2001), «Rational Number» (http://ww
w.encyclopediaofmath.org/index.php?title=Rational_number&oldid=14864), en Hazewinkel,
Michiel, ed., Encyclopaedia of Mathematics (en inglés), Springer, ISBN 978-1556080104.
Weisstein, Eric W. «RationalNumber» (http://mathworld.wolfram.com/RationalNumber.html).
En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.

Enlaces externos
Wikcionario tiene definiciones y otra información sobre número racional.
Definición de número racional (https://estadisticamente.com/numeros-racionales-y-numeros
-irracionales/#Definicion_de_numero_racional).

Obtenido de «https://es.wikipedia.org/w/index.php?title=Número_racional&oldid=144260166»

Esta página se editó por última vez el 18 jun 2022 a las 03:17.

El texto está disponible bajo la Licencia Creative Commons Atribución Compartir Igual 3.0;
pueden aplicarse
cláusulas adicionales. Al usar este sitio, usted acepta nuestros términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una organización sin ánimo de lucro.