Gua de Clase de Anlisis Funcional:

Teora de Conjuntos
Giovanni Sanabria Brenes

Concepto de Conjunto

Qu es un conjunto? Esta es la pregunta central que genera toda la axiomtica de conjuntos. Se puede
creer que toda coleccin de objetos es un conjunto, es decir, ms precisamente, dada una proposicin
abierta, existe un conjunto cuyos elementos son aquellos que cumplen la proposicin. Lo anterior es
llamado el axioma de abstraccin y seguidamente se dene formalmente.
Axioma 1 (Axioma de Abstraccin) Dada una proposicin abierta P (x) , existe el conjunto A
formado por todos los x para los cuales P (x) es verdadera. Es decir existe el conjunto A tal que
(x) (x A

P (x))

As se escribe que
A = {x|P (x)}
Sin embargo, admitir el Axioma de Abstraccin nos lleva a contradicciones. Especcamente, una de
estas contradicciones es la paradoja de Russell: considere la siguiente proposicin
P (x) : x
/ x.
Si asumimos el axioma de Abstraccin entonces existe el conjunto A cuyos elementos son aquellos que
cumplen P (x):
A = {x|P (x)} = {x|x
/ x} ()
por lo tanto, dado un x se tiene que
x A
x
/ x

=
=

x
/x
xA

(1)
(2)

A es o no elemento de A? analicemos ambas opciones:

1. Si A A, entonces por (1) : A
/ A, lo cual es una contradiccin.
2. Si A
/ A, entonces por (2) : A A, lo cual es una contradiccin.

Apuntes de Teora de Conjuntos

Giovanni Sanabria Brenes

As no sucede que A A ni que A

/ A, lo cual es ilgico.
Lo anterior hace que el axioma de abstraccin se derrumba. Por lo tanto no toda coleccin de
objetos es un conjunto. El prepulsor de la Teora de Conjuntos basada en el axioma de abstraccin
fue Gottlob Frege, matemtico y lgico alemn. A l le tom veinte aos frmular la teora y cuando
estaba apunt de imprimirla, recibe una carta de Bertrand Russell en la que le dice haber encontrado
una paradoja en la teora de conjuntos. Frege agreg al nal de su obra:
Difcilmente algo ms desafortunado puede ocurrirle a un cientco que ver los cimientos de su obra
sacudidos despus de que sta ha sido concluida. Una carta del seor Bertrand Russell me ha puesto
en esta situacin, justo cuando la imprenta de este volumen se acercaba a su n .El colapso de una
de mis leyes, una de las consecuencias de la paradoja del seor Russell, parece quebrantar no slo las
bases de mi Aritmtica, sino las nicas posibles bases de la Aritmtica como tal.
Para denotar un conjunto se necesita primero el axioma de extensionalidad y la denicin del conjunto
vacio. El axioma establece que dos conjuntos son iguales si tienen los mismos elementos.
Axioma 2 (Axioma de extensionalidad) Dados dos conjuntos A y B se tiene que:
A=B

(x) (x A x B) .

Denicin 1 Se dice que A = si y solo si

(x) [x
/ A]
Note que en la denicin anterior ya se est usando el axioma de extensionalidad, pues al indicar que
A = , basta describir cuales no son elementos de A para describir .
NOTAS:
1. Si y {x | P (x)} entonces P (y) es verdadero
2. {x | x U

P (x)} = {x U | P (x)}

El Axioma de Separacin, es una versin mejorada del Axioma de Abstraccin y nos permitir denir
conjuntos. Este nuevo axioma permite separar los elementos de un conjunto dado para formar un
nuevo conjunto.
Axioma 3 (Axioma de Separacin) Dado un conjunto A y una funcin proposicional P (x) existe un
conjunto B:
B = {x A | P (x)}
As, la forma de mostrar que un conjunto existe es vindolo como el conjunto formado por los elementos
de otro conjunto que cumplen una determinada propiedad.
Ejemplo 1 Suponga que existe el conjunto de los nmeros naturales: N, entonces por el axioma de
separacin existe el conjunto:
B = {x N | x es par} .

