Captulo 1

Conjuntos
1.1.

Nota preliminar

En esta parte estudiamos conjuntos.

Propiamente hablando, no haremos La teora de conjuntos, sino una presentacin ingenua (es decir, no formal) de una teora de conjuntos.
La idea de conjunto es una nocin unicadora de la Matemtica; ella permite
considerar las diferentes teoras a partir de un ncleo comn.
No nos interesa aqu estudiar los conjuntos per se por s mismos sino
desarrollar el tema de los conjuntos precisamente para construir otras reas de
las Matemticas a partir de ellos.
Las nociones y el lenguaje de conjuntos no slo nos harn avanzar en un terreno de base homognea y con un idioma comn, sino que adems nos permitirn
mayores expedicin, precisin y claridad en los clculos.
Deliberadamente, hemos presentador la Lgica Proposicional de manera tal
que nos permita traducir una serie de tautologas a nuestra teora de conjuntos
de manera cmoda.
Es precisamente esa articulacin de Lgica y Conjuntos la que se traducir
posteriormente a las nociones y clculos tanto en el lgebra Elemental (ecuaciones, inecuaciones, sistemas de ecuaciones), como a la Trigonometra, la Geometra
Analtica, los Sistemas Numricos,...
Plan del estudio de Conjuntos.
En primer lugar, haremos una presentacin de los conceptos y operaciones
ms elementales en conjuntos.
Luego, construimos un diccionario que nos permite traducir varias tautologas de la Lgica Proposicional a teoremas de conjuntos.
Despus hacemos un comentario acerca de los diagramas que se suele utilizar
para trabajar con conjuntos (Hemos reunido algunos al nal del captulo, para
la persona que necesite examinarlos).
1

CAPTULO 1. CONJUNTOS

Posteriormente realizamos algunas aplicaciones muy elementales.

A continuacin estudiamos la coleccin de subconjuntos de un conjunto dado
(el conjunto potencia, como se lo llama).
Luego tratamos el producto cartesiano de conjuntos.
Las secciones siguientes no son indispensables en una primera lectura o bien
son simplemente opcionales: presentacin axiomtica; un par de deniciones
intrnsecas; deniciones y propiedades ms generales. (Su profesor le indicar
cules si acaso, debe estudiar; de todas maneras, es conveniente leer el asunto
del universo).
Un captulo posterior de este texto estar expresamente diseado para utilizar las herramientas presentadas aqu y otras similares en el escenario familiar
del lgebra Elemental.

1.2.
1.2.1.

Descripcin bsica.
Conjunto.

La palabra conjunto seala un concepto primitivo, que no denimos.

Es caracterstico de los conjuntos el poseer elementos, salvo en el caso del
llamado conjunto vaco.
En espaol, las palabras coleccin, conglomerado, grupo, aluden a la misma
idea. En ocasiones se usa tambin, en un sentido similar, los vocablos club,
federacin, compaa y otros por el estilo.
Se tendr presente como siempre que, en rigor, un conjunto es un objeto
matemtico y las ilustraciones que hacemos con ejemplos de la vida son slo
aproximaciones con objetos que no pertenecen a la Matemtica.

1.2.2.

Notaciones.

(Evitaremos el uso de comillas tanto como sea posible).

Notacin 1 Comnmente denotamos los conjuntos con letras maysculas
A; B; C; ::: y sus elementos con minsculas a; b; c; :::
Sin embargo, la anterior no es una regla completamente general, dado que a
veces los elementos de un conjunto son a su vez conjuntos.
Ejemplo 2 Una federacin deportiva est constituida por diferentes clubes los
que a su vez tienen sus miembros respectivos.
Notacin 3 Anotaremos
a2A
para indicar que
a es un elemento de (el conjunto) A;
a pertenece a A:

1.2. DESCRIPCIN BSICA.

No se dir, en este caso, a est incluido en A; ni a est contenido en A:

Notacin 4 Usaremos una barra "=" encima de un smbolo determinado para
indicar informalmente que la proposicin denotada por el smbolo en cuestin
no se cumple. As,
a 2
= A signif ica a 2 A;
A =
6
B signif icara A = B;
etctera.
Para tener un conjunto (bien denido) A; debe ser posible decidir siempre,
para un objeto a; si se tiene a 2 A o su negacin a 2
= A:
Ejemplo 5 [>] (Suponga que una playa se prolonga en una duna y que tomamos
un grano de arena cerca de un supuesto "borde.en tre playa y duna. Ser difcil
saber a qu sector pertenece el grano por lo dems, atribuida una pertenencia,
es posible que debamos recticarla al cabo de unos cuantos minutos. Nuestros
conjuntos matemticos no pueden estar tan mal denidos).
Para desarrollar la teora es conveniente asumir un conjunto (grande) de
referencia U; los elementos de nuestros conjuntos pertenecen todos a U:
Notacin 6 (En nuestro caso) U (o tambin, a veces, U ) es el universo de la
teora
De esta manera, cada vez que anotamos un conjunto, suponemos que sus
elementos estn en U:
Observacin 7 Se trata slo de un universo de referencia.
(Ya veremos esta cuestin ms adelante, lo que usted necesita saber, para
evitar errores, es slo que:) El Universo, concebido como conjunto de todos los
conjuntos, no existe.

1.2.3.

Igualdad de conjuntos

Denicin 8 Sean A; B conjuntos.

Se dice que A y B son iguales y se anota A = B si y slo si ellos tienen los
mismos elementos; ms precisamente: (8x) (x 2 A , x 2 B) :
Escribimos
A = B , (8x) (x 2 A , x 2 B)
A = B se lee A es igual a B:
(Claro est, si A = B; no podemos decir, propiamente hablando, que son
conjuntos).

CAPTULO 1. CONJUNTOS

1.2.4.

Denicin por extensin.

Cuando se trata de un conjunto cuyos elementos pueden ser exhibidos en su

totalidad, podemos escribir el conjunto encerrando (la coleccin de) sus elementos entre parntesis " fag ": Se dice entonces que el conjunto ha sido denido
por extensin.
Ejemplo 9 Ilustraciones.
1. El conjunto A = f1; 2; 3g est formado, precisamente, por los elementos
1; 2; 3:
2. El conjunto A = f1g no es igual al conjunto B = ff1gg, sus elementos
respectivos son distintos.
3. Se tiene f3; 2; 1g = f1; 2; 3g ; f1; 1; 2; 3g = f1; 2; 3g ; etc., etc.
4. Se tiene f1; 2; 3g =
6 ff1g ; 2; 3g ; f1; 2; 3g =
6 ff1; 2; 3gg ;etc.,etc.
No debe abusarse de las notaciones anteriores.
Escrituras tales como f1; 2; 3; : : : ; 50g o, peor an,f1; 2; 3; : : :g ;
entraan peligros no siempre evidentes, y es conveniente usarlas haciendo
las necesarias precisiones o asegurndose de que no hay peligro de confusin.
Observacin 10 Note nalmente, que, por ejemplo, el conjunto fRg tiene
slo un elemento. (De manera similar, el conjunto (?) {alfabeto} tiene un solo
elemento).

1.2.5.

Denicin por comprensin.

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.

1.2. DESCRIPCIN BSICA.

En ocasiones, S se llama la solucin de p(x) (en U ).

