CONSTRUCCION DE LOS NUMEROS RACIONALES

1. LOS NUMEROS RACIONALES: Antes de proceder con la construcción formal del conjunto de
los números racionales 𝑄 a partir del conjunto de los enteros 𝑍. Los presentaremos como es
usual, es decir, como un conjunto de dos operaciones binarias gozando de axiomas que hacen
de un cuerpo.

1.1. LOS NUMEROS RACIONALES

𝑎
Un número racional es un número que se puede expresar como el cociente o fracción 𝑏
de dos números enteros a y b, con 𝑏 ≠ 0. El conjunto de todos los racionales es denotado
por:
𝑎
𝑄 = { 𝑏 ; 𝑎, 𝑏 є 𝑍, 𝑏 ≠ 0 }

NOTACION debido a GIUSEPPE PEANO en 1895, el italiano conjugado. El término racional se

𝑎
deriva del hecho de que 𝑏 representa la razón o proporción entre dos números enteros a y b.

1.2. 𝑄 COMO ESTRUCTURA ALGEBRAICA

En 𝑄 se definen dos operaciones binarias.

 Adición y Multiplicación

1.2.1. ADICION
𝑎 𝑐 𝑎 𝑐 𝑎.𝑐
Sea ,
𝑏 𝑑
є 𝑄 entonces la adición “+” les asocia el elemento 𝑏
. 𝑑
= 𝑏.𝑑 є 𝑄
𝑎 𝑐
Diremos que = ↔ 𝑎. 𝑑 = 𝑐. 𝑏
𝑏 𝑑

Por lo tanto (𝑄, +, . ) es un cuerpo.

PROPOSICION : El conjunto de los racionales que definimos con las dos operaciones de
adición y multiplicación se le denominara que es un CUERPO.

Demostración

La proposición nos dice que las dos operaciones en Q gozan de las siguientes propiedades.

a) Asociativa: Ɐ 𝑥, 𝑦, 𝑧 є 𝑄 entonces (𝑥 + 𝑦) + 𝑧 = 𝑥 + (𝑦 + 𝑧) ˄ (𝑥. 𝑦). 𝑧 = 𝑥. (𝑦. 𝑧)

b) Conmutativa: ∀ 𝑥, 𝑦, 𝑧 𝜖 𝑄 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑥. 𝑦 = 𝑦. 𝑥 ˄ 𝑥 + 𝑦 = 𝑦 + 𝑥

c) Existencia de los elementos neutros:

𝑜 1 𝑎
Existen 0 = 1
𝜖𝑄 𝑦 1= 1
𝑡𝑎𝑙 𝑞𝑢𝑒 𝑥 + 0 = 0 + 𝑥 = 0 𝑦 𝑥. 1 = 1. 𝑥 = 𝑥 , ∀ 𝑥 = 𝑏
𝜖𝑄

d) Existencias de los inverso:

𝑎 𝑎
∗ ∀ 𝑥 = 𝜖 𝑄 , 𝑒𝑥𝑖𝑠𝑡𝑒 𝑠𝑢 𝑖𝑛𝑣𝑒𝑟𝑠𝑜 − 𝑥 = − 𝜖 𝑄 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑥 + (−𝑥) = 0
𝑏 𝑏
𝑎 𝑏
∗ ∀ 𝑥 = 𝑏 𝜖 𝑄 , 𝑥 ≠ 0, 𝑒𝑥𝑖𝑠𝑡𝑒 𝑠𝑢 𝑖𝑛𝑣𝑒𝑟𝑠𝑜 𝑥 −1 = 𝑎 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑥. 𝑥 −1 = 1

e) Distributiva: 𝑃𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝑥, 𝑦, 𝑧 𝜖 𝑄

∗ 𝑥. (𝑦 + 𝑧) = 𝑥. 𝑦 + 𝑥. 𝑧 ∗ (𝑥 + 𝑦). 𝑧 = 𝑥. 𝑧 + 𝑦. 𝑧
1.3. 𝑍 COMO SUBCONJUNTO DE 𝑄
𝑛
Cada entero 𝑛 puede ser identificado con el racional 1
de hecho por el algoritmo de la
𝑛
división 𝑛 = ↔ 𝑛 = 𝑛. 1 por lo tanto de modo natural, los elementos de 𝑍 hacen
1
parte de 𝑄.

1.4. 𝑄 ES UN CUERPO ORDENADO

Un cuerpo ordenado 𝑄, con las operaciones binarias + 𝑦 . de tal forma existe un

subconjunto 𝑝 ⊂ 𝑄. Entonces ahora definamos un conjunto de positivos 𝑝 ⊂ 𝑄 como
𝑎
𝑝={ 𝑏
𝜖 𝑄; 𝑎. 𝑏 >𝑍 0 }

