Teoría de Conjuntos: Propiedades

Departamento de Matemáticas

Teorı́a de Conjuntos: Propiedades– p.1/35

 El Argumento del Elemento

Sean X y Y conjuntos dados. Para probar que X ⊆ Y :

Teorı́a de Conjuntos: Propiedades– p.2/35

 El Argumento del Elemento

Sean X y Y conjuntos dados. Para probar que X ⊆ Y :

suponga un elemento particular pero arbitrario x
elegido de X ,

Teorı́a de Conjuntos: Propiedades– p.2/35

 El Argumento del Elemento

Sean X y Y conjuntos dados. Para probar que X ⊆ Y :

suponga un elemento particular pero arbitrario x
elegido de X ,
muestre que x es un elemento de Y .

Teorı́a de Conjuntos: Propiedades– p.2/35

Ejemplo

Pruebe que Z ⊆ Q.

Teorı́a de Conjuntos: Propiedades– p.3/35

Ejemplo

Pruebe que Z ⊆ Q.

Demostración

Teorı́a de Conjuntos: Propiedades– p.3/35

Ejemplo

Pruebe que Z ⊆ Q.

Demostración
Sea z un elemento cualquiera de Z.

Teorı́a de Conjuntos: Propiedades– p.3/35

Ejemplo

Pruebe que Z ⊆ Q.

Demostración
Sea z un elemento cualquiera de Z. Así
z
z=
1

Teorı́a de Conjuntos: Propiedades– p.3/35

Ejemplo

Pruebe que Z ⊆ Q.

Demostración
Sea z un elemento cualquiera de Z. Así
z
z=
1
Por lo tanto, z puede ser visto como la división entre dos
enteros (el mismo z y el 1).

Teorı́a de Conjuntos: Propiedades– p.3/35

Ejemplo

Pruebe que Z ⊆ Q.

Demostración
Sea z un elemento cualquiera de Z. Así
z
z=
1
Por lo tanto, z puede ser visto como la división entre dos
enteros (el mismo z y el 1). Por tanto, z es un racional.

Teorı́a de Conjuntos: Propiedades– p.3/35

Ejemplo

Pruebe que Z ⊆ Q.

Demostración
Sea z un elemento cualquiera de Z. Así
z
z=
1
Por lo tanto, z puede ser visto como la división entre dos
enteros (el mismo z y el 1). Por tanto, z es un racional. Por
tanto z está en Q.

Teorı́a de Conjuntos: Propiedades– p.3/35

Ejemplo

Pruebe que Z ⊆ Q.

Demostración
Sea z un elemento cualquiera de Z. Así
z
z=
1
Por lo tanto, z puede ser visto como la división entre dos
enteros (el mismo z y el 1). Por tanto, z es un racional. Por
tanto z está en Q. Por el argumento del elemento arbitrario
Z ⊆ Q.
Teorı́a de Conjuntos: Propiedades– p.3/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 :

Teorı́a de Conjuntos: Propiedades– 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

Teorı́a de Conjuntos: Propiedades– 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

Teorı́a de Conjuntos: Propiedades– 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

Teorı́a de Conjuntos: Propiedades– 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

Teorı́a de Conjuntos: Propiedades– 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, y) ∈ X × Y ⇔ x ∈ X ∧ y ∈ Y

Teorı́a de Conjuntos: Propiedades– 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, y) ∈ X × Y ⇔ x ∈ X ∧ y ∈ Y
x ∈ P(X) ⇔ x ⊆ X

Teorı́a de Conjuntos: Propiedades– p.4/35

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).
Decir que un elemento x pertence a (B − C) ∪ A
significa que x pertenece a A o que x pertenece a (b).
Decir que un elemento x pertenece a C − (B ∪ A)
significa que x pertenece a (c) pero que x no pertenece
a (d).
1. C − B 2. B − C
Dentro de la opciones: 3. A ∪ C 4. B ∪ A
5. C 6. C − A

Teorı́a de Conjuntos: Propiedades– p.5/35

 Prueba de Igualdad entre Conjuntos

