RELACIONES ENTRE CONJUNTOS Comparando los conjuntos podremos obtener una conclusin; esto es lo que se denomina relaciones entre

conjuntos. INCLUSIN DE CONJUNTOS Un conjunto est incluido en otro, s y solo s los elementos del primero tambin son del segundo. Analticamente: Propiedades de la Inclusin A B xA x B

Propiedad Reflexiva Todo conjunto est incluido en s mismo.A A xA x A V V V V V Como xA es verdadero entonces A A es verdadero, lo que significa que todo conjunto est incluido en s mismo.Propiedad transitiva Si un conjunto est incluido en otro, y este en un tercero, entonces el primero est incluido en el tercero.A B B C A C Aplicando la definicin de inclusin y la Ley del Silogismo Hipottico, se tiene: A B B C (xA xB) (xB xC) xA xC A C IGUALDAD DE CONJUNTOS Definicin Dos conjuntos son iguales cuando tienen exactamente los mismos elementos. Ahora, para que dos conjuntos sean iguales es necesario que uno est incluido en el otro y viceversa, por lo tanto se tienen: A = B A B B A Teniendo en cuenta la definicin de igualdad de conjuntos, y que en la geometra se trabaja con conjuntos de puntos, dos figuras o cuerpos que tienen las mismas dimensiones no son iguales por que el lugar que ocupa cada uno de ellos en el espacio o en el plano, son distintos; en este caso se habla de CONGRUENCIA.PROPIEDADES DE LA IGUALDAD DE CONJUNTOS La igualdad de conjuntos cumple con las tres propiedades de una relacin, o sea que es REFLEXIVA, SIMTRICA Y TRANSITIVA. Propiedad Reflexiva Todo conjunto es igual a s mismo H) Sea el conjunto A T) A = A D) Como A A A A A A A = A Esto es por la idempotencia de la conjuncin y por la definicin de igualdad Propiedad Simtrica H) Sea A = B T) B = A D) Como A = B A B B A B A A B B = A Esto es aplicando la definicin de igualdad y la conmutatividad de la conjuncin Propiedad Transitiva Si un conjunto es igual a otro, y este es igual a un tercero, entonces el primero es igual al tercero. H) Sea A = B B = C T) A = C D) Como A = B B = C (A B B A) (B C C B) (A B B C) (C B B A) A C C A A = C Esto es aplicando definicin de igualdad, conmutatividad y asociatividad de la conjuncin, simetra de la igualdad e idempotencia de la conjuncin.-

CARACTERIZACIN DEL CONJUNTO VACO Al conjunto vaco lo caracterizan dos propiedades. Estas son: 1) El conjunto vaco est incluido en cualquier otro conjunto H) Sea el conjunto A T) A D) Teniendo en cuenta la definicin de inclusin y la definicin de implicacin, se tiene: A x xA V V F V V

Esto es dado que x es falso y xA, por lo consiguiente la implicacin es verdadera, por lo tanto la inclusin es verdadera. 2) El conjunto vaco es nico (unicidad) H) Sean los conjuntos vacos y T) = D) Como es un conjunto vaco y por la propiedad anterior se asegura que Ahora, como tambin es un conjunto vaco, y por la propiedad anterior se tiene . Y teniendo en cuenta la definicin de igualdad se tiene: = OPERACIONES ENTRE CONJUNTOS Toda operacin se caracteriza por tener un resultado. Las operaciones entre conjuntos dan como resultado otros conjuntos.1. COMPLEMENTACIN Sea el conjunto A. Se llama complemento del conjunto A, al conjunto formado por todos los elementos del universal que no son de A.Simblicamente: AC = {x U/x A} Decir que: x AC x A Todo lo rayado son los elementos del conjunto universal que no son de A Propiedades de la Complementacin Involucin El complemento del complemento de un conjunto, es igual al mismo conjunto H) Sea el conjunto A T) (AC)C = A D) Partiendo de la definicin de inclusin, otras formas de negar e involucin en la lgica, se tiene x (AC)C x AC (x AC) (x A) [ (x A)] x A Pero con esta demostracin no se demostr la igualdad, entonces: x (AC)C x A [(x (AC)C x A)] [x A x (AC)C] (AC)C A A (AC)C (AC)C = A Esto es aplicando la equivalencia entre la doble implicacin y la implicacin y la definicin de igualdad.Para el primer caso, lo que est rayado oblicuamente es el AC, y lo que est sombreado es (AC)C 2. LA INTERSECCIN Sean los conjuntos A y B, se llama interseccin entre los conjuntos A y B al conjunto AB formado por los elementos comunes. Lgicamente, hablar de elementos comunes, es hablar de elementos que pertenecen a uno y al otro conjunto.O sea que Ahora, decir que: A B = {xU/xA xB} x AB xA xB