𝑂𝑏𝑠𝑒𝑟𝑣𝑎𝑐𝑖ó𝑛: La relación >𝑍 es la relación de orden " 𝑚𝑎𝑦𝑜𝑟 𝑞𝑢𝑒 " definidas en el conjunto
de los enteros 𝑍.
𝑎
PROPOSICION 1: El conjunto 𝑄 junto al conjunto 𝑝 = { 𝑏
𝜖 𝑄; 𝑎. 𝑏 >𝑍 0 } es un cuerpo
ordenado.

Demostración:
𝑎 𝑐
Sea 𝑏 , 𝑑 𝜖 𝑄 entonces 𝑎. 𝑏 >𝑍 0 y 𝑐. 𝑑 >𝑍 0 .Con ello, la adición y la multiplicación se cierra
en 𝑝 de hecho:

𝑎 𝑐 𝑎.𝑑+𝑏.𝑐
𝑏
+𝑑 = 𝑏.𝑑
𝜖 𝑝 ↔ (𝑎. 𝑑 + 𝑏. 𝑐). 𝑏. 𝑑 = 𝑎. 𝑏. 𝑑2 + 𝑐. 𝑑. 𝑏 2 >𝑍 0 Y

𝑎 𝑐 𝑎.𝑐
. = 𝜖 𝑝 ↔ 𝑎. 𝑐. 𝑏. 𝑑 >𝑍 0
𝑏 𝑑 𝑏.𝑑

𝑎
Sea 𝑏 𝜖 𝑄 entonces 𝑎. 𝑏 𝜖 𝑍, sigue de la tricotomía en 𝑍 que:

𝑎 𝑎 𝑎
𝑎. 𝑏 >𝑍 0 𝑜 𝑎. 𝑏 = 0 𝑜 𝑎. 𝑏 <𝑍 0 Por lo tanto 𝑏
𝜖𝑝 𝑜 𝑏
=0 𝑜 −𝑏 𝜖𝑝

𝑂𝑏𝑠𝑒𝑟𝑣𝑎𝑐𝑖ó𝑛: En la sección 1.4 nos define un cuerpo ordenado para los 𝑄

"𝑢𝑛 𝑐𝑢𝑒𝑟𝑝𝑜 𝑜𝑟𝑑𝑒𝑛𝑎𝑑𝑜 𝑄, 𝑐𝑜𝑛 𝑙𝑎𝑠 𝑜𝑝𝑒𝑟𝑎𝑐𝑖𝑜𝑛𝑒𝑠 𝑏𝑖𝑛𝑎𝑟𝑖𝑎𝑠 𝑏𝑖𝑒𝑛 𝑑𝑒𝑓𝑖𝑛𝑖𝑑𝑎𝑠 𝑠𝑜𝑙𝑜 𝑝𝑎𝑟𝑎 +
𝑦 . 𝑑𝑒 𝑡𝑎𝑙 𝑓𝑜𝑟𝑚𝑎 𝑒𝑥𝑖𝑠𝑡𝑒 𝑢𝑛 𝑠𝑢𝑏𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜 𝑝 ⊂ 𝑄 𝑐𝑜𝑛 𝑙𝑎𝑠 𝑜𝑝𝑒𝑟𝑎𝑐𝑖𝑜𝑛𝑒𝑠 𝑠𝑖𝑔𝑢𝑖𝑒𝑛𝑡𝑒𝑠"

(𝑃1 ) ∀ 𝑥, 𝑦 𝜖 𝑝 → 𝑥 + 𝑦 𝜖 𝑝 ˄ 𝑥. 𝑦 𝜖 𝑝

(𝑃2 ) ∀ 𝑥 𝜖 𝑝 𝑜𝑐𝑢𝑟𝑟𝑒 𝑢𝑛𝑎 𝑑𝑒 𝑙𝑎𝑠 𝑠𝑖𝑔𝑢𝑖𝑒𝑛𝑡𝑒𝑠𝑎𝑙𝑡𝑒𝑟𝑛𝑎𝑡𝑖𝑣𝑎𝑠 𝑥 𝜖 𝑝 𝑜 𝑥 = 0 𝑜 − 𝑥 𝜖 𝑝

1.5. CONTRUCCION DE LOS NUMEROS RACIONALES

La construcción de los números racionales se realiza desde el dominio de integridad de los

enteros (𝑍, +, . ) .

El conjunto de los enteros diferentes de cero, denotados por 𝑍 ∗ = 𝑍 − {0}

PROPOSICION 2: La relación ~ en 𝑍𝑥𝑍 ∗ definida por:

(𝑎, 𝑏)~(𝑐, 𝑑) ↔ 𝑎. 𝑑 = 𝑏. 𝑐 Es una relación de equivalencia

Demostración:

i) REFLEXIVA:
Para todo (𝑎, 𝑏) 𝜖 𝑍𝑥𝑍 ∗ entonces se tendrá que
(𝑎, 𝑏)~(𝑎, 𝑏) ↔ 𝑎. 𝑏 = 𝑏. 𝑎 𝑑𝑒 𝑑𝑜𝑛𝑑𝑒 𝑠𝑒 𝑠𝑖𝑔𝑢𝑒 𝑞𝑢𝑒 ~ 𝑒𝑠 𝑟𝑒𝑓𝑙𝑒𝑥𝑖𝑣𝑎.

ii) SIMETRIA:
Si (𝑎, 𝑏), (𝑐, 𝑑) 𝜖 𝑍𝑥𝑍 ∗ 𝑡𝑒𝑛𝑒𝑚𝑜𝑠 (𝑎, 𝑏)~(𝑐, 𝑑) ↔ (𝑐, 𝑑)~(𝑎, 𝑏)
En efecto: (𝑎, 𝑏)~(𝑐, 𝑑) ↔ 𝑎. 𝑑 = 𝑏. 𝑐
↔ 𝑐. 𝑏 = 𝑑. 𝑎
↔ (𝑐, 𝑑)~(𝑎, 𝑏)

iii) TRANSITIVA:
Sea (𝑎, 𝑏), (𝑐, 𝑑) 𝑦 (𝑒, 𝑓) 𝜖 𝑍𝑥𝑍 ∗
Tal que (𝑎, 𝑏)~(𝑐, 𝑑) ˄ (𝑐, 𝑑)~(𝑒, 𝑓) ↔ (𝑎, 𝑏)~(𝑒, 𝑓)
En efecto: (𝑎, 𝑏)~(𝑐, 𝑑) ˄ (𝑐, 𝑑)~(𝑒, 𝑓) ↔ 𝑎. 𝑑 = 𝑏. 𝑐 ˄ 𝑐. 𝑓 = 𝑑. 𝑒
↔ 𝑎. 𝑑 = 𝑏. 𝑐
↔ 𝑎. 𝑑. 𝑓 = 𝑏. 𝑐. 𝑓
↔ (𝑎. 𝑓). 𝑑 = 𝑏. (𝑐. 𝑓)
↔ (𝑎. 𝑓). 𝑑 = 𝑏. (𝑑. 𝑒)
↔ (𝑎. 𝑓). 𝑑 = (𝑏. 𝑒). 𝑑 , 𝑐𝑜𝑚𝑜 𝑑 ≠ 0 𝑠𝑖𝑒𝑛𝑑𝑜 𝑣𝑎𝑙𝑖𝑑𝑎 𝑒𝑛 𝑍
↔ 𝑎. 𝑓 = 𝑏, 𝑒
↔ (𝑎, 𝑏)~(𝑒, 𝑓)

Por lo tanto ~ es una relación de equivalencia y esto induce una partición en 𝑍𝑥𝑍 ∗ . Así
obtenemos un conjunto cociente.
𝑍𝑥𝑍 ∗
∗ = { [(𝑎, 𝑏)] ; (𝑎, 𝑏) 𝜖 𝑍𝑥𝑍 ∗ }
~
1.6. OPERACIONES EN ( 𝑍𝑥𝑍 ∗ )/~

1.6.1. ADICION Y MULTIPLICACION: ( 𝑍𝑥𝑍 ∗ )/~

PROPOSICION 3: (𝐴𝑑𝑖𝑐𝑖𝑜𝑛) en ( 𝑍𝑥𝑍 ∗ )/~ , la operación dada por:

∗ [(𝑎, 𝑏)] + [(𝑐, 𝑑)] = [(𝑎. 𝑑 + 𝑏. 𝑐, 𝑏. 𝑑)] es bien definida.

Demostración:

Sea [(𝑎, 𝑏)] = [(𝑎′ , 𝑏 ′ )] y [(𝑐, 𝑑)] = [(𝑐 ′ , 𝑑′ )]

Mostraremos que [(𝑎, 𝑏)] + [(𝑐, 𝑑)] = [(𝑎′ , 𝑏 ′ )] + [(𝑐 ′ , 𝑑′ )]

De hecho (𝑎, 𝑏)~(𝑎′ , 𝑏 ′ ) y (𝑐, 𝑑)~(𝑐 ′ , 𝑑′ ) implica 𝑎. 𝑏 ′ = 𝑏. 𝑎′ 𝑦 𝑐. 𝑑′ = 𝑑. 𝑐′ (1)

