Menú principal

WikipediaLa enciclopedia libre

Buscar en Wikipedia
Buscar
Crear una cuenta
Acceder

Herramientas personales
Contenidos ocultar
Inicio
Historia
Aritmética de los números racionales
Alternar subsección 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
Alternar subsección Escritura decimal
Número racional en base decimal
Número racional en otras bases
Construcción formal
Propiedades
Alternar subsección Propiedades
Algebraicas
Conjuntistas
Topológicas
Número p-ádico
Véase también
Notas y referencias
Bibliografía
Enlaces externos
Número racional

Artículo
Discusión
Leer
Editar
Ver historial

Herramientas
(Redirigido desde «Números Racionales»)

Representación gráfica de las fracciones cuyo divisor es 4. Estas cuatro fracciones

son números racionales.
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

/
a/b con numerador

a y denominador

b 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

\mathbb{Q}, en negrita de pizarra) que deriva de «cociente» (del latín Quotiens2

adaptado como 'cociente' a varios idiomas europeos). Este conjunto de números
incluye a los números enteros (

\mathbb{Z}) y a los números fraccionarios y es un subconjunto de los números reales

(

\mathbb{R}).

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 periódica (en
cualquier base entera) es un número racional.

Un número real que no es racional se llama número irracional; la expresión decimal

de los números irracionales, a diferencia de los racionales, es infinita
aperiódica.3

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

\mathbb{Z}.

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

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

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,67 y esta a su vez del griego λόγος (razón), que es como llamaban los
matemáticos de la antigua Grecia a estos números.8 La notación

\mathbb{Q} empleada para nombrar el conjunto de los números racionales proviene de

la palabra italiana quoziente, derivada del trabajo de Giuseppe Peano en 1895.9

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

{\displaystyle \scriptstyle \mathbb {Z} \subset \mathbb {Q} } (técnicamente, se

dice que los racionales contienen un subanillo isomorfo al anillo de los números
enteros).

Equivalencia
Si se cumple:

{\displaystyle {\frac {a}{b}}={\frac {c}{d}}\quad \longleftrightarrow \quad ad=bc}

Orden
Cuando ambos denominadores son positivos:

<

<

{\displaystyle {\frac {a}{b}}<{\frac {c}{d}}\quad \longleftrightarrow \quad ad<bc}

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

{\displaystyle {\frac {-a}{-b}}={\frac {a}{b}}}

y

=
−
{\displaystyle {\frac {a}{-b}}={\frac {-a}{b}}}
Operaciones Racionales
A las operaciones de suma, resta, multiplicación y división se las llama
operaciones racionales.10

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:

{\displaystyle {\frac {a}{b}}+{\frac {c}{d}}={\cfrac {ad}{bd}}+{\cfrac {bc}{bd}}={\

frac {ad+bc}{bd}}}
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.10

+
(
−

)
{\displaystyle {\frac {c}{d}}-{\frac {a}{b}}={\frac {c}{d}}+\left(-{\frac {a}{b}}\
right)}.
Multiplicación
La multiplicación o producto de dos números racionales:
⋅

{\displaystyle {\frac {a}{b}}\cdot {\frac {c}{d}}={\frac {a\cdot c}{b\cdot d}}}.

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

−
1
{\displaystyle r\times s^{-1}}. En otra notación,

{\displaystyle {\frac {a}{b}}\div {\frac {c}{d}}={\frac {a}{b}}\cdot {\frac {d}

{c}}}.
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:

−
(

)
=
−

y
(
)
−
1
=

si

≠
0.
{\displaystyle -\left({\frac {a}{b}}\right)={\frac {-a}{b}}={\frac {a}{-b}}\quad {\
mbox{y}}\quad \left({\frac {a}{b}}\right)^{-1}={\frac {b}{a}}{\mbox{ si }}a\neq 0.}
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:
8
5
=
1
,
6
\frac 8 5 = 1,6
Periódica pura: toda la parte decimal se repite indefinidamente. Ejemplo:
1
7
=
0
,
142857142857
…
=
0
,
142857
¯\begin{array}{rcl}\cfrac 1 7&=&0,142857142857\dots\\&=&0,\overline{142857}\
end{array}
Periódica mixta: no toda la parte decimal se repite. Ejemplo:

1
60
=
0
,
01666
…
=
0
,
01
6
¯\begin{array}{rcl}\cfrac 1 {60}&=&0,01666\dots\\&=&0,01\overline{6}\end{array}
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
2

⋅
5

{\displaystyle 2^{n}\cdot 5^{p}} (

n y

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

Construcción formal de los números racionales como pares ordenados.

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:

2
,
5
=
25
10
=
10
4
=
5
2
2,5 = \frac{25}{10} = \frac{10}{4} = \frac{5}{2}

Para poder definir los números racionales debe definirse cuando dos fracciones
diferentes son equivalentes y por tanto representan el mismo número racional.

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

)
∼
(

)
si y solo si

{\displaystyle \left(a,b\right)\sim (c,d){\text{ si y solo si }}ad=bc},

