Motivación para la Construcción De los

números racionales
Los naturales no son suficientes para resolver todas las ecuaciones de la forma

𝑥+𝑎 =𝑏 𝑥 =𝑏−𝑎

Pues si a > b la ecuación no tiene solución en ℕ y esta fue la motivación para

construir los números ℤ. En ℤ todas estas ecuaciones tienen solución. Sin
embargo, en la ecuación
𝑏
𝑎𝑥 = 𝑏 𝑥=
𝑎
Por definición se tiene que a divide a b si y solo si b es un múltiplo de a, pero no
siempre sucede esto. Por ejemplo 3𝑥 = 7 no tiene solución en ℤ.
 Construcción De los números
racionales
Para la construcción de los racionales consideremos el conjunto ℤ × ℤ ∖ 0 y
sobre el la relación definida por 𝑎, 𝑏 ~ 𝑐, 𝑑 si y solo si 𝑎𝑑 = 𝑏𝑐. Para cada pareja
𝑎, 𝑏 denotaremos como 𝑎, 𝑏 a su clase de equivalencia. En este caso

𝑎, 𝑏 = 𝑚, 𝑛 ∈ ℤ × ℤ ∖ {0 : 𝑎𝑛 = 𝑏𝑚}

De esta forma ℚ es el conjunto de clases de equivalencia de las parejas 𝑎, 𝑏 tales

que 𝑏 ≠ 0, en símbolos

ℚ: = 𝑎, 𝑏 : 𝑎 ∈ ℤ, 𝑏 ∈ ℤ \{0}}
 Construcción De los números
racionales
Un numero racional se define como una clase de equivalencia del conjunto de pares
de correspondencia ℤ × ℤ′ 𝑠𝑖𝑒𝑛𝑑𝑜 ℤ´ = ℤ − 0 de modo que cada par 𝑎, 𝑏 le
𝑎
hace corresponder un numero racional ℚ definido como
𝑏

De esta forma ℚ es el conjunto de clases de equivalencia de las parejas 𝑎, 𝑏 tales

que 𝑏 ≠ 0, en símbolos

ℚ: = 𝑎, 𝑏 : 𝑎 ∈ ℤ, 𝑏 ∈ ℤ \{0}}
Construcción De los números racionales
Un numero racional se define como una clase de equivalencia del conjunto de pares de
correspondencia ℤ × ℤ′ 𝑠𝑖𝑒𝑛𝑑𝑜 ℤ´ = ℤ − 0 de modo que cada par 𝑎, 𝑏 le hace
𝑎
corresponder un numero racional ℚ definido como
𝑏
 Construcción De los números
racionales
Z = {… − 3, −2, −1, 0, 1, 2, 3 … }
Z´= {… − 3, −2, −1, 1, 2, 3 … }
Construcción De los números
racionales
Construcción De los números
racionales
Operaciones y orden en los racionales
Vamos a definir las operaciones en ℚ. Ahora el producto es intuitivo y la suma no
tanto.

s𝑢𝑚𝑎: 𝑎, 𝑏 + 𝑐, 𝑑 = 𝑎𝑑 + 𝑏𝑐, 𝑏𝑑

p𝑟𝑜𝑑𝑢𝑐𝑡𝑜: 𝑎, 𝑏 𝑐, 𝑑 = 𝑎𝑑, 𝑏𝑐
𝑎
La suma se vuelve mucho mas intuitiva si primero pensamos (informal) de 𝑎, 𝑏 como y
𝑏
luego por lo que aprendimos en educación primaria sobre la suma de fracciones, vemos que

𝑎 𝑐 𝑎𝑑 + 𝑏𝑐
+ =
𝑏 𝑑 𝑏𝑑
Operaciones y orden en los racionales
Ahora para definir el orden en ℚ, tomemos la pareja 𝑎, 𝑏 ∈ ℤ × ℤ ∖ 0 . Tenemos que
la clase 𝑎, 𝑏 es

