Escolar Documentos
Profissional Documentos
Cultura Documentos
Definición 1 (Conjunto)
Un conjunto es una colección de objetos. Los objetos de un
conjunto se llaman elementos del conjunto.
N = {0, 1, 2, 3, · · · }
Ejemplo 3
Ejemplo 5
∀x(x ∈ A ←→ x ∈ B)
se escribe A = B.
Ejemplo 6
∀x(x ∈ A → x ∈ B)
se escribe A ⊆ B
Ejemplo 9
A = B ←→ [A ⊆ B ∧ B ⊆ A]
Teorema 1
Sea A un conjunto, se tiene:
A⊆A
∅⊆A
∀x(x ∈ A → x ∈ B) ∧ ∃x(x ∈ B ∧ x ∈
/ A)
Ejemplo 10
Ejemplo 11
Ejemplo 12
Ejemplo 13
Solución
A × B = {(a, b)|a ∈ A ∧ b ∈ B}
Ejemplo 14
Solución
Ejemplo 15
Solución
A ∪ B = {x | x ∈ A ∨ x ∈ B}
Ejemplo 16
A ∩ B = {x | x ∈ A ∧ x ∈ B}
Ejemplo 17
Ejemplo 18
A − B = {x | x ∈ A ∧ x ∈
/ B}
Diagrama diferencia
Ejemplo 19
Ā = {x | x ∈
/ A}
Diagrama complemento
A4B = {x | x ∈ A Y x ∈ B} = (A − B) ∪ (B − A)
Ejemplo 20
Solución
Ejemplo 22
Solución
Ejemplo 23
Solución
Ejemplo 26
Solución
A ∩ B ∩ C ⊆ A4(B4C)
Ejemplo 27
Solución
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=∅
Ejemplo 28
Solución
Demuestre que A ∩ B = A ∪ B
Ejemplo 29
Solución
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
Ejemplo 33
Solución
P (B) × (A ∪ B)
Ejemplo 34
Solución
P ((A4B) × (B ∩ C))
Ejemplo 35
Solución
P (A − C) × (A − (B ∪ C))
Ejemplo 36
Solución
Ejemplo 37
Solución
∀x(x ∈ A → x ∈ B)
entonces A ⊆ B si y solo si
∀x(x ∈
/B→x∈
/ A)
Ejemplo 38
a) A ∩ B ⊆ A Solución
b) (A − B) − C ⊆ A − C Solución
c) (A ∩ B) − C ⊆ (A ∪ B) ∩ C Solución
d) A × (B ∩ C) ⊆ (A × B) ∪ (A × C) Solución
Ejemplo 39
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
Ejemplo 40
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
Ejemplo 41
(A ∪ B = A4C) ⇒ (A ∩ C = ∅ ∧ C = B)
es falsa.
Ejemplo 42
a) A ∩ B = ∅ ⇐⇒ A − B = A Solución
b) A ⊆ B ⇐⇒ B ⊆ A Solución
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)}
A = {6}
a) Es falsa pues 3 ∈ B y 3 + 1 = 4 ∈
/C
Ejemplo 21 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})}
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}, 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, ∅)
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:
es verdadera.
Ejemplo 26 Regresar
[ ][ ]
Ejemplo 28 Regresar
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
(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.
Ejemplo 31 Regresar
|A ∪ B| = 3 + 2 = 5
|A × (A ∪ B)| = 3 · 5 = 15
|P (A × (A ∪ B))| = 215
|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
|P (B)| = 26
|A ∪ B| = |A| + |B| − |A ∩ B| = 5 + 6 − 2 = 9
|P (B) × (A ∪ B)| = 26 · 9
|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
Ejemplo 35 Regresar
|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
= 8 − |(A ∩ B) ∪ (A ∩ C)|
= 8 − (|A ∩ B| + |A ∩ C| − |(A ∩ B) ∩ (A ∩ C)|)
= 8 − (2 + 3 − 0) = 3
Ejemplo 36 Regresar
a) |P (U )| = 2|U | = 25 ⇒ |P (A)| = 25 − 22 = 28
b) |U × U | = 25 ⇒ |A × B| = 25 − 2 · 3 = 19
INGLÉS DANÉS
Z
X Y
200
500 100
W ITALIANO
w + 800 = 1000
→ w = 200
x + y + 700 = 2500
→ x + y = 1800
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.
Sea x ∈ A ∩ B
⇒ 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
∴ (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) ∩ C Def. de Intersección
∴ (A ∩ B) − C ⊆ (A ∪ B) ∩ C
Ejemplo 38 d) Regresar
Sea (x, y) ∈ A × (B ∩ C)
⇒ 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
∴ A × (B ∩ C) ⊆ (A ∪ B) ∩ C
Además:
x∈S
⇒ x∈A∨x∈B pues S ⊆ A ∨ S ⊆ B
∴ P (A) ∪ P (B) ⊆ P (A ∪ B)
i) Probar A4B ⊆ (A ∪ B) − (A ∩ B)
Sea x ∈ A4B
⇒ 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
∴ (A ∪ B) − (A ∩ B) ⊆ A4B
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) ∩ (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 ∧ 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∧y ∈
/C Def. de Diferencia
⇒ (x, y) ∈ A × B ∧ (x, y) ∈
/ (A × C) Def. de Producto Car.
∴ A × (B − C) ⊆ (A × B) − (A × 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
∴ (A × B) − (A × C) ⊆ A × (B − C)
Por i) y ii) (A × B) − (A × C) = A × (B − C)
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
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
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
∴ C ⊆ (A ∪ B)
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∈C∧y ∈
/D Hip. 1 y Def. de Complemento
⇒ x∈C∧y ∈
/B Def. de Subconjunto
∴A×D ⊆C×B
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∈
/ 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
Ejemplo 42 a) Regresar
i) Probar A ∩ B = ∅ ⇒ A − B = A
Hip: A ∩ B = ∅
H.Q.D: A − B = A
Sea x ∈ A − B Sea x ∈ A
⇒ x∈A∧x∈
/B Def. de Diferencia ⇒ x∈A∧x∈
/B Hip
∴ A−B ⊆A ∴ A⊆A−B
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−B∧x∈B Hip
⇒ x∈A∧x∈
/ B∧x∈B Def. de Diferencia
Por i) y ii) A − B = A ⇐⇒ A ∩ B = ∅
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
∴ B⊆A
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
∴ A⊆B
Por i) y ii) B ⊆ A ⇐⇒ A ⊆ B