UNIVERSIDAD DE SAN CARLOS

EFPEM
DID. DE ALGEBRA
LIC. LUIS SOLORZANO

NÚMEROS RACIONALES

NOMBRE CARNÉ
FRANCISCA ACUAL CAY 199924263
OSCAR ARTURO CALDERON 11632
 HISTORIA
En el Antiguo Egipto ya se calculaba utilizando fracciones unitarias, son aquellas cuyos
denominadores son enteros positivos como ½, 1/3 , ¼ . Cualquier fracción que escribimos con un
numerador no unitario., los egipcios la escribían como suma de fracciones unitarias distintas, de
ahí que las sumas de fracciones unitarias se conozcan como fracciones egipcias. Además se
pueden demostrar que cualquier racional positivo se puede escribir como fracción egipcia.

El jeroglífico de una boca abierta denota la barra de fracción / y un jeroglífico numérico escrito
debajo de la boca abierta denotaba el denominador de la fracción.

LOS NUMEROS RACIONALES

Se construirán los números racionales a partir de los números enteros.
Para calcular 12: 4 es hallar un número que multiplicado por 4 dé como resultado12.

Entonces 12: 4 = 3 desde 4 x 3 = 12

y en general a: b = x significa que b * x = a

Por otro lado la división de 3:7 no puede hacerse en Z, porque no hay número entero que
multiplicado por 7 de como resultado 3.

Por consiguiente: la operación de dividir no siempre es posible en el conjunto Z de los números

enteros.

Esta imposibilidad conduce a ampliar el conjunto de los números a fin de que la división por un
divisor diferente de cero sea siempre posible realizable. Para ello se introduce, para cada
1
elemento de a ≠ 0 un número , llamado inverso de a , ampliando a la vez la definición de la
a
multiplicación, mediante este convenio:

Propiedad del número inverso

1 1
× a = a × = 1 Para todo a ≠ 0
a a
La operación 3:7 es ahora realizable se tiene:
1
3 : 7 = 3 × (que se denota por 3/7)
7
1
Pues el número 3 × multiplicado por 7 da por resultado 3.
7
 1 1 
3×  × 7 = 3×  × 7
 7 7 
=3x1=3
Con esta ampliación obtenemos el conjunto de los números racionales.

Definimos al conjunto de los números racionales así

 Q = X/ ∼a, b /∈ Z b≠0 a/b =[(a,b)]
a 
Q =  / a ∈ Z , q ∈ Z , q ≠ 0
b 

Una escala métrica que representa a Z puede ahora ampliarse a fin de representar cualquier
número racional, con lo cual se obtiene la escala métrica correspondiente a Q.
Esto puede hacerse mediante dos unidos instrumentos geométricos: regla y triángulo, es decir
recurriendo solo a las propiedades de incidencia entre puntos y rectas y al paralelismo. Para ello
se construyen antes otra escala para z, concurrente con la dada.

Se determina en la escala E1 el punto representativo del numero 1/3

Una vez trazada la recta III 1, su paralela por I determina l en la escala E1 el punto buscado. La
figura indica la construcción de una parte de la escala métrica para Q, y la de los múltiplos de
1/3.

Las operaciones de suma, resta, multiplicación y división de llaman operaciones racionales, el

nombre se debe a que son siempre realizables en el conjunto de los números racionales, a
excepción al divisor igual a 0.

Construidas dos escalas métricas concurrentes de Q, se pueden efectuar todas las operaciones
racionales.

Ejemplo
En la figura se efectúa geométricamente la división de ¾ por 3/5: se traza la recta que une los
puntos ¾ de la escala E1 y de 3/5 de la escala E 2 , su paralela por I determina en E1 el punto
buscado 5/4. Se llega al mismo resultado multiplicando ¾ por la fracción inversa del divisor.

3 3 5 3 5 5
: = Líneas puntadas. También × =
4 5 4 4 3 4
Dados dos nueros racionales p y q tales que p < q, siempre hay otro numero racional r tal que p <
r < q. se dice que r está entre p y q.

