Matemáticas Discretas

TC1003
Teoría de Conjuntos: Propiedades de las Operaciones
Departamento de Matemáticas / Centro de Sistema Inteligentes

ITESM

Conjuntos: Propiedades de las Operaciones

Matemáticas Discretas - p. 1/35

El Argumento del Elemento
Sean X y Y conjuntos dados. Para probar que
X⊆Y
recordemos que X ⊆ Y ≡ ∀x, x ∈ X → x ∈ Y. Una
estrategia sería:

Conjuntos: Propiedades de las Operaciones

Argumento del
Elemento
Ejemplo 1
Operativa
Prueba de
igualdad
Conmutatividad
Asociatividad
Distributividad
Leyes Identidad
Leyes
Complemento
Leyes
Idempotencia
Leyes
Dominaci´on
De Morgan
Absorci´on
Complemento
Base
Ley Diferencia

Matemáticas Discretas - p. 2/35

El Argumento del Elemento
Sean X y Y conjuntos dados. Para probar que
X⊆Y
recordemos que X ⊆ Y ≡ ∀x, x ∈ X → x ∈ Y. Una
estrategia sería:
■ Para manejar el para todo se usa el método de
generalización: suponga un elemento arbitrario
x,
■ para probar que muestre que x ∈ X → x ∈ Y
seguiremos la estrategía del método de prueba
directo:
◆ supondremos que x ∈ X para x arbitrario,
◆ mostraremos que x ∈ Y.

Conjuntos: Propiedades de las Operaciones

Argumento del
Elemento
Ejemplo 1
Operativa
Prueba de
igualdad
Conmutatividad
Asociatividad
Distributividad
Leyes Identidad
Leyes
Complemento
Leyes
Idempotencia
Leyes
Dominaci´on
De Morgan
Absorci´on
Complemento
Base
Ley Diferencia

Matemáticas Discretas - p. 2/35

Por tanto z está en Q. Conjuntos: Propiedades de las Operaciones Argumento del Elemento Ejemplo 1 Operativa Prueba de igualdad Conmutatividad Asociatividad Distributividad Leyes Identidad Leyes Complemento Leyes Idempotencia Leyes Dominaci´on De Morgan Absorci´on Complemento Base Ley Diferencia Matemáticas Discretas . Por tanto. Por el argumento del elemento arbitrario Z ⊆ Q.Ejemplo Pruebe que Z ⊆ Q. Así z z= 1 Por lo tanto. z es un racional. z puede ser visto como la división entre dos enteros (el mismo z y el 1). 3/35 .p. Demostraci´on Sea z un elemento cualquiera de Z.