Multiplicando los términos 𝑑. 𝑑′ 𝑦 𝑏. 𝑏 ′ 𝑒𝑛 (1)

(𝑎. 𝑏 ′ ). (𝑑. 𝑑′ ) = (𝑏. 𝑎′ ). (𝑑. 𝑑′ ) 𝑦 (𝑐. 𝑑′ ). (𝑏. 𝑏 ′ ) = (𝑑. 𝑐 ′ ). (𝑏. 𝑏 ′ ) (2)

Utilizando (2) tenemos:

(𝑎. 𝑑 + 𝑏. 𝑐). (𝑏 ′ . 𝑑′ ) = (𝑎. 𝑑). (𝑏 ′ . 𝑑′ ) + (𝑏. 𝑐). (𝑏 ′ . 𝑑′)

= (𝑎. 𝑏 ′ ). (𝑑. 𝑑′ ) + (𝑐. 𝑑′ ). (𝑏. 𝑏′)

= (𝑏. 𝑎′ ). (𝑑. 𝑑′ ) + (𝑑. 𝑐 ′ ). (𝑏. 𝑏′)

= (𝑏. 𝑑). (𝑎′. 𝑑′) + (𝑏. 𝑑). (𝑏 ′ . 𝑐′)

= (𝑏. 𝑑). (𝑎′ . 𝑑′ + 𝑏 ′ . 𝑐′)

Como (𝑎. 𝑑 + 𝑏. 𝑐). (𝑏 ′ . 𝑑′ ) = (𝑏. 𝑑). (𝑎′ . 𝑑′ + 𝑏 ′ . 𝑐 ′ ) ↔

(𝑎. 𝑑 + 𝑏. 𝑐, 𝑏. 𝑑)~(𝑎′ . 𝑑′ + 𝑏′. 𝑐 ′ , 𝑏 ′ . 𝑑′) Luego,

[(𝑎. 𝑑 + 𝑏. 𝑐, 𝑏. 𝑑)] = [(𝑎′ . 𝑑′ + 𝑏 ′ . 𝑐 ′ , 𝑏 ′ . 𝑑 ′ )] O sea,

[(𝑎, 𝑏)] + [(𝑐, 𝑑)] = [(𝑎′ , 𝑏 ′ )] + [(𝑐 ′ , 𝑑′ )]

PROPOSICION 4: (𝑃𝑟𝑜𝑑𝑢𝑐𝑡𝑜) en ( 𝑍𝑥𝑍 ∗ )/~ , la operación dada por:

∗ [(𝑎, 𝑏)]. [(𝑐, 𝑑)] = [(𝑎. 𝑐, 𝑏. 𝑑)] es bien definida.

Demostración:

Sea [(𝑎, 𝑏)] = [(𝑎′ , 𝑏 ′ )] y [(𝑐, 𝑑)] = [(𝑐 ′ , 𝑑′ )]

Entonces (𝑎, 𝑏)~(𝑎′ , 𝑏 ′ ) y (𝑐, 𝑑)~(𝑐 ′ , 𝑑′ ) lo que implica 𝑎. 𝑏 ′ = 𝑏. 𝑎′ 𝑦 𝑐. 𝑑′ = 𝑑. 𝑐′ (3)

Usando (3) obtenemos (𝑎. 𝑏 ′ ). (𝑐. 𝑑′ ) = (𝑏. 𝑎′ ). (𝑑. 𝑐 ′ )

De ese modo:
[(𝑎, 𝑏)]. [(𝑐, 𝑑)] = [(𝑎′ , 𝑏 ′ )]. [(𝑐 ′ , 𝑑′ )] ↔ [(𝑎. 𝑐, 𝑏. 𝑑)] = [(𝑎′. 𝑐′, 𝑏′. 𝑑′)]

↔ (𝑎. 𝑐). (𝑏 ′ . 𝑑′ ) = (𝑏. 𝑑). (𝑎′ . 𝑐′)

↔ (𝑎. 𝑏 ′ ). (𝑐. 𝑑′ ) = (𝑏. 𝑎′ ). (𝑑. 𝑐′)

Por lo tanto el producto es independiente de los representantes de las clases de equivalencia.

Observación: Como estamos construyendo el conjunto de los racionales, por lo tanto,

