UG UCA eae Setrstis Apuntes de Matematica Discreta 2. Operaciones con Conjuntos Francisco José Gonziilez Gutiérrez Cdiz, Octubre de 2008Universidad de Departamento de MatemticnsLeccién 2 Operaciones con Conjuntos Contenido 21 Doflniciones .. . . 15 24 Unién 1 2.2 Imersceeién 1 2.1.3 Diferencia 2.1.4 Complementario 21.5 Dilferencia Simétriea uv 2.2 Algebra de conjuntos. Dualidad 20 22.1 Leyes Klempotentes 20 22.2 Leyes Comnutativas 20 2.2.8 Leyes Asvelativas a 2.24 Leyes Disteibutivas a 2.2.5 Leyes de Identidad 22 22.6 Ley Involutiva 2 22.7 Leyes del Complementario 23 22.8 Leyes de De Morgan 4 2.8 Conjunto de las Partes de un Conjunto .. 0060s ee eee ee 28 28.1 Deflnieidn 20 2.4 Producto cartesiano de conjuntos « 30 2.4.1 netupla ordenada 0 242° Igualdad de m-tuplas 0 24.3 Producto cartesian 30 24d Propiedades 32 Jntroducizemos las operaciones con coujuntos que nos van a pennitir obtener nuevos conjuntes, partiendo de conjuntos ya conocides. A y B seria dos conjuntes eualesquiera de un universal arbitrario % 2.1 Definiciones Definiremos Ins principales operaciones entre conjuntos,Departamento de Matemticns Universidad de 2.4.1 Unién La unién de dos conjuntos A y B es el conjunto formado por todos los elementos que pertenecen a A 0B. Se nota AUB. AUB={e:2€AV2eB} La disyuncién, V, se utiliza en et sentido inclusivo, es decir, significa “y/o” 2.1.2 Interseccién La interseecién de dos conjuntos A y B es el conjunto formado por todos los elementos que pertenecen aAyaB, SenotaANB. ANB={2:2€AAzreB) Si Ay B no tienen elementos en. comin, es decir, si AC B=, entonees diremos que Ay B son conjuntos disjuntos, Ejemplo 2.1 Sean A, By C tres conjuntos (a) Demostrar que i CC Ay © B, entonces ©’ (AN B), es decit, ANB es el mayor conjunto que contiene a Ay a B. is decir, AUB es el conjunto ani (b) Demostrar que si © 2 Ay © > B, entonees © 2 (AUB), pequefio que contiene a Ay a B. ¥ © SB, entonces ta proposividn (a) Supongnmos que C-< ve(reC => 2€ A) A We(n C= 2 EB) es verdad. Esta proposicién es equivalente a VelzeC—2€ A) 4 (2eC 2 eB) la enal, a su wea, eqnivale a Ver eC = (re A A rE B)) de agut que Wa, reC =e re [(ANB)) y, por lo tanto, CCANB (b) Supongamos que CDA y que © 2B, y sear wn elemento arbitrario de AU B entonees, rE(AUB) 4+ reEAV rE B {Delinicién de unién) > reEC VTEC {Por hipitesis) = rec {Idempotencia de v} nego, Vr(r€AUB=> 2 EC) de aqui que 2 (AUB) 16Matornétien Disereta Francisco José Gonziles Gutiérrez 2.1.3 Diferencia La diferencia entre dos conjuntos A y B es el conjunto formado por todos los elementos que pertenecen a Ay no pertenecen a B. Se nota por A\ B. A\B={e:2eA A xg BY El conjunto A\ B se lee “A menos BY y recibe también el nombre de complementario relativo del conjunto B respecto del conjunto A. 2.1.4 Complementario Et complementario de tun conjunto A es ol conjunto formado por todos los elementos del eonjunto universal que no pertenecon a A. Se nota A Aa {xireU arg A} Obsérvese que el complementario de A es iqual a la diferencia entre % y A, es decir, A=W A 2.1.5 Diferencia Simétrica La diferencia simétrica entre dos conjuntos A y B es el conjunto formado por todos los elementos que pertenecen a A0.a B pero no a ambos. Se nota por ALB. AL B=(A\B)U(B\A) A\B i AnB B\A Operaciones con conjuntos 7Universidad de C Departamento de Matemticns Ejemplo 2.2 Sean los coujuntos Aza (ne Zing 13} B= (net: nes paryn< 20} C= {ne Z* nes par) Halla AUB, ANB, BY, A\B, B\ A, ALB, BNC y BYC. Soluce 18Mateméticn Disercia AUB ANB 48 B\A AAB BoC B\C Francisco José Gonziles Gutiérrez {neZt sn € 13} U (ne Zt snes pary n < 20} {1,2,3,4,5,6,7,8, 9,10, 11, 12, 13} U{2,4,6,8, 10, 12, 14, 16,18, 20} {1,2,3,4,5,6,7,8, 0, 10,11, 12,13, 14, 16,18, 20) {neZt in < 13} {ne Zt snes pary n < 20} {1,2.3.4,5,6,7,8, 9,10, 11, 12, 13} 1 {2.4,6,8, 10, 12,14, 16,18, 20} {2.4,6,8, 10,12} {neZt ing A} {neZt:n>13} {nezt:ngB) {neZt:-(n€B)} {ne Zt: [res para (n <20)]} {n € 2+ s(n es par) V(r < 20)} {n €Z* : (nes impar) v (n > 20)} {1,3,5,7,9,11,...} U (21,22,23, 24, ...} {1,3,5,7,9, 11,13, 15,17, 19, 21,22,23,24,...) {neZt:ne Aang B} {neZt ne Anne BY ne IBAne BY 9,11, 13) ne Bang A} ne Bane ay nes paryn <2 yn > 13) mes par y 14 we AV ©eA {Deliniciéu de unidu) — 7cA {Idempotencia dev} De Ia arbitrariodad de 2 se signe que ve |r € (AU A) = re Al de aqui que coaea AUA= 2. Anilogamente se prucha que AMA =A 2.2.2 Leyes Conmutativas Dados dos conjuntos Ay B de un universal arbitrario W, se verifica 1, AU 2 AnB=BnA =BUA Demo En efecto, 1, Sea x enalqnier elemento de %. Entonees, 4e(AUB) > FEAV ce B {Delini + FEB FEA (Commutatividad de v} ou de unin) == 4e(BUA) — (Delinicion de union} Como + es cualquiera de % sigue que Velre AUB re BUA) por lo tanto, AUB=BUA 2. De nna forma similar se demuestra que ANB = BOA. 20Materitien Disereta Fruncisco José Gonséles Gutitrms 2.2.3 Leyes Asociativas Dados tres conjuntos A,B y C de un universal arbitrario, W, se verifica. 1. AU(BUC)=(AUB)UC 2 An(Bne) =(AnB)ac Demostracidn, En efecto, sea 2 8 un elemento arbitrario de @%. Entonces, 2€AU(BUC) EA V |r€(BUC)] —— {Definicién de union} (eA ¥ EB) V rEC {Asociatividad de V} (eeAUB) VreC —— {Detinietén de uniéup <> re(AUB)UC {Definicion de unidn} De la arbitratiedad de 2 se sigue que = = re AV (eB v xe) {Definicidn de unidn} = ve [r € AU (BUC) => x € (AUB)UC] de ng que Au(BUC)=(AUB)UC 2. Aniilogamente se denmestra que AN(BNC) =(AN BNC 2.2.4 Leyes Distributivas Dados tres conjuntos A,B y C de un conjunto universal arbitrario, W, se verifica: 1. AU(BNC) =(AUB)N(AUC) 2, AN(BUC) Demostracion (anB)ulane) En efecto, 1. En efeeto, soa x cualquier elemento del conjunto universal %, entonees 2EAU(BNC) <> 2EAV [re (BNC) {Definieién de union} = reAy (teBArEC) {Definieién de interseccién} <> (©EAV EB) A (wEAV EC) {Distributividad} = re (AUB) & re (AUC) {Definieién de unin} <=} 4 €(AUB)N(AUC) {Delinicién de intersecciin} Alsen x cualquier elemento de %, s¢ signe que Ve fr © AU(BNC) = re (AUB)N(AUC)] auUniversidad de Departamento de Matemticns consecuentemente, AU (BNC) = (AUB) (AUC) 2. De una forma similar se prucha que An (BUC) =(ANB)U(ANe) 2.2.5 Leyes de Identidad Dado un conjunto cualguiera de wn universal arbitrario, Y, se verifica: 1, AUM=A 2AUw aw 3 An=6 A ANw=A Demontrnct 1. AUD= A. Bnefeeto, sea x 6s un elemento arbitrario de %. Entonces, re (AU) = TEA V 2EM {Definicidn de unidn} = 264 {2 € es falso siempre} luego, Vela (AU) re Al de aqui que AUQ=A 2 AU =%. Sen x un clemento cualquiera de %. Entonees re(AU@) =e reAV re® {Definicién de unién} = rev {2 € W es verdad siempre) luego, Vele€ (AUP) re u] 8 decir, Au®= 3. ANO=0. Sixes cualquiera de %, entonees re(ANB) = PEA AxED {Definicidn de unidn} = reo {a € 0 es falso siempre} nego, And=0 4. AN & =A, Sea rum clemento arbitrario de %, Entonces, HEADY > FEAN LEW {Deliniciin de inteneecién} e264 {2 € % es verdad siempre} nego, An@ =A 2Materitien Disereta Fruncisco José Gonséles Gutitrms 2.2.6 Ley Involutiva Dado un conjunto cualguiera A de un universal W, se verifica (ayaa Demostraciéa Sea ¢ cualquiera de %. Entonees, re (A =e 2 GA® —— {Definicién de complementario) = WEA) (Negacisn} = Ale A) {Definieién de complementario) 3 EA) (Negacisn} <= reA {Doble negacién} nego, Ve lee (AN > re A] es decir, ay 2.2.7 Leyes del Complementario Dado un conjunto cualguiera A de un universal arbitrarto W,, 6 verifien: 1 AuAe 1, AUAS= &, Bn efecto, cea x enalquier elemento de %. Entonces, PE(AUA) Go rEAV TEAS — {Definicidn de unién} <> 2eAV2¢A — {Complenentario) $= PEAY “(rE A) {Negacién} — ree {Cautologia} Inego, Ve[r€ (AU A) re ®| por lo tanto, AUA=% 2. W°=0. En efecto, reW new) reW neu. 23Universidad de Cadiz Departamento de Matemticns 3. ANAS = 0. En efecto, ANA ={2eU:rEA A TEAY=(2EUZEAN EEAP=O 4 =%. En efecto, {reWireW) reWirgM=(reW) 2.2.8 Leyes de De Morgan Dados dos conjuntos A y B en un universal %, se verifica 1. (AUB)S= ANB 2, (ANB) = APU BE Demostracién 1. (AUB) = APN BE En efecto, sea x un elemento arbitrario del conjunto universal %, Entonces, re(AUBY == 2g (AUB) {Definicién de complementario} > a [re (AUB) {Negaciénn} <= A |(@ A) V(r B)] (Definicidn de unidn} <2 (eEA)AA(e EB) {De Morgan para v} = (rg AA(e ZB) — {Negackin} > (EA) A(rE BY) {Definicisn de complementatio} > te (ANB’) {Definicidn de interseecién} yal ser x un elemento atbitrario de 4 se sigue que Vale € (AUB) <> re (ANB) Iuego, (Au By = arn Be 2, Anilogamente se prueba que (An By = a UBE Ejemplo 2.3. Sean A, B, Cy D subconjuntos arbitrarios de um conjunto universal arbitrario, & Entonees, (a) A\BCA (b) Si AC By CC D, entonees (AUC) C (BUD) {© Si AC By CCD, entonees (ANC) C (BND) (a) AC (AUB) (e) ANBCA 24Matornétien Disereta Francisco José Gonziles Gutiérrez () SLAC B, entonces AUB=B (s) SiACB, entonces ANB= A (h) A\P=A @ An(B\ay=0 () AU(B\A)= AUB (k) A\ (BUC) =(A\B)n(A\C) () A\ (BNC) = (A\B)U(A\C) (a) A\BCA En efecto, sea um elemento arbitratio de %, rEA\B => FEA Ax ¢B {Delinieiin de diferencia} => red {Simplificacion} nego, vr|reA\ Bre A] conseeuentemente, A\BCA (b) Si AC By CC Dy entonees (AUC) C (BUD) En efecto, supongamos que ACB y CCD y sea x un elemento arbitrario de %, entonces 2EAUC <> 2EAV xEC {Delinicidn de unidn} = FEB V red {Ripétesis} <=} 4€(BUD) —{Definicidn de union} luego, Vele (AUC) =r (BUD) por lo tanto, AUCCBUD {e) Si AC By CCD, entomees (ANC) ¢ (BND) Se prueba de forma andloga a Ia anterior. (a) Ac (AUR) En efeeto, si x es cualquiera de %, entonces 2EA = FEAV rEB {Adicion} = reAUB {Desi a de unidn} luego, Velr€ A= 2 €(AUB)] de aqui que AC (AUB) 25Universidad de Cadiz Departamento de Matemticns {9 ANBCA En efeeto, sea x um clemento enalquiera de AM B. Entonces, reAQB = red A reB {Definik de interseeetén) = red {(Simplificacién) lego, Yr [re (ANB) = re A de donde se signe ANBCA (8) Si ACB, entonces AUB = B En efecto, sea x cualquiera de ® y supongamos que A B. 2€(AUB) 2 EA Vv 2€B {Definicién de unién) = EBV ceB {Hipitesis} = 7eB {Idempotencia de v} lego, Vln (AUB) =r B] por lo tanto, AUBCB vy por (a) BC(AUB) De la doble inclusion se sigue la igualdad que buscauos, (@) Si ACB, entonces ANB =A Por el apartado (e), tenemos que ANBCA Veamos la inclusion contraria, Supongamos que ACB y sea x un elemento arhitrario de %, entonces reA = FEAN ©EB {Hipstesis} <= FE(ANB) — {Definicién de interscecién) lego, Vr[re A= re (ANB) de quit que Ac (ANB) ‘Penemos, pues, que AC(ANB) y (ANB)CA por lo tanto, A=ANB (hy) A\O=A Sea x eualquicra de %. Entonces, FEA\O H> wEAA wD (Deliiciin de diferencia} = re (Por ser x ¢ @ verdad, siempre} lego, A\O=[z:2e A}=A 26Matornétien Disereta () An(B\Ay= En efecto, AN(B\ A) An(Bnay An (an By = (an ayn onB 6 @) AU(B\ A) En efecto, AUB AU(B\A) = AU(BN A) Francisco José Gonziles Gutiérrez {Diferencia de eonjuntos) {Connutatividad de la wnién) {Asociatividad de Ia intersecei6n) {Leyes del complementario} {Leyes de identidad} {Diferencia de conjuntos} = (AUB)N(AU AS) {Distributividad) (AUB)NY AUB () A\(BUC)=(A\B)N(A\C) A\(BUC) = An(Bucy AN(BNe) {Leyes del complementario} {Leyes de identidad) {Diferencia de conjuntos} {De Morgan} (ANA) N(BENC?) {Idempoteneia de Ia intersercién) (ANB YN (ANC) (Commutatividad y asociatividad} (A\B) (AYO) {Diferencia de conjuntos} W A\(BNC)=(A\ BULA C) La demostracin es similar a la del apartado anterior. Ejemplo 2.4 Probar las identidades siguientes: (a) AU(ANB) =A (b) AN(AUB)=A (9 A\B=AnB (@) AU(ANB)= AUB (@) An(A°UB)=AnB Solucin fa) AU(ANB)=A Sea 2mm elemento enalquien del universal %, entonces ®EAU(ANB) 4+ FEA V rE(ANB) {Definiciin de unién) = rea luego Vir, x €AU(ANB) => re Acs decir, AU(ANB)CA 27Universidad de C Departamento de Matemticns Por otro lado, siempre se verifica que ACAUX, WX e® cen particular, ACAU(ANB) De la doble inclusion se sigue el resultado, A= Au(AnB) () An(AuB)=A4 En efeeto, AN(AUB) = (ANA)U(ANB) (Disteibutividad AU(AnB) {Idempotencin de Ia interseve =A {Apartado (a)} (9 A\B=AnB En cfeeto, sea x cualquiera del coujunto universal %, entonces BEA\B <> SEAN 2¢B {Delinicidn de diferencia} $+ EAA 2EBe (Definicidn de complementario) <> FE(ANE) — (Delinicidu de interseecion} luego, Vr, 2 €A\ Bo re (ANB) por lo tanto, A\B=AnB (a) AU(AS NB) = AUB En efecto, AU(APNB) = (AUA')N(AUB) {Distsibutividnd} = #n(AuB) {Leyus del complementario} AUB {Leyes de identidad} (9 AN(A°UB)= ANB AN(AUB) = (ANAU(ANB) {Di ou(ane) {Leyes del complementario} ANB {Leyes de identidad} 2.3. Conjunto de las Partes de un Conjunto Dado un conjunto A, si nos referimos a algunos de sus subconjuntes estarfamos considerando m conjunto de conjuntos. En tales ensos hiblaremos de una chase de conjumtos o coleccién de eonjuntas en ver de tun conjunto de conjuntos, Si quisiéramos considerar algunos de los eonjuntos de uma cise dada de conjuntos, entonees hablaremos de tina subelase o de una subeoleecién, 28Matornétien Disereta Francisco José Gonziles Gutiérrez Ejemplo 2.5 Sea A= tres elementos de A, Enton de} y sea of la clase de subeonjuntos de A que couticnen exactamente of = {{a,b,c} fa,bdk {a,b,e) {0,6}, {a,ceb ta det (bed, (b,ce},fe.d,e}) siendo los elementos de of los conjuntes: {a,b,c} (a, b.d}{arboe} {acd} {ace} {adel {bed} {bce y {ode} 2.3.1 Definicién Dado un conjunto A, lamaremos conjunto de las partes de A a la clase 0 coleccién de todos tos subconjuntos de A y se nota por P(A) Obsérvese que de acuerdo con esta definicién, si X es un conjunto cualquiera de %, entonces Xe PA cA Ejemplo 2.6 Sea A= {1.2.3}. Entoness {01 (2) {8}, 1,2) 1.3} 2,9}, ,2,9)) F(A) Nota 2.1 Siel conjunto A es finito y tiene n elementos, entonces A(A) también es un conjunto finito y tiene 2" elementos. 0, ito arbitrario de ALA). Para cada a © A, hay dos opciones a eX da ¢ X como hay m elementos en A, habri n veces Tra Bam" diferentes eonjuntos X. Es decir, P(A) tiene 2" elementos. Veremos otra demestracién en tna leocién posterior Ejemplo 2.7 Especificar el conjunto de las partes para cada uno de los coujuntos siguientes: fa) (abe (b) {tab}. {ch} (0) (hab) Cosa} 0, ,0F} (@) {abet P ({a,b.e}) = {0. {a} {0}. {e}, {a0} {are}. {b,c}. fasb.e}} (b) {{a,b}. {eh} P {{{a, dk ehh) = {0,{{a,5}) {febh {fab} feb) (©) (hab), {bea} ,{a,b, 0h} P (Ka, 8} {b,a}, {a,b O}}) =F ((a,0}) = (0, {0,0} (fa, 0}}}Universidad de Cadiz Departamento de Matemticns 2.4 Producto cartesiano de conjuntos El concepto matemitien de relacién esta basado en lx nocién de relacién entre ob jetos. Algunas relaeiones deseriben comparaciones entre elementos de umn conjunto: Una eaja es mis pesada que otra, un hombre es mils rico que otro, ete, Otras relaciones involucran elementos de conjumtos diferentes, tal como “x vive en y”, donde x es una persona ¢ y es wma ciudad, “x es propiedad de y* donde x es um odificio e y ces ima empress, 6 “r nacié en el pais y en el nfo = Todos los ejemplos anteriores son de telaciones entre dos o tres objetos, sin embargo, en principio, podemos describir relaciones que abarquen m abjetes, donde nes cualquier entero positive, Cuande hagames tna afirmacién que telacione n abjetos, seré necesario no solamente especificar los abjetos en sf nos. Por ejemplo, la posicidn relativa de 3 y 5 da lugar Jeno tuna de ellas falsa y Ia otra verdadera, mismos sino también tina ordenacién de los mi Ainieamente a dos afirmaciones “5 <3" y “3 < Usaremos las n-tuplas ontenadas de elemendos para especificar una sucesién finita de objetos no nece- sariamente distintos; la posiciin relativa de los objetos en la sucesiGn nos dard la ordenaciGn uecesaria de los mists. 2.4.1 n-tupla ordenada Liomaremos n-tupla ontenada a una sucesion de objetos a1, 02,...,0m dados en un eferto onder y ta notaremos por (a1,A2,+.5 An) Obsérvese que es Fundamental el orden en que eseribamas los elementos de Tn: n-tmpla, asf (045435005 46hn) F (035 0450+ 9fn) Sin =2, una n-tupla ordenada se llama “par ordenado” y sin = 3, “terna ordenada” 2.4.2 Igualdad de n-tuplas Diremos que dos n-tuplas ordenadas son iguales si, y sélo si, sus i-éximas componentes son iguales para todo i, 1 rEAA WEBV EC) {Def. de unin) $+ (PEA AYEB) V (PEA A YEO) {Dist. de A respocta de V) > Gy) E(AXB) V Gy) E(A XC) (Del. producto cartesiano} <= (ey) (Ax B)U(AxC) {Definiekin de snidn) nego, V(x) (avy) € A x (BUC) — (ey) € (Ax B)U(AxC)) os decir, Ax(BU Los apartadas (b), (ec) y (d) se denmestran de 1 (Ax B)U(Ax ©) a forma similar Ejemplo 2.12 $i % = Z!, A = {1,2,3,4}, B= (2,5) y C= {8.4.7}, determinense los eonjuntos signientes: (a) AxB 32Matornétien Disereta Fruneiseo José Gonzi: Gutiéres () Bx A () Au(BxC) (@) (AUB) xe (e) (Ax C)U(BxC) Solucién (a) Ax B= {(a,):a A AbE BY luego, Ax B= ((1,2),(1,5)5(2,2),(2,5)s(3,2), (3,5), (4,2), (4.5) (b) Bx A= {(b,a):be Bae A} luego, Bx A={(2,1),(2.2).(2,3), (2.4), io) AU(B x C) = {1,2,3,4, (2,3), (2,4), (2,7), (5,3), 64), (5.7)) @ (AUB) KO = {,3),(1,4),(1,7),(2,3), 2,4),(2,7) (8.4), (3,7), 4.3), (4d), 7). 6,3). (5,4), 5. 7)} wo (Ax C)U(Bx C) = (3), (1.4).(0,7). (2.3). (2.4), (2.7), 8.3), (8,4), (8,7), (4,3), (4,4), 4.7) (5.3), 6,4) (5,7)} Ejemplo 2.13 Sean A= {a,t,e}, B = (b,e.d} y C = {ad}. Eneontrar A x Bx C utilizando un diagrama en arbol. Sol Ejemplo 2.13 33Universidad de Cadiz Departamento de Matemticns La figura muestra el diagrama en arbol, Recorriendo cada una de las ramas obtenemos las distintas ternas que integran el producto cartesiano de los tres conjuntos, es decir, AXBxC = {(a,b,a),(0.b.d), (0.6.4), (@€.d), (ada), (a, dd). (b,b,a), (bs b.d), (6,2) (ed), (bd), (b,d,}, (650, a), (0A), (e6, 0), (eyed) (65d), (es) Ejemplo 2.14 Daclos tres conjuntos arbitrarios A,B,C © %, probar Ax (BAC) = (Ax B)N (Ax C) Solueidn Ax (BNC) = (Ax B) (Ax C) Bn efecto, (a,b) € Ax (BNC) ac A Abe (BNC) acd A EBA DEC) (@EA A EB) A (ACAD bEC) (a EAXBA (ab) EAXC (a,b) € (Ax B)n(AxC) titit Iuego, V(a,b) ((a,) © Ax (BC) = (a,b) € (A x B)N (Ax C)) cs decir, Ax (BNC) = (Ax B)a(AxC) Ejemplo 2.15 Se condemn los conjuntos A = {re Z:3<2<8) y B= (re2 Hallar Ax B ~8<2<-d}. Solucion A=(reZ:3< 268} =(3,4,5,6,7,8} Ba(reZ:-b<2<-4 nego, AxB= {(8,-5), (4,5), (5, ~5), 6, ~8),(7, 5), (8, 5), (8, ~4), (4, A), (6,4), (6, 4), (7,4), (8, ~)} Ejemplo 2.16 Demostrar que (At By) 9 (Ag x Be) = (A, 9 Ag) x (By Bp) Solucién En efecto, sea (a,0) um elemento arbitrasio de (4, x By) 0 (de x Ba). Entonces (at) € (As x By) 0 (Aa x Ba) (0.8) € (Ai x By)) A (0,0) € (2x Ba) (Del. den) (ae A, A DEB) A (ae Ag 6 bE Bs) (Dek de x} (aE A, Mae Ar) A (DEB, A DEB) (Asoc. y comm} 0 (ALM Ag) 4 be (BLN Ba) (0.0) € (A An) x (By, 0 Ba) tide 34Mateméticn Disercia Francisco José Gonziles Gutiérrez luego, (a,b) ((a,0) € (Ay x By) 9 (Ag x Ba) => (a,b) € (ALM Aa) x (BL Bs) es decis, (As By) (Aa x Ba) = (4a Aa) (Ba Ba) Ejemplo 2.17 Dados los conjuntos A= (a,b, ed}, B= (1,2,3) y C = fa, 3,7}, hallar (a) AxBxE (b) Ax(Bne) (9 Ax (BUC) Solucidn fa) AxBxC = {(a,1,0),(a,1,8),(a, 1,7), (a,2,4), (a, 2,8), (a,2,9),(a,3,a), (a,3, 8), (0,3,9)e(@e Aue), (b. 15) (61.7) (2.0) (62,5) G22 7a (bv3. 0) 6,3,9). (8.3.7). (6,45}, (1,8), (6 1.7), (2,0), (6.2.3) (6.2.9). (6.8.4). (€43,9)s (63,7) (dstoa), (dy 8,109) (2,0), (2,3). (4.2.99, 4.8.0). (4,3,8), (4.3.9) () Ax (BNO) =Ax0=0 (9 Ax(BUC) Segrin hemos visto en Ia leccisn, Ax(BUC)= (Ax B)U(Ax ©) nego, AX (BUC) = ((0,1),(0,2).(e3), 651). (0.2)s 63), (61), (62). (es Bs (1), (2). (3) (a4), (448), (0,9), (6,02) (6,9) (bys (65): (3), (6 sda), (d A). Ejemplo 2.18 Para A,B,C © %, probar que A x (B\C) = (Ax B)\ (Ax C). Solu En efecto, Va.) Ax(B\C) > ae AA dEB\C + ae AK EB ALEC) > @EAA DEB) A WEA AUEC) => (a,b) €AXxB A (a,b) ¢ (AxC) <= (a,b) €(Ax B)\ (Ax C) luego, ¥(a,6) ((a,0} € Ax (B\ C) <=> (a,b) € (Ax B)\ (Ax C)) os decir, Ax (B\C) = (Ax B)\ (Ax)