Teorı́a de conjuntos

Instituto Tecnológico de Costa Rica

Curso: Matemática Discreta

Prof. Adriana Solı́s Arguedas

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 1 / 96

Conjuntos

Definición 1 (Conjunto)
Un conjunto es una colección de objetos. Los objetos de un
conjunto se llaman elementos del conjunto.

Se escribe a ∈ A, para denotar que a es un elemento del

conjunto A.
Se escribe a ∈
/ A para denotar que a no es un elemento del
conjunto A.

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 2 / 96

Conjuntos

Existen diferentes maneras para describir un conjunto, una de

ellas es presentar entre llaves todos los miembros del conjunto,
cuando esto es posible.
Ejemplo 1

El conjunto V de las vocales V = {a, e, i, o, u}.

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 3 / 96

Conjuntos
También se pueden describir conjuntos sin presentar todos sus
miembros utilizando puntos suspensivos (· · · )
Ejemplo 2

El conjunto N de los números naturales:

N = {0, 1, 2, 3, · · · }

Ejemplo 3

El conjunto Z de los números enteros:

Z = {· · · , −3, −2, −1, 0, 1, 2, 3, · · · }

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 4 / 96

Conjuntos

Otra manera de describir un conjunto es estableciendo una

propiedad que deben cumplir los elementos del conjunto para
que pertenezcan a él. Es útil cuando no se pueden especificar
todos los elementos que pertenecen al conjunto.
Ejemplo 4

El conjunto de los números racionales Q es:

na o
Q= | a y b son números enteros, b 6= 0
b

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 5 / 96

Conjuntos

Ejemplo 5

Los conjuntos pueden tener como elementos otros conjuntos.

El conjunto A = {N, Z, Q} es un conjunto de tres elementos.
Definición 2 (Igualdad de conjuntos)
Se dice que dos conjuntos A y B son iguales si y solo si tienen
los mismos elementos, es decir, si y solo si:

∀x(x ∈ A ←→ x ∈ B)

se escribe A = B.

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 6 / 96

Conjuntos

Ejemplo 6

El conjunto {x ∈ R / x2 = 9 ∧ x > 2} es igual al conjunto

{3}.
Ejemplo 7

Los conjuntos {1, 2, 3}, {3, 1, 2} y {1, 1, 3, 2, 2} son iguales,

pues tienen los mismos elementos. El orden de los elementos
no importa, ni tampoco que los elementos estén repetidos.

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 7 / 96

Conjuntos

Los conjuntos se pueden representar gráficamente mediante

diagramas de Venn.
El conjunto U llamado universo, que contiene todos los
objetos en consideración se representa mediante un rectángulo
y cı́rculos u otras figuras geométricas se utilizan para
representar conjuntos.
Se utilizan puntos para representar los elementos de un
conjunto.

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 8 / 96

Conjuntos
Ejemplo 8

Diagrama de Venn para el conjunto de las vocales:

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 9 / 96

Conjuntos

Existe un conjunto especial que no tiene elementos, llamado el

conjunto vacı́o. Se denota ∅ o { }. El conjunto ∅ es diferente
al conjunto {∅}.
Definición 3 (Subconjunto)
Se dice que el conjunto A es subconjunto del conjunto B si y
solo si, cada elemento de A es también un elemento de B, es
decir, si y solo si:

∀x(x ∈ A → x ∈ B)

se escribe A ⊆ B

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 10 / 96

Conjuntos
Diagrama A ⊆ B

Ejemplo 9

Los números naturales son un subconjunto de los números

enteros; los números enteros son un subconjunto de los
números racionales. Los números racionales son un
subconjunto de los números reales.
Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 11 / 96
Conjuntos

Se puede mostrar que dos conjuntos son iguales si se prueba

que A ⊆ B y B ⊆ A. Es decir:

A = B ←→ [A ⊆ B ∧ B ⊆ A]

Teorema 1
Sea A un conjunto, se tiene:
A⊆A
∅⊆A

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 12 / 96

Conjuntos

Definición 4 (Subconjunto propio)

Se dice que A es subconjunto propio de B si A es subconjunto
de B pero A 6= B. Se escribe A ⊂ B. A es subconjunto propio
de B si y solo si

∀x(x ∈ A → x ∈ B) ∧ ∃x(x ∈ B ∧ x ∈
/ A)

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 13 / 96

Conjuntos

Ejemplo 10

Considere A = {1, {3}, 2}, B = {1, {2, 3}, 4}.

Las siguientes proposiciones son verdaderas:
{3} ∈ A
{1} ⊆ A
{{2, 3}} ⊆ B
∅⊆A
{1, 2} ⊆ A
{{2, 3}, 4} ⊆ B

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 14 / 96

Conjuntos

Ejemplo 11

Considere A = {1, {3}, 2}, B = {1, {2, 3}, 4}.

Las siguientes proposiciones son falsas:
∅∈A
{1, 2} ∈ A
{2, 3} ⊆ B

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 15 / 96

Conjuntos

Ejemplo 12

Considere A = {a, b}, B = {∅, {a}, {b}, {a, b}} y

C = {x | x es un subconjunto de A}. Note que:
a∈A
{a} ∈ B
{a} ∈
/A
{b} ⊆ A
B=C

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 16 / 96

Conjuntos

Definición 5 (Conjunto Potencia)

Sea A un conjunto. El conjunto potencia de A es el conjunto
de todos los subconjuntos de A. Se denota por P (A).

Ejemplo 13
Solución

a) Determine el conjunto potencia de {1, 2, 3}

b) Determine el conjunto potencia de ∅
c) Determine el conjunto potencia de {∅}
Si un conjunto tiene n elementos, su conjunto potencia tiene
2n elementos.

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 17 / 96

Conjuntos

Definición 6 (n-tuplas ordenadas)