Apuntes de Teora de Conjuntos

Giovanni Sanabria Brenes

Ejemplo 2 El axioma de Separacin no se derrumba con la paradoja de Russell! Dado un conjunto

A y la proposicin P (x) : x
/ x, si asumimos el Axioma de Separacin, entonces existe el conjunto
B = {x A | x
/ x}
La existencia de este conjunto no provoca contradicciones? Veriquemos que si tomamos el conjunto
B = A no obtenemos contradicciones. En efecto suponga, que
A = {x A | x
/ x}
existe, entonces A A o A
/ A? Note que
AA
= A {x A | x
/ x}
= A {x | x A x
/ x}
= A A A
/A
Es decir
A A = (A A

A
/ A)

1. Si A A entonces:
= A A

AA
V ERDADERO

A
/A

F ALSO
F ALSO

es decir, se obtiene una contradiccin. Por lo tanto, no sucede que A A.

2. Si A
/ A entonces:
A A = A A
F ALSO

A
/A

F ALSO
V ERDADERO

No se obtiene una contradiccin. Por lo tanto se concluye que A

/ A.
Un conjunto se puede denotar por abstraccin o por extensin. Se denota un conjunto por abstraccin
si se indica la propiedad (proposicin abierta) que cumplen sus elementos, sin embargo la notacin
debe prever que sucede si la coleccin de elementos que cumplen la propiedad no es un conjunto:
Notacin 1 (Notacin de un conjunto por abstraccin) Se dice que:
A = {x | P (x)}
si y solo si se cumple que:
(x) [x A P (x)]

A es un conjunto

(x) [x A P (x)] A =

En palabras: A = {x | P (x)} si y solo si A es un conjunto cuyos elementos son aquellos que cumplen
la proposicin P (x) , o A es el conjunto vaco.
3

Apuntes de Teora de Conjuntos

Giovanni Sanabria Brenes

Ejemplo 3 El conjunto V de los nmeros primos se puede denotar por abstraccin por:
V = {x | x es un nmero primo}
Note que la propiedad que caracteriza a los elementos de V es P (x) : x es un nmero primo.
Para denir la notacin por extensin se requiere de los siguientes axiomas
Axioma 4 (Axioma de la Unin) Dados los conjuntos A y B existe el conjunto A B = {x|x
A x B}.
Axioma 5 (Axioma del Apareamiento) Dados a y b existe el conjunto A tal que para todo x
x A x = a x = b.

Notacin 2 (Notacin de un conjunto por extensin) Se dice que:

A = {a, b}
si y solo si se cumple que:
(x) [x A (x = a x = b)]

A es un conjunto

Teorema 1 Dados a, b y c existe el conjunto A = {a, b, c}

Prueba. Por el axioma de apareamiento existe los conjuntos {a, b} y {b, c} y por axioma de la unin
existe el conjunto {a, b} {b, c} , el cual es igual a {a, b, c} por el axioma de extensionalidad.
De la misma manera se puede demostrar la existencia de {a, b, c, d} , ...
Ejemplo 4 El conjunto formado por los elementos 1, 2 y 3, se puede denotar por extensin A =
{1, 2, 3} y por abstraccin por A = {x N | 1 x < 4}.
Ejemplo 5 De acuerdo al axioma de extensionalidasd se tiene que {1, 2} = {2, 1} .
Denicin 2 (a, b) = {a, {a, b}} .
Note que (a, b) = (b, a) .
Otros axiomas importantes:
Axioma 6 (Axioma de la Suma) Dado un conjunto A, existe el conjunto C tal que para todo B
x C (B) (x B B A) .
Axioma 7 (Axioma del conjunto potencia) Dado un conjunto A, existe el conjunto C tal que para
todo x
B C B A.
Se denota A = {a, b}.
4

