Los números Racionales

Construcción

Sabemos que los números enteros se pueden sumar, restar y multiplicar, pero en general no se
pueden dividir, es decir si tenemos 2 y 5 no existe un entero 𝒙 tal que 𝟓𝒙 = 𝟐, para construir los
números racionales tenemos que pensar a cada uno de estos racionales como un cociente de
𝒎
dos enteros, es decir como con 𝒏, 𝒎 ∈ 𝒁 y 𝒏 ≠ 𝟎.
𝒏
𝒎
Como aviamos dicho en Z no se puede dividir entonces pensaremos a como una pareja
𝒏
ordenada (𝒎, 𝒏) ∈ 𝒁 × (𝒁 − {𝟎}), así dados dos pares ordenados (𝒂, 𝒃), (𝒄, 𝒅) ∈ 𝒁 × (𝒁 − {𝟎})
𝒂 𝒄
si vemos a las parejas ordenadas (𝒂, 𝒃), (𝒄, 𝒅) como , y queremos que sean iguales es decir
𝒃 𝒅
𝒂 𝒄
que = como no hay división en Z es mejor verlos como 𝒂𝒅 = 𝒃𝒄 de aquí introducimos la
𝒃 𝒅
relación

(𝒂, 𝒃)~(𝒄, 𝒅) ↔ 𝒂𝒅 = 𝒃𝒄

La relación anterior es una relación de equivalencia pues esta es

REFLEXIVA

Pues si tenemos (𝒂, 𝒃)~(𝒂, 𝒃) entonces 𝒂𝒃 = 𝒃𝒂 y 𝒃𝒂 = 𝒂𝒃 por lo tanto ~ es reflexiva .

SIMETRICA

Pues si tenemos (𝒂, 𝒃)~(𝒂′ , 𝒃′ ) entonces 𝒂𝒃′ = 𝒃𝒂′ , por la simetría de la igualdad 𝒂′ 𝒃 = 𝒃′ 𝒂 es
decir (𝒂′ , 𝒃′ )~(𝒂, 𝒃). Por lo tanto ~ es simétrica.

TRANSITIVA

Sean (𝒂, 𝒃)~(𝒄, 𝒅) y (𝒄, 𝒅)~(𝒆, 𝒇). Entonces 𝒂𝒅 = 𝒃𝒄 y 𝒄𝒇 = 𝒅𝒆. Multiplicando por 𝒇 la primera
igualdad y por 𝒃 la segunda igualdad se tiene que: 𝒂𝒅𝒇 = 𝒃𝒄𝒇 y 𝒃𝒄𝒇 = 𝒃𝒅𝒆, de donde se sigue
que 𝒂𝒅𝒇 = 𝒃𝒅𝒆 y como 𝒅 ≠ 𝟎 , cancelando 𝒅 de este ultima igualdad se sigue que 𝒂𝒇 = 𝒃𝒆 es
decir (𝒂, 𝒃)~(𝒆, 𝒇). Por lo tanto ~ es transitiva, y por lo tanto ~ es una relación de equivalencia.

Decimos entonces que el conjunto cociente de 𝒁 × (𝒁 − {𝟎})/~ denotado por 𝑸 y a sus

elementos que son clases de equivalencia de pares ordenados (𝒂, 𝒔) con 𝒂 ∈ 𝒁 𝒚 𝒔 ∈ 𝒁 − {𝟎}, se
𝒂
les llama 𝒏𝒖𝒎𝒆𝒓𝒐𝒔 𝒓𝒂𝒄𝒊𝒐𝒏𝒂𝒍𝒆𝒔, y se denota por [𝒂, 𝒔] o .
𝒔

Suma y producto de los números racionales.

SUMA

Sean [𝒂, 𝒔], [𝒃, 𝒕] ∈ 𝑸. Escogemos representantes para ambos sean (𝒂, 𝒔) ∈ [𝒂, 𝒔] y sea
𝒂 𝒃 𝒂𝒕+𝒃𝒔
(𝒃, 𝒕) ∈ [𝒃, 𝒕] entonces sumando los representantes tenemos que + = entonces
𝒔 𝒕 𝒔𝒕
podemos decir

(𝒂, 𝒔) + (𝒃, 𝒕) = (𝒂𝒕 + 𝒃𝒔, 𝒔𝒕)

PRODUCTO

Con las representantes anteriores se define que

(𝒂, 𝒔)(𝒃, 𝒕) = (𝒂𝒃, 𝒔𝒕) como 𝒔 ≠ 𝟎 𝒚 𝒕 ≠ 𝟎 entonces 𝒔𝒕 ≠ 𝟎 en los 𝒁 y así se tienen las
operaciones de suma y producto en 𝑸.

[𝒂, 𝒔] + [𝒃, 𝒕] = [𝒂𝒕 + 𝒃𝒔, 𝒔𝒕]

[𝒂, 𝒔][𝒃, 𝒕] = [𝒂𝒃, 𝒔𝒕]

Los números Racionales 𝑸 satisfacen los axiomas de campo

La suma en 𝑸 es conmutativa

Probar que [𝒂, 𝒔] + [𝒃, 𝒕] = [𝒃, 𝒕] + [𝒂, 𝒔]

Sabemos que [𝒂, 𝒔] + [𝒃, 𝒕] = [𝒂𝒕 + 𝒃𝒔, 𝒔𝒕]=[𝒃𝒔 + 𝒂𝒕, 𝒕𝒔]=[𝒃, 𝒕] + [𝒂, 𝒔] *por la conmutatividad
de la suma y el producto.

La suma en 𝑸 es asociativa

