Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Capítulo Conjuntos
Capítulo Conjuntos
Captulo 2
CONCEPTOS BSICOS SOBRE TEORA DE
CONJUNTOS
2.1 DEFINICIONES:
Por extensin (o forma tabular): se enumera cada uno de los elementos del conjunto.
Ejemplo: A = {-2,1,3,4}
2.1.6 Conjunto universal: Es un conjunto que contiene todos los conjuntos que
se estn tratando, (tambin se le conoce como Referencial).
Smbolo: U y se representa por U = {x/x A x A; siendo A cualquier conjunto}
2.1.7 Igualdad de conjuntos: Dos conjuntos son iguales si y solo si tienen los
mismos elementos. Es decir, A es igual a B si cada elemento que pertenece a A
pertenece tambin a B y si cada elemento que pertenece a B pertenece tambin a A.
Se denota la igualdad de los conjuntos A y B por A = B.
65
Conceptos bsicos sobre teora de conjuntos
Propiedades de la inclusin:
i) El conjunto vaco, , se considera subconjunto de
todo conjunto.
ii)Si A no es subconjunto de B, es decir, A B ;
entonces hay por lo menos un elemento de A que no
es elemento de B.
iii)Todo conjunto es subconjunto de si mismo, es
decir, si A es cualquier conjunto entonces A A
Demostrar las propiedades anteriores.
Teorema: si A B y B C implica que A C
(Demostrarlo).
Simblicamente:
A y B son comparables A B B A
Dos conjuntos A y B se dicen no comparables si A B B A
2.1.11 Familia de conjuntos: Es el conjunto formado por elementos que son conjuntos.
Para designar familias o clases de conjuntos se emplean letras inglesas:
A, B, C, D, E, ....
Ya que las maysculas denotan sus elementos.
66
Libro: De la Lgica a las funciones
Autores: Claudia Cardazo, Roco Elejalde y Guillermo Lpez
2.1.14 Diagramas:
Ejemplo:
A
B BA
Lineales:
Ejemplo:
1) A B Se representa:
67
Conceptos bsicos sobre teora de conjuntos
2) Si A B y B C, entonces se representa:
2.2.1 Unin:
Sean A y B dos conjuntos construidos a partir de U. Si sobre U se aplica la funcin
proposicional x A v x B, entonces se obtiene un nuevo conjunto llamado la unin
de A y B, es decir:
A U B = {x/x A v x B}
68
Representacin:
A) Simblica: x (A U B) x A v x B
B) Grfica:
A B
AU B
Propiedades:
1. Idempotencia: AUA= A
2. Identidad: AU=A ; AUU=U
3. Conmutativa: AUB=BUA
4. Asociativa: A U (B U C) = (A U B) U C
5. Adicin: A (A U B) ; B (A U B)
2.2.2 Interseccin:
Sean A y B dos conjuntos construidos a partir de U. Si sobre U se aplica la funcin
proposicional x A x B, se obtiene un nuevo conjunto llamado la interseccin de
A con B, es decir:
A B = {x/x A x B}
Representacin:
A) Simblica: x (A B) x A x B
B) Grfica:
A B
A B
Propiedades:
1. Idempotencia: AA= A
2. Identidad: A= ; AU=A
3. Conmutativa: AB=BA
4. Asociativa: A (B C) = (A B) C
5. Distributiva: a) A (B U C) = (A B) U (A C)
b) A U (B C) = (A U B) (A U C)
6. (A B) A ; (A B) B
7. Si A y B son disjuntos entonces A B =
68
Operaciones fundamentales con conjuntos
2.2.3 Complemento:
El complemento de un conjunto A es el conjunto de elementos que no pertenecen a A.
El complemento de A se denota por A, o por Ac, o por
A = {x/x A}
Representacin:
A) Simblica: x A x A (x A)
B) Grfica:
A A
Propiedades:
1. (A) = A (Complemento del complemento)
2. A U A = U (Tercer excluido)
3. A A = (Contradiccin)
4. (A U B) = A B (Leyes de De Morgan)
(A B) = A U B
5. U = ; = U
2.2.4 Diferencia:
Sean A y B dos conjuntos construidos a partir de U. Si sobre U se aplica una funcin
proposicional x A x B, se obtiene un nuevo conjunto llamado diferencia entre
A y B.
Notacin: La diferencia entre A y B se designa por A B.
A B = {x/x A x B}
Representacin:
A) Simblica: x (A B) x A x B
B) Grfica:
A B
A-B
69
Propiedades:
1. A B = A B
2. A A =
3. A - = A
4. - A = , U A = A
5. A B = B - A A = B
6. (A - B) - C A - (B - C)
7. (A - B) A
NOTA: A-B B-A (No cumple con la propiedad conmutativa excepto cuando A=B).
Representacin:
A. Simblica:
x(A B) x(AB) x (AB)
B. Grfica:
A B
AB
Propiedades:
1. AB BA
2. (AB)C = A (BC)
3. A = A
4. AA =
5. (AB)C = (AC) (BC)
6. AB = (A-B)U (B-A)
7. AB = (A U B)-(AB)
70
Operaciones fundamentales con conjuntos
Teoremas:
1. A B implica A B = A
2. A B implica A U B = B
3. A B implica B A
A B implica A U (B - A) = B
Si una proposicin o una expresin se obtiene de otra por una sola aplicacin del
principio de dualidad, la segunda se llama la DUAL de la primera y viceversa.
Ejemplos:
1. (a) A U A = A (b) A A = A (Dual de (a)).
2. (a) A U U = U (b) A = (Dual de (a)).
3. (a) A U (A B) = A (b) A (A U B) = A (Dual de (a)).
71
Ejercicios resueltos
Ejemplo:
Ejemplo.
Sean A = {x/ -3 < x < 4, x Z} y B = {x/ 2 x 6, x Z}
Entonces: n(A) = 6 ; n(B) = 5 y A B = {2, 3}
n(A B ) = 2 A U B = {-2, -1, 0, 1, 2, 3, 4, 5, 6}; n(A U B) = 9.
Ejemplo:
75
Conceptos bsicos sobre teora de conjuntos
Grficamente:
T A
15 5 20
10
10 20
15 G
5. U
Analticamente:
n(T U A U G) = n(T) + n(A) + n(G) n(TA) n(TG) n(GA) + n(TAG)
n(T U A U G) = 40 + 55 + 55 - 15 - 20 - 30 + 10 = 95
95 Estudiantes que asisten a la biblioteca.
100 95 = 5 Estudiantes que no asisten a la biblioteca.
Por lo tanto la encuesta est bien realizada.
1) Representar grficamente:
76
Ejercicios resueltos
[(AB)U(C-B)] B
U U
A B A B
C C
A (AB)
U U
A B A B
C C
(C-B) (AB)U(C-B)
U U
A B A B
C C
B [(AB)U(C-B)] B
77
Conceptos bsicos sobre teora de conjuntos
2) Expresarlo simblicamente
a) U b) U
A B P D
C F
(AUBUC)U[(BC)-A] (D-F)U[F-(PUD)]
a) (NZ)-E = ?
d i e z
NZ = [i, e]
(NZ)-E = [i, e]
d i e z
b) [(EZ)Z]UN = ?
EZ =
d i e z
(EZ)Z = Z = [d, e]
78
Ejercicios resueltos
[(EZ)Z]UN = [d, e]
d i e z
c) [(Z-N) Z](NUE) = ?
Z-N = [i, e]
d i e z
(Z-N) Z = [i, e]
d i e z
d i e z
d i e z
Hallar:
a) AB = {x/ 0 < x < 15, x Z+}
(AB)-D = {x/ 0 < x < 15, x Z+}
Z+
( [ )
79
Conceptos bsicos sobre teora de conjuntos
-10 -5 Z 15
Re
( ] ]
20 F 30 100
Z+
( ]
-10 Re 100
Z+
( [ )
-10 -5 Z 15
E-D = {x/ (7< x 20, x Q) (20 < x 30, x Z) (30 < x 50, x Q)}
Q
( ( ] ]
7 20 F 30 50
Z
Q
[ ( ) ]
-5 7 15 50
80
Ejercicios resueltos
B H
5 15 25
40
8 80
9 17
81
Conceptos bsicos sobre teora de conjuntos
6) Al final del semestre se hizo una encuesta sobre las materias que ms perdi la gente:
Contabilidad, Administracin y Qumica.
Siendo la clase de 60 alumnos, se tiene:
Solucin:
U
C A
10 2
5
2
8 6
19
8 Q
a) n[(CA)Q] = 31
b) n(CUAUQ) = 8
c) n[(CQ) A] = 8
n(CQ) = 10
A
82
Ejercicios resueltos
U
C A
C A
10 5 2
2
8 6
19 8
(A U Q ) C = 23
7) Simplificar:
83
Conceptos bsicos sobre teora de conjuntos
[(AB)U(B-A)]U{[(AB)UB] (DD)}
[(A-B)U(B-A)]U{[(AB)UB] } Propiedad de diferencia, y de contradiccin
(AB)U Propiedad de diferencia simtrica, y de
identidad
AB Propiedad de identidad
8) Demostrar:
AU(AB) = AUB
9) Demostrar:
A-(AB) = A-B
10) Demostrar:
(A-B)-(A-C) = A (C-B)
84
Ejercicios resueltos
11) Demostrar:
AB = (A-B)U(B-A)
12) Demostrar:
B (AUB)
85
Conceptos bsicos sobre teora de conjuntos
Teorema de la asociatividad
(x) (V x A) Postulado del tercero excluido
(x) V Teorema de la tautologa (T.T)
13) Demostrar:
A B B A
14) Demostrar:
(E-F)-G E-(F-G)
86
Ejercicios resueltos
15) Demostrar:
A B AUB = B
a) A B (AUB) B
b) A B B (AUB) Definicin de igualdad
a)
(x) {(x A x B) [x (AUB) x B]} Definicin de subconjunto
(x) {(x A x B) [x (AUB) x B]} Definicin de relacin de
implicacin
(x) {(x A x B) [(x A x B) x B]} Definicin de unin
(x) { (x A x B) [ (x A x B) x B]} Definicin de condicional
(x) { (x A x B) [(x A x B) x B]} Teorema de De Morgan (T.DDM)
(x) { (x A x B) [(x A x B) (xB x B]} Postulado de
distributividad (P.D)
(x) { (x A x B) [(x A x B) V]} Postulado del tercero excluido
(x) [ (x A x B) [(x A x B)] Postulado de identidad
(x) V Postulado del tercero excluido
b)
(x) {(x A x B) [x B x (AUB)]} Definicin de subconjunto
(x) {(x A x B) [x B x (AUB)]} Definicin de relacin de
implicacin
(x) {(x A x B) [x B (x A x B)]} Definicin de unin
(x) { (x A x B) [x B (x A x B)]} Definicin de condicional
(x) { (x A x B) [(x B x B) x A]} Postulado de la conmutatividad
(P.C), Teorema de la asociatividad
(T.AS)
(x) [ (x A x B) (V x A)}] Postulado del tercero excluido
(x) [ (x A x B) V] Teorema de la tautologa (T.T)
(x) V Teorema de la tautologa (T.T)
Entonces a) V b) V
V Por teorema de idempotencia
a)
(x) {[(x A x B) (x B x A)] x [(A B) ]}
87
Conceptos bsicos sobre teora de conjuntos
b)
(x) {[(x A x B) (x B x A)] x [ (AB)]}
Definicin de conjuntos disjuntos
(x) {[(x A x B) (x B x A)] [x x (AB)]}
Definicin de subconjunto
(x) {[(x A x B) (x B x A)] [x x (AB)]}
Definicin de relacin de implicacin
(x) {[(x A x B) (x B x A)] [x (x A x B)]}
Definicin de interseccin
(x) { [(x A x B) (x B x A)] [x (x A x B)]}
Definicin de condicional
(x) { [(x A x B) (x A x B)] [x (x A x B)]}
Postulado de la conmutatividad (P.C)
(x) { (x A x B) [x (x A x B)]}
Teorema de idempotencia (T. Idemp)
(x) {(x A x B) [x (x A x B)]}
Teorema de De Morgan (T.DDM)
(x) {[(x A x B) (x A x B)] x )}
Teorema de la asociatividad (T.AS)
(x) [(x A x B) x )] Teorema de la idempotencia (T.Idemp)
88
Ejercicios resueltos
Entonces a) V b) V
V Por teorema de idempotencia
1) Representar grficamente:
a) [(AC)(P-A)]U(AC)
b) [(Q-Z)-(TQ)] T
c) {F [(DUE)E]}-D
2) Expresar simblicamente:
a) U b) U
A B N E
C G
89
Ejercicios propuestos
c) U
Q D
A B C
R S T F K G
N Z L
Q
Responder:
a) Q A = ? N A= ? LC=?
SP=? RZ=? FG=?
4) Representar, sombreando el rea apropiada, cada uno de los conjuntos productos que
siguen en un diagrama cartesiano de R x R.
91
Conceptos bsicos sobre teora de conjuntos
Siendo x, y, z, t Re
Si t > z > y > x
Hallar:
a) (MA)-(PUD) = ?
b) [(PA)M]UA = ?
c) [(DM)-(P-A)] D = ?
d) [(M-A)(AUP)]-D =?
Siendo a, b, c, d Re
Hallar: (MP)-(NP) = ?
Hallar:
a) (C-A) E = ?
b) (BD)U(EA) = ?
c) (AUB) (EC) = ?
d) [(A-B)(CE)]D = ?
92
Ejercicios propuestos
c) (BC) (D-A) = ?
Hallar:
a) n(AUB)
b) n(AUBUC)
c) n(ABC)
d) n(ABC)
e) n(ABC)
10) Un alumno de la facultad efecta una encuesta sobre un grupo de 100 estudiantes
acerca de los hbitos de estudio en la biblioteca de ingenieras y aporta los siguientes
datos: Estudian Fsica 40, lgebra 55, geometra 55, fsica y lgebra 15, fsica y
geometra 20, lgebra y geometra 30, estudian las tres asignaturas 10, no asisten a la
biblioteca 5.
Puede asegurarse que la encuesta realizada es correcta?
11) En una investigacin realizada sobre los hbitos de lectura de los estudiantes de la
Universidad se encuentra que 48% leen la revista A, 50% la revista B, 30% la revista C,
20% la revista A y B, 10% las revistas B y C, 13% las revistas A y C, 10% no leen
ninguna de las revistas.
12) En una encuesta hecha a 100 personas sobre sus conocimientos de idiomas result
lo siguiente:
Hablan ingls 27; francs 22; italiano 12; ingls y francs 10; francs y alemn 9;
ingles, francs y alemn 6; alemn e italiano 5; 19 hablan ingls pero no alemn; el
nmero de los que hablan alemn es el triple de los que hablan nicamente francs;
ninguno de los que hablan italiano hablan ni francs ni ingls.
93
Conceptos bsicos sobre teora de conjuntos
13) Demostrar:
a) AUA =A b) A =
c) AUU = U d) AU = A
e) AUB = BUA f) AU(BUC) = (AUB)UC
g) A (AUB) h) AU = A
i) A (BUC) = (AB)U(AC) j) (AB) A
k) (A) = A l) AUA = U
m) AA = ) (AUB) = AB
o) (AB) = AUB p) U =
q) = U r) A B = AB
s) A A = t) U A = A
u) AB = BA v) AB = (AUB) (AB)
w) A (B C) = (A - B)U(AC)
x) AU(B C) = (AUB) (C A)
y) A (B C) = (AB) (AC)
z) (A B) = (A ) (B )
14) Demostrar:
a) Si A B implica AB = A
b) Si A B implica AU(B A) = B
c) Si AB = entonces BA = B
d) A B es subconjunto de AUB
e) A B = B A = B implica A = B
94