Sean X y Y conjuntos dados. Para probar que X = Y :

Teorı́a de Conjuntos: Propiedades– p.6/35

 Prueba de Igualdad entre Conjuntos

Sean X y Y conjuntos dados. Para probar que X = Y :

pruebe que X ⊆ Y ,

Teorı́a de Conjuntos: Propiedades– p.6/35

 Prueba de Igualdad entre Conjuntos

Sean X y Y conjuntos dados. Para probar que X = Y :

pruebe que X ⊆ Y ,
pruebe que Y ⊆ X .

Teorı́a de Conjuntos: Propiedades– p.6/35

 Leyes Conmutativas

Sean A y B dos conjuntos cualquiera, entonces:

Teorı́a de Conjuntos: Propiedades– p.7/35

 Leyes Conmutativas

Sean A y B dos conjuntos cualquiera, entonces:

A∪B =B∪A

Teorı́a de Conjuntos: Propiedades– p.7/35

 Leyes Conmutativas

Sean A y B dos conjuntos cualquiera, entonces:

A∪B =B∪A
A∩B =B∩A

Teorı́a de Conjuntos: Propiedades– p.7/35

 Leyes Asociativas

Sean A, B y C conjuntos cualquiera, entonces:

Teorı́a de Conjuntos: Propiedades– p.8/35

 Leyes Asociativas

Sean A, B y C conjuntos cualquiera, entonces:

A ∪ (B ∪ C) = (A ∪ B) ∪ C

Teorı́a de Conjuntos: Propiedades– 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

Teorı́a de Conjuntos: Propiedades– p.8/35

 Leyes Distributivas

Sean A, B y C conjuntos cualquiera, entonces:

Teorı́a de Conjuntos: Propiedades– p.9/35

 Leyes Distributivas

Sean A, B y C conjuntos cualquiera, entonces:

A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)

Teorı́a de Conjuntos: Propiedades– p.9/35

 Leyes Distributivas

Sean A, B y C conjuntos cualquiera, entonces:

A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)
A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)

Teorı́a de Conjuntos: Propiedades– p.9/35

 Leyes de Identidad

Sean A un conjunto cualquiera, entonces:

Teorı́a de Conjuntos: Propiedades– p.10/35

 Leyes de Identidad

Sean A un conjunto cualquiera, entonces:

A∪∅=A

Teorı́a de Conjuntos: Propiedades– p.10/35

 Leyes de Identidad

Sean A un conjunto cualquiera, entonces:

A∪∅=A
A∩U =A

Teorı́a de Conjuntos: Propiedades– p.10/35

 Leyes de Complemento (Negación)

Sean A un conjunto cualquiera, entonces:

Teorı́a de Conjuntos: Propiedades– p.11/35

 Leyes de Complemento (Negación)

Sean A un conjunto cualquiera, entonces:

A ∪ Ac = U

Teorı́a de Conjuntos: Propiedades– p.11/35

 Leyes de Complemento (Negación)

Sean A un conjunto cualquiera, entonces:

A ∪ Ac = U
A ∩ Ac = ∅

Teorı́a de Conjuntos: Propiedades– p.11/35

 Leyes de Idempotencia

Sean A un conjunto cualquiera, entonces:

Teorı́a de Conjuntos: Propiedades– p.12/35

 Leyes de Idempotencia

Sean A un conjunto cualquiera, entonces:

A∪A=A

Teorı́a de Conjuntos: Propiedades– p.12/35

 Leyes de Idempotencia

Sean A un conjunto cualquiera, entonces:

A∪A=A
A∩A=A

Teorı́a de Conjuntos: Propiedades– p.12/35

 Leyes de Dominación

Sean A un conjunto cualquiera, entonces:

Teorı́a de Conjuntos: Propiedades– p.13/35

 Leyes de Dominación

Sean A un conjunto cualquiera, entonces:

A∪U =U

Teorı́a de Conjuntos: Propiedades– p.13/35

 Leyes de Dominación

Sean A un conjunto cualquiera, entonces:

A∪U =U
A∩∅=∅

Teorı́a de Conjuntos: Propiedades– p.13/35

 Leyes de De Morgan

Sean A y B dos conjuntos cualquiera, entonces:

Teorı́a de Conjuntos: Propiedades– p.14/35

 Leyes de De Morgan

Sean A y B dos conjuntos cualquiera, entonces:

(A ∪ B)c = Ac ∩ B c

Teorı́a de Conjuntos: Propiedades– p.14/35

 Leyes de De Morgan

Sean A y B dos conjuntos cualquiera, entonces:

(A ∪ B)c = Ac ∩ B c
(A ∩ B)c = Ac ∪ B c

Teorı́a de Conjuntos: Propiedades– p.14/35

 Leyes de Absorción

Sean A y B dos conjuntos cualquiera, entonces:

Teorı́a de Conjuntos: Propiedades– p.15/35

 Leyes de Absorción

Sean A y B dos conjuntos cualquiera, entonces:

A ∪ (A ∩ B) = A

Teorı́a de Conjuntos: Propiedades– p.15/35

 Leyes de Absorción

Sean A y B dos conjuntos cualquiera, entonces:

A ∪ (A ∩ B) = A
A ∩ (A ∪ B) = A

Teorı́a de Conjuntos: Propiedades– p.15/35

Complemento Base

Teorı́a de Conjuntos: Propiedades– p.16/35

 Complemento Base

Uc=∅

Teorı́a de Conjuntos: Propiedades– p.16/35

 Complemento Base

Uc=∅
∅c = U

Teorı́a de Conjuntos: Propiedades– p.16/35

 Ley de Diferencia

Sean A y B dos conjuntos cualquiera, entonces:

Teorı́a de Conjuntos: Propiedades– p.17/35

 Ley de Diferencia

Sean A y B dos conjuntos cualquiera, entonces:

(A − B) = A ∩ B c

Teorı́a de Conjuntos: Propiedades– p.17/35

Indique en orden la opción que contiene la ley cuyo uso se
lleva a cabo en:
¡¡ c ¢c ¢ c
a) (D − E) = (D − E)c
b) (B ∩ C) ∩ (B ∩ C)c = ∅
c) E c ∩ (D ∩ B) = (E c ∩ D) ∩ B
d) E c ∪ E c = E c
e) B ∩ (B ∪ (C ∪ D)) = B
dentro de la lista:
1. Ley de Complemento 2. Ley de Idempotencia
3. Ley Asociativa 4. Ley del Doble Complemento
5. Propiedad Distributiva 6. Ley de Absorción

Teorı́a de Conjuntos: Propiedades– p.18/35

Indique en orden la opción que contiene la ley cuyo uso se
lleva a cabo en:
¡¡ c ¢c ¢ c
a) (D − E) = (D − E)c :Doble Complemento
b) (B ∩ C) ∩ (B ∩ C)c = ∅
c) E c ∩ (D ∩ B) = (E c ∩ D) ∩ B
d) E c ∪ E c = E c
e) B ∩ (B ∪ (C ∪ D)) = B
dentro de la lista:
1. Ley de Complemento 2. Ley de Idempotencia
3. Ley Asociativa 4. Ley del Doble Complemento
5. Propiedad Distributiva 6. Ley de Absorción

Teorı́a de Conjuntos: Propiedades– p.18/35

Indique en orden la opción que contiene la ley cuyo uso se
lleva a cabo en:
¡¡ c ¢c ¢ c
a) (D − E) = (D − E)c :Doble Complemento
b) (B ∩ C) ∩ (B ∩ C)c = ∅ :Ley Complemento
c) E c ∩ (D ∩ B) = (E c ∩ D) ∩ B
d) E c ∪ E c = E c
e) B ∩ (B ∪ (C ∪ D)) = B
dentro de la lista:
1. Ley de Complemento 2. Ley de Idempotencia
3. Ley Asociativa 4. Ley del Doble Complemento
5. Propiedad Distributiva 6. Ley de Absorción

Teorı́a de Conjuntos: Propiedades– p.18/35