p+q
En efecto, si p y q son racionales, lo es también el número r = . Este número está
2
representado por el punto medio del segmento pq.

Como consecuencia: Entre dos números racionales distintos p y q hay otro número racional r y
por tanto infinitos. Porque entre p y r hay un racional r1 , entre r y q otro r2 , entre p y r1 otro r3
y así sucesivamente.

La propiedad que se acaba de demostrar se expresa diciendo que el conjunto de los números
racionales es denso respecto la relación <.

Por ser denso el conjunto Q de los números racionales, todas las magnitudes medibles de que se
hace uso en la práctica y hasta en la ciencia aplicada pueden ser expresadas mediante éstos con
suficiente grado de aproximación. La precisión de los más perfectos instrumentos no pueden
obligar a salir del campo de los números racionales.

Dados dos números a y b con b ≠ 0 , se llama cociente a ÷ b , a todo numero x.

a ÷ b = x Significa que x • b = a
12 ÷ 4 = 3 Pues 4 • 3 = 12
Pero ocurre que la ecuación en x dada por la segunda igualdad no tiene solución en Z, si bien
cuando la tiene, esta solución es única.
Por ejemplo 12 ÷ 5 no existe en el conjunto Z, pues no hay ningún número entero, tal que
x • 5 = 12 . Entonces ÷ no es una operación en Z.

Si se remplaza la expresión a ÷ b por un par ordenado

(a, b) a, b ∈ Zb ≠ 0
Y se llamara fracción y se llamara equivalentes a dos pares ordenados (a, b) : (c, d ) , denotado
a c
≈ Si y solo si a ⋅ b = c ⋅ d
b d
Esta relación , definida sobre ¢ × ¢ * es de equivalencia porque es reflexiva simétrica y
transitiva. Para demostrarlo basta ver que:
Para todo (a, b) ∈ ¢ × ¢ , (a, b) : (a, b) ⇔ ab = ba y esto es cierto por la conmutatividad del
producto de enteros, por lo que entones es reflexiva.
Además, (a, b) : (c, d ) ⇒ ad = bc ⇒ bc = ad ⇒ cb = da lo cual quiere decir que (c, d ) : ( a, b) y
tal hecho muestra que es simétrica
Por otro lado (a, b) : (c, d ) ∧ (c, d ) : (e, f ) ⇔ ad = bc ∧ cf = de ⇔ a dc f = b cd e ⇔ af = be y
esto no es otra cosa que (a, b) : (e, f ) , por lo que  (a, b) : (c, d )  (c, d ) : (e, f )   (a, b) : (e, f )
y esto no es más que es transitiva

Esta relación define una partición o clasificación del conjunto de las fracciones en clases de
equivalencia.
La clase de equivalencia del par ordenado a/b de modo que
a c
 equivale a a b  c d
b d
Cada una de estas clases de equivalencia se llama número racional.
La representación gráfica de esta partición en clases de equivalencia, en la cual los pares a/b
elementos del producto cartesiano Z x Z con la segunda componente ≠ 0 . Se representa por
a
puntos de coordenadas enteras en el plano y las clases de equivalencia son subconjuntos
b
formados por los puntos del reticulado perteneciente a rectas que pasan por el origen, con
excepción del eje de las ordenadas.
OPERACIONES CON NÚMEROS RACIONALES
La suma
Como todo número racional surge de la necesidad de darle solución a la ecuación bx = a , donde
a y b son enteros, b≠0, tal ecuación equivale a definir el número x como el par (a,b), de tal
manera que la suma de dos número x e y equivale a encontrar la solución a las ecuaciones:
1) bx = a ∧ 2)dy = c en donde x : ( a, b) ∧ y : (c, d ) ; si multiplicamos la ecuación 1 por d y la
segunda por b, tenemos 3) dbx = da ∧ 4)bdy = bc y si ahora sumamos las ecuaciones 3) y 4)
tenemos 3) dbx = da ∧ 4)bdy = bc ⇒ dbx + bdy = da + bc ⇒ db( x + y ) = ad + cb , pero, en virtud
de la cerradura de la suma y el producto en los enteros, la última ecuación corresponde al par
a c ad + cb
ordenado x + y : (ad + cb, db) por lo que x + y : + =
b d db
Por lo tanto, la suma de pares ordenados a/b, c/d,… se define
( a b ) + ( c d ) = ( ad + bc ) / ( bd )
Tiene la siguiente propiedad
Al cambiar un sumando por un par equivalente, otro tanto ocurre con la suma.
Como consecuencia se puede definir la suma de los números racionales, o sea clases de
equivalencia respecto de ≈
a c
+
b d
Como la clase de equivalencia a la cual pertenece el segundo miembro de
( a b ) + ( c d ) = ( ad + bc ) / ( bd ) .
Esto es posible porque la clase es independiente de los representantes elegidos para las clases
a c
y .
b d