y) ∈ X × Y ≡ (x ∈ X) ∧ (y ∈ Y) ■ x ∈ P(X) ≡ x ⊆ X Conjuntos: Propiedades de las Operaciones Argumento del Elemento Ejemplo 1 Operativa Prueba de igualdad Conmutatividad Asociatividad Distributividad Leyes Identidad Leyes Complemento Leyes Idempotencia Leyes Dominaci´on De Morgan Absorci´on Complemento Base Ley Diferencia Matemáticas Discretas .p. 4/35 .Versiones Operativas de las Operaciones Sean X y Y subconjuntos de un conjunto universal U . y suponga que x y y con dos elementos de U : ■ x ∈ X ∪ Y ≡ (x ∈ X) ∨ (x ∈ Y) ■ x ∈ X ∩ Y ≡ (x ∈ X) ∧ (x ∈ Y) ■ x ∈ X − Y ≡ (x ∈ X) ∧ (x < Y) ■ x ∈ Xc ≡ x < X ■ (x.

1. ■ Decir que un elemento x pertenece a C − (B ∪ A) significa que x pertenece a (c) pero que x no pertenece a (d). 5/35 . ■ Decir que un elemento x pertence a (B − C) ∪ A significa que x pertenece a A o que x pertenece a (b). A ∪ C 4. B ∪ A 5.p. B − C Dentro de la opciones: 3. C − B 2.Indique en orden los conjuntos que completan las afirmaciones: ■ Decir que un elemento x pertenece a B ∩ (A ∪ C) significa que x pertenece a B y que x pertenece a (a). C − A Conjuntos: Propiedades de las Operaciones Argumento del Elemento Ejemplo 1 Operativa Prueba de igualdad Conmutatividad Asociatividad Distributividad Leyes Identidad Leyes Complemento Leyes Idempotencia Leyes Dominaci´on De Morgan Absorci´on Complemento Base Ley Diferencia Matemáticas Discretas . C 6.

Prueba de Igualdad entre Conjuntos Sean X y Y conjuntos dados. ■ pruebe que Y ⊆ X. 6/35 . Conjuntos: Propiedades de las Operaciones Argumento del Elemento Ejemplo 1 Operativa Prueba de igualdad Conmutatividad Asociatividad Distributividad Leyes Identidad Leyes Complemento Leyes Idempotencia Leyes Dominaci´on De Morgan Absorci´on Complemento Base Ley Diferencia Matemáticas Discretas . Para probar que X = Y: ■ pruebe que X ⊆ Y.p.

p.Leyes Conmutativas Sean A y B dos conjuntos cualquiera. entonces: ■ A∪ B = B∪ A ■ A∩ B = B∩ A Conjuntos: Propiedades de las Operaciones Argumento del Elemento Ejemplo 1 Operativa Prueba de igualdad Conmutatividad Asociatividad Distributividad Leyes Identidad Leyes Complemento Leyes Idempotencia Leyes Dominaci´on De Morgan Absorci´on Complemento Base Ley Diferencia Matemáticas Discretas . 7/35 .

p. 8/35 .Leyes Asociativas Sean A. B y C conjuntos cualquiera. entonces: ■ A ∪ (B ∪ C) = (A ∪ B) ∪ C ■ A ∩ (B ∩ C) = (A ∩ B) ∩ C Conjuntos: Propiedades de las Operaciones Argumento del Elemento Ejemplo 1 Operativa Prueba de igualdad Conmutatividad Asociatividad Distributividad Leyes Identidad Leyes Complemento Leyes Idempotencia Leyes Dominaci´on De Morgan Absorci´on Complemento Base Ley Diferencia Matemáticas Discretas .

entonces: ■ A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C) ■ A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C) Conjuntos: Propiedades de las Operaciones Argumento del Elemento Ejemplo 1 Operativa Prueba de igualdad Conmutatividad Asociatividad Distributividad Leyes Identidad Leyes Complemento Leyes Idempotencia Leyes Dominaci´on De Morgan Absorci´on Complemento Base Ley Diferencia Matemáticas Discretas .Leyes Distributivas Sean A. B y C conjuntos cualquiera.p. 9/35 .

p. entonces: ■ A∪∅ = A ■ A∩U = A Conjuntos: Propiedades de las Operaciones Argumento del Elemento Ejemplo 1 Operativa Prueba de igualdad Conmutatividad Asociatividad Distributividad Leyes Identidad Leyes Complemento Leyes Idempotencia Leyes Dominaci´on De Morgan Absorci´on Complemento Base Ley Diferencia Matemáticas Discretas .Leyes de Identidad Sean A un conjunto cualquiera. 10/35 .

11/35 . entonces: ■ A ∪ Ac = U ■ A ∩ Ac = ∅ Conjuntos: Propiedades de las Operaciones Argumento del Elemento Ejemplo 1 Operativa Prueba de igualdad Conmutatividad Asociatividad Distributividad Leyes Identidad Leyes Complemento Leyes Idempotencia Leyes Dominaci´on De Morgan Absorci´on Complemento Base Ley Diferencia Matemáticas Discretas .Leyes de Complemento (Negación) Sean A un conjunto cualquiera.p.

p. entonces: ■ A∪ A = A ■ A∩ A = A Conjuntos: Propiedades de las Operaciones Argumento del Elemento Ejemplo 1 Operativa Prueba de igualdad Conmutatividad Asociatividad Distributividad Leyes Identidad Leyes Complemento Leyes Idempotencia Leyes Dominaci´on De Morgan Absorci´on Complemento Base Ley Diferencia Matemáticas Discretas .Leyes de Idempotencia Sean A un conjunto cualquiera. 12/35 .

13/35 .p.Leyes de Dominación Sean A un conjunto cualquiera. entonces: ■ A∪U = U ■ A∩∅ = ∅ Conjuntos: Propiedades de las Operaciones Argumento del Elemento Ejemplo 1 Operativa Prueba de igualdad Conmutatividad Asociatividad Distributividad Leyes Identidad Leyes Complemento Leyes Idempotencia Leyes Dominaci´on De Morgan Absorci´on Complemento Base Ley Diferencia Matemáticas Discretas .

