Capitulo IV: El Conjunto de los Nimeros Racionales (Q) Teorfa de
Nameros
CAPITULO IV
EL CONJUNTO DE LOS
NUMEROS RACIONALES (Q)
COMPETENCIAS ESPECIFICOS
1)
2)
6)
Definir el Conjunto de los Numeros Racionales (Q)
Definir la suma y la multiplicacién en el Conjunto de los Numeros
Racionales (Q).
Demostrar las propiedades de la adicién y multiplicacién en el Conjunto
de los Nuimeros racionales (Q)
Establecer la Relacién de Orden en el Conjunto de los Numeros
Racionales (Q).
Demostrar las propiedades de la Relacién de Orden en el Conjunto de
los Nuimeros Racionales (Q).
Definir sustraccién y divisién en el Conjunto de los Nuimeros Racionales
(Q).
Demostrar las propiedades de la sustraccién y la divisién en el Conjunto
de los Numeros Racionales (@)
128 Capitulo IV: El Conjunto de los Nimeros Racionales (Q) Teorfa de
Nameros
6 @ __brropuccion
Es de hacer notar que existen ecuaciones lineales que se pueden resolver en Z,, por
ejemplo 2x=10, —4x=8, -3x=0, 10x-20=0, pero hay otras que no, tales como
10. Este defecto manifiesto se resuelve uniendo a los
enteros otros nuimeros, que se Hamarén Niimeros Fraccionarios (F), es decir, la
operacién de conjuntos ZUF da como resultado el Conjunto de los Nuimeros
Racionales y se simbolizaré por @. El uso de la letra Q, se origina porque en
varios idiomas europeos cociente se escribe “quotient”, asi que los matematicos de
la época estudiosos de las fracciones decidieron el uso de esta letra para
representar al conjunto de los ntimeros racionales. La construccién de Q es similar
ala construccién de Z,.
Un poco de historia
Los babilénicos utilizaban fracciones cuyo denominador era una potencia de 60,
mientras que los egipcios usaron, sobre todo, las fracciones con numerador igual a
1, llamadas fracciones unitarias. Ademas tenian predileccién por las fracciones
. En la escritura, la expresaban con un évalo, que significaba parte 0 partido,
y debajo, 0 al lado, ponfan el denominador. El numerador no se ponia por ser
siempre 1. Los griegos y romanos usaron también las fracciones unitarias, cuya
utilizacién persistié hasta la época medieval. En el siglo XIII, Leonardo de Pisa,
llamado Fibonacci, introdujo en Europa la barra horizontal para separar
numerador y denominador en las fracciones tal como se usa actualmente.
A principios del siglo XV, el drabe Al Kashi fue el que generalizé el uso de los
nuimeros decimales tal y como los conocemos hoy. A finales del siglo XVI, Simon
Stevin desarrollé y divulgé las fracciones decimales que se expresaban por medio
de ntimeros decimales: décimas, centésimas, milésimas, etc, pero los escribia de
una forma complicada, asi para 456,765 (también 456.765) escribia 456 (0) 7(1) 6(2)
5(3). Para el siglo XVI, los nuimeros decimales ya aparecieron tal y como los
escribimos hoy, separando con un punto o una coma la parte entera de la parte
decimal. Los nuimeros decimales se impusieron, en casi todos los paises, al
adoptarse el Sistema Métrico Decimal, en el siglo XVIII, concretamente en 1792.
129 Capitulo IV: El Conjunto de los Nimeros Racionales (Q) Teorfa de
Nameros
Ejemplos de representacién de fracciones:
a) En escritura egipcia:
=>
ooo
ule 1]
too
ano © a
1 1 a
6 ‘10 100
b) En la cultura babilénica:
Ra A *
6) Ejemplos de representacién de fracciones por los romanos
Monedas de uso en Roma:
Una moneda triens (1/3 0 4/12 de un as), Los
cuatro puntos ¢*¢ indican su valor,
Una moneda semis (1/2 0 6/12
de unas). La letra indica su
valor.
‘Tomado de www.google-hn/search?q-historia-numerostracionales
Fraccién | Niimero Romano | Nombre __ Significado | Fraccién_| Numero Romano | Nombre
1 1
+ . urea oma | t Teens
t 02 [sean [soto |Z 8 een
i sex [oudrans [ous | 2 Bes
130 Capitulo IV: El Conjunto de los Nimeros Racionales (Q) Teorfa de
Nameros
i i IV.1| LA RELACION BINARIA ~
La construccién de Q es similar a la de Z.. Se empezar definiendo el conjunto K
por K=1x(I-{0})={(s,m)/sel, mel}
Nota: Por convencién en la notacién del texto, se simbolizard el producto s+n 0
también s x n como sn y [a,b]+[c,d]=[a,b] [c,d]
Se define la relacién binaria ~ como:
DEFINICION 1: Si (s,m),(t,1)€K, (s,m) ~(t,n) siy solo si sn=mt
En la definicién de ~, es de hacer notar que el elemento 0.¢Z no puede aparecer
como segunda componente en cualquier para ordenado (s,m), es decir, (s,0) no
estd definido.
TEOREMA 1: La relacién binaria ~ es una relacién de equivalencia
Debe demostrarse que ~ es reflexiva, simétrica y transitiva,
Demostracién:
Parte a) Se debe probar que (s,m) ~ (s,m) para todo (s,m) eK.
Para todo s,meZ, sm=sm es cierto y sm=sm es el enunciado de la propiedad
(M2) conmutativa del producto en Z. Por lo tanto, (s,m)~(s,m). Luego, ~ es
reflexiva.
Parte b) Probar: si (s,m) ~(1,t) entonces (n,t)~ (s,m) para todo (s,m), (1,1) eK
Como (s,m)~(n,t), por definicién de ~, se cumple que sf =mn, por la propiedad
simétrica de la igualdad, mn=st y por la propiedad conmutativa en Z, se cumple
nm = ts, entonces por definicién de ~ (n,t)~ (s,m). Luego, ~ es simétrica
Parte c) Probar: Si (s,m)~(n,f) y (n/£)~(u,0) entonces (s,m)~(u,v) para todo
(sm), (m1), (uv) eK.
Como (s,m)~(n,t) y (1,t)~(u,v), por definicién de ~ se cumple que st=mny
nv =tu. Por las propiedades: uniforme de la igualdad, asociativa y conmutativa:
(st)(n0) = (mn) (tu)
[s(tn)]o =[m(nt)]u
[s(tn)]o=[m(tn)]u
131 Capitulo IV: El Conjunto de los Nimeros Racionales (Q) Teorfa de
Nameros
Luego (tn)(sv)=(t)(mu) implica sv=mu. Por definicién de ~, se cumple que
(s,m) ~ (u,v). Luego, ~ es transitiva.
Por lo tanto, por a), b) y c) ~ es una relacién de equivalencia.
La relacién binaria ~ induce en el conjunto K una particién en clases de
equivalencia que se denota por of, es decir:
SF =([sm] [nt] [u0],..}, donde [s,m]={(a,b):(4b)K,(a,b)~(s,m)}, donde
sm, tneZ,
Las clases de equivalencia del conjunto se llamaran mimeros racionales, y en todo
el desarrollo de este capitulo se vera que el conjunto cf es isomorfo al conjunto Q
de mimeros racionales ya conocido.
IV.1.1 | LA ADICION Y MULTIPLICACION EN cf Y SUS PROPIEDADES.
DEFINICIO 2: ADICION EN cJ.
Sean [s,m],[1,t]¢ of La adicién se define por:
[s,-m]+[n,t]=[st + mn, mt]; s,m,n,teZ; m #0, t#0
DEFINICION 3: MULTIPLICACION EN oa.
La multiplicacién se define por [s,m] [n,t]=[s", mt], donde [s,m],[n,f]e of
En el capitulo I se mostré que la adicién y la multiplicacién son operaciones bien
definidas, lo mismo ocurre con la adicién y multiplicacién en cf. Previo a
demostrar teoremas, se efecttian operaciones con racionales utilizando clases de
equivalencia.
Bjemplo1 | recta
132 Capitulo IV: El Conjunto de los Nimeros Racionales (Q) Teorfa de
Nameros
Sea 241
4
2 1
3oR. s)age. 4]
2.1
Luego [+ ==[2,3]+[1,4
ego +7 =(2,3]+[1,4]
=[2+44+3+1, 3-4]
=([8+3, 12]
[11, 12]ez*
luego x>[11, 12]
Entonces 2 +4 24
304 «#12
5 al mi 2
Nota: Para este caso particular de suma de racionales, se le asigné al ntimero 5 Ta
clase ; »[2, 3]. En el caso de i se le asigné ; >[1, 4]. Se puede utilizar cualquier
otro par de ntimeros enteros que estén en la misma razén, por ejemplo:
4,6], es decir
2.4
2,3]=[4,6 ] implica rad
win win
€Q" luego se asigna: 2 >[-6,-9
|, es decir [2,
~6,-9] implica
Bjemplo? | pfectuar 3 2 usando clases de equivalencia
133, Capitulo IV: El Conjunto de los Ntimeros Racionales (Q)
Sea 242-2
79
3 2
5 3[-3,7] 4 579]
Luego 3.2 [33,7]+[2, 9]
+9+7 +2, 749]
Teoria de
Nameros
Fjemplo3 | pfectuar 2 5 usando clases de equivalencia
sea 345=x
8
3 55/5
3 3,8] 05>(5,1]
Luego 2 3,8]+[5, 1]
8
14845, 8-1]
=[3+40, 8]
43, 8)eQ°
luego x >[43, 8]
Entonces 245-43
8
Fjemplo4 | prectuar —2 2 usando clases de equivalencia
134 Capitulo IV: El Conjunto de los Ntimeros Racionales (Q)
, 63], -6 y 63 son divisibles por 3
, 21]
=-[2, 21]eQ°
luego x->-[2, 21], clase simplificada
Entonces ~~
Ejemplo 5 usando clases de equivalencia
Teoria de
Nameros
Sea -5+13
16
-5, 1] +[13, 15]
=[-5+13, 1-15]
-65, 15]
3], -65 y 15 son divisibles por 5
3,3]
[13, 3]eQ°
luego x ->-[13, 3], clase simplificada
BB
Entonces ~5:
135 Capitulo IV: El Conjunto de los Nimeros Racionales (Q) Teorfa de
Nameros
Se enuncian y demuestran a continuacién las propiedades que cumplen la suma y
multiplicacién de racionales.
TEOREMA 2: La adicién y la multiplicacién en of son operaciones bien definidas.
Este resultado implica demostr
a) Probar que la suma esté bien definida implica que para cualesquiera dos
elementos de cf la suma est en of. Es decir: Si [a,b]=[m,n], [c,d]=[s,t] entonces
(2,b]+[cd]=[m,n]+[s,].
b) Probar que el producto esté bien definido implica que para cualesquiera dos
elementos de of, el producto esta en of . Es decir: Si [a,b]=[m,n], [c,d]=[s,t]
entonces [4,b] [c,d] =[s, m] [t,]
Demostracién.
Sean [2,b]=[m,n] [c,d]=[s,t], por definicién de oJ los pares ordenados
(ab)~(m,n) y (c,d) ~(5,t) y por definicién de ~, se cumple que an=bm y ct =ds
Parte a)
[a,b] +[c,d]=[ad +be,bd]
Por definicién de +
=[(ad-+bc)(nt),bd(nt)]
=[adnt +bent,(bd)(nt)]
=[(an) (dt) + (ct)(bn),(bd)(nt)]
=[(bm) (dt) + (ds)(bn),(bd)(nt)]
[(ba) (mnt) + (db) (srt), (ba) (nt) ]
‘bd)(mt)+(bd)(ns),(bd)(nt) |
=[(bd) (mt +ns), (bd) (nt)]
=[mt+ns,nt]
=[m n][s,t]
Multiplicando mn
Propiedad distributiva
Prop. Asoc. del produc
Por dato, an=bm y ct =ds
Asociativa del producto
Conmutativa del producto
Distributiva de + y x
Simplificando
Definicién de
Luego, [4,b]+[c,d]=[m,n] +[s,t] y la adicién esta bien definida en of.
Parte b) Andlogamente, se prueba que:
[a,b] [c,d] =[ac, bd] (ustifique cada paso)
=[(ac)(nt),(ba)(nt)]
=[acnt,bdnt]
=[(an)(ct),(bd)(nt)]
136 Capitulo IV: El Conjunto de los Nimeros Racionales (Q) Teorfa de
Nameros
=[(bm)(ds), (bd) (nt) ]
=[bmds,bdnt]
=[(b4)(ms),(bd)(nt) |
=[ms,nt]
=[m,n] [s,]
Luego, [4,6] [c,d]=[m,n][s,t] y por lo tanto la multiplicacién es una operacién
bien definida en of.
DEFINICION 4: Definicién de cero, uno, inverso aditivo y multiplicativo
a) El cero se define por 0<>[0,m]
b) El uno se define por 1<>[m,m]
c) El inverso aditivo se define por: -[s,]=[-s,m] para todo elemento [s,m] of.
d) El inverso multiplicativo se define por: —[s,m]'=[-s,m] para todo elemento
[sme of. s¥0.
Las propiedades de la multiplicacién y la divisién se pueden demostrar en una
forma andloga a la de los nuimeros enteros. Estas se enuncian y demuestran a
continuacién,
1) PROPIEDADES DE LA ADICION EN oJ
Sean x,y,z of, entonces
AL (xty)ed Ley de clausura
A2: xby=yex Ley conmutativa.
AS: x+(y+z)=(x+y)+z Ley asociativa.
Ad: Si x+y=z+y entonces x=z Ley cancelativa
AS: existe un elemento neutro para la adicién, Oc cf tal que x+0=0+x~=x,para
todo xe
AG: para todo x €¢f, existe un simétrico aditivo, x ecf tal quex+(-x)=(-x)+x=0.
=x se llama opuesto de x.
Se demuestran las propiedades A1, A3, Ad; quedaran como ejercicios A2, A y A6.
Sean x4>[s,m], yo[n,t], 2O[w,2]
137 Capitulo IV: El Conjunto de los Nimeros Racionales (Q) Teorfa de
Nameros
Al: si x,y of entonces (x+y)e oJ
Demostracién:
(x+y)ols,m]+[1,t]=[st+mn,mt], y como (st+mn)eZamteZ, entonces
[st+mn,mt]€ of, es decir (x+y) e of
AB: x+(y+z)=(x+y)+z
Demostracién: (Justifique cada paso)
[s,mi]+([n,£]+[u,0)) =[s,m]+[10 +14, t0]
=[5(to) +m(nv +t), m(te)]
=[s(to) + m(nv) +m (tu) (mt) >]
=[(st+mn)o+(mt)u,(mt)e]
om ml [2]
=([s,m]+[1,t))+[u.2]
Por lo tanto x+(y+z)=(x+y)+
Ad: Si x+y=z+y entonces x=z
Demostracié1
Si [s,m] +[n,t]=[u,0]+[1,t]entonces
[st-+mn, mt] =[ut +on, vt] Por def. de +en of
(st-+mn)ot =(mt)(ut +on) Por def, de clase de equivalencia
(st-+mn) (ot) =(ut-+on)(me) Por M3 en Z
(st-+mn)(v) =(ut-+0n)(m) Por M4 en Z
sto-+mno =utm-+onm Por D2 en Z
sto=utm Por Aden Z
sv=mu Por M4en Z
(s,m) ~ (u,v) Por def. de ~
[sm] =[u,2] Por el teorema 3, cap. II
2) PROPIEDADES DE LA MULTIPLICACION EN of
Sean x,y,z of, entonces
ML: (xy)e oS Ley de clausura
M2: xy= yx Ley conmutativa
138 Capitulo IV: El Conjunto de los Nimeros Racionales (Q) Teorfa de
Nameros
M3: x(yz)=(xy)z Ley asociativa
M4: Si xy=zy entonces x=z Ley cancelativa
M5: Existe un elemento neutro respecto de la multiplicacién, el 1¢ of tal que
Ix=x1=x, para todo xe of,
M6: para todo xe of, x #0, existe un simétrico multiplicative, x" € of tal que
a1 =a'x=1. A x7 se le lama opuesto de x.
Nota: El opuesto y el inverso de un ntimero racional distinto de cero son tinicos.
Se demuestran a continuacién las propiedades M2 y M6, quedaran como ejercicios
M1, M2, M4y M5.
M2: xy = yx, para todo x,y € of.
Sean x<>[s,m], y[m,s] con my s distintos de 0:
[s,m] [r,s] =[sm, ms] Por definicién de multiplicacién
=[sm,sm] Por propiedad conmutativa
Se tiene que [sm,sm]=[r,r], ya que (sm,ms)~(r,r) porque sm+r=ms+r,
entonces, por definicién de 1, 1¢>[sm,sm]. Entonces, xx'=1, por la
conmutatividad, xx'=x"x=1. Para demostrar la unicidad de x"', supongamos
que existe y eof tal que xy=yx=1. Como xx" =1 y xy=1, entonces xx" = xy, lo
ico.
que implica que x“ =y. Por lo tanto, x“ es w
TEOREMA 3.5i x,y € oJ, distintos de cero, entonces (xy) * = x"'y
Demostracion:
139 Capitulo IV: El Conjunto de los Nimeros Racionales (Q) fade
Sean x<>[s,m], yo [1,t] luego x? &[m,s], y7 [tn]
(xy) «(s,m [n,t])” =[sn,me]"
=[mt,sn]
Luego, (xy) <> [mt, sn]
Por otro lado, xy" <>[m,s][t,n]=[mt, sn]
Luego x“y" <>[tm,ns], se deduce que (xy) "=a y*
IV.1.2 | EJERCICIOS DE AUTOEVALUACION 1
Demostrar cada una de las siguientes propiedades justificando cada paso.
A. Demostrar:
a) Ad: x+y=y+x para todo x,ye J
b) AS: x+0=0+x=x,para todo xe of
©) AG: x+(-x)=(—x)+x=0, para todo xEof
B. Demostrar:
a) ML: (rye
b) M3: x(yz)=(xy)z, x, z~ oS
©) Ma: Si xy =zy entonces x=2, x,y, 269
d) M5: 1x=x1=x, para todo xegf
C. Demostrar:
a) Di: x(y+z)=xy+xz, con x,y,2€9
b) D2: (y+z)x=yx+zx con x,y,2E9
D. Verificar:
a) [s,m] +[0,n] =[s,m]
b) [s,m]-[0,n] =[0,n]
6) [s,m]+[-s,m] =[0,n]
4) [s,m] +[-s,m] =[0,n]
©) [s,m}-[m,s]=[n,n]
140 Capitulo IV: El Conjunto de los Nimeros Racionales (Q) Teorfa de
Nameros
IV.1.3 | SUSTRACCION Y DIVISION EN oJ Y SUS PROPIEDADES
Se definen a continuacién las operaciones aritméticas de la suma y divisién.
Ademés se enuncian y demuestran las propiedades que estas operaciones
cumplen.
DEFINICION 5: SUSTRACCION DE RACIONALES.
Si x,y eof la sustraccién se define por x—y=x+(-y).
DEFINICION 6: DIVISION DE RACIONALES.
Si x,y €oJ, la division se define por x+y=xy".
Nota: La sustraccién se define como una suma y la divisién como un producto. La
sustraccién y divisién verifican la propiedad de la clausura, pero no la asociativa ni
la conmutativa.
PROPIEDADES DE LA SUSTRACCION Y LA DIVISION EN oJ
TEOREMA 4.
x, oJ, entonces
a) (x-yed
b) (xeyEo
Demostracié:
Sean x,yec§, luego (-y), y’ existen y pertenecen también a of. Como
x-y=x+(-y) y como (x+(-y))eo% entonces (x-y) eof En forma similar,
x+y=ay", como xy of, entonces también (x+y) <
‘Como un ejercicio muy particular, se demuestra que, para todo x #0, y#0
a) x-y#y—x:La resta es no conmutativa.
b) x-(y—z)#(x—y)—z: La resta es no asociativa
Sean xO[s,m], yo[nt], ze[uv] y xelms], -yo[tn], -ze[o,u]
Demostracién:
Parte a) x—y=x+(-y) [s,m] +[-n,t]=[st +(-mm), mt]
Luego, y—x = y+(-x) [n,t]+[-s,m] =[nm-+(-ts), tm], y como en general:
141 Capitulo IV: El Conjunto de los Nimeros Racionales (Q) Teorfa de
Nameros
[st+(-mn),mt]4[nm+(-ts),tm] porque (st-+(-mm), mt) “(nm+(-ts),tm), se
concluye que x-y# y-x. Por lo tanto, la resta no es conmutativa.
Parte b) Se tiene que: x—(y—z)=x+(2—-y)=x+(z+(-y)). Entonces:
x+(z+(-y)) o[s,m]+((u,7]}+[-n,t))
[s,m ]+[ut +(-on), ot]
<9[svt+m(ut+(—vn)), mot ]
[svt + mut —mvn, mot |
Por otro lado: (x-y)-z=(x+(-y))+(-z)
(24) 2) 6 (mp nt) -u)
4 ([st+ (mn), mt) +.
<>[ (st +(-mn))v+(-mtu), mto]
>[s
4,0]
fo — mmo — mtu, mtv]
En general [sot + mut — mon, mot }+[sto—mnv—mtu, mtv] porque:
(svt-+mut—men, mvt) 4 (sto-mnv—mtu,mtv). Por lo tanto, la resta no es
conmutativa.
Nota: Siguiendo la misma estrategia anterior queda como ejercicio demostrar que
la divisién no es asociativa ni conmutativa.
BB @ 1v2|1os ractonates enreros
Se sabe que los ntimeros enteros se pueden expresar como un racional, es lo que
lamamos racionales enteros.
Sea la funcién aplicacién: [,1] «>t, donde [t,1]< of feZ.
Se puede demostrar que dicha funcién es un isomorfismo de un cierto subconjunto
t,1],[s,1],[7/1],..},
podemos reemplazar [s,m], [s,m]eo¥, se lama positivo si y solo si
sm_> 0. El subconjunto de todos los elementos positivos de Q se denota por Q", y
el subconjunto correspondiente de of por ©
DEFINICION 8: NUMERO RACIONAL NEGATIVO
Un elemento yeQ, o sea y<>[n,1] se llama negativo si y solo si sm<0. El
subconjunto de todos los elementos negativos de @ se designa por Q”, y el
subconjunto correspondiente de of por cJ~.
1V.2.1 | RELACION DE ORDEN EN @
Se definiré la relacién de orden en el conjunto de los nuimeros racionales, ademas
se enuncian y demuestran teoremas relacionados con esta relacién.
DEFINICION 9: DE LA RELACION DE ORDEN MENOR QUE
Si x,yeQ, entonces xy siy solo si x-y>0
TEOREMA 5: Si x,y,z €Q entonces:
a) Sixy Ay>z entonces x>z
La demostracién del teorema se hard sin hacer uso de clases de equivalencia.
Demostracién:
Parte a)
Si xyAy>z entonces x-y>0 y-z>0, luego, (x-y)+(y-z)>0+0. Esto
implica que x+((-y)+y)+(-z)>0, como (-y)+y=0 resulta que x+(-z)>0,
entonces x—z>0. Por definicién de menor que, x>z
143, Capitulo IV: El Conjunto de los Nimeros Racionales (Q) oe de
Nameros
IV.2.2 | LEY DE TRICOTOMIA Y PROPIEDAD ARQUIMEDIANA
Se enuncian a continuacién dos propiedades matematicas, no exclusivas de los
niimeros enteros, Ley de Tricotomia y la Propiedad Arquimediana, Ambas
propiedades son de utilidad para ordenar nimeros enteros y encontrar cotas para
un conjunto de ntimeros determinado.
TEOREMA 6: Si x,y y
Demostracién:
Sean x<>[s,m] « y<>[n,t] para s,m,n,t €Z,, por la Propiedad de Tricotomia en Z
se cumple solo una de las siguientes opciones: a) st= mm, b) st mn.
Parte a) Si st=mm entonces (s,m)~(n,t) 0 sea [s,m]=[n,t].
Parte b) Si stmmmt si mt <0.
Si stmt mnmt, entonces stmt—mnmt>0, de donde (st-mn)mt>0, 0 sea
[st—mn, mt] >0, lo cual implica que: [s,m]-[n,t]>0 0 sea [s,m]>[n,t].
Parte ¢) Si st>mmn, entonces, stmt >mnmt si mt>0, 0 bien stmt0.
Si stmt > mnmt , entonces [s,m] <[n,t], y €l teorema queda demostrado.
< somal @ ; . .
Se sabe que un niimero racional * esta es una forma irreducible si y solo si ay b
son primos relativos. Se considera la clase [s,m]ecJ, con s#0. Sea d=(s,m), y
escribimos s=ds, y m=dm,; lo cual implica dsym=dm,s, 0 sea s,m=ms, lo cual
implica (s,m)~(s,,m) y esto a su vez [s,m]=[s,,m] en otras palabras + = =.
mm
Todo lo anterior nos lleva a concluir que cuando consideramos la clase [s,m]eoJ,
esta clase sera considerada como irreducible.
TEOREMA 7: Si x y y son racionales positivos, x+
xy
144 Capitulo IV: El Conjunto de los Nimeros Racionales (Q) Teorfa de
Nameros
Sean xe@[s,m], yo[n,t], con sm>0, nt>0, ademas i xt <[m,s],
x
1 y G[tn]también smnt> 0, luego smnt>0, Io que implica su>0, mt>0 0
y
bien sn <0, mt <0.
Demostracién: (Justifique cada paso de la demostracién en la linea de la derecha)
Si x0 y sn>0
(mn> st)sn, ya que sn>0
mnsn> stsn
mnsn=stsn > 0
(mn-st)sn>0
[mn-st,sn]>0
[ns]+[-t,n]>0
[ms]-[t.n]>0
[ms]
Lo mismo ocurre en el caso sn <0, mt <0.
145 Capitulo IV: El Conjunto de los Ntimeros Racionales (Q) Teor'a de
Nimeros
1V.2.3 | PROPIEDAD DE DENSIDAD DE LOS NUMEROS RACIONALES Y
LA PROPIEDAD ARQUIMEDIANA,
TEOREMA 8: PROPIEDAD DE DENSIDAD DE LOS NUMEROS
RACIONALES
Si x,y €Q, xy, sean
[s,m], yo[tn], cons, m, f, n enteros positives.
Demostraci6
‘Como sn21, entonces 2sn>2 0 sea 2sn>1
Si 2sn>1, entonces 2snmt> mt, ya que mt>0, es decir 2misn> mt, lo que implica
t
)
om(2)>4, y como ©=x,
im) mn
y, entonces 2mt(x)> y, luego podemos tomar
p=2mt y el teorema queda resuelto.
IV.2.4 | DEMOSTRACION DE PROPIEDADES
TEOREMA 10.
Demostrar: si x,y,z ¢Q, entonces, x+z>y+z siy solo si x>y.
146 Capitulo IV: El Conjunto de los Ntimeros Racionales (Q) Teor'a de
Nimeros
Parte a) si x+-z>y+z entonces x> y.
Demostra
1) Six+z>y-tz, entonces (x+z)-(y+z)>0, por definicién de> en Q
2) (x+z)+(-y-z)>0
3) [x+(-y)]+[2+()]>0 Por A2 Y A3en Q
4) x+(-y)+0>0 Por Aé en Q
5) x+(-y)>0 Por A5en @
6) x-y>0 Por definicién de sustraccién en Q
2 oxry Por definicién de> en Q
Parte b) Si x>y, entonces x+z>y+z.(Se invierten los pasos de la parte a),
justifique los pasos)
1) six>y, entonces x-y>0
2) x+(-y)>0
3) x+(-y)+0>0
4) [x+(-y)]+[2+(-)]>0
5) (x+z)+(-y-z)>0
6) (xtz)-(y+z)>0
7) x+z>y+z.
TEOREMA 11.
Si x,y,zeQ, Si z>0; x2z> yz siy solosi x>y.
Sean xo[s,m], yoltn],ze[ue] con w>0 sean xzeo[so-+mu,mo];
yzo [nv +tu,to]
Demostracién: (Justifique los pasos)
1) xz>yz siy solo si [sv-+mu,mv] > [no +tu, to]
2) <[sv+tu,mvo]+[-(nv + tu), to] >0
3) <9[(sv+mu)to—mo(nv+tu),moto]>0
4) <>((sv+mu)tv—mo(nv + tu)) mote >0
5) <>(soto + muto—monv + motu) moto > 0
6) <>(soto—monv) moto >0
147 Capitulo IV: El Conjunto de los Ntimeros Racionales (Q)
7) <(soto-monv)mt > 0, ya que v* >0
8) <(st-mn)v'mt>0
9) <>(st-mn)mt>0 ya que v7 >0
10) 0
11) <9[s,m]+[-n,t]>0
12) <>[s,m]-[n,t]>0
13) <>[s,m]>[n,t]
Wyoxry
TEOREMA 12.
Si x,y,z€Q, Si z<0; xz> yz siy solo si x yz siy solo si x(-(-z))> y(-(-z))
2) <(-x)(-2)>(-¥)(
3) -x>-y, ya que -z>0
4) @-x-(-y)>0
5) xty>0
6) oy+(-x)>0
7) oy>x
8) ox y y y es cerrado con respecto a la adicién, pero no con respecto a la
multiplicacién
b) Si [s,m] q77, también [s,m] €
D.Demostrar que:
Si x,yeQ, 0 entonces x=0 0 y=0
E, Demostrar: si x,y ¢Q entonces
a) ~(xty)=—e-y
b) -(-x)=x
F, Demostrar: si x,y,z€Q
a) xtz0, xzy
Demostrar:
Si w,x,y,z€Q, x20,
a) (w+x)-( ‘wz —xy)+3xz
H.Demostrar:
Si w,x,y,2€Q, x20, entonces (w+x)+(y+z
I. Demostrar:
a) SiabeQ", aab>b?
149 Capitulo IV: El Conjunto de los Ntimeros Racionales (Q) Teor'a de
Néimeros
i i IV.3 | REPRESENTACION DECIMAL
Se sabe que todo niimero racional se puede expresar como un decimal, y a su vez,
los decimales son de dos tipos, decimal exacto y decimal inexacto; y los inexactos
se clasifican en periédicos puros y periédicos mixtos.
Ejemplo1 | Forma decimal de nimeros racionales
5, decimal exacto.
b) 2 = 3.3333..., decimal inexacto, periddico.
643,
9
300
2.143333..., decimal inexacto, periddico.
Se veré un procedimiento que permite hallar la representacién decimal de
cualquier némero racional, utilizando el algoritmo de la divisién.
Procedimiento:
Sea el racional positivo , con b > 0. Se tiene que:
a=qb+%, OS,
You might also like
- The Subtle Art of Not Giving a F*ck: A Counterintuitive Approach to Living a Good LifeFrom EverandThe Subtle Art of Not Giving a F*ck: A Counterintuitive Approach to Living a Good LifeRating: 4 out of 5 stars4/5 (5814)
- The 7 Habits of Highly Effective PeopleFrom EverandThe 7 Habits of Highly Effective PeopleRating: 4 out of 5 stars4/5 (353)
- The 7 Habits of Highly Effective People Personal WorkbookFrom EverandThe 7 Habits of Highly Effective People Personal WorkbookRating: 4 out of 5 stars4/5 (2515)
- The Odyssey: (The Stephen Mitchell Translation)From EverandThe Odyssey: (The Stephen Mitchell Translation)Rating: 4 out of 5 stars4/5 (7770)
- The Subtle Art of Not Giving a F*ck: A Counterintuitive Approach to Living a Good LifeFrom EverandThe Subtle Art of Not Giving a F*ck: A Counterintuitive Approach to Living a Good LifeRating: 4.5 out of 5 stars4.5/5 (20101)
- How to Win Friends and Influence People: Updated For the Next Generation of LeadersFrom EverandHow to Win Friends and Influence People: Updated For the Next Generation of LeadersRating: 4 out of 5 stars4/5 (2340)
- Pride and Prejudice: Bestsellers and famous BooksFrom EverandPride and Prejudice: Bestsellers and famous BooksRating: 4.5 out of 5 stars4.5/5 (20479)
- Never Split the Difference: Negotiating As If Your Life Depended On ItFrom EverandNever Split the Difference: Negotiating As If Your Life Depended On ItRating: 4.5 out of 5 stars4.5/5 (3312)
- Wuthering Heights Complete Text with ExtrasFrom EverandWuthering Heights Complete Text with ExtrasRating: 4 out of 5 stars4/5 (9955)
- The Picture of Dorian Gray (The Original 1890 Uncensored Edition + The Expanded and Revised 1891 Edition)From EverandThe Picture of Dorian Gray (The Original 1890 Uncensored Edition + The Expanded and Revised 1891 Edition)Rating: 4 out of 5 stars4/5 (9054)
- Art of War: The Definitive Interpretation of Sun Tzu's Classic Book of StrategyFrom EverandArt of War: The Definitive Interpretation of Sun Tzu's Classic Book of StrategyRating: 4 out of 5 stars4/5 (3321)
- Anna Karenina: Bestsellers and famous BooksFrom EverandAnna Karenina: Bestsellers and famous BooksRating: 4 out of 5 stars4/5 (7503)
- Wuthering Heights (Seasons Edition -- Winter)From EverandWuthering Heights (Seasons Edition -- Winter)Rating: 4 out of 5 stars4/5 (9975)
- Habit 1 Be Proactive: The Habit of ChoiceFrom EverandHabit 1 Be Proactive: The Habit of ChoiceRating: 4 out of 5 stars4/5 (2559)
- Habit 3 Put First Things First: The Habit of Integrity and ExecutionFrom EverandHabit 3 Put First Things First: The Habit of Integrity and ExecutionRating: 4 out of 5 stars4/5 (2507)
- Habit 6 Synergize: The Habit of Creative CooperationFrom EverandHabit 6 Synergize: The Habit of Creative CooperationRating: 4 out of 5 stars4/5 (2499)
- How To Win Friends And Influence PeopleFrom EverandHow To Win Friends And Influence PeopleRating: 4.5 out of 5 stars4.5/5 (6698)
- American Gods: The Tenth Anniversary EditionFrom EverandAmerican Gods: The Tenth Anniversary EditionRating: 4 out of 5 stars4/5 (12956)
- The 7 Habits of Highly Effective PeopleFrom EverandThe 7 Habits of Highly Effective PeopleRating: 4 out of 5 stars4/5 (2571)
- The Iliad: A New Translation by Caroline AlexanderFrom EverandThe Iliad: A New Translation by Caroline AlexanderRating: 4 out of 5 stars4/5 (5734)
- The Picture of Dorian Gray: Classic Tales EditionFrom EverandThe Picture of Dorian Gray: Classic Tales EditionRating: 4 out of 5 stars4/5 (9765)