Indique en orden la opción que contiene la ley cuyo uso se
lleva a cabo en:
¡¡ c ¢c ¢ c
a) (D − E) = (D − E)c :Doble Complemento
b) (B ∩ C) ∩ (B ∩ C)c = ∅ :Ley Complemento
c) E c ∩ (D ∩ B) = (E c ∩ D) ∩ B :Asociativa
d) E c ∪ E c = E c
e) B ∩ (B ∪ (C ∪ D)) = B
dentro de la lista:
1. Ley de Complemento 2. Ley de Idempotencia
3. Ley Asociativa 4. Ley del Doble Complemento
5. Propiedad Distributiva 6. Ley de Absorción

Teorı́a de Conjuntos: Propiedades– p.18/35

Indique en orden la opción que contiene la ley cuyo uso se
lleva a cabo en:
¡¡ c ¢c ¢ c
a) (D − E) = (D − E)c :Doble Complemento
b) (B ∩ C) ∩ (B ∩ C)c = ∅ :Ley Complemento
c) E c ∩ (D ∩ B) = (E c ∩ D) ∩ B :Asociativa
d) E c ∪ E c = E c :Idempotencia
e) B ∩ (B ∪ (C ∪ D)) = B
dentro de la lista:
1. Ley de Complemento 2. Ley de Idempotencia
3. Ley Asociativa 4. Ley del Doble Complemento
5. Propiedad Distributiva 6. Ley de Absorción

Teorı́a de Conjuntos: Propiedades– p.18/35

Indique en orden la opción que contiene la ley cuyo uso se
lleva a cabo en:
¡¡ c ¢c ¢ c
a) (D − E) = (D − E)c :Doble Complemento
b) (B ∩ C) ∩ (B ∩ C)c = ∅ :Ley Complemento
c) E c ∩ (D ∩ B) = (E c ∩ D) ∩ B :Asociativa
d) E c ∪ E c = E c :Idempotencia
e) B ∩ (B ∪ (C ∪ D)) = B :Absorción
dentro de la lista:
1. Ley de Complemento 2. Ley de Idempotencia
3. Ley Asociativa 4. Ley del Doble Complemento
5. Propiedad Distributiva 6. Ley de Absorción

Teorı́a de Conjuntos: Propiedades– p.18/35

Ejemplo
Indique en orden las leyes que justifican los pasos
indicados.

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

Teorı́a de Conjuntos: Propiedades– p.19/35

Ejemplo
Indique en orden las leyes que justifican los pasos
indicados.

A − (A ∩ E) = A ∩ (A ∩ E)c por Ley de Diferencia

= A ∩ (Ac ∪ E c )
= (A ∩ Ac ) ∪ (A ∩ E c )
= ∅ ∪ (A ∩ E c )
= (A ∩ E c ) ∪ ∅
= A ∩ Ec
= A−E

Teorı́a de Conjuntos: Propiedades– p.19/35

Ejemplo
Indique en orden las leyes que justifican los pasos
indicados.

A − (A ∩ E) = A ∩ (A ∩ E)c por Ley de Diferencia

= A ∩ (Ac ∪ E c ) por De Morgan
= (A ∩ Ac ) ∪ (A ∩ E c )
= ∅ ∪ (A ∩ E c )
= (A ∩ E c ) ∪ ∅
= A ∩ Ec
= A−E

Teorı́a de Conjuntos: Propiedades– p.19/35

Ejemplo
Indique en orden las leyes que justifican los pasos
indicados.

A − (A ∩ E) = A ∩ (A ∩ E)c por Ley de Diferencia

= A ∩ (Ac ∪ E c ) por De Morgan
= (A ∩ Ac ) ∪ (A ∩ E c ) por Ley Distributiva
= ∅ ∪ (A ∩ E c )
= (A ∩ E c ) ∪ ∅
= A ∩ Ec
= A−E

Teorı́a de Conjuntos: Propiedades– p.19/35

Ejemplo
Indique en orden las leyes que justifican los pasos
indicados.

