CONSTRUCCION DE LOS SISTEMAS NUMERICOS DE LOS ENTEROS

Y DE LOS RACIONALES

MARIA ANGELICA SENDOYA CODIGO: 20111102594

ANGIE PAOLA TRUJILLO CODIGO: 20111100454
MIGUEL ANGEL MANRIQUE CODIGO: 2010297603
JAIRO ENRIQUE CARDENAS CODIGO: 20112104382

UNIVERSIDAD SURCOLOMBIANA
FAC U LTAD D E CIENCIAS NATURALES Y
EXACTAS PROGRAMA MATEMATICA APLICADA
NEIVA
2014
1. CONSTRUCION DE LOS SISTEMAS
NUMERICOS DE LOS ENTEROS Y LOS
RACIONALES

Se construir en sistema numrico de los enteros y los racionales como ciertas

colecciones de clases de equivalencia, clases obtenidas a partir de relaciones
De equivalencia compatibles con las operaciones de adicin y multiplicacin n
Preexistentes, para que de esta forma las operaciones entre clases resulten
ser un simple paso al cociente de las anteriores.

1.1. Los N me r o s Enteros

Figura 1: Grafica Enteros

En el mundo actual, desde temprana edad se le crea a la persona la

necesidad de disponer de nmeros negativos: temperaturas bajo cero,
deudas, gol-diferencia en contra, y en la escuela la posibilidad de poder
efectuar siempre la resta, ya que solo cuando m n existe un natural k tal
que n + k = m,
No pudindose hallar, por ejemplo, un natural para colocar dentro de los
cuadrados.

3+ = 2
De tal manera que la proposicin resultante sea verdadera. Supongamos
por ahora que conocemos los enteros; es fundamental observar que todos
estos se

2
 Pueden obtener como diferencias entre naturales: 0 = 1 1, 1 = 3 2, 2
=
5 3, 5 = 8 3, 1 = 1 2, 2 = 4 6, 8 = 25 33, etc. O sea que una
pareja ordenada de nmeros naturales determina un entero, a saber, la
rencia entre su primera y su segunda coordenadas. Una aproximacion
inicial

3
hacia los enteros
naturales; (1, 1) seria entonces elel considerarlos
representara cero, (3, 2) alcomo parejas
1, (1, 2) al ordenadas
1, (4, 6) de
al
2,
etc.; en general (m,n) representara al entero m-
n.

Existe sin embargo un problema: se puede obtener la misma diferencia entre

muchas parejas distintas; as (8, 4), (4, 0), (6, 2), y (10, 6) entre otras,
poseen siempre como diferencia 4.

Debemos
produzcanenlaconsecuencia considerar
misma diferencia: (8, 4)como
(4, equivalentes a todas
0), (2, 5) (3, 6), (5,aquellas
5) (1, que
1),
etc. Pero como no podemos utilizar la resta para definir tal relaci n de equi-
valencia por que queremos es precisamente construir los enteros, soslayamos
este obstaculo usando la suma

(8, 4) (6, 2) o sea 8 4 = 6 2 si y solo si 8 + 2 = 6 + 4y

(2, 5) (3, 6) o sea 2 5 = 3 6 si y solo si 2 + 6 = 3 + 5,
Y de modo general, (m, n) (p, q) m + q = n +
p.
Ahora en el siguiente documento se presenta la construcci n de los numeros
enteros.

Teniendo en cuenta que para la construcci n de una estructura algebraica

se necesita: Un conjunto base, una relaci n establecida en el conjunto, unas
operaciones y unas propiedades que cumple ese conjunto. Para la construc-
cion de los numeros enteros el conjunto base sera el conjunto de los nu
meros
naturales (N) la relaci n de equivalencia se define de la siguiente manera.

(a, b), (c, d) R N N, (a, b) (c, d) a + d = b + c

Y las operaciones se definen bajo las siguientes condiciones :
(a, b) R N N, (a.b) (c, d) = (a + c, b
+ d)

La relaci (a, b) R N N, (a.b) (c, d) = (ac + bd, ad + bc)

n de equivalencia se define de la siguiente manera:
Demostracion de la relacion de

equivalencia: Reflexiva

(a, b) R N N, (a.b) (a, b)

si
(a, b) (a, b) a + b = b +
a
lo cual es verdad por la conmutatividad de la suma en N, luego R es reflexiva.

Simetra