justificaremos como cada elemento de ( 𝑍𝑥𝑍 ∗ )/~ se identifica con un elemento de 𝑄
(𝑐𝑜𝑚𝑜 𝑄 𝑒𝑠 𝑢𝑛 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜 𝑑𝑒𝑓𝑖𝑛𝑖𝑑𝑜).
Como 𝑚, 𝑎 𝜖 𝑍, 𝑛, 𝑏 𝜖 𝑍 ∗ y sea 𝑄 el conjunto definido.
Como 𝑍 ⊂ 𝑄 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑚, 𝑛, 𝑎, 𝑏 𝜖 𝑄. Sea [(𝑚, 𝑛)], [(𝑎, 𝑏)] 𝜖 ( 𝑍𝑥𝑍 ∗ )/~ tal que
[(𝑚, 𝑛)] = [(𝑎, 𝑏)] .

Considerando 𝑚, 𝑛, 𝑎, 𝑏 𝜖 𝑄 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠
𝑚 𝑎
[(𝑚, 𝑛)] = [(𝑎, 𝑏)] ↔ 𝑚. 𝑏 = 𝑛. 𝑎 ↔ =
𝑛 𝑏

𝑚
Cada elemento [(𝑚, 𝑛)] de ( 𝑍𝑥𝑍 ∗ )/~ puede ser identificado como el cociente 𝑛
𝜖 𝑄 note
que una clase de equivalencia [(𝑚, 𝑛)] es el conjunto de solución de la ecuación:
𝑥 𝑚
𝑦
= 𝑛
𝑑𝑜𝑛𝑑𝑒 (𝑥, 𝑦) 𝜖 𝑍𝑥𝑍 ∗
Así, las clases de equivalencia [(𝑚, 𝑛)] son recta de 𝑍𝑥𝑍 ∗ . Cada clase [(𝑚, 𝑛)] representa el
𝑚
racional 𝑛 . Aprobemos esta identificación para definir el conjunto de los números racionales
como el conjunto ( 𝑍𝑥𝑍 ∗ )/~ .

Obtenemos el 𝑄 = ( 𝑍𝑥𝑍 ∗ )/~

DEFINICION 1: El conjunto de los números racionales, denotado por 𝑄 se define como siendo
el conjunto de las clases de equivalencia [(𝑎, 𝑏)] dos elementos (𝑎, 𝑏) 𝜖 𝑍𝑥𝑍 ∗ a la relación de
equivalencia. Ósea:

𝑄 = ( 𝑍𝑥𝑍 ∗ )/~

La adición + y la multiplicación . en 𝑄 es definido, respectivamente, por:

∗ [(𝑎, 𝑏)] + [(𝑐, 𝑑)] = [(𝑎. 𝑑 + 𝑏. 𝑐, 𝑏. 𝑑)]

∗ [(𝑎, 𝑏)]. [(𝑐, 𝑑)] = [(𝑎. 𝑐, 𝑏. 𝑑)]

TEOREMA 1: (𝑝𝑟𝑜𝑝𝑖𝑒𝑑𝑎𝑑𝑒𝑠 𝑑𝑒 𝑙𝑎 𝑎𝑑𝑖𝑐𝑖𝑜𝑛 𝑒𝑛 𝑄 = ( 𝑍𝑥𝑍 ∗ )/~)

La adición + en 𝑍 se tiene las siguientes propiedades:

(1) Asociativa
(2) Conmutativa
(3) Existencia del elemento neutro de la adición 0 = [(0,1)]
(4) Existencia del elemento inverso aditivo para cada
𝑥 = [(𝑎, 𝑏)] 𝜖 𝑍 𝑒𝑥𝑖𝑠𝑡𝑒 − 𝑥 = [(𝑏, 𝑎)] Tal que 𝑥 + (−𝑥) = 0 el elemento – 𝑥 es
el inverso aditivo de 𝑥.

Demostración:

(1) Sean 𝑥 = [(𝑎, 𝑏)] , 𝑦 = [(𝑐, 𝑑)] y 𝑧 = [(𝑒, 𝑓)]

En efecto:
(𝑥 + 𝑦) + 𝑧 = ( [(𝑎, 𝑏)] + [(𝑐, 𝑑)] ) + [(𝑒, 𝑓)]
= [(𝑎. 𝑑 + 𝑏. 𝑐, 𝑏. 𝑑)] + [(𝑒, 𝑓)]
= [((𝑎. 𝑑 + 𝑏. 𝑐). 𝑓 + (𝑏. 𝑑). 𝑒, (𝑏. 𝑑). 𝑓)]
= [(𝑎. 𝑑. 𝑓 + 𝑏. 𝑐. 𝑓 + 𝑏. 𝑑. 𝑒, 𝑏. 𝑑. 𝑓)]
= [(𝑎. (𝑑. 𝑓) + 𝑏. (𝑐. 𝑓 + 𝑑. 𝑒), 𝑏. (𝑑. 𝑓))]
= [(𝑎, 𝑏)] + [(𝑐. 𝑓 + 𝑑. 𝑒, 𝑑. 𝑓)]
 = [(𝑎, 𝑏)] + ( [(𝑐, 𝑑)] + [(𝑒, 𝑓)] )
