Números Racionales - Merged

LOS NÚMEROS RACIONALES
Realizaremos la construcción de los números racionales y nuestro punto de

partida es definiendo la siguiente relación de equivalencia
Sea 𝑎, 𝑐 ∈ ℤ , y 𝑏, 𝑑 ∈ ℤ ∖ {0} . Decimos que (𝑎, 𝑏) está relacionado a
(𝑐, 𝑑), escribimos (𝑎, 𝑏 )#(𝑐, 𝑑), si 𝑎𝑑 = 𝑏𝑐
Probaremos que es una relación de equivalencia
Es reflexiva, en efecto, sea 𝑎, 𝑏 ∈ ℤ , con 𝑏 ≠ 0, tenemos 𝑎𝑏 = 𝑎𝑏 ,
entonces (𝑎, 𝑏 )#(𝑎, 𝑏) luego # es reflexiva
Es simétrica, en efecto, sean 𝑎, 𝑐 ∈ ℤ , y 𝑏, 𝑑 ∈ ℤ ∖ {0} y (𝑎, 𝑏 )#(𝑐, 𝑑) ,

entonces 𝑎𝑑 = 𝑏𝑐, por conmutatividad del producto usual 𝑑𝑎 = 𝑐𝑏 ⟺
𝑐𝑏 = 𝑑𝑎
entonces (𝑐, 𝑑 )#(𝑎, 𝑏) luego # es simétrica.
Es transitiva, en efecto, sean (𝑎, 𝑏 )#(𝑐, 𝑑) y (𝑐, 𝑑 )#(𝑒, 𝑓), donde 𝑎, 𝑐, 𝑒 ∈

ℤ y 𝑏, 𝑑, 𝑓 ∈ ℤ ∖ {0} , por definición de la relación se tiene 𝑎𝑑 =
𝑏𝑐 y 𝑐𝑓 = 𝑑𝑒
Entonces 𝑎𝑓𝑑 = 𝑎𝑑𝑓 = 𝑏𝑐𝑓 = 𝑏𝑑𝑒 = 𝑏𝑒𝑑, como 𝑑 ≠ 0 entonces 𝑎𝑓 =
𝑏𝑒
entonces (𝑎, 𝑏)#(𝑒, 𝑓), así # es transitiva. ∎
Definimos el conjunto de los números racionales como el conjunto de

equivalencia en clases de #. Un ejemplo es {(𝑎, 𝑏) ∶ 𝑎, 𝑐 ∈ ℤ , 𝑏 ≠ 0, 𝑏 =
2𝑎} es una clase de equivalencia que es determinada por (1,2).
OBSERVACIONES:
• Denotaremos a las clases de equivalencia de (𝑎, 𝑏) como 𝑎/𝑏
• Definir a los racionales implica la introducción del “inverso
multiplicativo”
• Tendremos, además, a la clase de la forma 1/𝑏 (𝑏 ∈ ℤ, 𝑏 ≠ 0)
entonces existirán racionales de la forma 𝑎/𝑏 que no se puedan
reducir por cancelación.
Definición
La suma y multiplicación de números racionales se definen de la siguiente
manera. Sean 𝑎, 𝑏, 𝑐, 𝑑 ∈ ℤ, con 𝑏 ≠ 0, 𝑑 ≠ 0. Tal que,
𝑎 ⁄𝑏 + 𝑐 ⁄𝑑 = (𝑎𝑑 + 𝑏𝑐 )⁄𝑏𝑑
𝑎⁄𝑏 𝑥 𝑐 ⁄𝑑 = 𝑎𝑐 ⁄𝑏𝑑
Observaciones
(a) Las definiciones anteriores reflejan nuestra base intuitiva para los
números racionales. Nosotros pensamos en,
𝑎⁄𝑏 + 𝑐 ⁄𝑑 = (𝑎𝑑 + 𝑏𝑐 )⁄𝑏𝑑 , y 𝑎⁄𝑏 𝑥 𝑐 ⁄𝑑 = 𝑎𝑐 ⁄𝑏𝑑
(b) Debemos verificar que estas operaciones estén bien definidas.
Tomemos el caso de la multiplicación.
Supongamos que 𝑎⁄𝑏 = 𝑝⁄𝑞 y 𝑐 ⁄𝑑 = 𝑟⁄𝑠 . Debemos probar que
𝑎𝑐 ⁄𝑏𝑑 = 𝑝𝑟 ⁄𝑞𝑠, i.e que (𝑎𝑐, 𝑏𝑑 )#(𝑝𝑟, 𝑞𝑠), i.e que 𝑎𝑐𝑞𝑠 = 𝑏𝑑𝑝𝑟.
Hemos supuesto que 𝑎⁄𝑏 = 𝑝⁄𝑞 , y en consecuencia que 𝑎𝑞 = 𝑏𝑝 y
de manera similar tenemos 𝑐𝑠 = 𝑑𝑟.
Por lo tanto, 𝑎𝑐𝑞𝑠 = 𝑎𝑞𝑐𝑠 = 𝑏𝑝𝑑𝑟 = 𝑏𝑑𝑝𝑟.
Tomemos el caso de la suma.