La diferencia o resta
a c x x c a
La diferencia o resta de números racionales se define como − = significa que + =
b d y y d b
y se prueba que la diferencia es una operación en Q, es decir dado dos números racionales
a c x
cualesquiera y , hay siempre un único numero racional que verifica la ecuación.
b d y
La multiplicación
El producto de los enteros se define muy similarmente a la suma: se tiene 1) bx = a ∧ 2)dy = c en
donde x : ( a, b) ∧ y : (c, d ) ; si multiplicamos ambas ecuaciones, tenemos dbxy = ac que
a c ac
corresponde al par ordenado dbxy = ac ⇒ (ac, db) por lo que xy : ⋅ =
b d db

La multiplicación de pares ordenados a/b, c/d tiene la propiedad:

Al cambiar un factor por un par equivalente, otro tanto ocurre con el producto.
Con lo anterior se puede definir la multiplicación de números racionales, o sea de clase de
equivalencia respecto ≈ .
a c
• ,
b d
Como la clase de equivalencia a la cual pertenece el segundo miembro de
(a b) • (c d ) = (ac ) /(bd ) . Esto es posible porque la clase es independiente de los representantes
a c
elegidos para las clases y .
b d

Número Racional
0
h
Es el mismo cualquiera que sea el entera no nulo h. l llamaremos racional cero y vemos que es
Elemento neutro de la suma.
a 0 a
+ =
b h b
Entonces
a 0 a • h + 0 • b ah
+ = =
b h b•h bh
ah a ah a
Además = , es decir, ≈ pues ah • b = bh • a
bh b bh b

El cociente de números racionales

El cociente de números racionales se define por la condición:
a c x x c a
÷ = o • =
b d y y d b
Vimos que la división o forma de cociente no es una operación totalmente definida en Q.
Ejemplo
3 0
÷
2 1
No existe, pues un numero racional, que multiplicado por el racional cero, da como resultado el
x x 0 3
racional cero y por tanto no hay ningún numero racional que verifique ÷ = .
y y 1 2

Vamos a definir ahora dos operaciones fundamentales en Q: la suma y el producto.

Suma o adición. Dados dos pares (a, b) y (c, d) definimos:
(a, b) + (c, d) = (ad + bc, bd)
Multiplicación o producto.
(a, b) · (c, d) = (ac, bd)
El lector podrá probar sin mayor dificultad (aplique procedimientos similares a los utilizados
para demostrar las mismas propiedades con números de Z), que estas operaciones gozan de las
siguientes propiedades:
Suma. Pp. Asociativa: [(a, b) + (c, d)] + (e, f) = (a, b) + [(c, d) + (e, f)]
Existencia de neutro: (a, b) + (0, 1) = (a, b) para todo par (a, b)
Existencia de opuesto: Dado (a, b) + (x, y) = (0, 1) ⇒ (x, y) = (-a, b)
Pp. Conmutativa: (a, b) + (c, d) = (c, d) + (a, b)
Producto. Pp. Asociativa: [(a, b) · (c, d)] · (e, f) = (a, b) · [(c, d) · (e, f)]
Existencia de unidad: (a, b) · (1, 1) = (a, b) para todo par (a, b)
Pp. Conmutativa: (a, b) · (c, d) = (c, d) · (a, b)
Pp. distributiva del producto en la suma:
(a, b) · [(c, d) + (e, f)] = (a, b) · (c, d) + (a, b) · (e, f)
Pp. cancelativa (o ley de simplificación):
(a, b) · (x, y) = (c, d) · (x, y) con (x, y) ≠ (0,1) ⇒ (a, b) = (c, d)
En consecuencia el conjunto de los números racionales (Q) tiene estructura de dominio de
integridad.
Existencia de recíproco: Para todo par (a, b) ≠ (0,1) de Q, existe el par (b, a), tal que
(a, b) · (b, a) = (1, 1)
El par (b, a) se llama recíproco de (a, b).
Definimos entonces el cociente de dos números racionales:
(a, b) : (c, d) = (a, b) · (d, c)
es decir, para dividir un número racional por otro, multiplicamos el primero (dividendo) por el
recíproco del segundo (divisor).