= 𝑥 + (𝑦 + 𝑧)

(2) Sea 𝑥 = [(𝑎, 𝑏)] , 𝑦 = [(𝑐, 𝑑)]

En efecto:
𝑥 + 𝑦 = [(𝑎, 𝑏)] + [(𝑐, 𝑑)]
= [(𝑎. 𝑑 + 𝑏. 𝑐, 𝑏. 𝑑)]
= [(𝑐. 𝑏 + 𝑑. 𝑎, 𝑑. 𝑏)]
= [(𝑐, 𝑑)] + [(𝑎, 𝑏)]
=𝑦+𝑥

(3) Existe 0 = [(0,1)] tal que 𝑥 + 0 = 𝑥 para todo 𝑥 = [(𝑎, 𝑏)] 𝜖 𝑄 de hecho:
𝑥 + 0 = [(𝑎, 𝑏)] + [(0,1)] = [(𝑎. 1 + 𝑏. 0, 𝑏. 1)]
= [(𝑎, 𝑏)] = 𝑥

(4) Dado 𝑥 = [(𝑎, 𝑏)] 𝜖 𝑄 sea −𝑥 = [(−𝑎, 𝑏)]

Considerando que 0 = [(0, 𝑛)] , para todo 𝑛 𝜖 𝑍
𝑥 + (−𝑥) = [(𝑎, 𝑏)] + [(−𝑎, 𝑏)] = [(𝑎. 𝑏 + 𝑏. (−𝑎), 𝑏. 𝑏)]
= [(𝑎. 𝑏 + (−𝑏. 𝑎), 𝑏. 𝑏)] = [(0, 𝑏. 𝑏)] = 0
TEOREMA 2: (𝑝𝑟𝑜𝑝𝑖𝑒𝑑𝑎𝑑𝑒𝑠 𝑑𝑒 𝑙𝑎 𝑚𝑢𝑙𝑡𝑖𝑝𝑙𝑖𝑐𝑎𝑐𝑖𝑜𝑛 𝑒𝑛 𝑄 = ( 𝑍𝑥𝑍∗ )/~ )
La multiplicación en 𝑄 tiene las siguientes propiedades:
(1) Asociativa
(2) Conmutativa
(3) 1 = [(1,1)] es elemento neutro de la multiplicación
(4) Existe un inverso multiplicativo esto es para cada 𝑥 = [(𝑎, 𝑏)] 𝜖 𝑄\{0} , existe
𝑥 −1 = [(𝑏, 𝑎)] 𝜖 𝑄 tal que 𝑥. 𝑥 −1 = 1 , 1 𝑒𝑠 [(1,1)]
(5) Es distributiva sobre la adición
Demostración:
(1) Sea 𝑥 = [(𝑎, 𝑏)] , 𝑦 = [(𝑐, 𝑑)] y 𝑧 = [(𝑒, 𝑓)]
En efecto:
(𝑥. 𝑦). 𝑧 = ( [(𝑎, 𝑏)]. [(𝑐, 𝑑)] ). [(𝑒, 𝑓)] }
= [(𝑎. 𝑐, 𝑏. 𝑑)]. [(𝑒, 𝑓)]
= [((𝑎. 𝑐). 𝑒, (𝑏. 𝑑). 𝑓)]
= [(𝑎. (𝑐. 𝑒), 𝑏. (𝑑. 𝑓))]
= [(𝑎, 𝑏)]. [(𝑐. 𝑒, 𝑑. 𝑓)]
= [(𝑎, 𝑏)]. ( [(𝑐, 𝑑)]. [(𝑒, 𝑓)] )
= 𝑥. (𝑦. 𝑧)

(2) Sea 𝑥 = [(𝑎, 𝑏)] , 𝑦 = [(𝑐, 𝑑)]

En efecto:
𝑥. 𝑦 = [(𝑎, 𝑏)]. [(𝑐, 𝑑)]
= [(𝑎. 𝑐, 𝑏. 𝑑)]
= [(𝑐. 𝑎, 𝑑. 𝑏)] = [(𝑐, 𝑑)]. [(𝑎, 𝑏)] = 𝑦. 𝑥
 (3) Sea 𝑥 = [(𝑎, 𝑏)] 𝜖 𝑄 𝑦 1 = [(1,1)]
En efecto:
𝑥. 1 = [(𝑎, 𝑏)]. [(1,1)]
= [(𝑎. 1, 𝑏. 1)] = [(𝑎, 𝑏)] = 𝑥