Supongamos que 𝑎⁄𝑏 = 𝑝⁄𝑞 y 𝑐 ⁄𝑑 = 𝑟⁄𝑠 . Debemos probar que
(𝑎𝑑 + 𝑏𝑐 )⁄𝑏𝑑 = (𝑝𝑠 + 𝑞𝑟)⁄𝑞𝑠 , i.e que (𝑎𝑑 + 𝑏𝑐, 𝑏𝑑 )#(𝑝𝑠 +
𝑞𝑟, 𝑞𝑠), i.e que (𝑎𝑑 + 𝑏𝑐 )𝑞𝑠 = 𝑏𝑑(𝑝𝑠 + 𝑞𝑟). Hemos supuesto que
𝑎⁄𝑏 = 𝑝⁄𝑞 , y en consecuencia 𝑎𝑞 = 𝑏𝑝 y de manera similar 𝑐𝑠 =
𝑑𝑟. Por lo tanto, (𝑎𝑑 + 𝑏𝑐 )𝑞𝑠 = 𝑎𝑑𝑞𝑠 + 𝑏𝑐𝑞𝑠 = 𝑎𝑞𝑑𝑠 + 𝑐𝑠𝑏𝑞 =
𝑏𝑝𝑑𝑠 + 𝑑𝑟𝑏𝑞 = 𝑏𝑑𝑝𝑠 + 𝑏𝑑𝑞𝑟 = 𝑏𝑑(𝑝𝑠 + 𝑞𝑟), entonces
(𝑎𝑑 + 𝑏𝑐 )𝑞𝑠 = 𝑏𝑑(𝑝𝑠 + 𝑞𝑟).
(c) Si 𝑎⁄𝑏 es un número racional, y 𝑥 es un número entero distinto de

cero, entonces 𝑎𝑥 ⁄𝑏𝑥 = 𝑎/𝑏.
Sean 𝑎, 𝑏, 𝑥 ∈ ℤ, con 𝑥 ≠ 0.
𝑎𝑥 ⁄𝑏𝑥 = (𝑎/𝑏)(𝑥/𝑥) = (𝑎/𝑏)(𝑥. 1/𝑥) = 𝑎/𝑏.
(d) La suma y multiplicación de números racionales son conmutativas y

