Scribd Logo
Upload

Welcome to Scribd!

  • Algebra 1

    Uploaded by

    agostina suarez
    9 views244 pages

    Original Title

    algebra 1

    Copyright

    © © All Rights Reserved

    Available Formats

    PDF or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document

    Copyright:

    © All Rights Reserved
    Download as PDF or read online from Scribd
    Flag for inappropriate content
    9 views244 pages

    Algebra 1

    Uploaded by

    agostina suarez

    Copyright:

    © All Rights Reserved
    Download as PDF or read online from Scribd
    Flag for inappropriate content
    of 244
    algebra | ALGEBRA roscoe vt ils Mica. “rartormactoneslnele. Cioponatiznesn Armando 0. Rojo Ex Profesor Titular det Departamento de Matematica, Facultad de Ingenieria, Universidad ae Buenas Aires Decimoctava ecicién a BAERIA-EDITORIAL HU EL ATENEO ‘igeb | 18a. ec. -Busnes Ares: El Alerao, 1096 sia) rar | Ros 1489p, 23x 180m, | ‘Advertoncia importante: {ldereche de propiedad de esta obra comprendapara su aur la fasuling ds Seponer de els, pubican, Yedocr, aaptriaoautoriar ‘ raducoln 7 eorodusia an eusiglr forma lo parents, por Imodios siocrdnsos 0 mecancas, neuyendo elocpas,grabecon (ragnestonca ycuarersotoma da amacenamiata e intomacio, er consiguarte nadie Hane feutad a erie or derechos prectacor ‘Sh pormga autor y dot ctr. po eer Les infacicrs sen repiidos con tas pons. ol aneuo 172 y ‘eneordans Wl Codgo Fonal arte. 2. §, 10,71, 72 8y 11.723, rimrenones svtaneda, Mn! Geara6353, ‘Rerareie pevnca So Bue Ae IMPRESS ENLA AAGENTIVA PROLOGO La encohansa de loe contenioos fundarientales cel algebra actualy el uso de su peculiar tecminologia son una realided wn iodos los cursos biticos a nivel uriversitario ¥ profesoral. Creo que hay do; razones principales que dan crédito a esa decormi- rnacién: una asocieda al progreso de Jas ciencas, a /aunidad soncaptual y. en whtima Instancia, af mundo de la intelizencia: a otra vinculada estrachamente 2 sus aplica- clones on casi todas las disciplines oe wterds pristico y de vigencia cotidiana. ‘No sseapan 2 esta considerscianes lar difeuliadee que se preseatan inicialmante ante 10 que es, de sigina maners, nuevo, Precisaments ea constoncia me he movida ‘edactar ese texto elimental de digebra, en el que he procurado desirollar sus conte- nidos con ura metodologia que estimo aproplada. Se han intercafado ejemplos que, ‘ademés de ilstrar la teorfa, hazen pose la adquiscién de métodos adecuados de trabajo, Un oetalle que juzge de interés pars los lectores es la espuerta que sed 2 0s problemas propuestos o al menos la sugerencia de pavtas para las demostraciones que "iguran en ‘os trabajos préeticas. oy desimonio de mi sgradscimien's @ los amigos que me han ayudedo y stimulator en esta tarea, y 2 Te Editorial EL ATENEO, cuyo cersanal no ha eecat- mado esfusrzos para resolver lee dificutaces inherentes 2 Is publicacién det texto, APMANDO 0. ROO CONTEN/DO ana orden puede vr cumpliga ono. Eo aaa ig snaeo. dina, que sm declaitvas, ten sentido Sear S00 SRrdadereso falas. A étas les lamamos proposiciones. Definisiin ‘roposcion es toda oni respecte de la cual puede decse sie verdodera fate 2 NOCIONI DE LOGICA Es decir, proposicion es toda oracién decarativa. Toda proposicion ests asvciada ‘un valor de verdad, el cual puede ser verdadero (V) 0 bien falso (F). Las emaciones GS) y (6) ton diferentes desde al ponte de vista grimstical; ol abyata dirct> de la (5) e5 ef sueto deb (6), pero ambas tienen el misiro sgnificato, y las onsideramos como la misma proposicién, Podemos decir entonces proposicton es el signficado de toda oracin declaratva 13. NOTACIONES Y CONECTIVOS Las proposisiones gensricas son denotadas con las leas p, q, 1. etc. A parti de proposiviones simples es pasihle generar otras, simples « compueetas Es Sec. se pueze operar con propesiciones, y segin sean tale: operaciones te utilizan ciertos simtolos, lamados conectivos igicos. conestvo perc asada Signiiendo ~ Negacién 20 p 0.90.6 cierto que p ’ Conjuncién 0 producto légiko = py “ Disyuncién o suma logica 7 04 (en sxntido inciuyente) = Implicasion implica q 9 sip, ertonces g - Paly silosig Pog (er satido 1.4, OPERACIONES PROPOSICIONALES Definiremos las operaciones entre proposciones en el sentida siguiente: dadas tuna 0 dos proposiciones, cuyos valores de verdad se conocen, se trata de esracterizar la proposicion resultante a través de su valor de verdad. Se supone que en la eleccidn de estos valores se tiene en cuenta el buen sentido. 14, Defisicion Negacién de la. proposiciin p es Ia proposiciin ~p (no p). cuya tabla de valores de verdad es Negacién ~ -[-. Vale Fly Se trata de una operacién unitaria, pues a partir de una propasicion se obtiene tra, que es su negacion, OPERACIONES PROPOSICIONALES Bjemplo 11. La negacion de P+ tolo hombre es honesto es ~p: no todo hombre es honesto o bier: ~P! noes cierto que todo hombre es honesto ~p hay hombres que no s08 honestos, ~p: exsten hombres deshonestos ta cual es V, ya que Ia primera es F. 1.4.2, Confuncién encion Conjnson de as poposones py @ I roposicinp * q (py gh. cua tabla de valores de verdad es. 2tatera Vee ee vir F rly] F Fie F La tabla que define la operacién establece que la conjuncién solo es verdaders si lo san las ds proposiciones componentes, En todo ou caso es fsa. Fiemplo Si declarammos 1)3 es ua niimeco impar y 2 es un nimero primo % trata de bi eonjuneisn de las proposiciones + ps 3-68. un ndmero impar 4 2es un aiimero prime Y Por ser arabas verdaderas, la proposicién compuesta es V. fi) hoy es lunes y mafana ¢s jueves ‘sta conjuncién es F, va que no coexisten kas verdades de p y 4. 143, Disyanci6n Definician Disyuacién de las proposidones p yg es ln proposicién pv @ (p 0 a) cuye tabla de valores de verdad es NOPIONES BE LoGica. Pl¢[rv a viv] v viel ov hy elel & al ction 0s uieada en snide inlet, ya que a vera de lvancion se eno de qu al meno: ina dels propio! se. ae lercuse onda ta pasos aizada en sentido excoyens eluents ts aig lima conf cn el inte acs 1 materia se uta te divuncin dina por a tabla grcedente ts aguta toda posibilidad. uae 7 La disyuncon s6lo «& F en el caso en que las dos proy sea ‘que las dos proposiciones componentes Fionplo 1-3. 1 hoy +s tunes o martes ceresenta la Gayuncion de ls proposcions 9: oy es lunes y 4: hoy es martes. bl sencido de la“tonjuncién’o es exleuyente, ya que p y 4 no pueden set simultines mente verdadess. No obstante, la proposiién compuesia puede snalizase a la lus Ge tabla prepvesta, a avés de bs tes titinos renglones y ser fn sas ls ii} regalo los libros viejos © que no me siven 5 la disyuncion de las preposiciones regalo les libros vijos 1 regalo les libros que no me sirven EI sentido éel 0 es incluyente, pues si en efecto regalo un libro que es vie. v jie ademas no ne sive, entonses p vg es V 1m) 3 es an a ero imps @ 4 és un mimero primo «> aa propoposicién V, pues ta primera es V. 14.4 Implicadéa 0 Condicional Definicion Implicacién de tas proposicionés p y q esl sla propo: Sip entones q) cuya tabla de salores de werdad es LUPIREACIONES TROFOSICIONALES. eene|s menels Las proposiciones p y q se aman antecedente y consecuente de ta inplicacion > ondicinal, La implisaciOn usual en mlemdtica 25 formal an el sentido de que ya es recesarig que el consecuente se derive Yogicamente de. antecedente: cuand> sto octrr. la implicacion se Hara material y queda ncluida en a primera Las lablas de valores de verdad se cefinen arbitrariamente, pero respetando # sentido comin, Enunsiamos la siguiente proposicion: SI apruebo el examen, ENTONCES te presto el apunte” (1) Se tts de fa implcacién de las proposiciones > apmuebo el examen, 4 + te presto el apunte Interess inducie la verdad 0 falsedad Je la implicacin (1), en términos de la Vo F de las proposicienes p yg. El enunciado (1) puede pensarsé como un ‘compromiso, condicionade perp, y pocerros asociar 3 verdad al cumplimiento del Compremiso, Es obvo que si p es F. ex decir, si no aprucbo el examen, queto liberado Wel comproniisn, y preste © no preste el apunte la proposicion (1) es V. Fs decir, si el antecedente es Fla implicacion es V. ‘Sip os V, en cuyo caso aprutbo el examen, y no presto el apunte, el compromio no se cunple, y a proposes (1) es entonces F. 5i py q son V, entonces ls implicacion es V percue el compromiso se cumple. ‘De estz mode,, le implicciin s6lo es falsa cuardo el antecedente'es V y el sonsecuente es F Eyemphy int 1a hoy es Innes, entences mafana es martes sla implicacién de las proposiciones hoy es lunes 4: maftara es martes Como no puede darse antocedente V y consecuente F, ta implicaciénes V. ey le-le P eV por ser ef antecedente F NOctONts DE LOGICA 1.45. Doble inplicacién © bicondicional Defmcién Dobie impiccién de tas proposiones fy es a proposiclin p = ¢ tp si 60 sig), cuya tabla de valores de verdad es a vp later viy|¥ viel oF ely] of Fle| v La doble implicacién 0 bicondicioral sélo +5 verdadera si ambes proposiciones tnenen el mismo valor de verdad. La doble implicacin puede definsse como la conjunciga de una mplicacion y su ‘eviproca, De ese modo, la tabla de vilores de verdad de p = q . puede obtaverse sdioate la tabla de (p “> (4 =p), como sigue eta [e «fuse lw sornaen vfv{_v v Vv ve F v F Ffv v F FE Fie v v v Lyemplo 15, i) Tes equilitero siy silo si Tes equiingslo «3 fa doble impliacién de las propos ones Ds Tes equiliteo Tes equiingato Toda ver que p sea V, también In es q. y andlogamente, si p es F, @ es F. De ‘medo que la dobie implicadon es V. = D1=6 sy sblosi a Jas proposiciones son Ja Goble mplicacion propuesta es faba sip es Fy @ es V, Em tos demés casos & ¥. ‘CORDICIONES NECESARIAS Y SUF 1.466, Diferencin simértica simétrica 0 disyuacién exclayente de las proposiciones p y q esa np ¥ 7 (B 0 qen sentide excluyente) cuya tabla de valores de Pla [ea vpvT F viel v ely] ov Fle] F La verdid d> p x ¢ exté carscterizada por Ia verdad de ura y sélo usa de as proposiciores comporenes. . Es claro que p ¥ g equivale a ls negacion de'p = 4. 1.5. CONDICIONES NECESARIAS Y SUFICIENTES CConsidecamos la tabla de valores de verdad de la inplicacion Te @ fam c qos V, J entre ellos hay uno en que p es V.enel unl resulta serdadera Es obvi que nos referimos al primer reagon dela tbl, y se tiene que si p = es Vy p eV, emtonces q cs V. Se dise entonces que = antecedente pe conciciin sufciente para el consecutrteg En cambio, a tee, nada podemos deve de q, puesto que puele ser V3 F. Por ova parte, csaado p = q_ ex V. si q es V, entonces p puede ser V 0 F:mas para ue p sea V se necesta que q 10 sea. Se dite entonas que q es condicion secesria_ Paap: Resumiendo, i p= q es V,entonces p es conicin sufciente para ¢ ¥ @ 6 condicén necetaria ara. Estas condiciones suclen exprearse as 4 Sip (condieién suficiente) sélo sq (condicin necesiai 9CIONTS 12 LOGICA emplo 1 La siguinte implicscién es V: “SIT es equilaera, ENTONCES T es idsceles" En este iso ps Tes ecuilétero 4: Tes isésceles YP es coudicién suiciente pura q, es decir, que un tridngulo sea equitero es fufleiente para asegutar que sea isécees. Por otra patie, T es equiitero sOlo ies Bosceles: es deeu, que un trdngolo sea wsOsceles es revesario pura que sea equilitero Sea ahora la doble implicacion pq. es decir (p = 9) 7 tq = p) Si pq eV. entonces p= q @ V ya ™ p eV. Se tiene. atendindo a te primera, que p es condisén suficente pa g: y, triendo en cuenta ls segunie ‘mplicacion, ocurre que p es cordicién necesaria part 4 Ex decir, si p « ges V, entences el antecedente p es condicion necesaria y suficiente para el conszcurnte Aniloganente, en el 230 dz doble imptcacién vevdadera, « consicvente y es tambien condicign necesaria y suficente para el untecedente p, Femplo 17, La propesicion “T es equilétera SL Y SOLO SI T es equiings sla doble implicacién de las propexiciones : Tes equiltero 17: Tes equiingulo Aquélla es V, y cualquiera de las dos proposiciones es condicién nevesaria y sufciente pura la otra. L6, LEYES LOGICAS Consideremos ta proposicion tena pad o cay bla de valores de verdad es pla [pra] e-aee [he-o lve viv] v ¥ 7 vie} F F y Fly |v F 4 Flelv ro 4 Leyes Loaicas: ° indspendientemente de Bos valores de verdad sroposicion compuesta (1) ¢8 Vs ‘ in eee fentonces que tal proposiiéa es uso de Ian propsions componties se tautologia o ley l6sica. La propasciin p = p es V cuslquiers que ajemplo de una ley Hozica, En cambio p A ~p 6s F, Aiccion, En el ciiculo proposicion: Jemosteacion se reduce a 12 cont verdad! sea el valor de verdad de p Es otro cualquiera que sea p. Se dice que es um conta sa se utilizan bbs siguientes leyes 0 tautologias uy ecvion 3¢ la correspondiente tabla de valores de 1.6.1, Iwolucion, ~cpeP el modo de leerla es: “no, no p, equivale ap”. 1.6.2, Kdempotencis waver (pypleP 1.6.3. Conmutatividad n) deladiyuncon pv aed YP bydetaconjunca ps a7 a *P 1.6.4, Asociatvidad a) de ta disyuncion wvyavrepy avy bp De ta conjentign norep san 1.65. Distributividad incon respecto de la dsyuncion a) de la con (vgrreisnv arn +) de a dinyuncién respect de a conjuneion wagvreevar avn 0 NCCIONES DE LOGICA 1.66, Leyes de De Morgan 4) La negacn de una dicyancin ex aqualonte as conjunc de tas negacones oe) ee )La negicion de una conjincién es equivlente a la disyuncée de las negaciones PA Menr v mG Frenplo 18. Tabla de valores de verdad de a dstutvidad de la coniunsin resge~w de (VO reipanviarn (ada valor de verdad de p puede asociane a dos valores de verdad de @, y por ‘ada uno de estos pares de valores se tienen dos posbilidades are t:'en sonsecuencia, cesultan 2" =8 cenglones en lt tabla, Si se dan proposiciores, on la table hay que analizar 2" renglones Por otra parte, es porible simplificar la confeccicn de la tabla, como se indica a ova 4 7 =@rnva@rn VAvaven Ya ava lavanlevalavatay vyvielr(ly|rieif vveivivily |vivie erage ealivy ar ere i Vata valev | vie ie Fyvteterily |eied¢ reetetviy | ripe Ferieir{y |rieie Eyemplo 1-9. Cenfeecionamos ja tabla de valores de verdad de Ia siguiente ley de De Morgan: ~@ serpy ng ~ pag = pv Fav vv|]V]F tPF TF viverlyirpiviy virervivivivie vierr}viyjiviv INPLICACIONES ASOCIADAS Ejemplo *-10. 1a proposicién (Paavo ces una ley lozica, pues la tabla hos mest que es ana tqutologia. 1.7, INPLICACIONES ASOCIADAS cto: en conexién con 6, s Sea el condicionsl p= y, que Ihmamos direc : presentan otros tres, obtenidos por pernutaciones o negacienes del artecedente y asp reciproco spn contrario ~a= 7p contrarreciproco Las cuatro implicaciones propuestas se Haman conjugadas, y cualquiera de ells puede torratse com> directa. El siguiente esquema nos proporciona la relaciin que Jas vincul: resipocos ane ty g oy : 5 os pena repro yp Es Fail verificar que las implicaciones contcrreefprocas son equivalentes, es decir, los situientes bicondicionales son tautolo wea ecas~p (@ar) eps i contarteirocs,y no podemos Sila impasn dicta eV, también sentir. ¥ 8 podemon afirnar iver. e a reeprocs © de la contaria. Pero 1400 verdad 2 NOCIONES DE LOGICA, coplicional y su reciproco © contario, entonces sen verdaderos 10s euatio, y las ‘roposiciones antecedente y consecuente son equivalentes, Se presents continuamente la necesidad de demostar la verdad de p = q, y de 10 con ke expuesto se presentan dos métodos: I) direc». Si p esF, nada hey que probar, pues en este caso pq es V. Sip fs V say que esiablecer qu: el valor de verdad de 4 ¢s V. li) indirecto. Si q es V queda establecida la verdad de p =. Pero siq es F ‘nay que examinar p y Megara establecer que su valor de verdad es F. : 1.8, NEGACION DE UNA IMPLICACION ~2) sou eyuivalentes, como to monstrs fa sigwente table @ = @ = ~ ea viviv] Vi VIVEF ee eve vs vay, eivivilviviree Fivie{[vivirery a, la megacién dela primers equivale a la negaciin de la segunda, sw eget ~al ¥ pee 1.6.1, se tiene ~(p =a) (ps ~a) Es decir. negacién de una implicseiin no es una implicacion. sino la vonjuncién delartecedence con la nagaciin del consecuctte Eyemplo rt Sean las imlicaciones i) Si hoy es lunes, entonces mafana es micoles, ) tes r=cy Ses negaciotes son, respectivamente, “Hoy es lunes y maftana n0 es miércoles” wre-ta Pee [RAONAMIENTO DEDUCHIVO 3 1.9, RAZONAMIENTO DEDUCTIVO VALIDO En maten‘tica interesa el tipo e razonamiento Manado decuetivo. Lismamos razonaiento a un par erdenado ({7%} ; ¢), siendo ‘p; } un Conjunto Fito de propsiciones, lamadas oemisas, vq una proposcion,Wariada conclusion, respecto fe cual se cfirma que deriva de las premisas. Uh razouaniento es deductive «iy s6lo a ls prrmisas son evidencis de la rerdid de la conclusion, es decit, si Py. Pa...» Pm sO verduderas, entonces rerddera. Un razonanisnta dedactio es vilido si ne es posible que las pemisas ‘Ean verdadetas y la conchsiot fas, De un taionamiento no se dice que es V0 F sino que es vid © m0 Jamamos rela de irferencia, a todo esquema valido de razotamiento, indepen: diontemente ds la Vo Fe las proposicione: componentes, De este moto, toda tog de inferencia es wLteliica. in razoramiento decuctivo es vlido cuando el condicional cuyo antecsdente es ta conjuncién de las prema, y el consecuente es la conclusion, es tautoligio. Son ejemphs de reqs de inforencia: Wey del madus poner Sip yp © 4, ENTONCES 1a notacién elisieaee by Ley del modus sotens: Este esquema es 1a Rotacién clisca del condcional Wpea) s ~ulerr ) Ley dal slogismy potetica poa oe) per Es decis,laproposiciin ((@ =+ q) * (@ =D] = (p=) esuns tautclogia. En cambio, el conckcional [7 > q) Aq } =p mo es una forma vilida de “ NOCIONES HIE LOGICA rmonamionte, ya que la comespondion'e tbla de vilores de venlad nos muestra que noes tautolegico. Flemplo 1-12 4a) Justifcar la validez del razonamiento psa ng ps) En lugar de confeccionar la tabla del concicional entre lk conjuncié de las premisis ¥y la conclustin, harems uso de ls leyes del sélculo proposicional, a fin de simplifcar fa situacion. La segunda premisa es equivalente a la contrarreciproca q =r: por la ley dal silogisme hipotético, dla primera y de éta, resulta p = r. La dltans premisa es V. y en comsecuencia r es F. y como p = res V resuta necesariamente quep es F. Ly fercera premisa equivale ap V1. de acuerdo con una ley de De Morgan, y por set > falsa resulta la verdad de z. Ahora bien, sierdo ry r = ¢verdaderos, este la verdad des. por 1.9), ‘bj Justfcar Ia valdez del razonaméento cuyas gremias son Hoy lueve o hace fri Hoy lueve ono hace feie, ¥'a conelusiin: Hoy Lueve, En lenguaie simbdliv s¢ tiene pva oeaveese ° 4, 0 bien ~g es F: cualquiera que sea el caso, por ser las disysnciones verdaderas, resulta que p es V. De otro modo, kz conjuncion de ambas disyunciones, por ls fiewibutivided, es equivalente a pv (@ 4 ~q), La verdad de aquélas asegura ly verdad de ésta,ycomeg « ~g 25, result a verdad de p L1G. FUNCIBNES PROPOSICIONALES, SU CUANTIFICACION EI simboio P (x) es la fepresentacién de un predicato 0 propiedad relativos 3 sbjeto indeterminado x, perteneviente a certo usiverso 0 es um Groponsbn, AT expresions de este sip se ls lana “inconer © exems ros Definiiin Funciin proposicional en una variable 0 indeterminada x es toda oracién en & aque figura x como sujeto u abjete directo, li eval se convierte en proprsicion para cada especificarion de x, En nuestro ejemplo resultan proposisiones como P(-4)-—4 ssimpar CF) PC 5): Sesmmpar (V)etc. Se presertan también funciones proposicionales con des variables 0 indztermiradss, Sea, por ejemplo P(x, y) x esdvisor de y Lo mismo que en el caso anterior, six ¢ y son enteros, P(x ,) noes proposiciba ya que mo podemos afrmat la verdat o falsedad del enunciado. Mes para cata particulacizacion de valores se tiene una proposicion Pi-2,6):—2 esiivisorde 6 (W) Pi 12,6): 12 esdivisor de (F) |A partir de funsiones proposicionsles « posible obtener proposiciones general mediante un procesO llamado de cuantifcacion. Asocados a la indeteminada +. introdue.mes los simboles ¥ x y 3 x, lamsdos cuantificadores universal y xistench tn.x,respectivamente. Las expresiones Pari todo x, se verifica P(x) Exite x, tal que ve verifca P(x) sedenotan medianie Vi PO) a ax/ FG) @ ¥y cortesporden a una funcién proporiioral P (+) cusitficada universsimente en el primer eas, y exisiencialmente en el ssgunto. Un funciin proposicional cvanificads he 6 NOCIONES DE: LOGICA adquiete el cardcter de prop dsimos sn. Tn efecto, retomando el primer ejemplo, si “Todos los nimeros enteros son impares”. (1°) es elaro que hemos enurciado una proposiisa general y relativa a todos los aimeros énicros, cuyovalor de verdad es F. Una traducciGn més detallada de esta proposicion corsiste en ‘Cuslquiera que seas, x es imper”., Es decir Ye x5 impat Si cuantifiamos exsienciimente la misma funcin proposicional,se tiene 2x/.xesimpar Osea “Exist x, tal que es impar”, O bien “Existen exteros que son impares”. O més brevemente “Hlay enteros impares” EI valor d: verdad es V, y en consecuencia se tata de unt proposicén. El ‘cvantificador exstencial refiete a, por lo meros, un x, Es obvio que una funcién propositional cuatificada uriversalmente es V siy sso si som V todas li proposiciones particulares asociadas a aquéla, Para asegurar la verdad de ana funcién proposicional, cuantficada existenclirente, es suficiente que sea veréaderaalgusa de las proposiciones asociadasa la Funciéa proposic onal. Un problema de interts es la negacién de funciones proposicionsles cuantiicedas. La regacion (1) es “No todos os enteros son imparts” ces decir “Existen enteros que no son impares™ yensimbolos 3x/~PO) Entonces, para negar una funcién proposicional cusntiticada universalmente se ficador enexistenci. y se nieg: ls funcion proposicicnal La negaciinde “No existenenterosimpares” Es dec “Cualquiera que sea ef entero, noes impar” © loquees lo mismo “Toco entero es par” En simbolos veisPan siege eeen en sn Vie entone: ‘ecistencialmente se cami Aparece clara la euantiicacion: Teniendo en events la forma ée negar ura funeion proposicionsl cu urivetsalmende y una iniplicacion resulta Esdecir CUANTIEICACION ” ar um fnciénproposconal cuantificade iene rh: 334 ne o st seine uation en univers se nes la ficou iguientesequivalencss ~[vx Pop] © 3x/-PO) ~[ax/ Pi] & VERO) Ejewplo 1-13. Sea la proposition Todo etque ta conece, ia ad ducie ta wagasisn al Nos interes eseribitla en lengiaye simbOlcy, nepal. y retraducie 12 nega lengiaje ordinario. 7 iia propesicion dada pusde enuncinrse: ‘Cualquiers que sea la percona, sls conoce. extonces ta dria, deuna implicseion de la funciones proposicionales Pid: x leeonoce Qis): x la odmira se tiene vx: P(x) #908) ntificada P(r) 2 *QU0 Y pasando al lengua ordinaria: Hay personas que la conscen y no fs admiran, jemplo iit Consideremos a mama cuestiinen el siguieate cas Todo entero admite un inverso atv. “Cualquien. que sea elentero,exise otro que sumado aél da cero". Intervienen dos varables y la funcion propesicional PE yin ty=0 8 NOCIONES D2 LOGICA crcurTos Locicos, La expresisn simbéica es entonces Y para p sissF vaay/aty oo Su nepacisn es lecisel interrupto se ccna sip es Vy e abre sip es F. x/~“13y/x+y=0) Ee mm area is Las operaciones proposicionals pueden “epresentarse mediante circuitos con tantos Es decir interruptorcs como proposiciones componentes, combnadosen sere o parlelamente, ax /vyiety #0 +) Cenjuncién {La traduccion al lenguaje comin es “Existe un envero cuya summa con wualyuier vuo,es distinta de cote a 7 Este cirauty admite el passe de commence, es decit, la verdad de pg, slo silas Ejemplo 1-15, tosson V. Sea la preposicion 4) Deyuncién. Esté representada porui éircuit en paralelo Hay aluranos que estudian y tabajan, B Su enunciado sugiere un cuantificador existencial y dos funciones proposicionales, - —F P(x): x estudia | — Qex): x trabaia 1 En forma simbélica se tiene 4 3x/PQ) A Qe) La falsecad de p vq, es decir, el hecho de que no pase coriente, sole se verifica enol caso dela falsedad simultinsa de p y Su negacion es i) taplicaci6n. Como veisPo) > Qe manera Mt todd ea e acuerdo 2on 1.8, aplicando ua ley de Ds Morgan y la doble negaciGn, se tiene ve i-P@) ¥ ~Q() Traduciendo al lengsaje ordinatio Cader a En consicuencia.elGircuito asociado es *Cunlquiera que sea el alumno, no estudia 0 no trabajo”. : 1.11 CIRCUITOS LoGIcos La verdad de una proposisién puede asocarse al pasaje de comiente onan circuite elictrico con un interruptor. - Para representar a p, sies V, se tiene 5 is) Dferencia simétriea or 1. Usilzando sucesivamente 14.6., 14.5. una ley de De Morgan, Ia negacién de 2» implisaciones y la las equvalencias NOCIONES DE LOGICA ributvidad dela disyuncin respecto de la conjuneién, se Yemen sar eae ected sample ong ~arne erm are (Pv DAY MACY AN CTY ee acne teats ef ceito P 5a | { a “4 Fjemplo 1-16. 1) El ciruito correspondiente ala proposicion buen, tu @wraved « p @ Ae =| — a fe simplificar aquélia. PY ~4 P o a es sufciente ove p 0g sean V. ‘exRcuiTos L9GICos A ii) La operacién propesicional que caracterira a siguiente circuito | TRABAJO PRACTICO | 1.17. En el libro Hijos en libertad. de A. S. Nei esti escritas as siguientes ps Mis maestros hicen que tedas la leciones sean aburrides 9 : No seeptan las respuestas que no figuran en ‘os libros. 7: Imponen un cimulo de normas estipidas CConstrui ls prozosiciones prq.vaver. (Prager 1-18, Escribr en forma simblica le siguiente proposicién compuesta que figura en el “La chatura y eltedio de ciertas dscipinas excolares se crasmiten a los maestros, ¥ las escuelas se Henan de hombres y nujeres de mentalidad estrecks,vanidosos. ‘cuyo horizonte estélimitado por el pizsrron y el ibro de texto”. 1-19, Confeccionas la tablas de valores de verdad de las proporiciones Deroe i)~py gee sma 1-20, Negat las proposiciones construidas enel ejerciefo 1-17. 121, Proponer las siguientes pro>osiciones en forma simbélica, negarlas, y etraducir fas al nguaje comin: 1) Noes justa, peromantiene el orden. ) Los alunos conocen alos simtladoresy los desprec:an. ii) Silos ‘lumnos conocen a Tos simuladores, entonces los desprecian 1.22, Determinar si las siguieates proposiciones son leytslogicas iypnara ile =a s @= =n ii) pp Wpspva FRABAIO PRACTICOT a 23, Simpificr las siguientes poporicions ii-cp v ~a) He vO veep ad 1-24, Sabiendo que pv qs Vy que ~q 8 V, determina el ior de verdad de (evans ~adaa + 4-25, Deterninar, en cada caso, si la infornacién que se da es suficiente para conceer el vdlor de verdad de las siguientes propesiciones compuestas. En ciso afirmativo.justficarto ilipemerr + rev Wv MeCP sD: aeV Wir ae@vn Wp. Wer: perev, pesVyresk + dh26, Los valores de verdad de fs proposiionesp, a, ry $ son, respectivarrente, VF F, V, Obtener los valores ce verdad de lipvavaas poole lp vrera 1-27. Nega ls proposiciones ib 3x/Pay v ~Con | ve'Pi9 = 00) | vasyiey a6 [26 vesar que pu prota stivdenca de ropescones ryt ; sce enon entrain pea dar rary sep -28, Dada: las proposiciones 1” Eleuadrado de todo nimero reales mayo: que 2. ii! Enisten enteros cuy» cubo aurentado en 1 es igualal cubo de siguiente, Ienguaje ordinari. 1-36, Constiuir un circuito correspondientea la proporicién | if, Todo el que estudia tivnfa, ‘expresaras simbélicaments, negar las expresiones obtenidas y retraducicas al Dn m~OV ORY paw ” NOCIONES DE LOGICA 1:31, Se tiew el siguiente circuito: D 27s Lt 4 ) determinar la proposicin correspondiente 4 ) simplifiar ésta, y construr et circuito asoviado ‘un mimero es unpar entoncts Expesar simbelicamente l siguiente teorema: su eiadrado es impar™ Enunciar el contrarreciproco, el cortrario y elreciproco Demostrar el primero. 1-33, Siento psa. bevimpar @:ay bson impares Denostrar p> 134, Justficar el razonamiento puna ~qer pvr > 1:35, Le vismo an siguiente caso: 1-36, lnvstigar a videz del rzonamiento siguiente: Siel interés no es egotsta, entonces es, ia fterza vitsl de las personas y es cespontineo. El nterés noes la fuerza vital de les personas y es espontineo interés es egoist Capitulo 2 CONJUNTOS 2.1. INTRODUCCION EI propésito de esta seccién es @l estudio de“l teoria intitiva de conjuntes. En ese sentido, jos témines “conjunto”, “pertenenca” y “elemento” son considerados ‘came primitivos, Sobre esta base e definen la inclusion y la gualdad,y se estudian sus propicdades. El mismo tistamienta se hace corresponder 2 las operaciones enire ‘conjuntos. El zapitulo se campleta con al desarollc de ejemplos en los que se pretend ‘master un método adecuado de trabaje DETERMINACION DE CONJUNTOS 22.1, Notaciomes Para denota: conjuntos utlizaeros generalmente Jetnis mayisculas, y para especiicar elementos se usarin lets mindsculas, 1 menos que dichos elementoi sean, 450 vez, conjustos, Pam indicat ls pertenencia ée un elemento a un conjunto seré Utlizado el simbolo €. Le proposicion “a € A” « lee: “a pertenece a Ao bin “el elemento a pertenece alconyunty A” Sunegacid #5 “a ¢ A", que & le: ano pertenece a A” Sie conjunta 8 esta formado por lo elementos a, 6 ¥¢ _ 62 eve caso & nombian tos lot elametos del conjunta, yo dee que st dhreminadoyorextensir. Testis uss pra caratrzatconjnts mumdzicos ones Suen IN conjunta de los mimeros natuntes 2 sonjunte de los nimeros enteras 6 conlUNtos Q coxjunto de ls nGmeros racionales RR cosjunto de ls niémeros reales € cosjunto de fs nerve cor La representacién por extensin del conjunto etyos elementos son 1,0 y 1.25 A={-10n} Es fic ver que se trata del conjunto de los nimeros enteres cuyo valor absoluto &: menor que 2; en est? enunciado hacemos referencia a elementos del cosjunto Z. de lo: ‘nimeros enteros, el cual st llama referencial o universal: alemis, estamos interesco: +n aquellos que satsfacen la propiedad de ser. en valor absoluo. menores que 2 La noncion cormspondente es a (xeziwc2} ¥y st dice que et conjunto ha sido determinado por comprensin El conjunto universal depende de fa disciplna en estudio, se ija de antemano. » esti formado por todos los elementos que intervienen en el tema de interés, En genera se denotaré con U. Definicioa ,. Un conjunto se determina por extension si y sélo si x enumeran todos los elementos que lo constituyen. Un conjunto # define por comprension si y Slo si se da I propiedad que caracterzs asus elementos, a ,rrrr—— CC . ‘o mis brevemente. i U esti sobrentendido {«1P@} ¥y se lee: “A es el conjunto formado porlos elementos x, tales que P (x)"-P(x) es una uncién proposicional, y un objeto del universal sertenese a1 conjunto si y séle si verifica la propiedad. es de:ir aed Pa) a V En consecuencia a@A @ Pla) a F 2.2.2. Conjuntos especiales Extendemor la ancién intitiva de conjunte + las casos de areneia de elementos y de unicidad de clementos. mediante la introduesi6n 4 los conjntos vaeio y untaria, DETERMINACION DE CONJUNTOS » {Un conjurto vaefo et aque! que carece de elementos. Un conjunto unit formado por 1n Gnio elemento, ‘Una propiedad funsién propesicional, que & converte en proposicin filsa tojos los elenertos dé universal. caracter:a por comprensién un conjunto vacso. Designaremos con ¢ al conjunto vacto, y puede definirs simbélicamente asi oe (xine) En este caro ls propiedad relativa ax es P (x): # x. la cual resilta fa que sea, 'SiA esel uonjunto cuye Gnico elemento esa, eseribuemos cualquier, aa{a} Ekmplo 21 Derermina: simbolicamente y por extensi‘n Ids siguientes conjuntos definidos por ccomprensin: 1) Acsel conjunta de los nimeros enteros cuyo cxadrado esigual a1 En este cao ft propitdad que caracterizaa los elementos de Aes la conjuncién de PujiceZ y Quy: Envonces (xixez tat} ¥¥ somo universal puede sobrentenierse el cosjunto de los miimeros reales racionas. ‘Siproponemcs aZ como universal, puede escibirse . ‘Obviameme. by determinacién por extension es "cae (-1a} : ‘Considerardo s N como univer. la propiedad caracteristica de los elemertos de B sla conjunciin de Pix? y QG):x<6 ‘ue podemosexpresar Rey D consiste an la metiatriz det seprento AB Exempla 23. Tl conjunt S esti formado pores posible resultadee qu se obtienen a dos ae cates yaa la pera moneda soc (cara) y$stlle)¥ por sada un? Tectog e even las mismas positidades para la sogunds, 25 decir es sat Entonces 0 coNtuNTOS 2.3, INCLUSION 23.1, Concepta Sean Ay B dos conjuntos Si oourre que todo elemento de A fertenece a B, diremos que A estéincluide en 3, 0 que Aes parte de B, o que A es un suboonjunte de 3, y eferibimos ACBL Definicién >< } ACBeVxixeA >reB Esta definicion tiene el siguiente significado: si sabemos que ACB, entonces lt proposicion Vx:xeA =xeB es Vi wecibrocamente, sj est proposcién es V. emtonces se verifica que A CB. En repetidas ovasiones s© necestara demostrar que un conjunto es parce de otra: ‘mtonees. de acuerdo con la definicién, serd sufisiente demostrar que cualquier ‘lemento del primero pertensce al segundo, Teniendo en cuenta la equivelencia enue una impli incon anterior puede expresise asf con y Ie contrarreeiproca, bk ACB eVa:x€Boxea |Ademas, considerando bb equivatencia entre p= q y ~{p » ~g), podemes teaducir la misma defincién de h siguiente manera ACBe@ax/xeA s <#B es Es decir, en la inclusiGn ne puede darse que haya un elemento de A que no ertenezcaB. Sobrentendiendo el cuantif:ador universal, pare descamar Is notackn, eserbi- ACB oxen oxeB 23.2. Diagramas de Venn 4 Existe una representacién viual de los conjuntos dade por diagramasllamados d= Venn. En este sentido, el conjurto universil suele representarse por un rectingulo, ¥ a los conjuntos por recintos errados. Es claro que todo.elemento ds A perenzce a U, es seeir, AC U, Sean A,B y C subconjuntos de U, como indica el diagrama YD vu INCLUSION DE Consustos u En este 2aso se verifca A CB. Ejemplo 4. Sean Ny los conjuntos DDefinimos a relactin de divisor en N mediante fagrama: de Venn a|b sysblosi 3 meN/ Tenienco en cuenta esta definiciSn, y la elaciOn de menor o gual, la representacion por extensin de tales conjuntos es 4.8} L236} Bett ce 1y €3 términos de diagramas de Venn Ejemplo > Consideremos el conjunto U de todos 0s tringubs; si I denota ef conjunto de lot trlingulos isosceles, Ede los equilteros y R de los triingulos rectingulos, s tiene 3 CONSUNTOS, “Ya que tod» tringuto equiltero iene Ios tes lados uals, en consecuendia tne dos jguales, & decir, e isosceles. Ademés existen tridngulos -séseles que som fectangulos, pro ningin iriingulo equlitero es reetingule 2.33, Igualdal de conjentos Fsclaro que dos conjuntos sm iquales si sor idénticos,es decir si tienen los mismos clementos, Extonces, todo elemento del primero pertenece al segundo, y todo elemento de éte pertenece al primero, Definiién Aad ACB BOA Epmplo 26. Lr cojooe de nimerou elt ae{are ex} ne {10-0.¥20} sexigulesyrave ee Bt biconticional se destobla en las dos implicaciones que prucban la doble inslusion, yen consecuencia la igualdad. Ejemplo 27 Scan los conjuntos de mfimeros nteros Hx-0ex.w-)=0exed ae (xieet B={x/ul “Teniendo en cuenta que el cuadrado de un nimero entero es igual al cuadtado de su valor absolu. resulta reaweste leider ered En conseuencia, A= B. Ejemplo 24. Demostnt que el conjunto de fos nimeros naturales impares es igual al conjumto de I aGimeror naturales euyo cuadrido es impat. Minow A= {eeN/s ssingar) Tet) A=B be ( eens? aimee} Demers LGt4ALDAD DE CONIUNTOS 3 Hota previ Por cefinicion, ua nimero natural x es impar si y solo si existe keN tal que k=1. Por otra parte, es [sil ver que el producto de dos naturales consecutivos es imparsy ave ls ierencla ente un nlinero par y ane impar es impar, Vantos ahora 2 nueste Jemostractin, la cual consiste en prober las dos inclusiones que definen ta igualdad Ie) ACK Enef sear eA. kL oon ken = ai -ak+i om keN ext 22.08 242-1 Senene xe A sx esimpar Dera d eet = 2 RE sienlo EN Hkmos utilizado sucesimmente, '@ definicion de A, ls definicién de miimero impet, cuadado de un binomio, la distibutiidad de la muluplicacion, ts Sustitucida de 1 por (21 nuevarente fb distributividad, ta definicion de ‘numero wnpérsy finalmente la defin cién de B. 2°) BCA, Es clare que x= x (+1) ‘Ahora bien x€B > x esimpar +e. (+) x esimpar 2x EA, esimpar En consecuencit A=B. Propiedades de ta inclwion { JREFLEXIVIDAD. Todo conjunte es part desi mismo. En efecto.si Aes un coajunto, la implicactor vrixeAsxeA a V En cowecsoncti. por definidién. se iene ACA. W)TRANSITIVIDAD Si un vonjucto es pute de ono y este 2s parte de an tercens, enlonces el primero esti Hipowss) ACB Bcc Demostacion) Sea x A. Por hipStesiss tiene xed axeB y xeBoree u ‘conuNtos Entonces, por ley del silogisei0 hipotético xed sxe Y, en conse:uencia, por definicgn de inclusiom AC C. ii) ANTISIMETRIA. Si un conjunto es parte de otto y éste es parte del primero, entences son iguates. ACB A BCA esa consecuencia de ladefinision de igualda. 235. Caracterizacién del conjunto vacio Propiedad. Et conjunto vacio estéincluido en cualquier ot, esis) A es un conju. Tess) 9C A. Deniosiracién) Consideramos la siguiente proposicion Weixeg >xEA a cual es V por ser el an:evedente F, En consecuencis. de acuerdo con la definicion Je inclusion, se tiene @ CA. Non i teorema es vido cualquiera que sea A: en particular, A putde ser vacio. li) Propiedad. Et conjunto vacio es nico. En efecto. suponemos que. ademis de 9, existe ¢ también vacio. Emeroes, de do con i ). es verdadera la proposicin ee por detinicion de igualiad, result @ = @ Fiemplo 29, Cemostrar ACO MARS, Como se trata de una gualdal se requieren dos inchsiones. 19) BCA por23.s.i) 2°) AC 9. Severifica por hipéresis Luego A= 6. 2.4. CONJUNTO DE PARTES Fado un wonjunto A. podemos formar un muevo conjunto corstituide por codos los sabcanjuintos de A, el cus cece el nombre de conjunto de partes de A. 4 CONJUNTO DE PARTIS. 5 Definicién 7 Conj mtn de partes de A es el conjurto cuyos eementos sn todos subconjuntos eA, Pye { x/xC A} Los eleertos de sste conjuato son a si vez conjantos, y, en consecuencia, P(A) ces un conjinte de corjuntos. De acuerdo con la definiciin se tiene XeP(ayeXc a FI prohems de devitir si un objeto es un elemento de P (A) se reduce adeterminat si dicho ofjet0 ¢s un subconjunta de A, De acuerdo con la propiedad reflexiva dela inclusfin, cualquiera que sea A se tiene ACA. y en consecuencta A ¢ P(A) por definicién de conjunto de partes. Ademés. por 2.3.5.1) se sabe que @ CA, y por ly misma definicion @ # P(A) Es dir, cuelguitra que sea A. el mismo A y el vacio son elementosde P(A), Ejemplo 10. Deterirnar el conjunto de partes de A= { 2.3.4) Los elementos de P(A} son todos los subconjuntos de A. es det ‘Ya notcibn por extension es wore fo. 2) 3) 4}. Ga) Gath. Gat) a} Ejemplo 211, 7 5) conjunto de partes del vacio es el eonjanto cuyo dnico elemento es el P@={o} 1i) La portenercia relaciena elemerto a conjunto, mientras que 12 inclusion ‘elagona conjuntos ene i, Desle est puato de vist, dams los valores de verdad dela siguientes proposicones reativs al ejempo 210. oca v gen F ora 6 coxmuntos ecray ov fra} ena ov 2eray {2} Vv aera) ov AeA F ACA v Hemplo 212 Si A time elementos, entances P(A)tiene 2" clementos. Se uta de somputar eb ‘imero dt subconjuntos de A. Uno de ellos es el vacio. Conjuntos unitarios hay 1 (7) 48 decir, amos como sombinsiones den elements, de onden EL ndnero de subconjuntos de dos sombiraciones de elementos Je orden 2,es decir ("") ‘Subconjuntos ternarios hay (""j » Y asi suesivaments, hasta obiener el nico subconjunto de n slementos, El nimeto total est dado por la sume eit i) Gi o En este desarrollo hemos aplicado ta frmula del binomio de Newton. que se stificand eel Capitulo 6, COMPLEMES ION DE CONJUNTOS. Sean A yB subconjuntos det 25.1, Defiticién Compiemento de A es el conjunto formado por los elementos de U' Gue no pertenscen aA. . Elcompmento de 4 se denotaré por A®;suelen usarse también A’ y A. be COMPLIRLTACION DE CONIUNIOS ” En simbotos {xeursea} obien seen} Se tere Ev duageanu de Vea on La complementacién es una operacién unitria, en el entido de que a partic de un coajunto sbtiene ott. Es usual mbién obtener el ccmplemente de un corjunto A. respecto de otro B, en cayo caso la definicion GAx (xea/xea} En particular se tene 1 )Etcomplememsari de vacfo cs el unversa rel m res wxeo! Yeome SU wewlta of =U ninpleriensanio del uriversa es ebvacie vee [etna 9 see 25.2, Propitdades de la complerentacion 1 INYCLUCION. (AS) = Demestracién} BENS @ Gao oo ~ (ed) (dA) EA 2” consuntos: En esta demostrcidn hemos utiizado la defincién de complemeniey Ia ly involutiva dl céleulo proposicional My AcB=BecaAe Demostracién) Utilizando sucesivamente las definiciones de complemiento, de inclusion y de complemento,s tiene xEB ox ¢BoxgAmxene Luego Br AS Semplo 2-13, Demostrar A= B= A e XEA OxEA wre @reD® En vinud de as definiciones de somplemento, igualiad y complsmento Ejemplo 2-14. 4) Sires una recta include en el plano a, entonces su complemento esl par de semiplanos opuestos abiertos, de berde 7. 4/)EL complementario del conjunto de Jos riimeros nacurales pares es el conjunto de ls naturales impares, 4ii) El complementario de Qen R es el sonjunto de los nimetos irracionsles. 26, INTERSECCION DE CONJUNTOS Sean A y B subconjuntos de U. 26.1. Definicion Interseccién de dos conjuntos A y B e: el conjunto Formado por los elementos ue perenecen a Ay aB. El diagrama de Venn correspondiente es oe i | I i INTERSECCION DE CONWNTOS » En sinbobs tne Anba{reuirea 1 re8) bien sorementido U , Anbea{xiren 0 xeB} La interseecién entre conjuntos es una operacidn binaria, porque a partir de dos ‘conjuntosse obtiene un tercero i ‘La proziedad que caracteriza a los elerientos de la intersecion es la de pertenecer “iltinermente a les das conjuntns.y w astahlece en términasde una corjuncién La definicn de interseccionestablece xEAQB@xea 4 eB Sila inserseccibn de dos conjuntos es vaca ichos conjuntos se laman disjuntos, Ay Bsondisjuntos © ANB=6 Biemplo 215. 1 )Si Fy 1° som dos rectas distintas incluidas en un plano, entonces st intersecciér puede ser vacia, o bien reducise a un punto. En el primer caso son paralels,y en el segundo caso se aman incidentes. ) Sean dos metas AC 7 AB, donde A. B y C son tes puntos ro alinesdos pertenecientes al plano a. Quedan definido: los conjurtos 'S(AB..C): semuplano de borde AB que pasa por C S(AC , B) :semiplano de borde AC que pas por B Entonces el conjunto $ (ABC) (AC , B) es el ngulo eoavexo BAC 40 contustos: {Ls semirrectas $ (A,B) (de origen A que pasa por B), S$ (A, C) y $(C ,B) son subeonjuntos der, tales que S(A,.98(C,B) = AC S(A,C)S(A,B) = S(A,0) = SCA, B) 's) La inerseccién entre el corjunto de los nmeros enteros pares y el conjunto de Jo: mimeros impares es vacia, ya que no existe ningin entero que sea simltineamente par ¢ impar. ¥) En Z.la intersegsién entre el conjumte de los nimeros pares y el conjunto de fos mimeros pruros esl coniunte {~ 2.2 2.6.2. Propiedides de la interseccién IIDEMPOTENCIA: AN A= A. En efecto MEAD A @KEA A LEA FER MASOCIATIVIDAD: (ANB)NC=AN(BNC). Utilizande la definicion de interseecion, y la asociatvidad de la conjunciin, se XE(ANB)NC @xEANB A xeC (xed + xeB) A xeC@xEA 4 (xeB 5 rec) @KEA & XEBNC oxEANBOOD UN CONMUTATIVIDAD: AN B=BOA. La demostracién es obvia aplicando a definiciin de imerseccion y la ‘canmutatividad de la conjuneién. 1M ELEMENTO NEUTRO PARA LA INTERSECCION ES EL UNIVERSAL La intersescion opers wee slemenios de B ((8.es deur, sob LC. Interesa determinar s existe un subconjunto de U vaya intersecci cwmiquier of no lo altere. Tal elemento de P(U) se liama neutro pira fe Imerseccisn,y en nuestio caso ese! mismo U. En eféeto cualquiera que sa A.C U, se veriica A U=UCA=A Flemplo 2-16, La propiedad IV es un corolario del siguiente teorema ACBSANBEA tr ven INTURSECCION DL. CONTUNTOS. a Por trtarse de una condiciin necesariay suficiente realizamos las denostraciones de las ¢osimplicacioms: i )ACB @ ANB. Con la informacion proporcinada por Ia hipotesis ACB, tenemos que demostrar Is igualisd ABA. Por definicion de igualded hemos de probar dos inclusiones 2) Sea.xe U tal quex €A 7B. Ahora bien READB so xeA 1 XEB>XEA por defincion de inerseccibn. yey ane En consecuencia SBCA (1) La telacion (1) nos dise que la inteweccion ertre dos conjuntos esti inclusds en cualquier de ells, b) Sea ahora XEASREA VER > xEANB ‘por la hipstesis y 2or definiciin de interseccion Entorcesse verifies CATB (2 De(I)y C)resulta OB= A. AJANB=A@ACB Para demosirar que A CB, comideramos xeA SreANBxEA 4 xeB >xeB ACB; hemos utilizado ademas ta definicion de pues por hipstesis A intersecebry la ley Kgica ps @ = 4. (Queda probado asi que AC B. Nétese que en i ) a) no hemos hecho uso de la hipotesis, pero si en b). Esto nos dice quel proposiciin AB C Aes independiente de toda congicibn, es deci. esuna propiedad intrinsecade la intzveccion. Ejemplo 2-17. Demestratemos que si dos conjuntos estin ircluidos en un tercero, entoncss ia Jterseecion de bs dos primeros es parte del tercero Eso ve "ve" ene diagram ACK A BCX ANBCX 2 CONIUNIOS Le demostremos asi XEAOB 2xEA A XEBxEX 4 YEX o¥EX Hemos aplicado sucesiamente Ia definiciOn de interseccién, la bipétesis la ley ica A p>, * cjemplo 2-18, Demostrar que el conjunto de partes de Ia interseecisn es igual al intese Jos sonjuntos de partes, PCAOB: P(A ®) En efecto: teniento en cuenta que los alementas de I partes de vn con bbeoxjantos, consderamos XeP(ATB) @XCAMB OK + XeP(AIN P(B) eX ePiad s XeP(B) « definicion ce conjunto de partes: teniende en cuents + ) a) del ejemplo 2-16. 1a anscividad de la relacién de incision. Ia definicién de conjanic. de partes y la aeA v aeB El “a” utilizado es incliyente, y pertenecen a la unién aquellos elementos de U sa fos cuales es verdadera la disyunsién: entoces un elemento perzenece : ia unién scl si pertenece a alguro de los des conjuntos. UNION bh CoNINTOS a El diggrama comespondiente es [A la unin pertenecen todos Jos elementos de los conjumtos dadas. En 1 caso Aisjunte setiene donde la parte wombreada es 4 U B. Es caro gu wdo conjunto estd contenido en su unide con cualquier oro. En ecto veASxeA Vv xeB>reAUB cen view de la ley ogica p = pv q.y de la defnicin de unién. Entonces A AUB como queriames, Fjemple 2-19. {) La unin de un par de rectas yr’ conteridas en un plano es el par derectas 1i) La uniénde dos semiplanos opuestos y cerrados s el plano. ip Sean los pyntos A.8 y C. como en el ejeriplo 2-15. i). Se tien: SIB.A)US(B.C) S(A.B)USIB.C) = S(A. B) 27.2. Fropiedades de la urion 1) IDEMPOTENCIA. Cualquiera que sea A. se verifiea a Pues XEAUA wea vy NEA @ EN AUA por defaiciu de union, y ley Kies pv p =p. 48 contunros Hy ASOCIATIVIDAD, Cuslesqui (AUB)UC=AUBUO) que sean A, By C La demostscion es aniloga a lz propuesta en el caso de la asociatividad de la imetseecién, utilizando ahora Ie definicién de union y propiedades de la diggunci6n. Lf CONMUTATIVIDAD. Para todo par de suvconjuntasde U, se verifica AUB=BUA gus EAUB SHEA v XEB SEB V XEA@KEBUA IV ELEMESTO NEUTRO PARA LA UMONES EL CONTHINTO VACIO Es deci, walquiera que ea AC AUS=OUA ‘A. ya que la conmutatividad nos exime dela otra Tratamor solo el caso AU situacion Sabemoszor 27.1.queAcAve — SeaahonxeAUG=xEA V Ep mXEA por definicim de unin, y por ser falso xe @ Lucgo AUGCA (2) Por (1) y(2) resulta la gualdad propuesta. Ejemplo 2-20. Demustex AB > AY ‘Seguimotel mismo exquema empleado en 21 ejemplo 2-16. i) Hiporsis) ACE Tesis) AUB=B Demestracién) Como cada conjunto esti contenido en su union con cualgtier oto, egin 2.7.1.6 tiene Br AUB TeACBoxeA ¥ KER KER V KER red por definicion de union. por hipotesis y por la ley p vp = P. Entonees: AUBCB a Be(1)y (Qiresulta AUB =B li) Mipoesis) AUB=B Tesi ACB Demsstracion) + A= x€AUB = xeB kor EDADES DF 1.4 UMON as rorgue sien elemento pertensce a un conjunto, entonees perenece 231 unin con tralguie-a y ademés po: hipétess,ya que AU B= B Esdeci, ACB Fiemplo 221. i )Demostrar XGA A XCB XC AUB. En efecto. ea veXaxeA vy veB @xEAUB son Je anion fave es Getto por hips 11) 1a immplicacin anterior no adnate reciproca verdadera. ya que puede dare gie REALB, y sa embargo XIN y XC B. ene! diagram siguiente i) Demostrar P(A) UP (B)S PLAUBD. onsideremas XePiAyur(B) 3 XePA) v XeP iB) SXCA v XCBSXCAUB © XEP(AUB) por defincign de,uaiin, de conjunto de pares propiedié i). » definwin de ‘onpunio de partes 12S. LEYES DISTRIBLTIVAS La unin ¢ interseecion de cenjuntos aueden corecturse a vavés de dos propiedades fundsmentales, lamaas leyesdtributivas. que se expresan mediante las Formulas (ALB)AC LANL (AN BUC =(AU0)F (BUT) Vamos a verdicar, mediaate diagramas de Venn, fa primera de estas leyes. os 20 al prtrero yal segunco miembro de lx gualdad. 16 cONsUNTOS: c (AUB)AC (ANQUENO Las demostraciones formaler sor las siguientes 25.1, Distributividad de ta interzccién respecto de la uniéa E(AUB)NC #xEAUB A eC @ (eA Vv reB) A xeC em PEA EC) V EB A xeC) @xeAnc vy reBnc > * relANG) UND) por definiciones de intersccién y de unin, y distributividad de by conjuneién ssxpecto de a disyuncién, SE(AQ BUC @xeA7B v xeCo we (reA 4 xeB) v rele PEAY x€C) 4 EB V xeQhe@ #KEAUC » xeBUC = e(AUC) 1 (BUC) Se han utilizado las dfiniciones de unién, de intersseciin, y la ley distributna de ta diss uncion respecto de laconjunciéa, 29. LEYES DE DE MORGAN Estas leyes, de gran xe Ae por de‘inision de complemento, por hisstesis y definicién de complemento. 2°) BOCAS = AUB=B SaxeAUB>xea v xeB = exeA y xeBoxgBt v re = xeB v xeBoxeB Por defiriciones de uniéa y de complemento, por hipétesis, definicién de complaninto y I lige pv p = p AUBCB o rs ‘consunTOS: Por tra parte BCAUB Q) ya que to conjunto es parte de su union con cualquier otro, De tt) y (2) resulta AUB= B 3°) AUB=BSANB=A 44) Con la interseceidn esta incluida en cualquiera de los dos conjuntos, se tiene AMBEA o bisea eA @¥EAUB = xE8 pues \ =A By portipéresis Enpncss xeA SEA 0 rEB EAB Eslecie ACANB e Por (1) (2) resulta ABSA #) ADB=A ACB si demostrato en el ejemplo 2-161 ) 2.10, DIFERENCIA DE CONJUNTOS 240.1, Deiniion Difeencia entre dos conjuntas A y 6 es el conjumto formado por los elementos dde Aque no perenecen a8. AaBe (e/e4a 6 x08} El diagama correspondiente es Es cary que A—3#B — Ares devir le diferencia de conjunos no es commutative acme: lm DIFERENCIA DE CONSUNTOS ” empl 223 | }Considerindo cone universl al cosjunfo. de Ie puntos del plans la Sirona entre a recta ry #1 segmento AB es i usin deta semirrectas abjertas AM y BN conjunte de los mlimeros pares ¥ el conjunto ée les fanto de Ios mimeros etueros del tipo X= 2.8 Hy La diferencia ent raimeros primos #3 et £0 siendo k= 1 210.2. Propiedad. La diferencia entre dos conjuntos es igual a la interseccién del ‘primero ean el complemento del segundo. Se tata de probar que A~ B= AM8" En sfecto, aplicando sucesvaments as « intereoci6n. se tiene “definiciones de diferencia. complementacion a A-B: Hlemplo 2-24 Denostar BCA #(A~B)UB=A (AB) UB (ANB) UB= AUB) B)= (AUB)QU=AUB=A Poe 2.102, distributividad de la unién respecto de la interseccin, por ser ¥F UB =U, per neutro para la intereeccin y lo demostraio en ol eemplo 2-20 a dist tead de a intersecchn especto dea diferencia, c6. det ANB 2AM“) En lar de seguir el métods gineral de probar las dos incusiones, amos & rato sada miembro dela gudds! tilzando las propiedadesdemostadas Asi AN(@B=C) = ANGNC) = ANBAC a) por 2.10.2 y asociatvidad de la inrecci6n, Considerando el spundo mitmbro Y \ 0 consuRTOS DIPPRENCIA SIMETIICA , aplicando 2.10.2, ley de De Morgan, distibutvidad dela interseecién respecta de la} Enefecto AN E)UBOAS A-NUe~A (AP BPUBLOUANBIUA (AUBURN (AUANA BUA AUB)AUOUN(AS UB) = = (AUB)A(AE UBS) = (AUB) (ANB = (AUB)~ (ANB) AaB (ANB) (ANC) = AnB)NANCS = (ann racucy AN BOANUANBNC eUIAABNC)=ANBNc 2 De (dy @)resuta, De acuerdo con (2), por ley diributiva de la unidn respecto del interseccin, por 7 ser PP UB=AUAS =U, por ser U neutro para la imerseccién, por conmutatividad ANB-O dd launibn, por ley de De Morgan y por 2.10.2, Las expresones alternativas para la dfereneiasmétnea son 2.11, DIFERENCIA SIMETRICA A 8 B=A-BUB—A=(ANBVUBOA) = ‘Sean A y B dos subconjuntos de U. (AUB) (AN 3)= (A UBYA(A TBI a oe 2. Prpiedades ée diferencia simétrica ~ Dien si fos corte» Bes urn de os cnuntor A By eye eo eee et La notaciénes: It) EXISTENCIA DE NEUTRO. En P (U), el vacto es neutro para Ia diferencia ll A NB)—(ANC) AA BS(A-BUB-A) C} simérice. En efeeto ¥ eldiagrama correspond ente I) EXISTENCIA DE INVERSOS. En una opencién entie elementos de un conjunto (en ese caso el conjunto es P(U), los elementos son los sutconjuntos de U y la operacion es la diferencia simétrica), interesa determinar s, dado un conjunto, existe otro euys diferencia sinétrics con él es el neutro. Afirmamos ue todo conjunto ACU admite al mismo A como inverso respecto de la diferencia simétrice. Ene’ecto AB A=(AA)U(A~A) IV) ASOCIATIVIDAD. Cualesquiera que sean A, B y C pertenecientes a P(U) se verifica : tra identcacién dela diferencia simétria es AB B=(ANB)UBNA) () ‘que se deduce como consecuencia inmedista de la definicion, teniendo en cuenta que la diferencia entre dos conjuntos es igual a la intersecciOn do! primero con el ‘complemento del segundo, segin 2.10.2. Resulta también (Aa B)AC=AA(BSO) Deosracion) (Aa) AC=[AAB)NCLLABBE OG) Wan BQuaraB act} U ((AUB ANB AC) IAA BEA CULM BOCHL fA UBEULAMBIOC } A 6 B-(AUD) (AND) G@) 2 contuntos: AN BEN C)ULAEABN CPU (ASC BEA C)U(ANBAC)= =(ANBAQUANBENC)UATABNC)U(AEABENC) (a) En este desarrollo se han utilzado las consecuencias de l definicion de diferencia siméirica, eyes de De Morgan, distributividad de hk intersece:sn respecto de la unin y 1a conmtativida, Desusrollamos ahora el segundo miembro splicando fa conmutitividad de ta diferencia simétrica y utiizando el resulado anterior A(BAC)=(BACAA= SBA CAADUBNE NADUBENCHADUCENCED A= SAD BACULAT ABN EQUA ABER UN BENS Be (1) ¥ Ores (AAB)AC=ASBAC) Biemplo 2-26. i ) La diferencia simétiica entre les intervalos reales 1.9)6C=,31=6,.9UC2) (906%, =3,9UC@,1) Hemplo 2-27. Demostrar a ley cancetativa de la diferencia simétrica, es decir ABB=AQC BHC En fecto AAB=AAC # AB(ADB)=AA(AAC) = (AB AAB=(AQA)AC > = 98B=9aC =B=C Fiempo 228. Demostrar Ia distibutividad de la imerseceion respecto de la diferencia simétrica. Tesi) (A BNC =(ANC)A(BNC) Demostraci6n) Desarrollamos los do: miembros por separado (AdB)NC= (ANB UAT BINC= =(ANBENQUATABNC) o 1RODUCTO CARTESIANO BE CONJUNTOS ss CANA BAT= (ANN HAGAN! ABNC]= = [ANA UCHUIAS UCINBAC|= BANC BIUANCAC)UAENBN CYC ABNC)= ANBENC}UGULATN BNO) UG= = (AMBEACUAEN BAC @ Hemos utlizado ks alternativas de la definicién de diferencia simétria, 1 istebutividad de la iniereccién respecto de la uniéa, una ley de De Morgan, la onmutativdad de la intereccibn, la definicign ée conjuntos disjuntos y la nevtralidad deg para la unién, 212, PRODUCTO CARTESLANO 2.121 Par ovdenado . Dados dos elementos ¢ y b irteresa fonrar un comunto que dependa de dichos clementos y del ordenen que se consderan. Definteton y Darertinato (e,byeselcoguntocuycacleentaraen {a} y {2.6} @.D= {{2}.{29)} ‘ayy son l pnmeray la segunda componentes det par onderado. {9} ‘Queda cono ejercici la siguiente propiedad: dos pares ordenatos son ignales si y sel 5 tienen sus compenentes espectivamente uses, En parteur se tiene e9= {C2} e-3} Sia #5, eatonces (a ,0)# (a) 2.122. Defisiién Producto cartesiano de dos sanjuntos A y B es elcosjunto cuyos elementos son todos ins pares o-denados cuya primem componente pertenece a A y i segunda axpe{@.nleca » bed} isaac kn patent axaca={@.d/eed » bea} Ejemplo 2-29, 1 yProductocartesino de = (1.2.3) y Be {1,2} Ax B= {(1,0,1,2),2.0),2,2),8,1,6,9} i )Por ser pares orderados, los elementos del producto catesano de dos conjuntos pueden represe ordenada son, respecivanie Los vénices dela cuadricul obtenida son los lementos del producto cartesian2, lid EI producto cartesiano no es coumutatio, pues ONEAXBy G,DEBKA = AKBEBXA Eemplo 2-30. Sean los intewvalcs cerradosde nimeros reales . la,d]={xeR/ocz 3leNixe dy Sik exel menor entero postivo para el cual z€ Ay. se tiene x # A; U Ay U x WA, , 38 que xno pertenece a ningin A, con / (oR) fi) La relacin inversa de be ‘composcion es igual a la composicidn de las aes ipsa an (SeR)t=R OS ‘Las demosraciones quedan como eetcicios, Ekemplo 3-2 CConsideteros los siguientes conjuntos y reaciones: ae(-on} ae {1.3} {20.572.0) RC AKB df por a inane 35 undo SCBXC armcterous por el cmependte ey 0 mid ements eo. ne {c1.0.a.n} s-{(-4) -@4) : H.3) -@D) : CCOMFOSICION EE RELACIONES 6 La rekcién compuesta So RC AXC esti determinats a & 3,6, RELACIONES DEFINIDAS EN UN CONJUNTO En este caso larelacion esti definids KA. Sea R uta telaciin entre A y B, donde B ‘en A.y st identifica con un subzorjunto de A* Definiciin ‘Res sna celacin definide en A, siy ilo si RCA? Com todo subsonjunto de A? es un elbmento de laspartes de A?, podemos decir én definidaen A sly silosi Re P(A) son relaciones definidas en todo Resura rela Es clero que el corjunto vazio y el mismo A? conjunte A; ya que son subconjuntos de A° ‘Sh A tiene n elementos, entonces A? tienen? elementos, y el conjunto de partes d= 50°) elememos, es deez, existen 70°7? subconjuntos de A*, 0 lo que es lo rrismo, relaciones en A ‘jemplo 23. Se trata de formar todas las relaciones que és posible definiren el conjuato a=(ne} ° RELASIONES Determinamos prineto el producto cartesiano aa a B= (Er 81) 962) 2 121) 5 (@3 2) } Como A? tiene cuntro elementos, existen 2° relaciones en A, y son las siguientes: A ={ ter .a)} Ry ={ 1 ,43)} Ry ={ (01.04) l6s 5a) Re =f a1) ser 00) } { (a1 01) (62 san) } Ry ={ (64042), say) } Rio ={ a2). (e2 a2) Gs .41).(62.43)} Raz ={ +41), (@: +42), (61 .@)} Ris ={ Gr var) 22), (@ a3)} Rue ={ (61 101) se os), (@ a)} Ris ={ (61 3) (4s 01) (ar 03) } Rg =A? Ejemplo 3-4. - Grifico caresiano de larelacion definida en R, mediante (yeR oxt=yt a La relacién es un subconjunto de R? te Ry pertenesen ela os pars 0 ndmeros reales que satisfacen a(1). Ahora bien ae Famed —y2 Oe by). —y)=d RELACIONES EN UN CONJINTO n Sebemes que en R, siel producto de dos factores es oero,alguno de los factores es mule, 0 decir xty20 Vv x-y=0ey=—x Vy Cada una de estas ecuacioncs es la representaci6n analitica de una recta del phn: en este cas, strata del par de bisectrices del sstemade ees. sia={eanivea) B= {@niy= x} centonces ba relaci6n AUB, esdecires a unin de ambas bisectnces R= {eit ay 3.7, POSIBLES PROPIEDADES DE LAS RELACIONES DEFINIDAS EN UN CONJUNTO clon puede Sea R usa relacion definida en A, es decir, RCA. Dicha lasificarse de acuerdo con las siguientes propiedades: ea |. Reflesividad Resreflexiva # VxixeA © (.2ER Late eR se eanesiza pore todo cena dA foma pi mie iano, yelpura chen potences ben Llamanesdagoml de A? acenjunoD = { &.2)/x6A} sedesk, dono de A? esol conjunto de los pares de cmponenteiguales, La reflexiidad se rad ce en cTthecho siguiente In diogonel de A* octdcontena en la reac, es desir Restefeiva © DCR 2 RELAGONES 3.7.2. No reflenividal Consist en la negaion de 3.7.1 Resnorfexivae 1 v/x€A 4 ER La no reflexviad de R queda especficada por Ia existeneia de al menos un slemento & A que no est telacionado conse mismo. En un digrama cartesiano ocurre que la diagonal de A* no est conteida en a react, oa R esnorteflexna © RD 4.7.3. Amflenividad Resarreflediva # VeixeA sUe.x)€R Es decir ningin elemento de A esté rekcionado consigo mismo, 0 lo que es igual, ningin elerento de in diagonal de A* pertenece ala telacin o equivalentemente Resarreflesiva @ RAD 9 Es claroque toda rlacin arreflexivaes ro reflex Ejemplo 35, En A= {1,2,3} considetamos las siguientes reiaciones: i) k= (0,9,2,2,6,3),2,3)} Ds acuerdo con la definicién dada en 3.71. resulta R ana elacién reflexiva a fy ErcanbioS= ((1,1.0.3).0,2)} sino rte pe teh w QieR PROPIEDADIS DE LAS RELACIONIS B Vales a“ 3 s w 7=(0,9.0.0.0.0) tr aatnesne yn que ign ment de A forma ares consgo ismo on Isrelicion. [4 Ht gs 3 2 > T if } ee) oe 334, Simeia Ressmeinta eee ER GER OER bs decir si un pa penenee tsi, ol par que rea de gomutar 3 conponataNamtidnpenener yen consetmncia el dagrama cares série peso dea diagonal ce" 8. Nosinetria Es la nogaciGn de la simetria Resnosimétria © 3x 3y (WER A WER La no simetria nc impie que dos pares de componentes permutadas pertenezean a 'a relacin, pero exige que haya al menosun par en a relaeiin, y que el que resulta de Permutar sis comporentes no pertenezca + ella 3.7.6, Asimetria Resasimitrica @ Vx Vy: (ey)ER SO X)ER En este caso debe ocurrir que si un par pertentce a la relacion, enter deduce por permutacisn no pertenece, Semple 36. Ena={a el quese 22.3} laatcamos dead este punt de vite asrelcones 0 s=(0.0.2.3.0.2 {0.9.2,0.6,9} sno simétrce.yaque Ger» Caer i) {a.9.0.9.0,9} suna relaciin asinétrica en A. i) 3.7.7, Tramsitividad Resuransitia & Vey Vee WER AW. ZER = Ou eR Es decir, si un elemento estd relacionados con otro (no nezesariamente distinto), y Este estd relacionado con un tereero, entonces el primero esti relaciorado con él tercero 37.8, No tansitividad Por ser ta negacién de la tanstividad, decimos Resto transitive @ 3x3v32/(vyER A WY yzER 0 (x.DER 37.9. Atransitividad Resatransitiva Vx Vy Vix y)ER A Wy, 2)€R = Ox 2ER Ejemplo 3-7 Consider:ndo el mismo conjunto A de ls ejemphs 3-5 y 3-5 se tiene: 1) Ry U son transtivas. PROPUDADES DE LAS RELACION'S 1 iy = (4,2..3.(1,3),0,0} no wana, ya gue der 6 BE 5 ODEr {G.9.@,3)} esatrarstiva, ya ue G.dew » Q.ew Uae 3.7.10, Astisimetria Resantisiméirica @ EVIE YER 6 OER WEY pemenecen a la elec, En este vaso, si das pares de co centonces éichas componentes se identifica. De este modo, ia :elacion R del ejemplo 3-5 es antisimétrica,pero no foes puesto que es F Ie proposiciin 2,365 5 BYES 2=3 Ejemplo 8. En Rt considera la reaciOn definida por weRexnyez Estamos itereadosen la caificaeibn y epresenacion de R. La defnicign (1) se teaduceen estos érminos! dos reales estin relacionados, sly s6lo su ifrencaes un ener, i) Reflexividad. s @eR a-a=0eZ >(a,a)eR i) Simetris, (@.b)eR ma—beZ > b-aeZ >Ub.sVER For (1). porque si un nimero es entero, su opuesto también Io es, por (1). (a. ByeR ib. cleRwa—beZ » b-ceZ = = (a= b) H(b-)EZ Pa-ceZ 2 1a.c)ER in) 8 no es antsimétrica, pues GB.ER » (2.3ER 2 ¥) Grifico de. ‘AR pertenecen los pures de reales (x. y) tales que x €Z oF Ahora bien Jkehwyrr—k om kez ~yeZx-y RELACIONES Para cadi entero ks¢ tiene una recta paralela ala primera bisectriz La relacin consiste en todos los pares (ex , y) € Rt pertenecien reotas, es der: pares (* , ») € R* pertenecientes a la familia de Re U Loe yeR? Uy fer ner’ Eemplo 3+ og EA ramteon. Como lncfons poe deco be ropodcin a & rade 7. suencia, @ €5 una relacién en A. Tal relacion verifica las 1) Ameflexividad, La proposicién verweA Six. ebeo csverdadera, ya que el consecuente de a impliacién es V. i) Sinetria, Se verifica por ser V la proposicisn Vx V7: ed UES ii) Tensitividad weg 6 Wed eED es porque dl antecedente es F RELACIONES DE EQUIVALFNCIA " ye d WizEp x=Y jv) Come a impli tener el antecedente falio, la relacion es antisimétrica esvenadera por vacia definida en un conjunio, es arefiexive, simétriea, Es decir, ly relacién urarstiva, y aisimétcia, 1A = gvenionces le misma relacién es ademas reflexira, pues vexed sixxed es verdadera 38. RELACIONES DE EQUIVALENCIA ean las propiedades Las telaciones binarss definidas en un cogunto. que ve desempettan un papel reflecva. simétriea y trarsitva, se aman ce equivalencit y importante en ilgebra. 38.1. Concepto de relacion de equivalencie Defiicién La relciin R CA? es de equvalencia en A siy slo sies eflexiva,sinétrica y For ravone: de simpl:ficacion t¢ utiliza el simbol peneneciente aly eelacionse Haman equivalenres Lz notaaée a ~p a lee “aes equivalente 3B” ce sla reladr. En este seatdo, lasrelaciones de equivalenca satisfacen 7) REFLEXIVIDAD. Todo elemento de A es equivalate a simismo. VerxeA oxnx ii) SIMETRIA. Si un elemento 5 ecuivalemte 2 otro, entonces Ete es cqumalente al*pameo. vows fay TRANSITIVIDAD, 9) ua elemento o> =quivalente a cequivalente 1 un tercero,entonces et primero « equivalents al tere lo ~. y los elementos de todo par ¥y significa que el por a 6) pertene: vavewsorcy A ‘s RELACIONES de equivalencia. Clasificanos hs siguientes propasiiones: In1V 1-2 3-1F 2~2V 24V 2-3F BBV 13F 340F En virtud de fas tres primeras queda asegurada la reflexividad, En cuanto a la es suficiente ver que In2 22-1 V ‘Mas aun, si el antecedente 2 falso la implicacion es verdadera I33~1 Para la transitividad, descartando Jos casos de antecedents falso, e+ suficiente verifiar: A Anza 21h Daze 22 v Ins2. 24st Vv v Isa imeist vy El diagrama de Venn es donde cada arco orientado esti asociado a ur par perteseciente a ka relaci6a. En forma cartesian CLASES BF | QUIVALEKCIA » 3.82, Clases de equivalencia y conjunto cociente Sea ~ um relacion de equivalencia en A%¢. Un problems de interés es Ia \determinaci6n de todos los elementos de A gfe son squivalente a uno dato, es decir, ‘que forman pareja ccn él. La respuesta conduce en cada caso aun subcorjunto de A, Harnado cise de equivalencia dl elemento Dejinicion (Clase de equivalencia del elemento « € A es el conjunto ce todos los elementos de A equivalentes aa. Ke={ sea se~a} Con relicién al ejemplo 3-10: Es deci hay dos clases de equivalencia, que son susconjuntosde A. a kK ° ey RELACIONES Podemos avanzar un poco masy preguntamos por elconjunto cuyos elementos son Iss clases de quivalenes: Ky y Ks, Para denciarlo, podemos elegir un Gnico eleménto en cada clse de equivalencie, digamos 1 y3, con lo que queda caracterizado un conjunto de indices I= {13}. de modo tal que a cada elemento de éste le std asociada una clase de equivalenci, E] junto fornado por his clases de equvalencia se lama conjunto cociente de A por la relaciOn de equivalencia,y la notacén es, A={,x} bien, mesial confnt de nies ‘Las clases de equivalencia constituyen una particin de A, en el sontito siguiente: son no vacias.disuntas ce a pares, y su unin es A. Este concepto seri preciso en los Ditrafos sigubntes, y es un hecho comin a toda telacién de equivilencia definida en ‘un conjunto ro vacio, Ejemplo 3-14 En el conjinto Z de ios enterosintroducimos la relacon de congruencia médulo n, mediante la siguiente Dejinicién ‘Dos entios son congruentes nédulo n,siy silo sim es divisor de su diferencia, simboles 2 y bson congruentes médulo n + m{a—6 Adelantindsnos al hecho de que la congruencia es una relacioa de equialencia podemos escrtir a~b enle~d a Por definicien, et nimero natural es dviso: del entero x sy s6lo si éste es ual al prinero por unentero, es deci k nix eBkeZ Especificames las siguientes propiedades dela relacisn de divisor, que utlizaemos: i )Si un mimero dhide a un entero, divide al producto de éte por cualquier centerc. nix onicy [in efecto, por definicién de divisor nx exen ker yam dy expen (ey) > any CONIUNTO COCENTE a i) Siva ndmero divide a otros dos, entonces divice asu suma o diferencia, nie a miysaixey Denostracion) Aplicando lx defintiSn de divisor tas des proposicionss de lahipStesis, umando y restando en Z aplicandc la distrbutividad Jel producto respecte dela suma y resto, y ladefinicibn de divisor, tenemos mix wlpsxenk » yenkto PEnEENK oe tye mth) = 1) Si un atumero viride a.un enero, entonces divide a su opuesto, yuna consesuencia de la propixcal i ), ya que tle eae l).x nine Retomamos ahora nuestro proptsito de probar que (1) es una relacion de equialencia, ay Reflexividad. Como |0, se tiene VaaeZ=nl by Simetra. Sean los entrosa y tales que a~b nied = nl-@~b) = n}b-a > b~a or (1), propiedad ili, por oguesto de a ~ by por (1) ©) Transitividad. Sean os enterosa, b yc. tes que c= nl@-r)+0-9 = a~b s b~c me nla—b A nid nla-c ea~ de acuerdo con (1) Ia propiecad ii), reducciin de términos, y (1) 10S a Geterminar las clases de 2quivalench de los enteros. Sea €Z: entances Kea{ rezis~a) Aor aducinos propiedad ee dfn anni sre snlx-amxmann.k con kez = menatn.k con kez Es decir, a Ky pertenecen todos los enteres éel tipo a+. k, donde @ y n estén dudes, y k recom Z. En otras palzbrs, a K, pertenecen las sumas de @ con todos los UW OM MMe} N-2e,1=n Cee) s2-2K,2—m, 2,240, 243m S21 laden 120, Veriticamos que no es posble obtener otras claves distiatas de ésta; si queremas Kee( cece myn O um 2m Smee} ke Anagamente: Kees =, anes Kin = ete, Los subindices de las clases de equisalencia son los posibles restos de a divisn de lun entero por n, + decir: 0,1, 2,...,"— 1, ya que de acuerdo con el agoritme de fa yas~3koonkez tara cada atsro K qsedan deteminados bs punts 4 cordenaasentens dela teva por=3. y en conscuenc, la relickn conse en ef aguente cononto Ginrete de posts det plane 8 RELACIONES: k= Oy -1sy layexn3 Deyer—byete Lanhiciines Uf cnet ty ar} 3.8.3, Ynicion de um conjmto no vacfo seat ds contos A # 9¢1£ 6 aes gb, csiginr qe at el demente sxe sbeonona Ky C4 Depisin tteonjuno {Ky wel} esumpariionde A sy sito a LD i VoeA.3uet/aeKy Los lemenor Ky de partie som mbonjumtes wo vacios de, y etn son al conuns adit aden, keneton distin el eonjnt de nies SSSeLa cunjutoscjumos de A; iamont, scons i) sin ote a serene os aucojumes & qe so semento dela parteipacin, Ejempo 3-12, Sea un eta contends ent plano a El plano queda parclondo on ee aubconjnts Ky, Xo. Ky sendo = {12,3 } um eonjnto de ices x, 1) Las relasiones de aquivalencia de los gemplos 3:10 y 3-11 conducen a las particiones indicadas en étos vo eee oreeiemmeempn PARTICION Y EQUIVALENG sp wesiganos apn aida ibn de eaten 2 dem. ' 38, En este caso, larclacidn esti. definida en Rmediante a~b oanbet seawe R; ensorces, por definicion do clase de equvatencia k= (xer/x~a} hors bien Entonces a Ky pertenecen todos ls reales del to xsatk siendo keZ ds decir, todes los elementos equabntes a 4 s# obtienen sumando a @ todcs los enteron En comsecuencia,selegimos coro conjuato de indiesal interalo semiaberto Te [0 1). la particidn Res q = (futon) 384, Teorema fundamental de las relaciones de equivdlencia definidas en un conjuntono vacio, Vanos a demostrar fo que ya hemos verifeaco a travis de ejemplos antériones, a suber que teda relacion de equivalemis definita yanto nc vacio determina uma particion de éste en clues de equnalenc. ‘TEGREMA Si~ es una relacion de equivalenciadefinia en el corunto A # 4, entonces existe un aboonjunta 1 A, tal que cudquira que teu en Lexie Ky C A, de medo que ‘© veifcan las siguientes proposicioas: i) uele Ky #0 ) a~a' # aya" pertenecen dl mismo Ky 6 RELACIONES ii) K, 1K, #6 > Ky = Ke i) uty = KOK, ¥) ¥aeA,3uel/ceKy NoTA {les an conjunto de indies que se forma elgiendo un inieo elemento en cada clase de equivalencia, Demostracién) 4) todo elemento del conjumto de indices le comesponde una :lase no vaca Por hipétess,reflenvidad v definicion de clase de epivatencia: A#G = 306A ana + ceK, Ki HOVeed Ahora bien, como IC A wel ued 2K #0 41) Dos elementos de A son equibalentessi y slo sipe-tenecen aa misma cas. a)an~a' = a'eKy \ 2eKy Sivek, entonceraya’e Ky, byaya'eKy sa~w 4 amu = ) Cases no disjunis som idénicas KOK #9 © K, =K, En efecto. por hpstest: KOK #9 @3xeK NK, = mi xeAxeK, 4 xeK, = Src eeu nem Sea yeK syn (2) De(1)y (2), portransitvidad - yeK, ay ov *yeKy Osea Ky CK, Andlogamente K, C K,,y resulta antec Ae SAA nD rt PARIICIS ¥ EQUIVALENCIS . jv) Flamentos distntos del conjunto de indices determinan clases dijuntas. UEP > KK = Siponemos Ky OK, #6 2 3x€K, 4 EK, > urv = we K,, Absurdo porgte contradice la definicion de I. 1y) Todo elemento de A pertenece a una clase, oo que es lo mismo, ls clases de cetvelencia “cubren” a A. seared aw =aeX, (1) Siwe Kgentonces Ky = Ky. y resulta @€ Ky NOTA, : Las proposiiones i ),i¥) y v )significan que toda relacibn de equivalencia, definda ‘en conjunte no vacio, determina una paricién de éste en chses de equivalenca Precisament as clases som los elementos dela partici. 1, Pa y elon de equi ses [we opr dA tons id inden A tn fe euvaci ; erat eax propedal dean pzwro wa wai en ess no va Ae woe dtomaoe de A es mlacodos oy so prmmcns ol mia sbeoyt de pana" Ensim (€,b)ER say perenccen almismoK, (1) ‘Vamos a probar que es de equivalence i) Reflexividad. Par definicion de particion aeAs3uel{ack, way a pertenccensKy Entonce:, por(1) (¢, a) €R ii) Simetria, Sean ay ben A, tales que (@,b)eR = ay b pertenecen al nisino Ky > = bya pertenecen al mismoK, = (b.a)€R 8 RELACIONES. iii) Tansidividad,Sean Ey cen A, tales que (DER * HER +a, bye pertonvcen al mismo Ky = ty cpereesen al ok, = (@,<)ER Hemplo 3-'3. Secon en A= { 1,2,3) lasigunts parti (9}.2}} {0.0.6.3,0.9.0.0.0.2} A De acuerdo con 38.4 y 3.85, los conceptos de particisr y de relacion de ‘equivalencia son identificabies. Esclaro que en un conjunto no vaio es posble definir tantas relacines de equivalencia como particiones. ‘A continsacion proponemos todas ls relaciones de equivalercia definibles en of conjunto A. a Ry = {0..1),(2,2),,3)} esta igualdad en A, es decir eR wxey 8 R= {0,0,2,9,0,292,0,6,3)} PARTICION ¥ EQUIVALENCIA, Eneste caso G.eR wxny vo xtyed S) ) 8 ={1.9,6,3).0,9.8, 0,029} Osa (eR, exay vo xtyed &S) | 0 foe (41..0.0.0.2.0.9,0.9} te eR () RELACIONES GER, © yer a gui laparticion consisteen un nico subconjunto: el mismo A. 39. RELACIONES DE ORDEN ag ES utel en matemitica yen b vida coidiana onfenar los elementos de ua conjunto acuerdo con algin eriteno conveniente. El orden queda espccificado 1 través tel \érmino “preceder™, y decir “x precede ay” significa (x.y) eR Lo esenvial de toda relaciSn de orden es la transitvdad, y sega : ransitvidad, y segin se cumplan o no ‘o:ras propiedades se hubla de orden ampligo estricto,y en cada ome pli icto,y en cal 2380, de orden parca 39.1, Orden amplio SeaR cA? Definiciin A es una relacion de orden amplio|en A sly sbo si es fleiva, aniimétrcay Obviando los cuantiticadores unvetsiles tenemos: i ) Reflexivida. TEA SU aVER RULACIONES DF ORDPN a ii) Antidmetria @,b)eR A (b,aeR a=b i) Teanstvidad, @ DER > (b,VER = O.DER (392, Orden parcial y total Sea R una relaciGn de orden en A. 1VR esde orden parcial si v slo si exisen pares de elementos incompanbes. es aecit 3a, 3b/(a,.b)eR > (bce 4) El orden es tol en caso contrario, es decir aed 2 e.d)ER v (b.aER Ejemplo 314 1) Bn la relacién de divisor es de crden amplo y parcial Por definicion nla e3meNja=nm ab Reflexividad, aeN ena.1 mole 1 Antisimesria, Sean ab © bla= nymenNib=a.n 0 a=b.m= an.b.m=lenmaonemat Luego a=. Transitive. Sean alb » blesbaa.n) cab. perate Emtonces bc =a.n.b.m = e=a.(n.m) = Por otra parte, este orden amplio es parcial, puesexisten pares de nacurales que no son comparables por la relaciér de divisor. Un contaejemplo «std dado por 2 3,y2 ‘que 213 y 312son proposicionesfalss. Es clare que un par ordenado de nidmeros naturales pertenece ala relacion si y solo sila prime'a componente es divisor de la segunda. rehcibn esti representada por los puntos de primer cualrante de coordenadas naturales que tienen abscisa natural, y 2ara cada va las orfenadas son todos los imiltiplos auturates de ayuell 2 RELACIONES, ne i il { t a ae ay a Sl Si constramos fa relain de divisor en Z, nos ene un orden ampli, pues ‘tntisimetriano se cumple. En efecto ae 3130 B= iyena= {1.2.3} amhiin R= (,1),2.2).8.3),(0,2),(1,3),(2,3)} esun orden amplio Y total Se trata evidentemente det relacin de menor o igual. 3 esF 393, Ordes eateieto, Sear ce, Definiciin es una reacba de eden astisto ty Slo si es amefexa, asmétrca y ‘transiliva. . En simbsos 1) Arefiev, Ningin elemento del conjunto esti relucionaco consge sed G0ER 4) Adres. Stun elemento ent hein cen to, econo dre 0 ens con el primera. (a, b)eR = (6,0) ¢R DRDEN ESTRICTO a si) Teeastvidad. GdER A (,c)ER >, ER Lo misno que el orden ampli, el orden estricto puote sr parcial o total Exemplo 3-15. } )LarelactOn de menor en es un orden estrict y total. ji) Por definiién, un comjsto estéestrictamente include en otro iy silo todo elemento del primero pertensce al segundo, pero :xisten elementos de Jere que no pertenecer alprimero. Lz notaciin 3 simboios son los siguientes: AGB ACB * ASB de orden evtricto parcal, como pet En (J) tsi tea oa oa seifeue meilaent (eo b.e} bein, by ,(0r0) 45,8) sds orden estoy bia 49.4, El signo de preceder ‘SiR es una relaci6nde orden éefinida en A, y dos lenentose y b estir vinculados or dich elacion,al esrbir(¢.2)€R v6 b sure decree que “a precede a".7 lnnotaciines a ©) Transitividad. a

    You might also like