Apuntes de Teora de Conjuntos

Giovanni Sanabria Brenes

Axioma 8 (Axioma de regularidad) Si A es un conjunto no vaco entonces existe un x tal que

x A (y) (y x = y
/ A)
Note que de acuerdo a este axioma, dado un conjunto, existe un elemento x de A, donde si x es
conjunto sus elementos no estn en A. Pero si x no es conjunto note que y x es falso y por lo tanto
(y) (y x = y
/ A)
es verdadero y se cumple el axioma. As, otro forma de verlo, es la siguiente: Dado un conjunto A se
cumple al menos una de las siguientes opciones:
1. Existe x A tal que x no es conjunto..
2. Existe un conjunto x tal que
x A (x A = )
Teorema 2 No existe un conjunto A tal que A A.
Prueba. Suponga por contradiccin que existe A tal que A A, entonces
A {A} A.

()

Si aplicamos el axioma de regularidad a {A} , entonces existe un x {A} tal que

x {A} =
Pero si x {A} entonces x = A. As, por el axioma de regularidad A {A} = , lo cuyal
contradice () .
La lista de axiomas vista se conoce como los axiomas de Zermelo-Frenkel. Hay un axioma adicional,
el axioma de eleccin, llamado el axioma probrema pues Gedel demostro que el sistema de axiomas
anteriores es compatible con este nuevo axioma, y Cohen demostr lo mismo que Gedel pero con la
negacin del axioma de eleccin. As, el sistema axiomatico de Zermelo-Frenkel es independiente del
axioma de eleccin.
Axioma 9 (Axioma de eleccin) Para cualquier conjunto A, existe una funcin f tal que para
todo B A no vaco se tiene que f (B) B.

Apuntes de Teora de Conjuntos

Giovanni Sanabria Brenes

Operaciones con Conjuntos

Denicin 3 Se denen las siguientes operaciones con conjuntos:

Unin de dos conjuntos:
Interseccin de dos conjuntos:
Deerencia de dos conjuntos:
Diferencia simtrica:
Complemento de A :
Potencia de A:
Producto de dos conjuntos:
Suma o unin de A:
Interseccin de A :

A B = {x|x A x B}
A B = {x|x A x B}
A B = {x|x A x
/ B}
AB = (A B) (B A)
A = {x U |x
/ A}, donde U es universo
P (A) = {B|B A}
A B = {(a, b) | a A y b B}
A = {x| (B) (x B B A)}
A = {x| (B) (B A = x B)}

Ejemplo 6 Si A = {{1, 2} , {1, 3, 4} , 5} entonces A = {1, 2} {1, 3, 4} = {1, 2, 3, 4} y A = {1, 2}

{1, 3, 4} = {1} .
Para el caso de la unin anteriormente se axiomatiz su existencia. Para las otras operaciones se
puede probar su existencia como conjunto con los axiomas que tenemos. Seguidamente se justica la
existencia de la interseccin.
Teorema 3 Dados los conjuntos A y B existe un nico conjunto C tal que
x C x A x B.

(1)

Prueba. Primero la existencia, sea P (x) : x B, entonces por el axioma de separacin existe un
conjunto
C = {x A | P (x)} = {x A | x B} = {x|x A x B}.
Supongamos que existe otro conjunto D tal que
x D x A x B.
entonces, de 1 y 2, se tiene que para todo x :
xCxD
y por el axioma de extensionalidad se tiene que C = D.
Teorema 4 Se cumplen lo siguiente:
1. =
2. (A B) = (A) (B)
3. A B = (A) (B)

(2)

Apuntes de Teora de Conjuntos

Giovanni Sanabria Brenes

Denicin 4 Se denen los siguientes conjuntos

Q (x) = {y| (x) (x A y = Q (x))}
xA

Q (x) = {y| (x) (x A y = Q (x))}

xA
n

Ai

Ai

i=1

i{1,2,3,...,n}