La n-tupla (a1 , a2 , a3 , · · · , an ) es una colección ordenada que
tiene a a1 como primer elemento, a2 como segundo
elemento,..., an como enésimo elemento.
En particular las 2-tuplas son llamadas pares ordenados.

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 18 / 96

Conjuntos

Sean A y B conjuntos. El producto cartesiano de A y B,

denotado por A × B, es el conjunto de todos los pares
ordenados (a, b) tales que a ∈ A y b ∈ B. Es decir:

A × B = {(a, b)|a ∈ A ∧ b ∈ B}

Ejemplo 14
Solución

Determine el producto cartesiano de A = {1, 2} y

B = {a, b, c}.

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 19 / 96

Conjuntos

El producto cartesiano A × B es diferente a B × A, a menos

que A = ∅ o B = ∅ o si A = B.
Definición 7
El producto cartesiano de los conjuntos A1 , A2 , ..., An
denotado por A1 × A2 × A3 · · · × An es el conjunto de n-tuplas
ordenadas (a1 , a2 , · · · , an ) donde ai ∈ Ai para i = 1, 2, ..., n.

Ejemplo 15
Solución

Determine A × B × C donde A = {1}, B = {2, 3} y

C = {4, 5, 6}.

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 20 / 96

Conjuntos

Definición 8 (Unión de conjuntos)

Sean A y B conjuntos. La unión de los conjuntos A y B,
denotada por A ∪ B, es el conjunto que contiene los
elementos que están en A o en B, o en ambos.

Un elemento x pertenece a A ∪ B si y solo si x ∈ A o x ∈ B,

de manera que:

A ∪ B = {x | x ∈ A ∨ x ∈ B}

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 21 / 96

Conjuntos
Diagrama A ∪ B

Ejemplo 16

La unión de A = {2, 3, 4} y B = {2, 7, 10} es

A ∪ B = {2, 3, 4, 7, 10}.
Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 22 / 96
Conjuntos

Definición 9 (Intersección de conjuntos)

Sean A y B conjuntos. La intersección de los conjuntos A y
B, denotada por A ∩ B, es el conjunto que contiene los
elementos que están en ambos A y B.

Un elemento x pertenece a A ∩ B si y solo si x ∈ A y x ∈ B,

de manera que:

A ∩ B = {x | x ∈ A ∧ x ∈ B}

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 23 / 96

Conjuntos
Diagrama A ∩ B

Ejemplo 17

La intersección de A = {2, 3, 4} y B = {2, 7, 10} es

A ∩ B = {2}.
Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 24 / 96
Conjuntos

Definición 10 (Conjuntos disjuntos)

Dos conjuntos se llaman disjuntos si su intersección es ∅.

Ejemplo 18

Los conjuntos A = {3, 4} y B = {2, 7, 10} son disjuntos.

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 25 / 96

Conjuntos

Definición 11 (Diferencia entre conjuntos)

Sean A y B dos conjuntos. La diferencia de A respecto a B,
denotada por A − B, es el conjunto de los elementos que
están en A pero no en B.

Un elemento que pertenece a A − B si y solo si x ∈ A y

x∈/ B, de manera que:

A − B = {x | x ∈ A ∧ x ∈
/ B}

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 26 / 96

Conjuntos

Diagrama diferencia

Ejemplo 19

Si A = {1, 4, 7} y B = {4, 9, 7}, A − B = {1} y B − A = {9}.

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 27 / 96

Conjuntos

Definición 12 (Complemento de un conjunto)

Sea U el conjunto universo. El complemento del conjunto A,
denotado por Ā es U − A.

Un elemento pertenece a Ā si y solo si x ∈

/ A, de manera que:

Ā = {x | x ∈
/ A}

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 28 / 96

Conjuntos

Diagrama complemento

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 29 / 96

Conjuntos
Definición 13 (Diferencia simétrica)
La diferencia simétrica de A y B, denotada por A4B es

A4B = {x | x ∈ A Y x ∈ B} = (A − B) ∪ (B − A)

Diagrama diferencia simétrica

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 30 / 96

Conjuntos

Ejemplo 20
Solución

Considere los conjuntos:

A = {x ∈ N | − 2x + 3 = −9}
B = {1, 2, 3, 4, 5}
C = {2, 3, 6, 7, 8}
Con U = {1, 2, 3, 4, 5, 6, 7, 8, 9} el conjunto universo.
Determine el valor de verdad de las siguientes proposiciones:
a) ∀x ∈ B ∃y ∈ C [x + 1 = y]
b) ∃x [x ∈ B → (x2 + 2) ∈ A ∩ C]

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 31 / 96

Conjuntos
Ejemplo 21
Solución

Considere los conjuntos:

A = {3, 4, 6, 7}
B = {∅}
C = {{6}, {3, 4, 7}, {3, 7}}
Con U = {∅, 3, 4, 6, 7, {6}, {3, 7}, {3, 4, 7}} el conjunto
universo.
Determine el valor de verdad de las siguientes proposiciones:
a) ∀x [x ∈ C → x ⊆ A]
b) ∀x [x ∈ P (B) → x ∈ B]
c) ¬∀x [x ∈ A ∧ {x} ∈ / C]
Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 32 / 96
Conjuntos

Ejemplo 22
Solución

Considere los conjuntos:

A = {1, 3, 5}
B = {2, 3, 5, 6}
C = {5, 6, 7}
Con U = {1, 2, 3, 4, 5, 6, 7} el conjunto universo.
Calcule:
a) A4B ∩ C
b) (A ∩ B) × P (B − C)

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 33 / 96

Conjuntos

Ejemplo 23
Solución

Considere los conjuntos:

A = {a, b}
B = {b, c, d}
C = {a, d}
Con U = {a, b, c, d, e, f } el conjunto universo.
Calcule:
a) A4(B ∪ C)
b) (A − B ∪ C) × P (A ∩ C)

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 34 / 96