A − (A ∩ E) = A ∩ (A ∩ E)c por Ley de Diferencia

= A ∩ (Ac ∪ E c ) por De Morgan
= (A ∩ Ac ) ∪ (A ∩ E c ) por Ley Distributiva
= ∅ ∪ (A ∩ E c ) por Ley de Complemento
= (A ∩ E c ) ∪ ∅
= A ∩ Ec
= A−E

Teorı́a de Conjuntos: Propiedades– p.19/35

Ejemplo
Indique en orden las leyes que justifican los pasos
indicados.

A − (A ∩ E) = A ∩ (A ∩ E)c por Ley de Diferencia

= A ∩ (Ac ∪ E c ) por De Morgan
= (A ∩ Ac ) ∪ (A ∩ E c ) por Ley Distributiva
= ∅ ∪ (A ∩ E c ) por Ley de Complemento
= (A ∩ E c ) ∪ ∅ por Ley Conmutativa
= A ∩ Ec
= A−E

Teorı́a de Conjuntos: Propiedades– p.19/35

Ejemplo
Indique en orden las leyes que justifican los pasos
indicados.

A − (A ∩ E) = A ∩ (A ∩ E)c por Ley de Diferencia

= A ∩ (Ac ∪ E c ) por De Morgan
= (A ∩ Ac ) ∪ (A ∩ E c ) por Ley Distributiva
= ∅ ∪ (A ∩ E c ) por Ley de Complemento
= (A ∩ E c ) ∪ ∅ por Ley Conmutativa
= A ∩ Ec por Ley de Identidad
= A−E

Teorı́a de Conjuntos: Propiedades– p.19/35

Ejemplo
Indique en orden las leyes que justifican los pasos
indicados.

A − (A ∩ E) = A ∩ (A ∩ E)c por Ley de Diferencia

= A ∩ (Ac ∪ E c ) por De Morgan
= (A ∩ Ac ) ∪ (A ∩ E c ) por Ley Distributiva
= ∅ ∪ (A ∩ E c ) por Ley de Complemento
= (A ∩ E c ) ∪ ∅ por Ley Conmutativa
= A ∩ Ec por Ley de Identidad
= A−E por Ley de Diferencia

Teorı́a de Conjuntos: Propiedades– p.19/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

Teorı́a de Conjuntos: Propiedades– p.20/35

Ejemplo
Indique en orden las leyes que justifican los pasos
indicados.

(D ∩ Ac ) ∪ (D ∩ A) = D ∩ (Ac ∪ A) por Ley Distributiva

= D ∩ (A ∪ Ac )
= D∩U
= D

Teorı́a de Conjuntos: Propiedades– p.20/35

Ejemplo
Indique en orden las leyes que justifican los pasos
indicados.

(D ∩ Ac ) ∪ (D ∩ A) = D ∩ (Ac ∪ A) por Ley Distributiva

= D ∩ (A ∪ Ac ) por Ley Conmutativa
= D∩U
= D

Teorı́a de Conjuntos: Propiedades– p.20/35

Ejemplo
Indique en orden las leyes que justifican los pasos
indicados.

(D ∩ Ac ) ∪ (D ∩ A) = D ∩ (Ac ∪ A) por Ley Distributiva

= D ∩ (A ∪ Ac ) por Ley Conmutativa
= D∩U por Ley de Complemento
= D

Teorı́a de Conjuntos: Propiedades– p.20/35

Ejemplo
Indique en orden las leyes que justifican los pasos
indicados.

(D ∩ Ac ) ∪ (D ∩ A) = D ∩ (Ac ∪ A) por Ley Distributiva

= D ∩ (A ∪ Ac ) por Ley Conmutativa
= D∩U por Ley de Complemento
= D por Ley de Identidad

Teorı́a de Conjuntos: Propiedades– p.20/35

Ejemplo
Indique en orden las leyes que justifican los pasos
indicados.
c ¡ c c¢
(C ∪ B ) ∪ (C ∩ B ) = C ∩ (B ) ∪ (C c ∩ B c )
c c c c por
= (C c ∩ B) ∪ (C c ∩ B c ) por
= C c ∩ (B ∪ B c ) por
= Cc ∩ U por
= Cc por