Ai

Ai

i=1

i{1,2,3,...,n}

Ai

Ai = {Ai |i {1, 2, 3, ...}}

i=1

i{1,2,3,...}

Ai

Ai = {Ai |i {1, 2, 3, ...}}

i=1

Ejemplo 7 Note que

i{1,2,3,...}

Ai = A1 A2 ... An .
i=1

y por De Morgan se tiene que

n

Ai =
i=1

Ai
i=1

Denicin 5 Se dene el producto de conjuntos por:

n

Ai

= A1 A2 ... An = {(a1 , a2 , ..., an ) | (i {i, 2, ..., n}) (ai Ai )}

Ai

= A1 A2 ...

i=1

i=1

y la potencia de conjuntos por:

B A = {f|f : A B}
n

Ejemplo 8 El conjunto

R = R R ... R se denota por Rn .

i=1

Ejemplo 9 Demuestre que A (B) =

(A C) .
CB

Apuntes de Teora de Conjuntos

Giovanni Sanabria Brenes

1) Se debe probar que A (B)

(A C) .
CB

Sea (x, y) A (B) entonces

x A y B
= x A (D) (D B = y D)
(1)

(2)

Note que
(A C) = {y| (C) (C B y = A C)}

hqm : (x, y)
CB

Sea W = {z| (C) (C B z = A C)} , entonces

hqm : (x, y) W
Es decir,
hqm : (E) (E W = (x, y) E)
Note que si W = listo, pues el implica a demostrar es verdadero ya que E W es falso. Si
W = , sea E W entonces
hqm : (x, y) E
Como E W por denicin de W
=
=
=
=

(C) (C B E = A C)
y CE =AC
xAy C E =AC
(x, y) A C E = A C
(x, y) E

por (2) dado que C B

por (1)

Obteniendo el resultado a probar.

2) Se debe probar que

(A C) A (B) .
CB

Sea (x, y)

(A C) . Note nuevamente que

CB

(A C) = {y| (C) (C B y = A C)}

CB

Sea W = {z| (C) (C B z = A C)} . As se tiene que

(x, y) W
= (E) (E W = (x, y) E)

(1)

Note que
hqm : (x, y) A (B) : x A y B
Note que para usar la hiptesis (1) se debe tener W no sea vaco. As, si W = entonces
(A C) = W =
CB

Apuntes de Teora de Conjuntos

Giovanni Sanabria Brenes

y como A (B) , se obtiene lo que se quera desde el inicio. Por otro lado, Si W = ,
entonces existe E W lo cual indica que
(C) (C B E = A C)

(2)

por denicin de W y adems por (1) como E W

(x, y) E

(3)

De (2) y (3) se tiene que (x, y) A C y entonces x A. As, falta demostrar que y B, es
decir
hqm : (F ) (F B = y F )
Sea F B,
hqm : y F
Como
=
=
=
=

F B
G=AF W
(x, y) A F
xAy F
yF

por denicin de F
por (1)

Equipotencia

Denicin 6 A es equpotente a B (A B ) si y solo si existe una funcin biyectiva de dominio A y

codominio B.
Teorema 5 Se cumple que
1. A A
2. A B

BA

3. A B B C

AC

4. A B C D

AC B D

5. Si 2 = {, {}} entonces P (A) 2A

Cardinalidad

Denicin 7 Se dene el conjunto Sn como el conjunto formado por los primeros n nmeros
naturales, es decir
Sn = {1, 2, 3, ..., n}
Denicin 8 Un conjunto A es nito si y solamente si existe un n N tal que A Sn .

Apuntes de Teora de Conjuntos

Giovanni Sanabria Brenes

Denicin 9 Un conjunto es innito si y solo si no es nito.