entonces: ■ (A ∪ B)c = Ac ∩ Bc ■ (A ∩ B)c = Ac ∪ Bc Conjuntos: Propiedades de las Operaciones Argumento del Elemento Ejemplo 1 Operativa Prueba de igualdad Conmutatividad Asociatividad Distributividad Leyes Identidad Leyes Complemento Leyes Idempotencia Leyes Dominaci´on De Morgan Absorci´on Complemento Base Ley Diferencia Matemáticas Discretas .Leyes de De Morgan Sean A y B dos conjuntos cualquiera. 14/35 .p.

15/35 .Leyes de Absorción Sean A y B dos conjuntos cualquiera. entonces: ■ A ∪ (A ∩ B) = A ■ A ∩ (A ∪ B) = A Conjuntos: Propiedades de las Operaciones Argumento del Elemento Ejemplo 1 Operativa Prueba de igualdad Conmutatividad Asociatividad Distributividad Leyes Identidad Leyes Complemento Leyes Idempotencia Leyes Dominaci´on De Morgan Absorci´on Complemento Base Ley Diferencia Matemáticas Discretas .p.

p.Complemento Base ■ ■ Uc=∅ ∅c = U Conjuntos: Propiedades de las Operaciones Argumento del Elemento Ejemplo 1 Operativa Prueba de igualdad Conmutatividad Asociatividad Distributividad Leyes Identidad Leyes Complemento Leyes Idempotencia Leyes Dominaci´on De Morgan Absorci´on Complemento Base Ley Diferencia Matemáticas Discretas . 16/35 .

Ley de Diferencia Sean A y B dos conjuntos cualquiera. 17/35 .p. entonces: ■ (A − B) = A ∩ Bc Conjuntos: Propiedades de las Operaciones Argumento del Elemento Ejemplo 1 Operativa Prueba de igualdad Conmutatividad Asociatividad Distributividad Leyes Identidad Leyes Complemento Leyes Idempotencia Leyes Dominaci´on De Morgan Absorci´on Complemento Base Ley Diferencia Matemáticas Discretas .

18/35 . Ley de IdempotenciaLeyes Dominaci´on 3. Propiedad Distributiva 6. Ley de Complemento 2. Ley del Doble Complemento De Morgan Absorci´on 5.p. Ley Asociativa 4. Ley de Absorción Complemento Base Ley Diferencia Conjuntos: Propiedades de las Operaciones Matemáticas Discretas .Argumento del Indique en orden la opción que contiene la ley Elemento cuyo uso se lleva a cabo en: Ejemplo 1 c c c c Operativa a) ((D − E) ) = (D − E) :Doble Complemento Prueba de c igualdad b) (B ∩ C) ∩ (B ∩ C) = ∅ :Ley Complemento Conmutatividad c c Asociatividad c) E ∩ (D ∩ B) = (E ∩ D) ∩ B :Asociativa Distributividad c c c Leyes Identidad d) E ∪ E = E :Idempotencia Leyes e) B ∩ (B ∪ (C ∪ D)) = B :Absorción Complemento Leyes dentro de la lista: Idempotencia 1.

A − (A ∩ E) = A ∩ (A ∩ E)c = A ∩ (Ac ∪ E c ) = (A ∩ Ac ) ∪ (A ∩ E c ) = ∅ ∪ (A ∩ E c ) (A ∩ E c ) ∪ ∅ = = A ∩ Ec = A−E Conjuntos: Propiedades de las Operaciones por Ley de Diferencia por De Morgan por Ley Distributiva por Ley de Complemento por Ley Conmutativa por Ley de Identidad por Ley de Diferencia Matemáticas Discretas . 19/35 .Ejemplo Indique en orden las leyes que justifican los pasos indicados.p.

20/35 .Ejemplo Indique en orden las leyes que justifican los pasos indicados. (D ∩ Ac ) ∪ (D ∩ A) = D ∩ (Ac ∪ A) = D ∩ (A ∪ Ac ) = D∩U = D Conjuntos: Propiedades de las Operaciones por Ley Distributiva por Ley Conmutativa por Ley de Complemento por Ley de Identidad Matemáticas Discretas .p.

(C ∪ Bc )c ∪ (C c ∩ Bc ) = (C c ∩ (Bc )c ) ∪ (C c ∩ Bc ) (C c ∩ B) ∪ (C c ∩ Bc ) = = C c ∩ (B ∪ Bc ) = Cc ∩ U = Cc Conjuntos: Propiedades de las Operaciones por por por por por Matemáticas Discretas . 21/35 .Ejemplo Indique en orden las leyes que justifican los pasos indicados.p.