Propiedades y elementos distinguidos de la interseccin Idempotencia La interseccin de un conjunto, es igual al mismo conjunto H) Sea el conjunto A T) A A = A D) Aplicando la definicin de interseccin, la idempotencia de la conjuncin y la definicin de igualdad, se tiene: x A A xA xA xA AA=A Asociatividad La interseccin es asociativa H) Sean los conjuntos A, B y C T) A (B C) = (A B) C D) Aplicando la definicin de interseccin, la asociatividad de la conjuncin y la definicin de igualdad, se tiene: x A (B C) xA x (B C) xA (xB xC) (xA xB) xC x(A B) xC x(A B) C A (B C) = (A B) C El primer grfico es A (B C), y el segundo (A B) C La conmutatividad La interseccin es conmutativa H) Sean los conjuntos A y B T) A B = B A D) Aplicando la definicin de interseccin, la conmutatividad de la conjuncin y la definicin de igualdad, se tiene: x A B xA xB xB xA x B A AB=BA Elemento neutro El elemento neutro de la interseccin es el conjunto universal H) Sea el conjunto A T) A U = U A = A D) Dado que el conjunto AU A U = U A = A Elemento absorbente El elemento absorbente es el conjunto vaco H) Sea el conjunto A T) A = A = D) Dado que, por la caracterizacin del , A A = A = 3. UNIN DE CONJUNTOS Definicin: La unin de los conjuntos A y B es el conjunto AB formado por los elementos de A o de B o de ambos. O sea que: A B = {xU/xA xB} Decir que x A B xA xB

Propiedades de la unin de conjuntos Idempotencia La unin de un conjunto, es igual al mismo conjunto H) Sea el conjunto A T) A A = A D) Aplicando la definicin de unin, la idempotencia de la disyuncin y la definicin de igualdad, se tiene: x A A xA xA xA AA=A Asociatividad La unin es asociativa H) Sean los conjuntos A, B y C T) A (B C) = (A B) C D) Aplicando la definicin de unin, la asociatividad de la disyuncin y la definicin de igualdad, se tiene: x A (B C) xA x (B C) xA (xB xC)

 (xA xB) xC x(A B) xC x(A B) C A (B C) = (A B) C La conmutatividad La unin es conmutativa H) Sean los conjuntos A y B T) A B = B A D) Aplicando la definicin de unin, la conmutatividad de la disyuncin y la definicin de igualdad, se tiene: x A B xA xB xB xA x B A AB=BA Grficamente sern los mismos dado que son dos conjuntos.Elemento neutro El elemento neutro de la unin es el conjunto vaco H) Sea el conjunto A T) A = A = A D) Dado que, por la caracterizacin del , A A = A = A Elemento absorbente El elemento neutro de la unin es el conjunto universal H) Sea el conjunto A T) A U = U A = U D) Dado que el conjunto AU A U = U A = U 4. DIFERENCIA ENTRE CONJUNTOS Definicin La diferencia entre los conjuntos A y B, donde A se llama minuendo y B sustraendo, es el conjunto A B formado por todos los elementos de A que no son de B. Simblicamente: A B = {xU/xA xB} Ahora, si: x A B xA xB Corolario Teniendo en cuenta la definicin de complemento, de interseccin y de igualdad, se tiene: x A B xA xB xA xBC x A BC A B = A BC OTRAS PROPIEDADES Leyes Distributivas De la interseccin con respecto a la unin La interseccin es distributiva con respecto a la unin H) Sean los conjuntos A, B y C T) A (B C) = (A B) (A C) D) Teniendo en cuenta las definiciones de interseccin, unin e igualdad y la propiedad distributiva de la conjuncin con respecto a la disyuncin se tiene: x A (B C) x A x (B C) x A (xB xC) (x A xB) (x A xC) x A B x A C x (A B) (A C) A (B C) = (A B) (A C)