Teorı́a de Conjuntos: Propiedades– p.21/35

Ejemplo
Indique en orden la simplificación de cada conjunto:
a) B ∪ ∅
b) B ∪ B
c) B − ∅
d) B ∩ B c
e) B ∪ B c
dentro de la lista:
1. B
2. U
3. ∅

Teorı́a de Conjuntos: Propiedades– p.22/35

Ejemplo
Indique cuáles opciones contiene expresión que se
simplifica a E :
1. (E ∩ C c ) ∩ (E c ∩ C c )
2. (Dc ∩ E) ∪ E
3. (E c ∩ D)c ∪ (E c ∩ Dc ) ∪ (E ∩ D)
¡ ¡ c c ¢¢
4. E ∩ (E ∪ D) ∪ (E ∩ D)
5. E ∩ (Dc ∪ C ∪ E)

Teorı́a de Conjuntos: Propiedades– p.23/35

Teorema
Para cualquier conjuntos E y D se cumple: Si E ⊆ D
entonces E ∪ D ⊆ D.
Demostración
Sean E y D cualquier conjuntos.

Teorı́a de Conjuntos: Propiedades– p.24/35

Teorema
Para cualquier conjuntos E y D se cumple: Si E ⊆ D
entonces E ∪ D ⊆ D.
Demostración
Sean E y D cualquier conjuntos. Según , lo que se
debe demostrar es que todo elemento x de es
también elemento de .

Teorı́a de Conjuntos: Propiedades– p.24/35

Teorema
Para cualquier conjuntos E y D se cumple: Si E ⊆ D
entonces E ∪ D ⊆ D.
Demostración
Sean E y D cualquier conjuntos. Según , lo que se
debe demostrar es que todo elemento x de es
también elemento de . Sea x un elemento cualquiera
de E ∪ D.

Teorı́a de Conjuntos: Propiedades– p.24/35

Teorema
Para cualquier conjuntos E y D se cumple: Si E ⊆ D
entonces E ∪ D ⊆ D.
Demostración
Sean E y D cualquier conjuntos. Según , lo que se
debe demostrar es que todo elemento x de es
también elemento de . Sea x un elemento cualquiera
de E ∪ D. Existen sólo dos casos para x:

Teorı́a de Conjuntos: Propiedades– p.24/35

Teorema
Para cualquier conjuntos E y D se cumple: Si E ⊆ D
entonces E ∪ D ⊆ D.
Demostración
Sean E y D cualquier conjuntos. Según , lo que se
debe demostrar es que todo elemento x de es
también elemento de . Sea x un elemento cualquiera
de E ∪ D. Existen sólo dos casos para x:
i) x ∈ E

Teorı́a de Conjuntos: Propiedades– p.24/35

Teorema
Para cualquier conjuntos E y D se cumple: Si E ⊆ D
entonces E ∪ D ⊆ D.
Demostración
Sean E y D cualquier conjuntos. Según , lo que se
debe demostrar es que todo elemento x de es
también elemento de . Sea x un elemento cualquiera
de E ∪ D. Existen sólo dos casos para x:
i) x ∈ E
ii) x ∈ D

Teorı́a de Conjuntos: Propiedades– p.24/35

Para el primer caso,

Teorı́a de Conjuntos: Propiedades– p.25/35

Para el primer caso, debido a que si x ∈ E entonces
x ∈ D.

Teorı́a de Conjuntos: Propiedades– p.25/35

Para el primer caso, debido a que si x ∈ E entonces
x ∈ D. Para el segundo caso, como x ∈ D nuevamente
x ∈ D.

Teorı́a de Conjuntos: Propiedades– p.25/35

Para el primer caso, debido a que si x ∈ E entonces
x ∈ D. Para el segundo caso, como x ∈ D nuevamente
x ∈ D. Por consiguiente, en cualquier caso cualquiera que
sea x, si entonces x ∈ D.

