Scribd
Cargar
7 vistas14 páginas

Tema 5.números Racionales

Tema 1 al 5 de oposiciones secundaria de matemáticas

Cargado por

sergio.drp
Derechos de autor
© All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF o lee en línea desde Scribd
7 vistas14 páginas

Tema 5.números Racionales

Tema 1 al 5 de oposiciones secundaria de matemáticas

Cargado por

sergio.drp
Derechos de autor
© All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF o lee en línea desde Scribd
a = — Ss co = = oa e Ss eS Teta} Volumen 1. Matemdticas NDICE SISTEMATICO INTRODUCCION 2. _ EL CONJUNTO DE LOS NUMEROS RACIONALES 3. REPRESENTACION GEOMETRICA DE LOS NUMEROS RACIONALES 3.1. Representacién gréfica de las clases de equivalencia 4. ADICION DE NUMEROS RACIONALES: 4.1, Propiedades de la adicion de nimeros racionales $. MULTIPLICACION DE NUMEROS RACIONALES 5.1, Propiedades de la multiplicaciOn de nlimeros racionales 6. EL CUERPO DE LOS NUMEROS RACIONALES 7. ORDEN EN EL CUERPO DE LOS NUMEROS RACIONALES: 7.1. Relacién de orden en cl cuerpo de los mimeros racionales 7.2. Propiedades de la ordenacién en Q & VALOR ABSOLUTO DE LOS NUMEROS RACIONALES 9, LOS NUMEROS RACIONALES COMO AMPLIACION DE LOS ENTEROS 10, EL CONJUNTO DE LOS NUMEROS RACIONALES ES NUMERABLE 100 CUERPO DE PROFESORES DE ENSENANZA SECUNDARIA. El mimero racional 1, INTRODUCCION Las fracciones, o némeros racionales, son més antiguas que los nimeros negativos. Aparecen en los ‘mais antiguos textos matematicos y fueron discutidos extensamente nada menos que en el afio 1550 a.C. en el papiro Rhind de Egipto. El modo actual de escribir las fracciones (por ejemplo 2/3, 5/6, 4/17) y también el modo actual de hacer aritmética con ellas datan de los siglos XV y XVI. Enel dominio de integridad (Z,+,)de los nimeros enteros no existe solucién de la ecuaciGn ax = b, a # 0,a,b € Z salvo en el caso particular de que a sea un divisor de b. Es por ello que para encontrar una solucién a la misma en todos los casos debemos ampliar el conjunto de los enteros. Primeramente exten- deremos Z y con posterioridad estructuraremos el nuevo conjunto obtenido. 2. EL CONJUNTO DE LOS NUMEROS RACIONALES En Z la operacién inversa de Ja multiplicacién, la divisidn, no es siempre posible. Vamos pues a ex- tender Z por el procedimiento de simetrizacion aplicado a la multiplicacién. ‘Todos los elementos de Z no son regulares; suprimamos el elemento no regular 0 y sea Z* el nuevo conjunto obtenido, es decir, el conjunto de todos los enteros excepto el cero. Consideremos Z x Z* , decir los pares (a,b) donde a € Z y b € Z*. Este par se denomina fraccién y se escribe usualmente a/b, donde a ¢s el numerador y b el denominador. En este conjunto consideremos la relacién R definida del siguiente modo: (ab) R (6.4) significa que a-d=b-e, Demostraremos que R asi definida es una relacién de equivalencia, para lo que debe cumplir las pro piedades reflexiva, simétrica y transitiva: — _ Reflexiva: Para todo (a,b) perteneciente a Z x Z*, se verifica que (a,b) R (a,b. Esto es evidente ya que a - b= b - a, baséndonos en la propiedad conmutativa del conjunto de los niimeros enteros. Dicho de otra manera, toda fraccién es equivalente a si misma. — Simétrica; Para todos (a,b), (c,d), pertenecientes a Z x Z* si (a,b) R (c,d), entonces (c,d) R (a,b). En efecto si (a,b) R (c,d), se verifica que a-d=b - c, que es lo mismo que escribir quec-b=d-a (aplicando Ia propiedad conmutativa de los enteros), lo cual equivale a que (c,d) R (a,b). — _ Transitiva: Para todos (a,b), (c,d), (¢,1), pertenecientes a Z x Z* si (a,b) R (6,4), y (c,d) R (ed, entonces (2,b) R (e,0). En efecto si (a,b) R (c,d) y (ed) R (¢,), se verifica quea-d=b-eye-f=d-e. Entoncesa-d-f= =b-c-f=b-d-e, dedondea:d-f=b-d-ey porserd # Oal perienccer aZ* y Z dominio de in- tegridad, si dividimos por d ambos miembros de la igualdad nos queda a’ f= e, lo que equiva- lea (a,b) R (ef). Por tanto R al ser una relacién de equivalencia produce en Z x Z* una clasificacién en clases de equivalencia. Al conjunto Z x Z*/R, le Ilamaremos conjunto de los niimeros racionales y lo denotaremos por Q, Se Hama namero racional a cada una de las clases de equivalencia, Designamos por (i a la clase que contiene al elemento (a,b) € Z x Z* y por = .un representante del niimero racional o clase fel ‘Veamos algunas propiedades inmediatas de la definicién de nimero racional. ach 5 ‘, a in 1. Sih es um nimera entero distinto de cero, entonces ~ R + Proposi Para que esto ocurra es necesario que se cumplan dos cosas a) a-b-h=b-a-h, cosa cierta aplicando la conmutatividad de los enteros. b) b-h #0, que también ocurre al ser b + Oy h # 0 (Z dominio de integridad), TEMARIO DE MATEMATICAS. PRUEBA A lol Volumen I. Matematicas 102 CONSECUENCIAS Todo mimero racional tiene representantes con denominador positivo. En efecto, a sea ¢ con b perteneciente alos enteros negativos un representante de un nero racional Entonces, aplicando la proposicién 1, y multiplicando por -1 el numerador y denominador de dicho representante, tendremos que a a(-l)_a! A . BR bean promo [Link] enters positives en viru dela roga dels signos de 7. Dados dos mimeros racionales siempre tienen representantes con el mismo denominador positivo. En efecto, acc j sean ¢ y {representantes de dos mimeros racionales el que m.c-m.(b,d) = m; entonces m=b~b’, m= dd’, siendo b’ y d’ primos entre si. avab oa ci cd ¢' Entonces — R —— — bb mda Por lo tanto hemos encontrado dos representantes de dichos nimeros racionales que tienen el mismo denominador (m), siendo sus numeradores niimeros enteros por la propiedad de la operacién interna del producto en Z. Esto equivale en el lenguaje matemético tradicional a decir que, dados dos nimeros racionales, siem- pre es posible encontrar representantes de los mismos que tienen el mismo denominador (reducir a comin denominador). m Dados dos ntimeros racionales cualesquiera siempre es posible encontrar representantes con el mis- ‘mo numerador positivo (Esto equivale a calcular el menor numerador comin y la demostracién es equivalente a la consecuencia 2). a . Todo mimero racional tiene un representante + tal que a y b son primos entre si En efecto, un representante de un néimero racional @ y a-dyb’=b> 4d, donde a y b son primos entre si ‘Aceste representante se le Hama fraccién ieducible y se adopta por representante canénico de un ni- ‘mero racional, a su representante que sea fraccién irreducible con denominador positive. Todas las fracciones de la clase & son de la forma e siendo n - fraccién irreducible de dicha clasey pun entero cualquiera de Z* a b Pero aes primo con b y divide aa, b, por lo que debe dividir a a; (Teorema de Euclides). pe, pb" a n representante cualquiera de Ia clase a; entonces {+ R Fes decir a,-b= bya -b, de donde * Por lo tanto se tiene quea, = pa y b, b, CUERPO DE PROFESORES DE ENSENANZA SECUNDARIA El miimero racional 0 Proposicin 2. Las fracciones del tipo forman una clase, es decir, un nimero racional. En efecto Ona Re cauivale a que 0-c=b 20 seab-a=0y como b+ 0, obligatoriamente a= 0. © El conjunto de todas las fracciones con el numerador nulo es el niimero racional cero. (Para ser frac- cién se presupone que el denominador es un entero distinto de cero) scp ; a ‘ Proposicién 3. Las fracciones de la forma ~, constituyen una clase, es decir, un nimero racional, a En efecto, =o. a,b. = R= equivale a que a“ ¢=a-b, con lo que al sera # 0 entonces ae El conjunto de todas las fracciones con igual numerador que denominador forman el niimero racional uno, 3. REPRESENTACION GEOMETRICA DE LOS NUMEROS RACIONALES Sobre una recta tomemos un punto © como origen que representa a la clase {0}. Elijamos un segmen- to como unidad de longitud y Hevémoslo sucesivamente tanto a derecha como a izquierda. Los puntos de divisi6n representan los nimeros enteros, los positivos a la derecha de O y los negativos a la izquierda, Figura | 43° 2 oot 2 3 4 i a Para representar las fracciones de denominador n, es decir, funciones de la clase fe} dividimos cada n uuno de los segmentos de longitud unidad en n partes iguales, y se leva (ala derecha o ala izquierda, segin proceda) a veces n. Existe una forma geométrica de dividir la unidad en n partes. Esta consiste en trazar un segmento au- xiliar con origen en el origen de Ia unidad y dibujar en ese segmento n partes iguales. Después se une el fi nal de ese segmento con el final de la unidad y se trazan rectas paralelas a ella, ; . 1 Los puntos donde estas rectas corten a la unidad estardn distanciados en — a 3 Como ejemplo representaremos el nimeroracional = Figura 2. o vs sas 1 Dados dos nfimeros racionales, siempre el mayor esté a la derecha del menor. La propiedad mas nota- ble de este conjunto de puntos es que es denso en toda la recta; esto quiere decir que hay siempre infinitos puntos racionales interiores a todo intervalo, por pequeiio que sea. TEMARIO DE MATEMATICAS. PRUEBA A 103 Volumen 1. Mateméticas 3.1. Representacién grafica de las clases de equivalencia Si representamos en forma cartesiana el conjunto Z x Z*, de forma que Z esté situado en el eje horizontal y Z* en el eje vertical, todo elemento (a,b) € Z x Z* vendra determinado por un punto del plano, salvo los puntos pertenecientes al eje hori- zontal ya que 0 € Z* no puede tomarse dicho valor en el eje vertical. Como Q= ZxZ*/R, cada una de sus clases de equivalen- cia (0 lo que es lo mismo, cada nimero racional) vendra deter- minada por una recta que pasa por el origen pero sin contenerlo. De todos los puntos del producto cartesiano (representantes de cada miimero racional), el que esté més cerca del origen seré el representante canénico de esa clase de equivalencia. Asi: Q: sel haz de lineas que pasan por el origen sin con- tenerlo Zx Z*:Puntos del plano, representantes de cada clase de equivalencia o recta (mimero racional) en la que estin contenidos. Figura 3. 4. ADICION DE NUMEROS RACIONALES Sean a y f dos nimeros racionales y aa sean + y+, dos representantes (fracciones) de dichos nimeros, a ara Formemos el nimero racional { J votse que bb’ # Oalserb # Oy b’# 0). ‘Comprobaremos que tomando otros representantes de esos niimeros racionales el nimero racional formado es el mismo. Sean 2 y? otros representantes de los nimeros racionales cy f qq ep Formemos el nmero racional al igual que en el parrafo anterior [awe st } ‘Comprobaremos que este niimero asi obtenido es representante de la misma clase de equivalencia que el primero, Al serby © representantes de cr se verifica que a-q=b-p(I)y 4 at al seriye representantes de f se verifica que a” q abtta'b , patria bb’ aa Para que esto ocurra se debera cumplir que (a’b + ab) - gq ‘Tendremos que demostrar que bb’ - (pq’ + p’a) Desarrollando: a’bqq’ + ab’ qq’ = bb’ pq’ + bb’ p" Si aplicamos (1) y (2), llegamos a bb’ p’ bq + bpb’ q’ = bb’ pq’ + bb’ p’ igualdad que es evidente, 104 CUERPO DE PROFESORES DE ENSENANZA SECUNDARIA El mimero racional ab'ta'b bb’ ‘A este nfimero se le llama suma de a con f (en este orden) y se denota por @ +8, y a la operacién de atribuir a cada dos niimeros racionales su suma, se Ie lama adicion de nameros racionales, Asi, cl simer{ tenis a partir dey 8, no depende de los representantes clegidos dec y B. 4.1. Propiedades de la adicién de niimeros racionales Comprobaremos que la adicién de mimeros racionales tiene las mismas propiedades que la adicién de enteros, que son las que caracterizan a los grupos conmutativos o abelianos. Para facilitar la demostracion de tas propiedades que enumeraremos y basandonos en la uniformidad de la adicién (la suma no depende del representante clegido), operaremos con representantes de las clases de igual denominador. Apliquemos a los mismos la definicién de suma. ‘Tomemos pues dos fracciones con el mismo denominador ab oe y le aplicamos la definicién de suma,con lo que nos queda actbe ce Si aplicamos la proposicién 1 y simplificamos el numerador y denominador por c, la fraccién que nos queda es atb c Por lo tanto podemos afirmar que para sumar fracciones que tienen el mismo denominador basta con sumar los numeradores y dejar ese denominador. — Operacién interna. Se cumple por la propia definicién de la adicién al quedarnos el denomina- dor distinto de cero. ~ Propiedad asociativa, Dados tres niimeros racionales arbitrarios a, 8, y y se verifica que at+Bry)=@tpty one ob Entonces: work (bth te} E9) “fe29-Fh EGG) Para realizar las operaciones anteriores nos hemos basado en Ia asociatividad del conjunto de Ios enteros, — Propiedad conmutativa. Dados dos niimeros racionales arbitrarios cy se verifica quea +B = =Bta. Si utilizamos las mismas fracciones que en la propiedad asociativa, y aplicando la conmiutativie dad de los niimeros enteros, tendremos que: wrdeGbEe)-C)-E)Gbee TEMARIO DE MATEMATICAS. PRUEBA A 105 Volumen 1. Mateméticas — Elemento neutro. Habri que demostrar la existencia de un nmero racional w, tal quea + =o +a@=a, cualesquiera que sea a. Por verificarse la propiedad conmutativa bastara probar la exis- tencia s6lo por un lado. a Seaa = hy tomamos deo = (i un representante con el mismo denominador que @. Si aplicamos la igualdad por Ia derecha, tendremos que ovo= life) Para que se verifique esta tltima igualdad debe cumplirse que a+ z= a de donde z= 0. o ‘ 5 Asi pues @ = {eh que segin la proposicién 2 es el niimero racional cero, — Elemento simétrico. Dado un niimero racional a, s¢ trata de ver si existe otro némero racional =a que llamaremos opuesto o simétrico dea de forma que a + (-a )=(-@) + a= 0(siendo 0el elemento neutro de la suma). ‘Al cumplirse la propiedad conmutativa bastaré probar Ia existencia por un solo lado. Seaa= fe} y tomamos de— @= fs} tun representante con el mismo denominador que a. Si aplicamos la igualdad de la derecha tendremos que atcay= {tha {stq fatet. 19 C@= Tet le I Te Para que se verifique esta tltima igualdad debe cumplirse que a+ x , de donde x =a, ‘Asi, un representante del opuesto de a = {ear ft Por cumplir las anteriores propiedades el conjunto Q de los nimeros racionales es un grupo abeliano aditivo, Se representa por (Q,+). ‘Asi, dados dos niimeros racionales y f al ser Q un grupo aditivo, la ecuacién +x = siempre ad- mite solucién en Q, pues sumando ~ a a ambos miembros, tendriamos -a)+B ~ 0+x=(-a)+f > x= 6+(-a) (-a)tatx Alnimero 6+(—a) se le lama diferencia entre B y a, y se representa por — at. Pacilmente se puede ver que la operaciGn diferencia es una operacién interna en Q, pero que no cumple la propiedad conmutativa 5. MULTIPLICACION DE NUMEROS RACIONALES Sean a y 8 dos mimeros racionales. a a’ Tomemos arbitrariamente las fracciones | Ea y + € Bry consideremos el nuevo nimero racional a {e2} Jo cual tiene sentido al ser b - b' # 0 Es inmediato comprobar que por este mecanismo se obtiene un niimero racional independiente de las fracciones tomadas en y B. A este racional le llamaremos producto de a por (en este orden) y le denota- remos por a. A la operacion de atribuir a cada par de miimeros racionales su producto, le llamaremos multiplicacién de némeros racionales. 106 CUERPO DE PROFESORES DE ENSENANZA SECUNDARIA El ntimero racional 5.1. Propiedades de la muttiplicacién de nimeros racionales Operacién interna. Para todo par de nimeros racionales @ y 8, su producto también es racional, Esto es evidente por la propia definicién del producto al ser el denominador distinto de cero y tener la propiedad uniforme de no depender dicha definicion de las fracciones escogidas. Propiedad asociativa wn Entonces se verifica que a -(B-y) =(a-B)-y ;f tres mimeros racionales arbitrarios oro) EIRH [e-em Hemos aplicado 1a propiedad asociativa del conjunto de los enteros. Propiedad conmutativa. Seana = {eh y B= { el dos némeros racionales cualesquiera. Entonces se verifica que ct -B=B -a ti} Tel Hemos aplicado la propiedad conmutativa del conjunto de los enteros. En efecto ya que a-p= Elemento neutro o unidac a . Dado un némero racional a = fe} se trata de ver si existe un racional u = {} tal que v a-usua=a Por verificarse la propiedad conmutativa, bastara probar su existencia por un lado. Si existe u, se verificara que ow Gt Para que esto oourra se verificaré quea -u~b=b + v-a 0 lo que es lo mismo u Asiel elemento neutro del producto seré la clase de fracciones que tienen el numeradory el de- . u 1 ‘4 ae * + nominador igual u = /-"}= 4; ry que segii la proposicién 3 es el nimero racional uno, A partir de ahora lo Hlamaremos 1. Elemento simétrico o inverso. ai B , a ; Dado un niimero racional a {2tsen de ver si existe un racional { jin quea-a@ Por verificarse la propiedad conmutativa, bastard probar su existencia por un lado, TEMARIO DE MATEMATICAS. PRUEBA A 107 Volumen 1. Matemdticas test th + b! Bsta ecuacin se verifica para’ = by b Si existe a , se verificaré que a +a"! = { Para que esto ocurra se verificaré quea +a ; ali. fb ¥ Asi pues el inverso de un niimero racional {else =}. Pero para que esto ocurra, es necesario a quea # 0, ya que sino este iltimo niimero no seria racional. Asi pues esto nos asegura la exis- tencia de inverso para todo nmero de Q, excepto para el 0. Si amamos Q* = Q~ {0}, el conjunto Q* con la operacién de multiplicar es un grupo abeliano, mientras que Q con dicha operacién es un semigrupo abeliano con elemento unidad. Relacionando la suma y la multiplicacién se verifica al igual que en el conjunto de los enteros la — Propiedad distributiva de la multiplicacién respecto a la adicién. Sean a= {eh p= {5} y= {} es nimeros racionales arbitrarios. Entonees se verifica que a: (8 +7) En efecto ya que coef EH IE GEESE] ~fesz}er} fea) EL EI EH gh eer 6. EL CUERPO DE LOS NUMEROS RACIONALES ‘Cuando en un conjunto tal como el Q se han definido dos operaciones binarias como la adicién y mul- tiplicacién de racionales, que cumplen las propiedades enumeradas anteriormente, se dice que se ha dado a ese conjunto la estructura algebraica de cuerpo conmutativo. En Q la operacién de restar siempre es posible: restar del nimero racional ct el mimero racional B, significaré, por definicién, sumar acon el opuesto de f. Anélogamente dividir el racional a entre el racio- nal B, supuesto f # 0, significaré multiplicar a por el inverso de . Asi podemos decir que cualesquiera que sean los nameros racionales a # 0 y B, la ecuacién a « x = tiene siempre solucién nica en Q. En efecto si a - x =, multiplicamos ambos miembros por @”', quedando =a-pra-y. fe pe eee bb J > Lb: bb" at axa -Bolx=at-pox=a'-B Veremos que la soluci6n es nica, Para ello supongamos que existen dos soluciones distintas x, y x2. Por ser soluciones se verificard que ct- x,= By a: x, = B. Al ser iguales los segundos miembros serin también iguales los primeros. Asi a - x, = @° x,. Si multiplicamos ambos miembros por a! tendremos: a) ax sa) am > l= 1m ex =H Asi la solucién debe ser tinica. 7. ORDEN EN EL CUERPO DE LOS NUMEROS RACIONALES. ‘Vamos a establecer una relacin de orden total en Q. Esta ha de ser compatible con la definida en Z al considerar Z, un subconjunto de Q. Definicién. Se dice que un néimero racional a Jesposiv, cuandoa -b Z* (0 lo que es lo mismoa b> 0). Evidentemente esta definicién no depende del representante elegido. En caso contrario, esto es sia-b €Z* y a Odiremos que « es racional negativo. 108 CUERPO DE PROFESORES DE ENSENANZA SECUNDARIA El mimero racional Proposicién. Sea Q” el subconjunto de Q formado por los racionales positivos. Entonces: a) 0¢Q* 'b) Para todo @ € Q se verifica una de las propiedades: @ EQ’ ,a= 0,0-aEQ ©) Dados dos racionales a, € Q*, tanto su suma como su producto pertenecen a Q’. Demostraremos las tres propiedades. oO a) Si0= {2 evidentomene 0- 1=0, con Jo que no cumple ser mayor que cero. Asi 0;no pertenece aQ. b) Seaa= {el un elemento de Q. Por ser Z ordenado y poseer la propiedad de tricotomia se verifi- can una de las tres condiciones: a-b>0,0a-b=0,0a-b<0. Sia: b>0, entonces ¢ EQ’. ; 0} _ fo Sia-b=0, como b # 0, obligatoriamente a= Oy a= {i = (i = 0(adimero racional cero, segiin la proposicién 2). Sia-b 0, con lo que-a € Q*. A estos niimeros se les llaman raciona- les negativos y su conjunto se denota por Q, * c) Seana = E} yB= {2 os niimeros racionales pertenecientes a Q’, por lo que se verifica que a-b>Oya’b’>0, 7 -B'+ bea’ Si ealizamos su suma tendremos a + = |" Para que pertenezca a Q", debe cumplirse (a-b’ + b- a’) bb’ > 0. Realizando operaciones tendremos a“ b“b- b'+b-a'b-b'= a-b-(b)” +b? -a'b'> 0 Esto es evidente ya que a-b>0,(b')">0,b? > 0 y a'-b'> Oy la suma y producto de ntimeros en- {eros positivos es positive. Si realizamos su producto @- B= {ee} Para que sea racional positivo debe cumplirse quea -a'-b- b'> 0. Si aplicamos la conmutat dad en Z, tendremos que debe cumplirse a - b-a'- b'> Oalgo que evidentemente se cumple al ser a: b>Oy ab'>0 Podemos pues afirmar que dado un nimero racional o ¢s racional positivo, o cero o racional ne- gativo. Asi Q= Q* U{o}UQ 7.1. Relacién de orden en el cuerpo de los niimeros racionales Dados dos nfimeros racionales @ y f, definimos la relacién < (menor o igual) y decimos quea < B (a es menor o igual que) si—a 2 0. Si se cumple que @ = B, pademos decir que = a (f es mayor o igual que @). Se define también la relacién < (menor) y se dice quea 0. Veremos que asi definida la relacién < es una relacién de orden al cumplir las propiedades: — Reflexiva. Para todo nimero racional se verifica que a B-aty-B20 + y-a20 + asy Larelacién = asi definida es ademas de orden total pues todos los nimeros racionales son com- parables por dicha relacién. En consecuencia Q con la relacién < es un conjunto totalmente or- denado y podemos representarlo mediante una cadena, que adems es un reticulo (conjunto ordenado tal que para cualquier par de elementos x ¢ y pertenecientes al mismo, siempre existe el supremo y el infimo del conjunto {x, yp). 7.2. Propiedades de la ordenacién en Q 1, Larelacién de orden < es compatible con la suma. Sia < B, cualquiera que sea y, se cumple quea +y < B +. En efecto sia < f se cumple quef~a = 0. Sise cumpliera quea + < B + 7, tendria que ocurrir que@ty)-(a@+y)20 > Bty-a-y20 > B—a = Ocosaqucevidentemente se cumple La compatibilidad de la relacién de orden < con la suma podemos generalizarla de la siguiente for- [Link] < Byy < 6, entoncesaty = B +6. En efecto sia < By le aplicamos la primera propiedad con y, tendremos quea+y < B +7. Andlogamente si < 6 y le aplicamos la primera propiedad con 6, tendremos que +y < B +d. Si aplicamos la propiedad transitiva de la relacidn <, tendremos que a +y < B + 6 [Link] que queriamos llegar. Por tanto (Q, +, =) es un grupo aditivo ordenado, Se denomina grupo aditivo ordenado de los niime- 10s racionales. 2. Larelacién de orden < no es siempre compatible con el producto. (Sélo se conserva si se multiplica por un numero racional positivo). Sia < B, se verificara quea: y 5 B-ysiyEQ’y a: y= B-ysiyeD Demostraremos la primera ¢ indicaremos cémo hacer la segunda, Para ello utilizaremos los represen- tantes de los nimeros racionales con el mismo denominador y positivo. i= y= a b- Por sera < BseverificaB-a 20 > f- fl. {ols oasipuesd: (6-2) Oy al ser d>0, obligatoriamente (b—a) > 0. Queremos ver ahora quea + y $ By siendoy € Q’, con lo que c>0. b| fe a c Pan eon secon 5} -}-[2h 0 ace) : b Si operamos, tendremos{ <} -{ 10 CUERPO DE PROFESORES DE ENSENANZA SECUNDARIA El niimero racional con lo que debe cumplirse que c (ba) d” 2 0 que resulta evidente al ser c>0,d°> Oy (b—a) > 0. La demostracién de la segunda se hace de forma andloga tomando ¢ <0. 3. En Q se verifica la propiedad arquimediana, es decir, dados los niimeros racionales a > 0 y f cual- quier numero racional, existe siempre ua nimero natural n, tal quent >. Lanotacién na signifi- (he {a} cafnpa 1 De la hip6tesis a > 0, se deduce entonces que a> 0. En virtud de las propiedades del orden en Z y de la propiedad arquimediana de los nimeros naturales existe un numero natural n tal queb B. 4, Densidad del orden. Sia y f son dos niimeros racionales tales que < f, entonces existe otro numero racional y tal quea < y' 0, se llaman positivos; los niimeros tal que < 0 se llaman nega- tivos y son justamente los opuestos de los positivos. El nimero 0 no se considera ni positivo ni negative, Llamaremos valor absoluto del nimero racional_al racional no negativo |a| = sup(at, -«), Se com- prende entonces que sia > 0, ja|=a; siesa <0, sera a|=—a.,y finalmente \a|=0 siy sélo sia =0, Es claro Por otra parte que |-a| = la cualquiera que sea a, Las propiedades que posee la aplicacién valor absoluto son las mismas que verificaba el valor absoluto en Z, que son las siguientes: (para cualesquiera niameros ra- cionales a y 8) lL lazo 2. lal=Osiy sélosia=0 3. a +B) [al + [Bl (A esta propiedad se le llama desigualdad triangular) 4 la Bl=lalB) Las dos primeras propiedades resultan evidentes por la propia definicién del valor absoluto. Para de- ‘mostrar la tercera observemos que se tiene siempre que a < {a en efecto, sic > 0 esta desigualdad se escri- bea < a, lo que es evidente por cumplir la propiedad reflexiva; sia < 0, la desigualdad se escribe a = ct, es decir -c ~ (-a) 2 0, luego —2a = 0. (Evidente al ser a < 0), Sustituyendo c por -cr, se tiene igualmente cualquiera que sea.c, la desigualdad-a < jal, o bien |-a| = a. Considerando las dos desigualdades, tendremos ~|a| < a < lal y8| OyB>0,a-f> Oy tendremos la - 6) =a B =|a\ - b) Sia0,a-8<0con lo que |a -|=-a 8 =(-a)-B =|al:B| ©) Sia<0yf<0,a-B> Oy tendremos fa -B|= a B= (-a)-(-A)=\a\- 9, LOS NUMEROS RACIONALES COMO AMPLIACION DE LOS ENTEROS El conjunto de los ntimeros racionales contiene un subconjunto que es isomorfo, algebraicamente y en ‘cuanto al orden, al conjunto de los ndimeros enteros, es decir, existe un subconjunto de Q* de Q, formado por las clases - conn € Z, tal que podemos establecer una aplicacion biyectiva f: Z > Q* definida por f{n) = fi , tal que fn +m) = f{n) + fm) y flm -n) = f{m) fin) y ademés conserve las estructuras de orden. Este conjunto Q*=Q- {0} Comprobaremos que es biyectiva, Para ello veremos que es sobreyectiva ¢ inyectiva. a En efecto es sobreyectiva ya que para todo elemento de Q*, {} existe n perteneciente a Z, tal que mf) m| fn ‘También es inyectiva ya que sim # n, entonces f{m) # f{n), al ser distintas las clases {rly {A}. m es distinto de n. Vemos también que f (m+n) = ae } fhe {a}. #(m)+£(n) yque foun) = {2} -{.f} = t(m)- f(a) z Asi pues la aplicacién fasi definida es un isomorfismo. Por iiltimo veremos que conserva las estructuras de orden ya que sim

También podría gustarte