asociativas, y se cumple la ley distributiva. Estos resultados son
consecuencias fáciles de las propiedades correspondientes de los
números enteros.
Conmutativa
Sean 𝑎, 𝑏, 𝑐, 𝑑 ∈ ℤ, con 𝑏 ≠ 0, 𝑑 ≠ 0.
𝑎⁄𝑏 𝑥 𝑐 ⁄𝑑 = 𝑎𝑐 ⁄𝑏𝑑 = 𝑐𝑎⁄𝑑𝑏 = (𝑐 ⁄𝑑 )𝑥(𝑎⁄𝑏).
También
𝑎⁄𝑏 + 𝑐 ⁄𝑑 = (𝑎𝑑 + 𝑏𝑐 )⁄𝑏𝑑 = (𝑐𝑏 + 𝑑𝑎)⁄𝑑𝑏 = 𝑐 ⁄𝑑 + 𝑎⁄𝑏.
Asociativa
Sean 𝑎, 𝑏, 𝑐, 𝑑, 𝑒, 𝑓 ∈ ℤ, con 𝑏 ≠ 0, 𝑑 ≠ 0, 𝑓 ≠ 0.
𝑎⁄𝑏 𝑥 (𝑐 ⁄𝑑 𝑥 𝑒⁄𝑓 ) = 𝑎⁄𝑏 𝑥 𝑐𝑒⁄𝑑𝑓 = 𝑎𝑐𝑒 ⁄𝑏𝑑𝑓 = 𝑎𝑐 ⁄𝑏𝑑 𝑥 𝑒⁄𝑓 =
(𝑎⁄𝑏 𝑥 𝑐 ⁄𝑑 )𝑥 𝑒⁄𝑓 .
También
𝑎⁄𝑏 + (𝑐 ⁄𝑑 + 𝑒⁄𝑓 ) = 𝑎⁄𝑏 + (𝑐𝑓 + 𝑑𝑒)⁄𝑑𝑓 =
(𝑎𝑑𝑓 + 𝑏(𝑐𝑓 + 𝑑𝑒))⁄𝑏𝑑𝑓 = (𝑎𝑑𝑓 + 𝑏𝑐𝑓 + 𝑏𝑑𝑒)⁄𝑏𝑑𝑓 =
((𝑎𝑑 + 𝑏𝑐 )𝑓 + 𝑏𝑑𝑒)⁄𝑏𝑑𝑓 = ((𝑎𝑑 + 𝑏𝑐)⁄𝑏𝑑 ) + 𝑒⁄𝑓 =
(𝑎⁄𝑏 + 𝑐 ⁄𝑑 ) + 𝑒⁄𝑓 .
Distributiva
Sean 𝑎, 𝑏, 𝑐, 𝑑, 𝑒, 𝑓 ∈ ℤ, con 𝑏 ≠ 0, 𝑑 ≠ 0, 𝑓 ≠ 0.
(𝑎⁄𝑏)𝑥(𝑐 ⁄𝑑 + 𝑒⁄𝑓 ) = (𝑎⁄𝑏)𝑥((𝑐𝑓 + 𝑑𝑒)⁄𝑑𝑓 ) = 𝑎(𝑐𝑓 + 𝑑𝑒)⁄𝑏𝑑𝑓
= (𝑎𝑐𝑓 + 𝑎𝑑𝑒)⁄𝑏𝑑𝑓 .
También
(𝑎⁄𝑏 𝑥 𝑐 ⁄𝑑 ) + (𝑎 ⁄𝑏 𝑥 𝑒⁄𝑓 ) = (𝑎𝑐 ⁄𝑏𝑑 ) + (𝑎𝑒 ⁄𝑏𝑓 ) =
= (𝑎𝑐𝑏𝑓 + 𝑏𝑑𝑎𝑒)⁄𝑏𝑑𝑏𝑓 = 𝑏(𝑎𝑐𝑓 + 𝑑𝑎𝑒)⁄𝑏𝑑𝑏𝑓 =
= (𝑎𝑐𝑓 + 𝑑𝑎𝑒)⁄𝑑𝑏𝑓 , pues 𝑏 ≠ 0 por (c). Luego,
𝑎(𝑐𝑓 + 𝑑𝑒)⁄𝑑𝑏𝑓 = (𝑎⁄𝑏)𝑥((𝑐𝑓 + 𝑑𝑒)⁄𝑑𝑓 ) =
(𝑎⁄𝑏)𝑥(𝑐 ⁄𝑑 + 𝑒⁄𝑓 ).
(e) Tenemos números racionales que se comportan como el cero y el uno.
𝑃𝑎𝑟𝑎 𝑐𝑢𝑎𝑙𝑞𝑢𝑖𝑒𝑟 𝑎, 𝑏 ∈ ℤ , 𝑐𝑜𝑛 𝑏 ≠ 0 , 𝑡𝑒𝑛𝑒𝑚𝑜𝑠:
𝑎 0 𝑎
+ =
𝑏 1 𝑏
𝑎 1 𝑎
× =
𝑏 1 𝑏
𝑎 0 0
× =
𝑏 1 1
0
(El último requiere una prueba de un paso). Así se comporta como
1
0 0
cero. Note que es igual para cualquier entero 𝑏 distinto de cero .
𝑏 1
1
También se comporta como 1, y para
1
𝑏 1
cualquier entero distinto de cero 𝑏 tenemos =
𝑏 1
(f) Así b/a es un inverso multiplicativo de a/b, y esto nos permite introducir la
operación de división. La división por a/b se define como lo mismo que
multiplicar por b/a. Tenga en cuenta, por supuesto, que podemos hacer esto
solo si b/a es un número racional, es decir, solo si 𝑎 ≠ 0. De ahí la restricción
(requerida por la intuición, por supuesto) de que solo podemos dividir entre
números distintos de cero. Más adelante usaremos la notación normal para la
división y para las fracciones, pero expresiones como
1 𝑐 ⁄𝑑
𝑦
𝑎⁄𝑏 𝑎⁄𝑏
son bastante engorrosas y trataremos de evitarlas.
(g) Los inversos aditivos son sencillos. Para tenemos 𝑝𝑎𝑟𝑎 𝑎, 𝑏 ∈