Denicin 10 Dado un conjunto nito A, se dice que la cardinalidad de A es n y se escribe |A| = n
si A Sn .Es decir, |A| = n si A posee n elementos. Adems, si A = , se dice que la cardinalidad de
A es cero y se escribe |A| = 0. Si A es conjunto innito entonces su cardinalidad es .
Note que para todo conjunto nito A se tiene que |A| 0.
Ejemplo 10 Considere el conjunto P = {H, O, L, A} . Note que se puede establecer una biyeccin de
A a S4 :
S4

P
H

por lo tanto, |P | = 4. Note que esta biyeccin es equivalente a una manera de contar los elementos de
P.
Ejemplo 11 Dados los conjuntos A = {a, c, d, g, h} y B = {1, +, {1, 2} , A} , se tiene que |A| = 5, y
|B| = 4.
Teorema 6 Sean A y B dos conjuntos nitos, se tiene que: A B si y solo si |A| = |B|
Teorema 7 Sean A y B dos conjuntos nitos, se tiene que:
1. Si A y B son excluyentes, entonces |A B| = |A| + |B| .
2. |A B| = |A| |B|
3. |A B| = |A| + |B| |A B| .
Prueba.

1. Suponga que |A| = n, |B| = m, entonces existen dos funciones biyectivas f1 y f2 ,

tales que:
f1 : A Sn ,
f2 : B Sm .
Se dene la funcin g : A B Sn+m por
g (x) =

f1 (x)
si x A
,
f2 (x) + n si x B

dado que esta funcin es biyectiva, entonces

|A B| = n + m = |A| + |B| .
10

Apuntes de Teora de Conjuntos

Giovanni Sanabria Brenes

2. Queda como ejercicio:

(a) Pruebe que A {b} A.
(b) Sea |A| = n, pruebe por induccin que |A B| = n |B| .
3. Queda como ejercicio. Justique y utilice las siguientes igualdades:
|A B| = |A| + |B A| ,

|B| = |B A| + |B A| .

Teorema 8 Sean A, B, C1 , C2 , ..., Cn conjuntos nitos, se tiene que:

1. Si C1 , C2 , ..., Cn son conjuntos excluyentes dos a dos, entonces
n

Ci = |C1 | + |C2 | + ... + |Cn | .

i=1

2. |C1 C2 ... Cn | = |C1 | |C2 | ... |Cn | .

3. B A = |B||A| .
4. |P (A)| = 2|A| .

Conjuntos numerables

Teorema 9 (Principio del Buen Orden) Si S N y S = entonces S tiene un primer elemento.

Prueba. Suponga que S no tiene primer elemento y sea A = N S. As:
1. 0 A, pues de lo contrario 0 S y 0 sera el primer elemento de S.
2. Suponga que para todo k n se tiene que k A, entonces
{0, 1, 2, ..., n} A
entonces n + 1 A pues de lo contrario n + 1 sera el primer elemento de S.
De 1 y 2, por induccin fuerte, A = N, con lo cual S = . .
Denicin 11 Un conjunto innito A es numerable o enumerable si y solo si A N
Teorema 10 Z es un conjunto numerable.
Prueba. Ejercicio.
Denicin 12 Un conjunto B es contable si existe C N tal que B C.
Teorema 11 B es contable si y solo si B es nito o B es numerable.
Prueba. Se demuestran ambas direcciones:
11

Apuntes de Teora de Conjuntos

Giovanni Sanabria Brenes

=) Suponga que B es contable, entonces existe C N tal que B C . Si C es nito, como B C

entonces B es nito y LISTO.
Por otro lado, si C es nito, como C N entonces, por el Principio del Buen Orden, C tiene
primer elemento, sea este
c0 = min C
Ahora note que C {c1 } = pues C es innito, entonces, nuevamente por el Principio del Buen
Orden, C {c1 } tiene primer elemento, sea este
c1 = min (C {c0 })
Similarmente para cada n N , como C es innito se tiene que C {c0 , c1 , ...., cn } = y por
el Principio del Buen Orden se dene
cn = min (C {c0 , c1 , ...., cn1 }) .
Sea la funcin g : N C tal que g (n) = cn . Probemos que g es biyectiva
Inyectividad.