Conjuntos
Ejemplo 24
Solución

Considere los conjuntos:

A = {∅, 1, {1}, 2, {1, 2}}
B = {∅, 2, {1}, {3}, {1, 3}}
Con U = {∅, 1, 2, 3, {1}, {2}, {3}, {1, 2}, {1, 3}} el conjunto
universo.
Calcule:
a) (A − B) ∪ (A4B)
b) (A ∩ B) × A ∪ B
c) P (A ∩ B)
d) Dé dos elementos que pertenezcan al conjunto
A × P (A ∪ B)
Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 35 / 96
Conjuntos
Ejemplo 25
Solución

Si A = {∅, {2}, {2, ∅}} y B = {{2}, 2, {3}}, determine el

valor de verdad de la proposición:

{({3}, {{2}, ∅}), (2, {∅})} ⊆ (B − A) × P (A)

Ejemplo 26
Solución

Sean A, B, C tres conjuntos cualesquiera, utilizando diagramas

de Venn, verifique la validez de la siguiente proposición:

A ∩ B ∩ C ⊆ A4(B4C)

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 36 / 96

Conjuntos

Ejemplo 27
Solución

Suponga que A, B y C son conjuntos tales que

A∩B∩C  6= ∅. Represente mediante
 un diagrama de Venn el
conjunto (A ∪ B) ∩ (B4C) ∪ [(A ∩ B) − C].

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 37 / 96

Leyes de conjuntos

A∪∅=A Neutro (Ne.)

A∩U =A
A∪U =U Dominación (Dom.)
A∩∅=∅
A∪A=A Idempotencia (Ide.)
A∩A=A
A=A Doble Complemento (DC)
A∪B =B∪A Conmutatividad (Con.)
A∩B =B∩A
A ∪ (B ∪ C) = (A ∪ B) ∪ C Asociatividad (Aso.)
A ∩ (B ∩ C) = (A ∩ B) ∩ C

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 38 / 96

Leyes de conjuntos

A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C) Distributividad (Dis.)
A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
A∪B =A∩B De Morgan (DM)
A∩B =A∪B
A ∪ (A ∩ B) = A Absorción (Abs.)
A ∩ (A ∪ B) = A
A∪A=U Inversos (Inv.)
A∩A=∅

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 39 / 96

Leyes de conjuntos

Ejemplo 28
Solución

Demuestre que A ∩ B = A ∪ B
Ejemplo 29
Solución

Simplifique las expresiones:

 
a) (B ∩ A) ∪ A ∪ (B ∪ C) ∪ (A ∩ C)
h h ii
b) (Q ∪ P ) ∪ (Q ∪ R) ∪ P ∩ R ∩ (Q ∩ R)

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 40 / 96

Cardinalidad

Definición 14 (Cardinalidad)
Sea A un conjunto. Si A tiene exactamente n elementos
distintos, donde n es un entero no negativo, se dice A es un
conjunto finito y n es la cardinalidad de A. Se escribe |A| = n.

Ejemplo 30

|∅| = 0
La cardinalidad del conjunto de las vocales |V | = 5

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 41 / 96

Cardinalidad

Para A, B, C conjuntos finitos, se tiene

|A ∪ B| = |A| + |B| − |A ∩ B|
|A ∪ B| = |A| + |B| si A ∩ B = ∅
|A ∪ B ∪ C| =
|A| + |B| + |C| − |A ∩ B| − |A ∩ C| − |B ∩ C| + |A ∩ B ∩ C|
|A × B| = |A| · |B|
|A − B| = |A| − |A ∩ B|
|P (A)| = 2|A|

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 42 / 96

Cardinalidad
Ejemplo 31
Solución

Si se sabe que A y B son conjuntos disjuntos tales que

|A| = 3 y |B| = 2, calcule |P (A × (A ∪ B))|
Ejemplo 32
Solución

Sean A y B conjuntos arbitrarios tales que:

|A| = 5
|B| = 3
|A − B| = 4
Calcule:
a) |P (A ∪ B) × P (A ∩ B)|
b) |B − A|
Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 43 / 96
Cardinalidad

Ejemplo 33
Solución

Sean A y B conjuntos arbitrarios tales que:

|A| = 5
|A ∩ B| = 2
|P (B − A)| = 16
Determine la cardinalidad de:

P (B) × (A ∪ B)

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 44 / 96

Cardinalidad

Ejemplo 34
Solución

Sean A, B y C conjuntos arbitrarios en el universo U . Si se

sabe que:
|U | = 7 |C| = 4
|A| = 3 |A ∩ B| = 2
|B| = 5 |C − B| = 3
Determine la cantidad de elementos del conjunto:

P ((A4B) × (B ∩ C))

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 45 / 96

Cardinalidad

Ejemplo 35
Solución

Sean A, B y C conjuntos arbitrarios en el universo U . Si se

sabe que:
B∩C =∅ |P (C)| = 128
|A| = 8 |A ∩ B| = 2
|B| = 5 |C − A| = 4
Determine la cantidad de elementos del conjunto:

P (A − C) × (A − (B ∪ C))

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 46 / 96

Cardinalidad

Ejemplo 36
Solución

Sean A y B conjuntos arbitrarios en el universo U . Si se sabe

que:
|A| = 2
|B| = 3
|U | = 5
Determine la cantidad de elementos de:
a) P (A)
b) A × B

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 47 / 96

Cardinalidad

Ejemplo 37
Solución

En un barco viajaban 3000 personas, de las cuales 200

hablaban inglés, danés e italiano; 2500 hablaban inglés, 600
hablaban danés y 1000, italiano; 100 personas hablaban
solamente italiano y danés, y 700 hablaban inglés e italiano.

a) Realice el diagrama de Venn para esta situación y