(4) Si 𝑥 = [(𝑎, 𝑏)] 𝜖 𝑄\{0} , 𝑠𝑖 𝑥 −1 = [(𝑏, 𝑎)] , (𝑥 −1 𝜖 𝑄 𝑝𝑢𝑒𝑠 𝑎 ≠ 0 ˅ 𝑎 − {0} )

En efecto:
𝑥. 𝑥 −1 = [(𝑎, 𝑏)]. [(𝑏, 𝑎)]
= [(𝑎. 𝑏, 𝑏. 𝑎)] = [(𝑎. 𝑏, 𝑎. 𝑏)] = [(1,1)] = 1
Note que 𝑎. 𝑏 ≠ 0 𝑦 (𝑎. 𝑏, 𝑎. 𝑏)~(1,1)
(5) Sea 𝑥 = [(𝑎, 𝑏)] , 𝑦 = [(𝑐, 𝑑)] 𝑦 𝑧 = [(𝑒, 𝑓)]
En efecto:
𝑥. (𝑦 + 𝑧) = [(𝑎, 𝑏)]. ( [(𝑐, 𝑑)] + [(𝑒, 𝑓)] )
= [(𝑎, 𝑏)]. [(𝑐. 𝑓 + 𝑑. 𝑒, 𝑑. 𝑓)]
= [(𝑎. (𝑐. 𝑓 + 𝑑. 𝑒), 𝑏. (𝑑. 𝑓))]
= [(𝑎. 𝑐. 𝑓 + 𝑎. 𝑑. 𝑒, 𝑏. 𝑑. 𝑓)]
= [(𝑎. 𝑐. 𝑓 + 𝑎. 𝑑. 𝑒, 𝑏. 𝑑. 𝑓)].1
= [(𝑎. 𝑐. 𝑓 + 𝑎. 𝑑. 𝑒, 𝑏. 𝑑. 𝑓)]. [(𝑏, 𝑏)]
= [((𝑎. 𝑐. 𝑓 + 𝑎. 𝑑. 𝑒). 𝑏, (𝑏. 𝑑. 𝑓). 𝑏)]
= [(𝑎. 𝑐. 𝑓. 𝑏 + 𝑎. 𝑑. 𝑒. 𝑏, 𝑏. 𝑑. 𝑓. 𝑏)]
= [((𝑎. 𝑐). (𝑏. 𝑓) + (𝑏. 𝑑). (𝑎. 𝑒), (𝑏. 𝑑). (𝑏. 𝑓))]
= [(𝑎. 𝑐, 𝑏. 𝑑)] + [(𝑎. 𝑒, 𝑏. 𝑓)]
= [(𝑎, 𝑏)]. [(𝑐, 𝑑)] + [(𝑎, 𝑏)]. [(𝑒, 𝑓)]
= 𝑥. 𝑦 + 𝑥. 𝑧
PROPOSICION 5: El conjunto 𝑄 = ( 𝑍𝑥𝑍∗ )/~ ) junto a las dos operaciones, + 𝑦 . es
un cuerpo.
Demostración:
La demostración se basa al teorema 1 y teorema 2
∴ 𝑄 = ( 𝑍𝑥𝑍∗ )/~ ) Y está bien definida para sus dos operaciones binarias + 𝑦 .
DEFINICION 2: L a estructura algebraica 𝑄 = ( 𝑍𝑥𝑍∗ )/~ ) junto a las operaciones de
adición y multiplicación bien definidas es llamado cuerpo de los números racionales.
𝐿𝐴 𝑆𝑈𝑆𝑇𝑅𝐴𝐶𝐶𝐼𝑂𝑁 𝑌 𝐷𝐼𝑉𝐼𝑆𝐼𝑂𝑁 𝐸𝑁 𝑄 = ( 𝑍𝑥𝑍∗ )/~ )
DEFINICION 3: Sea 𝑥 = [(𝑎, 𝑏)] , 𝑦 = [(𝑐, 𝑑)] elementos de 𝑄. La operación
sustracción, − , es definida por 𝑥 − 𝑦 = 𝑥 + (−𝑦) o elemento 𝑥 − 𝑦 𝜖 𝑄 es llamado
la diferencia de 𝑥 𝑒 𝑦 de ese modo:
[(𝑎, 𝑏)] − [(𝑐, 𝑑)] = [(𝑎, 𝑏)] + [(𝑑, 𝑐)] = [(𝑎 + 𝑑, 𝑏 + 𝑐)]
DEFINICION 4: Sea 𝑥 = [(𝑎, 𝑏)] , 𝑦 = [(𝑐, 𝑑)] ≠ 0 elementos de 𝑄, la división, 𝑥 𝑒 𝑦
es definida por 𝑥/𝑦 = 𝑥. 𝑦 −1 de modo que:
[(𝑎, 𝑏)]/[(𝑐, 𝑑)] = [(𝑎, 𝑏)]. [(𝑑, 𝑐)] = [(𝑎. 𝑑, 𝑏. 𝑐)]
El elemento 𝑥/𝑦 𝜖 𝑄 es llamado el cociente de 𝑥 𝑒 𝑦. En 𝑄 una sustracción y división
son operaciones binarias en 𝑍, la división no es binaria.
𝑄 = ( 𝑍𝑥𝑍∗ )/~ ) 𝐶𝑂𝑀𝑂 𝑈𝑁 𝐶𝑈𝐸𝑅𝑃𝑂 𝑂𝑅𝐷𝐸𝑁𝐴𝐷𝑂
Necesitamos definir, en 𝑄 un conjunto de positivos 𝑝 de tal forma que los axiomas de
orden se cumplen. Es decir la adición y la multiplicación se cierran en 𝑝 y sea válida la
tricotomía. El símbolo >𝑍 es una relación de orden mayor que, en el conjunto de los
enteros 𝑍.
PROPOSICION 6: (𝑄 𝑒𝑠 𝑜𝑟𝑑𝑒𝑛𝑎𝑑𝑜) Sea 𝑝 = [(𝑎, 𝑏)] 𝜖 𝑄 ; 𝑎. 𝑏 >𝑍 0 .
El conjunto 𝑝 hace de 𝑄 sea un cuerpo ordenado.
Demostración: Sea 𝑥 = [(𝑎, 𝑏)] y 𝑦 = [(𝑐, 𝑑)] elementos de 𝑝 .
Así 𝑎. 𝑏 >𝑍 0 y 𝑐. 𝑑 >𝑍 0 . . . . . (∗)