ℤ , 𝑐𝑜𝑛 𝑏 ≠ 0 tenemos
𝑎𝑏−𝑎𝑏 0
𝑎 ⁄𝑏 + (− 𝑎)⁄𝑏 = = = 0/1 , por lo tanto, podemos escribir
𝑏2 𝑏2
𝑎 −𝑎 −𝑎 𝑎
− ( ) 𝑝𝑜𝑟 observe que = que por supuesto encaja con nuestras
𝑏 𝑏 𝑏 −𝑏
ideas intuitivas.
𝑎 𝑐 𝑎
(h) sustracción 𝑎, 𝑏, 𝑐, 𝑑 ∈ ℤ , 𝑐𝑜𝑛 𝑏 ≠ 0 , 𝑑 ≠ 0 𝑠𝑒𝑎 − representan +
𝑏 𝑑 𝑏
𝑐
(− ( ))
𝑑
Definición
La relación de orden en ℚ , se define como sigue, decimos que un elemento

𝑎
∈ ℚ , es positivo si 𝑎. 𝑏 > 0 (ab es por supuesto un número entero ) Esto
𝑏
𝑎 𝑐 𝑎
está bien definido, pues supongamos que = 𝑦 es positivo. Entonces
𝑏 𝑑 𝑏
𝑎𝑑 = 𝑏𝑐 𝑦 𝑎𝑏 > 0 . Se sigue que
𝑐𝑑𝑏2 = 𝑏𝑐𝑏𝑑 = 𝑎𝑑𝑏𝑑 = 𝑎𝑏𝑑 2
Como 𝑏2 > 0, 𝑑 2 > 0 𝑦 𝑎𝑏 > 0 , debemos tener𝑐𝑑 > 0.
El conjunto de números racionales positivos se denota por ℚ+ . Ahora

definimos
< en ℚ por
𝑥 < 𝑦 𝑠𝑖 𝑦 − 𝑥 ∈ ℚ+
La definición de ≤ ahora es tal como cabría esperar (menor o igual).

Observaciones respecto a la definición de relación de orden
Podemos ver que la noción de relación es fundamental en matemáticas, es

sumamente general y, en consecuencia, surge en todas partes. Para entenderlo
mejor debemos iniciar con lo básico, con las más amplias definiciones, pero
antes de hacer eso, observemos que hay tres tipos de relaciones que son
particularmente importantes, a saber, funciones, relaciones de equivalencia y
relaciones de orden. Todo estudiante de matemáticas debe saber qué es una
función y cuán central es el papel que desempeña funciones en todas las ramas
de las matemáticas.
Además, la relación de equivalencia debe ser familiar, aunque tal vez sean
menos conocidas. La idea de una relación de orden, como noción general, es
quizás menos conocida, ya que gran parte de las matemáticas necesita referirse
solo a un orden particular relaciones y no necesita usar la noción general o sus
propiedades.
Comenzando con la definición abstracta general de una relación, la describen