encuentre el número de personas de cada región disjunta.
b) ¿Cuántos hablaban solamente inglés?
c) ¿Cuántos hablaban inglés y danés?
d) ¿Cuántos hablaban solamente italiano?

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 48 / 96

Demostraciones

Para probar que una implicación p ⇒ q es verdadera se puede

proceder a partir de distintos métodos: de manera directa,
indirecta, por contradicción o por reducción al absurdo.
Prueba directa
Se parte de que p es verdadera y mediante reglas de la lógica,
teoremas anteriormente demostrados, axiomas y definiciones
se deduce que q es verdadera.
Prueba indirecta
Se prueba ¬q ⇒ ¬p pues esto es equivalente a p ⇒ q.

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 49 / 96

Demostraciones

Prueba por contradicción

1 Se asume p verdadera pero no se utiliza.
2 Se supone que ¬q es verdadera y mediante reglas de la
lógica, teoremas, axiomas y definiciones se llega a probar
que ¬p es verdadera.
3 Esto conduce a una contradicción (⇒⇐) pues se
concluye que ambas p y ¬p son verdaderas.
4 Luego la suposición ¬q es falsa por tanto q es verdadera.

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 50 / 96

Demostraciones

Prueba por reducción al absurdo

1 Se asume p verdadera y se utiliza.
2 Se supone que ¬q es verdadera y mediante reglas de la
lógica, teoremas, axiomas y definiciones se llega a probar
que una proposición r que se sabe que es falsa, es
verdadera, lo cual conduce a un absurdo.
3 De manera que ¬q debe ser falsa y por tanto q es
verdadera.
Para probar una doble implicación p ⇐⇒ q se debe
probar p ⇒ q y q ⇒ p.

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 51 / 96

Demostraciones
Inclusión

Nota: Dado que A ⊆ B si y solo si

∀x(x ∈ A → x ∈ B)

entonces A ⊆ B si y solo si

∀x(x ∈
/B→x∈
/ A)

Ejemplo 38

Sean A, B y C conjuntos arbitrarios. Demuestre la validez de

las siguientes inclusiones:

a) A ∩ B ⊆ A Solución

b) (A − B) − C ⊆ A − C Solución

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 52 / 96

Demostraciones
Inclusión

c) (A ∩ B) − C ⊆ (A ∪ B) ∩ C Solución

d) A × (B ∩ C) ⊆ (A × B) ∪ (A × C) Solución

e) P (A) ∪ P (B) ⊆ P (A ∪ B) Solución

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 53 / 96

Demostraciones
Igualdad

Ejemplo 39

Sean A, B y C conjuntos arbitrarios. Demuestre la validez de

las siguientes igualdades:

a) A4B = (A ∪ B) − (A ∩ B) Solución

b) (A ∩ C) − B = (A − B) ∩ (C − B) Solución

c) A × (B − C) = (A × B) − (A × C) Solución

d) (A − B) ∩ (A ∩ B) = ∅ Solución

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 54 / 96

Demostraciones
Implicación

Ejemplo 40

Sean A, B, C y D conjuntos arbitrarios. Demuestre la validez

de las siguientes proposiciones:

a) (M ⊆ N ∧ M ∩ T = ∅) ⇒ M ⊆ (T − N ) Solución

b) (A ∪ B) ⊆ (C ∩ B) ⇒ C ⊆ (A ∪ B) Solución

c) (A ⊆ C ∧ B ⊆ D) ⇒ (A × D ⊆ C × B) Solución

d) (C ⊆ A ∪ B ∧ D ⊆ A ∩ B) ⇒ C ∩ D = ∅ Solución

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 55 / 96

Demostraciones
Implicación

Ejemplo 41

Demuestre con un contraejemplo, que la proposición:

(A ∪ B = A4C) ⇒ (A ∩ C = ∅ ∧ C = B)

es falsa.

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 56 / 96

Demostraciones
Doble Implicación

Ejemplo 42

Sean A y B conjuntos arbitrarios. Demuestre la validez de las

siguientes proposiciones:

a) A ∩ B = ∅ ⇐⇒ A − B = A Solución

b) A ⊆ B ⇐⇒ B ⊆ A Solución

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 57 / 96

Soluciones a los ejemplos

Ejemplo 13 Regresar

a) {∅, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}}
b) {∅}
c) {∅, {∅}}

Ejemplo 14 Regresar

{(1, a), (1, b), (1, c), (2, a), (2, b), (2, c)}
Ejemplo 15 Regresar

{(1, 2, 4), (1, 2, 5), (1, 2, 6), (1, 3, 4), (1, 3, 5), (1, 3, 6)}

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 58 / 96

Soluciones a los ejemplos
Ejemplo 20 Regresar

A = {6}
a) Es falsa pues 3 ∈ B y 3 + 1 = 4 ∈
/C

b) A ∩ C = {6}, es verdadera pues 2 ∈ B y

22 + 2 = 6 ∈ A ∩ C

Ejemplo 21 Regresar

a) Verdadera pues {6} ⊆ A, {3, 4, 7} ⊆ A y {3, 7} ⊆ A

b) P (B) = {∅, {∅}}. Es falsa pues {∅} ∈ P (B) y

{∅} ∈/B

c) ¬∀x [x ∈ A ∧ {x} ∈/ C] ≡ ∃x[x ∈

/ A ∨ {x} ∈ C], es
verdadera pues ∅ ∈
/ A.
Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 59 / 96
Soluciones a los ejemplos
Ejemplo 22 a) Regresar

A4B = {1, 2, 6}
A4B = {3, 4, 5, 7}
A4B ∩ C = {5, 7}
Ejemplo 22 b) Regresar

A ∩ B = {3, 5}
B − C = {2, 3}
P (B − C) = {∅, {2, 3}, {2}, {3}}
(A ∩ B) × P (B − C) =
{(3, ∅), (3, {2, 3}), (3, {2}), (3, {3}), (5, ∅), (5, {2, 3}), (5, {2}), (5, {3})}

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 60 / 96