Ejemplo 13 Si U = f2; 4; 6g y p(x) : x < 5;
entonces p(2) y p(4) son verdaderas y p(6) es falsa.
Luego, S = fx 2 U : p(x)g = f2; 4g :
Observacin 14 La denicin por comprensin aparece tambin en contextos
ms generales, es decir, para funciones proposicionales en ms de una letra. Ello
requiere del uso de productos cartesianos, que sern examinados ms adelante.
Observacin 15 [>] (Si a usted no le parece que hay sospechoso en nuestra
denicin, omita de momento este comentario). La denicin por comprensin
es, en realidad, ms que una denicin, un axioma, que hoy en da se llama
axioma de especicacin. En otras palabras, hay que garantizar que el conjunto
fx 2 U : p (x)g existe para ello, se requiere un axioma. (Hay otros axiomas
implcitos en nuestra presentacin)).
Es muy importante notar que la denicin por comprensin funciona con
dos ingredientes: el conjunto de referencia U y la funcin proposicional p(x):
El conjunto de referencia.
Si jamos p(x) y cambiamos U por otro conjunto V; no podemos armar que
fx 2 U : p(x)g = fx 2 V : p(x)g :
Ejemplo 16 Considere la funcin proposicional p(x) : x > 2: Se tiene
1. Si U = f2; 4; 6g ; entonces fx 2 U : p(x)g = f4; 6g :
2. Si V = R; entonces, (por ejemplo) los nmeros
fx 2 V : p(x)g :

22
7

pertenecen a

3. Ahora bien, si hacemos W = f1; 3g; entonces fx 2 W : p(x)g no tiene

elementos.
Sigue de lo anterior que, el smbolo
fx : p(x)g
no denota un conjunto y es inaceptable a menos que el conjunto de referencia U se subentienda; esto es, se lo puede aceptar slo como abreviatura de
fx 2 U : p(x)g :
Tal prctica es una instancia de lo que se denomina hacer abuso de lenguaje
y puede emplearse slo si hay peligro de confusin.
Ejemplo 17 Si se est estudiando nmeros reales, ser natural convenir (a
veces) que
fx : p(x)g signica fx 2 R : p(x)g :

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)) ;

entonces se tiene adems, para cada x 2 U; (abreviando):

x 2 A , p(x) , q(x) , x 2 B;
por lo tanto, x 2 A , x 2 B
y por consiguiente A = B:

Ejemplo 18 Sea U = R: Entonces:

1. Si A = fx 2 U : x < 2g ; B = fx 2 U : x = 7g ; se tiene A 6= B
2. Si A = fx 2 U : x + 1 = 3g ; B = fx 2 U : x + 5 = 7g ; se tiene A = B
Por otra parte si V : V (x) es siempre verdadera, entonces
A = fx 2 U : Vg = U

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 ;

y 0 = 0 se cumplir siempre, independientemente del x que tomemos

2. fx 2 U : x + 1 = x + 2g = fx 2 U : 1 = 2g

y 1 = 2 no se cumplir, jams, independientemente del x que tomemos

(En otras palabras, los 0 x0 no corrieron, por ms que algunos de ellos, ms

entusiastas tal vez, se hayan empeado).

1.2. DESCRIPCIN BSICA.

[>] Para una reexin posterior

No obstante lo que dijimos antes, anterior, si U 6= V; no es efectivo que se
tenga necesariamente fx 2 U : p(x)g =
6 fx 2 V : p(x)g :
Ejemplo 22 Si p (x) : x 4; U = f2; 7; 8g ; V = f2; 6; 9g ; entonces
fx 2 U : p(x)g = f2g = fx 2 V : p(x)g
Tampoco es cierto, que si p(x) , q(x); entonces se tiene necesariamente
fx 2 U : p(x)g =
6 fx 2 U : q(x)g :
Ejemplo 23 Si p (x) : x 4; q (x) : x < 6; entonces
fx 2 U : p(x)g = f2g = fx 2 U : q(x)g

1.2.6.

El Conjunto Vaco

Podemos usar nuestra denicin por comprensin para denir un conjunto

de mucha utilidad.
Denicin 24 El conjunto ? = fx 2 U : x 6= xg se llama conjunto vaco.
Observacin 25 [>] (Para una reexin posterior). Se podra pensar que la
denicin de ? depende del conjunto U tomado, pero ello no es as, segn se
puede examinar.
? se lee habitualmente , como si fuera la letra
del alfabeto (griego),
aunque en realidad se trata de una del alfabeto dans (que se pronuncia en
forma parecida a la eu francesa, como en jeu sonido que se suele representar,
fontica y precisamente, por ?).
Observacin 26 Note que ? no tiene elementos.
(Pese a la creencia popular, el conjunto f?g tiene un elemento).

1.2.7.

Inclusin (subconjunto).

Denicin 27 Sean A; B conjuntos. Se dice que A es un subconjunto de B;

o que A est incluido en B; y se anota A B si slo si (8x) (x 2 A ) x 2 B) :
Escribimos
A B , (8x) (x 2 A ) x 2 B)
Con memor precisin: A es un subconjunto de B si y slo si cada elemento
de A es un elemento de B:
Observacin 28 Es obvio que se tiene, siempre, A

Ejemplo 29 Si A = f1; 2g y B = f1; 2; 3g ; se tiene, naturalmente, A

B:
Ahora bien, si A = fx 2 R : x < 5g y B = fx 2 R : x < 6g ; entonces se tiene
tambin A B:

CAPTULO 1. CONJUNTOS

Se puede tambin anotar y decir A

B en sentido inverso: en lugar de
expresar A est incluido en B podemos decir B contiene a A; y anotar B A
(o bien, B A, etc.).
Escribimos, para referencia posterior
A

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

Observacin 31 Note que si A; B son conjuntos, entonces

A = B; A B son proposiciones y no conjuntos.
Inclusin y pertenencia.
No debe confundirse el concepto de inclusin con el de pertenencia.
Ejemplo 32 Se tiene:
1. R

R, pero R 2
= R:

2. 1 2 R y f1g

R ; pero 1

R no tiene sentido, en principio.

Observacin 33 [>] No obstante lo anterior, si A es un conjunto cualquiera,