Teorı́a de Conjuntos: Propiedades– p.25/35

Para el primer caso, debido a que si x ∈ E entonces
x ∈ D. Para el segundo caso, como x ∈ D nuevamente
x ∈ D. Por consiguiente, en cualquier caso cualquiera que
sea x, si entonces x ∈ D. Por tanto,ambos conjuntos
son iguales. cqd

Teorı́a de Conjuntos: Propiedades– p.25/35

Teorema
Para cualquier conjuntos B , C y A se cumple:
B ∩ (C ∩ A) = (B ∩ C) ∩ A
Demostración

Teorı́a de Conjuntos: Propiedades– p.26/35

Teorema
Para cualquier conjuntos B , C y A se cumple:
B ∩ (C ∩ A) = (B ∩ C) ∩ A
Demostración
Sean B , C y A cualquier conjuntos.

Teorı́a de Conjuntos: Propiedades– p.26/35

Teorema
Para cualquier conjuntos B , C y A se cumple:
B ∩ (C ∩ A) = (B ∩ C) ∩ A
Demostración
Sean B , C y A cualquier conjuntos. Según ,

Teorı́a de Conjuntos: Propiedades– p.26/35

Teorema
Para cualquier conjuntos B , C y A se cumple:
B ∩ (C ∩ A) = (B ∩ C) ∩ A
Demostración
Sean B , C y A cualquier conjuntos. Según , lo
que se debe demostrar es que:

Teorı́a de Conjuntos: Propiedades– p.26/35

Teorema
Para cualquier conjuntos B , C y A se cumple:
B ∩ (C ∩ A) = (B ∩ C) ∩ A
Demostración
Sean B , C y A cualquier conjuntos. Según , lo
que se debe demostrar es que:
i) B ∩ (C ∩ A) ⊆ (B ∩ C) ∩ A

Teorı́a de Conjuntos: Propiedades– p.26/35

Teorema
Para cualquier conjuntos B , C y A se cumple:
B ∩ (C ∩ A) = (B ∩ C) ∩ A
Demostración
Sean B , C y A cualquier conjuntos. Según , lo
que se debe demostrar es que:
i) B ∩ (C ∩ A) ⊆ (B ∩ C) ∩ A
ii)

Teorı́a de Conjuntos: Propiedades– p.26/35

Para el primer caso, si x es cualquier elemento de B ∩
(C ∩ A) entonces x ∈ B y .

Teorı́a de Conjuntos: Propiedades– p.27/35

Para el primer caso, si x es cualquier elemento de B ∩
(C ∩ A) entonces x ∈ B y . Por la Ley distributiva en
Lógica x cumple x ∈ B∩C y x ∈ A, y por consiguiente .

Teorı́a de Conjuntos: Propiedades– p.27/35

Para el primer caso, si x es cualquier elemento de B ∩
(C ∩ A) entonces x ∈ B y . Por la Ley distributiva en
Lógica x cumple x ∈ B∩C y x ∈ A, y por consiguiente .
Con esto se prueba que B ∩ (C ∩ A) ⊆ (B ∩ C) ∩ A.

Teorı́a de Conjuntos: Propiedades– p.27/35

Para el primer caso, si x es cualquier elemento de B ∩
(C ∩ A) entonces x ∈ B y . Por la Ley distributiva en
Lógica x cumple x ∈ B∩C y x ∈ A, y por consiguiente .
Con esto se prueba que B ∩ (C ∩ A) ⊆ (B ∩ C) ∩ A.
Para el segundo caso, si x es cualquier elemento de
entonces x ∈ B ∩ C y .

Teorı́a de Conjuntos: Propiedades– p.27/35

Para el primer caso, si x es cualquier elemento de B ∩
(C ∩ A) entonces x ∈ B y . Por la Ley distributiva en
Lógica x cumple x ∈ B∩C y x ∈ A, y por consiguiente .
Con esto se prueba que B ∩ (C ∩ A) ⊆ (B ∩ C) ∩ A.
Para el segundo caso, si x es cualquier elemento de
entonces x ∈ B ∩ C y . Por la propiedad asociativa
de la lógica x cumple x ∈ B y x ∈ A ∩ C ,