y definen varios tipos de relaciones de orden, ilustradas por muchos ejemplos
se introduce la noción de isomorfismo de orden. Se definen las álgebras
booleanas. Se dan ejemplos de estos y algunos propiedades simples derivadas.
En términos generales, un isomorfismo de orden conserva todos los lazos de
propiedades de orden y, por lo tanto, a menudo es fácil juzgar intuitivamente
si dos Los conjuntos son isomorfos. Ciertamente, si la respuesta es negativa,
se puede ver serlo al observar una sola característica que no se conserva.
Observaciones
a) Para 𝑥, 𝑦, 𝑧 ∈ ℚ, tenemos que 𝑥 < 𝑦 si y solo si 𝑥 + 𝑧 < 𝑦 + 𝑧.

b) Para 𝑥, 𝑦 ∈ ℚ 𝑦 𝑧 ∈ ℚ+, tenemos que 𝑥 < 𝑦 si y solo si 𝑥𝑧 < 𝑦𝑧.
c) Para 𝑥 ∈ ℚ, 𝑦 ∈ ℚ+ , tenemos 𝑥 < 𝑥 + 𝑦.
d) Si 𝑥 ∈ ℚ+ , 𝑦 ∈ ℚ+ entonces 𝑥 + 𝑦 ∈ ℚ+ .
e) Si 𝑥 ∈ ℚ+ , 𝑦 ∈ ℚ+ entonces 𝑥𝑦 ∈ ℚ+ .
f) Si 𝑥 ∈ ℚ+ tenemos – 𝑥 < 𝑥.
g) 𝑥 ∈ ℚ+ si y solo si 0/1 < 𝑥.
h) Para cualquier 𝑥 ∈ ℚ , 0/1 ≤ 𝑥².
Teorema 1
I. Dado 𝑥 ∈ ℚ, se cumple lo siguiente uno de los siguientes
𝑥 ∈ ℚ+ , 𝑥 = 0, −𝑥 ∈ ℚ+
II. Si 𝑥, 𝑦 ∈ ℚ+ entonces 𝑥 + 𝑦 ∈ ℚ+ y 𝑥 × 𝑦 ∈ ℚ+
Prueba
I) Sea 𝑥 = 𝑎/𝑏, con 𝑎, 𝑏 ∈ ℤ y 𝑏 ≠ 0. Si 𝑎 = 0 entonces 𝑥 = 0/𝑏 es
decir 𝑥 = 0 como un numero racional. Si 𝑎 ≠ 0 entonces aplicamos
el Teorema 1.13 a 𝑎 𝑦 𝑏 y analicemos las posibilidades por
separado. Si 𝑎 ∈ ℤ+ y 𝑏 ∈ ℤ+ entonces 𝑎𝑏 ∈ ℤ+ , luego 𝑥 ∈ ℚ+ . Si
𝑎 ∈ ℤ+ y −𝑏 ∈ ℤ+ entonces (−𝑎𝑏) ∈ ℤ+ , luego −𝑥 ∈ ℚ+.
II) Observaciones de la relación de orden parte (d) y (e)
Teorema 2
El orden natural de ℚ es denso, es decir, dado 𝑥, 𝑦 ∈ ℚ con 𝑥 < 𝑦, existe
𝑧 ∈ ℚ tal que 𝑥 < 𝑧 e 𝑧 < 𝑦.
Prueba
Sea 𝑥, 𝑦 ∈ ℚ y 𝑥 < 𝑦. Tomemos 𝑧 = (𝑥 + 𝑦)/2.
Luego
𝑦−𝑥
𝑧−𝑥 = ∈ ℚ+ ya que 𝑦 − 𝑥 ∈ ℚ+
2
También se tiene
𝑦−𝑥
𝑦−𝑧 = ∈ ℚ+
2
Por lo tanto, tenemos 𝑥 < 𝑧 y 𝑧 < 𝑦.
Teorema 3
El ordenamiento natural de ℚ es de Arquímedes, es decir, dado 𝑥, 𝑦 ∈ ℚ+ ,
existe un entero positivo 𝑛 tal que 𝑦 < 𝑛𝑥.
Prueba
𝑎 𝑐
Sea 𝑥 = , 𝑦 = , con 𝑎, 𝑏, 𝑐 ∈ ℤ y 𝑏 ≠ 0, 𝑑 ≠ 0. Ahora 𝑥, 𝑦 ∈ ℚ+por lo
𝑏 𝑑
que podemos suponer que 𝑎, 𝑏, 𝑐, 𝑑 ∈ ℤ+ . Esto se debe a que 𝑎𝑏 > 0 y
𝑐𝑑 > 0 la cual implica que 𝑎 y 𝑏 tienen el mismo signo, al igual que 𝑐 y 𝑑.
Si aun no son positivos, podemos tomar 𝑥 como (−𝑎)/(−𝑏) o a ser
(−𝑐)/(−𝑑) o ambos.
Recordemos ahora lo que estamos buscando. Se requiere 𝑛/1 ∈ ℚ tal que
𝑐 𝑛 𝑎
< ( )×( )
𝑑 1 𝑏
Es decir
𝑐 𝑛𝑎
< ,
𝑑 𝑏
Es decir
𝑛𝑎 𝑐
− ∈ ℚ+
𝑏 𝑑
Es decir
(𝑛𝑎𝑑 − 𝑏𝑐)
∈ ℚ+ ,
𝑏𝑑
𝑛𝑎𝑑−𝑏𝑐
Y este será el caso, siempre que sea un entero positivo. Pero 𝑏 ∈
𝑏𝑑
ℤ+ y 𝑑 ∈ ℤ+, por lo que requerimos encontrar 𝑛 ∈ ℤ+ tal que 𝑛𝑎𝑑 − 𝑏𝑐 ∈
ℤ+ .
Por el teorema 1.13 (ii), 𝑎𝑑 ∈ ℤ+ y 𝑏𝑐 ∈ ℤ+ . Por el teorema 1.7, existen
𝑞 ∈ ℕ y 𝑟 ∈ ℕ con 𝑏𝑐 = 𝑞(𝑎𝑑 ) + 𝑟, y 0 ≤ 𝑟 < 𝑎𝑑 como consecuencia.
𝑏𝑐 < 𝑞(𝑎𝑑 ) + 𝑎𝑑,
Es decir
𝑏𝑐 < (𝑞 + 1)𝑎𝑑.
Ahora tomamos 𝑛 como 𝑞 + 1, de modo que tengamos
𝑛𝑎𝑑 − 𝑏𝑐 ∈ ℤ+ . Según sea necesaria
La cual completa la prueba