donde el espacio de equivalencia de clases es el espacio cociente
(

∖
{
0
}
)
/
∼{\displaystyle (\mathbb {Z} \times \mathbb {Z} \setminus \left\{0\right\})/\sim }.
Las operaciones de suma y multiplicación se definen como

)
+
(

)
=
(

)
(

)
×
(

)
=
(

)
{\displaystyle {\begin{aligned}\left(a,b\right)+(c,d)&=(ad+bc,bd)\\\left(a,b\
right)\times (c,d)&=(ac,bd)\end{aligned}}}
Se verifica que las dos operaciones definidas son compatibles con la relación de
equivalencia, indicando de manera que

\mathbb{Q} se puede definir como el conjunto cociente

(

∖
{
0
}
)
/
∼{\displaystyle (\mathbb {Z} \times \mathbb {Z} \setminus \left\{0\right\})/\sim },
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:

=
{\displaystyle {\begin{aligned}{\frac {a}{b}}+{\frac {c}{d}}&={\frac {ad+bc}{bd}}\\
{\frac {a}{b}}\cdot {\frac {c}{d}}&={\frac {ac}{bd}}\end{aligned}}}
Se denota como [(a,b)] a la clase de equivalencias que corresponde con las
distintas representaciones de un mismo número racional

{\displaystyle {\tfrac {a}{b}}={\tfrac {ka}{kb}}}, con k≠0, en forma de fracción.

Es decir :

[
(

)
]
=
{
⋯
,
(
−
2

,
−
2

)
,
(
−

,
−

)
,
(

)
,
(
2

,
2

)
,
⋯
}
.
{\displaystyle [(a,b)]=\{\cdots ,(-2a,-2b),(-a,-b),(a,b),(2a,2b),\cdots \}.}
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.10 Por ejemplo,
[
(
1
,
2
)
]
=
{
(
1
,
2
)
,
(
2
,
4
)
(
3
,
6
)
.
.
.
}
{\displaystyle [(1,2)]=\{(1,2),(2,4)(3,6)...\}} es la clase de equivalencia del
número racional
1
2
{\displaystyle {\tfrac {1}{2}}}.

Con las operaciones anteriores,

\mathbb{Q} 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

\mathbb{Q} de la siguiente manera:

)
≤
(

,
)
si y solo si
(

>
0
y

)
ó
(

<
0
y

)
{\displaystyle (a,b)\leq (c,d){\text{ si y solo si }}(bd>0{\text{ y }}ad\leq bc){\
text{ ó }}(bd<0{\text{ y }}ad\geq bc)}.
El conjunto de los números racionales puede también construirse como el cuerpo de
cocientes de los números enteros, esto es,

=
F
r
a
c
(

)
.
{\displaystyle \mathbb {Q} =\mathrm {Frac} (\mathbb {Z} ).}
Propiedades
Algebraicas
El conjunto de los números racionales

\mathbb{Q} equipado con las operaciones de suma y producto cumple las propiedades
conmutativa, asociativa y distributiva, es decir:

=
+

{\displaystyle {\frac {a}{b}}+{\frac {c}{d}}={\frac {c}{d}}+{\frac {a}{b}}}

(conmutativa)
(

)
+

+
(

)
{\displaystyle \left({\frac {a}{b}}+{\frac {c}{d}}\right)+{\frac {e}{f}}={\frac {a}
{b}}+\left({\frac {c}{d}}+{\frac {e}{f}}\right)} (asociativa)

×
(

)
=

{\displaystyle {\frac {a}{b}}\times \left({\frac {c}{d}}+{\frac {e}{f}}\right)={\

frac {a}{b}}\times {\frac {c}{d}}+{\frac {a}{b}}\times {\frac {e}{f}}}
(distributiva).10
Existen los elementos neutros para la suma y producto. Para la suma, el cero,
denotado por 0, ya que

+
0
=

{\displaystyle {\tfrac {a}{b}}+0={\tfrac {a}{b}}} para cualquier

{\displaystyle {\tfrac {a}{b}}}. Para el producto es el 1, que puede ser

representado por

=
1
{\displaystyle {\tfrac {n}{n}}=1}, con n distinto de 0, ya que

×
1
=

{\displaystyle {\tfrac {a}{b}}\times 1={\tfrac {a}{b}}}.

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

{\displaystyle {\tfrac {a}{b}}} es

−

{\displaystyle -{\tfrac {a}{b}}}, llamado elemento opuesto, puesto que

+
(
−

)
=
0
{\displaystyle {\tfrac {a}{b}}+(-{\tfrac {a}{b}})=0}. Lo mismo ocurre en el caso
del elemento simétrico respecto del producto, para todo número racional

{\displaystyle q={\tfrac {a}{b}}}, distinto de 0, existe

−
1
=

{\displaystyle q^{-1}={\tfrac {b}{a}}}, llamado inverso multiplicativo tal que

−
1
=

=
1
{\displaystyle q\times q^{-1}={\tfrac {a}{b}}\times {\tfrac {b}{a}}=1}.

El conjunto

\Q, con las operaciones de adición y multiplicación definidas más arriba, conforma
un cuerpo conmutativo, el cuerpo de cocientes de los enteros