Lo que est con gris en el primer caso es la unin, luego la interseccin es lo que est con negro.Para el segundo caso, la unin de las dos intersecciones es lo que est con negro.De la unin con respecto a la interseccin La unin es distributiva con respecto a la interseccin. H) Sean los conjuntos A, B y C T) A (B C) = (A B) (A C) D) Teniendo en cuenta las definiciones de interseccin, unin e igualdad y la propiedad distributiva de la disyuncin con respecto a la conjuncin, se tiene:

x A (B C) x A x (B C) x A (xB xC) (x A xB) (x A xC) x A B x A C x (A B) (A C) A (B C) = (A B) (A C) Leyes de De Morgan De la interseccin El complemento de la interseccin de dos conjuntos, es igual a la unin de los complementos. H) Sean los conjuntos A y B T) (A B)C = AC BC D) Aplicando las definiciones de interseccin, complemento, unin y de igualdad y la ley de De Morgan para la conjuncin, se tiene: x (A B)C x (A B) -[x(A B)] -( xA xB) -(xA) -(xB) xA xB xAC xBC x AC BC (A B)C = AC BC De la unin El complemento de la unin de dos conjuntos, es igual a la interseccin de los complementos: H) Sean los conjuntos A y B T) (A B)C = AC BC D) Aplicando las definiciones de interseccin, complemento, unin y de igualdad, y la ley de De Morgan para la conjuncin, se tiene: x (A B)C x (A B) -[x(A B)] -( xA xB) -(xA) -(xB) xA xB xAC xBC x AC BC (A B)C = AC BC DIFERENCIA SIMTRICA Definicin La diferencia simtrica de los conjuntos A y B es A B, formado por los elementos de la unin entre A B y B A. Simblicamente: A B = (A B) (B A) Ahora, teniendo en cuenta que A B = A BC se tiene: A B = (A BC) (B AC) Propiedades de la diferencia simtrica Conmutatividad La diferencia simtrica es conmutativa H) Sean los conjuntos A y B T) A B = B A D) Aplicando la definicin de diferencia simtrica y la propiedad conmutativa de la unin, se tiene: A B = (A B) (B A) = (B A) (A B) = B A Asociatividad .La diferencia simtrica es asociativa H) Sean los conjuntos A, B y C T) A (B C) = (A B) C D) Para demostrar esta propiedad se lo debe hacer desarrollando ambos miembros de la igualdad y comparar sus resultados.Comenzamos con el primero, aplicando sucesivamente y convenientemente las definiciones de diferencia simtrica, las propiedades distributivas, conmutativas, elemento neutro A (B C) = [A (B C)C] [(B C) AC] Por definicin de diferencia simtrica = {A [(BCC) (CBC)]C} {[(BCC) (CBC)] AC}

