Curso introductorio a la teoría de conjuntos, basado en lógica matemática y cálculo proposicional, dirigido a estudiantes de tecnologías de la información.
1. Matem´aticas Discretas
Teor´ıa de Conjuntos
M. en C. Juliho Castillo
16 de febrero de 2017
Tec de Monterrey, Campus Ciudad de M´exico
1
2. 1 Teor´ıa de Conjuntos
Conjuntos y Elementos. Subconjuntos
Especificaci´on de Conjuntos
Subconjuntos
S´ımbolos especiales
Conjunto Universal y Conjunto Vac´ıo
2
3. Conjuntos disjuntos
Diagramas de Venn
Operaciones con Conjuntos
Uni´on e Intersecci´on
Complementos, Diferencias y Diferencias Sim´etricas
´Algebra de conjuntos, dualidad
3
7. Un conjunto puede ser visto como un conjunto bien definido
de objetos, llamados elementos o miembros de tal conjunto.
Usualmente, usaremos letras may´usculas para denotar
conjunto, y min´usculas para dlos elementos.
7
8. Un conjunto puede ser visto como un conjunto bien definido
de objetos, llamados elementos o miembros de tal conjunto.
Usualmente, usaremos letras may´usculas para denotar
conjunto, y min´usculas para dlos elementos.
7
9. La pertenencia en un conjunto se denota de la siguiente
manera:
a ∈ S denota que a pertenece al conjunto S.
a, b ∈ S denota que tanto a como b pertenecen al conjunto S.
El s´ımbolo ∈ significa ‘‘es elemento de’’. Por el
contrario, /∈ significa ‘‘no es elemento de’’.
8
10. La pertenencia en un conjunto se denota de la siguiente
manera:
a ∈ S denota que a pertenece al conjunto S.
a, b ∈ S denota que tanto a como b pertenecen al conjunto S.
El s´ımbolo ∈ significa ‘‘es elemento de’’. Por el
contrario, /∈ significa ‘‘no es elemento de’’.
8
11. La pertenencia en un conjunto se denota de la siguiente
manera:
a ∈ S denota que a pertenece al conjunto S.
a, b ∈ S denota que tanto a como b pertenecen al conjunto S.
El s´ımbolo ∈ significa ‘‘es elemento de’’. Por el
contrario, /∈ significa ‘‘no es elemento de’’.
8
13. B´asicamente, existen dos maneras de especificar un conjunto
en particular. Por un lado, si es posible, enlistar todos los
miembros. Por otro lado, caracterizando los elementos en el
conjunto.
10
14. B´asicamente, existen dos maneras de especificar un conjunto
en particular. Por un lado, si es posible, enlistar todos los
miembros. Por otro lado, caracterizando los elementos en el
conjunto.
10
15. B´asicamente, existen dos maneras de especificar un conjunto
en particular. Por un lado, si es posible, enlistar todos los
miembros. Por otro lado, caracterizando los elementos en el
conjunto.
10
16. En cualquier caso, para declarar un conjunto se utilizan llaves:
A = {· · ·}
11
17. Por ejemplo, el conjunto
A = {1, 3, 5, 6, 9}
tambi´en se puede especificar como
A = {x ∈ N | x < 10, 2 x}
12
18. Un conjunto no depende del modo en que sus elementos se
muestren. Este permanece igual si sus elementos se repiten o
se reacomodan.
13
19. Un conjunto no depende del modo en que sus elementos se
muestren. Este permanece igual si sus elementos se repiten o
se reacomodan.
13
22. Supongamos que cada elemento en un conjunto A es tambi´en
elemento del conjunto B, es decir,
x ∈ A ⇒ x ∈ B.
16
23. En ese caso, decimos que A es subconjunto de B. Tambi´en
podemos decir que A est´a contenido en B o que B contiene a
A.
17
24. En ese caso, decimos que A es subconjunto de B. Tambi´en
podemos decir que A est´a contenido en B o que B contiene a
A.
17
25. Esta relaci´on se escribe como
A ⊂ B
o en ocasiones como B ⊃ A. Por el contrario, si es necesario
indicar que A no es subconjunto de B, escribimos A ⊂ B.
18
26. Esta relaci´on se escribe como
A ⊂ B
o en ocasiones como B ⊃ A. Por el contrario, si es necesario
indicar que A no es subconjunto de B, escribimos A ⊂ B.
18
27. Diremos que dos conjuntos son iguales si poseen los mismos
elementos, es decir,
x ∈ A ⇐⇒ x ∈ B.
19
32. Algunos conjuntos num´ericos tienen una notaci´on especial
N : n´umeros naturales (enteros positivos);
Z : n´umeros enteros;
Q : n´umeros racionales;
R : n´umeros reales;
C : n´umeros complejos.
24
33. Algunos conjuntos num´ericos tienen una notaci´on especial
N : n´umeros naturales (enteros positivos);
Z : n´umeros enteros;
Q : n´umeros racionales;
R : n´umeros reales;
C : n´umeros complejos.
24
34. Algunos conjuntos num´ericos tienen una notaci´on especial
N : n´umeros naturales (enteros positivos);
Z : n´umeros enteros;
Q : n´umeros racionales;
R : n´umeros reales;
C : n´umeros complejos.
24
35. Algunos conjuntos num´ericos tienen una notaci´on especial
N : n´umeros naturales (enteros positivos);
Z : n´umeros enteros;
Q : n´umeros racionales;
R : n´umeros reales;
C : n´umeros complejos.
24
36. Algunos conjuntos num´ericos tienen una notaci´on especial
N : n´umeros naturales (enteros positivos);
Z : n´umeros enteros;
Q : n´umeros racionales;
R : n´umeros reales;
C : n´umeros complejos.
24
37. Algunos conjuntos num´ericos tienen una notaci´on especial
N : n´umeros naturales (enteros positivos);
Z : n´umeros enteros;
Q : n´umeros racionales;
R : n´umeros reales;
C : n´umeros complejos.
24
38. Observe que
N ⊂ Z ⊂ Q ⊂ R ⊂ C,
pero en ning´un caso los conjuntos son iguales.
25
40. Todos los conjuntos bajo investigaci´on en una apliaci´on de
teor´ıa de conjuntos se supone que pertenecen a un conjunto
fijo m´as grande llamado conjunto universo U, al menos que se
indique otro caso.
27
41. Dado un conjunto universal U y una propiedad P, es posible
que no existan elemento de U con la propiedad P.
28
42. Por ejemplo, el siguiente conjunto no tiene elementos
S = x ∈ Z | x2
= 3 .
29
43. A tal conjunto sin elementos {} se le conoce como conjunto
vac´ıo y se denota como ∅.
30
50. Un diagrama de Venn es una representaci´on gr´afica de
conjuntos en el que cada conjunto est´a representado por ´areas
encerradas en el plano.
36
51. El conjunto universo U es representado por el interior de un
rect´angulo, y cualquier otro conjunto esta representado por
discos que viven dentro del rect´angulo.
37
61. Ejemplo 1.5.
Sea A = {1, 2, 3, 4} , B = {3, 4, 5, 6, 7} , C = {2, 3, 8, 9} .
Encuentre
1 A ∪ B =
2 A ∩ B =
3 A ∪ C =
4 A ∩ C =
5 B ∪ C =
6 B ∩ C =
45
62. Ejemplo 1.5.
Sea A = {1, 2, 3, 4} , B = {3, 4, 5, 6, 7} , C = {2, 3, 8, 9} .
Encuentre
1 A ∪ B =
2 A ∩ B =
3 A ∪ C =
4 A ∩ C =
5 B ∪ C =
6 B ∩ C =
45
63. Ejemplo 1.5.
Sea A = {1, 2, 3, 4} , B = {3, 4, 5, 6, 7} , C = {2, 3, 8, 9} .
Encuentre
1 A ∪ B =
2 A ∩ B =
3 A ∪ C =
4 A ∩ C =
5 B ∪ C =
6 B ∩ C =
45
64. Ejemplo 1.5.
Sea A = {1, 2, 3, 4} , B = {3, 4, 5, 6, 7} , C = {2, 3, 8, 9} .
Encuentre
1 A ∪ B =
2 A ∩ B =
3 A ∪ C =
4 A ∩ C =
5 B ∪ C =
6 B ∩ C =
45
65. Ejemplo 1.5.
Sea A = {1, 2, 3, 4} , B = {3, 4, 5, 6, 7} , C = {2, 3, 8, 9} .
Encuentre
1 A ∪ B =
2 A ∩ B =
3 A ∪ C =
4 A ∩ C =
5 B ∪ C =
6 B ∩ C =
45
66. Ejemplo 1.5.
Sea A = {1, 2, 3, 4} , B = {3, 4, 5, 6, 7} , C = {2, 3, 8, 9} .
Encuentre
1 A ∪ B =
2 A ∩ B =
3 A ∪ C =
4 A ∩ C =
5 B ∪ C =
6 B ∩ C =
45
68. Ejemplo 1.7.
Demuestre que las siguientes proposiciones son equivalentes:
1 A ⊂ B
2 A ∩ B = A
3 A ∪ B = B
47
69. Dos conjuntos A y B se dicen disjuntos si no tienen elementos
en com´un, es decir A ∩ B = ∅.
Supongamos que
S = A ∪ B, A ∩ B = ∅.
Diremos que S es la uni´on disjunta de A y B y se denota por
S = A B.
48
70. Dos conjuntos A y B se dicen disjuntos si no tienen elementos
en com´un, es decir A ∩ B = ∅.
Supongamos que
S = A ∪ B, A ∩ B = ∅.
Diremos que S es la uni´on disjunta de A y B y se denota por
S = A B.
48
71. Dos conjuntos A y B se dicen disjuntos si no tienen elementos
en com´un, es decir A ∩ B = ∅.
Supongamos que
S = A ∪ B, A ∩ B = ∅.
Diremos que S es la uni´on disjunta de A y B y se denota por
S = A B.
48
81. Los conjuntos bajo las operaciones de uni´on, intersecci´on y
complemento satisface varias leyes o identidad, que se
enuncian en la siguiente tabla, y son similares a las leyes de
l´ogica.
58
83. Cada ley de conjuntos se corresponde con una ley de l´ogica.
Por ejemplo, la ley de DeMorgan:
(A ∪ B)C
= {x | x /∈ (A ∪ B)}
= {x | x /∈ A ∧ x /∈ B}
= AC
∩ BC
60
84. Dualidad
El principio de dualidad establece que la equivalencia E∗
obtenida a partir de una ley de l´ogica E reemplazando
∪, ∩, U, ∅
por
∩, ∪, ∅, U
sigue siendo una ley de l´ogica.
A la proposici´on E∗
se le conoce como dual E.
61
85. Dualidad
El principio de dualidad establece que la equivalencia E∗
obtenida a partir de una ley de l´ogica E reemplazando
∪, ∩, U, ∅
por
∩, ∪, ∅, U
sigue siendo una ley de l´ogica.
A la proposici´on E∗
se le conoce como dual E.
61
88. Una propiedad esencial de los naturales N = {1, 2, 3, ...} es la
siguiente
Axioma (Principio de Inducci´on Matem´atica, versi´on I).
Sea P una proposici´on definida en N, es decir, P(n) toma
valores de cierto o falso para cada n ∈ N.
Supongamos que
1 P(1) es cierto;
2 ∀k ∈ N : P(k) ⇒ P(k + 1).
Entonces P es cierto para todo entero positivo n ∈ N.
64
89. Una propiedad esencial de los naturales N = {1, 2, 3, ...} es la
siguiente
Axioma (Principio de Inducci´on Matem´atica, versi´on I).
Sea P una proposici´on definida en N, es decir, P(n) toma
valores de cierto o falso para cada n ∈ N.
Supongamos que
1 P(1) es cierto;
2 ∀k ∈ N : P(k) ⇒ P(k + 1).
Entonces P es cierto para todo entero positivo n ∈ N.
64
90. Ejemplo 1.9.
Sea P(n) : 1 + 3 + 5 + ... + (2n − 1) = n2
. Demostrar que
P(n) es cierta para toda n ∈ N.
65
91. Axioma (Principio de Inducci´on Matem´atica, versi´on II).
Sea P una proposici´on definida en N tal que :
1 P(1) es cierta;
2 P(k) es cierta siempre que P(j) para toda 1 ≤ j < k.
Entonces P(n) es cierta para toda n ∈ N.
66
92. Observaci´on 1.2.
Algunas veces, uno desea demostrar que una proposici´on es
cierta para alg´un conjunto de enteros
{a, a + 1, a + 2, ...}
donde a es un entero positivo, posiblemente cero. Esto puede
hacerse simplemente reemplazando 1 por a en cualquier
versi´on del Principio de Inducci´on Matem´atica.
67