Podemos ahora afirmar que la ecuación (a, b) · (x, y) = (c, d) tiene siempre solución.
Lo cual significa que la división es cerrada en el conjunto Q. Luego las cuatro operaciones
suma, resta, multiplicación y división se denominan operaciones racionales.

Dado que en el conjunto de los números enteros sigue sin solución el problema de la división por
cuanto el inverso de un número entero cualquiera, no existe en el conjunto, los matemáticos se
han visto obligados a realizar una nueva ampliación del sistema numérico. Esto ha permitido
introducir los números racionales – que sirven para medir – Veremos aquí una forma rigurosa de
creación de los mismos.
Consideremos para ello el producto cartesiano de Z x Z*, siendo Z* = Z – {0}. Este nuevo
conjunto estará formado por todos los pares ordenados posibles de la forma (x, y) donde x e y,
son números enteros, siendo y ≠ 0. Podemos definir en este nuevo conjunto una relación entre
pares, en la siguiente forma: (a, b) ∼ (c, d) ⇔ a · d = b · c. (producto entre números enteros).
Se prueba con cierta facilidad que esta es una relación de equivalencia, vale decir admite las
propiedades reflexiva, simétrica y transitiva.
Las demostraciones correspondientes se obtienen razonando en forma similar a como lo hicimos
en el caso de los números enteros.
Propiedad reflexiva: Para todo par (a, b) de Z x Z*, se verifica:
(a, b) ∼ (a, b) por cuanto a · b = b · a (pp. conmutativa del producto de números enteros).
Propiedad simétrica: Si (a, b) ∼ (c, d) ⇒ (c, d) ∼ (a, b). En efecto:
si (a, b) ∼ (c, d) ⇒ a · d = b · c ⇒ c · b = d · a (pps. del producto y la igualdad en el
conjunto de los enteros). La última igualdad nos indica que (c, d) ∼ (a, b).
Propiedad transitiva: Si (a, b) ∼ (c, d) y (c, d) ∼ (e, f) ⇒ (a, b) ∼ (e, f). En efecto:
si (a, b) ∼ (c, d) ⇒ a · d = b · Z x Z ã = Q
ø
c (1)
si (c, d) ∼ (e, f) ⇒ c · f = d · e (2) multiplicando miembro a miembro (1) y (2):
a · d · c · f = b · c · d · e y simplificando a · f = b · e ⇒ (a, b) ∼ (e, f)

Luego la relación
1
definida entre pares 2 o bien 1/2 por razones tipográficas
ordenados de
números enteros es una relación de equivalencia, y en consecuencia determina en el producto
cartesiano considerado una partición en clases de equivalencia. A esta partición la llamamos
números racionales y la designamos con Q. Luego

En este nuevo conjunto, encontramos pares equivalentes: (1, 2); (2, 4); (3, 6); ...;(-1, -2); (-5,
-10); ... Aquí podemos elegir a uno cualquiera de estos pares como representante de la clase, por
ejemplo el par (1, 2) que acostumbramos a expresar con

Se comprende además que la clase representada por 1/2 no es la misma que la representada por
-1/2. Para comprobarlo bastará aplicar la definición de equivalencia dada. A esta forma de
escritura de los números racionales se las denomina también fracciones.

