Conjuntos En este capitulo daremos una introduccién basica de la teoria de conjuntos. Sa- bemos que esta representa la piedra angular de la matematica actual, pues con ella se inicia el estudio de las disciplinas matemiticas tradicionales. Desde siglos pasados, los matematicos han considerado conjuntos de objetos de uno u otro tipo: y las nociones actuales de la teoria de conjuntos consideran atin una gran cantidad de aquellos argumentos clasicos. Fue George Cantor, quien a finales siglo XIX convirtié a los conjuntos en el ob- jeto principal de la matemética, pero fue su estudio de los conjuntos infinitos su paso mas osado en la teoria de conjuntos. Estos conceptos no fueron aceptados inmediatamente por la comunidad matemética de la época, sin embargo, en la tiltima década del siglo XIX, la teorfa de Cantor ya se usaba ampliamente y fue aceptado incluso por los mas excépticos, pues se convirtieron en una herramienta invaluable de Ja matematica, en particular del anilisis. Cuando las ideas de Cantor parecia que ya se habia ganado la aceptacién de Ja comunidad matemética, aparecicron las paradojas que finalmente sembraron serias dudas sobre la solider de la tcoria de conjuntos en la forma en que Cantor la habia construido. De las diversas paradojas que aparccicron, la que dio Bertrand Russell en 1902 © la infis célebre y trascendente, pues involucré los aspectos més elementales de Ja teorfa de conjuntos y, por ile, no podfa ignorarse. Esta paradoja puede 69iguiente manera: onjuntos, esto suele OCUTTIr co, rc pueden $e or un conjunto de planos, donde A puede ve ta posibilidad de que 4 1 ejemplo, a 08 . conjunto de pa a de todos 18 Cngunig lo el we de la sis s elementos Si A es un conjunto, cl él yo frecuencia en matemalicas, } ca como wn ada plano se considera como ee ‘mismo, por ejemP pueda ser un elemento de sé mise ticne esta propiedad. elementos de 4 juntos que no son conjuntos qu‘ lefinido por todos is Pon um lado, 5 $ es un elemento de $ or +: . un elemento de S. Por otro lado, te por la misma definicion de 9, Sea S el conjunto d y sm nisms, {Es Sun elemento en si mi were — cee $n entonces, por la propia definicién de uevament Si $ no cs un elemento de $ , entonces 1! ‘Ses un elemento de S si y solo si S no es Ses un elemento de S. Por tanto, iccié 4s fundamental. elemento de S, lo cual es una contradiccién del tipo m: , ion de la existencia Antes de las paradojas, nunca se habia planteado la cuesti de conjuntos. Cantor “defini” un conjunto como “una coleccion en un tod de determinados y diferentes objetos de nuestra percepcién 0 nuestro Pensamiento, lamados elementos del conjunto”. En otras palabras, Cantor acepté por sentido comtin que si podemos describir una propiedad de los objetos, también es posible hablar del conjunto de todos los objetos que poseen esa propiedad. La solucién al problema de las paradojas fue crear una teoria axioméatica para la teorfa de conjuntos. En esta teorfa los términos de “conjunto” y la relacion “es un elemento de” son conceptos primitivos y no definidos; su significado no es relevante y sus propiedades son formalmente dadas por los axiomas. Los axiomas fueron establecidos de modo que se pudieran demostrar todos los resultados ti de la teorfa de Cantor y se impidan la aparicién de paradojas. “, ,2,y, z. El otro de elemento-conj junto, A.2.1. Axiomas 7 EI sistema de axiomas es un tema complicado y abierto a la discusién. Sin embar- go, para los propésitos de este libro, que es la de introducir los conceptos bisicos de la teorfa de conjuntos, enunciaremos solamente algunos de ellos, los suficien- tes que nos permitan cumplir con nuestro propésito. Una teorfa axiomatica mas completa pucde ser encontrado en Jos libros Paul Halmos [4], Charles C. Pinter {6}. fz) Axiomas En la teorfa de conjuntos esencialmente lo que se hace es comparar conjuntos construir nuevos a partir de otros ya dados, para luego compararlos con los anteriores. En cualquiera de estos casos, se usa conjuntos ya existentes, no se puede crear conjuntos de la nada. d) Axioma de exis Existe un conjunto. Luego de este axioma, el siguiente paso es el de comparar conjuntos. Siendo la igualdad de conjuntos la comparacion mas basica, es que se establece el segundo axioma. Ma oremammcer acinar Dos conjuntos son iguales si, y solamente si, tienen los mismos elementos. Sim- bolicamente escribimos VA,B, A= Be Va(r€ Acre B). Lo que este axioma dice es que la igualdad (=), coincide con nuestra idea intui- tiva de que dos conjuntos son iguales si tienen los mismos elementos. En otras palabras, un conjunto queda completamente caracterizado por los elementos que contiene, no importando si ellos son guardados en una urna o en un bolso. Este axioma ni s permite, ademas, definir un conjunto describiendo todos y cada uno de sus elementos, decir, describiendolo por extension. Es decir, para definir un conjunto por extension se deben escribir sus elementos entre llaves, por ejemplo A= {3,6,9, 12} Debido al axioma de igualdad, es evidente que {1,3,5,7} = {7,3,5,1}, puestuto 2. Conjuntos on, Se tiene Por esta misma ra slomentos. ambos conjuntos tienen los anismos clemen! 3) = (L3hy fe a= = (eh. tambien que (1.3. GU Sun! Un conjunto B es un subeonjunte del eoujunto a Jemento del conjun denotado por B € A, si todo to A. Es decir, elemento del conjunto B es une BCA = Vr 7€ B= aE A). prende de la definicion de A continuacién damos un primer resultado que se des subconjunto y del axioma de la igualdad. Whee srt we Dos conjuntos son ignales si, y sélo si, cada uno de ellos es un subconjunto del otro, es decir, =Be>ACBA BCA Demostracién. Del axioma de la igualdad se tiene que =Be Vr(ne Ace B) = Va(ce A= re B)A(tE B= we A) <= (We, ce A= ce B)A(We, rE B= 2 A) “= ACBABCA. Los siguientes aziomas nos permiten construir miev onjuntos a partir cle otros ya dados, PM ene Darlos un conjunto Ay una propiedad Pe) (emmeinds abierto), existe Ul cousjunto forimado por elementos de A que hacen que cl enuncindo sen verdadero: inte uy conjunto 1. til que Yar (in € Bmr tC AA Plu), {J eonjunty 16 se simboliza come un As Mu)},Capitulo 2. Conjuntos j IS (mee. | Relaciones entre conjunto: ves son Ia de relacion de igualdad ¢ , ' A un Las relaciones entre conjuntos més com inclusion de conjuntos. rag Relacién de igualdad Je la exter Ps afirma que Esta relacién es producto del axioma d én qui A=B => (Wr, reAeere B) SEE Si A = {1,3,5,7.9,...}y B= {x: res entero, positivo e impar}, entonces A = B NSE Dados los conjuntos A = {x € R= entonces A = B. En efecto. Notar que E = R y recordar que r+1=5}y B= {2}, A=B = VWreRreAcreB. Ademas VreR,reAe ere B=vreR(reA=re B)A(te Bere A), luego (=) rEAS 2e4+1S=5 = 7H=2 2c EB. (=) c€ B= r=2= 5 22)4+1=5>57eA. Zz] Relacién de inclusién Esta relacion es producto de la definicién 2. 1, que afirma lo siguiente ACB = Va (ve A> x € B)2.1. Axiomas 73 Notar que el conjunto Bes un subconjunto de A. La definicion de un conjunto por especifiencion siempre es mas clegante y «itil que aque! definido por extension. rl axiom de espeeifieacion es usndo para definir el conjunto vacio como aquel conjunto que Ho posce elementos. eae onjunto A cualquiera. El conjunto vacio @ es definido como TEMG U Gonna vets © mulls Dado un ct e€A:r¥#z}. FU atau Dada una coleccién de conjuntos F, entonces existe un conjunto cuyos elementos son los elementos de los elementos de F. Si denotamos por E a este nuevo conjunto, entonces cn forma simbélica escribimos Va (x € EB => 5A € F,r€ A). FFEESEPED) Sea la familia de conjuntos F = {A,B,C}, donde A = {1,3,5}, B= (2.4.6) y C= {7,8,9}. Luego, por el axioma de la unién existe el conjunto E=UF tal que E=UF= {1,2,3, 4,5, 6, 7,8, 9} EI quinto y ultimo axioma permite construir familias de conjuntos formada por todos los subconjuntos posibles de un conjunto dado. olor Dado un conjunto A, existe un conjunto, llamado conjunto potencia o de partes de A, cuyos elementos son los subconjuntos de A y denotado por P(A). Ejemplo 2.2, Biv Rea mentee el conjunto potencia de $ es P(§) = {6}2.2. Relaciones entre conjuntos 75 Luego, A esta incluido 0 contenido en B, si A es subconjunto de B, tal como se muostramos en la figura Figura 2.1: Diagrama de Venn que representa AC B. 1. Si A= {a,b} y B= {a,b,c,d}, entonces AC B. 2. Si A= {x ER: 2 es entero y par}y B={reR: aes entero}, entonces ACB. Para conjuntos A, B y C. La relacién de inclusion cum dades. 1. (Reflexividad) A C A. 2. (Antisimetria) A= Bes A CBA BCA. 3. (Transitividad) ACB A BCG = ACC. ple las siguientes propie- Demostracién. La demostracién de la reffexividad es evidente y sera dejada como ciercicio. La antisimetria ya fue demostrada en | Probaremos la transitividad. ‘a proposicién 2.1. Solamente Va,r€A=>rEB por hipstesis A C B = 2EC por hipétesis BCG Por tanto, ACC. OOO Para eualquicr conjunto A se cumple que OC 4Demostracidn. Sear arbilrario, lweBo reb=erea. jera, pues el ai Notemos que la implicacion anterior es siempre ee PI 1 ntecedente conel falso. Luego, siendo «es arbitrario, por definicion le C, se luye que @) Ca a Para A.B *C conjitos cualesquiera se cumplen las siguientes propiedades « (Reflexividad) A= A 2. (Simetrfa) A= Ba B= A 3. (Transitividad) A= BA B=C=>A=C Demostracién. 2. Por Proposicién 2.2 - 2 se obtiene A=Be>ACBABCA <=> BCANACB <> B=A Por ser la manera habitual de usar, se da a continuacién la siguiente definicién basada en el Axioma 5 del conjunto de partes. Coniimia patience Dado un conjunto A. E] conjunto potencia de A, denotado por P(A), es ¢ conjunto cuyos elementos son todos los subconjuntos de A, es decir, P(A) ={X: XC A}. Por lo tanto, XEP(A) E> XCA. REE Posicriormente se demostrara que si A es un conjunto nito, ex decir, tiene n elementos, entonees el conjunto potencia P(A) vie”2.3. Algebra de conjuntos elementos. GEE Sea A = {1,2,3}, entonces P(A) = {0, {1}, {2}, {3}, (1.2), {1.3}, {2,3}. A} aes Algebra de conjuntos ign serén construidos nuevos conjuntos @ partir de conjuntes pre erin definidas ciertas operaciones findamentales entre rseccion, diferencia, complemento, diferen- das las principales propiedades de dichas a de conjuntos. En esta sec viamente establecidos, dos conjuntos tales como, union, in. determina | denominado algebr: intel cia simétrica. También seréi operaciones. Todo esto constituye él Jinir la union de conjuntos, la cual es consecuencia inmediata Empezaremos por de! licada a dos conjuntos. del axioma de la uni6n ap! Union de conjuntos Auaconmaes Fone Wi. “untos A y B es el conjunto. ie los conj Ao son elementos que pertenccen & Duclos los conjuntos Ay B- La union d donotado por AU By cuyos elementos pertenecen a B € B}. Es decir, AuB={z:2€ AVE 9, Diagrama de Venn que representa AU B Figura 2.Capitulo 2. Conjuntos : siguientes Para conjuntos A, B y C cualesquiera, se cumplen las sig Propiedades 1. (Idempotencia) AU A = A. 2. (Vaeio es neutro para U) AU) = 4 (Commutatividad) AU B= BUA. vidad) AU (BUC) = (AU B)UC. bitrario de A, luego Demosiracién. 1. Scar un eter reAvreadA r&(AUA) Por tanto, A= AU A. 2. Sea x un elemento arbitrario de A, luego reAereAvred <=> 1 € (AUD). Por tanto, A= AU@. 3. sea x un elemento arbitrario de AU B, luego te (AUB) ere AvreB SS reBvrea <> 1r€ (BUA). Por tanto, AUB = BUA. 4. Sea x un elemento arbitrario de AU (BUC), luego ©€[AU(BUC)] +26 AVre (BUC) te AVv(re BVrEeC) = (TEAVIEB)Vrec re (AUB) Vrec = re (AUB)UC]. Por tanto, AU(BUC) =(AUB)UC. aso Capitule 2. Conjunt pie ADB AG AUB. para esto primers demustra Denoctiaciin, demustramos que ANBCA Seas € AO B arhitrario, Mego reANBom rEAh ceB = «EA (relajacion) Por lo tanto, ANBCA. Ahora probaremos que AC AUB Sea x € A arbitrario, luego por adicidn, se tiene que réA=> ceA V rEB. = 1€ (AUB). Por tanto, ACAUB. 2. Si AC By ACC, demostrar que AC BNC. En efecto. Sea x € A arbitrario, luego cr€A=> rEBA rEC = reBne. Por lo tanto, ACBNC. Bo CTE Wyo Para conjuntos A, B y C cualesquiera, se tiene 1. AU(BONC) =(AUB)N(AUC) 2, AN(BUC) =(ANB)u(Anc)2.4. Interseceién de conjuntos 8 11) Suponga que P(A) © P(B). entonces Sea rE A =» {r}CA=> {x} P(A) = {r}eP(B) = {z}C B= reB. Por lo tanto, AC B De I) y Hl) se conluye la demostracion. 5 Sean A y B conjuntos cualesquiera. Entonces 1. P(A)UP(B) © P(AUB) 2. P(ANB) = P(A)N P(B) Demostracion. 1. Sea X € P(A) UP(B) cualquiera. luego X €EP(A)UP(B) = XEP(A) v XE P(B) = XCAVXCB = Xc(AUB) = XeP(AuB). Por lo tanto, P(A)UP(B) C P(AUB). 2. Sea X € P(AN B), nego X €P(ANB) = XC(ANB) => XCAAXCB <> XeP(A) A XEP(B) = XeP(A)NP(B) Por lo tanto. P(AN B) = P(A) NP(B). Teorema 2.12: Si #(A) = n, entonces #(P(A)) = 2". donde # denota el mimero de elementos del conjunto.oy Chan jannntors Vyapettantay 8. Can jenn al Capt Bor otro lade, par el Corataria 21-1 ne Ault. clo Iyntctacl cdo conutent, se Heme «1 AUB eB foB ox ANHeA Ahora demostrarenios que: {CBexs ACA A ACB (perp ad yet beeho que AC A) » AC AQB (Corolario 2.1 2). Ademias, por el Corolario 2.1 = 1 ANBE A Por lo tanto, por la Proposicion 2.2, se lene ANB= A. Antes de definir el complemento de un conjunto, se demostrard algunas propie- dades sobre el conjunto de partes definido Ineas arriba. Teorema 2.10: Para conjuntos A y B se tiene, ACB siysolosi P(A) C P(B). Demostracién, 1) Saponyn que ACB, wpe NCP(A) ==> X ¢ A > NCR Ver(n). Por lo tanto, P(A) © PR)|. Tnterseccion de conjuntos 83 Demostracion. 1. Sea x € [AU(BAC)] arbitrario, luego re [AU(BNC)]) re A v we (BNC) Sree A V (te B A xEC) (EA vV rEB) A (wEA V xEC) = © € (AUB) A x€(AUC) = v€ [(AUB)N(AUC)] Por lo tanto, AU(BNC) =(AUB)N (AUC) 2. Sea x € [AN (BUC)] arbitrario, luego x é€[AN(BUC)] << =2EA A reE(BUC) —reEA A (tEB Vv rEC) <3 (te€A A ceB) Vv (ce A A zEC) <—>2€(ANB) v rE(ANC) <> xe€ [(ANB)U(ANC)] Por lo tanto, AN(BUC) =(ANB)U(ANc) a Hasta aqui las demostraciones de los resultados que involucran conjuntos se han levado a cabo usando, axiomas y definiciones. Para la demostraci6n del siguiente resultado se procederé de manera diferente; se usarén ademés de los axiomas y definiciones, propiedades ya demostradas previamente. SiACB entonces AUB=B_ A _ANB=A. Demostracién. En primer lugar demostraremos que: AC B => AUB=B. En efecto ACB= ACBA BCB (delinicion de A, BE B) =» AUBCB (Corolario 2.1 - 3).24. Interseccion de conjuntos % BoE Wao Sean X,Y,w Y Z conjuntos. $j X CY yWCZ. entonces 1 xnWCcYng. 2 XUWCYug. Demostracién. 1. Por hipotesis se tiene que XCY¥Y y weg. Seaate Xnw arbitrario, luego zEeXNW=> reX vn reW = reY A rez = reYnZ. Asi , cEeXNW => rEeynZ. Por lo tanto, XOWCYNZ. 2. Sea x € (X UW) arbitrario, luego 2e(XuW)=> reX v reWw = reY V rez = rée(YUZ). Por lo tanto, XUWCYUZ. Chenery Para A,B y C conjuntos cualesquiera, se cumplen 1. ANBCACAUB y ANBCBCAUB 2. SiAC By ACC, entonces AC BNC. 3. SiAC By CCB, entonces AUC CB.= Capitulo Conjuntos ‘a 80. i B, luego 3, sea sr um elemento arbitrario de AN > ré ans) t ean ee rE BAT eA ee re (BN A). BNA Por tanto, ANB = an(Bac). Wwese pace re dare (BOO) ea re AN(rE BATES) |. =-=CSCSF ee re(ANB)ArEC ee re [(ANB)NCI- arbitrario de 4. Sea x un elemento rE [An Le fos eualesquiera. Se dice que cl par de conjuntos A, B son : vis Sean A y B conjunt disjuntos si no tienen elementos en comin. Es decir, ANB=0. Figura 24: Diagrama de Venn que representa A disjunto con B CSc ea N e ANB= } j Otemos que si los conjuntos A y B son disjuntos entonces se tiene que TEA=>r¢B y TER rg a. En lo que si onsi g ‘ades relacior jue sigue, consider adas cot oaue ideramos algunas Propiedad ionad: interseccion de conjuntos. “acon —DANO VeLrTECeO al CO Coan Dados los conjuntos A y oe B. La interse ‘on de los conjuntos A y B es ‘ecion B denotado por A B, cuyos elementos son : nay a conjunto, la vez elementos de A y de B Es decir, ANB={t:2e€A A eB} jo Figura 2.3: Diagrama de Venn que representa AN B Para conjuntos A, B y C’ cualesquicra, se cumplen las siguientes propiedades 1. (Idempotencia) AN A= A. 2. (Vacio es absorbente para N) ANO= 0. 3. (Commutatividad) AN B= BNA. 4. (Asociatividad) AN (BNC) =(ANB)NC. Demostracién. 1. Sea x un elemento arbitrario de A, luego ceAerreAAreAa e= 2e (ANA). Por tanto, A= ANA. 2. Sea x un elemento arbitrario de AN, luego ce AnbereAnred rel. Por tanto, AN = 0ynjuntos 6 Ci = Fin = b)! lementos «dil Demostracién. Dado que ferentes de un conju representa cl mimero de subconjuntos de k ell den elementos. Puesto que H(A) =n, entonces ntidad de conjuntos unitarios. cr Cy: Cantidad de conjuntos con 2 elementos. C2, : Cantidad de conjuntos conn —} elementos. CC! : Cantidad de conjuntos con m elementos. Ademiés, notar que @ ¢ A, entonces Cj = 1, luego H(P(A)) = SCP = C+ CT + CF Ho + Cn i= Por otro lado (a +b)" cra imo Para a = 1 y b= 1, se tiene, mei =Srcn tity mek Sp ag 2 = f= #(P(A)). [E30 Complemento de un conjunto Definici : ‘otro conjunto FIMO TIG Clo slintaniny aCe pee Tespecto Dados los conjuntos A y E t: = 2 Be ‘al que AC respecto al conjunto E, C, ACE. El co y EC,.A, es mplemento del 4 AA. eS at man}. lel conjunto - E pero no a A. quel conjunto cuyos eleme: : 4 ntos pertenecen 4 Es decir,2.4, Interseccién de conjuntos 87 1. Six ¢ Acntonces 7 €C, 2, Six ¢C,,A entonces x € A, Figura 2.5: Diagrama de Venn que representa a CA (area sombreada). Sean B = Z y A= {m € Z: mes par}. Esta claro que AC B, luego C,A = {me Z: mes impar} Come een Sean A,B y E conjuntos cualesquiera tales que AC E y BC E. Entonces 1, Leyes de De Morgan C,(AUB)=CeAnl,B y C,(AnB)=C,AUC,B. 2. 0, (C,A) = A. 3. ANC, A=0. 4. AUC,A=E. Demostracién. 1. Sea « € C,,(A UB) arbitrario, entonces réC,(AUB)=+ c€E A r¢(AUB) (definicién de complemento) > teEE Aare (AUB) (=p=-(p)) = ré€E A 7(r€A V rEB) (definicion de U) <= 2€E A (xg A A x¢B) (ley de De Morgan-Log. Prop.) — reE AEE A (ugA A EB) (p=pAp) = (reE \ xg A) A (EE A x¢B) (ley asoc. Log. Prop.) «= réC,AAxeC,B — (definicion de complemento) = re[C,AQC,,B] (definicién de interseccion).le Capitulo 2. Conjuntos Luego, por gencralizacion universal se tiene que Vow €C.(AUB) => Vr € (Cc, anc, B} Por tanto, C,(AUB) =CeAnl,B La otra ley de De Morgan se demuestra de manera andloga. 2. Sea x € C,.(C,.A) arbitrario, luego rel.(C.A)es reek a rg0,A = reE A 7re0,A = r€E A 7A(re€E A rEg A) => «€E A (@¢E V rEA) = (tEE A «c¢E) Vv (TEE A rE A) <= red v re(ANE) = red V red <= ve (Aud) — rea. Luego, va,(~7€C,(C,4) = re A). Por lo tanto, C.(C,.) Peed Sean A, B y £ conjuntos cualesquiera tales que A C E y B C E. Las siguientes propiedades son equivalentes 1 ACB. 2C,BCC,4 3. ANC,.B 1. BUC,89, 2a, Interseceion de conjuntos Demostracién. [1) => 2)] Si A B, entonces C.B¢C,A. sear € E arbitrario, luego En efecte rel.Beo> TEE A GB = r€E A x¢A (contrapositiva en la defir cign de AC B) = rela. Por lo tanto, (vee B,reC,B = reC,A) => C,BCE,A. 2) = 3) SiC. BC C,.A, entonces ANC, B = 0. esta igualdad, se debe demostrar que En efecto, para demostr ANC,BCO A 0cAnl,B. Note que por la Proposici6n 2.3 la segunda inclusion es obvia. Luego, s6lo se demostrara que ANE, B C 0. En efecto, sea x € E arbitrario, entonces reAnt,Bes rear rel,B => reA a rel,A = reAnl,A= Por lo tanto, (wre Ere Anl,B => red) <= Anl,BCO. [3) = 4)] Si ANC, B = 0, entonces BUC, A = E. En efecto, al igual que en el caso anterior, se tiene que demostrar las siguientes inclusiones Bul,ACE A ECC,AUB. Para la primera inclusion, notemos que B C E y C,.A ¢ E, luego por la parte 3 del Corolario 2.1 se tiene que BUC,ACE. robar la segunda inclusion, notemos que por hipstesis ANC, B = 0, Inego reA=rrgCl,B 2¢0,B=ergA9 Capitulo 2. Conjuntos Ahora, sea x € E arbitrario, luego reEe> tek rea v rel,A =AuC,A = es 1¢0,B Vv reps = reByv rel,A = re (BUCA). Por lo tanto, = ECBUL,A. (vee E = re (BUCA) [4) = 1)] Si BUC, A = E, entonces A C B- En efecto, por hipétesis zeA=> reANE = reAn(Bul,A) re [(An,A)U(AN B)] zré0 Vv re ANB (por hipotesis A C E) ce ANB zreA nA reB res. Voddug Por lo tanto, (Wee Ere A = reB) = ACB Bw Diferencia de conjuntos Mtionen Sean A y B dos conjuntos cualesquiera. La diferencia de los conjuntos A y B A\ B, es el conjunto cuyos elementos pertenecen a A pero no a B. Es dec A\B={r:reA A r¢B} SIA.BYE . y DOEEREEENEED Si A. By E son conjuntos cualesquiera tales que ASE2.4. Interseccién de conjuntos 91 Figura 2.6: Diagrama de Venn que representa a A\ B. Sean A. By C conjuntos cualesquiera. Entonces 1 A\A=0. 2. A\O=A. 3. 0\A=0. 4. (A\B)\C} ¢ [A\(B\O)] Demostracién. 1) Sea x € A\ A arbitrario. luego réA\Ae= red rege — re0. Luego. A\ACO A OCA\A Por lo tanto. A\A=0 2) Sear A\ 0) arbitrario, luego re(A\0)—> rea a red — rea Luego. A\OCA A ACA\O Por lo tanto, A\O92 Capitulo 2. Conjuntes 3) Recordemos que VE, 0. B, luego we (O\ A). OVA arbitrario, huey Entonces sdlo rest probar que @\ A CO. Para esto, sen red\As> 3 A) Sear € [(A\ B) \ C] arbitrario, Inexo re [(A\B)\C] = re (A\B) A GC (Pe A A GB) A rGC reA A r¢B => (re A A r¢B) Vv (WEA A EC) A (#¢Bv rec) = £r€A A A(rEB A r¢C) A A = rea = rea ar €(B\C) = «rEA ax ¢(B\C) = reé[A\(B\C) Por lo tanto, (A\B)\E} ¢ [A\(B\ CC). [EG Diferencia simétrica PY its icin 2:9: \Diferencta simétricaldeldos Coast fer: La diferencia simétrien entre los conjuntos Ay B, la eual se « denota por ASB, el conjunto formado por los elementos que estan en A pero no en B, 0 que on B pero no en A. Es decir, AAB=(A\B)U(B\ A)Gn de conjuntos 93 A, B Figura 2.7: Diagrama de Venn que representa a AA B ~3,2) y B= [1,3). Determine A \ B. oy Seal Solucién: re A\B=(-3,2)\ (1,3) xe (-3,2) Ar¢[1,3) = -3 cEA A yEC =} r€B A yeD (dadoqueACByCCD) => (ry)EBxD Por lo tanto, AxCCBxD 2. Sea (x,y) € (A x B)N(C x D) arbitrario, luego (x.y) € (Ax B)N(C x D) <=> (2,y)EAXBA (2,y)ECxD <=> (re AA yEB) A (EC AYyED) = (rEeAANTFEC) A (YEBA yED)Capitulo 2. Coninter —————— re os au) & (ANC) x (BO D)) s re(AnNe) Aye (BAD) = Por lo tanto, (Ax ByA(C xD) = (ANC) x (BO D) ra conjuntos Ay B eualesquiera, se tiene, Boo AxB=BxA. Demostmcion. [=] Si A= B, entonces es evidente que A x B= Bx A. ] Por reduccién al absurdo, supongamos que A # B, luego, sin pérdida de dad, podemos asumir que A Z B, esto es, existe un a € A, tal que, « ¢ B. general Ahora, sea y € B, Inego (a,y) € Ax B, pero (x,y) ¢ Bx A. Esto es una contradiccion con la hipétesis A x B= Bx A. Por lo tanto, A=B. Sean {a,b,c} C Z\ {-1,1}. Si M = {a+b+e: 3, —4a} = {b — 2c ~ 8,02 + 4}}. Hallar PUM U {=a {b ~ 2c ~ 8,0? + 4} entonces, —B fabacaso contrario se Lendria que a= 4/7 b= 2 Lo enal implica {a? +b? — 5, -3, da} (2.1) Por otro lado —4a # ~3, caso contrario 3 a= F¢Z, luego, —da=0? +4 = a? +4a44=0 = (a+2)*=0 = a=-2, Reemplazando en (2.1) se obtiene {0? - 1,-3,8} = {-3,8}. (2.2) Ahora como el conjunto de la izquierda solo puede tener dos elementos, enton- ces P-1=-3 v » Si? — 1 = -3, entonces b? = —2 (absurdo). » SiP-1=8, entonces b? =9 => b= +3. Luego =-2-3-4=-9 =» M={-9}. a=-2b=-3yc=-4 => atbt Ademés, como x = —9 € M, entonces —2? = -81 ¢ M, lo que implica eEM}=0. Entonces P(M UC) = P(M) = {0,{-9}}.100 1, Dados los conjuntos A = gui Y sv cuales fi siguientes afirmaciones son verdaderas ¥ cuales f a) OEA b) BEA 0) LBECA eo 0CA fh AcB g) BCA i) Oe {HA} j) OC {0A} &) {OPE 2. Dados los conjuntos A y B. Determine si A= BoA=B Zyin a) A= {x : es un niimero primo par} b) A= {x res un nimero primo par} c) A= {n:n€N esimpar} B= {nz d) A={n:n€Q esimpar} B= {nz ce) A={nineZy n?<9} Ba{n: f) A={reRy sr+6} B= 3. Para cada una de las siguientes afirmaciones, determine si sor falsas. Si es verdadera, demuestrela. Si es falsa, dar un ¢ a) Sia € Ay A€ B, entonces a € B. b) SiAC By BEC. entonces AE C. c) SiAG By BCC. emtonces ACC. a) Si AG By BEC. emonces ACC. e) Si AC B. entonces P(A) C P(B). f) Si P(A) C P(B). entonces AC B 1. Dados los conjuntes E = (1.3.5 C = {3.5}. E 2.6.0}. A= fab}. B= {1533 iba por extension los siguientes conjuntos2 % 2 2.5. Bjere 2.5. Bjercicios 101 a) C,A db) 0.8 c) AUB d) C,A0C,.B ec) C,AUC.B f) Auc s) ANB h) (An B) i) (AUB) j) C,.(AnC) k) (ANB)UC I) An(Buc) m) (AnC,.C)u(Anc) n) (AUC)N(ANC) . Demuestre las propiedades 2 y 3 de la proposicién 2.4. Sean A, B y E conjuntos tales que A CE y BC E. Demuestre que ANB=0 = ACC,B 7. Demuestre que AUB= ANB «=> A=B. Sean A, B y C conjuntos cualesquiera. Demostrar que a) Si BCC, entonees AU BC AUC, para cualquier conjunto A. b) Si BCC, entonces AN BC ANC, para cualquier conjunto A. Sean A,B y C conjuntos cualesquiera. Dar contraejemplos para cada una de las siguientes afirmaciones a) Si AUBC AUG, entonces BCC. b) Si ANBC ANC, entonces BCC. Sean A, B y C conjuntos cualesquiera. Demuestre que (ANB)UC=AN(BUC) =} CCA Dados los conjuntos A = {1,3,5,7, V2, V3, 77}, B = {3,7, V2, V3} y C = { V2, V3, 77}. Escriba por extensidn los siguientes conjuntos a) A\B b) A\C c) B\C d) (A\B)\C ©) A\(BUC)f) A\(ANC) 8) (ANB)\C_ hy) AN(B\C) . Dados los conjuntos A,B y C. Demostrar que a) A\(B\C) =(A\ B)U(ANc) b) AU(B\C) = (AUB)\(C\ A)jor Capito 2 CONE —— = ) AN(B\C) = (ANB)\(ANG) d) (ANB)\C=AN(B\C) ce) A=(A\ B)U(ANB) ntos. f) A\ By ANB son conjuntos disju g) SiACB, entonces A\ B= 0- os A\B=Ay B\A=B. h) Si ANB =O, entone i) A\B=B\A = A=B. i) (A\B)\C=(A\C)\(B\C). Hacer un diagrama de Venn para cada caso. s. Dar contraejemplos para cada una de 13. Sean A,B y C conjuntos no va las siguientes afirmaciones a) A\(B\C)=(A\B)\(A\C) b) A\(B\C) =(A\B)\C ©) P(A)\ P(B) C P(A\ B) 14. Demostrar las propiedades 1 y 3 de la proposicién 2.12. 15. Demostrar las propiedades 2-5 de la proposicién 2.15. 16. Sean A, By E connjuntos tales que AC E y BC E. Demostrar que a) BCC,A = ACE,B b)C,BCA eS C.ACB c) A=(ANB)u(ANC,B) d) AUB= (ANB) u(AnC,.B)U(Bno, a) 17. Dados los conjuntos A, B y C. Demostrar que a) (AAB)UC= (AUC) A(B\ cy b) (AAB)\C= (A\C)A(B\c),a 103 18. Dados los conjuntos Ay, Ay, 'e define la interseccion de estos n conjuntos como el conjunto cnyos ¢ Ss pertenccen a todos los conjuntos datos, ef cual es denotado por Ay A Ag A+++ 1 Ay o de manera més compacta por (Ai = ALN Apne nA, it De igual manera se define la unién de estos n conjuntos como aquel conjunto cuyos elementos pertenecen al menos a uno de los conjuntos dados. Este conjunto seri denotado por A) U Ay UU An, 0 de manera mas compacta por UAi = Ar U A2U---U An i=l De acuerdo a estas definiciones, demostrar que a) Wn eN, C, (Ua =(\0,4;, donde Vi= Tn, ACE b) wn eN, C, (Aa) = US. Ai, donde Vi=1,n, A; CE c) WneN, r(r d) YneN, Uru cP (U 4) 19, Sea An = [2 2+ 5) Hallar: a) Us b) na c) Ua a) na 5,7}, © = {5} y D = {7). Escriba 20, Dados los conjuntos A = {1,3}, B= por extension los siguientes conjuntos: a) Ax (BUC) b) (Ax B)U(AxC) — ¢) Ax (B\C) d) (Ax B)\(Ax) — e) (Ax B)U(E xD) f) (AUC) x (BUD)wu Capitulo 2. Conjuntos 21. Si el producto cartesiano A x A tiene nueve elementos. (a.b) Ax4, (b,¢) € A x A, hallar los seis elementos restantes de A x A . Deseriba graficamente los conjuntos a) NxM b) [0,1] x (01) o) Nx d fajxy 23. Dados los connjuntos A, B y C. Demuestre que a) Ax (BUC) =(Ax B)U(AxC) b) (Ax C)\ (Bx C)C(A\B)xC Haga un griifico que represente cada propiedad. 24. Dados los conjuntos A y B. Demostrar que a) AXB=0 = A=0 Vv B= b) (ANB) x C=(AxC)n(BxC) 25. Sean A,B,C y D conjuntos no vacfos. Dar contraejemplos para cad de las siguientes afirmaciones. fa una a) (Ax B)U(C x D) = (AUC) x (BUD) b) (Ax A) \ (Bx C) =(A\ B) x (A\C) 26. Demostrar que A# NBA NAZB => AXBEBKA 27. Sean los conjuntos A,B y E tales que AC Ey BC E. Entonces C,,(Ax B) = (C,AxC,B)U(C,A x B)U(A x C,B) Haga un grafico para interpretar esta propiedad Ea Conjuntos Numéricos _—— El tratamiento a matico de ‘Antes dela aban los ntimeros tiene poco mas de cien afi compresnién de que podian tratarse de ma mera axiomatica. los ntimeros est1s concetados 2 conceptos extornc como el conteo de objetos, medidas de longituc, firea, o la cantidad de masa de objetos fisicos, entre otros esta nocion de los ntimeros finciond bastante bién hasta que surgio le uecesidl de nuevos sistemas munéricos, pues la idea de contar no funciona para —2, ~ ¢ 8 V Uno de los grandes descubrimientos de finales del siglo NIX fue que los mimeros: ‘in la necesidad de: mans, pueden comprenderse de forma abstracta a través de axi algin modelo conereto para su constraccién. daremos una definicion axiomiticn de los mfimeros naturales, ot de 1 de propicdades que En esta sec la que una de las propiedades a cumplir dara origen al denominade Principio Induccién Matemdtica, que es muy usado en la demostraci involucran a estos ntimeros. Mas alli de ello no haremos un estudio sistematicn de este sistema numérico. Por otro lado, seremos menos formales en la detinicion de los mimeros enteros y racionales, dado que no esti dentro de los objetives de este libro. reas de El conjunto de los nitmeros reales es de suma importancia en todas las las ciencias, de alli que lo estudiaremos y aplicaremos en los capitulos 3 y Ex El conjunto de los nimeros naturales N Una definicién informal de los ntimeros naturales es el siguiente: Un mtimero na- tural es cualquier clemento del conjunto el cual es el conjunto de todos los mimeros creados comenzande con 1 y luego contando hacia adelante indefinidamente. N es Hamado el conjunto de los nimeros naturales, Esta definicion, de cierta manera, resuelve el problema de qué son los utimeros haturales: an miinero natural es wn clemento del conjunto N, Sin embargo, no 65 satisfactoria, pues deja abierta la pregunta de qué cosa es N. Esta detinicion, de comenzar en 1 y contar indefinidamente es muy intuitiva de N. pero no exsta. Por ejemplo: {Qué Saran. a indefinida, eguntas sin respues ntando de maner peraciones de suma, multiplicacign, aceptable, pues deja algunas Pr IN Volver tia se tiene de que podamos seguir Co a 1? Ademis, Como es que se realizan jas 0] potenciacion? Ios ntimeros naturales la did Richard Dede. La primera definicion axiomatica de I te en 1889, Giuseppe Peano presents kind en 1888. Posteriormente, al afio siguien tuna definicion alternativa. El Jos niimeros naturales hace uso de tres térm, nos no definidos: amados nimeros. Los cinco axiomas de Peano que d sistema axiomatico de Peano para Sea N un conjunto cuyos elementos son leben cumplir los clementos y “sucesor”. “1”, “niimero’ de N son Axioma 1: 1 es un niimero Axioma 2: Todo niimero n tiene un tinico sucesor, 1", el cual es un mimero ; ; « cmten’. Axioma 3: Sim y n son nimeros y sim’ =n’, entonces m = n- Axioma 4: 1 no es sucesor de ningiin mimero. Axioma 5: Sea P una propiedad. $i i) P(1) es cierto y ii) Para todo n € N, P(n) es verdad => P(n') es verdad, entonces para todo n € N, P(n) es verdad. El conjunto N que cumple los axiomas anteriores es llamado el conjunto de los ntimeros naturales. Los axiomas 1 y 4 afirman que 1 es el primer elemento de N. El segundo axioma afirma que 1 tiene un tnico sucesor. Lo que intenta Peano con este axioma es que el sucesor de n se obtenga de adicionar 1 a n, es decir, n’ =n +1. Por tanto, el elementos de! el tinico sucesor de 2 es 3, ete. Los tinico sucesor de 1 es 1+1 forman una cadena, cut la cual el primer eslabén es el nimero 1, el segundo eslabon es el miimero 2 y asf. El segundo axioma no permite que la cadena se ramifique a medida que se agregan mas es bon ya que solo se puede agregar un ‘nico cslabon a un eslabon ya existente. El tercer axioma prohibe que la cadena forme a107 un buele, es decir, qu Iyit eslabon regrese ae pnlazarse con otro anterior a el, pue este axiom afirnm que todo niimero natural excepto 1 tier un tinico predecesor. EL quinto axiom es conocido como el princi ipio de induccién matemiatica. Este principio permite establecer propiedades para un niiinero infinito de casos sin tener que proporcionar un niimero infinite de pruebas: A continuacion cnmciamos un teorema, sin demostracién, que establece diferen- tes propiedades que se cumplen en el co \junto de los ntimeros naturales. Teorema 2,20: Propiedades de los nameros naturales Para cualesquiera m,n, p € N se cumplen las siguientes propiedades Clausura Ni) m+neNn. y) mn EN. Conmutatividad Ns) m+n=n+m. 4) mn =nm. Asociatividad Ns) m+ (n+p) =(m+n)+p. 5) m(np) = (mn)p. Distributividad Nz) m(n+p)=mn+mp. Ng) (m+n)p=mp+np. Existencia del elemento identidad multiplicativo No) 31 €N tal que lin =m. Ex El conjunto de los nameros enteros Z Sean myn € N. El ntimero x m — n, que se lee “m menos n” 0 “n restado de 1°, ¢5 el vimero a que hace que el cnunciado m = n+ sea verdadero, si existe tal ani +2 nero x, Por ejemplo, x = 5 — 2 es aquel niimero que hace que 5 sea un enuneiado verdadero. 4 propiedad N; del teorema (2.20) establece que la suma de los nvimeros natural108 Capitulo 2. Conjuntos dos mimeros naturales, obtenemos oy, urge Ia pregunta ZES cerrada jy les? Obviamente, | rrada, es decir, al suma IMA Operacion 1. De acuerdo a esta propiedad, su némero nature operacion resta en el conjunto de Jos mimeros natural a respuesta es no. jad_de un conjunto de néimeros gue Ante esta sitnacién, se presenta la necesid jo la operaci6n resta, Byte contenga a los niimeros naturales y que sea cerrado ba, nuevo conjunto debe tener como elemento a un nimero que represente el concept de nada o ninguno, El nimero que necesitamos incluir se Hama cero y se representa con el simbolo 0. Sea N* = {0,1,2,3,-+-} el conjunto que contiene a los niimeros naturales y ¢| elemento 0. El mimero 0 se ha creado para que se tuviera la propiedad de que para todo m € N*, m—m =0, es decir, 0 tiene la propiedad de que para todo m € N*, m = m+0. El nimero 0 es Iamado identidad aditiva del conjunto Ne. El muevo conjunto N* aun no es suficiente para afirmar que la operacién resta sea cerrada en él, pues por ejemplo, 3 - 7 ¢ N*, pues no existe a € N* que haga que el enunciado 3 = x +7 sea verdadero. ecesitamos un nuevo conjunto de niimeros que contenga a N*, que sea cerrada ba- jo la operacion resta y ademas satisfaga las propiedades del teorema (2.20). Sea ¥ un conjunto que contiene a los elemento de N* y otros nuevos mimeros que necesitamos inventar para que ¥ sea cerrado bajo la operacién de resta. Es decir, buscamos que Y tenga la propiedad que si m,n € Y, entonces (m—n) € Y. Notemos que 0 € N*, luego 0 € Y. Y para todo m € N, m € Y. Por lo tanto, para todo m € N necesitamos un nimero x € Y tal que0—m=~2 € Y. Debido a que la sustraccion es definida en términos de la adicion, necesitames que para todo m € N, exista un nuevo ntimero « € Y tal que 0 = m-+za sean enunciado verdadero. Denotaremos al ntimero x como —m, el cual es leido com? ‘menos 1m”, Por ende, para que la sustraccion sea cerrada en Y, el conjunto que necesitame> al conjunto {.+. ,—3,—9 be contener ~1}. Luego, el conjunto que incluye 4 I" jo la sust ales y es misneros natu cerrado ba s Hamado conjunto de los2.6. Conjuntos Numéricos 109 nimetos enteros ¥ es denotado por Z Za{- 1.0.1, ey En el conjunto Z se pueden distinguir tres subconjuntos eros positives Enteros negativos 2,-1,1,2,3,--+} Enteros no nulos CSO Si reemplazamos el conjunto propiedade por Z en el teorema (2.20), las Nj; a No también se cumplirén. tal como se enuncian en el siguiente teorema. Den ou ars ee otc Ce eminem ose Para cualesquiera m.n.p € Z se cumplen las siguiemntes propiedades Clausura Z;) m+neZ. Z:) mneZ. Conmutatividad Z3) mtnsntm. Z;) mn=nm. Asociatividad Z3) m+(n+p) =(m+n) +p. Ze) m(np) = (mn)p. Distributividad Z;) m(n+p)=mn+mp. Zs) (m+n)p=mp+np. Existencia del elemento identidad multiplicativa Z) 31 €Z tal que lm=m. Existencia del elemento identidad aditiva Zp) JOE Zn € Z, m+0=m. Existencia del elemento inverso aditivo Zi) Vin € Z,3-m EZ, m+ (—m) = 0. Alyunas otras propiedades se establecen en el siguiente teorema.pSoaueeeen Para cnalesquiera m,n,p € Z se cumple 1) m0=0. 2) m=n=m+(-n). -(-m) =m. m (=n) = -(mn). (=m)(=n) = mn (-1)m = -m. m+p=n+p = m=n. leat M Los niimeros enteros pueden ser representados sobre una ree. ta orientada, es decir, sobre la recta se establece un sentido positivo y un origen Sean a,b € Z. Se dice que a es divisor de b lo cual se denota por alb. si existe ce Ztal que b=c-a. qb = + 3c€Z,c-a=b. 1. 2|12, pues, p xiste 6 € Z tal que 6(2) = 12. 2. =5)20, pues, existe —4 € Z tal que —4(—5: ) 20, Si a es divisor de b, emtonces se dice que b es divisible por a 6 bes un miltiple deSoa p€ Z. Se dice que p es un niimero primo si DA0VPAL pA-1, D(p) = {1,-1, p,-p} Donde D(p) es el conjunto de divi sores de p, [Toure mrimero 2 es primo, pues 24 0,1,—1y D(2) = {1,2,-1,-2} 2. El niimero —5 es primo, pues -5 £0,1,-1 y D(-5) = {1,5,- 5}. Bel El conjunto de los nimeros racionales Q El conjunto de los ntimeros enteros no es cerrado bajo la operacién de division, pues para cualesquiera a,b € Z, la ecuacion br = a no siempre tiene una sohucién entera, Deseamos ampliar el conjunto Z atm nuevo conjunto de nitineros de tal manera s la solucién « de la ecuacion que si a y b pertenecen al nuevo conjunto, entoncs ea también cerrado bajo la br = a pertenezca a este conjuntoy a su vez este tuma, multiplicacion y resta. Notemos que la operacion de division es definida en términos de la multiplicacion iste un de la signiente manera: Sean a,b € Z, decimos que b divide a a, si ex 101 nero x tal que br = a. De Ja definicion anterior, notamos que la division por 0 no esti definida, pues Z satisface bara 6 £0, no existe tal que Or = b, y para b = 0, cualquier Or = 0,tule 2, Conjunitos 1g lefiniy nneyos nfimeros que complement Datas observaciones nas eunducen In operacidn division sea corrada en este ye Los numtenss enters de ntodo que r que satisfe Scan ade Ly b =O. Un mimero racional es aquel ntimero on @ fg. este mee niimero (racional) a es) denotado por 3 Por tanto, exuacion conjunto de los mimeros racionales es ef conjunto a o Q= {Fe a,beZ, ozo} suma y multiplicacion sobre clon definimes las operaciones de igualdad, los mimeros racionale | Sean ofc y d miumeros enteres con 6, y d distintos de cero, 1. Igualdad 2. Adicién Multiplicacion & dos ntimeros enteros. | . J fl maxino comin divisor de @ yb es, de todos los divi sores comunes de aybelm Dicho nimero s + denota por m {a,b} > niineros a vb son prittos entre sis es decin: mea {a,b} = 1 1 een eo inredueible si 7 i ; Hucildle sia yb son primus entreson fracciones irreducibles, 6 10 GEES Considere el siguiente conjunto « © os fraceidn irreducible. Luego. fat = ast ath 1 = atb=at+h. b <= a-b=a-b. Z, lo cual implica que ZC ©. Nota: Al igual que en los ntimeros enteros Z denotamos los siguientes conjuntos Q*: Nameros racionales positivos Q@: _Nitmeros racionales negativos Q°: Niimeros racionales no nulos. Teorema 2.23: Propiedades de los naimeros racionales de Para cualesquiera 2, £ € Q se cumplen bd (G49) +5 5+ (§+4)- (Q) Stan ata (Qs) 306 QVF EQ, F+O= (Qs) ¥F (Q3) (7-5anal Capitulo 2. Conjuntos ——__ KON ae Ca toe (Qs) $°§ (an Seay! €0,° rs = e)_ac.ae (an 8. (S45)=2. a*o FT (Qo) VE ey § 40,34 €Q tal que Demostracién. (Qs) i (G7) a-(cf +ed) b(df) acf+aed _acf , aed ~~ haf > bdf * baF aca “iad > aa PLACE Por la propiedad (Qo). se puede detinir en Q* la operacion de division, la cual es definida comoEl sistema de los nadmeros reales 1s prigen cuando los matemsticos griegos, alrededor Jes Luvie Los mimeros re: 50 a.C., se dicron cuenta que habian ciertos nfimeros que no eran ntimeros de los fe] descubrimiento de la existencia de los ntumeros irracionales, aquellos racionales. que no se pueden escribir como la razon de dos ntineros enteros, es atribuida a J menos el de V2, aun 10. yando no se sabe la identidad de quién o los pitagoricos, uienes realmente hicieron tal halla 464 a.C. - 397 a. C.), matemvitico griego nacido atribuye a Teodoro de Ciren en Cirene (en la actual Libia), la demostracion de que Ja rafz cui rada de ntimeros enteros no cuadrados, al menos hasta 17, no son ntimeros racionales. 70s reales fue publicado por 11 hi: xencia de estas, Hegando 5 1 primer desarrollo riguroso del sistema de los niin M de nisneros ravionales para los cuales definié la conve ssiones que convergian a ntimeros racionale uso de sucesiones en 18 +o francés: Hugues Charles el] matemé a Ja conclusion que existian sue ryfan a ufuncros extraios (nfuneros irracionales). Lamentablemente otras Cony b Lay publie6 ous resultados en ana revista no ity prestigiosa y su articulo pas . Eduard Heine y Sreayerihide por varios aivos, Posteriormente, dos alias despué Cawtor, cai al mismo tiempo, publicaron trabajos similares de los uiineros oa partir de sucesiones de nfineros racionales,rw ake oaks SS a estandarizar esta 3 que es immcional, Por otro be fae wendy por pity os Ingaritnss err ach ISL y quien adh eMNTIDA QUE eS ITA Ii y qv ems naturales dada por Dalek ani iow atiang Ghaoppe Pano en ISS = ditica de los mimenos enteros, mich reales. ation de las mimens NARS €7 En este capitulo danemes ina definic de una definicion constructiva de los mismos, EES Definicién axiomatica de los numenos es Sea un conjunto en cual estin dotinidas las operaciones ¢3.1. Definicion axiomitica de los nimeros reales Mz Trench i u rey esta de ara cualquier par de elemento i 7 Par quier finido de manera Gnica su surna, qenotado por st + y, que pertencce al mismo conjunto. Mince es MOGI IGawen Para cualquier par de elementos x ¢ y esta definido de manera tinica su producto, denotado por .t + y, que pertenece al mismo conjunto. nto, denotado por R, es llamado el conjunto de los néimeros reales, si e conj) satisface las siguientes propicdades: 1. Conmutatividad: * WayeR, rt+ysyter * VayeR, xysyee Asociatividad: v * Va,y.z2€R, * Va,y,2z€R, 3. Distributividad: + Vay,z€R, c-(ytz)=r-ytr-2 * Wr,y,2€R, (w+y)-2 szty: & 4. Existencia del elemento neutro para la suma: Existe un elemento en R, llamado cero, denotado por 0 de modo que para todo x € R se tiene que r+0=2 Existencia de elemento neutro para el producto: Existe un elemento en B Hamado uno o unidad, denotado por 1, de modo que para todo x € B. se tiene que jementos inversos: G. Existencia de eljstema de los nimeros: reales us Capitulo 3. El te un nimero real asociado a 2, que se denoming a) Para cada x € R. ex inversos aditivo u opuesto de x tal que 0 xr + opuesto(r) te un niimero real asociado a x, que b) Para cada x € R con x ¢ 0, ex’ se denomina inverso multiplicativo 0 recfproco de x tal que xr reefproco(z) = 1 mnltiplicativos son denotados por <2 y Notaci6n: Los inversos aditivos x7! respectivamente. _ . Ordenamiento: En el conjunto B existe un subconjunto llamado connjunto de nitmeros reales positivos, denotado por R.., tal que: Vr € R. una y sola una de las siguientes relaciones es verdadera a) reRy b) (-r) ER or=0 Vey € Ry, se cumple que: a) (r+y) ER, ” Continuida Para cualesquiera dos conjuntos no vacios AC Rv BCR. en los que para dos clementos cualesquiera r € Ae y € Bse cumple x < y. 3€€ R tal que Ve € R, Vy € R se tiene que TSE, 2, S. Defimcion 3:3: Relaciones deyordent an x,y,z € B se definen las siguientes relaciones <,>,<,>, por: licy) V (t=y).120 Capitulo tema de los mimeros reales Demostracion. 1, ar > 2 <0 = (-2)ERy ra todos 1, € R, una y solo una de las siguientes proposiciones es verdaders lay. Demostracién. Dado que x,y € R, entonces y — x € R. Luego, por la propiedag de ordenamiento, a y solo una de las siguientes proposiciones es verdaderg 1. (y-c)eR, — recy. 2 -(y-a)e Rp es y-2<0 > r>y. 3. y-r=0 ray. EB Propiedades de la adicién y multiplicacion Boro 1. El elemento nulo de R es tinico. 2. El elemento identidad de R es tinico. Dado x € R, el elemento opuesto de x, —z, es tinico. 4. Dado x € R, # # 0, el elemento inverso de x es tinico. Demostracion. 1. Sean 0 y 0 elementos nulos de B. Luego, para todo x € 2° tiene que e+0=2 (3) r+O=2 (32)3.2.Pr 5 i ‘opiedades de la adicion y mul iplicacion 121 haciendo Lue: 0 en (3.1) = G40=5 r=0 en (3.2) = 040=0 Por la propiedad 1 de la definicion de R, se tiene 1=0+0=040= 2. La prueba es andloga a la de (1) y es dejada como ejercicio. 3. Sea « € Ry sean pr y pz inversos aditivos de «x, Inego se tiene r+p = (3:3) rT+p.=0 (3.4) Usando (3.4), la propiedad asociativa y (3.3) tenemos rm=r+0 = pi + («+ pr) =(m+2)+p2 =0+p =p 4. La prueba es andloga a la de (3) y es dejada como ejercicio. Para cualquier a en R, se cumple a-0 = 0 cualquiera, Se debe demostrar que a0 = 0, en otras real a0 es un elemento neutro en R, Demostracién. Sea a € R palabras, se debe demostrar que el niimero ‘ decir, Var € R se debe mostrar que rtaO=n (3.5) Primero se mostrard que (3.5) es verdadera para ar = a, es decir ata0=a, (36)Wd Coapotate abate ley hoe atten rontors Vn oteota, ahatege pad wd deatea av ae Reenmalaaiera, ontancen por (ha) ne ene qe Nowa wate E(t aed) rile beara ) recat we Ol wtlea bd ad) wt l(-a) tape at dea a Certs Como comecnonela de la propiedad: f wo oxinbo ob liverso. minltiplicative dol eoro, Mi efecto, si exist xe debe Foner que wot y adennis volo ha Jo cual es ine contradiecion, Bn By dias eenaciones: ateob arb (af) iwatnonto, fener iia tien solueiin Demustraciin, Como a i entonves exiite a € By tne aha b Con) t (aya) (-u)4b (etal te (a)tb Oe (a) tb Z wih,2. Propiedades de |p ion y multiplicacion 123 ‘lculo del valor de Nota: 2 nos pr ‘ 08 proporciona un buen candidato a solucién. La corroboracién de esto la di amos a continnacién Sea a = (-a) +bE R, entonces, at+a=a+((-a) +9) (a+ (-a)]+b=04b=6 Lo cual concluye la demostra n de la existencia de al menos una solucion de la ecuacién. Ahora mostramos que esta solucién es tinica. Para ello, suponga que existen 71,:°2 € R tales que at+nm=b (3.9) at+zr2=b. (3.10) Luego, por (3.9) y (3.10) se tiene ata =at+zr (-a) + (a+ 21) = (-a) + (a + 22) ((-a) +a) +1 = ((-a) +) + 22 O+2, =0+22 ay = 22. De manera similar se demuestra (3.8). a bss ye aes Se llama diferencia entre los ntimeros a y b al nimero real v=b+(-a) b-a y se denota por z Con esta definicion, la propiedad anterior se resume en: athb=n => b-a124 Capitulo 3. El sistema de los ntimeros reales 124 Capitulo 3. El sistema de 105 2 haber (des: :: SUG : : a ‘imero real Dados los ntimeros a y b, con a # 0, el nt es llamado cociente de la divisién de b por @ y es denotado por la fraceig, mn b 1 = ©. Larego, si a #0, entonces b Otra notacién muy usada para — es b+ a De Ia unicidad de solucién de estas ecuaciones se dee otras propiedades titiles: l.at+b=at+ce => b 2a:b=a:c => b=c, siempre quea #0. b 3a-rt+b=0 => —=, siempre que a # 0. a Hp sted Ws CM NC) Mee ras 1. VaeR, —(-a) =a. 2. Vae R, a #0, (a7!) Demostracién. 1. Sea a € R cualquiera, luego existe —a € R, el opuesto de a tal que a+(-a) =0. Por la propiedad conmutativa se tiene que (-a)+a aed y de la propiedad de existencia del clemento opuesto tenemos que opuesto de (—a), es decir,mY multiplicacion 1 a = 0.un ntimero real ' eal eualquie 0. Ox Hlera, luego existe an! ¢ ae el inverso de a, 1 aca Vor la propiedad connmtativa se tiene que aaa), de la propiedad de existencia y de la proy ‘ 1 de existencia del elemento inverso tenemos que aes el inverso de a~!. es decir, a= (aq!) FRAN tos Oe eee -(a-b) = ~a-b. a)-(-b) =a-b nostracién. 1. Se debe de mostrar s6lo la primera igualdad, ya que la se- gunda es una notacion del segundo término. Considere la primera igualdad, es decir a-(—b) = ~(a-b). Est debe probar que igualdad pretende que el opuesto de a-b es a+ (—b). Por lo tanto, se a-b+ [a-(-b)] =0. En efecto, por la propiedad distributiva y el Teorema 3.1 se tiene que (ab) + (a-(-b)) =a (b+ (~b) ea D=0.Capitulo 3. EL sis 2. Por la parte 1 (a) + (=b) = =[(-a) -b), luego, (-a) - (-4} 3. Para demostrar esta propiedad. se debe de demostrar que el opuesto de ay es el miimero real (~a) + (-8). es decir (a+b) +[(- (-b)] =0. En efecto. (a +b) + [(-a) + (-2)] a+b) +(~a)] + (2) (+a) +(-a)] +(-») (a+ (-a))] +(-4) = (b+0) +(-6) =b+(-b) =0. Demostracion. Si x #0. entonces 3x7! € & tal que rey=O0=> (271). rey) = (271) -0 = (x !-r)-y=0 = ly=0 = y=0. El caso y 7 0-65 enteramente anilogo, Por lotanto.r-y=0 => 2=0 yy <9, 53.2. Propiedades de la adicion Y multiplicacion eorema)3.9; Propiedades Gilat atte 1. Para todos a,b,¢€ B con be #0, 2, Para todos a,b,c, € R con bd £0, 3, Para todos a,b, c,d € RB con bd £0, J. Para todos a,,¢,d € RB con bed £0, Demostracién. 1. Por teorema 3.7 = 4, se tiene z = ac(be)-! = ac(b“'e"!) = ac(e“!b-!) = alee™!)b7! = ab~ . . ab ted" , Agel = ab-'ddé! ebbNd- =ad(bd)~! + cb(bd)~! = (ad+cb)(bd) ad£cb ~ bd : © fabled! = ac(ba)"! bid “ac = 4. eecmron( bod b (3) , a one =o (ed =p (ed) = ; +(e (a!)is Capitulo a. PE sistem de tec mien tention fe) ad LEST SA Seana e Ry nN. Ebitimero a multiplieado 1 potencia n—eésima dol nimere a, yes denotado por a", ede © Pan ae RaZ0, a=, = Para ae Roa Z0neEN av! BSE Uy Para cnalesquiera a,b € Ry ayn © N, se cumple min =a 1. ata” 2. (a™) 3. (ab)" = a" be" i)" an, Demostractin. Vjvrcicio, I Jha definicion dea" = <7, poruite extender ef tearemn (3.10) para exponent de nifimeros enteros,Para cnalesquicra @ gt = amen ata" =a 1 2, (a")" 3. (ab)" = anh" 1G) =m Demostracion. era a,b € B se cumple P+ Qab +0. (a+ b)(a—b) =a? = (a= b)(a? + ab +b?) = a — bi 5. (a + b)(a? = ab +?) =a +08 Demostracién. Ejercicio. a eG Sy SHS) Sean a € BR y n EN. El mimero real 6 es llamado la raiz n—ésima del nimero a, si b"=a es raiz cuadrada de a = 4, pues 2? = 2) b= ~2 es rafz cuadrada de a = 4, pues (-2)? = 0? Notaciéy El mimero b es denotado por «a. DETER Si bic es cierto que (a, con n par, denota tanto a In rate Positiva como negativa de a, por convencion {Ya representaré a la ratz positivaaio Capitnly 3 EE sistema de tos ariieros reales: dod nmmere a. Por ejemplo, vat=9, V6 Scan o.beR tal quea > 0,620 y mn € N eualesquiera. Entonces va siempre que b 4 0. vb Demostracion. Ejercicio. a én nos permite definir la potenciacién de niimeros reales La operacién de radi con exponente racional. Sean a € R.a>O0yr€ Q. La potencia r—ésima del nimero a, denotado por a”, es dado por m Va", donde r=", mn€Z,n>0. n siente Leorena mmestra que al igual que en el caso de exponentes enteres las propiedades del teorema (3.11) se cumplen para exponentes racionale Broce eee Para cualesqul abe Keona>0,b>0y ry, ro € Q, se cumple 1, aa’? ox utr, 2. (al)! = gi, 4 (aby a ; wd) ai pemostracion. Bjere SSE Todo mimero real x puede >, nego se define a’, nal, leg! cona > 0, mediante sus aproximaciones a". Esto requicre *Prosimarse por un utero racio- so de limites de sucesiones que el uso de “S que no abordaremos en este libro. Asumiremos que las propiedades del teorema (3.14) se cumpley Para ryrigry ER THT ER. sbemos notar para e3 or a am Debemos notar que para extender a® a mimeros reales arbitrarios de modo que se cumplan las propiedades del teorema 14), debemos definir @=1 (040) y atal G >0). a [ez Mas propiedades de la relac én de orden Sean z,y,z,w € R. Entonces se cumplen las siguientes propiedades La rte rte0 = acy daar a@z>y: 5. We ER, a? D0. 60O0 = ay<0. Bar<0Ay<0 => ay>0. %2>0 =} a !>0. Wer<0 = a! <0. WO ‘sy a 'sy Demostracién, 1, Se demostraré que (y+ 2) — (+2) € Ry, es decir (y ~Capitulo 3 Por lo tanto, (y+2)- (z+ 2. Puesto que r y-zrt = reisytw. 3. Por hipotes y— rR, ya€ Bz, luego por la propiedad de clausura del ordenamiento y la propiedad distributiva. se tiene que (y-2) -rzE€R, Por lo tanto, ai yz. 5. Por la propiedad de clausura en B.., se tiene weR= > reR, Vv r=0 v (-z) ER, Ry V r-r=0 Vv (-2)-(-2) €F = = rPeR, v P=0v PER, = 250 v <0 = 2? >0.3.1, Mas propiedades de la relacion de orden 133 6. Notar que, por la propiedad de clausura en Ry, se ti aon Ry, se tiene O wy-rz>0 => az< yw. (-7)ER, A yER, => (-c)yyeR, => zy <0. 8 (-2)€R. A (-y)ER, => (-2)(-y)ER, => zy>0. 9. Notar que (a!) 10. Ejerci 11. Se tiene que demostrar que En efecto, Ahora, como 0 0. Esto hinplien que te Ry b) -1<0. En efecto. Supongamos, por reduccién al absurdo, que = 1 > 0 Por orto lado, (=1)? = 1-> 0, lo cual es una contradiceisn. Por tanto, de ambus observaciones -1<0<1. Algunas de las propiedades del teorema (3.15) también se cumplen para la relacién Jas cuales enunciamos en el siguiente teorema, cuya demostracion quedaré como ejercicio. Bey 2,w € R. Entonces se enmplen las siguientes propiedades +s syte ez bhaew => @-z20 =, (@>0 A y>0 V <0 y <0) )ey<0 =» (©>0 A y<0 V r<0A y>0) Itsy Nrdy = x x N0 Osa 0, demuestre que Vr ER x 0, demuestre que Vir €R r—e <2 rty 16. Sean x,y €R. Demostrar quer 0 se verifica la desigualdad .r + z 22. r 18. Sean x,y € Ry. Demuestre la desigualdad 7 + Betis) Intervalos de nimeros reales A continuacién se definimra ciertos subconjuntos de los niimeros reales que son muy importantes y aparecen a menudo a lo largo de los cursos de eaileulo y aniliss real. Definicion 3.10: Intervalos abiertos, Sean a y b nimeros reales cualesquiera (a,b) = (re R:a a} (-00,a) = {rE Ri 0 Pel siter <0 Pero f 5 (late) 20 exe re lebll3.7, Médulo 0 valor absohito 139 » sive [1,1] —1, sim € (~00, -1) U(1, +00) Para todo a.x.y € R, se cumple que i= “iiss tal. zul = [z\lul- 7-H ygo. ly tyl 8. Sia > 0, entonces jlsa <> -aSaSa <= xré([-a,a). 9 > 2s-aVase «= 2 € (-00,-a] U [a, +00). 10, -mlsa =e to-asesSaota ger € [ro — ato Fa). n robe nat a € (oa a] U brash a, 408) < Lal [yl (Denipuualeladd triangular),140 Demostracién. Capitulo 3. El sistema de los mimeros reales 1. Notar que reR=> r>0Vr=0V a<0 =-1>0 = [el=r20V = [2/20 v [el>0 => |2|20 5. We ER, -|2| <2 < |2| reR=> 120 vr<0 = ras] v-r=|2| = -lel 0, entonces se tiene (c20 vr<0) A |t| neacntl, neZz i) <= rélnnt+l), neZ -3, six € [-3,—2) -2, sia € [-2,-1) -1, sia [-1,0) Fl), xeon) 1, sia € [1,2) € [2,3)tema de Tos ntimeros reales [ey}an ee fez A nsarcntll 3. fe] Se < [ef 41, Vee RL .0 re (5,6). 2) [le] - 22] =O 0<|r|-2r<1 = Ws lel <2r4l. Ahora Qe < lel 0 A -Qrti) a>—t , 2 Por lo tanto,3.8. May ne) pemostiucidn. Sea (e] = 4, he z, entonees = kSack+ => ktusrinckine = bk = wtnnt1. Demostracién. Puesto que, Va € R, 3k € Z tal que keac wx-l r—-l n, entonces existe un entero k 2 n tal que keac0— [-2]21 = -r>1 = re (-0,-1]. ANKE [—r] <> —r<0 == r>0 = re (0, +00). Solucién: <0 A [-a{ 6 * coe F [-2] >0 6 ed x>0 A [-a] <0 => ©E(-0,0) A re (-00,-1]) = a € (-00,-1] TE (0,400) A re (+0) = rE (0,40). Por lo tanto @ € (~co, ~1] U (0. +00).a iz) [ey ~? 5° <0 s Recordar que Por otro lado, recordar que Ie] <2, VreR le] =2, Vr eZ. Luego, ay SO [fe] <0 A rez — «<1 A reR\Z. Por lo tanto, x € (-00, 1) AR\ ZN [0, +00) = [0,1) NR\ Z = (0,1) (3.12) Ahora, si x € (~00,0), entonces x <0 y |:r| = —2, luego x— |x| + 2c] +heI) z+) =” rel fel Por ot or otro lado, recordar que kl<2¢ = [e)+2<27<0 = [2] +27<0, asf + []) “<0 +h) ~ SHON ay Mees verdadero para todo x € (~00,0). Por lo tanto, a € (-00,0) U (0,1).MG Capitulo 3. E sistema de los mimeros reales ee Skee Ejercicios 1, Demostrar las propiedades (3), (4), (6) y (7): ¥ las propiedades det (9) ay (12) de} teorema (3.18). 2. Sean x,y € R. Entonces demuestre que a) ~Ir| <2 < lel b)c=0 = Ve>O, [zl Ve>0, [r-yl El b tambien sera um cota superior,