se tiene a la vez
A 2 A [ fAg ; A A [ fAg
(Adems y segn se ver ms adelante, se tiene ? 2 P (?) y ? P (?)):
Notaciones alternativas.
La notacin A B que hemos usado aqu es, posiblemente, la ms frecuente
para escribir que A es un subconjunto de B:
Se suele anotar tambin A
B por A
B, notacin que tiene la ventaja
de su analoga con los smbolos de desigualdades de nmeros.
Se enfatiza as que la expresin A es subconjunto de B incluye la posibilidad
de que se tenga que A sea igual a B; (como cuando se escribe, por ejemplo,
3 3 ).
A

Cuando se usa A B para indicar que A es un subconjunto de B; el smbolo

B signica (A B ^ A 6= B) ; (de modo anlogo a x < y : x y ^ x 6= y ).

Conjuntos no comparables.
A

Es fcil encontrar ejemplos de conjuntos A; B para los cuales que tanto

B como B A son falsas.
En tal caso se acostumbra decir que A y B son no comparables.

1.3. OPERACIONES ELEMENTALES.

[>] Igualdad e inclusin.

(Para una reexin posterior).
Es claro y de demostracin inmediata que,
A=B,A

B^B

A:

Esto sugiere que podramos haber elegido denir primero la inclusin de

conjuntos y luego la igualdad.
No hemos querido hacerlo as y puede usted, posteriormente, considerar la
situacin.

1.3.

Operaciones elementales.

Denimos ahora las operaciones elementales con conjuntos. Ms adelante

trataremos el llamado conjunto potencia de un conjunto y los productos cartesianos, respectivamente.
Siguiendo la costumbre, usaremos los llamados diagramas de Euler-Venn, que
son bastante tiles para representar las operaciones que iremos introduciendo.
Se recomienda, sin embargo, leer posteriormente el comentario sobre diagramas
ms adelante.

Notacin 34 En lo que sigue, A y B son conjuntos cualesquiera, subconjuntos

de un conjunto de referencia U .

1.3.1.

Interseccin.

Denicin 35 Se llama (conjunto) interseccin de A y B y se denota A \ B

al conjunto
A \ B = fx 2 U : x 2 A ^ x 2 Bg
Se lee A interseccin B.
Ejemplo 36 Si U = f1; 2; 3; 4; 5g ; A = f1; 2g y B = f2; 3; 4g ;
entonces A \ B = f2g :
Observacin 37 La interseccin de dos conjuntos se suele dibujar como sigue.
(Ms adelante, comentaremos este tipo de dibujo)

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.

Denicin 38 Se llama (conjunto) (re)unin de A y B y se denota A [ B

al conjunto
A [ B = fx 2 U : x 2 A _ x 2 Bg
Se lee A unin B:
Ejemplo 39 Si U = f1; 2; 3; 4; 5g ; A = f1; 2g y B = f2; 3; 4g ;
entonces A [ B = f1; 2; 3; 4g :
Observacin 40 La unin de dos conjuntos se suele dibujar como sigue

A[B

1.3. OPERACIONES ELEMENTALES.

1.3.3.

11

Diferencia, complemento.

Denicin 41 Se llama (conjunto) diferencia de A menos B y se denota A B

al conjunto
A

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):

A se llama el complemento de A en U y se anota tambin

Notacin 43 Con frecuencia (y si no hay peligro de confusin), el conjunto U

se subentiende y se habla simplemente del complemento de A; y se anota Ac :
As, se tiene
CU (A) = Ac = fx 2 U : x 2
= Ag
Ejemplo 44 Si U = f1; 2; 3; 4; 5; g ; A = f1; 2g y B = f2; 3; 4g ; entonces
A

B = f1g ; B

A = f3; 4g ; Ac = f3; 4; 5g ; B c = f1; 5g :

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.

Denicin 46 Se llama (conjunto) diferencia simtrica de A y B y se denota

A 4 B al conjunto
A 4 B = fx 2 U : x 2 A Y x 2 Bg
Se lee, a veces, A delta B:
Ejemplo 47 Si U = f1; 2; 3; 4; 5g ; A = f1; 2g y B = f2; 3; 4g,
entonces A 4 B = f1; 3; 4g
Observacin 48 Se acostumbra representar la diferencia simtrica de dos conjuntos como sigue:

A B

1.3. OPERACIONES ELEMENTALES.

1.3.5.

13

Diagramas de Euler-Venn

En esta seccin, hacemos un breve comentario crtico acerca de los dibujos

que acabamos de hacer para las operaciones entre conjuntos.
Hacia 1880, el matemtico John Venn modic unos diagramas circulares
que Leonhard Euler usaba desde 1768, convirtindolos en elipses. Esos son los
dibujos que utilizamos y que habitualmente se llaman diagramas de Venn, pero
que ms correctamente deberan llamarse diagramas de Euler-Venn. (En todo
caso, dibujos similares haban sido utilizados por Gottfried W. Leibniz en el
siglo XVII).
Tales diagramas son, en realidad, muy tiles, y permiten representar diversas
situaciones de manera sugerente.
Por ejemplo, en un dibujo estndar que contenga tres conjuntos A; B; C es
fcil distinguir varios subconjuntos, tales como
A \ B; B \ C; A \ B \ C; A (B [ C) ; Ac ; etc.
No debe perderse de vista, sin embargo, que los diagramas mencionados son
slo dibujos y no objetos matemticos propiamente tales.
Una consecuencia de los anterior es que ellos no sirven para ser utilizados
directamente en una demostracin. Cierto es que ellos pueden sugerir un resultado e incluso una manera de armar una prueba. Pero una demostracin,
propiamente tal no consiste en una mirada a una situacin que puede ser muy
particular.
Dada una armacin, un diagrama conveniente puede ser sucientemente
convincente como para manifestar que la armacin es verdadera y motivar
entonces la bsqueda de una demostracin segn un argumento general, por
cierto, o bien, el propio diagrama puede indicar cmo fabricar un contraejemplo
en caso de que la armacin sea falsa.
Advierta que los diagramas no representan ni pueden representar todas las
situaciones posibles.
Por ejemplo, cuando el dibujo habitual de A \ B supone (indebidamente)
que A y B tienen elementos en comn.
Tampoco se considera, por lo general, otras situaciones que podra darse:
que se tenga A B o aun A = B; o que B sea vaco.
Es claro, adems, que el dibujo no se puede siquiera intentar si se tiene
U = ? (exagerado, pero posible).
([>] Para una eventual reexin posterior, un da de ocio: una cuestin
adicional es considerar de qu est hecho el diagrama, es decir y por ejemplo,
determinar si las lneas son parte del diagrama, se necesariamente, entonces,
estamos hablando de conjuntos innitos,...).
De todas maneras, ms adelante ser claro que incluso estos diagramas
pueden sugerir teoremas (cuyas demostraciones, segn hemos indicado, no se
hacen utilizando diagramas).

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.

Diccionario Lgica- Conjuntos.

La denicin por comprensin, es decir, el axioma de especicacin, nos

permite traducir muchas tautologas a la teora de conjuntos; toda esta seccin
y muchas aplicaciones posteriores dependen de una buena inteligencia y un buen
uso de este axioma.
Para un uso correcto de la tcnica que presentamos a continuacin, es indispensable tener presente que se maneja a la vez dos lenguajes distintos; se pasa
de uno al otro pero no se los mezcla desaprensivamente. (Es frecuente que se
cometa errores conceptuales o de clculo por no hacer correctamente esta distincin). Como si dijramos que no debemos hablar en spanglish (o en espagnol,
franglais, portugnol, u otro por el estilo).

1.4.1.

Traduccin de los smbolos.

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)

1.4. DICCIONARIO LGICA- CONJUNTOS.

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] :

As, (8x 2 U ) (x 2 A ) x 2 B) y de este modo A

B:

(La escritura hace uso de la transitividad de la implicacin).

2. Similarmente, si p(x) , q(x), entonces se tendr
(8x 2 U ) [x 2 A , p(x) , q(x) , x 2 B] :

As, (8x 2 U ) (x 2 A , x 2 B) y de este modo A = B:

El diccionario
El axioma de especicacin nos ha permitido, entonces, construir un diccionario, desde el lenguaje de la Lgica al de los Conjuntos.
Este diccionario permite traducir, como se ver,
funciones proposicionales en conjuntos,
y tautologas en teoremas de conjuntos
Nada desdeable, por cierto, pues nos disponemos a construir una coleccin
apreciable de enunciados de teoremas de conjuntos y especicar un mtodo de
demostracin que los har muy sencillos.
En forma esquemtica, el diccionario funciona de la siguiente manera:
U
)
,
_
^

=
[
\

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

De tautologas a teoremas de conjuntos

Un uso apropiado de este diccionario nos permite a la vez fabricar y probar con facilidad teoremas de la teora de conjuntos, segn se evidencia en los
siguientes ejemplos.
Tomamos
A = fx 2 U : p(x)g ; B = fx 2 U : q(x)g ; C = fx 2 U : r(x)g
Vamos a desarrollar algunas ilustraciones, agregando comentarios para la
ejecucin del mtodo.
Ejemplo 49 Queremos probar que A [ B = B [ A:
Nos apoyamos en la tautologa p _ q , q _ p
1. Se tiene:
A [ B = fx 2 U : x 2 A _ x 2 Bg
= fx 2 U : p (x) _ q (x)g
= fx 2 U : q (x) _ p (x)g
= fx 2 U : x 2 B _ x 2 Ag
= B [ A:
2. La referencia explcita a que, por ejemplo x 2 A , p (x), no es indispensable para la demostracin; ella se puede escribir, entonces
A [ B = fx 2 U : x 2 A _ x 2 Bg
= fx 2 U : x 2 B _ x 2 Ag
= B [ A:
3. Una manera ms precisa (y en algunos casos ms explcita) para anotar
el argumento anterior, es
Si x 2 U; x cualquiera, entonces
x2A[B ,
,x2A_x2B
, p (x) _ q (x)
, q (x) _ p (x)
,x2B_x2A
, x 2 B [ A:
Luego, se tiene A [ B = B [ A:

1.4. DICCIONARIO LGICA- CONJUNTOS.

17

4. Nuevamente, la referencia a que, por ejemplo x 2 A , p (x),

no es indispensable; y la demostracin se puede escribir:
Si x 2 U; x cualquiera, entonces
x2A[B ,

,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

B; Ac ; A 4 B son, obviamente, conjuntos; sin embargo,

18

CAPTULO 1. CONJUNTOS
2. A
B; A = B son proposiciones (es decir, son armaciones acerca de
conjuntos).

Ejemplo 53 Lo anterior explica que la traduccin correcta de la tautologa

(p ) q) , (q ) p)
no es la expresin A B = B c
Ac , (que, como candidato a teorema, es
francamente ridcula)
sino la correctsima A B , B c Ac :
Los parntesis
Note que hemos usado los parntesis con cierta economa. Ello se debe a que
podemos evitarlos cuando no hay peligro de confusin.
La expresin x 2 A ^ x 2 B [ C podra haber sido escrita explcitamente
(x 2 A) ^ (x 2 B [ C), pero, en realidad, no hay otra forma de leerla.

Asimismo, x 2 A ) x 2 B no se puede separar sino en (x 2 A) ) (x 2 B);

(etc., etc.).

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) :

Tal variante de traduccin es ms apropiada si lo que se persigue es un

tratamiento axiomtico de la teora de conjuntos, pero se no es nuestro propsito.
Por lo dems la traduccin que hemos elegido, si bien requiere de un especial
cuidado para no sobrepasar sus bordes lingsticos naturales (segn indicaremos), es ms iluminadora que su alternativa cuando se la utiliza al manejar
otros objetos, como ecuaciones y sistemas de ecuaciones, por ejemplo.

1.4.2.

Teoremas de Conjuntos

A continuacin se encontrar una coleccin de teoremas acerca de conjuntos.

1.4. DICCIONARIO LGICA- CONJUNTOS.

19

Le recomendamos enfticamente intentar primero escribir los teoremas a

partir de la lista de tautologas del captulo de Lgica Proposicional.
Haga este ejercicio de traduccin hasta las tautologas que aparecen en el
teorema 14 de ese captulo, agregando despus las de la disyuncin excluyente,
teorema 58 en la lista de tautologas.
Por supuesto, entre los teoremas que escribiremos hay algunos sumamente
fciles o muy sencillos de recordar.
Insistimos, nuevamente, en que no es necesario tratar de memorizar toda la
lista, sino poner atencin en cada uno, y tratar de recordar algunos. Los ms
importantes son precisamente las traducciones de las tautologas ms relevantes.
Hemos agregado el teorema 17, de importancia para los clculos.
No damos las demostraciones de cada teorema; ellas se efectan segn el
modelo de los dos ejemplos de arriba. De todas maneras, ms adelante hay un
comentario sobre ciertos aspectos delicados.
En la seccin siguiente se encontrar un breve comentario acerca del cuidado
que debe tenerse para no exceder los lmites naturales de nuestro diccionario.
Notacin 54 Asumimos un conjunto de referencia jo U .
A; B; C son subconjuntos cualesquiera de U ; podemos asumir que
A = fx 2 U : p (x)g ; B = fx 2 U : q (x)g ; C = fx 2 U : r (x)g :
Teorema 55 Si V; Vson tautologas y F; F son absurdos, entonces
1. fx 2 U : Vg = fx 2 U : V 0 g = U
2. fx 2 U : Fg = fx 2 U : V 0 g = ?
3. ?c = U
4. U c = ?
(Acabamos de traducir el teorema 38 de nuestra lista de tautologas).
Teorema 56 Si A es un conjunto, entonces
1. A

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

Teorema 57 Si A es un conjunto, entonces

1. A = A
c

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

(Del teorema 1.43)

Teorema 60 Si A; B son conjuntos, entonces
1. A \ B = B \ A

(conmutatividad)

2. A [ B = B [ A

(conmutatividad)

(Del teorema 1.44)

Teorema 61 Si A; B; C son conjuntos, entonces
1. (A \ B) \ C = A \ (B \ C) (asociatividad)
2. (A [ B) [ C = A [ (B [ C) (asociatividad)
(Del teorema 1.45)
Teorema 62 Si A; B; C son conjuntos, entonces
1. A \ (B [ C) = (A \ B) [ (A \ C) (distributividad)
2. A [ (B \ C) = (A [ B) \ (A [ C) (distributividad)

1.4. DICCIONARIO LGICA- CONJUNTOS.

21

(Del teorema 1.47)

Observacin 63 Hay un par de consideraciones que hacer anlogas a las que
mencionamos para el caso de tautologas acerca de las leyes de distributividad:
1. Se tiene, por ejemplo,
(A \ B) [ (C \ D) = [(A \ B) [ C] \ [(A \ B) [ D] =
= [(A [ C) \ (B [ C)] \ [(A [ D) \ (B [ D)] =

= (A [ C) \ (B [ C) \ (A [ D) \ (B [ D) :

2. Adems y por ejemplo, en la expresin (A \ B) [ (CU D),

la situacin es distinta a la recin sealada:
(A \ B) [ (C [ D) = [(A \ B) [ C] [ 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)

Teorema 65 Si A; B son conjuntos, entonces

1. A

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

(Del teorema 1.53).

Tome nota de que, tal como en el caso de las tautologas, las leyes de absorcin son importantes para simplicar expresiones. Compruebe, adems, que
desarrollar, por ejemplo, A [ (A \ B) segn la ley de distributividad, puede
hacerse durante algunos aos sin progresar sucientemente.
Nos vamos a saltar ahora algunos nmeros en la lista de tautologas, para ir
a la transitividad y a las propiedades de la diferencia simtrica.
Teorema 68 Si A; B; C son conjuntos, entonces
1. A

B^B

C)A

C (transitividad)

2. A = B ^ B = C ) A = C

(transitividad)

(Del teorema 1.56).

Observacin 69 Las propiedades de transitividad nos permiten escribir cadenas de igualdades, cadenas de inclusin y cadenas mixtas de inclusiones e igualdades.
Ejemplo 70 La expresin A B = C = D E
signica A B ^ B = C ^ C = D ^ D E;
y permite concluir A E:
Teorema 71 Si A; B; C son conjuntos, entonces
c

1. A 4 B = (A [ B) \ (A \ B)

2. A 4 B = (A \ B c ) [ (Ac [ B), es decir,

A 4 B = (A

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

(Del teorema 1.58).

Agregamos nalmente el siguiente teorema, que es bastante til en los clculos:
Teorema 72 Sean A, B conjuntos. Entonces, las siguientes proposiciones son
equivalentes:

1.4. DICCIONARIO LGICA- CONJUNTOS.

1. A
2. B c

23

B
Ac

3. A \ B = A
4. A [ B = B
5. A

B=?

6. A 4 B = B

La equivalencia de las dos primeras expresiones ya fue demostrada; la tercera

y la cuarta son muy tiles para simplicar algunas expresiones (en caso que
A B sea una hiptesis, naturalmente).

1.4.3.

Comentario

En la seccin anterior hemos acumulado una serie de resultados, sucientes

para nuestro uso actual de conjuntos en otras reas de la Matemtica. (Posteriormente se encontrar algunos teoremas adicionales que apuntan en otra
direccin).
Tal como se observ en un par de ocasiones, hay que mantener los niveles
de lenguaje; de otra forma, nuestras traducciones se vuelven ya sea expresiones
sin sentido o bien expresiones falsas.
Ejemplo 73 (Insistimos en que):
1. Cuando tradujimos la tautologa
(p ) q) , (q ) p) tuvimos cuidado en escribir

B , Bc

Ac y no la muy tonta expresin A

B = Bc

Ac :

2. De anloga manera, no hemos traducido la tautologa

(p ^ q ) r) , [p ) (q ) r)] (teorema 1.54.1).

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)]

que es falsa, como es fcil de comprobar.

(Tome U = f1; 2; 3; 4g ; A = f1; 2; 3g ; B = f2; 3g ; C = f2; 4g
Insistimos, sta es una sutileza en la que no necesitamos ahondar, por ahora:
los teoremas ya conseguidos son sucientes para nuestros propsitos actuales y
nos permiten trabajar con comodidad.

1.4.4.

[>] Resultados adicionales

Los siguientes teoremas no son indispensables y pueden ser postergados para

una lectura futura.

La igualdad es una relacin de equivalencia.

La igualdad de conjuntos satisface tres importantes propiedades, que la clasican como una relacin de equivalencia, tema que ser estudiado posteriormente:
Teorema 75 Si A; B; C son conjuntos, entonces
1. A = A

(reexividad)

2. A = B ) B = A

(simetra)

3. A = B ^ B = C ) A = C

(transitividad)

Note que la demostracin es inmediata y, adems, ya ha sido hecha.

La inclusin es una relacin de orden.
Tambin la inclusin de conjuntos satisface tres importantes propiedades,
que la clasican como relacin de orden, tema que ser tratado en un captulo
posterior:
Teorema 76 Si A, B, C son conjuntos, entonces
1. A

(reexividad)

2. A

B^B

A)A=B

(antisimetra)

3. A

B^B

C)A

(transitividad)

Nuevamente, la demostracin es inmediata y ya ha sido hecha.

1.4. DICCIONARIO LGICA- CONJUNTOS.

25

Denicin abstracta de unin e interseccin

El siguiente teorema expresa las propiedades que caracterizan a la unin y
la interseccin de dos conjuntos, respectivamente, y que podran haber servido
para dar una denicin abstracta, intrnseca de unin e interseccin de dos
conjuntos. (Hemos omitido los cuanticadores, por razones de claridad).
Teorema 77 Si A; B son conjuntos, entonces
1. (A

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.

[>] Traduccin inversa

(Postergue la lectura de esta seccin, pero hgala, eventualmente).

Hemos construido un diccionario desde la Lgica Proposicional a la Teora
de Conjuntos.
Este diccionario nos ha permitido traducir una serie de tautologas a teoremas de conjuntos.
De tales traducciones surge la consideracin de que, hablando de un modo
vago, ambas teoras Lgica de Proposiciones y Teora de Conjuntostienen la
misma estructura.
Una pregunta natural, entonces, es la de si es posible traducir teoremas de
conjuntos a tautologas.
De acuerdo a la forma en que hemos desarrollado estos temas, la respuesta
es, estrictamente hablando, negativa: son los teoremas de conjuntos los que
se basan en las tautologas; pensar al revs es pillarse la cola, hacer petitio
principii peticin de principio.
No obstante lo anterior, algunas armaciones acerca de los conjuntos pueden
sugerir tautologas.
Si resulta que la candidata en cuestin es efectivamente una tautologa,
podemos esperar que la correspondiente armacin acerca de conjuntos sea verdadera y que su demostracin se base precisamente en esa tautologa.
La situacin puede darse incluso desde un diagrama, desde un dibujo; es
muy interesante advertir el cambio de registros en que el proceso tiene lugar,
segn ilustramos a continuacin.
Ejemplo 78 Vamos a hacer uso de una situacin que ya hemos resuelto, pero
imaginando que an no sabemos su desenlace.

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 = ? : : :):

2. De todas maneras, el slo observar detenidamente el dibujo puede sugerir

que se tenga
A 4 B = (A [ B)
A 4 B = (A

(A \ B) o bien

B) [ (B

A) :

Por supuesto, el dibujo puede habernos llevado por un camino desviado.

3. Ahora bien, si las dos armaciones anteriores son efectivamente teoremas

de conjuntos, es posible que haya tautologas de similar estructura. Esas
tautologas deberan ser, respectivamente.
(p Y q) , (p _ q) ^ p ^ q

(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

6. Para probar que la otra expresin de conjuntos es tambin un teorema,

podemos repetir el proceso anterior, pero ahora tenemos un mtodo ms
directo (si bien no parece ms corto):
A 4 B = (A [ B)

(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. DICCIONARIO LGICA- CONJUNTOS.

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:

[(A [ B) \ (B \ C)] [ (B \ [(C [ D) [ B])

Se tiene sucesivamente
[(A [ B) \ (B \ C)] [ (B \ [(C [ D) [ B])
= [A \ B] [ (B \ [(C [ D) [ B]) [por hiptesis]
= A [ (B \ [(C [ D) [ B]) [por hiptesis]
= A [ B [por absorcin]
= B [por hiptesis]:
Ejemplo 80 Se pide determinar si es verdadera o falsa la siguiente armacin:
Si A

B y B \ C 6= ?, entonces A \ C 6= ?:

1. Un dibujo puede sugerirnos que la armacin es falsa.

2. Ahora bien, para demostrar que efectivamente la armacin es falsa, se
necesita trabajar con mayor seriedad y dar un contra-ejemplo.
En efecto, la situacin es la siguiente:
La armacin es (8A) (8B) (A

B ^ B \ C 6= ? ) A \ C 6= ?) :

Decir que ella es falsa equivale a decir que su negacin es verdadera.

Ahora bien, la negacin es (9A) (9B) A
es decir, (9A) (9B) (A

B ^ B \ C 6= ? ^ A \ C 6= ? :

B ^ B \ C 6= ? ^ A \ C = ?)

(Por supuesto, no es indispensable escribir de esta manera, sino darse

cuenta con exactitud de lo que hay que hacer).
3. Fabricamos, entonces, un contra-ejemplo,
(ayudndonos, posiblemente, del dibujo):
Sean A = f1g ; B = f1; 2; 3g ; C = f3; 4g :
Se tiene entonces: A

B; B \ C = f3; 4g =
6 ?; A \ C = ?:

Desarrollaremos ahora otro ejemplo, con una extensa explicacin:

Ejemplo 81 Se pide determine si es verdadera o falsa la siguiente armacin:
Si A B c = ? y C B;entonces
c
[A [ (B C) ] \ [(B c [ C c ) Ac ] = A:
1. Aqu no parece muy sencillo observar si la expresin es verdadera o falsa
haciendo un dibujo.

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).]

5. Observe ahora que se tiene, de las hiptesis (a) y (b),

A

Bc ^ Bc

Cc ) A

C c ; es decir, A [ C c = C c

6. De manera que podemos seguir:

= [A [ (B c [ C)] \ A
=A

[por 5.]

[por absorcin]

Por supuesto, no es necesario realizar el clculo anterior en la manera tan

detallada como lo hemos escrito; se puede, por el contrario, hacerlo de corrido,
invocando las hiptesis en el momento en que se las necesita.
Observacin 82 En general, es preferible un anlisis como el anterior, en
cualquiera de sus formas de escritura, a trabajos considerablemente ms largos:
1. No es en absoluto prctico trabajar tomar un ejercicio como el anterior y
trabajar directamente con la expresin completa
(8A) (8B) (8C) (A

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

Hacemos primero una denicin bastante mejorable pero, de momento,

suciente para nuestros propsitos:
Denicin 83 Sea A un conjunto. El (nmero) cardinal de A es el nmero de
elementos de A.
Si el nmero cardinal de A es un nmero natural, se dice que A es nito.
Notacin 84 El nmero cardinal de A se anota, indistintamente, jAj ; card (A) ;
o bien, #A: Es decir,
jAj = card (A) = #A
Notacin 85 En lo que sigue, A; B; C;

son siempre conjuntos nitos.

En realidad, el clculo de cardinales de conjuntos nitos es un tema en s

mismo, que estudiaremos a propsito del sistema N de los nmeros naturales,
ms adelante. Las aplicaciones de tales clculos son muchas (por ejemplo, se los
usa para estimar probabilidades).
Adelantamos aqu una brevsima e informal introduccin, para permitir algunas aplicaciones elementales de la teora de conjuntos.
([>] Para una reexin posterior). Se puede advertir que aqu no estamos,
estrictamente hablando, deniendo objetos, sino simplemente cambiando unos
nombres por otros, sin suciente precisin. Nuestra intencin es solamente hacer
un par de ejemplos de aplicacin sin esperar al tratamiento del sistema de los
nmeros naturales.

1.5.2.

Primeros resultados.

Vamos a aceptar, sin demostracin por el momento, los siguientes teoremas.

Teorema 86 Si A, B son conjuntos nitos, entonces
1. Se tiene
jA [ Bj = jAj + jBj

jA \ Bj

2. En particular, si A \ B = ?; entonces jA [ Bj = jAj + jBj :

A \ B = ? ) jA [ Bj = jAj + jBj :
Ingenuamente hablando, el teorema dice que, si se quiere contar los elementos
de A [ B y se suma jAj + jBj, los elementos de A \ B sern contados dos veces
y por lo tanto hay que restarlos una vez.
Una extensin inmediata del teorema anterior es el siguiente:

30

CAPTULO 1. CONJUNTOS

Teorema 87 Si A, B son conjuntos nitos, entonces

jA [ B [ Cj = jAj + jBj + jCj

jA \ Bj

jA \ Cj

jB \ Cj + jA \ B \ Cj

Demostracin. Basta desarrollar j(A [ B) [ Cj de acuerdo al teorema anterior. Se tiene sucesivamente:

j(A [ B) [ Cj = jA [ Bj + jCj j(A [ B) \ Cj =
= (jAj + jBj jA \ Bj) + jCj j(A \ C) [ (B \ C)j =
= jAj + jBj jA \ Bj + jCj
(jA \ Cj + jB \ Cj j(A \ C) \ (B \ C)j) =
= jAj + jBj + jCj jA \ Bj jA \ Cj jB \ Cj + jA \ B \ Cj
Otro corolario inmediato de nuestro primer teorema:
Teorema 88 Si A, B son conjuntos nitos y A
jA

Bj = jAj

B, entonces

jBj

Demostracin. Basta observar que A y B A son conjuntos disjuntos, y

que, como A B; se tiene B = A [ (B A) : As,
jBj = jA [ (B A)j = jAj + jA Bj
y basta despejar jA Bj en la expresin jBj = jAj + jA Bj
Observacin 89 Es muy importante y a la vez muy fcil observar que el teorema anterior es falso sin la hiptesis A B:
Observacin 90 [>] (Para una reexin posterior). Se puede advertir que nuestro tratamiento del tema de cardinales es menos serio que el de los anteriores.
Hay aqu una situacin de compromiso: si esperamos demasiado para las aplicaciones elementales que buscamos, perdemos una oportunidad de motivacin de
los conceptos que hemos desarrollado por ejemplo, de mostrar su utilidad en
situaciones prcticas y habituales.
Puede usted hacer fcilmente una cantidad de ejemplos que sugieran que nuestros teoremas son efectivamente verdaderos es decir, argumentar de manera
heurstica. Ello es bastante saludable, a condicin de que no se tome tales ejemplos como demostraciones, cosa que denitivamente sera pensar como Humbertito.
Invitamos entonces, a aceptar provisoriamente estos resultados y postergar
su justicacin.

1.5.3.

Aplicaciones

Cuando se quiere calcular cardinales nitos, es muy conveniente hacer un

diagrama de Euler-Venn, en el que se representa convenientemente los conjuntos
involucrados en el clculo.

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

(es decir, j(R \ F ) [ (R \ T ) [ (T \ F )j;

iv. cuntas no practican F , (es decir, jU F j).
La resolucin consiste slo de elegir una hebra adecuada y el cardinal de
cada subconjunto que muestra el diagrama a continuacin puede ser calculado.
El orden en que aparecen los resultados puede ser naturalmente diferente del de
las preguntas.
1. Vamos a hacer el clculo sin pensar siquiera en la preguntas, procurando
ms bien determinar (en principio) el cardinal de cada subconjunto de U .
Hacemos primero un dibujo. (Hgalo o valo al nal). Se tiene:
a) jT \ F j = jT j + jF j jT [ F j = 39 + 50 78 = 11
luego, jT \ F j jT \ F \ Rj = 11 5 = 6:
b) jR \ F j = jRj + jF j jR [ F j = 32 + 50 68 = 14
luego, jR \ F j jR \ F \ T j = 14 5 = 9
c) jT \ Rj = jT j + jRj jT [ Rj = 39 + 32 58 = 13
Luego, jT \ Rj jT \ R \ F j = 13 5 = 8
2. Ahora podemos responder las preguntas que se nos hizo y otras ms.
a) Slo T :
jT (F [ R)j = jT j jT \ F j jT \ Rj + jT \ F \ Rj = 39 11
13 + 5 = 20
b) Slo T y F :
jT \ F j jT \ F \ Rj = 11 5 = 6
c) R o F pero no T :
j(R [ F ) T j = jR [ F j jR \ T j jF \ T j + jT \ F \ Rj =
= 68 13 11 + 5 = 49
d) Al menos dos de esos deportes :
j(R \ F ) [ (R \ T ) [ (T \ F )j =
= jR \ F j + jR \ T j + jT \ F j 2 jR \ F \ T j =
= 14 + 13 + 11 2 (5) = 28
e) No practican F :
jU F j = jU j jF j = 100 50 = 50
(Claro, aqu se tiene F
U; lo que permite calcular tan simplemente).
Observacin 92 [>] Se apreciar que el dibujo con el que comenzamos fue
un poco entusiasta, en el sentido que asumimos en que, por ejemplo, se tena
R \ S 6= ?; y R 6= S:
Ello no es realmente importante, pues los propios clculos habran corregido
la situacin: por ejemplo, si en el enunciado estuviera implcito el hecho de que
R \ S = ?, los clculos habran arrojado jR \ Sj = 0, y se podra corregir
el dibujo con entera facilidad. (De todas maneras, estbamos calculando, no
dibujando).

1.6. POTENCIAS

1.6.

33

Potencias

Como siempre, tenemos un conjunto (grande) de referencia U:

1.6.1.

Presentacin

Primero, una denicin un tanto informal:

Denicin 93 La coleccin (es decir, el conjunto) formada por todos los subconjuntos de un conjunto dado A se llama el conjunto de las partes de A, o
bien el conjunto potencia de A. Se anota P (A) :
Se tiene entonces, para un conjunto cualquiera X,
X 2 P (A) , X

El conjunto potencia de un conjunto A es un objeto bastante natural de

considerar, por mltiples motivos. En cualquier caso, para nosotros es casi nada
ms que un medio conveniente de referirnos a la coleccin de subconjuntos de
A. En forma lateral, nos sirve adems para comprobar nuestra capacidad o
habilidad para manejar situaciones un tanto abstractas sin perder la presencia
de nimo (cosa que nos ser necesaria a menudo).

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

Las primeras propiedades de clculo de conjuntos de partes de conjuntos

dados son las siguientes.
Teorema 96 Sean A; B conjuntos. Entonces
1. ? 2 P (A)
2. A 2 P (A)
3. A

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

Observacin 97 Note que no se tiene P (Ac ) = (P (A)) :

Esta armacin es consistente con el hecho de que la parte 6. del teorema
anterior no es una igualdad.
1. Adems, se puede encontrar directamente un contra-ejemplo: se toma un
c
conjunto U pequeo y entonces (P (A)) se calcula respecto de P (U ).
2. [>] Un inters adicional del ejercicio es que cualquier ejemplo que nos
demos servir: al n y al cabo, debe tenerse ? 2 P (Ac ) y, por otra parte,
c
?2
= (P (A)) :

1.6.5.

Ejemplos.

Proponemos las siguientes ilustraciones, a manera de ejercicio de lectura

atenta. Estos ejemplos no tienen otra consecuencia prctica que determinar si
podemos leer con claridad.
Dedqueles un momento, de acuerdo a las instrucciones de su profesor.
Hgalos con cuidado, compruebe sus respuestas, corrija las equivocadas si
las hay, y olvdese de ellos.

1.7. EJERCICIOS

35

Ejemplo 98 Para cada una de las siguientes expresiones, determine si ella es

verdadera o falsa:
1. ? 2 ?; ?

?; ? 2 P (?) ;

2. ? 2 f?g ; ?

f?g ; f?g

3. f?g 2 ?; f?g

?;

f?g ; f?g 2 f?g ;

4. ? 2 P (f?g) ; ?

ff?gg ; ? 2 ff?gg ;

5. f?g 2 ff?gg ; f?g

ff?gg ; 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 f?g ; ff?gg ; fff?ggg ; fff?; f?gggg ;

2 f?; f?gg ; f?; ff?ggg ; f?; ff?; f?gggg ;
ff?g ; ff?ggg ; ff?g ; ff?; f?gggg ;

fff?ggg ; ff?; f?ggg ;

3 f?; f?g ; ff?ggg ; f?; f?g ; ff?; f?gggg ;

f?; ff?gg ; f?; f?ggg ; ff?g ; ff?gg ; ff?; f?gggg ;

4 f?; f?g ; ff?ggg ; ff?; f?ggg

Ejercicio 102 Haga las demostraciones del ltimo teorema que se enunci, y
encuentre contra-ejemplos para las inclusiones que faltan. (Es conveniente tener
presente la nmero 3 cuando se demuestra las siguientes).

1.7.

Ejercicios

Notacin 103 En esta lista, A; B; C; : : : son conjuntos, subconjuntos de un

conjunto U:
Ac = U A; etc.

36

CAPTULO 1. CONJUNTOS

1.7.1.

Denicin

1. Compruebe que los conjuntos

A = fx 2 R : x < 4g ; B = fx 2 Z : x < 4g ; C = fx 2 N : x < 4g ;
D = fx 2 f2; 3g : x < 4g ; E = fx 2 f5; 7g : x < 4g
son todos distintos.

2. Dena, si es posible, por extensin.

a)
b)
c)
d)

x2R:

x2

x 2 R : x2

0
0

x 2 R : x2 < 0
x 2 R : x2

2 (x

1) x2

1 6= 0

3. Dena por comprensin:

a) f0; 1; 2; 3; 4; 5g

b) f1; 2; 3; 4; 5; 6; 12g
c) f1; 3; 5; 7; 9g

4. Dena por comprensin

a) {Marte, Mercurio, Jpiter, Venus, Saturno}
b) {T, v, ms, d, m, , l, d, s, s, t}
c) {a, hasta, bajo, cabe, con, contra, de, desde, hacia, ante, para, por,segn,
sin, so, sobre, tras}
d ) f ; ; ; ; ; "; :::::::::; !g

e) {m, u, s, c, o, l ,p, e, , a}

5. Encuentre varias funciones proposicionales (ecuaciones) de modo que el

conjunto A = fx 2 Z : p(x)g sea, respectivamente:
a) f1g

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
;:::

e) f1; 2; 5; 10; 17; 26; : : :g

f ) f17; 13; 15; 25; 31; 37; : : :g

g) f1; 0; 1; 0; 01; 0; 001; : : : :g

h)

0; 12 ; 23 ; 34 ; 45 ; : : :

i ) f0; 1; 4; 9; 16; : : :g

j ) f2; 12; 16; 17; 18; 19; 200; 210; : : :g

8. Suponga que si a; b 2 N; ajb signica que a divide a b; es decir, que b es
mltiplo de a: Dena, si es posible, por extensin.
a) fx 2 N : 10jxg
b) fx 2 N : xj10g

c) fx 2 N : xj36 ^ x

d ) fx 2 N : xj36 ^ x

3g
40g

9. Dena por extensin.

a) fx 2 N : (8y 2 N) xy = yg

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

1. Sea A = f0; f0gg : Determine cules de las siguientes proposiciones son

verdaderas:
a) f0g

b) f0g 2 A
c) 0 2 A

d ) f0g = A
e) f?g
f) ?

2. D ejemplos de subconjuntos de los siguientes conjuntos:

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

1. Sean, en el plano, X el conjunto de todos los cuadrilteros, Y el conjunto de

todos los polgonos con ngulos interiores iguales y Z el conjunto de todos
los polgonos con lados iguales. Determine a qu conjunto corresponde
X \ Y \ Z:
2. Dena la interseccin de los siguientes pares de subconjuntos de N
a) Pares y mltiplos de 3
b) Pares y mltiplos de 4
c) Divisores de 15 y divisores de 35
3. Sean U = fx 2 N : 1

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:

7. En un diagrama de Venn-Euler, represente 4 subconjuntos A; B; C; D de

un conjunto U; tales que se cumpla, respectivamente:
a) A B; A C; D C; B Dc
b) A \ B C; A C [ D; B Dc
8. Sean U = N; P = fx 2 N : x es nmero primog ;

Q = fx 2 N : x = 2n; con n 2 Ng ; R = fx 2 N : x = 2n ; con n 2 Ng

Determine:
a)
b)
c)
d)
e)
f)
g)

P \Q
P \R
Q\R
Q[R
Pc \ Q
Rc \ P
(P \ Q)

9. Suponga que si a; b 2 N; ajb signica que a divide a b; es decir, que b es

mltiplo de a: Exprese claramente la condicin bajo la cual
fx 2 N : xjyg [ fx 2 N : xjzg = f1; y; zg
10. Dena la unin de los siguientes pares de subconjuntos de N :
a) Divisores de 12; divisores de 21
b) Mltiplos de 4;mltiplos de 6
11. Sean A = fa; e; i; o; ug ; B = fa; z; e; r; tg ; C = fa; r; i; vg
Determine:

A4B; (A4B) 4C; A4 (B4C) ; (A [ B) 4 (B [ C) ; (A [ B) 4 (A4C)

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)

4. Pruebe que las siguientes proposiciones son todas equivalentes:

a) A = B4C
b) C = A4B
c) B = A4C
d ) A4B4C = ?
5. Encuentre la condicin necesaria y suciente para que (respectivamente):
a) Ac = A
b) A [ B = A
c) A \ B = A

d) A [ B = A \ B
e) A

B =A[B

f ) A [ Bc = A [ B
g) A [ ((A

B) \ B) = (B [ Ac ) [ A \ C

6. Compare, relativamente a la inclusin, los conjuntos

a) F = Ac 4B

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)

8. Anotamos, en este ejercicio, A 5 B = fx 2 E : x 2

= A \ Bg
a) Represente A 5 B en un diagrama.
b) Pruebe que A 5 A = Ac

c) Calcule A 5 ?; A 5 E; A 5 Ac

d ) Exprese A [ B y A \ B, utilizando solamente la operacin " 5 ":

e) Determine las zonas que aparecen en el diagrama y denomnelas

utilizando la operacin " 5 ":

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

c) A4B = A4C si y slo si B = C

A4B = ? si y slo si A = B

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

b) Cuntos slo por A y C.

c) Cuntos votaran por alguno de los tres.
d ) Cuntos no votaran por ninguno de los tres.
[42; 21; 170; 30]
7. 300 personas respondieron en su totalidad un test de tres preguntas,
A,B,C. Si se sabe que, respecto de las respuestas correctas:
20 obtuvieron las tres; 16 slo las preguntas A y B; 15 slo A y C; 52 slo
A; 133 personas acertaron en la B; 115 en la C;
Se pregunta
a) Cuntas personas dieron slo respuestas erradas
b) Cuntas respondieron bien slo la pregunta C
c) Cuntas respondieron correctamente slo las preguntas B y C
[52; 48; 32]
8. .En una encuesta a 400 estudiantes de Ingeniera Comercial acerca de
sus intenciones de especializacin ya sea en Mrketing (Mercadeo, M),
Administracin (F) y Economa (E), se ha determinado que:
85 eligieron slo M; 55 preeren M y A; 124 escogen A pero no M; 180
preeren M; 60 eligen M y E; 250 no eligen E; 30 eligen A y E pero no M.
(Otros estn indecisos, y no escogieron).
Se pregunta:
a) Cuntos estudiantes preeren slo E
b) Cuantos elegiran las tres especialidades
c) Cuntos elegiran alguna(s) pero no las tres
[60; 20; 344]
9. .Se ha preguntado en varios Institutos de Matemticas acerca de las preferencias respecto de una posible especializacin en lgebra (A), Geometra
(G) y Clculo (C). La respuestas han sido tabuladas como sigue:
85 preeren A y G; 95 slo A; 220 eligen A; 130 eligen G pero no C; 130
C pero no G; 45 G y C pero no A; 210 eligen G; 280 no eligen A.
Se pregunta:
a) Cuntos eligen las tres especialidades
b) Cuntos no eligen ninguna de las tres
c) Cuntos alumnos se encuest
[35; 65; 500]

44

CAPTULO 1. CONJUNTOS

1.7.5.

Potencias.

1. Dado S = fa; bg ; encuentre el conjunto P (P(fa; bg))

2. Determine cuntos elementos tiene: P (P(P (P (fa; bg)))) :
3. Encuentre:
a) P (?)
b) P (P (?))
c) P (P (P (?)))
d ) P (P (?; f?g))
e) P (P (P (f?g)))
4. Sea A = f0; f0g ; ff0ggg
Determine cules de las siguientes proposiciones son verdaderas:
a) 0 2 P (A)
b) f0g 2 P (A)
c) ff0gg 2 P (A)
d ) f0g

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))