\Z.

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

\Q.

La clausura algebraica de

\Q, 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:

1
…

q = u p_1^{\alpha_1}\dots p_n^{\alpha_n} donde

p_i\in \mathbb{N} son números enteros primos,

\alpha_i\in \mathbb{Z} (siendo algunos de ellos negativos si q no es entero) y

∈
{
1
,
−
1
}
u\in\{1,-1\}. Por ejemplo
260
/
693
=
2
2
3
−
2
5
1
7
−
1
11
−
1
13
1
260/693= 2^2 3^{-2}5^1 7^{-1}11^{-1}13^1\,.

Conjuntistas

Diagrama usado en la demostración de que los racionales son numerables (Georg

Cantor).
El conjunto de los números racionales es numerable, es decir que existe una
biyección entre

\N y

\Q (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

\Q forma un subconjunto denso de los números reales

\R por construcción misma de

\R (propiedad arquimediana): todo número real tiene racionales arbitrariamente

cerca.
Poseen una expansión finita como fracción continua regular.
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

)
=
|

−
|
d(x,y) = |x -y|.
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
Artículo principal: Número p-ádico
Sea

p un número primo y para todo entero no nulo

a, sea
|

|a|_p=p^{-n} donde

p^n es la mayor potencia de

p que divide a

a.

Si
|
0
|

=
0
|0|_p=0 y para cada número racional

\frac{a}{b} ,
|

=
|

{\displaystyle \left|{\frac {a}{b}}\right|_{p}={\frac {|a|_{p}}{|b|_{p}}}} entonces

la función multiplicativa
(

)
=
|

d_p\left(x, y\right) = |x - y|_p define una métrica sobre

\Q.

El espacio métrico
(

)
\left(\Q,d_p\right) no es completo, su completitud es el cuerpo de los números p-
ádicos

\Q_p. 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.11

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

Véase también
Clasificación de los números
Complejos
:

{\displaystyle :\;\mathbb {C} }

Reales
:

{\displaystyle :\;\mathbb {R} }

Racionales
:

{\displaystyle :\;\mathbb {Q} }

Enteros
:

{\displaystyle :\;\mathbb {Z} }

Naturales
:

{\displaystyle :\;\mathbb {N} }

Cero: 0
Enteros negativos
Fraccionarios
Irracionales
Imaginarios
Notas y referencias
Elena de Oteyza de Oteyza. Álgebra. Pearson Educación, 2003.
Wiktionary Quotiens (latín)
T.S. Tsipkin. Manual de Matemática Editorial Mir, Moscú
Eves, Howard Eves ; with cultural connections by Jamie H. (1990). An introduction
to the history of mathematics (6th ed. edición). Philadelphia: Saunders College
Pub. ISBN 0030295580.
Dantzig, Tobias (1955). The Bequest of the Greeks. London: Unwin Brothers LTD.
3982581.
Real Academia Española. «Razón». Diccionario de la lengua española (23.ª edición).
Consultado el 27 de febrero de 2016.
Real Academia Española. «Ratio». Diccionario de la lengua española (23.ª edición).
Consultado el 27 de febrero de 2016.
Jiménez, Douglas. «DIVULGACIÓN MATEMÁTICA ¿Qué era un irracional para un
matemático griego antiguo?». Consultado el 27 de febrero de 2016.
«Think rationally - The Problem with Rational». Hobart and William Smith Colleges
(en inglés). Consultado el 16 de febrero de 2016.
Adaptación de la monografía El concepto de número de César Trejo. Edición de la
OEA.
Consultar Aritmética elemental de Enzo Gentile
Bibliografía
Cárdenas, Raggi (1990). Álgebra Superior. México, D. F.: Trillas. ISBN 968-24-3783-
0. OCLC 7121505.
Z.I. Borevich, I.R. Shafarevich; C. Pisot, M. Zamansky (2001), «Rational Number»,
en Hazewinkel, Michiel, ed., Encyclopaedia of Mathematics (en inglés), Springer,
ISBN 978-1556080104.
Weisstein, Eric W. «RationalNumber». 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.
Control de autoridades
Proyectos WikimediaWd Datos: Q1244890Commonscat Multimedia: Rational numbers /
Q1244890
IdentificadoresBNE: XX528806BNF: 12104932p (data)GND: 4048495-6LCCN: sh85093220NKC:
ph215329NLI: 987007538747305171Diccionarios y enciclopediasBritannica:
urlOntologíasNúmero IEV: 102-02-03
Categorías: Teoría de cuerposFraccionesNúmeros realesMatemática elementalNúmeros
racionales
Esta página se editó por última vez el 3 jul 2023 a las 00:36.
El texto está disponible bajo la Licencia Creative Commons Atribución Compartir
Igual 4.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.
Política de privacidadAcerca de WikipediaLimitación de responsabilidadCódigo de
conductaVersión para móvilesDesarrolladoresEstadísticasDeclaración de
cookiesWikimedia FoundationPowered by MediaWikiActivar o desactivar el límite de
anchura del contenido