Escolar Documentos
Profissional Documentos
Cultura Documentos
Conjuntos
1.1.
Nota preliminar
CAPTULO 1. CONJUNTOS
1.2.
1.2.1.
Descripcin bsica.
Conjunto.
1.2.2.
Notaciones.
1.2.3.
Igualdad de conjuntos
CAPTULO 1. CONJUNTOS
1.2.4.
1.2.5.
El axioma
Se puede tambin denir un conjunto mediante una propiedad que caracterice a sus elementos, lo que se llama denir (el conjunto) por comprensin.
La denicin por comprensin es una cuestin muy importante, tanto en
el aspecto terico como en la prctica; pero suele entenderse equivocadamente.
Volveremos reiteradamente a ella.
Denicin 11 (Denicin por comprensin) Un conjunto (de referencia) U y
una funcin proposicional p(x) (en la letra x) determinan un (nico) conjunto
S formado precisamente por los elementos de U que satisfacen p(x):
Notacin 12 En el caso anterior, anotamos
S = fx 2 U : p (x)g ; o bien, S = fx 2 U = p (x)g
fx 2 U : p (x)g se lee
el conjunto de los (elementos) x de U tales que p de x.
22
7
pertenecen a
CAPTULO 1. CONJUNTOS
La funcin proposicional.
Fijemos ahora el conjunto U y consideremos
A = fx 2 U : p(x)g ; B = fx 2 U : q(x)g
1. Es obvio que A y B no son necesariamente iguales.
2. Ahora bien, si se tiene (8x 2 U ) (p(x) , q(x)) ;
De manera similar, una vez que hayamos denido el conjunto vaco ?, tendremos adems que, si F : F (x) es siempre falsa, entonces
A = fx 2 U : Fg = ?
Ejemplo 19 Sea U = R: Entonces:
1. A = fx 2 U : x = xg = R
2. A = fx 2 U : x + 1 = x + 2g = ?
Observacin 20 Para aprovechar nuestro lenguaje anterior, dado un conjunto
U; convendremos en llamar (entre nosotros e impropiamente)
tautologa a toda funcin proposicional que se cumple para todo elemento
de U; y absurdo a toda funcin proposicional que no se cumple, para ningn
elemento de U
(Para evitar peligros, en este caso no olvidaremos la comilla).
Observacin 21 Note que, en el ejemplo anterior, se tiene
1. fx 2 U : x = xg = fx 2 U : 0 = 0g ;
2. fx 2 U : x + 1 = x + 2g = fx 2 U : 1 = 2g
1.2.6.
El Conjunto Vaco
1.2.7.
Inclusin (subconjunto).
CAPTULO 1. CONJUNTOS
B,B
A:
Denicin 30 Si A; B son conjuntos, diremos que A est estrictamente incluido en B y anotamos A B si y slo si A B ^ A 6= B; es decir,
A
B,A
B ^ A 6= B
R, pero R 2
= R:
2. 1 2 R y f1g
R ; pero 1
Conjuntos no comparables.
A
B^B
A:
1.3.
Operaciones elementales.
1.3.1.
Interseccin.
10
CAPTULO 1. CONJUNTOS
A\B
Conjuntos disjuntos.
Si se tiene A \ B = ?; se dice que A y B son disjuntos.
1.3.2.
Unin.
A[B
1.3.3.
11
Diferencia, complemento.
B = fx 2 U : x 2 A ^ x 2
= Bg :
Se lee A menos B.
Como caso particular de la denicin anterior, se tiene
Denicin 42 U
CU (A):
B = f1g ; B
Observacin 45 La diferencia de conjuntos y su caso particular de complemento (en U ) se dibujan, habitualmente, como sigue:
12
CAPTULO 1. CONJUNTOS
1.3.4.
Diferencia simtrica.
A B
1.3.5.
13
Diagramas de Euler-Venn
14
CAPTULO 1. CONJUNTOS
Por cierto, los diagramas de Euler-Venn son bastante tiles para realizar
algunos clculos de cardinales con claridad, segn se ilustrar ms adelante.
1.4.
1.4.1.
El axioma de especicacin.
Recordemos lo que dice el axioma de especicacin (denicin por comprensin):
Un conjunto (de referencia) U y una funcin proposicional p(x) determinan
el conjunto
S = fx 2 U : p(x)g
Las operaciones
Suponga que
A = fx 2 U : p(x)g ; B = fx 2 U : q(x)g :
Efectuaremos un ligero cambio en la expresin, que no es indispensable pero
que maniesta bien que para denir operaciones entre conjuntos nos limitamos
a usar nuestros conectivos lgicos.
Por ejemplo, se tiene:
A [ B = fx 2 U : x 2 A _ x 2 Bg = fx 2 U : p(x) _ q(x)g :
Se procede de manera similar con los otros conectivos, y se obtiene:
1. A [ B = fx 2 U : p(x) _ q(x)g ;
2. A \ B = fx 2 U : p(x) ^ q(x)g ;
n
o
3. A B = x 2 U : p(x) ^ q(x) ;
n
o
4. Ac = x 2 U : p(x)
15
5. A 4 B = fx 2 U : p(x)_q(x)g
Implicacin e inclusin; equivalencia e igualdad.
Sean nuevamente U un conjunto de referencia,
p(x); q(x) funciones proposicionales, y
A = fx 2 U : p(x)g ; B = fx 2 U : q(x)g :
Entonces:
1. Si p(x) ) q(x), se tendr (escribiendo abreviadamente):
(8x 2 U ) [x 2 A , p(x) ) q(x) , x 2 B] :
B:
=
[
\
Adicionalmente y segn se vio ms arriba, el diccionario traduce una tautologaen el conjunto U , y un absurdoen el conjunto ?: Es decir, si V es una
tautologa y F un absurdo, entonces
U
V
F
U
?
16
CAPTULO 1. CONJUNTOS
17
,x2A_x2B
,x2B_x2A
, x 2 B [ A:
Luego, se tiene A [ B = B [ A:
Observacin 50 Se notar que hay algo ms, que no hemos explicitado en el
ejemplo: de hecho y dado el mtodo que tenemos para demostrar el teorema, es
la propia tautologa p _ q , q _ p la que sugiere el enunciado del teorema y luego
es la base de su demostracin.
En otras palabras, la conmutatividad de la disyuncin a la vez sugiere y
permite probar la conmutatividad de la unin.
Apliquemos, nuevamente, esta losofa:
Ejemplo 51 La tautologa p ^ (q _ r) , (p ^ q) _ (p _ r)
sugiere el teorema de conjuntos
A \ (B [ C) = (A \ B) [ (A \ C)
La demostracin consiste slo en escribir obedientementeuno de esos conjuntos y desarrollar la expresin lgica que lo dene, tratando de llegar al otro
conjunto; en el momento crucial, se usar la tautologa inspiradora:
A \ (B [ C) = fx 2 U : x 2 A ^ x 2 B [ Cg
= fx 2 U : x 2 A ^ (x 2 B _ x 2 C)g
= fx 2 U : (x 2 A ^ x 2 B) _ (x 2 A ^ x 2 C)g
= fx 2 U : x 2 A \ B _ x 2 A \ Cg
= (A \ B) [ (A \ C)
No mezclar los lenguajes
Como hemos dicho, para que nuestro diccionario opere correctamente, no
debe mezclarse el lenguaje de proposiciones con el de conjuntos.
As, por ejemplo, no se escribir
A _ B; ni p \ q, ni pc ; ni A, ni p = q; ni A ) B, etc., etc.
Para evitar errores, conviene tener presente la siguiente observacin completamente elemental:
Observacin 52 Si A; B son conjuntos, entonces
1. A [ B; A \ C; A
18
CAPTULO 1. CONJUNTOS
2. A
B; A = B son proposiciones (es decir, son armaciones acerca de
conjuntos).
Adems y de manera similar a lo que sucedi con las proposiciones, podremos escribir, por ejemplo, A \ B \ C, apoyados en la ley de asociatividad
que probaremos.
Sin embargo, y de modo igualmente semejante al caso de las proposiciones,
nada nos permitir anotar, por ejemplo, A \ B [ C, debido a que no se tiene
(A \ B) [ C = A \ (B [ C), segn es fcil comprobar, y a que no haremos una
convencin acerca de qu operacin se realiza primero entre \ y [:
[>] Otro tipo de traduccin
(Para una eventual lectura posterior y en presencia de dudas existenciales).
do
Dado que se tiene la tautologa (p ) q) , (p _ q), podramos haber traducila implicacin p ) q por el conjunto Ac [ B, y, entonces,
la doble implicacin por el conjunto (Ac [ B) \ (B c [ A) :
1.4.2.
Teoremas de Conjuntos
19
2. ?
3. A \ ? = ?
4. A [ U = U
5. A [ ? = A
6. A \ U = A
(Traduce el teorema 39 de nuestra lista de tautologas).
20
CAPTULO 1. CONJUNTOS
2. (A \ Ac ) = U
3. A [ Ac = U
(Traduccin del teorema 1.41). Este teorema no parece muy interesante. Recuerde, sin embargo, que nuestro propsito es traducir las tautologas a teoremas
de conjuntos; no se trata de recordar cada armacin.
Teorema 58 Si A es un conjunto, entonces
c
1. A = (Ac )
2. A [ A = A
3. A \ A = A
(Traduccin del teorema 42 del captulo de Lgica proposicional).
Teorema 59 Si A; B son conjuntos, entonces
1. A \ B
2. A
A[B
(conmutatividad)
2. A [ B = B [ A
(conmutatividad)
21
= (A [ C) \ (B [ C) \ (A [ D) \ (B [ D) :
[(A [ C) \ (B [ C)] [ D = (A [ C [ D) \ (B [ C [ D)
Teorema 64 Si A; B son conjuntos, entonces
1. (A \ B) = Ac [ B c
(ley de De Morgan)
(ley de De Morgan)
2. (A [ B) = Ac \ B c
(Del teorema 1.49)
B , Bc
Ac
(Del teorema 1.50.1. Segn lo indicado anteriormente, se ha omitido la traduccin de las partes restantes de ese teorema)
Recuerde que dado que A B y B c Ac son proposiciones (armaciones)
y no conjuntos, se ha mantenido el signo ,, como corresponde.
Teorema 66 Si A; B son conjuntos, entonces
1. A = B , A
B^B
2. A = B , B = A
3. A = B , B c = Ac
(Traduccin de teorema 1.53, salvo la ltima armacin: no podemos comparar una proposicin como A 6= B con el conjunto A 4 B)
Teorema 67 Si A; B son conjuntos, entonces
1. A [ (A \ B) = A (absorcin)
2. A \ (A [ B) = A (absorcin)
22
CAPTULO 1. CONJUNTOS
B^B
C)A
C (transitividad)
2. A = B ^ B = C ) A = C
(transitividad)
1. A 4 B = (A [ B) \ (A \ B)
B) [ (B
A)
3. A 4 U = Ac
4. A 4 ? = A
5. A 4 B = B 4 A
(conmutatividad)
6. A 4 (B 4 C) = (A 4 B) 4 C
(asociatividad)
7. A \ (B 4 C) = (A \ B) 4 (A \ C)
8. A 4 B
A[B
23
B
Ac
3. A \ B = A
4. A [ B = B
5. A
B=?
6. A 4 B = B
1.4.3.
Comentario
B , Bc
B = Bc
Ac :
Ello se debe a que no podemos hacerlo sin mezclar indebidamente el lenguaje de conjuntos con el de proposiciones (Cmo traducir p ) (q ) r)?).
Otra cuestin que incide en las traducciones que no hicimos es la de los
cuanticadores implcitos, debido a la falta de distributividad de 8 en _ y de 9
en ^ (regla 4 de cuanticadores), pero no necesitamos detenernos en esto aqu.
De todas maneras, usted puede registrar la situacin a partir de los ejemplos
siguientes:
Ejemplo 74 Se tiene:
1. La tautologa (p _ q ) r) , [(p ) r) ^ (q ) r)]
se traducira en el teorema (A [ B
C) , [(A
C) ^ (B
C)] ;
24
CAPTULO 1. CONJUNTOS
2. sin embargo, la tautologa (p _ q ) r) , [(p ) r) _ (q ) r)]
se traducira en la expresin (A \ B
C) , [(A
C) _ (B
C)]
1.4.4.
(reexividad)
2. A = B ) B = A
(simetra)
3. A = B ^ B = C ) A = C
(transitividad)
(reexividad)
2. A
B^B
A)A=B
(antisimetra)
3. A
B^B
C)A
(transitividad)
25
A[B^B
2. (A \ B
A [ B) ^ (A
A^A\B
B) ^ (D
D^B
D )A[B
A^D
B)D
D)
A \ B)
Cuando decimos denicin intrnseca o abstracta, queremos decir que podramos haber denido, por ejemplo, la interseccin de A y B como aqul conjunto = para el cual se satisface
(= A ^ = B) ^ (D A ^ D B ) D =)
1.4.5.
26
CAPTULO 1. CONJUNTOS
1. Suponga que se considera el dibujo que representa la diferencia simtrica
de los conjuntos A y B, A 4 B = fx 2 U : x 2 A Y x 2 Bg (puede verlo al
nal del captulo).
Como se sabe, se trata slo de un dibujo, y de uno que no considera todas
las situaciones posibles para A y B (por ejemplo, no considera los casos
A = B; A
B; A \ B = ?; A = ?; A = B = U = ? : : :):
(A \ B) o bien
B) [ (B
A) :
(p Y q) , (p ^ q) _ (q ^ p)
4. Podemos comprobar que ambas proposiciones lgicas son efectivamente
tautologas, por ejemplo, usando tablas de verdad para la primera y derivacin
para la segunda.
5. Habiendo obtenido ya ambas tautologas, podemos ahora intentar demostrar
que las expresiones de conjuntos iniciales son efectivamente teoremas de
conjuntos.
Para ello, podemos proceder como de costumbre: anotamos la denicin y
desarrollamos, usando la tautologa en el momento oportuno:
A 4 B = fx 2 U : x 2 A Y x 2 Bg
= x 2 U : (x 2 A _ x 2 B) ^ x 2 A _ x 2 B
= x2U :x2A[B^x2A\B
(segn la tautologa)
= fx 2 U : x 2 A [ B ^ x 2 (A \ B) g
= fx 2 U : x 2 (A [ B)
= (A [ B)
(A \ B)
(A \ B)g
(A \ B) =
(A [ B) \ (A \ B) = (A [ B) \ (Ac [ B c ) =
= (A [ Ac ) [ (A \ B c ) [ (B \ Ac ) [ (B \ B c ) =
? [ (A
B) [ (B
A) [ ? = (A
B) [ (B
A)
1.4.6.
27
Otros ejemplos
Vamos a dar tres ejemplos nales, para sugerir la manera de trabajar algunas
situaciones.
Ejemplo 79 Suponga que A B y que B
Se pide simplicar la expresin
C:
B y B \ C 6= ?, entonces A \ C 6= ?:
B ^ B \ C 6= ? ) A \ C 6= ?) :
B ^ B \ C 6= ? ^ A \ C 6= ? :
B ^ B \ C 6= ? ^ A \ C = ?)
B; B \ C = f3; 4g =
6 ?; A \ C = ?:
28
CAPTULO 1. CONJUNTOS
2. Primero tomamos la expresin que se nos pide determinar si es o no igual
a A y tratamos de simplicarla. Tenemos un par de hiptesis que nos
ayudarn en el clculo, si las utilizamos oportunamente.
Se tiene:
[A [ (B
C) ] \ [(B c [ C c )
Ac ] =
= [A [ (B \ C) ] \ [(B c [ C c ) \ (Ac ) ]
= [A [ (B c [ C)] \ [(B c [ C c ) \ A] =
3. Si queremos simplicar ms la expresin, deberamos ahora usar las hiptesis del problema. Sin embargo, no parece obvio que las podamos utilizar
directamente. Examinmoslas ms de cerca:
a) A
b) C
B c = ? es equivalente a A
B es equivalente a B
B
c
C , es decir, B c [ C c = C c :
(Hay otras maneras de escribir estas hiptesis, pero son stas las que nos
sirven aqu.).
4. Seguimos, entonces con nuestro desarrollo:
[A [ (B c [ C)] \ [(B c [ C c ) \ A] =
= [A [ (B c [ C)] \ [C c \ A]
[por (b).]
Bc ^ Bc
Cc ) A
C c ; es decir, A [ C c = C c
[por 5.]
[por absorcin]
Bc = ? ^ C
B ) [A [ (B
C) ] \ [(B c [ C c )
Ac ] = A)
2. Un poco menos largo pero todava inconveniente puede ser trabajar con la
expresin
[A [ (B
C) ] \ [(B c [ C c )
Ac ] = A
1.5. CARDINALES
1.5.
1.5.1.
29
Cardinales
Presentacin ingenua
1.5.2.
Primeros resultados.
jA \ Bj
30
CAPTULO 1. CONJUNTOS
jA \ Bj
jA \ Cj
jB \ Cj + jA \ B \ Cj
Bj = jAj
B, entonces
jBj
1.5.3.
Aplicaciones
1.5. CARDINALES
31
Observacin preliminar
En un diagrama estndar que contenga a A; B y C, estn representados, si
bien se mira,
A B; A C; A (B [ C) ; (A B) [ C; (A [ C) B
c
c
(A \ B c ) [ C; (A [ C [ B) ; (A \ C \ B) ;
(A [ C [ B) (A \ C \ B) ; A [(A \ C) (A \ C \ B)]
etc., etc.
Convnzase, antes de seguir, de que puede Ud. distinguir todos los conjuntos
mencionados y de que hay varios otros (pregntese, en particular, si hay ms de
50, digamos).
(Si la invitacin anterior le parece demasiado vaga, encuentre los 512 conjuntos diferentes que aparecen en el diagrama y descrbalos conn opoeraciones
conjuntsticas).
Ilustraciones
En ocasiones, los datos permiten hacer el clculo casi limitndose a mirar el
dibujo; otras veces, hay que trabajar un poco ms.
Daremos una ilustracin
Ejemplo 91 Se ha encuestado a 100 personas (U) sobre sus deportes favoritos.
Los deportes mencionados por quienes respondieron fueron: tenis (T ), ftbol (F )
y, naturalmente, rquetbol (R).
La encuesta revel lo siguiente: 39 practican T ; 32 practican R; 50 practican
F ; 78 practican T o F ; 58 practican T o R; 5 practican los tres deportes; 68
practican F o R; 12 no practican ninguno de esos deportes.
Se pregunta:
i. cuntas personas practican slo T (es decir, jT (F [ R)j);
ii. cuntas practican slo T y F , (es decir, j(T \ F ) (T \ F \ R)j);
iii. cuntas practican R o F pero no T , (es decir, j(R [ F ) T j);
cuntas practican a lo menos dos de esos deportes,
32
CAPTULO 1. CONJUNTOS
1.6. POTENCIAS
1.6.
33
Potencias
1.6.1.
Presentacin
1.6.2.
Cardinal de P (A)
Antes de dar ejemplos, enunciamos el siguiente teorema, que aceptamos provisoriamente, y que nos sirve para tener alguna referencia cuando tratamos de
determinar el conjunto potencia de algn conjunto A: (Anotamos jXj para indicar el nmero de elementos del conjunto X).
Teorema 94 Si A es un conjunto nito y jAj = n, entonces
jP (A)j = 2jAj = 2n :
(Aqu suponemos que n es un nmero natural; el resultado, sin embargo, es
bastante ms general).
1.6.3.
Ejemplos
Incluimos las siguientes ilustraciones, bastante tradicionales, para determinar la claridad tanto del concepto de conjunto potencia de un conjunto A como
de nuestra lectura de conjuntos por extensin.
Intente primero los clculos respectivos, luego contraste con lo escrito aqu;
si lo hace bien, puede olvidarse del asunto.
Ejemplo 95 Para mejor inteligencia del clculo, desordenamos los ejemplos
pero no el clculo en cada caso:
1. Si A = fa; bg, entonces P (A) = f?; fag ; fbg ; fa; bgg
34
CAPTULO 1. CONJUNTOS
2. Si A = fa; b; cg, entonces P (A) = f?; fag ; fbg ; fcg ; fa; bg ; fa; cg ; fb; cg ; fa; b; cgg
3. Si A = fag, entonces P (A) = f?; fagg
4. Si A = ?; entonces P (A) = f?g
5. P (P (?)) = P (f?g) = f?; f?gg
6. P (P (P (?))) = P (f?; f?gg) = f?; f?g ; ff?gg ; ff?; f?gggg
(Por supuesto, podra ser interesante intentar conocer, por ejemplo, P (N) ; o
P (R), slo que no intentaramos denir tales conjuntos potencia por extensin).
1.6.4.
Propiedades elementales
B ) P (A)
4. P (A) [ P (B)
P (B)
P (A [ B)
5. P (A) \ P (B) = P (A \ B)
6. P (A
B)
(P (A)
P (B)) [ f?g
c
1.6.5.
Ejemplos.
1.7. EJERCICIOS
35
?; ? 2 P (?) ;
2. ? 2 f?g ; ?
f?g ; f?g
3. f?g 2 ?; f?g
?;
4. ? 2 P (f?g) ; ?
ff?gg ; ? 2 ff?gg ;
(Respuestas: F V V ; V V F ; F V F ; V V F ; V F F ):
Ejemplo 99 El siguiente ejemplo es un ejercicio de paciencia, perseverancia y
requiere un dejo de osada. La ventaja que presenta es que constituye un buen
ndice del manejo de situaciones formales elementales. Se incluye la respuesta,
por si se decide usted a hacerlo.
Ejemplo 100 Se pide calcular P (P (P (P (?)))) = P (f?; f?g ; ff?gg ; ff?; f?gggg) :
La respuesta es el conjunto cuyos elementos son:
Ejemplo 101
0 ?;
1.7.
Ejercicios
36
CAPTULO 1. CONJUNTOS
1.7.1.
Denicin
x2R:
x2
x 2 R : x2
0
0
x 2 R : x2 < 0
x 2 R : x2
2 (x
1) x2
1 6= 0
b) f1; 2; 3; 4; 5; 6; 12g
c) f1; 3; 5; 7; 9g
e) {m, u, s, c, o, l ,p, e, , a}
b) f0; 1g
c) f0; 1; 1g
d ) f1; 2; 3; 5; 7; 9; 16g
6. Invente varias caracterizaciones del conjunto vaco en R:
7. Dena por comprensin los siguientes conjuntos, escritos con alguna imprecisin (es decir, suponemos que son lo que aparentan).
a) f1; 3; 5; 7; 9; : : :g
1.7. EJERCICIOS
37
b) f0; 2; 4; 6; 8; : : :g
c) f1; 4; 7; 10; : : :g
d)
1
1; 21 ; 14 ; 18 ; 10
;:::
h)
0; 12 ; 23 ; 34 ; 45 ; : : :
i ) f0; 1; 4; 9; 16; : : :g
c) fx 2 N : xj36 ^ x
d ) fx 2 N : xj36 ^ x
3g
40g
b) fx 2 N : (8y 2 N) xy = xg
c) fx 2 N : (9y 2 N) xy = yg
d ) fx 2 N : (9y 2 N) xy = xg
10. Demuestre que:
fx; fx; ygg = fa; fa; bgg , x = a ^ y = b
1.7.2.
Inclusin, pertenencia
b) f0g 2 A
c) 0 2 A
d ) f0g = A
e) f?g
f) ?
38
CAPTULO 1. CONJUNTOS
a) El conjunto de todos los tringulos en el plano.
b) El conjunto de los divisores de 20:
c) El conjunto de todos los lsofos.
d ) El conjunto de todos los nmeros positivos impares, cuyo cuadrado
sea divisible por 8:
3. Pruebe que las 3 proposiciones siguientes son equivalentes:
a) A \ B = ?
b) A
Bc
c) B
Ac
4. Pruebe que:
a) A \ B = A , A
b) A [ B = B , A
1.7.3.
B
B
Operaciones
2g ; A = fx 2 U : 11
18g ;
B = fx 2 U : x = 3g ; C = fx 2 U : x = 2g
Dena por extensin:
a) A; B; C
C) ; (B [ C) \ Ac
b) B \ C; A [ (U
c
c) (A \ B) \ C; (A [ B [ C)
c
d ) (A \ (B \ C c ) [ (Ac \ B \ C))
4. Sean A = f1; 2; 3; 4g ; B = f2; 4; 6; 8g ; C = f2; 3; 6; 9g : Calcule:
a) A
B; B
b) A
(B
A
C) ; (A
B)
1.7. EJERCICIOS
39
c) (A B) \ C; (A \ C) (B \ C)
d ) (A [ B) C; (A C) [ (B C)
5. Dados A = f1; 2; 3; 4; 6; 12g ; B = f1; 2; 4; 7; 8; 14; 28; 56g ;
C = f1; 2; 3; 4; 6; 8; 12; 14; 28g ; determine:
a)
b)
c)
d)
e)
(A \ B) [ C
A \ (B [ C)
(A [ B) (A \ C)
(A B) C
[(A B) [ (B C) [ (C
6. Sea A
U; calcule:
A; A
?; ?
U; U
A; A
A)]
[(A
Ac ; Ac
B) \ (B
A; A
C) \ (C
A)]
A:
P \Q
P \R
Q\R
Q[R
Pc \ Q
Rc \ P
(P \ Q)
40
CAPTULO 1. CONJUNTOS
lgebra de conjuntos
1. Demuestre:
a) A
b) (A
c) (A
(B \ C) = (A
B) \ (A
B) [ (A
C) = A
B) \ C = (A \ C)
d) A \ B
C)
(B [ C)
A \ C = (A \ B)
2. Pruebe:
a) A
b) A
c
c) A
(A [ B) = ?
(B \ A) = A
c
B =B
3. Demuestre:
a) (A
b) A
c) A
B)
B=B
B=B
d ) A \ (B
(B
C)
A,A=B
A0
C) = (A \ B)
(A \ C)
d) A [ B = A \ B
e) A
B =A[B
f ) A [ Bc = A [ B
g) A [ ((A
B) \ B) = (B [ Ac ) [ A \ C
1.7. EJERCICIOS
41
b) G = A4B c
c
c) H = (A4B)
7. Pruebe que
a) A4B = ? , A = B
b) (A4B) [ (B4C) = (A [ B [ C)
(A \ B \ C)
c) Calcule A 5 ?; A 5 E; A 5 Ac
9. Demuestre que :
a) A \ B = A \ C no implica B = C
A [ B = A [ C no implica B = C
b) A
B
B=A
A=C
C no implica B = C
A no implica B = C
1.7.4.
Aplicaciones
1. .En una librera: sean N; C; E respectivamente, los conjuntos de las novelas, de los libros chilenos, de los libros empastados de la librera.
Juan est encargado de los libros empastados y de las novelas extranjeras.
Pedro est encargado de las novelas chilenas y de los libros chilenos no
empastados.
a) Determine a quin se tiene que pedir un ejemplar de Gracia y el
Forastero
b) En un diagrama raye de dos maneras diferentes, las zonas que
corresponden a Juan y a Pedro.
c) Determine cules son los libros que corresponden a la vez a Juan y a
Pedro, y cules (si los hay) son libros que no corresponden a ninguno?
2. 150 alumnos ingresaron al Instituto en el primer semestre y cursaron dos
asignaturas A; B:
80 aprobaron A; 57 aprobaron B; 40 aprobaron A sin aprobar B:
42
CAPTULO 1. CONJUNTOS
a) Cuntos aprobaron los dos cursos?
b) Cuntos alumnos reprobaron los dos cursos?
3. Un agente publicitario coloca un aviso en dos revistas E y F: Una encuesta
muestra que E tiene 237;000 lectores y F tiene 173;000; 51;000 personas
leen a la vez E y F . Determine cuntas personas pueden leer el aviso.
4. .En un instituto en el que se estudian idiomas y ciencias sociales hay 100
alumnos.
64 estudian por lo menos un idioma; 35 estudian Alemn; 29 estudian
Francs y 36 Ingls; 15 estudian Alemn y Francs; 13 Alemn e Ingls;
11 Francs e Ingls; 3 estudian los 3 idiomas.
Se pide determinar cuntos alumnos estudian:
a) Alemn solamente.
b) Francs solamente.
c) Ingls solamente.
d ) Alemn e Ingls, pero no Francs.
e) Ningn idioma.
[10; 6; 84; 15; 36]
5. En una encuesta a 150 entusiastas del cine, se ha encontrado que:
53 personas ven pelculas romnticas; 13 ven pelculas que sean romnticas
y de accin a la vez; 40 ven slo comedias; 10 ven solo comedias romnticas;
125 no ven pelculas de accin; 8 ven slo pelculas romnticas de accin;
6 ven slo comedias que sean a la vez pelculas de accin; 95 personas ven
slo un tipo de esas pelculas
Se pregunta:
a) Cuntas no ven pelculas de estos tipos
b) Cuntas ven pelculas que tengan las tres caractersticas
c) cuntas ven comedias
[26; 5; 61]
6. .Una encuesta a 200 potenciales votantes acerca de los candidatos A,B, C
se ha determinado que:
10 votaran por A,B y C; 85 votaran por C; 83 por B; 35 slo por C; 31
slo por A; 19 slo por B y C; 12 por A y B solamente. Hay otros que no
elegiran a ninguno de los tres.
Se pregunta:
a) Cuntos votaran slo por B
1.7. EJERCICIOS
43
44
CAPTULO 1. CONJUNTOS
1.7.5.
Potencias.
e) f0g
P (A)
f ) ff0gg
P (A)
g) fff0ggg 2 R (P (A))
h) ff0; ff0gggg 2 P (P (A))
i ) ff0; ff0gggg
P (P (A))
b) (P (A))
P (B) , A
c) P (A) = P (B) , A = B
1.7. EJERCICIOS
1.7.6.
45
Producto cartesiano.
B) \ (B
A) ; A
(B \ C) ; (A
(B [ C) ; (A
B) \ (A
B) [ (A
c
C) ; (A
C) ;
Bc
B) ; A
a) A = fa; bg ; B = f ; g ; C = f1; 2g
b) A = fx 2 R :
5g ; B = f 2; 2; 3; 4g
c) A = fx 2 R : x > 2g ; B = fx 2 R : x < 1g
d ) A = fx 2 R : 1
e) A = fx 2 R :
4g ; B = fx 2 R : 0
1g ; B = 1;
f ) A = R f0g ; B = fx 2 R :
3g
1 1 1 1
2 ; 4 ; 8 ; 16
1g
(B [ A)
B)
(B
A)
(B
A)) \ (B
(A
B))
R que verican
2; 2y + 3) = (1; 2)
5; y + 3 = (9; 2)
c) x2 + 1; y = (0; 5)
d ) (2x y; x + 2y) = (1; 2)
p
e) ( x; 3) = 4; y 2
4. Construya un grco cartesiano de los conjuntos A
vamente), donde:
a) A = R; B = fx 2 R :
B; B
A (respecti-
4g
b) A = fx 2 Z : 0 < x < 5g ; B = R
c) A = fx 2 R : 2
d ) A = f2g ; B = R
5g ; B = f 2; 2; 3g
e) A = f2g ; B = fx 2 R : 1
f ) A = f2g ; B = fx 2 Z : 1
4g
4g
46
CAPTULO 1. CONJUNTOS
a) A =
p
2; 0; 14 ; 5; 2; 2; 25
b) A = fx 2 R :
d ) A = x 2 R : x2
c) A = R
3g
c) f(x; y) 2 N
N : x = 0 _ (x = 1 = y) _ y = 0g
b) f(x; y) 2 N
N : (x = 0 ^ y = 1) _ (x = 1 ^ y = 0)g
d ) f(x; y) 2 N
N : (x 6= 0 ^ x 6= 1) _ (y 6= 0 ^ y 6= 1)g
e) f(x; y) 2 N
N : (x 6= 0 _ y 6= 1) ^ (x 6= 1 _ y 6= 1)g
f ) f(x; y) 2 N
N : x 6= 0 ^ (x 6= 1 _ y 6= 0)g
R : xy = 0g
b)
(x; y) 2 R
c)
(x; y) 2 R
R : x2
d)
(x; y) 2 R
R : x2 + 1 (y
1) = 0
y 2 = (x
y) (x + y)
R : x3 + y 3 = (xy) 2x2
xy + y 2
A = (B
b) A
A = (B
B) \ (C
C) \ (C
C)
B)
A)
(V
B)
(U
V)
(A
B)
b) (U A) (V B) = (U V ) (A B) ,
, [[A = B = ? _ (A = E ^ B = F )]]
12. Compare relativamente a la inclusin:
a) (A \ B)
(C \ D) con (A
C) \ (B
D)
1.7. EJERCICIOS
b) (A [ B)
c) (A
B)
47
(C [ D) con (A
(C
D) con (A
C) [ (B
C)
(B
D)
D)
b) A
B =?,A=?_B =?
c) A
d) A
e) A
D,A
B=C
C ^B
D ,A=C ^B =D
(B \ C) = (A
(B [ C) = (A
B) \ (A
B) [ (A
C)
C)
P (B) oojjoopropiedades
15. Sea U = fx 2 N : 1
(x; y; z) 2 U
U : x + y2 = z2