Soluciones a los ejemplos
Ejemplo 23 a) Regresar

B ∨ C = {a, b, c, d}
A4(B ∪ C) = {c, d}
A4(B ∪ C) = {a, b, e, f }
Ejemplo 23 b) Regresar

B ∪ C = {e, f }
A − B ∪ C = {a, b}
A ∩ C = {a}
P (A ∩ C) = {∅, {a}}
(A − B ∪ C) × P (A ∩ C) = {(a, ∅), (a, {a}), (b, ∅), (b, {a})}
Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 61 / 96
Soluciones a los ejemplos
Ejemplo 24 a) Regresar

A − B = {1, {1, 2}}

A4B = {1, {1, 2}, {3}, {1, 3}}
(A − B) ∪ (A4B) = {1, {1, 2}, {3}, {1, 3}}
Ejemplo 24 b) Regresar

A ∩ B = {∅, {1}, 2}
A ∪ B = {∅, 1, {1}, 2, {1, 2}, {3}, {1, 3}}
A ∪ B = {3, {2}}
(A ∩ B) × A ∪ B =
{(∅, 3), (∅, {2}), ({1}, 3), ({1}, {2}), (2, 3), (2, {2})}
Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 62 / 96
Soluciones a los ejemplos

Ejemplo 24 c) Regresar

P (A ∩ B)
A = {3, {2}, {3}, {1, 3}}
B = {1, 3, {2}, {1, 2}}
A ∩ B = {3, {2}}
P (A ∩ B) = {∅, {3, {2}}, {3}, {{2}}}
Ejemplo 24 d) Regresar

(∅, ∅) y (1, ∅)

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 63 / 96

Soluciones a los ejemplos

Ejemplo 25 Regresar

{3} ∈ B − A y 2 ∈ B − A
Además {{2}, ∅} ⊆ A, entonces {{2}, ∅} ∈ P (A).
También {∅} ⊆ A, entonces {∅} ∈ P (A).
Entonces ({3}, {{2}, ∅}) ∈ (B − A) × P (A) y
(2, {∅}) ∈ (B − A) × P (A), por lo tanto:

{({3}, {{2}, ∅}), (2, {∅})} ⊆ (B − A) × P (A)

es verdadera.

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 64 / 96

Soluciones a los ejemplos

Ejemplo 26 Regresar

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 65 / 96

Soluciones a los ejemplos
Ejemplo 27 Regresar

[ ][ ]

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 66 / 96

Soluciones a los ejemplos

Ejemplo 28 Regresar

i) Probar A ∩ B ⊆ A ∪ B ii) Probar A ∪ B ⊆ A ∩ B

Sea x ∈ A ∩ B ⇒ x∈
/ A∩B Sea x ∈ A ∪ B ⇒ x∈A∨x∈B

⇒ x∈
/ A∨x∈
/B ⇒ x∈
/ A∨x∈
/B

⇒ x∈A∨x∈B ⇒ x∈
/ A∩B

⇒ x∈A∪B ⇒ x∈A∩B

Por i) y ii) A ∩ B = A ∪ B

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 67 / 96

Soluciones a los ejemplos
Ejemplo 29 a) Regresar

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

 
= (B ∩ A) ∩ (B ∪ C) ∪ [A ∪ (A ∩ C)] De Morgan, Asoc y Conmut.
 
= (B ∪ A) ∩ (B ∪ C) ∪ A DC y Abs.
 
(B ∪ A) ∩ (B ∪ A) ∪ C Asoc y Conmut.
   
= (B ∪ A) ∩ (B ∪ A) ∪ (B ∪ A) ∩ C Dist.
   
= B ∪ (A ∩ A) ∪ (B ∪ A) ∩ C Dist.
 
= (B ∪ ∅) ∪ (B ∪ A) ∩ C Inv.
 
= B ∪ (B ∪ A) ∩ C Ne.
 
= B ∪ (B ∪ A) ∩ (B ∪ C) Dist.

= (B ∪ A) ∩ (B ∪ C) Asoc y Idemp.

= B ∪ (A ∩ C) Dist.
Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 68 / 96
Soluciones a los ejemplos

Ejemplo 29 b) Regresar

h h ii
(Q ∪ P ) ∪ (Q ∪ R) ∪ P ∩ R ∩ (Q ∩ R)
h i   
= (Q ∪ P ) ∩ (Q ∪ R) ∪ P ∩ R ∩ (Q ∪ R) DM.
    
= (Q ∩ P ) ∩ (Q ∩ R) ∪ P ∩ (R ∩ Q) ∪ (R ∩ R) DM, DC y Dist.
    
= P ∩ (Q ∩ R) ∪ P ∩ (R ∩ Q) ∪ ∅ Asoc, Conm, Idemp y Inv.
   
= P ∩ (Q ∩ R) ∪ P ∩ (R ∩ Q) Ne.
 
= P ∩ (Q ∩ R) ∪ (R ∩ Q) Dist.
 
= P ∩ (Q ∩ (R ∪ R) Dist.
 
= P ∩ (Q ∩ U Inv.

= P ∩Q Ne.

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 69 / 96

Soluciones a los ejemplos

Ejemplo 31 Regresar

|A ∪ B| = 3 + 2 = 5

|A × (A ∪ B)| = 3 · 5 = 15

|P (A × (A ∪ B))| = 215

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 70 / 96

Soluciones a los ejemplos
Ejemplo 32 a) Regresar

|A − B| = 4 ⇒ |A| − |A ∩ B| = 4
⇒ 5 − |A ∩ B| = 4 ⇒ |A ∩ B| = 1
⇒ |P (A ∩ B)| = 21 = 2

|A ∪ B| = |A| + |B| − |A ∩ B| = 5 + 3 − 1 = 7
⇒ |P (A ∪ B)| = 27

|P (A ∪ B) × P (A ∩ B)| = 2 · 27

Ejemplo 32 b) Regresar