Probar que [𝒂, 𝒔] + ([𝒃, 𝒕] + [𝒄, 𝒖]) = ([𝒂, 𝒔] + [𝒃, 𝒕]) + [𝒄, 𝒖]

Sabemos que [𝒂, 𝒔] + ([𝒃, 𝒕] + [𝒄, 𝒖]) = [𝒂, 𝒔] + [𝒃𝒖 + 𝒄𝒕, 𝒕𝒖] luego
𝒂 𝒃𝒖 + 𝒄𝒕 𝒂𝒕𝒖 + 𝒔(𝒃𝒖 + 𝒄𝒕) 𝒂𝒕𝒖 + 𝒔𝒃𝒖 + 𝒔𝒄𝒕 𝒂𝒕𝒖 + 𝒔𝒃𝒖 𝒔𝒄𝒕 𝒂𝒕𝒖 + 𝒔𝒃𝒖 𝒄
+[ ]= = = + = +
𝒔 𝒕𝒖 𝒔𝒕𝒖 𝒔𝒕𝒖 𝒔𝒕𝒖 𝒔𝒕𝒖 𝒔𝒕𝒖 𝒖
𝐚𝐭𝐮+𝐬𝐛𝐮 𝐜
Y + = ([𝒂, 𝒔] + [𝒃, 𝒕]) + [𝒄, 𝒖]
𝐬𝐭𝐮 𝐮

El neutro aditivo de 𝑸 es [𝟎, 𝒔] ya que para cualquier otro [𝒂, 𝒕] ∈ 𝑸 se tiene que

[𝒂, 𝒕] + [𝟎, 𝒔] = [𝒂𝒔 + 𝟎 ∗ 𝒕, 𝒕𝒔] = [𝒂𝒔, 𝒕𝒔] = [𝒂, 𝒕]

El inverso aditivo de [𝒂, 𝒔] ∈ 𝑸 es [−𝒂, 𝒔] ya que

[𝒂, 𝒔] + [−𝒂, 𝒔] = [𝒂𝒔 + (−𝒂)𝒔, 𝒔𝒔] = [𝒂𝒔 − 𝒂𝒔, 𝒔𝒔] = [𝟎. 𝒔𝟐 ] = 𝟎

El producto en 𝑸 es conmutativo

Probar que [𝒂, 𝒔][𝒃, 𝒕] = [𝒃, 𝒕][𝒂, 𝒔]

Sabemos que [𝒂, 𝒔][𝒃, 𝒕] = [𝒂𝒃, 𝒔𝒕]=[𝒃𝒂, 𝒕𝒔] = [𝒃, 𝒕][𝒂, 𝒔] *Por la propiedad conmutativa de la
multiplicación.

El producto en 𝑸 es asociativo

Probar que [𝒂, 𝒔]([𝒃, 𝒕][𝒄, 𝒖]) = ([𝒂, 𝒔][𝒃, 𝒕])[𝒄, 𝒖]

𝒃𝒄 𝒂 𝒃𝒄 𝒂𝒃𝒄
[𝒂, 𝒔]([𝒃, 𝒕][𝒄, 𝒖]) = [𝒂, 𝒔] [ ]= [ ]=
𝒕𝒖 𝒔 𝒕𝒖 𝒔𝒕𝒖
Y
 𝒂𝒃 𝒄 𝒂𝒃𝒄
([𝒂, 𝒔][𝒃, 𝒕])[𝒄, 𝒖] = [ ] =
𝒔𝒕 𝒖 𝒔𝒕𝒖

El producto en 𝑸 es distributivo respecto a la suma.

Probar que [𝒂, 𝒃]([𝒄, 𝒅] + [𝒆, 𝒇]) = [𝒂, 𝒃][𝒄, 𝒅] + [𝒂, 𝒃][𝒆, 𝒇]

Sabemos que
𝒂 𝒄𝒇 + 𝒅𝒆 𝒂𝒄𝒇 + 𝒂𝒅𝒆
[𝒂, 𝒃]([𝒄, 𝒅] + [𝒆, 𝒇]) = ( )=
𝒃 𝒅𝒇 𝒃𝒅𝒇
Y, además
𝒂 𝒄 𝒂 𝒆 𝒂𝒄𝒃𝒇 + 𝒃𝒅𝒂𝒆 𝒂𝒄𝒇 + 𝒂𝒅𝒆
[𝒂, 𝒃][𝒄, 𝒅] + [𝒂, 𝒃][𝒆, 𝒇] = + = =
𝒃𝒅 𝒃𝒇 𝒃𝟐 𝒅𝒇 𝒃𝒅𝒇
El neutro multiplicativo de 𝑸 es la clase [𝒔, 𝒔] para cualquier 𝒔 ∈ 𝒁 − {𝟎} ya que para cualquier
[𝒂, 𝒕] ∈ 𝑸 se tiene

[𝒂, 𝒕][𝒔, 𝒔] = [𝒂𝒔, 𝒔𝒕] = [𝒂, 𝒕]

Es decir, la clase [𝒔, 𝒔] = 𝟏

El inverso aditivo de [𝒂, 𝒔] ∈ 𝑸 es [𝒔, 𝒂] ∈ 𝑸 ya que

[𝒂, 𝒔][𝒔, 𝒂] = [𝒂𝒔, 𝒔𝒂] = [𝟏, 𝟏] = 𝟏

Por lo que el conjunto de los 𝒏𝒖𝒎𝒆𝒓𝒐𝒔 𝒓𝒂𝒄𝒊𝒐𝒏𝒂𝒍𝒆𝒔 es un campo

Víctor Daniel García Elacio.