(a, b), (c, d) R N N, (a.b) (c, d) (c, d) (a,

b) si
(a, b) (c, d) a + d = b + c (Por n de equivalencia)
definici
= d + a = c + bc + b = d
+a
Por conmutatividad de la suma en N y por simetra de la
igualdad

(c, d) (a,
b)
Por definici n de equivalencia luego R es simetrica

Transitividad

(a, b), (c, d), (e, f ) R N N, (a.b) (c, d)(c, d) (e, f ) (a, b) (e,
f ) si
(a, b) (c, d)(c, d) (e, f ) a+d = b+cc+f = d+e (def. de

equivalencia) Luego,

a +d+c+f =b+c+d
+e

A cosas iguales se le suman cosas iguales, los restos son iguales

=a+f =b+
e

A cosas iguales se le quitan cosas iguales, los restos son iguales

 = (a, b) (e, f ) (def. equivalencia)
Luego R es transitiva. Por lo tanto R es una relaci n de equivalencia.

Conociendo ya lo que deseamos hacer, procedamos en forma oficial:

Definicion 1.
Sea A = N N . Definamos las siguientes operaciones en
A:

(m, n) + (p, q) = (m + p, n + q)
(m, n) (p, q) = (mp + nq, mq
+ np)

La
q) razon de tales definiciones radica en que+ segun
(nlo+(mq
p)nq) dicho, (m, n) + (p,
q) y+analogamente
(m,re-n)presenta
(p, q) (m (m+(p
serian) q)
n)(p oq)sea
= (m
(mp + np).
Proposicion 1.
Las dos operaciones acabadas de definir son conmutativas en A:

(m, n) + (p, q) = (m + p, n + q) = (p + m, q

+ n)
= (p, q) + (m,
n).
(La conmutatividad de + en N hace valida la segunda igualdad).
(m, n) (p, q) = (mp + nq, mq + np) = (pm + qn,
pn + qm)
= (p, q) (m,
n),
Siendo verdadera la segunda igualdad por la conmutatividad de + y en N.
Definimos ahora en A la relaci n siguiente:
(m, n) (p, q)si y solo sim + q = n + p.

Proposicion 2
La relaci n acabada de definir es de equivalencia.

Demostracion.

Por la conmutatividad de la adicion en N,m + n = n + m lo cual significa

(m, n) (m, n), cualquiera sea (m,n) en A (reflexividad).

Si (m, n)y la(p,

igualdad q), entonces m
conmutatividad la qsuma
de + = n de p y por la p
+ naturales, simetra
+ n = qde+lam, o sea
(p, q) (m, n).
Si (m, n) (p, q) y (p, q) (r, s) se tiene que m + q = n + p,y p + s = q +
r
y sumando miembro a miembro: m + q + p + s = n + p + q + r y cancelando
q + p, m + s = n + r, es decir (m, n) (r, s), obteniendose la transitividad.
Las clases de equivalencia
al representarN determinadas por esta relaci n pueden visualizarse
N graficamente.

Figura 2: Se hallan sobre rectar paralelas a la diagonal

Teorema 1
La relaci n de equivalencia anterior es compatible con las operaciones + y X
definidas en A.

Demostracion

Segun el ejercicio
operaciones, basta 10 de laque
probar seccion
si (m,3.6
n)alser
(p,conmutativas
q), entonces.las dos
(m, n) + (r, s) (p, q) + (r,
s) y
(m, n) (r, s) (p, q) (r,
s),
Siendo (m,n),(r,s),y (p,q) elementos cualesquiera de A.
En efecto: si (m, n) (p, q), entonces m + q = n + p; sumando r + s
a los dos miembros, conmutando y asociando se obtiene:

(m + r) + (q + s) = (n + s) + (p + r) o
sea
(m + r, n + s) (p + r, q + s)
esto es
 (m, n) + (r, s) (p, q) + (r,
s).
Analogamente, de (m, n) (p, q) se obtiene

(m + q = n + p) y (n + p = m
+ q); Multiplicando por r y s respectivamente

(mr + qr = nr + pr) y (ns + ps = ms

+ qs) Y sumando miembro a miembro:

mr + qr + ns + ps = nr + pr + ms +
qs o sea
[mr + ns] + [ps + qr] = [ms + nr] + [pr + qs]
es decir
(mr + ns, ms + nr) (pr + qs, ps + qr)
esto es
(m, n) (r, s) (p, q) (r,
s),
Quedando demostrado
El teorema acabado de demostrar significa que las dos operaci n + y X se
pueden pasar al conjunto cociente a / , o sea que entre clases de equivalencia
es correcto definir

[(m, n)] + [(r, s)] = [(m, n) + (r,

s)] y
[(m, n)] [(r, s)] = [(m, n) (r,
s)].
El conjunto A / no es otro que el de los enteros y en adelante lo denota-
remos por Z.

Teorema 2.
Las operaciones + y (entre clases) definidas en Z gozan de las siguientes
propiedades

(a) Las dos son asociativas y conmutativas.

para la suma.
Propiedad asociativa.
(a, b), (c, d), (e, f ) R N
N,
[(a, b) (c, d)] (e, f ) = (a, b) [(c, d)
(e, f )] si
[(a, b) (c, d)] (e, f ) (a + c, b + d) (e, f ) (def.
suma) si
(a + c, b + d) (e, f ) (a + c + e, b + d + f ) (def. suma) si (a + c
+ e, b + d + f ) (a + (c + e), b + (d + f ) (asociatividad de la suma N)
si (a + (c + e), b + (d, f )) (a, b) (c + e, d + f ) (def. suma) si
(a, b) (c + e, d + f ) (a, b) (c, d) (e, f ) (def.
suma) Luego se cumple la propiedad asociativa.

Propiedad conmutativa.
(a, b), (c, d) R N N, (a.b) (c, d) = (c, d)
(a, b) si
(a, b)(c, d) = (a+c, b+d) (a+c, b+d) = (c+a, d+b) (conmutatividad + en N)
si
(c + a, d + b) (c, d) (a, b) (def.
suma)
Por lo tanto se cumple la propiedad conmutativa.
para la multiplicacio
n. Propiedad asociativa.
(a, b), (c, d), (e, f ) R N
N,
[(a, b) (c, d)] (e, f ) = (a, b) [(c, d)
(e, f )] si
[(a, b) (c, d)] (e, f ) (ac + bd, ad + bc) (e, f ) (def.
producto) si
(ac+bd, ad+bc)(e, f ) (ace+adf +bcf +bde, acf +ade+bce+bdf ) (def.
producto) si
(ace+adf +bcf +bde, acf +ade+bce+bdf ) (a(ce+de)+b(cf +de), a(cf
+de)+b(ce+df ))
(prop. distributiva en N) si
(a(ce+de)+b(cf +de), a(cf +de)+b(ce+df )) (a, b)(ce+df, cf +de) (def.
producto) si
(a, b) (ce + df, cf + de) (a, b) [(c, d) (e, f )] (def.
producto)
Por lo tanto se cumple la propiedad asociativa.

Propiedad conmutativa.
(a, b), (c, d) R N N (a, b) (c, d) = (c, d)
(a, b) si
 (a, b) (c, d) (ac + bd, bc + ad) (def.
producto) si
(ac+bd, bc+ad) (ca+db, cb+da) (conmutatividad en el producto en
N) si
(ca + db, cb + da) (c, d) (a, b) (def.
producto)
Por lo tanto cumple con la propiedad conmutativa.
(b)[(m, m)] es el modulo de + (cualquiera sea m N ).

Modulo de la suma.
(a, b), (c, d) R N N, (a, b) (c, d) = (a,
b) si
(a, b) (c, d) = (a, b) (a + c, b + d) = (a, b) (def. de
suma) si
(a + c, b + d) = (a, b) a + c + b = b + d + a (def. de
equivalencia)
Para que se cumpla la equivalencia.
c=da+c+b=b+c+
a si
a+c+b=b+c+a a +b=
b+a
a cosas iguales se le quitan cosas iguales, los restos son iguales
por lo tanto el modulo de la suma es toda pareja ordenada que su
primera componente sea igual a la segunda.

(p, p) R N N
(c) [(1,0)] es el modulo de la multiplicaci n.

Modulo de la multiplicacion.
(a, b), (c, d) R N N (a, b) (c, d) = (a,
b) si
(a, b) (c, d) = (a, b) (ac + bd, ad + bc) = (a, b) (def. del
producto) si
(ac + bd, ad + bc) = (a, b) ac + bd + b = ad + bc + a (def. de
equivalencia) si
ac + bd + b = ad + bc + a c = d + 1 a(d + 1) + b(d + 1) = b(d +
1) + a(d + 1)
reemplazando y aplicando la propiedad distributiva en N. Si

10
10
 a(d + 1) + b(d + 1) = b(d + 1) + a(d + 1) (c, d) = (d
+ 1, d)
luego el modulo en el producto es cualquier pareja ordenada del tipo (1, 0).

(d)[(a, b)] es el inverso aditivo de [(b, a)].

11
11
Inverso aditivo.
(a, b), (c, d) R N N, (a, b) (c, d) = (p,
p) si
(a, b) (c, d) = (p, p) (a + c, b + d) = (p, p) (def. de
suma) si
(a + c, b + d) = (p, p) a + c + p = b + d + p (def. de
equivalencia)
Para que se cumpla la equivalencia
d = a c = b a + b+ p = b+ a +
p si
a +b+p=b+a +pa +b=b
+a
a cosas iguales se le quitan cosas iguales, los restos son iguales
por lo tanto el inverso de una pareja (a,b) es la pareja (b,a).

(e) X es distributiva con respecto a la +.

(a, b), (c, d), (e, f ) R N N (a, b)(c, d) (e, f ) = [(a, b)(c, d)][(a,
b)(e, f )]
si
(a, b) (c, d) (e, f ) (a, b) (c + e, b + d) (def. de
suma) si
(a, b)(c+e, b+d) (a(c+e)+b(d+f ), a(d+f )+b(c+e)) (def. de
producto) si
(a(c + e) + b(d + f ), a(d + f ) + b(c + e)) (ac + ae + bd + bf, ad +
af + bc + be)
(distributiva en N) si
(ac+ae+bd+bf, ad+af +bc+be) ((ac+bd)+(ae+bf ), (ad+bc)+
(af +be)) (asociativa en la suma en N) si
((ac+bd)+(ae+bf ), (ad+bc)+(af +be)) (ac+bd,
ad+bc)(ad+bc, af +be)
(def. de suma) si
(ac+bd, ad+bc)(ad+bc, af +be) (a, b) (c, d)(a, b) (e, f ) (def. del
producto) Por lo tanto se cumple la propiedad distributiva.

Proposicion 3.
Dado un entero [(p,q)], existe un unico natural n tal que o [(p,q)] = [(n,0)]
o bien [(p,q)] = [(0,n)].
 Demostracion.

Dado [(p,q)], segun la ley de la tricotoma del orden entre naturales, se

cumple una unica de las relaciones.

p = q, p > q, p
< q
En el primer caso [(p,q)] = [(p,p)] = [(0,0)] y n = 0.

En el segundo caso, existe un unico n tal que p = n + q y se tiene.

[(p, q)] = [(n + q, q)] = [(n, 0)]
Ya que

(n + q, q) (n,
0).
Finalmente, cuando p < q existe n no nulo unico tal que

p + n = q y [(p, q)] = [(p, p + n)] =

[(0, n)].

Si notamos por N al conjunto de los enteros de la forma [(n,0)], es decir

N = {[(n, 0)]/n N }, observamos que estos enteros son cerrados para
la
adicion y n, operaciones con respecto a las cuales se comportan
multiplicaci
como si fueran los mismos numeros
naturales:

[(m, 0)] + [(n, 0)] = [(m, 0) + (n, 0)] = [(m +

n, 0)].
[(m, 0)] [(n, 0)] = [(m, 0) (n, 0)] = [(mn + 0, m0 + 0n)] =
[(mn, 0)].
Para sumarlos o multiplicarlos basta entonces sumar o multiplicar los natu-
rales que aparecen en las primeras coordenadas y luego colocar ceros en las
segundas y agregar los respectivos parentesis. Otra forma mas sofisticada
de
decir esto mismo es la siguiente: si definimos la funcion j : N N
mediante
j(n)=[(n,0)], es evidente que esta es una n de N en Z, la cual estable-
inyecci
ce a su vez una biyeccion entre N y N; ademas la forma como se suma y
se multiplica en N significa que.

j(m)+j(n)=j(m+n) y j(m)x(n)=j(m x n),

Razon por la cual se acostumbra decir que j es un isomorfismo entre N y N.

De todo lo anterior se concluye que para nuestro trabajo (i.e desde un punto
de vista algebraico) no existe entre N y N otra diferencia que la notaci n para
designar a sus elementos; es por tal razon que se acostumbra identificarlos;
en adelante los consideramos como iguales; diremos que N (en vez de N) es
un subconjunto de Z y en lugar de [(m,0)] escribiremos simplemente m como.

[(0,m)]+m=[(0,m)]+[(m,0)]=[(m,m)]=[(0,0)]=0,
Se tiene que [(0,m)] es el inverso aditivo de m, es decir [(0,m)]= -m; la no-
taci n queda entonces perfectamente simplificada y Z reducido a su forma
usual:
z = {. . . ,-3,-2,-1,0,1,2,3,. . .}
Siendo la adici n en Z conmutativa e invertiva, se puede definir su operaci n
inversa, la diferencia, en todo Z: para m y n cualesquiera en Z,

m-n=m+(-n)=(-n)+m.
La diferencia, de ley de composicion tan solo parcialmente definida en
N, pasa a ser totalmente definida en el conjunto de los enteros.

Nota:
conjuntoEn
N lo que sigue,denotaremos por Z* al conjunto Z - {0} y por N* al
- {0}.
Proposicion 4.
a ( m Z )((m) = m)

Demostracion.

(m) + (m) = 0
m + [(m) + (m)] = m +
0
m + [m + ((m))] = m +
0
(m + (m)) + ((m)) =
m
0 + ((m) =
m
(m) = m
(b)( m, n Z )(m(n) = (mn) = (m)n)

Demostracion.

0 = m0
0 = m(n +
(n))
0 = mn + m(n) sumando a ambos lados -
(mn)
(mn) = [mn + m(n)]
(mn)
(mn) = (mn (mn) +
m(n))
(mn) = 0 +
m(n)
(mn) =
m(n)
(c) ( m Z )(m0 = 0)

Demostraci
on.

0 = (1 1)
m0 = m(1 1)
Distributiva
m0 = m m
Modulativa
m0 = 0
Para terminar, digamos algosobre el orden usual de Z: Definamos m <
n
como (m n) N* y m n como (m n) N.Usando la proposicion 4
es
facil probar los dos resultados siguientes:

Proposicion
5.
La relaci n acabada de definir es de orden total en Z.

Demostracion.
Una relaci n acabada de definir es de orden total en Z ( totalmente
de orden Z) se cumple las siguientes propiedades.
1). La reflexividad : aa para todos a Z.
2). Antisimetrica : ab ba supone a=b.
3). transitividad : ab bc supone ac

