Operaciones con conjuntos

Ejemplo: Denici on de la diferencia de conjuntos. Sean A y B conjuntos. Entonces A \ B := x : x A x /B .

Esto signica que para todo x tenemos la siguiente equivalencia: xA\B xA x / B.

1. Denici on de la uni on de conjuntos. Sean A y B conjuntos. Entonces A B := x : 2. Denici on de la intersecci on de conjuntos. Sean A y B conjuntos. Entonces A B := x : 3. Indique las correspondencias con echitas: . .

xAB

x pertenece a ambos conjuntos A y B

xAB

x pertenece al conjunto A pero no pertenece a B

xA\B

x pertenece por lo menos a uno de los conjuntos A y B

Operaciones con conjuntos, p agina 1 de 10

Diagramas de Euler-Venn
Ejemplo: Diferencia de conjuntos. A B A \ B consiste en todos los puntos que pertenecen al conjunto A y al mismo tiempo no pertenecen al conjunto B .

4. Uni on de conjuntos. A B A B consiste en todos los puntos . . .

5. Intersecci on de conjuntos. A B A B consiste en todos los puntos . . .

Operaciones con conjuntos, p agina 2 de 10

Relaciones de contenci on entre la intersecci on, la uni on y los conjuntos originales

C omo demostrar la contenci on de un conjunto en el otro. Sean A y B conjuntos. Se dice que A est a contenido en B si cualquier elemento del conjunto A pertenece tambi en al conjunto B . Formalmente esto signica que para cualquier x la armaci on x A implica la armaci on x B . Ejemplo. Sean A y B conjuntos arbitrarios. Demostrar que A B A. Soluci on. Plan de la demostraci on: considerar un elemento arbitrario del conjunto A B y demostrar que este elemento pertenece al conjunto A. Sea x A B . Por denici on de la intersecci on esto signica que x A y x B . En particular, esto implica que x A. 6. En la demostraci on anterior se usa la regla l ogica a b) a.

Demuestre esta regla usando tablas de verdad. Soluci on. a 0 0 1 1 b 0 1 0 1 a b (a b) a

Operaciones con conjuntos, p agina 3 de 10

7. Sean A y B conjuntos arbitrarios. Demuestre que A A B. Indique que regla l ogica se usa en la demostraci on y demu estrela con tablas de verdad.

Operaciones con conjuntos, p agina 4 de 10

Propiedades distributivas
Igualdad de conjuntos. Dos conjuntos A y B son iguales si consisten en los mismos elementos. Formalmente esto signica que para un x arbitrario las armaciones x A y x B son equivalentes. Ejemplo (propiedad distributiva de la uni on sobre la intersecci on). Sean A, B y C conjuntos arbitrarios. Demostrar que A (B C ) = (A B ) (A C ). Soluci on. Para un x arbitrario tenemos la siguiente cadena de equivalencias: x A (B C )
(v) (iv) (iii) (ii) (i)

xA xA

(x B C ) (x B x C)

(x A) (x B ) (x A) (x C ) (x A B ) (x A C ) x (A B ) (A C ).

En los pasos (i) y (iv) se usa la denici on de la uni on, en los pasos (ii) y (v) se usa la denici on de la intersecci on, y en el paso (iii) se aplica la propiedad distributiva de la disyunci on sobre conjunci on: a b c = a b a c .

Operaciones con conjuntos, p agina 5 de 10

8. Propiedad distributiva de la intersecci on sobre la uni on. Sean A, B y C conjuntos arbitrarios. Demuestre que A (B C ) = (A B ) (A C ).

Operaciones con conjuntos, p agina 6 de 10

Propiedades distributivas y diagramas de Euler-Venn

En los siguientes ejercicios hay que sombrear los conjuntos indicados. 9. BC A (B C )

10.

AB

AC

(A B ) (A C )

Operaciones con conjuntos, p agina 7 de 10

En los siguientes ejercicios hay que sombrear los conjuntos indicados. 11. BC A (B C )

12.

AB

AC

(A B ) (A C )

Operaciones con conjuntos, p agina 8 de 10

Criterio de que un conjunto est a contenido en el otro

Teorema. Sean A y B conjuntos arbitrarios. Entonces las siguientes condiciones son equivalentes: (a) A B ; (b) A B = A; (c) A B = B ; (d) A \ B = .

La demostraci on se divide en los siguientes ejercicios. 13. Sean A y B conjuntos arbitrarios tales que A B . Demuestre que A B = A.

14. Sean A y B conjuntos arbitrarios tales que A B . Demuestre que A B = B .

15. Sean A y B conjuntos arbitrarios tales que A B . Demuestre que A \ B = .

Operaciones con conjuntos, p agina 9 de 10

16. Sean A y B conjuntos arbitrarios tales que A B = A. Demuestre que A B .

17. Sean A y B conjuntos arbitrarios tales que A B = B . Demuestre que A B .

18. Sean A y B conjuntos arbitrarios tales que A \ B = . Demuestre que A B .

Operaciones con conjuntos, p agina 10 de 10