Sean n, m N tales que

g (n) = g (m)

entonces cn = cm . Suponga por contradiccin y sin prdida de generalidad que n < m entonces
cn {c0 , c1 , ...., cm1 }
= cn
/ C {c0 , c1 , ...., cm1 }
y como cm = min (C {c0 , c1 , ...., cm1 }) , se tiene que cm = cn , obteniendo una contradicin.
Sobreyectividad. Sea y C y considere el conjunto
D = {c C|c < y} {0, 1, 2, ..., y}
Como D es nito, sea n = |D| . Note que
D = {c0 , c1 , ...., cn1 }
y por lo tanto
cn = min (C D)
Como cn C D entonces cn
/ D y por denicin de D se tiene que cn y. Pero si cn > y
note que y C y
/ D, es decir y es un elemento de C D ms pequeo que cn . Esto contradice
la denicin de cn , por lo tanto cn = y. As
g (n) = cn = y.
Por lo tanto g es sobreyectiva.
De lo anterior se tiene que C N y como B C, se obtiene que B N y as B es numerable.
=) Si B es numerable entonces B N N y por lo tanto B es contable. Si B es nito, existe n
N tal que |B| = n. Entonces B Sn N, y se obtiene que B es contable.
12

Apuntes de Teora de Conjuntos

Giovanni Sanabria Brenes

Teorema 12 Todo subconjunto de un conjunto numerable es numerable o nito.

Prueba. Sea A un conjunto numerable y B A. Si B es nito listo. En caso contrario, como A es
numeranble existe una f : A N biyectiva, sea
C = {f (x) |x B}
Es claro que B C N y entonces B es contable, y como es innito, se obtiene que B es
numerable.
Teorema 13 Si A es nito y B enumerable, entonces A B es enumerable.
Prueba. Sugerencia: sea C = A B, note que C es nito (|C| = n) y B N, dena una funcin
biyectiva h : C B N.
Teorema 14 P (N) no es un conjunto numerable.
Prueba. Suponga que A = P (N) es numerable, as se pueden numerar los elementos de A : A1 , A2 , ...
Sea
B = {i N|i
/ Ai }
Como B N entonces B A, por lo tanto existe p N tal que B = Ap . Si p B entonces
pB
= p Ap
= p
/B

(pues B = Ap )
(pues p no cumple la condicin para estar en B)

lo cual es una contradicin. Pero si

p
/ B = p
/ Ap = p B.
llegando de nuevo a una contradiccin. Por lo tanto, lo supuesto es falso, es decir P (N) no es
un conjunto numerable.
Teorema 15 Q es un conjunto numerable.
Prueba. Ejercicio.
Teorema 16 Si A = , A es contable si y slo si existe una funcin f : N A sobreyectiva.
Prueba. Se realizarn ambas direcciones.
=) Suponga que A es contable. Sea a0 A, pues A = . Si A es numerable:
A N = N A = g : N A biyectiva.
Tome f = g. Si A es nito entonces |A| = n y existe h : A Sn biyectiva. T ome f dada por
f (x) =

h1 (x) si x Sn
.
a0 si x
/ Sn .
13

Apuntes de Teora de Conjuntos

Giovanni Sanabria Brenes

=) Suponga que existe una funcin f : N A sobreyectiva. Para cada a A tome

na = min f 1 ({a})
Es decir, na es la preimagen ms pequea de a. Sea g : A N dada por g (a) = na , dado que g
es inyectiva entonces A g (A) N, entonces A es contable.
Teorema 17 Si A = , A es contable si y slo si existe una funcin f : A N inyectiva.
Prueba. Ejercicio.
Teorema 18 Si A y B son enumerables, entonces A B es enumerable.
Prueba. Ejercicio.
Teorema 19 N N es numerable.
Prueba. Ejercicio. Sugerencia: Considere la funcin f : NN N dada por f (n, m) = 2n1 (2m 1)
Teorema 20 Si A y B son enumerables entonces A B es enumerable.
Prueba. Como A y B son enumerables, por el teorema (16) , existen
f :NA