Teorı́a de Conjuntos: Propiedades– p.27/35

Para el primer caso, si x es cualquier elemento de B ∩
(C ∩ A) entonces x ∈ B y . Por la Ley distributiva en
Lógica x cumple x ∈ B∩C y x ∈ A, y por consiguiente .
Con esto se prueba que B ∩ (C ∩ A) ⊆ (B ∩ C) ∩ A.
Para el segundo caso, si x es cualquier elemento de
entonces x ∈ B ∩ C y . Por la propiedad asociativa
de la lógica x cumple x ∈ B y x ∈ A ∩ C , y por consiguiente
.

Teorı́a de Conjuntos: Propiedades– p.27/35

Para el primer caso, si x es cualquier elemento de B ∩
(C ∩ A) entonces x ∈ B y . Por la Ley distributiva en
Lógica x cumple x ∈ B∩C y x ∈ A, y por consiguiente .
Con esto se prueba que B ∩ (C ∩ A) ⊆ (B ∩ C) ∩ A.
Para el segundo caso, si x es cualquier elemento de
entonces x ∈ B ∩ C y . Por la propiedad asociativa
de la lógica x cumple x ∈ B y x ∈ A ∩ C , y por consiguiente
. Con esto se prueba que (B ∩ C) ∩ A ⊆ B ∩ (C ∩ A).

Teorı́a de Conjuntos: Propiedades– p.27/35

Para el primer caso, si x es cualquier elemento de B ∩
(C ∩ A) entonces x ∈ B y . Por la Ley distributiva en
Lógica x cumple x ∈ B∩C y x ∈ A, y por consiguiente .
Con esto se prueba que B ∩ (C ∩ A) ⊆ (B ∩ C) ∩ A.
Para el segundo caso, si x es cualquier elemento de
entonces x ∈ B ∩ C y . Por la propiedad asociativa
de la lógica x cumple x ∈ B y x ∈ A ∩ C , y por consiguiente
. Con esto se prueba que (B ∩ C) ∩ A ⊆ B ∩ (C ∩ A).
La prueba de las contenciones mutuas prueba que ambos
conjuntos son iguales. cqd
Teorı́a de Conjuntos: Propiedades– p.27/35
Ejemplo

Sean A y B conjuntos cualquiera.

Si A ⊆ B , entonces B c ⊆ Ac .

Teorı́a de Conjuntos: Propiedades– p.28/35

Ejemplo

Sean A y B conjuntos cualquiera.

Si A ⊆ B , entonces A ∩ B c = ∅.

Teorı́a de Conjuntos: Propiedades– p.29/35

Ejemplo

Sean A y B conjuntos cualquiera.

Si A ⊆ B c , entonces A ∩ B = ∅.

Teorı́a de Conjuntos: Propiedades– p.30/35

Ejemplo

Sean A, B y C conjuntos cualquiera.

Si A ⊆ B , entonces A ∩ C ⊆ B ∩ C .

Teorı́a de Conjuntos: Propiedades– p.31/35

Ejemplo

Sean A, B y C conjuntos cualquiera.

Si A ⊆ B y B ∩ C = ∅, entonces A ∩ C = ∅.

Teorı́a de Conjuntos: Propiedades– p.32/35

Ejemplo

Sean A, B y C conjuntos cualquiera.

Si A ⊆ B , entonces A ∪ C ⊆ B ∪ C .

Teorı́a de Conjuntos: Propiedades– p.33/35

Ejemplo

Sean A, B y C conjuntos cualquiera.

Si B ⊆ C y A ∩ C = ∅, entonces A ∩ C = ∅.

Teorı́a de Conjuntos: Propiedades– p.34/35

Ejemplo

Sean A, B y C conjuntos cualquiera.

Si A ⊆ B y A ⊆ C , entonces A ⊆ B ∩ C .

Teorı́a de Conjuntos: Propiedades– p.35/35