Asignatura: Estructuras discretas Alumno: Juan Carlos Vsquez Astzian C.I. 7.400.375 CONTENIDO - Definicin - Subconjuntos - Conjunto potencia - Igualdad de conjuntos - Unin e interseccin de conjuntos - Diferencia y complemento - Algebra de conjuntos - Producto cartesiano - Operaciones generalizadas - Particin - Cardinalidad
Definicin Llamaremos conjunto a cualquier coleccin de objetos y estos objetos los llamaremos elementos. Llamaremos conjunto universal, al conjunto que contiene todos los elementos a considerar y lo denotaremos por U. Ejemplo: Consideremos el conjunto formado por todos los nmeros naturales menores que 6. En este caso podemos escribir el conjunto como A = {1,2,3,4,5} y nuestro conjunto de referencia o conjunto universal es N, el conjunto formado por todos los nmeros naturales. Los conjuntos son denotados con letras maysculas como A,B,C,X,Y,Z, mientras que para los elementos se usan letras minsculas como a,b,c,d,x,y,z, Los elementos de un conjunto son encerrados entre llaves o en un crculo, el cual es llamado diagrama de Venn. Si x es un elemento y A es un conjunto, la expresin xeA, se lee "x pertenece a A o x es un elemento de A. Su negacin la escribiremos as: xeA y se lee x no est en A o no pertenece a A. Existen dos formas de determinar un conjunto: por extensin y por comprensin. a. Por extensin: Cuando todos sus elementos son enumerados uno a uno. Ejemplo: Los siguientes conjuntos estn determinados por extensin. A = {1,3,5,7}, B = {a,x,y,z,w} b. Por comprensin: Cuando estn dados como dominio de una funcin proposicional, es decir, los elementos de un conjunto que cumplen una condicin dada. Ejemplo: Los siguientes conjuntos estn dados por comprensin. A = {n e N / 1s n s 5} (Todos los nmeros naturales mayores o iguales a 1 y menores o iguales a 5) B = {x e R / x divide a 18} (Los nmeros reales divisores de 18) C = {x e R / | x | < 4} (Los nmeros reales cuyos valores absolutos son menores que 4) Subconjuntos Relacin de Inclusin Si A es el conjunto formado por todos los Barquisimetanos y B es el conjunto formado por todos los Venezolanos entonces, tenemos que todo elemento de A es tambin elemento de B. Este resultado lo expresamos diciendo que el conjunto A est incluido o contenido en el conjunto B, o bien, que A es un subconjunto de B. Esta nueva relacin se simboliza por A c B. Definicin: Sean A y B conjuntos. Diremos que A es subconjunto de B lo cual denotaremos por A c B, si todo elemento de A es tambin un elemento de B. Simblicamente lo expresaremos como: A c B ( x e U) ( x e A x e B ) Teorema: La relacin de inclusin entre conjuntos es: 1. Reflexiva: A c A, para todo conjunto A. 2. Antisimtrica: A c B . B c A A = B. 3. Transitiva: A c B . B c C A c C. Demostracin Demostremos (1) La Reflexiva A c A, para todo conjunto A. Puesto que, para cualquier x se cumple que x e A x e A concluimos que A c A. Demostremos (2) La Antisimtrica : A c B . B c A A = B, la antisimetra de la inclusin es parte del teorema anterior, por tanto, ya est demostrada. La tercera Transitiva: A c B . B c C A c C Definicin: Diremos que un conjunto A est incluido propiamente en un conjunto B o que A es subconjunto propio de B si y slo si A c B y A = B. Ejemplo: Si A = {a, d, f} y B = {a, b, c, d, e, f, h}, entonces A es subconjunto propio de B. Ejemplo: Si D = { 1, 2, 3, 4 } y E = { 1, 2, 3, 4, 5, 6 }, entonces D es subconjunto propio de E. Problema: Probar que A . B (- x )( x e A x e B )
Solucin Usando la ley del condicional, P q ~ p v q, en la definicin de inclusin tenemos que: A c B ( x )( x e A x e B ) ( x )( x e A v x e B ) luego, negamos ambos lados, ~ ( A c B ) ~ ( x )( x e A v x e B ) obtenemos que A . B ( - x ) ( x e A . x e B ) Conjunto Vaco Definicin: Dado un conjunto A, el conjunto vaco | A es el conjunto: | A = {
x e A / x = x } el | A no tiene elementos, ya que todo x e A satisface x = x. Adems, por definicin se tiene que vaco es subconjunto de todo conjunto A.
Conjunto Potencia Si A es un conjunto, se define el conjunto Potencia de A o conjunto partes de A como (A) = { X / X c A}, es decir, es el conjunto formado por todos los subconjuntos de A. Ejemplo: Si A = {x, y, z} entonces (A) = {{|}, {x}, {y}, {z}, {x, y}, {x, z}, {y, z}, {x, y, z}} Caractersticas del Conjunto Potencia - La principal caracterstica de este conjunto es que es un conjunto de conjuntos, es decir, sus elementos son conjuntos. - Dado un conjunto A podemos conocer el nmero de elementos de (A), ya que si A tiene n elementos, entonces (A) tiene 2 n elementos. El siguiente teorema nos dice que el conjunto partes conserva la relacin de inclusin. Teorema. A c B (A) c (B) Representacin Tabular del Conjunto Producto Un conjunto AxB lo podemos representar por medio de tablas como veremos en el siguiente ejemplo. Ejemplo Si A = {3, 5,7} y B = {1, 2,3} encuentre la representacin tabular de AXB Solucin AxB = {(3,1),(3,2),(3,3),(5,1),(5,2),(5,3),(7,1),(7,2),(7,3)}
Igualdad de Conjuntos Si dos conjuntos tienen los mismos elementos diremos que son iguales, por ejemplo: A = {2, 3, 5, 9,10} y B = {10, 5, 3, 2,9} son iguales. El siguiente teorema nos permite determinar cundo dos conjuntos son iguales. Teorema: Sean A Y B dos conjuntos. Luego, A = B A c B . B c A Demostracin: Sigue inmediatamente del axioma de extensin, la definicin de inclusin y de la siguiente equivalencia: (x e A x e B ) ( x e A x e B ) . ( x e B x e A )
Unin e Interseccin de Conjuntos Sean A y B dos conjuntos. Se define la unin de A y B como el conjunto: A U B = {xe U / xe A v xe B} Es decir, son todos los elementos que estn en A o estn en B. Ejemplo: Si A = {1,3,5,6,7,8} y B = {0,1,-14,5,8,7,10} entonces, A U B = {0, 1, 3, 5, 6, 7, 8, 10,-14} Propiedades de la Unin de Conjuntos Sean A y B dos conjuntos, luego se cumplen las siguientes propiedades: 1. A U A = A 2. A U U = U 3. A U | = A 4. AUB = BUA Sean A y B dos conjuntos. La interseccin de A con B se define como el conjunto: A I B = {xe U / xe A . xe B} Es decir, los elementos que estn en A y tambin estn en B. Ejemplo: Sea A = {a,b,c,d,e} y B = {a,c,e,h,i,j,k} luego, la interseccin de los conjuntos A y B es el siguiente conjunto A I B ={a,c,e} Propiedades de la Interseccin de Conjuntos Sean A y B conjuntos, luego se cumple: 1. A I A = A, A 2. A I U = A, donde U es el conjunto universal 3. A I | = | 4. A I B = B I A
Diferencia y Complemento Si A y B son conjuntos, entonces se define la diferencia entre A y B como el siguiente conjunto: A - B = {xeA / xeB}. Es decir, son todos los elementos que estn en A pero que no estn en B. Ejemplo: Consideremos los conjuntos A = {1,2,3,5,7,9,11,12} y B = {0,1,2,-4,5,7,9,6,8,10,18} Luego A-B = {3, 11,12} mientras que B-A = {0,-4, 6, 8, 10,18} La diferencia simtrica Entre A y B es el conjunto. A B = (A-B) U (B-A) = {xeU / xeA v xeB} En el ejemplo anterior se tiene que AD B = {-4, 0, 3, 6, 10, 11, 12,18} Propiedades de la Diferencia de Conjuntos Sean A, B, C tres conjuntos, luego se cumple que: 1. (AUB) - C = (A - C) U (B - C) 2. (A I B) - C = (A - C) I (B - C) 3. (AD B) - C = (A - C) D (B - C) 4. A I ( B - C) = (A I B) - (A I C) 5. (B - C) I A = (B I A) - (C I A) Sea B un conjunto. Se define el Complemento de B como el conjunto. C(B) = {xe U/ xe B}. Es decir, el complemento de B son los elementos que le faltan a B para llegar a ser igual a U. As podemos decir xe C(B) xe B. Ejemplo: Si U = {1,2,3,4,5,6,7,8,9,10} y B = {1,3,5,7}
entonces C(B) = {2,4,6,8,9,10} Teorema: Sean A y B dos conjuntos luego: a. A - B = AI C(B) b. C(C(A)) = A c. AUC(A) = U d. AI C(A) = f e. C(U) = f f. C(f ) = U g. A B C(B) C(A) Teorema: (Leyes de De Morgan para conjuntos) i. C(AUB) = C(A) I C(B) ii. C(AIB) = C(A) U C(B) Ejemplo: Hallar los conjuntos A y B sabiendo que U = {0,1,2,3,4,5,6,7,8,9}, C(A)I C(B) = {6} y A I B = {0,5,8}. Solucin C(A) I C(B) = {6} por ley de De Morgan C(A)I C(B) = C(AUB), as podemos decir que: C(AUB) = {6} AUB = C(C(AUB)) = {0,1,2,3,4,5,7,8,9} Como A - B = = {7,9} entonces concluimos que A = {0,5,7,8,9} y B = {0,1,2,3,4,5,8}
Algebra de Conjuntos As como en las proposiciones existen las leyes del lgebra de proposicional, en la teora de conjuntos tenemos las leyes del lgebra de conjuntos que veremos a continuacin. 1. Leyes de Idempotencia a. A U A = A A = A b. A 2. Leyes Asociativas a. A U (BUC) = (AUB) U C b. A (BC) = (AB) C 3. Leyes Conmutativas a. A U B = B U A b. A B = B A 4. Leyes Distributivas a. A U (B C) = (A U B) (A U C) (B U C) = (A B) U (A C) b. A 5. Leyes de Identidad a. A U | = A | = | b. A 6. Leyes de Dominacin a. A U U = U U: conjunto universal b. A U = A 7. Leyes de Complementacin a. A U C(A) = U b. A C(A) = | | |) = U c. C (C(A)) = A d. C (U) = e. C ( 8. Leyes de De Morgan a. C(A U B) = C(A) C (B) B) = C(A) U C (B) b. C(A Producto Cartesiano Sean A y B dos conjuntos. Se define el conjunto producto o producto cartesiano de A y B como el conjunto Ax B = { (a,b) / aeB ^ beB} Ejemplo: Si A = {a,b} y B = {1,5,8} Entonces Ax B = {(a,1), (a,5), (a,8), (b,1), (b,5), (b,8)} Mientras que BxA = {(1,a), (1,b), (5,a), (5,b), (8,a),(8,b)} Ntese que Ax B Bx A Teorema. Si A, B, C son tres conjuntos entonces: 1. A x B = F A = F B = F 2. A x (BUC) = (Ax B) U (Ax C) 3. Ax (B I C) = (Ax B) I (Ax C) 4. Ax(B -C) = (AxB) - (Ax C)
Operaciones Generalizadas Consideremos un conjunto de ndices I= {1, 2, 3, &, n} y una familia de conjuntos {A 1 , A 2 , & , A n }, donde cada A i con ie I, representa un conjunto. Al conjunto {A 1 , A 2 , &, A n } lo llamaremos Familia Indizada de conjuntos; y lo denotaremos {A i } i e I . Ejemplo Sea la familia indizada {A i } i I , donde I={1, 2, 3, 4} y determinar por extensin cada miembro de la familia. Solucin La familia de conjuntos dadas en el ejemplo anterior es finita. Sin embargo, podemos tambin considerar familiar infinitas. Por ejemplo, consideremos el conjunto, donde n es un nmero natural cualquiera; luego la familia es una familia infinita, cuyo conjunto de ndice es el conjunto de los nmeros naturales. Algunos de los miembros de la familia son: Ahora definamos la unin e interseccin de una familia indizada de conjuntos: Definicin Sea {A i } i e I una familia indizada de conjuntos, se define: i. La unin de esta familia como el conjunto ii. La interseccin de esta familia como el conjunto Observacin: dado un conjunto de ndice I={n, n+1, & , n+k}, entonces se denota tambin las uniones e intersecciones como Ejemplo Si A 1 = {a, b, x, y}, A 2 = {b, x, y}, A 3 = {b, y, z}, A 4 = {b, y, x, z}, hallar: a. b. c. Solucin
Particin Sea X un conjunto y {A i } i e I una familia de subconjuntos de X. Se dice que {A i } i e I es una particin de X, si y slo si: Cada A i es una celda o bloque de la particin, es decir, una particin es una familia {A i } i e I donde cada conjunto de la familia es no-vaco, la interseccin entre dos miembros de la familia es vaca y la unin de todos los miembros da X. Ejemplo Si X={a, b, c, d, e, f, g} y A 1 ={a, b}, A 2 {e, c, g}, A 3 ={d, f} , entonces {A 1 , A 2 , A 3 } es una particin de X.
Cardinalidad Diremos que un conjunto A es finito si A tiene n elemento, para algn nmero natural n, es decir, un conjunto es finito si se pueden contar sus elementos. En caso contrario se dice que es infinito. Ejemplo: El conjunto {a, b, c, d, e} es finito porque contiene 5 elementos, el conjunto de los nmeros reales, de los nmeros naturales son ejemplos de conjuntos infinitos. Definicin: Sea A un conjunto finito. Se dice que: i. El cardinal de A es 0 si A =|. ii. El cardinal de A es n y lo denotaremos por #A = n si A tiene n elementos. Ejemplo: Si A = {0, 1, 2, 5, 4,7} entonces #A = 6 Teorema: Sean A y B dos conjuntos finitos, luego: i. B - A) = #B - #(AI B) ii. #(AUB) = #A + #B - #(AI B) Teorema: Si A;ByC son tres conjuntos finitos entonces #(AUBUC) = #A + #B +#C - #(AI B) - #(AI C) - #(BI C) + #(AI BI C). Estos teoremas son usados para resolver problemas de la vida cotidiana cuando los conjuntos con los que estamos trabajando son conjuntos finitos. A continuacin presentamos el siguiente problema que resolveremos con la teora de cardinalidad de conjuntos. Ejemplo: De un grupo de 200 turistas que llegaron a Venezuela se sabe lo siguiente: 70 visitaron Canaima, 140 visitaron Zulia, 158 visitaron Mrida, 50 visitaron Canaima y Zulia, 120 visitaron Zulia y Mrida, 55 visitaron Canaima y Mrida, 15 visitaron Zulia pero no Mrida ni Canaima. 1. Cuntos visitaron los tres lugares? 2. Cuntos visitaron slo Mrida? 3. Cuntos no visitaron ninguno de los tres lugares? Solucin Sean U el conjunto formado por los 200 turistas. C el conjunto formado por los turistas que visitaron Canaima. M el conjunto formado por los turistas que visitaron Mrida. Z el conjunto formado por los turistas que visitaron Zulia. Sabemos qu #C = 70, #M = 158, #Z = 140, #U = 200. #Z = 140 = x + (50-x)+(120-x)+15 140 = x+50-x+120-x+15 140 = 185-x x = 185-140 x = 45, es decir, 45 personas visitaron los tres lugares #M = 158 = m+(55-x)+(120-x)+x 158 = m+175-x, sustituyendo x y despejando m se tiene que m = 28. Por lo que se tiene que 28 turistas visitaron solamente Mrida. Los turistas que no visitaron ninguno de los tres lugares es #U - #(CUZUM) #(CUZUM) = #C+#Z+#M - #(C I Z) - #(CI M) - #(ZI M) + #(CI MI Z) = 70+158+140-50-55-120+45 413+225 #U-#(CUZUM) = 200-188 = 12, por lo que se concluye que 12 turista no visitaron ninguno de los tres lugares.