Como se cumple las propiedades decimos que :

los Z con forman un conjunto ordenado entonces en la Z es de orden
total, por lo que este conjunto ordenado es una cadena.

Proposicion 6.
(a)( m, n Z )(m < n m + k < n + k)
Demostracion

(m < n m + k < n
+ k)
( k Z )(k = p + r)(p + r
Z)
m+p< n
+p
m+p+r < n+p
+r
m + (p + r) < n + (p + r) Def.
Asoc.
m + k < n + k Por
Def. k

(m < n m + k < n
+ k)
( k Z )(k = p + r)(p + r
Z)
m+p< n
+p
m+p+r < n+p
+r
m + (p + r) < n + (p + r) Def.
Asoc.
m + k < n + k Por
Def. k
b( m, n Z )( k > 0)(m < n mk < nk)
Demostracion
( k Z +)(k = pr)(p, r
Z)
 mp <
np mpr
< npr
m(pr) < n(pr) Def.
Asoc.
mk < nk Por
Def. k
c( m, n Z )( k < 0)(m < n mk > nk)
Demostracion
( k Z )(k = pr)(p, r
Z)
mp >
np mpr
> npr
m(pr) > n(pr) Def.
Asoc.
mk > nk Por Def. k
Z-

1.2. Los Numeros Racionales