|B − A| = |B| − |A ∩ B| = 3 − 1 = 2
Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 71 / 96
Soluciones a los ejemplos

Ejemplo 33 Regresar

|P (B − A)| = 16 ⇒ 2|B−A| = 16 ⇒ |B − A| = 4

|B−A| = 4 ⇒ |B|−|A∩B| = 4 ⇒ |B|−2 = 4 ⇒ |B| = 6

|P (B)| = 26

|A ∪ B| = |A| + |B| − |A ∩ B| = 5 + 6 − 2 = 9

|P (B) × (A ∪ B)| = 26 · 9

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 72 / 96

Soluciones a los ejemplos
Ejemplo 34 Regresar

|C − B| = |C| − |B ∩ C| ⇒ 3 = 4 − |B ∩ C|
⇒ |B ∩ C| = 1 ⇒ |(B ∩ C)| = |U | − |B ∩ C| = 7 − 1 = 6

|A − B| = |A| − |A ∩ B| = 3 − 2 = 1

|B − A| = |B| − |A ∩ B| = 5 − 2 = 3

|A4B| = |A − B| + |B − A| = 1 + 3 = 4

|(A4B) × (B ∩ C)| = 4 · 6 = 24

|P ((A4B) × (B ∩ C))| = 224

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 73 / 96

Soluciones a los ejemplos

Ejemplo 35 Regresar

|P (C)| = 128 ⇒ 2|C| = 128 ⇒ |C| = 7

|C − A| = |C| − |A ∩ C| ⇒ 4 = 7 − |A ∩ C| ⇒ |A ∩ C| = 3

|A − C| = |A| − |A ∩ C| = 8 − 3 = 5

|P (A − C)| = 25 = 32

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

= 8 − |(A ∩ B) ∪ (A ∩ C)|
= 8 − (|A ∩ B| + |A ∩ C| − |(A ∩ B) ∩ (A ∩ C)|)
= 8 − (2 + 3 − 0) = 3

Como B ∩ C = ∅ entonces (A ∩ B) ∩ (A ∩ C) = ∅ y |(A ∩ B) ∩ (A ∩ C)| = 0

|P (A − C) × (A − (B ∪ C))| = 32 · 3

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 74 / 96

Soluciones a los ejemplos

Ejemplo 36 Regresar

a) |P (U )| = 2|U | = 25 ⇒ |P (A)| = 25 − 22 = 28

b) |U × U | = 25 ⇒ |A × B| = 25 − 2 · 3 = 19

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 75 / 96

Soluciones a los ejemplos
Ejemplo 37 Regresar

INGLÉS DANÉS
Z
X Y
200
500 100

W ITALIANO

w + 800 = 1000
→ w = 200
x + y + 700 = 2500
→ x + y = 1800

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 76 / 96

Soluciones a los ejemplos

x + y + z + w + 800 = 3000
→ 1800 + z + 200 + 800 = 3000
→ z = 200
y + z + 300 = 600
→ y + 200 + 300 = 600
→ y = 100
x + y = 1800
→ x + 100 = 1800
→ x = 1700
1700 solo hablan inglés, 300 inglés y danés, 200 solamente
italiano.

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 77 / 96

Soluciones a los ejemplos
Ejemplo 38 a) Regresar

Sea x ∈ A ∩ B

⇒ x∈A∧x∈B Def. de Intersección

⇒ x∈A Simplificación

∴ (A ∩ B) ⊆ A

Ejemplo 38 b) Regresar

Sea x ∈ (A − B) − C

⇒ x∈A−B∧x∈
/C Def. de Diferencia

⇒ (x ∈ A ∧ x ∈
/ B) ∧ x ∈
/C Def. de Diferencia

⇒ x∈A∧x∈
/C Simplificación

⇒ x∈A−C Def. de Diferencia

∴ (A − B) − C ⊆ A − C
Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 78 / 96
Soluciones a los ejemplos

Ejemplo 38 c) Regresar

Sea x ∈ (A ∩ B) − C

⇒ x∈A∩B∧x∈
/C Def. de Diferencia

⇒ x∈A∪B∧x∈
/C Def. de Unión

⇒ x∈A∪B∧x∈C Def. de Complemento

⇒ x ∈ (A ∪ B) ∩ C Def. de Intersección

∴ (A ∩ B) − C ⊆ (A ∪ B) ∩ C

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 79 / 96

Soluciones a los ejemplos

Ejemplo 38 d) Regresar

Sea (x, y) ∈ A × (B ∩ C)

⇒ x ∈ A ∧ y ∈ (B ∩ C) Def. de Producto Cartesiano

⇒ x∈A∧y ∈
/ (B ∩ C) Def. de Complemento

⇒ x ∈ A ∧ (y ∈
/ B∨y ∈
/ C) Def. de Intersección

⇒ (x ∈ A ∧ y ∈
/ B) ∨ (x ∈ A ∧ y ∈
/ C) Distributividad

⇒ (x ∈ A ∧ y ∈ B) ∨ (x ∈ A ∧ y ∈ C) Def. de Complemento

⇒ (x, y) ∈ A × B ∨ (x, y) ∈ A × C Def. de Producto Cartesiano

⇒ (x, y) ∈ (A × B) ∪ (A × C) Def. de Unión

∴ A × (B ∩ C) ⊆ (A ∪ B) ∩ C

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 80 / 96

Soluciones a los ejemplos
Ejemplo 38 e) Regresar

Sea S ∈ P (A) ∪ P (B)

⇒ S ∈ P (A) ∨ S ∈ P (B) Def. de Unión

⇒ S ⊆A∨S ⊆B Def. de Conjunto Potencia