Números Racionales - Merged

Cargado por

Copyright:

Formatos disponibles

Números Racionales - Merged

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Números Racionales - Merged

Cargado por

Copyright:

Formatos disponibles

LOS NÚMEROS RACIONALES

Realizaremos la construcción de los números racionales y nuestro punto de

Es simétrica, en efecto, sean 𝑎, 𝑐 ∈ ℤ , y 𝑏, 𝑑 ∈ ℤ ∖ {0} y (𝑎, 𝑏 )#(𝑐, 𝑑) ,

Es transitiva, en efecto, sean (𝑎, 𝑏 )#(𝑐, 𝑑) y (𝑐, 𝑑 )#(𝑒, 𝑓), donde 𝑎, 𝑐, 𝑒 ∈

Definimos el conjunto de los números racionales como el conjunto de

Tomemos el caso de la suma.

(c) Si 𝑎⁄𝑏 es un número racional, y 𝑥 es un número entero distinto de

(d) La suma y multiplicación de números racionales son conmutativas y

son bastante engorrosas y trataremos de evitarlas.

(g) Los inversos aditivos son sencillos. Para tenemos 𝑝𝑎𝑟𝑎 𝑎, 𝑏 ∈

La relación de orden en ℚ , se define como sigue, decimos que un elemento

𝑐𝑑𝑏2 = 𝑏𝑐𝑏𝑑 = 𝑎𝑑𝑏𝑑 = 𝑎𝑏𝑑 2

Como 𝑏2 > 0, 𝑑 2 > 0 𝑦 𝑎𝑏 > 0 , debemos tener𝑐𝑑 > 0.

El conjunto de números racionales positivos se denota por ℚ+ . Ahora

La definición de ≤ ahora es tal como cabría esperar (menor o igual).

Podemos ver que la noción de relación es fundamental en matemáticas, es

Comenzando con la definición abstracta general de una relación, la describen

a) Para 𝑥, 𝑦, 𝑧 ∈ ℚ, tenemos que 𝑥 < 𝑦 si y solo si 𝑥 + 𝑧 < 𝑦 + 𝑧.

También podría gustarte