ACTIVIDAD N 01
OBJETIVO N 01
Determinar y representar
conjuntos.
As como en la Geometra las ideas de Punto, Recta y Plano son conceptos bsicos que se
admiten sin definicin; las ideas de Conjunto, Elemento y Pertenencia son, tambin, ideas no
susceptibles de definicin.
NOCIN DE CONJUNTO
Conjunto:
Notacin:
Para
denotar
los
conjuntos
se
usan
letras
En
caso
escribimos:
A = { 8, -2, 6, { 0, 1 }, 3 , 1 ]; B = { 0, 1 }.
En este caso:
Teora de Conjuntos
-2 A...( V )
6 A...( V )
1 A 1 B...( V )
0 A...( V )
3 B...( V )
{ 0, 1} A...( V )
{ { 0, 1} } A...( V )
representar
grficamente
Diagramas de Venn-Euler
los
conjuntos
se
usan
los
{0,1
}
-2
6
7 A 7 B
(V)
9 B 0 B
(V)
{ 0, 1 } B
{ 1 } B
{ 0, 1 } A
-2 A
(V)
(V)
DETERMINACION DE CONJUNTOS
I.
A = { 2, 3, 5, 7, 11 }
B = { 1, 4, 9, 16, 25 }
C = { a, e, i, o, u }
II.
Teora de Conjuntos
Ejemplo:
A = { p / p es un nmero primo p 12 }
B = { x 2 / x Z+ x 5 }
C = { x / x es una vocal }
Esquema general:
(Pr opiedadaes)
Ejemplo:
T = { x / x es un pronombre personal en Ingls }
Nota: Otro diagrama para representar grficamente a los
conjuntos es el Diagrama de Lewis Carroll.
HOMBRES
MUJERES
Hablan
Ingls
No hablan
Ingls
Se observa que :
Hombres que
no hablan
CONJUNTOS
NUMERICOS
Ingls
Teora de Conjuntos
Son
tpicos
en
matemtica
los
siguientes
conjuntos
numricos:
0,1, 2,3, 4,...
/ n, d d 0
d
'
^ x iy / x, y 1 i i 2 1
CLASES DE CONJUNTOS
CONJUNTO FINITO
Un conjunto es finito cuando posee una cantidad limitada de
elementos,
es
decir
el
proceso
de
contar
sus
elementos
A = { x /
B = { x /
es un mes del ao }
CONJUNTO INFINITO
Un
conjunto
es
infinito
cuando
tiene
una
cantidad
Ejemplo :
A = { p /
es un nmero primo }
B = { x / x R 8
x 9 }
A = { x / x
es el actual
B = { x / x N 7 x 8 }
Notacin:
= {
} = x / x x .
A = B = = {
}.
Teora de Conjuntos
2.
3.
{ 11 }
=
{2}
CONJUNTO UNIVERSAL
Es un conjunto referencial para el estudio de una situacin particular que contiene a todos
los conjuntos considerados. No existe un conjunto universal absoluto.
Ejemplo:
A = { 1, 2, 3 };
B = { 2, 4, 6, 8 }
Grficamente
el
conjunto
universal
se
representa
ILUSTRACIN RESUMEN
NO ES UNITARIO
NO ES VACO
est por
comprensin
TIENE COMO CUNJUNTO
UNIVERSAL A Z
Teora de Conjuntos
ACTIVIDAD N 02
EJERCICIOS
1.
GRUPO 1
A = { a, { a }, }. Indicar cuales de
Dado el conjuntos
2.
a.
{ a } A
d.
b.
El conjunto A
e.
= { }
c.
{ a, { a } } A
Sealar
cuales
de
las
siguientes
proposiciones
son
verdaderas.
a.
= {
b.
A = { x R / x2+1 = 0 }
c.
B = { x R / x3 + 2x = 0 } es unitario.
d.
El
}.
conjunto
es un conjunto no vaco.
-1,
1,
3,
5,
..........}
por
comprensin es
A =
e.
3.
4.
{ x / x = 2n - 3,
Si W = { x / x
n Z+ }.
R, x2 23 = 2 }, entonces 5 W.
A = { x N / x - 1
b.
C = { x Z / - 2
c.
M = { x / x
5 }
3 }
A = { 4, 6, 8, 10 }
b.
X = { 3, 5, 7, 9, ..........}
c.
conjuntos
Teora de Conjuntos
IMPORTANTE
Si sus respuestas no coinciden
intente
nuevamente
resolver
el
respuesta es errnea.
con la clave,
problema
cuya
CLAVE DE RESPUESTAS
1. Son verdaderas a y d.
2.
Son verdaderas a, b y c.
3.
a.
A = { 5, 4, 3, 2, 1, 0 }
c.
b.
C = { -1, 0, 1, 2, 3 }
a.
A = { x / x
es par 4 x
b.
X = { x / x
es impar x 3 }
c.
Y = { x / x
Z+ x2}
10 }
Teora de Conjuntos
ACTIVIDAD N 02
CUANTIFICADORES Y CONJUNTOS
Una
funcin
proposicin
proposicional
P(x),
cuantificacional,
se
relacionada
convierte
con
una
en
una
x =
verdadera, pues
x2 4 =
0.
As mismo, la proposicin:
Para todo x A, se verifica P(x) equivalentemente x A / P(x), es falsa, pues
no todo elemento de A, verifica x2 - 4 = 0, basta tomar x =1 A / 12 - 4 es diferente de 0.
A la frase: Existe un, Para algn Algunos, etc. que denota una parte de un
universo, se llama cuantificador existencial y se denota por ; mientras que a la frase:
Para todo, Para cada Para cualquier, etc. que denota la totalidad de objetos, se
llama cuantificador universal y se denota por .
Teora de Conjuntos
1.
Negar que existe un x A, tal que se verifica P(x); equivale a decir que: Ningn x A,
verifica P(x), que: Todo x, no verifica P(x); simblicamente:
~[ x A / P(x)] x A / ~ P(x).
2.
Negar que para todo xA, verifica P(x), equivale a decir que: Para algunos xA, no
se verifica P(x); simblicamente:
~[ x A / P(x)] x A / ~ P(x)
Ejemplo 01: Determinar el valor de verdad de las siguientes proposiciones, siendo el conjuntoA
= { 0, 1, 2, 3, 4, 5 }.
a.
x A / x2 - 5x + 6 = 0.
b.
x A / x3 + x2 - 2x = 0.
c.
x A, y A / x + y 4
Solucin:
a.
b.
c.
yA
2
3
0
1
0
No existe
/x+y4
0+24
1+34
2+04
3+14
4+04
No se cumple
Ejemplo 02: Determinar el valor de verdad y negar las siguientes proposiciones; dado el
conjunto
B = { x / x Z, x 4 }.
a.
x B / x 1 < 2.
b.
x B, y B / x2 + y2 8.
c.
x B, y B / x - y = 0.
Solucin:
a.
Teora de Conjuntos
b.
Verdadera.
x B,
1
2
3
4
yB
3
2
1
1
/ x2+y2 8
12 + 32 8
22 + 22 8
32 + 12 8
42 + 12 8
Su negacin es:
~ [ x B, y B / x2 + y2 8 ]
x B, y B / x2 + y2 < 8....(V)
c.
Verdadera.
x B,
1
2
3
4
yB
1
2
3
4
/x-y=0
1-1
2-2
33
44
=
=
=
=
0
0
0
0
Su negacin es:
~ [ x B, y B / x - y = 0]
x B, y B / x - y 0 ...........(F)
10
Teora de Conjuntos
ILUSTRACIN RESUMEN
Es
verdadero
: es el
Cuantificador
Universal
La proposicin
: es el
Cuantificador
Existencial
x B, y B / x2 + y2 8. donde
B = { x / x Z, x 4 }.
Su negacin es (F):
x B, tq y B / x2 + y2 < 8.
x2 + y2
8 es
la funcin
proposicin
ACTIVIDAD N 03
11
Teora de Conjuntos
EJERCICIOS GRUPO 2
1.
Z = { x / x Z , x - 2 < 4 .}.
Z = { x / x Z, y Z / x2
y2
<
8 }.
x R, y R /( - x ) y = - ( x y ).
b.
r Q, p Z
p > r.
2.
a.
Z = { , -1, 0, 1, 2, 3, 4, 5, 6 }.
b.
Z = { 0, 1, 2 }.
a.
V,
x R, y R / ( - x ) y - x y.
b.
F,
r Q, p Z / p r.
12
Teora de Conjuntos
OBJETIVO N 02
ACTIVIDAD N 01
INCLUSIN:
Se dice que un conjunto A est incluido, contenido es un subconjunto del conjunto
B, si todo elemento de A es tambin elemento de B. Se denota por: A B.
Es decir:
A B [ x A / x A x B ].
Si
A = { q, s }
B = { p, q, r, s }
A B
.q
Si B = { a, b }
13
Teora de Conjuntos
{3}B
. (V)
{3}B
. (V)
{{3}} B
. (V)
{{{4}}}B
. (V)
{{4}}B
. (V)
7B
. (F)
7B
. (F)
Grficamente se representa:
U
A B
Ejemplo:
A H
~ [A B ]
~ [ A /
x A/ ~ ( x A x B )
x A/ x A
x A x B ] Definicin
Aplicando la negacin
(xB)]
x A/ [ x A x B ]
Ley de p q
Negacin
A B x A / (x A x B )
Propiedades de la Inclusin.
La relacin de Inclusin entre conjuntos goza de las siguientes propiedades:
14
Teora de Conjuntos
conjunto A.
1.1
Reflexiva:
1.2
1.3
Transitiva:
1.4
A, A.
Si A B y B C entonces A C.
V
V
P
A A
Demostracin de 1.3
Si A B y B C entonces A C.
x A / x A x B pues
Adems,
A B.
x B / x B x C pues B C.
x A / x A x C.
Es decir A B
Demostracin de 1.4
A, A.
B A
A B
B A.
IGUALDAD DE CONJUNTOS: =
Los conjuntos A y B son iguales si y slo si tienen exactamente los mismos elementos.
Se denota por: A = B [(A B) (B A)].
En caso contrario se escribe: A B.
15
Teora de Conjuntos
B = { 1, -2, 6, 1, 6 }.
Reflexiva:
A = A, A.
2.2
Simtrica:
A = B B = A.
2.3
Transitiva:
A = B B = C A = C.
Demostracin de 2.2
Debemos demostrar que B = A, es decir. B A y A B.
Por hiptesis A = B y por definicin:
A= B (A B ) ( B A)
( B A) ( A B )
Prop. Conmutativa de
B = A.
A = B B = A.
C.
SUBCONJUNTO PROPIO.
Se dice que el conjunto A es un subconjunto propio del conjunto B, si A B A B.
En otras palabras, A es subconjunto propio de B, si A B B tiene uno ms elementos
que no pertenecen a A. Grficamente,
U
B
Ejemplo.
16
Teora de Conjuntos
De A :
x + 3 = x2 - 9
x2 x 12 = 0
x
-4
B
-3
4
( x 4 )( x + 3 ) = 0
x = -3 4
A = B
D.
CONJUNTOS DIFERENTES:
Dos conjuntos son diferentes si uno de ellos tiene por lo menos un elemento que no posee
el otro.
Se define :
A B A B B A
Ejemplo. Dados:
A = { x / ( x 1 )( x 2 )( x 3 ) x = 0 }
B = { 0, 1, 2, 3, 4 }
De A: ( x 1 )( x 2 )( x 3 ) x = 0
x = 0; 1; 2; 3
A
E.
B.
CONJUNTOS DISJUNTOS
Se dice que los conjuntos A y B son disjuntos cuando no poseen elementos comunes
Simblicamente :
A
Ejemplo. Siendo:
B son disjuntos
x / x A x B
Grficamente :
B
2
5
4
F.
17
Teora de Conjuntos
A = { 10, 11, 12 }
B = { m, n, p }
A y B son equipotentes.
Simblicamente:
A
<>
n( A ) =n( B )
DIAGRAMAS LINEALES
Son representaciones graficas que sirven para indicar relaciones de inclusin entre
conjuntos
Si
AB
B
Si
A = B
PROPIEDAD
NZQRC
ILUSTRACIN RESUMEN
Es unitario
Tiene 21=2
subconjuntos
es slo un smbolo
Dado el
conjunto
A = {{}}
18
Teora de Conjuntos
ACTIVIDAD N 02
para
sus
EJERCICIOS GRUPO 3
1.
Si A = { 2, 4, 6, 0,
4 A
5
c.
A R
e.
{ 6 } A
g.
h.
{ } A
C = { 3, 5, 7 }, D = { 2, 4 }, E = { 1, 3 }. Determinar en cada
caso, cul de estos conjuntos puede ser el conjunto X tal
que:
a.
X A
X B
b.
X A
X E
c.
X B
X E
d.
X A
X E
e.
X C
X D.
4.
A B
d.
A y B son comparables.
b.
B A
c.
A = B
A = { 2, -3, 4 }
A = { { } } c.
b.
A =
19
Teora de Conjuntos
5.
Si A B y B A, entonces A = B.
b.
A = A, A.
c.
Si A = B y B = C, entonces
d.
Si H M M N, entonces H N.
e.
Si A , entonces A = .
A = C.
CLAVE DE RESPUESTAS
1.
Son verdaderas: a, d, e, f, h,
2.
D B
b.
Slo B
d.
Ninguno
e.
i.
c.
Slo C
Grficamente:
A
6
B
D
2
4
2 3
9
3.
a.
b.
d.
c. A
A = BB
e.
20
Teora de Conjuntos
OBJETIVO N 03
ACTIVIDAD N 01
UNIN DE CONJUNTOS
La Unin de los conjuntos A y B es otro conjunto, denotado
por A B formado por todos los elementos que pertenecen a
A, a B a ambos.
A B = { x / x A x B}; = Smbolo de la
disyuncin
Para representar grficamente A B, se tendr presente las
relaciones
entre
los
conjuntos
dados
en
cada
caso
particular.
B
U
Observacin.
B (A
Ejemplo.
B).
Si A = { 2, 3, 4, 5, 6, 7 }, B = { 3, 4, 5, 6 },
C = { 2, 3, 6, 8, 10 }. Hallar
(a) A B
(b) B
21
Teora de Conjuntos
Solucin.
A B = { x / x
B } = { 2, 3, 4, 5,
6, 7 }
B C = { x / x
x C} = { 3, 4, 5, 6, 2, 8, 10 }
Ejemplo.
A B
B C
10
Sea A = {x R / x2 1 = 0},
B = {x R / x2 + 3 = 0} y M = R.
Hallar (a) A B
(b) M B (c) A M
Solucin.
B = ,
A = {-1, 1 },
M = R;
luego:A B = A = { x / x A
x }
pero no existe x .
Entonces:
2.
a.
b.
M B = R
c.
A M = { x / x A
x M } } = R.
INTERSECCIN DE CONJUNTOS
La
Interseccin
de
los
conjuntos
es
el
conjunto
x B }
Grficamente.
A
Nota :
( A B ) A
y B ( A B ) B
22
Teora de Conjuntos
Ejemplo.
a.
B C
b.
A C
c.
x B } = { a }
B C = { x / x B
x C }
{ b, c }
A C = { x / x A
x C }
Tenemos:
``
4
2
b
4 c
d
a.
Nota.
3.
4
6
2
a
4
b
c
A B,
B C
b.
c.
A C
Si X Y, entonces X Y = X.
DIFERENCIA DE CONJUNTOS
La Diferencia de los conjuntos A y B, en ese orden, denotado
por A B, es el conjunto formado por todos los elementos de
A que no pertenecen a B. Es decir,
A B = { x / x A
x B }
B
U
A - B
A partir de la definicin se deduce que:
a.
A B B A
b. A A =
c.
A B = A B
Complemento de un Conjunto.
El complemento del conjunto A respecto al conjunto universal
U, es el conjunto A formado por todos los elementos de U
que no estn en A. Es decir,
En
otras
A = { x / x U x A }
palabras, el complemento de A
es
el
conjunto
23
Teora de Conjuntos
A = U A.
Grficamente:
A
A
Otras notaciones
C A
Observaciones
a.
A A = U
b.
A A =
Ejemplo.
A.
Demostrar que A B = A B.
Solucin.
A - B
( I )
= A B
( A B )( A B ) y
Demostracin
( A B)(A B ).
( II )
de ( I ):
[( A B ) ( A B )] x ( A B ) / x ( A B )
x ( A B )
Pero x (A B)(x A) ( x B)
Def. de diferencia
( x A )
x ( A B ) Def. de interseccin
( x B ) Def. de B
de ( II ):
x ( A B )
Luego,x ( A B )
De ( I )
( A -
Def.
de B
Diferencia
B ).
( II ) se concluye la demostracin.
Ejemplo. Hallar A,
si A = { x / x
Solucin: A = { x /
Siendo:
Z, x es impar }.
A }
U = Z
A = { x / x
4.
B ) Def.
Z, x es par .}
24
Teora de Conjuntos
U
A B
Ejemplo.
Si A = {2, 3, 4, 5, 6, 7},
B = {1, 4, 6, 7, 9 } y
C = { 1, 9 }. Hallar:
a.
A B
B C
b.
c.
A C
Solucin.
a.
A B = ( A B ) ( B A ), donde:
A B = { x / x A
B A = { x / x B
Entonces
b.
x B } = { 2, 3, 5 }
x A } = { 1, 9 }
A B = { 2, 3, 5, 1, 9 }.
B C = ( B C ) U = B C;
es decir: B C = {x /x B x C }={4, 6, 7}
C B = {x / x C x B} = x pues C B.
Luego, B C = ( B C ) = B C,
es decir: B C = { 4, 6, 7 }.
b.
Grficamente,
a. A B
Observaciones
:
25
Teora de Conjuntos
1.
2.
3.
A B
A B.
= ( A B ) - ( A B).
ACTIVIDAD N 02
26
Teora de Conjuntos
EJEMPLOS DE APLICACIN
La proposicin x ( A B) es equivalente a:
a.
( x A ) ( x B )
b.
( x A ) ( x B )
c.
x (A - B )
d.
( x A ) ( x B )
Solucin.
x (A B)
Def. de B
[ x ( A- B )] Def. de diferencia.
Luego, las expresiones equivalentes a x (A B) son (c)
y( d).
2.
[B ( A C )] [( A C ) B ]
b.
[B ( A C )] [( A C ) B ]
c.
[B ( A C )] [( A B ) C]
Solucin.
Distinguimos la reunin de dos regiones sombreadas:
-
27
Teora de Conjuntos
-
(A B) B.
ILUSTRACIN RESUMEN
= A-B = { x /
B
= B-A = { x /
A
x A
}
x B
}
A B = { x / x A
B}
Operaciones con
conjuntos
A B = ( A B ) ( B
A )
A B = { x / x A
x B }
28
Teora de Conjuntos
ACTIVIDAD N 02
EJERCICIOS GRUPO 4
1.
xZ
2 x 1:
x Z , x 5 ,
C B ' D E
A
a.
c. D E ' B A' E
d.
D' C
'
B
: x 10 , B =
D ={3, 4, 5},
'
D
B 'C
'
AE
B C ' E
x Z , x 5 ,
E = {3, 5}.
A E B C '
DE
b.
U C B
B 'C C E ' A
'
2x :
'
D E
A
'
D
A E B C '
DE
A = U
g.
A B = B A
1. Si
e.
A B = A
f.
A B A B
h.
A B = B
i.
A B B A
A x : x 4 x 6
B x : x 0 x 6
C x / : ( x 1 x 2 4 x 3)
Hallar:
'
'
A C ' B C '
a. C B A A C '
b.
DE
B
c.
A' C
'
B
'
C
B 'C
'
AC
B C ' B
29
A C B A ' '
AC
Teora de Conjuntos
OBJETIVO N 03
Demostrar las leyes
ACTIVIDAD N 01
del
lgebra
de
conjuntos.
A B
x A
x A
2)
A = B
A B B A
3)
A B
{ x /
x A
x B }
4)
A B
{ x /
x A
x B }
5)
A B
{ x / x A x B }
6)
A B
( A B )
7)
{ x / x U x A}
x B
A B
= A B
( B A )
A = { x / x A }
Idempotencia
1 a) A A = A
2.
Conmutativa
2 a) A B = B A
3.
1 b) A A = A
2 b) A B = B A
Asociativa
3 a) A ( B C ) = ( A B ) C
3 b) A ( B C ) = ( A B ) C
30
Teora de Conjuntos
4.
Distributiva
4 a) A ( B C ) = ( A B ) ( A C )
4 b) A ( B C ) = ( A B ) ( A C )
5.
5 a) A = A
5 a) A = A
6.
6 a) A U = A
6 b) A U = A
7.
7 a) A A = U
7 b) A A =
8.
8 b) U = , = U
8 a) ( A ) = A
9.
A B = B A.
Recuerde que dos conjuntos son iguales si y slo si se verifica la doble inclusin:
(I) ( A B ) ( B A )
(II) ( B A ) ( A B )
Def. Unin
Conmut. de
Def. Unin
Luego, x ( A B ) x ( B A).
Con lo que queda demostrado:
(A B) (B A)
Def. Inclusin
II) ( B A) ( A B) x (B A)/ x (B A) x (A B)
Pero, x ( B A ) ( x B ) ( x A ) Def. Unin
( x A ) ( x B ) Conmut. de
x (A B )
Def. Unin
x ( B A) x ( A B) , esto es ( B A ) ( A B ) por
31
Teora de Conjuntos
definicin de Inclusin.
De (I) y (II) se sigue: A B = B A.
Demostracin (4b) A ( B C )
( A B ) ( A C )
Equivale a demostrar:
(I) A ( B C ) ( A B ) ( A C ) y
(II) ( A B ) ( A C ) A ( B C ) .
(I) x A ( B C ) / x A ( B C) x ( A B) (A C)
Pero x A ( B C ) x A ( x B C ) Def. Intersec
x A [ x B x C] Def. Unin
( x A x B ) ( x A x C ) Propiedad
distributiva de con respecto a :
[p ( q r ) ( p q ) ( p r )].
( x A B ) ( x A C ) Def. Intersec
x [ ( A B ) ( A C ) ] Def. Unin
Entonces x A ( B C ) x [ ( A B ) ( A C ) ]
[ A ( B C) ] [ ( A B ) ( A C )] Def. de
Def. de Interseccin
(p q) (p r) p ( q r) x A ( x B x C )
Def. de Unin
Def. de Interseccin
x A x(BC)
x
A (BC)
Luego x ( A B ) ( A C ) x A ( B C )
Def. de Inclusin
( A B ) ( A C ) A ( B C) .
32
Teora de Conjuntos
A ( B C ) = (A B) (A C).
Demostracin (8a)
( A ) = A.
( II ) A ( A ).
(I) x ( A ) / x ( A ) x A
Def. Complemento
[ x A]
Negacin de
[ x A]
Def. Complemento
[( x A ) ] Negacin de
xA
pues: ( p) p
[( x A ) ]
Doble Negacin
[ x A]
Negacin de
[ x A ]
Def. Complemento
x A
Negacin de
x ( A )
Def. Complemento
(II)AB ( AB )
Para I
x ( AB ) / x ( AB ) x AB
[ x (AB)]
Def. Complemento
Negacin de
[x A x B]
Def. Interseccin
Recuerda que: (p q) p q.
( x A) ( x B )
( x A) ( x B )
Negacin de
( x A ) ( x B )
Def. Complemento
x ( A B )
Def. Unin
Luego, x ( AB ) x ( A B )
( AB ) AB
33
Teora de Conjuntos
Para II
x (A B) / x (A B) (x A) (x B) Def. Unin
( x A) ( x B )
Def. Complemento
( x A) ( x B )
Negacin de
[ (x A) (x B) ]
Por que ( p q ) (p q)
[ x A B ]
Def. Interseccin
x A B
Negacin de
x ( A B )
Def. Complemento
( A B ) = A B.
ILUSTRACIN RESUMEN
Asociativa
A(BC) = (AB) C
A(BC ) = (AB) C
Distributiva
A (BC) =(AB)(AC)
Leyes del
lgebra de
conjuntos
Absorcin
A (AB) = A
A( AB) = A
A(AB) = AB
A( AB) = AB
Morgan
(A B) = A B
(A B) = A B
Conmutativa
A B = B
A B = B
34
A
A
Teora de Conjuntos
ACTIVIDAD N 02
EJERCICIOS GRUPO 5
I.
2.
3.
x A
x B
b.
x A
c.
( x A ) ( x B )
x A ( x B x C )
b.
x ( A B )
c.
x ( A B ) ( x C )
d.
x A
x ( A B )
x B
x C
A B A B = B
c.
A B B A = ( A B )
d.
A B A B
35
b.
A B = B A
Teora de Conjuntos
II.
Desarrollar:
1.
Dados
los
conjuntos
A,
B,
D,
efectuar
las
A = { x / x =
B = { x / x2 7x = 0 }
C = { x / ( x 2 )( x2 9 )( x 4 ) = 0 }
a.
( B A ) C
c.
( B C ) A
b.
( B C ) -
A C
d.
Nota. U = .
2.
A = { 5, 4, 7, 6, 2 },
B = { 1, 3, 5, 7, 9 }.
Hallar:
a.
II.
A B
B A
b.
c.
( B A ) B
A ( B C )
b.
A ( B C )
c.
( A B )
d.
( A C )
C
C
la siguiente regin
IV.
36
Teora de Conjuntos
B
C
b)
A B C
c) ( B C ) ( A B C )
d) ( A ' B ' C ') ' U ( A C ') U ( B C ')
e) ( A B C ) U (C A ') U (C B ')
V.
Deducir del siguiente diagrama las operaciones que se han realizado para obtener la
regin sombreada.
M
H
P
a) ( P Q)( H ' M )
b)
H ' M
( P Q)
c) ( P Q) ( H M )
Q
d) ( H M ) U ( P Q)
e)
37
( P Q) ( H M )
Teora de Conjuntos
OBJETIVO N 03
Hallar el Conjunto Potencia
de un Conjunto cualquiera y
demostrar sus propiedades.
ACTIVIDAD N 01
P (A), es el conjunto
P
Nota.
Ejemplo 1.
( A )
{ X / X A }
1) X
P (A) X A.
2) A
Si A = { 1, 2 , 3 } , entonces { 1 } A , { 2 } A, etc.
Entonces:
P (A) = { , { 1 } , { 2 } , { 3 } , { 1, 2 } , { 1, 3 } , { 2, 3 } , A }.
Ejemplo 2.
P () = { }.
Ejemplo 3.
A= {x/x4=0}
Ejemplo 4.
P (A) = { , A }.
A = { , { }, { { } }, { { { } } } }
Determinar el valor de verdad de cada proposicin.
38
Teora de Conjuntos
......... ( V )
......... ( V )
{{}}A
......... ( V )
{{}}A
......... ( V )
{{}}
{{{}}}
{{{{}}}}
Propiedades del
P (A)
......... ( V )
P (A)
......... ( V )
P (A)
......... ( V )
P (A):
1)
AB
P (A) P (B).
2)
A=B
P (A) = P (B).
3)
P (A B) = P (A) P (B).
Demostracin de ( 1): A B P (A) P (B).
4)
) Si A B
P (A) P (B).
En efecto, sea X
(A) X A Def. de
XB
P (A)
Prop. Transitiva
de
la Inclusin.
P (B)
Luego, X P (A) X P (B)
P (B)
Definicin de
P (A) P (B).
)
P (A) P (B)
A B
39
Teora de Conjuntos
Sea x A
{x} A
Subconjunto de A
{x}
{x}
{x} B
Def.
P (B)
x B
Sub conjunto de B
Demostracin de (3)
Sea X
Def.
Unin
( X A) ( X B )
X (A B ) X
Luego
(A)
40
P (A B)
(B)
(A B)
Teora de Conjuntos
ILUSTRACIN RESUMEN
P(A)
Se denota por
P(A)
X P(A) X A
Conjunto potencia
de A
Se define por
{X/XA}
Si X = ,
{}
A P(A)
P(A) =
Tiene 2n
elementos, n
es el nmero
de letras de A
41
Teora de Conjuntos
ACTIVIDAD N 02
EJERCICIOS GRUPO 5
1)
2)
3)
Siendo A = { a , } y B = { { } , { a } } , hallar:
4)
a.
P (A) P (B)
b.
P (A B)
P (A) ?
Demostrar que:
P (A)
P (B)
a.
A=B
b.
P (A B) = P (A) P (B).
CLAVE DE RESPUESTAS
1)
P (C) = { , { } ,{ c }, { { } } , { ,c } , { ,{ } } , { c, { } } , C}
2)
Si A = A = {}
3)
P (A) P (B) =
(A)
= {,{a},{},{{}},{{a}},{a,},{a,{}},{a,{a}},{,
{}},{,{{a}},{{}},{a}},{a,,{}},{a,{},{a}},
42
Teora de Conjuntos
{,{},{a}},{a,,{a}},AB}
ACTIVIDAD N 01
OBJETIVO N 06
Resolver problemas diversos
relativos al Nmero Cardinal
de Conjuntos.
Si
A = {a,b,c} y B = {1,-3,5,{3},2},
entonces
Propiedades:
1) Si A y B son conjuntos finitos disjuntos, entonces:
n(A B) = n( A ) + n( B ), si A B
=
Obviamente que si A B = , entonces n ( A B ) = 0.
A B es la parte sombreada del grfico,
entonces:
n(A B) = n( A ) + n( B ).
43
Teora de Conjuntos
2)
Si
arbitrarios,
son
conjuntos
no
finitos
necesariamente
disjuntos, expresamos:
B
AB A B BA
A = ( A B ) ( A B ),
Con ( A B ) ( A B ) = .
Entonces
por (1):
3)
Si
arbitrarios,
son
conjuntos
no
finitos
necesariamente
disjuntos, entonces:
AB
A B BA
U
Luego:
n(A B)
por (1)
por (1)
y demostrar
lo mismo.
4) Si A, B y C son conjuntos finitos tales que: A B C
entonces:
n(A B C) = n(A) + n(B) + n(C) n(AB) n(AC)
n(BC) + n(A B C).
44
Teora de Conjuntos
B
b
c
U
Donde:
a = n( A B )
b = n( A B )
c = n( B A )
Ejemplo 1.
Solucin:
Hablan Ingls = I
Hablan Francs = F
n( I ) = 49 n( I ) = 51,
n( F ) = 53 n( F ) = 47.
Grficamente:
Hablan un
solo
idioma
F
a
c
U
Por dato:
c + 27 = 49 c = 22,
a + 27 = 53 a = 26.
Luego:
a + c = 48.
45
Teora de Conjuntos
ILUSTRACIN RESUMEN
P2
P1
Cardinal de un
conjunto
P3
Es el nmero de elementos
de un conjuntos
46
Teora de Conjuntos
ACTIVIDAD N 02
EJERCICIOS GRUPO 7
1)
de:
2)
En una encuesta realizada a 150 personas sobre sus preferencias de tres productos A, B
y C, se encontr el siguiente resultado:
82 consumen el producto A.
54 consumen el producto B.
47
Teora de Conjuntos
Determinar:
a) El nmero de personas que consumen slo dos de los productos.
b) El nmero de personas que no consumen A, B ni C.
c) El nmero de personas que por lo menos consumen uno de los
productos.
3)
4)
a)
b)
c)
d)
Se hizo una encuesta a 160 alumnos del CEPUNS sobre la preferencia de 4 carreras
profesionales: Ingeniera de Sistemas (S), Enfermera (E), Comunicacin Social (C) y
Biologa en Acuicultura (B), obtenindose los siguientes datos:
28 slo (B).
Cuntos prefieren slo (S) y (E), si a todos por lo menos les gusta una carrera
profesional?
48
Teora de Conjuntos
6)
7)
Suponga que los brevetes slo se consiguen legalmente, los que tienen brevete
profesional saben mecnica mientras que los que tienen brevete particular slo estn
autorizados a manejar automviles y as lo hacen.
Si tienen los siguientes datos referente a un grupo de personas:
Adems, tngase en cuenta que los que saben mecnica tienen brevete profesional.
Se pregunta lo siguiente:
a) Cuntos son en total?.
b) Cuntos no tienen brevete?.
c) Cuntos cometen infraccin de manejar vehculos sin tener brevete?.
d) Cuntos saben encender un vehculo pero no manejarlos?.
8)
49
Teora de Conjuntos
50