✓ Cero si: 𝑎 = 0,
✓ Positiva si ambos 𝑎 𝑦 𝑏 son negativos o ninguno es negativo con el orden definido en ℤ y
✓ Negativa si exactamente alguno 𝑎 𝑜 𝑏 es negativo con el orden definido en ℤ.

Diremos que 𝑎, 𝑏 > 𝑐, 𝑑 𝑠𝑖 𝑎, 𝑏 − 𝑐, 𝑑 es positiva.

Se puede probar que estas operaciones de suma y producto, así como el orden están
bien definidas es decir que no dependen del representante que se tome.
 Notación simple de racionales y
ecuaciones aún sin solución
𝑎
Vamos a denotar la clase de equivalencia 𝑎, 𝑏 por
𝑏
a partir de lo cual nuestra
interpretación de pensarlo así ya se vuelve formal. Se puede mostrar que todo lo que
aprendimos de esta notación primaria se deduce de las propiedades de ℚ.
La ecuación
𝑎𝑥 = 𝑏
Tiene solución casi siempre, el único problema es si 𝑎=0 . Pero si a ≠ 0, la solución
es única y es
𝑏
𝑥=
𝑎
El conjunto ℚ es bastante bueno algebraicamente, pero le falta todavía más para ser bueno
para análisis y cálculo. Todavía tiene «bastantes hoyos»: en el no podemos probar, por
ejemplo, el teorema del valor intermedio para funciones continúas. Así mismo, hay varias
ecuaciones que todavía no tienen solución en ℚ .
 Notación simple de racionales y
ecuaciones aún sin solución
Ejercicio. La ecuación 𝑥2 = 3 no tiene una solución en ℚ .

Una forma de enunciar el resultado anterior es decir «√3, es necesario saber quien es, y
justo el punto del ejercicio es que, tan solo con ℚ, no podemos definirlo.

Solución. Vamos a proceder por contradicción. Supongamos que la ecuación 𝑥 2 =3

𝑝 𝑝 2
tiene una solución en los racionales. De esta forma, = 3 . Multiplicando por 𝑞2
𝑞 𝑞
en ambos, 𝑝2 = 3𝑞2
La factorización en primos del lado izquierdo tiene una cantidad par de 3’s. La
factorización en primos del lado derecho tiene una cantidad impar de 3’s. Esto es una
𝑝
contradicción al teorema fundamental de la aritmética, por lo tanto, no existe solución
𝑞
2
racional de 𝑥 = 3
 Reales y hoyos en los racionales

Para la construcción de los reales, ya no podemos proceder como lo hemos estado haciendo,
considerando simplemente parejas de números del sistema anterior y construyendo una relación
de equivalencia sobre ellas. Lo que buscamos cuando damos el paso entre Q y R ya no sólo que los
números tengan «inversos aditivos» o «inversos multiplicativos», sino que «todos los conjuntos
acotadores por abajo tengan un mejor mínimo». Esto es lo que garantiza que se «llenen los
hoyos» que tienen racionales.
 Reales y hoyos en los racionales
Entendamos el concepto de “hoyo”:
Definición. Sea 𝑿 un orden total ≤ y 𝑺 un subconjunto de, 𝑿 es un 𝒓 ∈ 𝑿 tal que
• 𝒓 ≤ 𝒔 para todo 𝒔 ∈ 𝑺 y
• sí 𝒕 ≤ 𝒔 para todo 𝒕 ∈ 𝑺, entonces 𝒕 ∈ 𝒔.
Definición. Un conjunto 𝑿 con un orden total ≤es completo si todo subconjunto 𝑺 de 𝑿, acotando
inferiormente, tiene un ínfimo.

Ejemplo. El conjunto Q no es completo, pues el subconjunto

𝑺 = {𝒙 ∈ 𝑸: 𝒙2 ≥ 𝟑}
Está acotado inferiormente, pero no tiene un ínfimo en Q (su ínfimo es 𝟑 𝑦 √𝟑 no pertenece a
Q).