Diagramas de Venn

Unidad II Conjuntos.
Son representaciones graficas para mostrar la relacin
entre elementos de los conjuntos
U
C
B A
A C U;
B C C;
A C;
C B;
C C U;
B C U;
B A;
C A;
U A;
U C;
U B;

Operaciones con conjuntos(Unin, Interseccin, complemento,
Diferencia y Diferencia Simtrica)
Al igual que se pueden realizar operaciones
entre nmeros, tambin se pueden realizar
operaciones con conjuntos y estas se
aplican en prcticamente todos los temas
de las ciencias de la computacin.

Unin (A U B)
La unin del conjunto A y el conjunto B es el
conjunto que contiene todos los elementos
del conjunto A y el conjunto B:

A U B= {x | x A x B en ambos}

El siguiente diagrama ilustra la definicin
A
B
(A U B)
Sean los conjuntos:
A= {1,2,3,4,5,6,7,8}
B= {x | x Z+; x 12; x es par} {2,4,6,8,10,12}
Aplicando la definicin de unin de conjuntos se tiene que:
(A U B) = {1,2,3,4,6,7,8,10,12}
Considrense los siguientes diagramas de Veen:



U U
U
A = B B
A
A U B
A U U
A U B
A
A partir de stos se puede determinar que la ley conmutativa y la ley de
idempotencia se cumplen para el caso de la unin, y que la unin del conjunto
universo con otro es el conjunto universo:


A U B = B U A Ley conmutativa

A U A = A Ley de idempotencia (A= B )
A U U = U
Interseccin (A B)
La interseccin del conjunto A y el conjunto B es el conjunto que contiene a todos los
elementos que son comunes a los conjuntos A y B:
(A B) = {x | x A ; x B}



A B
A B
Sean los conjuntos:
A= {1,2,3,6,7,8}
B= {x | x Z+; x 12; x es par} {2,4,6,8,10,12}
Aplicando la definicin de interseccin de conjuntos se tiene que:
(A B) = {2,6,8}
A partir de la definicin de interseccin es posible observar que:
a) Si A y B son conjuntos disjuntos (es decir, conjuntos que no tienen elementos
comunes) entonces (A B) =
b) Si A = B entonces (A B ) = (A A) = A
c) (A U ) = A
d) (A ) =
A B =
A A = A
A U = A
U
U
U
A
A=B
B A
Ley distributiva: dados tres conjuntos arbitrarios A, B y C, se puede ver que se
cumple la siguiente ley distributiva en la que intervienen la unin y la
interseccin de conjuntos.
A ( B U C)= (A B) U (A C)
Los siguientes diagramas de Venn ilustran la validez de la ley
A
C
B C
B
A
B
A
C
U
U
U
U
U
B U C
A ( B U C )
A B
A C
(A B) U ( A C )
B
A
C
Por otro lado, la validez de la expresin:
A U (B C )= (A U B) (A U C )
Se muestra mediante los siguientes diagramas:
U
B
A
C
U
A U ( B C )
B
c
B C
B
A
U
A U B
C
A
U
A U C
B
A
C
U
(A U B) ( A U C )
Complemento (A) (Negacin)
El complemento de un conjunto A, que se denota como A, es el conjunto que
contiene a todos los elementos del conjunto universo que no pertenecen al
conjunto A:
A = { x|x U; x A }
El siguiente diagrama de Venn ilustra la definicin de A:
U
A
A
Ejemplo:
Sean los conjuntos: U = { x | x Z} A= {1,3,5,8}
Entonces aplicando la definicin A se tiene que:
A = { x | x Z; x {1,3,5,8} } = { x | x Z; x 1; 3; 5; 8 }
Se puede mostrar la validez de las siguientes propiedades del complemento:
a) (A) = A d) U =
b) A U A = U e) = U
c) A A =

Estas propiedades que son validas en la teora de conjuntos, tambin lo son
en la lgica matemtica y en algebra booleana, en donde se considera el
conjunto universo como 1 y el conjunto vaco como 0

Ley de Morgan
Ejemplo: Sean los conjuntos:
U= {1,2,3,4,5,6,7,8,9,10}
A= {1,3,6,7,9,10}
B= {1,2,3,7,9,10}

Aplicando las definiciones
correspondientes se tiene que:
A U B = {1,2,3,6,7,9,10}
(A U B) = {4,5,8}
Por otro lado tambin se tiene que:
A= {2,4,5,8} B= {4,5,6,8,}
(A B) = {4,5,8}


El matemtico Ingles Agustus De
Morgan demostr que:

1) La negacin de la interseccin de
dos o ms conjuntos es equivalente a
la unin de los conjuntos negados
separadamente.
(A B ) = A U B
2) La negacin de la unin de dos o
ms conjuntos es igual a la
interseccin de los conjuntos negados
por separado.
(A U B) = A B
Por lo tanto se puede afirmar que:
(A U B) = (A B)

Hay que tomar en cuenta que la ley de Morgan tambin se puede aplicar a la
interseccin de forma que:
(A B) = (A U B)

Las operaciones de unin e interseccin de conjuntos, as como la ley de Morgan, se
pueden extender a ms de dos conjuntos:
Para los conjuntos arbitrarios A,B y C se tiene que:

(A U B U C ) = (A B C)

(A B C ) = (A U B U C)





Diferencia (A - B)
La diferencia entre dos conjuntos arbitrarios A y B es el conjunto que
contiene todos los elementos del conjunto A que no se encuentran en B.
A B {x | x A; x B }
El conjunto diferencia tambin se conoce como complemento de B con
respecto a A.
Ejemplo: Sean los conjuntos:
A= {1,2,3,4,7,9,10}
B= {3,4,5,6,7,8}
Entonces se tiene que:
(A - B)={1,2,9,10}
(B - A)= {5,6,8}

Diferencia simtrica (A D B)
La diferencia simtrica entre los conjuntos A y B, que se denota como (A D B ),
es el conjunto que contiene a todos los elementos que se encuentran en el
conjunto A pero no estn en el conjunto B y tambin a los elementos del
conjunto B que no estn en A. dicho de otra manera, el conjunto (A D B )
contiene a todos los elementos que se encuentran en (A U B) pero que no
estn en (A B):
(A D B)= x | (x A y x B) o (x B y x A }
Ejemplo: Sean los conjuntos:
A= {1,2,3,4,7,9,10}
B= {3,4,5,6,7,8}
Entonces aplicando las definiciones correspondientes se tiene que:
(B - A)={5, 6, 8}
(A - B)={1, 2, 9, 10}
(A D B)= {1, 2, 5, 6, 8, 9, 10}


Realizar los siguientes ejercicios
Sean los conjuntos:

U = {x | x Z}
A = {1,2,5,7,10,12}
B = {x | x Z; 3 < x < 15; es primo }
C = {3, 5, 9, 10, 12, 13, 14}
D = {2, 4, 8, 10, 11}
Obtener
A. (A B)
B. (C U D) D B
C. C (D D A)
D. |(A U B)- C| D D