Usando (∗) , 𝑑 ≠ 0 ( 𝑦 𝑎𝑠𝑖 𝑑 2 >𝑍 0 ) y las propiedades del orden en 𝑍 se verifica.

(𝑖) 𝑥 + 𝑦 = [(𝑎, 𝑏)] + [(𝑐, 𝑑)] = [(𝑎. 𝑑 + 𝑏. 𝑐, 𝑏. 𝑑)] 𝜖 𝑝
↔ (𝑎. 𝑑 + 𝑏. 𝑐). 𝑏. 𝑑 = (𝑎. 𝑏 + 𝑐. 𝑑). 𝑑 2 >𝑍 0 .
(𝑖𝑖) 𝑥. 𝑦 = [(𝑎, 𝑏)]. [(𝑐, 𝑑)] = [(𝑎. 𝑐, 𝑏. 𝑑)] 𝜖 𝑝
↔ (𝑎. 𝑐). (𝑏. 𝑑) = (𝑎. 𝑏). (𝑐. 𝑑) >𝑍 0 .
Por lo tanto, la adición y la multiplicación son 𝐶𝐸𝑅𝑅𝐴𝐷𝐴𝑆 en 𝑝. Es necesario mostrar
la tricotomía:
Sea [(𝑎, 𝑏)] 𝜖 𝑄. Entonces 𝑎. 𝑏 𝜖 𝑍 de la tricotomía en 𝑍 𝑎. 𝑏 >𝑍 0 𝑜 𝑎. 𝑏 = 0 𝑜
𝑎. 𝑏 <𝑍 0. Como 𝑏 ≠ 0 entonces:
𝑎. 𝑏 >𝑍 0 𝑜 𝑎 = 0 𝑜 (−𝑎). 𝑏 = −𝑎. 𝑏 >𝑍 0 𝑜 𝐴𝑠𝑖
[(𝑎, 𝑏)] 𝜖 𝑝 𝑜 [(𝑎, 𝑏)] = [(0, 𝑏)] = 0 𝑜 [(−𝑎, 𝑏)] 𝜖 𝑝 𝑜 𝑆𝑒𝑎:
[(𝑎, 𝑏)] 𝜖 𝑝 𝑜 [(𝑎, 𝑏)] = 0 𝑜 − [(𝑎, 𝑏)] 𝜖 𝑝
Por lo tanto, 𝑄 es un cuerpo ordenado. Esto permite definir en 𝑄 la relación
de orden > como se sigue
DEFINICION: Dados 𝑥, 𝑦 𝜖 𝑄, diremos que 𝑥 es mayor que 𝑦 si, y solamente si,
𝑥 − 𝑦 𝜖 𝑝, y denotamos por 𝑥 > 𝑦.