Documente Academic
Documente Profesional
Documente Cultură
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)
(x) (x A x B) .
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} .
A
/ A)
1. Si A A entonces:
= A A
AA
V ERDADERO
A
/A
F ALSO
F ALSO
A
/A
F ALSO
V ERDADERO
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
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.
A es un conjunto
()
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)}
(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)
Ai
Ai
i=1
i{1,2,3,...,n}
Ai
Ai
i=1
i{1,2,3,...,n}
Ai
i=1
i{1,2,3,...}
Ai
i=1
i{1,2,3,...}
Ai = A1 A2 ... An .
i=1
Ai =
i=1
Ai
i=1
Ai
Ai
= A1 A2 ...
i=1
i=1
Ejemplo 8 El conjunto
i=1
(A C) .
CB
(A C) .
CB
(2)
Note que
(A C) = {y| (C) (C B y = A C)}
hqm : (x, y)
CB
(C) (C B E = A C)
y CE =AC
xAy C E =AC
(x, y) A C E = A C
(x, y) E
(A C) A (B) .
CB
Sea (x, y)
(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
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)
(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
BA
3. A B B C
AC
4. A B C D
AC B D
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 .
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.
f1 (x)
si x A
,
f2 (x) + n si x B
|B| = |B A| + |B A| .
Conjuntos numerables
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
(pues B = Ap )
(pues p no cumple la condicin para estar en B)
h1 (x) si x Sn
.
a0 si x
/ Sn .
13
g:NB
14
N.
Prueba. Supongamos que [0, 1] es numerable y considere la siguiente enumeracin de sus elementos:
x1
x2
x3
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
(a) A {x} A
{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
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