Professional Documents
Culture Documents
CONCEPTOS
CONJUNTOS
BSICOS
SOBRE
TEORA
DE
2.1 DEFINICIONES:
2.1.1 Conjunto: Trmino bsico no definido.
Concepto intuitivo: Lista, coleccin o clase de objetos, bien definidos.
Notacin: por letras maysculas. Sus elementos por letras minsculas.
Se puede definir :
Por extensin (o forma tabular): se enumera cada uno de los elementos del conjunto.
Ejemplo: A = {-2,1,3,4}
Por comprensin (o forma constructiva): cuando se enuncia una propiedad que
deben tener sus elementos.
Ejemplo: B = {x/x es nmero racional}
C = {x/x = 2n-1 + 1, nN}
2.1.2 Relacin de pertenencia: Para indicar que un elemento pertenece o no a un
conjunto se utiliza los signos y respectivamente.
2.1.3 Conjuntos numerables y no numerables: Un conjunto es numerable si consta
de un cierto nmero de elementos distintos donde el proceso de contar puede acabar, si
no acaban el conjunto es no numerable.
2.1.4 Conjunto vaco: Carece de elementos. Se denota por el smbolo { } y se
representa por A x x A x A
2.1.5 Conjunto unitario: Es el que tiene un solo elemento.
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.
2.1.8 Subconjunto: sean A y B dos conjuntos. Se dice que A es un subconjunto de
B, (A B), si y solo si todo elemento de A es tambin elemento de B.
: smbolo de subconjunto o contenencia, inclusin.
Simblicamente: A B x x A x B
65
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).
Notas:
66
Teora de conjuntos
conjunto dado A como el conjunto de todos los subconjuntos de A. Se representa como
P (A).
Con:
n(A): nmero de elementos de A.
n[P (A)]: nmeros de elementos de P (A).
2.1.14 Diagramas:
Venn-Euler: Se representa un conjunto mediante un rea plana, generalmente
crculos.
Ejemplo:
A
B
BA
Lineales:
Ejemplo:
1) A B
Se representa:
67
2) Si A B y B C, entonces se representa:
D = {1, 2, 4}
68
Representacin:
A) Simblica: x (A U B) x A v x B
B) Grfica:
A
B
AUB
Propiedades:
1. Idempotencia:
2. Identidad:
3. Conmutativa:
4. Asociativa:
5. Adicin:
AUA=A
AU=A ;
AUU=U
AUB=BUA
A U (B U C) = (A U B) U C
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
AB
Propiedades:
1. Idempotencia:
2. Identidad:
3. Conmutativa:
4. Asociativa:
5. Distributiva:
AA=A
A= ;
AU=A
AB=BA
A (B C) = (A B) C
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
Representacin:
A) Simblica: x A x A (x A)
B) Grfica:
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).
2.2.5 Diferencia simtrica:
Sean A y B dos conjuntos construidos a partir de U. Si sobre U se aplica una funcin
proposicional x (AB) x (AB), se obtiene un nuevo conjunto llamado la
diferencia simtrica entre A y B.
Notacin: Se designa la diferencia simtrica entre los conjuntos A y B por A B.
A B={x/x (AB) x (AB)}
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)
2.2.6 Operaciones con conjuntos comparables:
Las operaciones de unin, interseccin, diferencia y complemento tienen propiedades
sencillas cuando los conjuntos de que se trata son comparables.
70
Ejemplos:
1. (a) A U A = A
2. (a) A U U = U
3. (a) A U (A B) = A
(b) A A = A
(Dual de (a)).
(b) A =
(Dual de (a)).
(b) A (A U B) = A (Dual de (a)).
71
Ejercicios resueltos
Entonces podemos analizar dos casos:
A) Si se dan conjuntos A y B disjuntos, es decir, A B = , entonces el nmero de
elementos en la unin de A y B es igual a la suma del nmero de elementos de A y el
nmero de elementos de B.
Luego: Si A B = entonces
Ejemplo:
Sea A = {a, b, c, d} y
B = {m, n, o, p, q} entonces:
n(A) = 4 ;
n(B) = 5
;
AB=
A U B = {a, b, c, d, m, n, o, p, q}
n(A U B) = n(A) + n(B) = 4 +5 = 9.
B) Si se dan dos conjuntos A y B tales que A B , es decir, no son disjuntos. Se
puede obtener el nmero de elementos de A U B de la siguiente forma:
n(A U B) = n(A) + n(B) n(A B) (*)
Ejemplo.
Sean A = {x/ -3 < x < 4, x Z}
Entonces:
n(A) = 6
;
n(A B ) = 2
y
B = {x/ 2 x 6, x Z}
n(B) = 5
y
A B = {2, 3}
A U B = {-2, -1, 0, 1, 2, 3, 4, 5, 6}; n(A U B) = 9.
Estudian trigonometra:
40
Estudian lgebra:
55
Estudian geometra:
55
75
30
10
5
Grficamente:
T
A
15
20
10
10
20
15
G
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.
76
Ejercicios resueltos
U
U
A
(AB)
U
A
C
(AB)U(C-B)
(C-B)
U
A
C
B
C
[(AB)U(C-B)] B
77
b) U
(AUBUC)U[(BC)-A]
(D-F)U[F-(PUD)]
E = (e, z) Z = [d, e]
a) (NZ)-E = ?
d
i
e
NZ = [i, e]
(NZ)-E = [i, e]
d
b) [(EZ)Z]UN = ?
EZ =
d
(EZ)Z = Z = [d, e]
[(EZ)Z]UN = [d, e]
d
78
Ejercicios resueltos
c) [(Z-N) Z](NUE) = ?
Z-N = [i, e]
d
(Z-N) Z = [i, e]
Hallar:
a) AB = {x/ 0 < x < 15, x Z+}
(AB)-D = {x/ 0 < x < 15, x Z+}
Z+
(
-10
[
-5
)
Z
15
79
]
F 30
]
100
-10
Re
100
-10
-5
15
E-D = {x/ (7< x 20, x Q) (20 < x 30, x Z) (30 < x 50, x Q)}
(
7
(
20
]
30
50
[
-5
(
7
)
15
]
50
80
Ejercicios resueltos
1) 68 se comportan bien.
2) 138 son inteligentes.
3) 160 son habladores.
4) 120 son habladores e inteligentes.
5) 20 estudiantes se comportan bien y no son inteligentes.
6) 13 se comportan bien y no son habladores.
7) 15 se comportan bien y son habladores, pero no son inteligentes.
Cuntos de los 200 estudiantes entrevistados no se comportan bien, no son habladores
y no son inteligentes?.
Solucin: El problema da como datos
n(B) = 68
n(I) = 138
n(H) = 160
n(HI) = 120
n(BI) = 20
n(BH) = 13
n(BHI) = 15
Se pide hallar: n(BHI) = ?
H
5
15
25
40
8
80
9
17
I
81
n(CAQ) = 2
n(CA) = 7
n(AQ) = 8
n(C) = 25
n(CQ) = 10
n(A) = 15
n(Q) = 35
A
10
2
5
2
8
6
19
a) n[(CA)Q] = 31
b) n(CUAUQ) = 8
n(CUAUQ) = n(C) + n(A) + n(Q) n(CA) n(CQ) n(AQ) + n(CAQ)
n(CUAUQ) = 25 + 15 + 35 7 10 8 + 2
n(CUAUQ) = 52
n(CUAUQ) = 60 52 = 8
c) n[(CQ) A] = 8
n(CQ) = 10
A
82
Ejercicios resueltos
U
C
U
C
A
10
5
2
8
2
6
19
8
Q
(A U Q ) C = 23
7) Simplificar:
[(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
83
84
Ejercicios resueltos
Postulado de la conmutatividad (P.C),
Teorema de la asociatividad (T.AS)
(x) [x A (x C x B)]
Postulado de la identidad (P.I)
(x) [x A x (C-B)]
Definicin de diferencia
(x) x[A (C-B)]
Definicin de interseccin
11) Demostrar:
AB = (A-B)U(B-A)
(x) x [(A-B)U(B-A)] (x) [x (A-B) x (B-A)] Definicin de unin
(x) [(x A x B) (x B x A)]
Definicin de diferencia
(x) {[(x A x B) x B] [(x A x B) x A)]
Postulado de distributividad (P.D)
(x) {[(x A x B) (xB x B)] [(x A x A)
(xB x A)]} Postulado de distributividad (P.D)
(x) {[(x A x B) V] [V (x B x A)]}
Postulado del tercero excluido
(x) [(x A x B) (x B x A)]
Postulado de la identidad (P.I)
(x) [(x A x B) (x A x B)]
Postulado de la conmutatividad (P.C)
(x) [(x A x B) (x A x B)]
Teorema de De Morgan (T.DDM)
(x) [x (AUB) x (AB)]
Definiciones: unin, interseccin
(x) [x (AB)]
Definicin de diferencia simtrica
12) Demostrar:
B (AUB)
[B (AUB)] (x) [x B x (AUB)] Definicin de subconjunto
(x) [x B x (AUB)] Definicin de relacin de implicacin
(x) [x B (x A x B)] Definicin de unin
(x) [x B (x A x B)] Definicin de condicional (D.C)
(x) [(x B x B) x A)] Postulado de la conmutatividad (P.C)
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
(A B B A) (x) [x (A B B A)]
Definicin de relacin de
implicacin
(x) [(x A x B) (x B x A)]
Definicin de subconjunto
85
15) Demostrar:
A B AUB = B
a) A B (AUB) B
b) A B B (AUB)
Definicin de igualdad
a)
86
Ejercicios resueltos
(x) {(x A x B) [x (AUB) x B]}
(x) {(x A x B) [x (AUB) x B]}
Definicin de subconjunto
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)]}
(x) {(x A x B) [x B x (AUB)]}
Definicin de subconjunto
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
87
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)
(x) [(x A x B) (x A x A)] Definicin del vaco
(x) [(x A x B) x F]
Postulado de la contradiccin
(x) [(x A x B) V]
Definicin de tautologa
(x) V
Teorema de la tautologa (T.T)
Entonces a) V b) V
V
Por teorema de idempotencia
88
Ejercicios resueltos
b) U
A
89
Ejercicios propuestos
c)
U
Q
Q
Responder:
a) Q A = ?
SP=?
NA=?
RZ=?
LC=?
FG=?
4) Representar, sombreando el rea apropiada, cada uno de los conjuntos productos que
siguen en un diagrama cartesiano de R x R.
a) (-4, -1] x [-2, -5]
b) {x/ -1 < x < 3}x {x/ -3 x < 6}
c) {x/ x > 7} x {x/ 2 < x 5}
d) {x/ x < -4} x {x/ x 10}
91
P = [x, t]
A = [y, z)
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 =?
P = (d, b]
Siendo a, b, c, d Re
Hallar: (MP)-(NP) = ?
Si a) a > b > c > d
b) b < a < d < c
c) c = b < d < a
7) Sean los conjuntos:
A = {x/ 10 x < 20, x Q}
C = {x/ x 8, x Z}
E = {x/x 12 < x 90, x Re}
Hallar:
a) (C-A) E = ?
b) (BD)U(EA) = ?
c) (AUB) (EC) = ?
d) [(A-B)(CE)]D = ?
92
Ejercicios propuestos
n(AB) = 35,
n(ABC) = 20
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.
Hallar el porcentaje y expresarlo simblicamente:
a) Qu porcentaje leen las tres revistas?
b) Qu porcentaje leen exactamente dos revistas?
c) Qu porcentaje leen al menos dos revistas?
d) Qu porcentaje leen la revista A o la C, pero no la B?
e) Qu porcentaje leen exactamente una revista?
f) Qu porcentaje no leen la revista B y la C, pero si la A?
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.
Hallar el nmero de personas y expresarlo simblicamente:
a) Cuntos no hablan ninguno de los 4 idiomas?
b) Cuntos hablan nicamente alemn?
c) Cuntos saben al menos 2 idiomas?
d) Cuntos saben italiano o francs pero no ingls?
e) Cuntos no saben alemn y no saben ingls, pero saben francs?
93
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