RELACIONES DE ORDEN EN Q.

Relación de menor. Dado dos números racionales (a, b) y (c ,d) diremos que el primero es
menor que el segundo cuando se verifica:
(a, b) < (c, d) ⇔ a.d < b.c
Relación de mayor. Diremos que el primer número es mayor que el segundo cuando:
(a, b) > (c, d) ⇔ a.d > b.c
Como la equivalencia entre números racionales habla de la igualdad de estos números, podemos
completar las relaciones anteriores con las expresiones: ≤ ó ≥, según corresponda.
Podemos verificar con facilidad que estas relaciones cumplen con las propiedades: reflexiva,
antisimétrica y transitiva.
Luego son relaciones de orden y para cualquier par de números de Q se verifica:
(a, b) < (c, d) ó (a, b) = (c, d) ó (a, b) > (c, d), (ley de tricotomía)
Estas relaciónes de orden son totales.

ISOMORFISMO ENTRE Z Y Q.

Veamos si es posible aquí establecer un isomorfismo similar al que estudiamos entre los números
naturales y los enteros.
Consideremos la clase de los números racionales cuya segunda componente sea 1. Los elementos
de esta clase serán de la forma (x, 1) pudiendo ser x un número entero positivo o negativo. Sea
Q’ esta clase.
Definamos una función i : Z  Q’, tal que ∀ x ∈ Z ⇒ i(x) = (x, 1)
Esta función es biyectiva, pues: a) x ≠ x’ ⇒ (x, 1) ≠ (x’, 1) (inyectiva)
b) ∀ (z, 1) ∈ Q’, ∃ z ∈ Z, tal que i(z) = (z, 1) (sobreyectiva)
Existe entonces una correspondencia biunívoca entre ambos conjuntos, y esta correspondencia
conserva la suma y el producto. En efecto:
(a, 1) + (b, 1) = (a + b, 1) = a + b
(a, 1) · (b, 1) = (ab, 1) = a.b
Podemos entonces afirmar que los números enteros (Z) y los racionales de la forma (x, 1) (Q’)
corresponden a un concepto esencialmente único y pueden por lo tanto identificarse. Todo
número entero s puede por lo tanto identificarse con un número racional de la forma (s, 1)
que normalmente expresamos con s/1. Los números racionales que no representan números
enteros suelen designarse con el nombre de números fraccionarios y en general se expresan con
a/b en lugar de utilizar la notación de par ordenado.

REPRESENTACION GRAFICA DE Q.
Los números racionales pueden representarse con puntos sobre una recta tomando una unidad
arbitraria y representando primero a los enteros. Los racionales o fracciones serán puntos como
½ (punto medio del segmento 0, 1); 1/3 (tercio del mismo segmento).

La recta recibe el nombre de abscisa, y los puntos serán denominados puntos racionales. Al
conjunto de puntos racionales x, situados entre otros dos a y b lo llamaremos intervalo racional
de extremos a y b, y se representará con [a, b].
Como entre dos números racionales siempre existen otros, decimos que el conjunto Q es denso.

Resumiendo: El conjunto de números racionales tiene estructura de grupo con respecto a la

suma (según hemos visto se cumplen para esta operación las propiedades: de cierre, asociativa,
existencia de neutro y existencia de opuesto y es conmutativa); es en realidad un grupo abeliano.
En consecuencia la resta o diferencia es siempre posible.
Tiene estructura de grupo abeliano, también para el producto (hemos probado que esta operación
es cerrada, asociativa, tiene unidad y recíproco para todo número y es conmutativa). Pero además
es distributiva con respecto a la suma. Luego es un anillo conmutativo y con unidad. Esto nos
indica que la operación opuesta al producto, vale decir la división es siempre posible, según lo
hemos indicado.
Ejemplos:
a c e a c a e c e
Si , , ∈ Q y además < entonces + < + ?
b d f b d b f d f
Solución
a c c a
< → − > 0∴
b d d b
c a
+0− > 0
d b
c e e a
+  −  − > 0
d  f f  b
c e  e a a e c e
+ −  +  > 0 → + < +
d f  f b b f d f