Además:

x∈S

⇒ x∈A∨x∈B pues S ⊆ A ∨ S ⊆ B

⇒ x∈A∪B Def. de Unión

⇒ S ⊆A∪B Def. de Subconjunto

⇒ S ∈ P (A ∪ B) Def. de Conjunto Potencia

∴ P (A) ∪ P (B) ⊆ P (A ∪ B)

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 81 / 96

Soluciones a los ejemplos
Ejemplo 39 a) Regresar

i) Probar A4B ⊆ (A ∪ B) − (A ∩ B)

Sea x ∈ A4B

⇒ x ∈ (A − B) ∪ (B − A) Def. de Diferencia Simétrica

⇒ x ∈ (A − B) ∨ x ∈ (B − A) Def. de Unión

⇒ (x ∈ A ∧ x ∈
/ B) ∨ (x ∈ B ∧ x ∈
/ A) Def.de Diferencia

⇒ (x ∈ A ∨ x ∈ B) ∧ (x ∈ A ∨ x ∈
/ A) Distributividad
∧(x ∈
/ B ∨ x ∈ B) ∧ (x ∈
/ B∨x∈ / A)

⇒ (x ∈ A ∨ x ∈ B) ∧ V0 ∧ V0 ∧ (x ∈
/ B∨x∈
/ A) Inversos

⇒ (x ∈ A ∨ x ∈ B) ∧ (x ∈
/ B∨x∈
/ A) Neutro

⇒ x∈A∪B∧x∈
/ A∩B Def. de Unión e Intersección

⇒ x ∈ (A ∪ B) − (A ∩ B) Def. de Diferencia

∴ A4B ⊆ (A ∪ B) − (A ∩ B)
Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 82 / 96
Soluciones a los ejemplos
ii) Probar (A ∪ B) − (A ∩ B) ⊆ A4B

Sea x ∈ (A ∪ B) − (A ∩ B)

⇒ x∈A∪B∧x∈
/ A∩B Def. de Diferencia

⇒ (x ∈ A ∨ x ∈ B) ∧ (x ∈
/ B∨x∈
/ A) Def. de Unión e Intersección

⇒ (x ∈ A ∧ x ∈
/ B) ∨ (x ∈ A ∧ x ∈
/ A) Distributividad
∨(x ∈ B ∨ x ∈
/ B) ∨ (x ∈ B ∧ x ∈/ A)

⇒ (x ∈ A ∧ x ∈
/ B) ∨ F0 ∨ F0 ∨ (x ∈ B ∧ x ∈
/ A) Inversos

⇒ (x ∈ A ∧ x ∈
/ B) ∨ (x ∈ B ∧ x ∈
/ A) Neutro

⇒ x ∈ (A − B) ∨ x ∈ (B − A) Def. de Diferencia

⇒ x ∈ (A − B) ∪ (B − A) Def. de Unión

⇒ x ∈ A4B Def. de Diferencia Simétrica

∴ (A ∪ B) − (A ∩ B) ⊆ A4B

Por i) y ii) A4B = (A ∪ B) − (A ∩ B)

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 83 / 96
Soluciones a los ejemplos
Ejemplo 39 b) Regresar

i) Probar (A ∩ C) − B ⊆ (A − B) ∩ (C − B)
Sea x ∈ (A ∩ C) − B

⇒ x∈A∩C ∧x∈
/B Def. de Diferencia

⇒ x∈A∧x∈C ∧x∈
/B Def. de Intersección

⇒ (x ∈ A ∧ x ∈
/ B) ∧ (x ∈ C ∧ x ∈
/ B)

⇒ x∈A−B∧x∈C −B Def. de Diferencia

⇒ x ∈ (A − B) ∩ (C − B) Def. de Intersección

∴ (A ∩ C) − B ⊆ (A − B) ∩ (C − B)
Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 84 / 96
Soluciones a los ejemplos
ii) Probar (A − B) ∩ (C − B) ⊆ (A ∩ C) − B
Sea x ∈ (A − B) ∩ (C − B)

⇒ x∈A−B∧x∈C −B Def. de Intersección

⇒ (x ∈ A ∧ x ∈
/ B) ∧ (x ∈ C ∧ x ∈
/ B) Def. de Diferencia

⇒ x∈A∧x∈C ∧x∈
/B Simplificación

⇒ x∈A∩C ∧x∈
/B Def. de Intersección

⇒ x ∈ (A ∩ C) − B Def. de Diferencia

∴ (A − B) ∩ (C − B) ⊆ (A ∩ C) − B
Por i) y ii) (A − B) ∩ (C − B) = (A ∩ C) − B
Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 85 / 96
Soluciones a los ejemplos

Ejemplo 39 c) Regresar

i) Probar A × (B − C) ⊆ (A × B) − (A × C)
Sea (x, y) ∈ A × (B − C)

⇒ x∈A∧y ∈B−C Def. de Producto Car.

⇒ x∈A∧y ∈B∧y ∈
/C Def. de Diferencia

⇒ (x, y) ∈ A × B ∧ (x, y) ∈
/ (A × C) Def. de Producto Car.

⇒ (x, y) ∈ (A × B) − (A × C) Def. de Diferencia

∴ A × (B − C) ⊆ (A × B) − (A × C)

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 86 / 96

Soluciones a los ejemplos
ii) Probar (A × B) − (A × C) ⊆ A × (B − C)

Sea (x, y) ∈ (A × B) − (A × C)

⇒ (x, y) ∈ A × B ∧ (x, y) ∈
/ (A × C) Def. de Diferencia

⇒ x ∈ A ∧ y ∈ B ∧ (x ∈
/ A∨y ∈
/ C) Def. de Producto Cartesiano

⇒ (x ∈ A ∧ y ∈ B ∧ x ∈
/ A) ∨ (x ∈ A ∧ y ∈ B ∧ y ∈
/ C) Distributividad