B 2. 22/35 . U 3.Ejemplo Indique en orden la simplificación de cada conjunto: a) B ∪ ∅ b) B ∪ B c) B − ∅ d) B ∩ Bc e) B ∪ Bc dentro de la lista: 1.p. ∅ Conjuntos: Propiedades de las Operaciones Argumento del Elemento Ejemplo 1 Operativa Prueba de igualdad Conmutatividad Asociatividad Distributividad Leyes Identidad Leyes Complemento Leyes Idempotencia Leyes Dominaci´on De Morgan Absorci´on Complemento Base Ley Diferencia Matemáticas Discretas .

23/35 . (E c ∩ D)c ∪ (E c ∩ Dc ) ∪ (E ∩ D) 4.Ejemplo Indique cuáles opciones contiene expresión que se simplifica a E: 1. E ∩ (Dc ∪ C ∪ E) Conjuntos: Propiedades de las Operaciones Argumento del Elemento Ejemplo 1 Operativa Prueba de igualdad Conmutatividad Asociatividad Distributividad Leyes Identidad Leyes Complemento Leyes Idempotencia Leyes Dominaci´on De Morgan Absorci´on Complemento Base Ley Diferencia Matemáticas Discretas . (E ∩ C c ) ∩ (E c ∩ C c ) 2.p. (E ∩ ((E c ∪ D)c )) ∪ (E ∩ D) 5. (Dc ∩ E) ∪ E 3.

Existen sólo dos casos para x: i) x ∈ E ii) x ∈ D Conjuntos: Propiedades de las Operaciones Argumento del Elemento Ejemplo 1 Operativa Prueba de igualdad Conmutatividad Asociatividad Distributividad Leyes Identidad Leyes Complemento Leyes Idempotencia Leyes Dominaci´on De Morgan Absorci´on Complemento Base Ley Diferencia Matemáticas Discretas . lo que se debe demostrar es que todo elemento x de es también elemento de . Sea x un elemento cualquiera de E ∪ D. 24/35 . Demostraci´on Sean E y D cualquier conjuntos.p.Teorema Para cualquier conjuntos E y D se cumple: Si E ⊆ D entonces E ∪ D ⊆ D. Según .

Para el primer caso. Para el segundo caso.p. Por tanto. debido a que si x ∈ E entonces x ∈ D. Por consiguiente. como x ∈ D nuevamente x ∈ D. cqd Conjuntos: Propiedades de las Operaciones Argumento del Elemento Ejemplo 1 Operativa Prueba de igualdad Conmutatividad Asociatividad Distributividad Leyes Identidad Leyes Complemento Leyes Idempotencia Leyes Dominaci´on De Morgan Absorci´on Complemento Base Ley Diferencia Matemáticas Discretas . 25/35 .ambos conjuntos son iguales. en cualquier entonces caso cualquiera que sea x. si x ∈ D.

Teorema Para cualquier conjuntos B. Según lo que se debe demostrar es que: i) B ∩ (C ∩ A) ⊆ (B ∩ C) ∩ A ii) Conjuntos: Propiedades de las Operaciones . Argumento del Elemento Ejemplo 1 Operativa Prueba de igualdad Conmutatividad Asociatividad Distributividad Leyes Identidad Leyes Complemento Leyes Idempotencia Leyes Dominaci´on De Morgan Absorci´on Complemento Base Ley Diferencia Matemáticas Discretas . 26/35 .p. C y A cualquier conjuntos. C y A se cumple: B ∩ (C ∩ A) = (B ∩ C) ∩ A Demostraci´on Sean B.

y . Por la Ley distributiva en Lógica x cumple x ∈ B ∩ C y x ∈ A. Para el segundo caso.Para el primer caso. y por consiguiente . cqd Conjuntos: Propiedades de las Operaciones Argumento del Elemento Ejemplo 1 Operativa Prueba de igualdad Conmutatividad Asociatividad Distributividad Leyes Identidad Leyes Complemento Leyes Idempotencia Leyes Dominaci´on De Morgan Absorci´on Complemento Base Ley Diferencia Matemáticas Discretas . 27/35 . Por la propiedad asociativa de la lógica x cumple x ∈ B y x ∈ A ∩ C. La prueba de las contenciones mutuas prueba que ambos conjuntos son iguales. si x es cualquier elemento de entonces x ∈ B ∩ C y .p. si x es cualquier elemento de B ∩ (C ∩ A) entonces x ∈ B y . Con esto se prueba que por consiguiente B ∩ (C ∩ A) ⊆ (B ∩ C) ∩ A. Con esto se prueba que (B ∩ C) ∩ A ⊆ B ∩ (C ∩ A).