Un numero racional, es un numero que puede representarse como el
cociente
de dos numeros enteros. Por lo que la n de los numeros racionales
construcci
se hace a partir de los enteros y estos a su vez de los naturales.

Figura 3: Grafica racionales

De la manera en que hemos estudiado y manipulado los racionales los expre-

samos en forma de quebrado (m/n) donde llamamos a m numerador y a n
denominador el cual tiene la propiedad de ser no nulo.
 (m / n) ; n = 0
Para la construcci n, nos basamos en relaciones de equivalencia de parejas
ordenadas de numeros enteros.
Sea B=Z x Z*={m,n talque m,n Z y n = 0}

Sea Z* asterisco.

Definimos en B las dos operaciones.

SUMA. (m,n)+(p,q)=(mq + np,nq)

Demostraremos las propiedades (conmutativas asociativa) de la suma.

CONMUTATIVA +:

(m, n) + (p, q) = (mq +

np, nq) (p, q) + (m, n) =
(pn + qm, qn)
(m, n) + (p, q) = (mq + np, nq) por def. de suma
con m
(m, n) + (p, q) = (np + mq, nq) por prop.conmutativa de la suma en Z
(m, n)+(p, q) = (pn+qm, qn) por prop.conmutativa de la pultiplicacion
en Z (m, n) + (p, q) = (p, q) + (m, n) por def.de suma conmutativa
ASOCIATIVA +:

((m, n) + (p, q)) + (r, s) = (m, n) + ((p, q) +

(r, s))
= (m, n) + (ps + qr,
qs)
m(qs) + n(ps + qr),
n(qs)
(mq + np, nq) + (r, s) por def.de
suma
(mq + np)s + (nq)r, (nq)s por def.de
suma
(s(mq + np) + (nq)r, (nq)s) conmutativa de la multiplicacion
en Z ((s(mq) + s(np)) + (nq)r, (nq)s) prop.distributiva de
la+en Z
(((mq)s + (np)s) + (nq)r, (nq)s) prop.conmutativa de la multiplicacion
en Z ((m(qs) + n(ps) + n(qr), n(qs)) pro.asociativa de la multiplicacion
en Z
 (m(qs) + (n(ps) + n(qr)), n(qs) prop.asociativa de la suma
en Z (m(qs) + n(ps + qr), n(qs)) prop.distributiva de+en Z
(m, n) + (ps + qr, qs) definicion de
suma
(m, n) + ((p, q) + (r, s)) definicion de
suma
MULTIPLICACION: : (m,n)(p,q)=(mp,nq)

Demostraremos las propiedades (conmutativas asociativa) de la

multipli- cacion.
CONMUTATIVA :
(m, n) (p, q) = (p, q) (m,
n)
(m, n) (p, q) = (mp, nq) propiedad de
la
(m, n) (p, q) = (pm, qn) por prop.conmutativa de la multiplicacion
en Z
(m, n) (p, q) = (p, q) (m, n) por
definicion
ASOCIATIVA :
((m, n) (p, q)) (r, s) = (m, n) ((p, q)
(r, s))
((m, n) (p, q)) (r, s) = (mp, nq) (r, s) por
definicion de
((m, n) (p, q)) (r, s) = ((mp)r, (nq)s) por definicion
de
((m, n) (p, q)) (r, s) = (m(pr), n(qs)) asociativa de la multiplicacion
en Z
((m, n) (p, q)) (r, s) = (m, n) (pr, qs)
definicion de
((m, n) (p, q)) (r, s) = (m, n) ((p, q) (r, s))
definicions de
Habiendo demostrado la propiedad conmutativa y asociativa de las dos ope-
raciones anteriores demostraremos la siguiente relaci n de equivalencia.

Proposicion.

Considerando en B la relaci n
La relaci (m, n) (p, q) si y solo si mq=np
n es de equivalencia en B

Ahora debemos probar que

i.reflexiva:
(xZ xZ )(x
x)
sea x Z x Z* cualesquiera
x = (m, n) con
n=0
mn = mn por reflexividad de la
igualdad
ii.Reflexiva: mn = nm por conmutatividad del producto en
Z (m, n) (m, n)definicions de relacion

(x, yZ xZ )(x y y
x)
Sean x,y Z x Z* cualesquiera
x = (m, n)n =
0
y = (p, q)q =
0
Supongamos que xy(m,n)(p,q)
mq = np def.de
equivalencia
iii.Transitiva: np = mq simetria de la
igualdad
pn = qm conmutatividad del producto en
Z (p, q) (m, n) definicionde equivalencia

(x, y, zxZ )(x yyy z x

z)
Sean x,y,z Z x Z* cualesquiera
x = (m, n)n =
0
y = (p, q)q =
0
z = (r, s)s =
0
Supongamos que xy y yz
(m, n) (p, q)y(p, q)
(r, s)
 m, q = np ps =
qr
(mq)(ps) = (np)
(qr)
(ms)(pq) = (nr)(pq) por prop.asociativa y conmutativa del producto en
Z
 Como pZ debemos considerar
(1) p = 0. si p = 0 al ser q = 0

Entonces, pq=0 entonces por la propiedad cancelativa del producto en Z

tenemos

ms =
nr
(m, n) (r, s) definicion

x z
(2) p = 0. si p = 0 y q = 0 entonces por 1

mq = 0 y qr = 0
pero

q=0 entonces por la propiedad cancelativa del producto tenemos

m =0yr =0
ms = 0s y nr =
n0 ms = 0 y nr
=0
ms = nr por
transitividad
(m, n) (r,
s)
x z
Teniendo las demostraciones de equivalencia podemos adoptar la notaci
n de racional.

(m,n) es equivalente a decir m/n

Definimos la suma .

m/n + p/q = ((m, n) + (p, q)) = (mq + np)/nq = (mq

+ n, nq)

20
20
Prop. Conmutativa.

m/n + p/q = p/q +

m/n
m/n + p/q = (mq + np)/nq definicion de
suma
m/n + p/q = (np + mq)/nq conmutativa de la
suma en
m/n + p/q = (pn + qm)/qn conmuttiva del producto
en Z

21
21
 m/n + p/q = p/q + m/n por definicion de
suma
Prop asociativa.

(m/n + p/q) + r/s = m/n + (p/q

+ r/s)
(m/n + p/q) + r/s = (mq + np)/nq + r/s definicion de suma
(m/n+p/q)+r/s = ((mq +np)s+(nq)r)/(nq)s distributiva de producto
en Z (m/n+p/q)+r/s = ((mq)s+((np)s+(nq)r)/(nq)s asociativa de la
suma en Z (m/n+p/q)+r/s = (m(qs)+(n(ps)+n(qr))/n(qs) asociativa
del producto en Z
(m/n + p/q) + r/s = (m(qs) + n(ps + qr))/n(qs)
distributiva en Z (m/n + p/q) + r/s = m/n + ((ps +
qr)/qs) definicion de suma (m/n + p/q) + r/s = m/n +
(p/q + r/s) definicion de suma
El modulo de la suma es 0/1 (a 0/m con m=0 y a) que (0,m) (0,1)

Tenemos

m/n + p/q = m/n; n, q

=0
(mq + np)/nq = m/n definicion de
suma
n(mq + np) = m(nq) definicion de igualdad de fracciones
n(mq) + n2 p = n(mq) por asociativa,conmutativa y
distributiva n2 p = 0 cancelativa de la suma
(2)n2 = 0op = 0 teorema(a b = 0 a = 0ob =
0)
Pero.
(3)n = 0 n2 =
0
p=0 aplicando modus tollendo ponens en 2 y 3
Luego el modulo de la suma es
 0/qconq = 0
o
0/1 ya que(0, q) (0,
1)
Las clases de equivalencia correspondientes pueden visualizarse al
represen- tar Z x Z* graficamente; se hallan sobre rectas que pasan por el
origen.

Figura 4: Rectas En El Origen

Teorema 4
b. el modulo de la suma es 0/1 o (0/mconm = 0 ya que (0, m) (0, 1))

0 1 = m 0 Por la propiedad de equivalencia ya demostrada tenemos que

Sea [(0)/1] Q se cumple que.
[(m)/n] + [(0)/1] = [(m)/n]
Lo cual se demuestra de la siguiente forma.
[(m)/n] + [(0)/1] = [(m,1 + 0.n)/(n,1)] por n de suma
definici

=
[(m)/n]
Luego concluimos que el neutro aditivo existe y es

[(0)/n] = [(0)/1] con n Z*

c1/1(m/m con m = 0) es el modulo de la multiplicaci n.

 Existe [1/1] Q que cumple
[m/n] [1/1] =
Teniendo lo siguiente [m/n]

[m/n].[1/1] = [(m,1)/(n,1)] por n del de multiplicaci n

definici

= [m/n]
n existe y es.
Luego tenemos que el modulo de la
multiplicaci

[m/m] = [1/1] con m Z*

d. el inverso aditivo de m/m es -m/ m

Dado [m/n]Existe[(m)/(n)] Q tal
que
[m/n] + [(m)/(n)] = n de suma

[(0)/1]
[m/n] + [(m)/(n)] = [(m.n + (m).n)/(n.n)] por
definici

n de suma en Z
= [0/(n.n)] por
definici

= [0/1] por existencia de un modulo

Lo anterior demuestra que existe el inverso aditivo, de esta manera tenemos
que el inverso
aditivo de [m/n]es[(m)/
(n)].

e.. todo racional

multiplica- tivo ydiferente
[m/n] del
1 =modulo
[n/m] de la adicion posee inverso
Sean [m/n] Q luego [n/m] Q que
cumple
[m/n].[n/m] =
[1/1]
Lo anterior demuestra que existe el inverso multiplicativo, de esta
manera tenemos que el inverso de [m/n] es [n/m].
f.. la multiplicaci n es distributiva con respecto a la adicion.

Sean [m/n], [p/q], [r/s] Q entonces se

cumple
[m/n].([p/q] + [r/s]) = ([m/n].[p/q]) +
([m/n].[r/s])
[m/n].([p/q]+[r/s]) = [m/n].([(p.s+r.q)/(q.s)]) Por n de suma en Q
definici
n de suma en Q
= [m/n].[(p.s + r.q)/(q.s)] Por
definici

= [(m.(p.s + r.q))/(n(q.s))] n de n en Q
Por definici multiplicaci

= [(m.p.s+m.r.q)/(n.q.s)] Por la prop. dist. de la n con respecto a la suma

en Z
multiplicaci
n de suma de Q
= [(m.p.s)/(n.q.s)] + [(m.r.q)/
(n.q.s)] Por definici

= ([(m.p)/(n.q)] + [(m.r)/(n.s)]) Por propiedad cancelativa en Q

= ([m/n].[p/q]) + ([m/n].[r/s]) n de n en Q.
multiplicaci
Por definici

Entonces es posible definir a Q = Q {0/1} la division como operaci n

inversa de la multiplicaci n:

m/n p/q = m/n (p/p) 1 = m/n q/p Por la propiedad e.

Al igual que en la n anterior, es necesario hacer notar que los
construcci
racionales son una n del sistema numerico de los enteros, es decir,
ampliaci
que Q posee
conjunto unracionales
de los subconjunto
de laisomorfo con ; Z.
forma m/1 Z=Basta llamar
{m/1|m ZZ}. al

(a.)
su dado un
denomi- racional,
nador siempre se puede
sea positivo. escribir
en en
vezforma tal que
y (2)/(5) se toman (3)/(4) Por ejemplo,
y (2)/(5) de (3)/(4)
respectivamente.
(b.) Cuando vamos a comparar dos racionales con
denominadores positi- vos, m/n y p/q , podemos hacer comu
n denominador amplificando cada
quebrado por el denominador del otro, opresion que no altera la relaci n
existente por ser producto por un positivo ejemplo.
5/2 y 4/3 se (5x3)/(2x3)y(4x2)/(3x2) de modo que n de
tendra la relaci
orden la determinan los numeradores 5x3 > 4x2, luego 5/2 > 4/3.
La n es entonces la siguiente: dado m/n y p/q racionales cualesquiera
definici
con denominadores positivos, m/n < p/q significa que m.q < n.p, siendo esta
ultima la n de orden definida en Z.
relaci

(c.) c. Como mq y np son enteros, segun la ley de tricotom

a valida para orden entre enteron, se cumple una unica de
las relaciones mq<np, mq=np, np<mq, lo cual implica la
validez de la tricotoma en Q:
 m/n < p/q, V m/n = p/q, V p/q < m/n.

Es entonces suficiente probar que la transitividad del orden

estricto
total. para que automaticamente resulte ser un orden
 Si (m/n < p/q) (p/q < r/s) con n,q,s > 0, se
tiene que
(mq < np) (ps <
qr)

Multiplicando
n>0 por s>0obtenemos
los de la segunda, los miembros de la primera
(mqs<nps) (nps desigualdad y porpor
< nqr) luego,
transi-
tividad del orden en Z, mqs < nqr y cancelando q>0, ms<rn o sea m/n<
r/s.
(d.) La relaci n acabada de considerar es una extension del orden existente
en Z, ya que m/1 < n/1 si y solo s m.1<n.1 si y solo si m<n.
(e.)La relaci n de orden en Q satisface las propiedades de la monotona.
 Si m/n < p/q entonces m/n + r/s < p/q + r/s
Y si r/s > 0 y m/n < p/q, entonces m/n.r/s < p/q.r/s y si r/s < 0 la
desigualdad se invierte.
(f.)Si Q+ = {m/n Q m/n>0 } , se cumplen las siguientes propiedades.

i.Q+ es cerrado para la adicion y para la multiplicaci n.

ii. x Q = Q{0}, se cumple que (x Q+) (x Q+).