TRABATO T + Démostrare 2vPengamos Que 2 = =P AxB)o(MAB)=? | mS Por Contra ec’ proco CAxB)olaxeZs, Amc) E (AxB) oCAxB) JP 3 (me) € (Axe) A(P,n) 6 (Ax8) mea n PeBN PeAnnew =? PEA NOER —3e 9 Penns Ast NeJomos a AY) Por lo tanto Se Core DPrebe ove (Yas, Demosszracidn . Debemos Probar ) CaxchocAaBs axc TARE © CBxC)oCaxe) Q) sea Cmind (Bxc}oCaxg) =74e 3 Creu P\6 CAXBI ACRn) 6 (BxC) =DmMeAnPean Peannec =7 MEA NNEC =a imM € AKC ast Crain) € CBxCV0CAXB) = (rine AXE Cee tanto st CumpPic a) U a Ve 2 Anb#4g on-iadtecigin de iq hi Potesis , nun Ciadlo. «C)OCAKB) = AKC) (8) sea em € Axe minde Axe BED = (mine Axe n F56eB =7 dp 2 Peon veen MEA ANET =? 36 2 (mennves) n (repanec) 73? BGmP)E AKG Nome BxC =? Cin) € (BKC) Oo (Axe) ag? Coin) Axe => Coan) € (exc) Por 0 Lanto Se tomer lweJo; Por a) y b) Sc tiene Que Axc= CBxcyo(AxB) o(AxgG vn Aggeteo Funvonar con Aa TIM Cg) YB uno © SN Ve Ran CG) ¢ Bs. prcbe aus G! AB“ Man Demostacidn 5 a 5.96 Pwbaremos tas dos condiciones para que (sep Funcom 917 De Sn eFecto A Galsea ack =p aeA= som (GB) =Vae dom (4) =7 dbepen(G) 7 (obIEG) thes soweo Rol se compre Gy G1, Fenenos we G es on grdgico Fontionar, e540 <5 ** gue & compte Gon Ge 7 Gor 1 FIMO tenemos que GL A-7G co Funcion @ seo GC yn quaFco Funciono injeceivo, Prucbe Qe G s Reon CG) 7 POM (G) es funcion. pernos£roG6n ie . . tenemos ave © 26 Un braF.CO FunUonar inJelEVo, G4 £9, . mn Oo “10 Funes ‘ Por derinidion GO es un MAELO Funional y cumple é 2 1 pro reokO Probar G4 cn ere cto . gen a RON(S)=7 Fhe wom(6) 5 Chinye G =? FbE Dom(5) 5 (ob) € Qo pe Se COMPIE 67. tanto A, or 2 tanto g- Ren (6) > oom (4) eo Fentona ) sey (y vn 4 © ingecguo . a1 ORco ,SoPonja Que 6 es ON 4mFico Fyncional Neegva, * Procbt OVE 2 Dom () —7 Ron (6) es puntion Dermostracion s Como 6 es on JOFCO Foncionar nYeckivo, For egercicng ontertor fenumos Que Ce Y's 6 ! Dorn (6) —? Ron C6) es una FONCion, Solo teste Probar que es sobte Jectiva Y ave eo infectivo COMO Ges Euncionar (obIE Gn (ee GQ" =7 bea Por Loto 6 es injective, Leg geo bé Han (6) =? Fag Dom(B) 3 (obIEG for 10 ganto 6 es SobreYective ¥ Por tonto 61 Bom C6)—7 Bang es Euncion Bective.6) Seupentames ye ora tcdo cr, jyeTxly cemiene que (04) = redo ¥ ENA, ND te UG, & te Sea pz Werf puce que f: YA, Fon cian. Demost radon: Delkernas proba y t4 Yh £4 Sea at WP => Apex ake Ap =D Foe@ps (Ob) ef, , PorSer fp foncion Dper Slab)e fy =) Cab) € Uv, te Psi Se Cumple fa. Sean (a.b+) €fn (abr) €F > lable Ug sr Cabde Uf. . DL pes 2 Ca bi)é fon L Foz 3 Cabr)eh )f pla) =b1 a Fa (olobe A Ae hy 446 Ag fp lal
) Au - d; Sea f= Uf ps ucbe Gvue f: User —_ UB: Zs foncion Demosha Clon | Pebemos ras, picbar Fay Ffr-4% Lfecto £:2S¢0 , Of ess D> pez Fa€ Ap DI be Bp Ca fp Foncicn D Fper 2 Cap) E fp =) (Cs) € U _£, for tele S Compile f, PIELp + Box SEYa Sean Caybr Uf 4 Casb2d€ Ves =D Apes 2 la,be BI 4 | 4y,,2(ab2) € fa] Labrie fy 410€A,J4L , pla [lib de fg 7aety Fn taebs 4 fy caoby 4 ae AgnAp —>fp (a)e=b7z 4 Sa fa)zhr 41 Ag = Ap =)fp tad-b> 4 fa lad=b2 a fz =fp = bo =h2 po Laude 52 corp le Ary fo Ope > LU, 8: €$ pow cron : 8) nos Ge f= Uierfiy Foe P-lbesA, “ep er be €2 fuwGiow* ps Jud Gee pasa todo 4 €°L. fLad=f: Den-cstractow. Sain kez _Y Che Ay Prhoa fel) = fra klala=t, )4 deanD> Ffital= fra) noe UREA AeA . ae] =f, ta)= frag Por 10 tonto Se cumple para toda ACL, F Seap-Ucef Y Seporga que fF: Urer4 D Vier & 25 forcion .pruche que parcy todo Ci jlerxr ytodo x en ANA, Arene que fi tx)= £F te). Se De wreshiacian: Tomemoas GQ-€ AN Ay cualquiera. O16 Dx NY DAL AG Rae A; =) CFbe®s 2 (ober) n (Tee B: 9 (a.cdeg) =Car) LUG alacde Uy A aed Aer =) b=C, pes Sev FHUL, | ter =fu (a)= Gq) or Ie fale Pora fede x € fi NA, Se treve Je fe (x) ~ Lx) forcicn10. Sea f- eexfi . Poueke que F: Neer Mier Be es Loncian: ‘Demaety Odonw FE Seq MeNdi => Vier, GEM Dies Thesis a Obie tz bir (abdeg Dlabenst Pox tonto Se comple Ff, £y- Sean Corbve \ Le ~ Cocle pe DVies Cane LA hier (a.c) £4 >filadeb a Fila=Cs dees =)a-C » PO Se» fe forcten As: se comple fi Por tquto F- 1) A. I) Be es foci orn