Ejemplo Sean A y B conjuntos cualquiera. Conjuntos: Propiedades de las Operaciones Argumento del Elemento Ejemplo 1 Operativa Prueba de igualdad Conmutatividad Asociatividad Distributividad Leyes Identidad Leyes Complemento Leyes Idempotencia Leyes Dominaci´on De Morgan Absorci´on Complemento Base Ley Diferencia Matemáticas Discretas . 28/35 .p. Si A ⊆ B. entonces Bc ⊆ Ac .

p. Si A ⊆ B. entonces A ∩ Bc = ∅. Conjuntos: Propiedades de las Operaciones Argumento del Elemento Ejemplo 1 Operativa Prueba de igualdad Conmutatividad Asociatividad Distributividad Leyes Identidad Leyes Complemento Leyes Idempotencia Leyes Dominaci´on De Morgan Absorci´on Complemento Base Ley Diferencia Matemáticas Discretas . 29/35 .Ejemplo Sean A y B conjuntos cualquiera.

Ejemplo Sean A y B conjuntos cualquiera. 30/35 . Conjuntos: Propiedades de las Operaciones Argumento del Elemento Ejemplo 1 Operativa Prueba de igualdad Conmutatividad Asociatividad Distributividad Leyes Identidad Leyes Complemento Leyes Idempotencia Leyes Dominaci´on De Morgan Absorci´on Complemento Base Ley Diferencia Matemáticas Discretas . Si A ⊆ Bc . entonces A ∩ B = ∅.p.

Si A ⊆ B. Conjuntos: Propiedades de las Operaciones Argumento del Elemento Ejemplo 1 Operativa Prueba de igualdad Conmutatividad Asociatividad Distributividad Leyes Identidad Leyes Complemento Leyes Idempotencia Leyes Dominaci´on De Morgan Absorci´on Complemento Base Ley Diferencia Matemáticas Discretas . B y C conjuntos cualquiera. 31/35 .Ejemplo Sean A.p. entonces A ∩ C ⊆ B ∩ C.

Si A ⊆ B y B ∩ C = ∅. 32/35 .p. Conjuntos: Propiedades de las Operaciones Argumento del Elemento Ejemplo 1 Operativa Prueba de igualdad Conmutatividad Asociatividad Distributividad Leyes Identidad Leyes Complemento Leyes Idempotencia Leyes Dominaci´on De Morgan Absorci´on Complemento Base Ley Diferencia Matemáticas Discretas . entonces A ∩ C = ∅. B y C conjuntos cualquiera.Ejemplo Sean A.

entonces A ∪ C ⊆ B ∪ C. Conjuntos: Propiedades de las Operaciones Argumento del Elemento Ejemplo 1 Operativa Prueba de igualdad Conmutatividad Asociatividad Distributividad Leyes Identidad Leyes Complemento Leyes Idempotencia Leyes Dominaci´on De Morgan Absorci´on Complemento Base Ley Diferencia Matemáticas Discretas . Si A ⊆ B.Ejemplo Sean A. B y C conjuntos cualquiera. 33/35 .p.

Ejemplo Sean A. B y C conjuntos cualquiera. Conjuntos: Propiedades de las Operaciones Argumento del Elemento Ejemplo 1 Operativa Prueba de igualdad Conmutatividad Asociatividad Distributividad Leyes Identidad Leyes Complemento Leyes Idempotencia Leyes Dominaci´on De Morgan Absorci´on Complemento Base Ley Diferencia Matemáticas Discretas . 34/35 . entonces A ∩ C = ∅. Si B ⊆ C y A ∩ C = ∅.p.

Ejemplo Sean A. entonces A ⊆ B ∩ C. 35/35 . B y C conjuntos cualquiera. Conjuntos: Propiedades de las Operaciones Argumento del Elemento Ejemplo 1 Operativa Prueba de igualdad Conmutatividad Asociatividad Distributividad Leyes Identidad Leyes Complemento Leyes Idempotencia Leyes Dominaci´on De Morgan Absorci´on Complemento Base Ley Diferencia Matemáticas Discretas . Si A ⊆ B y A ⊆ C.p.