⇒ F0 ∨ (x ∈ A ∧ y ∈ B ∧ y ∈
/ C) Inversos

⇒ x∈A∧y ∈B∧y ∈
/C Neutro

⇒ x∈A∧y ∈B−C Def. de Diferencia

⇒ (x, y) ∈ A × (B − C) Def. de Producto Cartesiano

∴ (A × B) − (A × C) ⊆ A × (B − C)

Por i) y ii) (A × B) − (A × C) = A × (B − C)

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 87 / 96

Soluciones a los ejemplos

Ejemplo 39 d) Regresar

Suponga (A − B) ∩ (A ∩ B) 6= ∅

⇒ ∃x, x ∈ (A − B) ∩ (A ∩ B)

⇒ x ∈ (A − B) ∧ x ∈ (A ∩ B) Def. de Intersección

⇒ x∈A∧x∈
/ B∧x∈A∧x∈B Def. de Dif. e Int.

⇒ x∈
/ B∧x∈B Simplificación

Esto es una contradicción, por tanto (A − B) ∩ (A ∩ B) = ∅

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 88 / 96

Soluciones a los ejemplos
Ejemplo 40 a) Regresar

Hip. 1: M ⊆ N
Hip. 2: M ∩ T = ∅
H.Q.D: M ⊆ (T − N )
Sea x ∈ M

⇒ x∈N ∧x∈
/T Hip. 1 e Hip. 2

⇒ x∈
/ N ∧x∈T Def. de Complemento

⇒ x∈T −N Def. de Diferencia

∴ M ⊆ (T − N )
Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 89 / 96
Soluciones a los ejemplos
Ejemplo 40 b) Regresar

Hip: (A ∪ B) ⊆ (C ∩ B)

H.Q.D: C ⊆ (A ∪ B)

Sea x ∈ C

⇒ x∈
/C Def. de Complemento

⇒ x∈
/ C∩B Def. de Intersección

⇒ x∈
/ A∪B Hip

⇒ x∈
/ A∧x∈
/B Def. de Unión

⇒ x∈A∧x∈
/B Def. de Complemento y Simplificación

⇒ x∈A∨x∈B Adición

⇒ x∈A∪B Def. de Unión

∴ C ⊆ (A ∪ B)

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 90 / 96

Soluciones a los ejemplos

Ejemplo 40 c) Regresar

Hip. 1: A ⊆ C

Hip. 2: B ⊆ D

H.Q.D: A × D ⊆ C × B

Sea (x, y) ∈ A × D

⇒ x∈A∧y ∈D Def. de Producto Cartesiano

⇒ x∈C∧y ∈
/D Hip. 1 y Def. de Complemento

⇒ x∈C∧y ∈
/B Def. de Subconjunto

⇒ (x, y) ∈ C × B Def. de Producto Cartesiano

∴A×D ⊆C×B

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 91 / 96

Soluciones a los ejemplos
Ejemplo 40 d) Regresar

Hip. 1: C ⊆ A ∪ B

Hip. 2: D ⊆ A ∩ B

H.Q.D: C ∩ D = ∅

Suponga que C ∩ D 6= ∅

⇒ ∃x, x ∈ C ∩ D

⇒ x∈C∧x∈D Def. de Intersección

⇒ x∈A∪B∧x∈A∩B Hip. 1 e Hip. 2

⇒ x∈
/ A∪B∧x∈A∧x∈B Def. de Complemento y de Intersección

⇒ x∈
/ A∧x∈
/ B∧x∈A∧x∈B Def. de Unión

Esto es una contradicción, por tanto C ∩ D = ∅

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 92 / 96

Soluciones a los ejemplos

Ejemplo 42 a) Regresar

i) Probar A ∩ B = ∅ ⇒ A − B = A

Hip: A ∩ B = ∅

H.Q.D: A − B = A

(*) Probar A − B ⊆ A (**) Probar A ⊆ A − B

Sea x ∈ A − B Sea x ∈ A

⇒ x∈A∧x∈
/B Def. de Diferencia ⇒ x∈A∧x∈
/B Hip

⇒ x∈A Simplificación ⇒ x∈A−B Def. de Diferencia

∴ A−B ⊆A ∴ A⊆A−B

Por (*) y (**) A − B = A

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 93 / 96

Soluciones a los ejemplos

ii) Probar A − B = A ⇒ A ∩ B = ∅

Hip: A − B = A

H.Q.D: A ∩ B = ∅

Suponga A ∩ B 6= ∅

⇒ ∃x, x ∈ A ∩ B

⇒ x∈A∧x∈B Def. de Intersección

⇒ x∈A−B∧x∈B Hip

⇒ x∈A∧x∈
/ B∧x∈B Def. de Diferencia

Esto es una contradicción, por tanto A ∩ B = ∅

Por i) y ii) A − B = A ⇐⇒ A ∩ B = ∅

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 94 / 96

Soluciones a los ejemplos

Ejemplo 42 b) Regresar

i) Probar A ⊆ B ⇒ B ⊆ A

Hip: A ⊆ B

H.Q.D: B ⊆ A

Sea x ∈ B

⇒ x∈
/B Definición de Complemento

⇒ x∈
/A Hip

⇒ x∈A Definición de Complemento

∴ B⊆A

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 95 / 96

Soluciones a los ejemplos

ii) Probar B ⊆ A ⇒ A ⊆ B

Hip: B ⊆ A

H.Q.D: A ⊆ B

Sea x ∈ A

⇒ x∈
/A Definición de Complemento

⇒ x∈
/B Hip

⇒ x∈B Definición de Complemento

∴ A⊆B

Por i) y ii) B ⊆ A ⇐⇒ A ⊆ B

Prof. Adriana Solı́s Arguedas Teorı́a de conjuntos 96 / 96