g:NB

funciones sobreyectivas. Sea h : N N A B dada por h (n, m) = (f (n) , g (m)) . La funcin

h es sobreyectiva (ejercicio). Adems, por el teorema anterior, existe j : N N N biyectiva.
Sea k : N A B dada por k = h j 1 . Se puede probar que k es sobreyectiva (ejercicio),
entonces , por el teorema (16) , A B es enumerable.
Teorema 21 La unin enumerable de conjuntos enumerables es enumerable.
Prueba. Sea F una familia numerable de conmjuntos numerables. Entonces existe una funcin
f : N F sobreyectiva. Adems para todo A F, se tiene que A es numerable entonces existe
una funcin gA : N A sobreyectiva. Considere la funcin
h:NN

A dada por h (n, m) = gf (n) (m) .

AF

Basta probar que h es sobreyectiva (ejercicio).

Teorema 22 Para n N tal que n = 0, se tiene que N
Teorema 23 El intervalo [0, 1] no es numerable.

14

N.

Apuntes de Teora de Conjuntos

Giovanni Sanabria Brenes

Prueba. Supongamos que [0, 1] es numerable y considere la siguiente enumeracin de sus elementos:
x1
x2
x3

= 0.a11 a12 a13 ...

= 0.a21 a22 a23 ...
= 0.a31 a32 a33 ...
..
.

donde aij es un decimal. Para lograr la unicidad de la represectacin decimal, suponga que cada
xi tiene innitos decimales, por ejemplo en lugar de 0.2 estara 0.199999.... Considere el nmero
x = 0.b1 b2 b3 .... donde 0 = bi = aii
Note x [0, 1] y adems no est en la lista. P or lo tanto, [0, 1] no es numerable.
Teorema 24 R no es numerable.
Prueba. Ejercicio.

Ejercicios
1. Dados los conjuntos A y B, demuestre que existe un nico conjunto C tal que para todo x
xC x Ax
/ B.
2. Demuestre la existencia unicidad de la diferencia simtrica de dos conjuntos.
3. Demuestre que A B P (P (A B)) .
4. Utilice el resultado del ejercicio anterior, para domostrar la existencia unicidad del producto de
dos conjuntos.
5. Utilice el axioma de regularidad en el conjunto {A, B} para probar que no existen dos conjuntos
A y B tales que: A B B A.
6. Pruebe que
(a) (A) (A B = A C) = B C
(b) A B (C) (C A) = B A
(c) A B = B A
(d) A A
7. Demuestre que A (B) =

(A C)
CB

8. Demuestre los siguientes resultados:

15

Apuntes de Teora de Conjuntos

(a) A {x} A

Giovanni Sanabria Brenes

{x} A A

(b) A B C D A C = B D =
(c) A B C D

AC B D

AC BD

(d) A B B A
(e) A (B C) (A B) C
(f) Existen conjuntos C y D tales que A C B D C D =
(g) B C = entonces ABC AB AC
(h) (A B)C AC B C
9. Muestre que si C1 , C2 , ..., Cn son conjuntos nitos y excluyentes dos a dos, entonces
n

Ci = |C1 | + |C2 | + ... + |Cn | .

i=1

10. Sean C1 , C2 , ..., Cn conjuntos nitos, pruebe |C1 C2 ... Cn | = |C1 | |C2 | ... |Cn | .
11. Si A es un conjunto innito pruebe que A contiene un subconjunto numerable.
12. Pruebe que Q es un conjunto numerable.
13. Pruebe que si A = , A es contable si y slo si existe una funcin f : A N inyectiva.
14. Demuestre que si A y B son enumerables, entonces A B es enumerable.
15. Demuestre que R no es numerable.

16