Por definicin de diferencia simtrica ={A[(BCC)C (CBC)C]}(ACBCC) (ACBCC) Por De Morgan y Distributiva ={A[(BCC) (CCB)]} (ACBCC) (ACBCC) Por ley De Morgan e Involucin ={A[(BCCC)(BCB)(CCC)(CB)]} (ACBCC) (ACBCC) Propiedad distributiva = {A[(BCCC)(CB)]} (ACBCC) (ACBCC) Por ser BC y B, C y CC conjuntos disjuntos = {A[(BCCC) (CB)]} (ACBCC) (ACBCC) Por ser el neutro para la unin = (ABC)(ABCCC)(ACBCC)(ACBCC) (I) Propiedades distributivas y conmutativas (A B) C = [(A B) CC] [C (A B)C] Por definicin de diferencia simtrica = {[(ABC) (BAC)]CC} {C[(ABC) (BAC)]C} Por definicin de diferencia simtrica =(ABCCC) (ACBCC){C[(ABC)C (BAC)C]} Por De Morgan y Distributiva =(ABCCC)(ACBCC){C[(ACB)(BCA)]} Por ley De Morgan e Involucin =(ABCCC) (ACBCC) {C[(ACBC)(ACA)(BBC)(BA)]} Propiedad distributiva = (ABCCC)(ACBCC){C[(ACBC)(BA)]} Por ser AC y A, B y BC conjuntos disjuntos = (ABCCC)(ACBCC){C[(ACBC) (BA)]} Por ser el neutro para la unin = (ABC)(ABCCC)(ACBCC)(ACBCC) (II) Propiedades distributivas y conmutativas de I y II y por propiedad transitiva de la igualdad, se tiene: A (B C) = (A B) C CONJUNTO DE PARTES Es importante poder formar conjuntos cuyos elementos son otros conjuntos, es por eso, y valindose de un conjunto y posibilidad que no dan sus elementos, podemos definir conjunto de partes. Definicin Sea el conjunto A, se llama conjunto de partes de A al conjunto P(A) formado por todos los conjuntos que se pueden armar con los elementos de A.Simblicamente: Dicho de otra forma: Por ejemplo: Sea A = {1, 2, 3} P(A) = {{1},{2},{3},{1,2}{1,3},{2,3},{1,2,3},} Esto es dado que todo conjunto est incluido en s mismo, y que el vaco est incluido en cualquier otro conjunto. UNIONES DISJUNTAS Cuando tenemos conjuntos disjuntos, o sea que no tienen elementos comunes, y se trata de realizar una unin, estaremos en presencia de una unin disjunta. Para ello designaremos de la siguiente forma con los conjuntos A y B A B = A + B siempre que A B = Ahora el problema est en expresar como una unin disjunta a una unin de cualquier conjunto. Para ello recurriremos a un grfico teniendo en cuenta los conjuntos A y B P(A) ={X/X A} X P(A) X A

Observando el grfico, se obtuvo el conjunto A y lo grisceo que son disjuntos. Ahora cmo ser simblicamente?

A B = A (B A) = A (B AC) = A (AC B) Por lo tanto podemos expresarlo como una unin disjunta, o sea que: A (AC B) = A + (AC B) Y por la propiedad transitiva de la igualdad, se tiene: A B = A + (AC B) Que es lo que justamente se quera llegar, expresar cualquier unin como una unin disjunta.UNIONES E INTERSECCIONES DE UNA FAMILIA DE CONJUNTOS Sea una familia de conjuntos con i Definimos la interseccin de la familia : Definimos la unin de la familia : PAR ORDENADO Sean los conjuntos {a} y {a, b}. Se llama par ordenado (a, b) al conjunto {{a}, {a,b}} O sea que (a, b) = {{a}, {a,b}} Donde a se denomina primera componente, y b, segunda componente PRODUCTO CARTESIANO Definicin Sean los conjuntos A y B, se llama producto artesiano A X B al conjunto formado por todos los pares ordenados cuyas primeras componentes son los elementos de A, y las segundas componentes, los elementos de B.Simblicamente es: Decir que: A X B = {(a,b)/aA bB} (a,b)AXB aA bB Complemento. El complemento de un conjunto A es el conjunto de todos los elementos que no pertenecen a A, es decir, el conjunto de todos los elementos que estn en el Universal y no estn en A. El complemento de A se denota por A'. En consecuencia,

x A' x 1 x A.
Grficamente, su representacin est dada por:

A' = {x / x 1 x A }.