5. Sean A = fa; bg ; U = fa; b; cg: Determine:

a) P (Ac )
c

b) (P (A))

c) Examine si hay alguna relacin de inclusin entre los conjuntos calculados.

6. Pruebe que:
a) P (A) [ P (B) = P (A [ B) , A \ B = ?
b) P (A)

P (B) , A

c) P (A) = P (B) , A = B

1.7. EJERCICIOS

1.7.6.

45

Producto cartesiano.

1. Asegrese de que puede determinar y representar los conjuntos A B; B

A; (A B) C; A (B C) ; (A B) [ (B A) ;
(A
A

B) \ (B

A) ; A

(B \ C) ; (A

(B [ C) ; (A

B) \ (A

B) [ (A
c

C) ; (A

C) ;

Bc

B) ; A

en los siguientes casos:

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

2. Dados los conjuntos A = f0; 1; 2g ; B = f1; 3; 5g ; construya

a) A
b) (A
c) (A

(B [ A)
B)

(B

A)

(B

A)) \ (B

(A

B))

3. Determine el conjunto formado por los pares (x; y) 2 R

(respectivamente).
a) (x
b) x2

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

5. A es un subconjunto de R. Haga un dibujo de A2 en los siguientes casos:

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

6. Determine en forma (ms) explcita:

a) f(x; y) 2 N

N : [(x = 0) _ (x = 1)] ^ [(y = 0) _ (y = 1)]g

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

7. Explicite (como pueda):

a) f(x; y) 2 R

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

8. El producto cartesiano A A tiene 16 pares ordenados. Si dos de ellos son

(6; 3) y (5; 8) ; encuentre los 14 pares restantes y tabule los elementos del
conjunto A:
9. El producto cartesiano A A A tiene 27 ternas ordenadas. Si una de
ellas es (0; 1; 2) ; encuentre los restantes 26:
10. Sean B y C dos conjuntos y sea A = B \ C

Determine cul(es) de las siguientes armaciones es (son) verdadera(s):

a) A

A = (B

b) A

A = (B

B) \ (C
C) \ (C

C)
B)

11. Sean A y B dos subconjuntos de U y V respectivamente. Demuestre que:

a) (U

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)

13. Determine si es verdadera cada una de las siguientes armaciones::

a) A

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)

14. Sean A = ? y B = f?g ; escriba por extensin el conjunto

P (A)

P (B) oojjoopropiedades

15. Sea U = fx 2 N : 1
(x; y; z) 2 U

13g : Dena por extensin:

2

U : x + y2 = z2