Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Renato A. Lewin
Renato A. Lewin
CONJUNTOS
Versi
on Preliminar
Renato A. Lewin
Author address:
lica de Chile, Facultad de
Pontificia Universidad Cato
ticas, Casilla 306 - Correo 22, Santiago CHILE.
Matema
e-mail: rlewin@mat.puc.cl
Indice
CAPITULO 1. Introduccion. Los Axiomas de Zermelo Fraenkel
1. El Lenguaje Formalizado L
2. Los Axiomas de la Teora ZF. Conceptos Fundamentales
CAPITULO 2. Teora Elemental
1. Operaciones
2. Relaciones
3. Funciones
4. Relaciones de Equivalencia
5. Relaciones de Orden
5
7
9
17
17
23
30
40
44
CAPITULO 3. Ordinales
1. N
umeros Naturales
2. Ordinales
3. Induccion Transfinita
4. Recursion
5. Funciones Normales
6. Ordinales y Buenos Ordenes
7. Aritmetica Ordinal
8. La Jerarqua Acumulativa de Conjuntos
57
57
64
70
72
75
78
80
101
105
105
111
CAPITULO 5. Cardinales
1. Definiciones y Resultados Basicos
2. Conjuntos Finitos y Conjuntos Infinitos
3. Aritmetica Cardinal
4. Cardinales Regulares y Singulares
5. La Hipotesis del Continuo
117
117
125
129
144
146
Bibliografa
151
Glosario
153
CAPITULO 1
Introducci
on. Los Axiomas de Zermelo Fraenkel
Este libro trata sobre los conjuntos. Intuitivamente un conjunto es
una coleccion (clase, agregado, conglomerado, etc.) de objetos, los que
pertenecen a (forman parte de, son los elementos de, etc.) el conjunto.
En toda teora axiomatica debemos partir de terminos que no podemos
definir para no correr el riesgo de caer en un crculo vicioso. Tal es el
caso de los conceptos de conjunto y pertenencia dentro de la Teora de
Conjuntos. Todas nuestras intuiciones descansan sobre la idea intuitiva
que tengamos sobre estos conceptos primitivos, sin embargo, para el
desarrollo de la teora no es necesario contar con estas intuiciones.
Una teora axiomatica es un modelo formal de una realidad que
queremos estudiar. Esta compuesta por axiomas, o sea, oraciones a
partir de las cuales, usando solo reglas logicas, podamos obtener todas
las propiedades de aquello que queremos modelar. Los axiomas tratan
de establecer las caractersticas y propiedades esenciales de los objetos
que estamos tratando de describir en nuestro modelo. El ideal sera en
primer lugar que los axiomas modelaran las intuiciones que tenemos de
la realidad y en segundo lugar que la lista fuera completa, es decir, que
todas y solo aquellas propiedades de los objetos a describir se puedan
obtener a partir de nuestra lista.
Diversas teoras axiomaticas de conjuntos han logrado en mayor
o menor grado el segundo de estos objetivos. El primero en cambio,
obtener todas las propiedades de los conjuntos a partir de un sistema
de axiomas, no se ha logrado. El motivo de esto es muy sencillo: no
se puede. En efecto, los resultados obtenidos por el logico Kurt Godel
alrededor de 1930, demuestran que es imposible dar una axiomatizacion
completa de la Teora de Conjuntos. Lo mismo es cierto de otras teoras
matematicas como la teora de n
umeros.
Lo anterior parece condenar nuestro proyecto al fracaso, sin embargo esto no es as, solo nos advierte que el ideal es imposible. De hecho numerosos matematicos han logrado establecer teoras axiomaticas
que, si bien no completas, son suficientes para construir en ellas casi
toda la matematica. Estudiaremos una de ellas en estas paginas, a
saber, la teora de ZermeloFraenckel, ZF, desarrollada a partir del
5
una clase propia. Es decir, las clases propias son las extensiones de
una propiedad que de alguna manera son demasiado grandes, no las
podemos aprehender. Ejemplos de estas u
ltimas son la clase R definida
anteriormente o la clase V formada por todos los conjuntos (o clase
universal).
En nuestra teora, ZF, no existen las clases propias, solo conjuntos.
Esto implica que, por ejemplo, no podemos hablar de la clase R. Sin
embargo, la situacion no es tan mala como parece. Si bien no podemos
hablar de R, nada nos impide hablar de la propiedad x 6 x. As,
aunque no podemos afirmar a R00 (porque R no existe dentro de la
teora), podemos perfectamente decir a 6 a que significa lo mismo. En
otras palabras, si queremos hablar de una clase propia, en ZFdebemos
hacerlo mediante la propiedad que la define.
La nocion de propiedad no la hemos definido pero de lo anterior
se desprende que es central en nuestro estudio. Vamos a continuacion
a definir este concepto.
Como dijimos, una teora axiomatica se desarrolla a partir de ciertos enunciados o axiomas mediante la aplicacion de reglas logicas. Por
ello, es fundamental que el lenguaje usado sea lo mas preciso posible.
Esto se logra mediante la formalizacion del lenguaje. Solo aquellas
expresiones escritas en este seran aceptables en nuestra teora y representaran propiedades.
No es el proposito de este texto introducir al lector a la Logica
Matematica. Tampoco suponemos que este sepa logica mas alla de los
conocimientos que se aprende en un curso universitario de Introduccion
al Algebra o similar. Cierta madurez matematica es desde luego necesaria para mantener la fluidez de las demostraciones. Usaremos por lo
tanto un estilo semi formal el que, por un lado, es habitual en el tema
y por el otro, no apabulla al lector con un rigor tedioso y excesivo.
1. El Lenguaje Formalizado L
Un lenguaje formalizado esta constituido por un conjunto de smbolos
basicos y por reglas que nos permiten formar expresiones mas complicadas a partir de esos smbolos originales.
Los smbolos de L seran:
1. Variables: x, y, z, X, Y, Z, x1 , x2 , . . . , en general, las u
ltimas letras del alfabeto latino, min
usculas o may
usculas, con o sin
subndices. Su significado es el habitual en matematicas y su
rango son los conjuntos.
2. Constantes: a, b, c, A, B, C, . . . , en general, las primeras letras
del alfabeto latino. Sirven para referirnos a conjuntos especficos.
7
3. Smbolo de pertenencia:
4. Smbolo de igualdad: =
5. Conectivos logicos: , , , , , es decir, los smbolos habituales para la negacion, disyuncion, conjuncion, implicacion y
equivalencia.
6. Cuantificadores: , , con su significado habitual.
7. Parentesis: ( , ). Usados como signos de puntuacion.
Cualquier cadena finita formada por estos smbolos es una expresi
on
del lenguaje, pero no toda expresion es aceptable o significativa. Solo
aceptaremos aquellas a las que llamaremos formulas de L.
Una formula de L es una expresion de L construida como sigue:
1. X Y, X = Y son formulas de L para cualquiera dos variables
o constantes X e Y no necesariamente distintas.
La primera se lee X pertenece a Y o bien Y contiene a
X y la segunda X es igual a Y . Su significado intuitivo es el
obvio. Estas se llamaran f
ormulas atomicas.
2. Si y son formulas de L , entonces tambien lo son (
), ( ), ( ), ( ).
Estas formulas corresponden respectivamente a la disyuncion,
conjuncion, implicacion y equivalencia de y .
3. Si es una formula de L , entonces tambien es una formula
de L .
La formula corresponde a la negacion de . Tambien
usaremos los smbolos auxiliares X
/ Y y X 6= Y para escribir
(X Y ) y (X = Y ), respectivamente.
4. Si es una formula de L y x es una variable, x, x son
formulas de L .
Estas se leen cualquier conjunto x verifica y existe (por
lo menos) un conjunto x que verifica , respectivamente. Su
significado es tambien evidente.
En L escribimos
Xx x 6 X.
Observemos que, en particular, este axioma garantiza que existe al
menos un conjunto.
Lema 1.1. Existe un u
nico conjunto que no contiene ning
un elemento.
n. Supongamos que existen dos conjuntos distintos
Demostracio
a y b ambos sin elementos.
Por A1 x((x a x 6 b) (x b x 6 a)), una contradiccion.
Luego hay un u
nico conjunto vaco.
n 1.2. El (
Definicio
unico) conjunto que no tiene elementos se
llama el conjunto vaco y se le denota .
Observese que el smbolo no es la letra griega .
A3. Axioma de Separaci
on:
Si (x) es una formula de L y X es un conjunto, entonces
existe un conjunto Y cuyos elementos son aquellos elementos de X
que verifican (x).
En L escribimos XY z(z Y (z X (x)).
Este axioma nos dice que para cualquier propiedad (expresada por
(x)) y cualquier conjunto A existe el subconjunto de A formado por
los elementos que verifican esa propiedad. Obviamente este conjunto
es u
nico.
n 1.3. Si (x) es una formula de L y A un conjunto,
Definicio
el conjunto cuya existencia esta garantizada por A3 se denotara con el
smbolo
{x A : (x)}
y se lee el conjunto de los elementos de A tales que (x).
Recordemos que la paradoja de Russell se produce al tratar de construir el conjunto de todos los conjuntos que verifican una propiedad
cualquiera (x). Este axioma limita nuestra capacidad de formar
conjuntos de objetos que verifican una cierta propiedad, solo podemos
referirnos a aquellos elementos que perteneciendo a un cierto conjunto
dado, verifican la propiedad en cuestion. Veamos que esta restriccion
evita que se produzca la paradoja.
Para ello tratemos de formar la clase de Russell. Dado un conjunto
A , el axioma de extensionalidad nos permite formar el conjunto
R = {x A : x 6 x}.
10
R 6 R,
x X1 X2 Xn x X1 x X2 x Xn .
X1 X2 Xn =
{X1 , . . . , Xn }.
=
=
=
=
x,
Px,
x {x},
x a,
16
CAPITULO 2
Teora Elemental
En este captulo formalizaremos y profundizaremos las nociones de
la teora intuitiva de conjuntos que el lector probablemente ha estudiado en cursos de Algebra, Geometra u otros. Por tratarse de material
familiar, la mayora de las demostraciones se dejaran como ejercicio.
Debemos cuidarnos eso s de no dar a las intuiciones el caracter de
teoremas y demostrar cuidadosamente todas nuestras afirmaciones a
partir de los axiomas.
Una de las dificultades que enfrenta el principiante en Teora Axiomatica de Conjuntos es precisamente ese conocimiento intuitivo del
tema. En nuestra teora todo es un conjunto, as los elementos de un
conjunto son a su vez, conjuntos que contienen elementos que a su vez
son conjuntos. Es decir, la familiar distincion entre elemento y conjunto
no existe y si se dice por ejemplo a es elemento de b es solo para
enfatizar que a y b satisfacen a b, pero no para separar a a y b en
dos categoras distintas. As, un mismo conjunto puede jugar ambos
papeles en distintas situaciones, por ejemplo:
{}
{} {, {}}.
Lo mismo puede decirse de pares ordenados, relaciones, funciones
etc, etc, todo ente del cual hablemos sera un conjunto.
1. Operaciones
En el captulo anterior hemos definido las operaciones x y y
x y. Definiremos ahora una tercera operacion
n 2.1. Dados dos conjuntos a y b definimos el compleDefinicio
mento relativo de b con respecto a a , o su diferencia como sigue
a b = {x a : x
/ b}.
Notese que en virtud de A3, a b es un conjunto.
Como lo demuestra la siguiente proposicion, la nocion de complemento de un conjunto a , es decir, el conjunto de aquellos conjuntos
que no pertenecen a a , no puede definirse en ZF.
17
iv)
v)
vi)
vii)
viii)
Si a c y b d, entonces a b c d.
a a b y b a b.
Si a c y b c, entonces a b c.
a b si y solo si a b = b.
Si a c y b d, entonces a b c d.
n. Ejercicio.
Demostracio
Algunas propiedades del conjunto potencia de un conjunto son interesantes.
Teorema 2.4. Para todo conjunto a, b:
i) Pa y a Pa.
ii) P = {}.
iii) Si a b, entonces Pa Pb.
iv) Pa Pb P(a b).
v) Pa Pb = P(a b).
vi) P(a b) (Pa P(b)) {}.
n. A modo de ejemplo demostraremos vi). El resto
Demostracio
queda como ejercicio.
Sea x P(a b), es decir, x a b.
Si x = , entonces x (Pa Pb) {}.
Si x 6= , entonces para todo z x, z a y z
/ b, o sea, x a
y x 6 b, luego x Pa Pb.
Ejercicios.
1. Determine si a pertenecea , es subconjunto, o ni pertenece ni es
subconjunto de alguno de los siguientes conjuntos.
(a) {{a}, a} ,
(b) a ,
(c) a ,
(d) {a} {{a}} ,
(e) {a} a ,
(f) {a} {} .
2. Sea a un conjunto. Si para todo conjunto b se tiene a b = b,
probar que a = .
19
3. Demostrar
S que :
(a) T{{a, b, c}, {a, d, e}, {a, f }} = {a, b, c, d, e, f } .
(b) S{{a, b, c}, {a,
T d, e}, {a, f }} = {a} .
(c) T{a} = T
a = {a}
T , para todo conjunto a .
(d) ( a) ( b) 6= (a b) .
4. Probar que:
(a) Si a c = , entonces a (b c) = a b .
(b) Si a b = , entonces a b = a .
(c) Si a b = y a b = c , entonces a = c b.
(d) a (b c) = (a b) c .
(e) (a b) c = (a c) (b c) .
(f) Si a b = , entonces a = y b = .
5. Definamos 0 = , 1 = 0 {0} , 2 = 1 {1} , 3 = 2 {2} ,
4 = 3 {3}. Entonces:
(a) Probar que 0 , 1 , 2 , 3 y 4 son conjuntos.
(b) Expresar 0 , 1 , 2 , 3 y 4 usando solo los smbolos { ,
}, y,.
(c) Decidir si son ciertas o falsas las afirmaciones siguientes:
(i) 1 2
(ii) 1 2 = 0 (iii) (0
S 2) 1
(iv) 1T
2
(v) 1 2 = 2 (vi) 3 3
(vii) 4 4
(c)
(d)
(e)
(f)
(g)
(h)
(i)
9. Sean
a + (b + c) = (a + b) + c
a (b + c) = (a b) + (a c)
aba+b
a = b si y solo si a + b =
Si a + c = b + c , entonces a = b
a c = b c si y solo si a + b c
(a c) + (b c) = (a + b) c
a = {x Z : x es divisible por 4}
b = {x Z : x es divisible por 9}
c = {x Z : x es divisible por 10}
(a) Describir a b c .
(b) Sean n , m Z. Si
d = {x Z : x es divisible por n}
e = {x Z : x es divisible por m},
describa d e . Que pasa si m y n son n
umeros primos?
Que pasa si m = n ?
10. Probar que si a, b , c son conjuntos, entonces
(a b) c = a (b c) si y solo si c a.
11. Para las siguientes oraciones, dar una demostracion o un contraejemplo:
(a) (a b) c = a (b c) .
(b) Si a b = a c , entonces b = c .
(c) Si a b = a c y a b = a c , entonces b = c .
(d) a b = (a b) b = a (a b) .
(e) a b = a (a b) .
(f) a (b c) = (a b) (a c) .
(g) a b = b a .
(h) a (a b) = (a b) .
(i) (a b) b = a b .
(j) (a b) b = .
(k) (a b) b = .
12. Probar que la inclusion de conjuntos cumple:
(a) a a ( reflexividad );
(b) Si a b y b a , entonces a = b ( antisimetra );
(c) Si a b y b c , entonces a c ( transitividad ).
13. Si a b y b c y c a, probar que
a = b = c.
21
(d)
x=
b) =
[
(a c)
xa
(e)
a(
cb
(f) Si d 6= , entonces
\
\
a b = (a c).
cb
2. Relaciones
Vamos ahora a introducir algunos conceptos matematicos familiares, como par ordenado, relacion, funcion, etc. Debemos tener especial cuidado de que estos sean conjuntos en virtud de alg
un axioma de
ZF. Por otra parte, tambien queremos que estos conjuntos se comporten como los objetos con que trabaja el matematico a quien no
preocupan los problemas de fundamento.
n 2.2. Dados dos conjuntos a y b llamamos par ordenado
Definicio
a, b al siguiente conjunto.
ha, bi = {{a}, {a, b}}.
el recorrido de R
Rec R = {y
y el campo de R ,
[[
R : xhx, yi R}
Es claro que tanto Dom R como Rec R son conjuntos (que axiomas usamos?). Lo que no es tan claro es que estos conjuntos correspondan a la idea informal que tenemos del dominio, es decir, el conjunto
de las primeras coordenadas de los pares que estan en la relacion, y
recorrido, el conjunto de las segundas coordenadas de los pares que
estan en la relacion. Basta para ello comprobar que, efectivamente,
ambas
coordenadas de los pares que pertenecen a una relacion R estan
SS
en
R. Esto es facil ya que para ha, bi R; a, b {a, b}
ha, bi R, lo que implica por definicion de union que
{a, b}
o sea,
o sea,
R ,
a, b {a, b}
a, b
[[
R,
R.
n 2.5. La composici
Definicio
on de dos relaciones R y S es la
relacion
S R = {u Dom RRec S : u = hx, yiz(hx, zi Rhz, yi S)}
y la relacion inversa de R
R1 = {u Rec R Dom S : u = hx, yi hy, xi R}.
En general escribimos mas informalmente
S R = {hx, yi : z(hx, zi R hz, yi S)}
y
R1 = {hy, xi : hx, yi R}.
a = .
R = .
R (a b) = R a R b.
R (a b) R a R b.
R a R b R (a b).
Si a b, entonces R a R b.
(S R) a = S (R a).
Dom(S R) = R1 (DomS) y Rec(S R) = S (Rec R).
R a Rec R.
n.
Demostracio
x R (a b)
iv)
y(y a b hy, xi R)
y(y a hy, xi R) y(y b (y, x) R)
x R a x R b
x R a R b
Es decir R (a b) R a R b.
Para ver que la inclusion contraria no es valida basta el siguiente contraejemplo. Sean
a = {} ,
viii)
y hx, yi S R
y z(hx, zi R hz, yi S)
z(hz, xi R1 z Dom S)
x R1 (Dom S).
Ejercicios.
1. Probar que si definimos
ha, bi0 = {{a, 0}, {b, 1}},
entonces se satisface:
ha, bi0 = hc, di0 si y solo si a = c y b = d .
2. Sean a, b, c conjuntos. Definimos el conjunto
ha, b, ci0 = {{a}, {a, b}, {a, b, c}} .
3.
4.
5.
6.
7.
8.
9.
=
=
=
=
(R + S) (R + T )
(R + S) (R + T )
(R S) + (R T )
(R S) + (R T )
15.
16.
17.
18.
19.
20.
(h) R a = Rec R .
(i) ( R1 ) ( R a ) = a .
(j) R ( ( R1 ) b ) = b .
Probar las siguientes afirmaciones:
(a) ( R1 ) (a b) ( R1 ) a ( R1 ) b .
(b) ( R1 ) (a b) ( R1 ) a ( R1 ) b .
(c) ( R1 ) a ( R1 ) b ( R1 ) (a b) .
(d) a ( R1 ) ( R a ) .
(e) b R ( ( R1 ) b ) .
(f) Si R a b , entonces
R a = Rec R y ( R1 ) b = Dom R .
(a) Probar que R a = si y solo si Dom R a = .
(b) Probar que Dom R a ( R1 ) ( R a ).
(c) Probar que ( R a ) b R (a ( R1 ) b ) .
(d) Bajo que condiciones se tiene que Cam (a b) = a b?
(e) Probar que si x Dom R , entonces hx, xi R1 R .
Demuestre todas las afirmaciones que no se demostraron en el
teorema 2.7.
Demuestre todas las afirmaciones que no se demostraron en el
teorema 2.8.
Demuestre todas las afirmaciones que no se demostraron en el
teorema 2.9.
Demuestre todas las afirmaciones que no se demostraron en el
teorema 2.10.
3. Funciones
El concepto de funcion es uno de los mas importantes en matematicas. Intuitivamente, una funcion es una regla que asigna a cada elemento de un conjunto un u
nico elemento de otro conjunto (no necesariamente distinto).
n 2.7. Una relacion F es una funci
Definicio
on si y solo si
xyz((hx, yi F hx, zi F ) y = z)
Observese que una funcion es, en particular, una relacion, as es que
los conceptos de dominio, recorrido, campo, composicion de funciones,
funcion inversa, imagen, etc. se aplican a ellas tal y como se aplican a
otras relaciones.
Habitualmente se usa la siguiente notacion.
n 2.8. Sea F una funcion, x Dom F ,
Definicio
[
F (x) = {z
Rec F : y(hx, yi F z y)}.
30
si y solo si
b = {F P(a b) : F : a b}.
o bien
y como F es inyectiva,
H : a a
x 7 e.
En-
x F 1 a si y solo si F (x) a.
Dom (F G) = G1 (Dom F ) Dom G.
Rec (F G) = F (Rec G) Rec F.
F es inyectiva si y solo si F 1 es funci
on.
n.
Demostracio
i)
x F 1 a si y solo si y(y a hy, xi F 1 )
si y solo si y(y a hx, yi F )
si y solo si y(y a y = F (x))
si y solo si F (x) a.
ii) y iii), por teorema 2.10, viii).
iv) Ejercicio.
n.
Demostracio
i) Por el teorema 2.10, iv), basta demostrar
1
1
que F a F b F 1 (a b).
Sea x F 1 a F 1 b. Entonces por teorema 2.12, i),
F (x) a y F (x) b, o sea, F (x) ab, luego x F 1 (ab).
ii) Ejercicio.
n 2.10.
Definicio
i) Si a es un conjunto, la funcion
Ia : a a
x 7 x
G = F 1 {hx, ci : x b F a}
Ejercicios.
34
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
22.
23.
24.
25.
F m+1 = F F m .
Supongamos que existe un entero positivo n tal que F n = Ia .
Probar que F es biyeccion.
Sean a, b, c conjuntos tales que b c = . Probar que existe
una biyeccion entre bc a y b a c a.
Existe una biyeccion entre c (b a) y bc a?
Probar que existe una biyeccion entre c (a b) y c a c b .
Sean F : a b y G : a b funciones.
(a) Sea c el conjunto de los x a tales que F (x) = G(x) .
Probar que F Ia c = G Ia c .
36
26.
27.
28.
29.
30.
31.
32.
33.
34.
{b Pa : b F (b)}.
37. Determinar
hai : i Ii,
ai ,
iI
ai ,
iI
ai si:
iI
(a) I = 3 y a0 = 1, a1 = 2, a2 = 3 .
(b) I = 3 y ai = i , para todo i en 3 .
38. Probar que existe una biyeccion entre a0 a1 a2 y
Y
ai
i3
iI
Q [i,i+1)
40. Probar que existe una biyeccion entre
R y R R.
iI
41. Sea hbi : i Ii una familia de subconjuntos de a . Probar que
Y
bi I a.
iI
iI
iI
iI
jJ
hi,jiIJ
(b)
(
ai ) (
bj ) =
ai ) (
bj ) =
iI
jJ
(ai bj ) .
(ai bj ) .
hi,jiIJ
(c)
(
iI
jJ
hi,jiIJ
38
(d)
(
\
iI
ai ) (
bj ) =
jJ
hi,jiIJ
(ai bj ) .
iI
(b)
jJ
ai =
iI
J .
ij
\ \
(
ai ).
jJ
ij
(b)
F 1 (
iI
ai ) =
ai )
ai ) =
iI
(c)
F (
iI
F 1 ai .
F ai
F 1 ai .
iI
iI
iI
iI
4. Relaciones de Equivalencia
En matematica es frecuente que nos interesen solo ciertas propiedades de los elementos de un conjunto y que queramos por consiguiente
identificar a todos los que comparten dichas propiedades. Por ejemplo,
al estudiar las rectas del plano podemos identificar a todas las rectas
que son paralelas entre s. Si definimos la relacion R como todos los
pares de elementos que queremos identificar, R es lo que llamamos
una relacion de equivalencia. Esta seccion estudiara este concepto.
n 2.11. Sea R una relacion binaria.
Definicio
i) R es reflexiva sobre a si
x(x a hx, xi R),
iii) R es transitiva si
tenemos que
R R = R1 R = R,
luego, por i), R es transitiva.
Como se menciono antes la reflexividad es consecuencia de la
simetra y transitividad. Ver ejercicios.
n 2.12. Sea R una relacion de equivalencia.
Definicio
i) Sea x Dom R. La clase de equivalencia de x se define por
[x]R = {y Cam R : hx, yi R}.
o mas informalmente
iii) Ejercicio.
iv) Ejercicio.
Ejercicios.
1. Construr todas las clases de equivalencia que pueden existir sobre el conjunto 3 .
2. Demuestre que una relacion simetrica y transitiva es tambien
reflexiva (sobre su propio campo).
3. Existe una relacion de equivalencia sobre el conjunto ?
4. Sea a un conjunto. Demostrar que la igualdad de conjuntos es
relacion de equivalencia sobre Pa .
5. Sea A un conjunto no vaco de relaciones de equivalencia sobre
un conjunto a . T
(a) Probar que
ASes relacion de equivalencia sobre a .
(b) Lo es siempre
A?
S
(c) Encuentre condiciones para que
A sea relacion de equivalencia.
6. Sea R una relacion sobre a . Probar que si R es transitiva y
refleja, entonces R R = R . Es cierto el recproco ?
7. Sean R y S relaciones de equivalencia sobrea a y b respectivamente. Definimos la relacion T sobre a b por: hhc, di, he, f ii
T si y solo si c a , e a , d b y f b , y hc, ei R y
hd, f i S . Probar que T es de equivalencia.
8. Sean R y S relaciones de equivalencia sobre a . Probar que:
(a) R S es relacion de equivalencia sobre a si y solo si
R S = S R.
(b) R S es relacion de equivalencia sobre a si y solo si
R S R S y S R R S.
(c) Si T y H son relaciones arbitrarias sobre a , entonces si
R T y R H, entonces R T H.
9. Sea F : a b una funcion y sea R una relacion de equivalencia
sobre b. Sea c el conjunto {hd, ei a a : hF (d), F (e)i R}.
Probar que c es relacion de equivalencia sobre a .
10. Sean para cada entero n , los conjuntos bn = {m Z : q(m =
n + 5q)}. Probar que P = {bn : n Z} es una particion de Z.
Determinar una formula para R[P ] .
43
11. Probar que las siguientes relaciones sobre R R son de equivalencia; determinar la particion que determina cada una de ellas,
y describir geometricamente los elementos de cada particion:
(a) R = {hha, bi, hc, dii : a2 + b2 = c2 + d2 } .
(b) S = {hha, bi, hc, dii : b a = c d} .
(c) T = {hha, bi, hc, dii : a + b = c + d} .
12. Sea a un conjunto. Probar que Ia y a a son relaciones de
equivalencia sobre a, y describir las particiones correspondientes.
13. Sean P = {ai : i I} y Q = {bj : j J} particiones de a y
b respectivamente. Probar que {ai bj : hi, ji I J} es una
particion de a b.
14. Sea F : a b una funcion, y sean {ai : i I} y {bj : j J}
particiones de a y b respectivamente. Probar que:
(a) Si F es sobre, entonces {F 1 bj : j J} es una particion
de a .
(b) Si F es inyectiva, entonces F ai : i I} es una particion
de Rec F .
15. Sean R y S relaciones de equivalencia sobre a . Probar que:
(a) [x]RS = [x]R [x]S , para todo x en a .
(b) Si R S es de equivalencia, entonces [x]RS = [x]R [x]S ,
para todo x en a .
16. Si F : a b es una funcion, definamos la relacion R =
{hc, di : F (c) = F (d)}.
(a) Probar que R es de equivalencia sobre a . R se dice la
relacion de equivalencia determinada por F y se denota
por R [F ].
(b) Probar que R [F ] = F 1 F .
(c) Si F : a b y G : b c son funciones, determinar
R [G F ] usando R [G] y F .
17. Demuestre todas las afirmaciones que no se demostraron en el
teorema 2.16.
18. Demuestre todas las afirmaciones que no se demostraron en el
teorema 2.17.
19. Demuestre todas las afirmaciones que no se demostraron en el
teorema 2.18.
5. Relaciones de Orden
n 2.14. Sea R una relacion binaria.
Definicio
i) R es antisimetrica si
xy((xRy yRx) x = y).
44
ii) R es conexa si
xy(xRy yRx x = y).
si y solo si
n|m.
n 2.15.
Definicio
i) Una relacion R es asimetrica sobre a si y solo si
xy((x a y a xRy) yRx).
ii) Una relacion es un orden estricto si es transitiva y asimetrica
sobre su campo.
Teorema 2.19.
i) Si es un orden (parcial), entonces la
relacion definida por
x<y
si y solo si x y x 6= y
si y solo si
xRy x = y,
si y solo si
F (a) S F (b).
Teorema 2.23. Para un orden parcial las siguientes condiciones son equivalentes.
i) es un buen orden.
ii) es un orden total y todo subconjunto no vaco del campo de
tiene un menor elemento.
iii) Todo subconjunto no vaco del campo de tiene un menor
elemento.
n.i)ii) Sea A Cam . Escojemos a A tal
Demostracio
que
A {x Cam : x < a} = ,
es decir para todo x A, x 6 a y como el orden es total,
a x, es decir a es el menor elemento de A .
49
ii)iii) Obvio.
iii)i) Dados dos elementos x, y Cam , consideramos {x, y}, este
tiene un menor elemento luego x y o y x, o sea, es
orden total.
Sea A Cam y sea a su menor elemento. Entonces es
claro que
A {x Cam : x < a} = ,
es decir es bien fundado.
Ejercicios.
1. Sean a , b , c y d cuatro conjuntos distintos. Cuantos ordenes parciales existen sobre {a, b}? Sobre {a, b, c}? Sobre
{a, b, c, d}? Haga los diagramas correspondientes.
2. Diga cuales de los ordenes del ejercicio anterior son isomorfos.
3. Sea a un conjunto con n elementos. Probar que un orden total
sobre a contiene 12 n(n 1) pares ordenados.
4. Probar que una relacion R sobre a es antisimetrica si y solo si
R R1 Ia .
5. Considere las siguientes relaciones sobre el conjunto
8 = {0, 1, 2, 3, 4, 5, 6, 7}:
(a) x R1 y si y solo si y x 8.
(b) x R2 y si y solo si y x 8 y y x 6= 0.
(c) x R3 y si y solo si y x = 0.
(d) x R4 y si y solo si y x es un entero par.
(e) x R6 y si y solo si y x = 1.
Determinar cuales de estas relaciones son antisimetricas, asimetricas, transitivas, conexas, reflejas, de equivalencia o de orden.
6. Si R y S son relaciones y a un conjunto, probar que:
(a) Si R es asimetrica, entonces R es antisimetrica.
(b) Ia es simetrica y antisimetrica.
(c) Si R , es simetrica y antisimetrica, entonces existe un conjunto b tal que R = Ib .
(d) Si R es asimetrica, entonces R1 , R S y R S son
asimetricas.
50
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
19.
20.
21.
22.
23.
24.
25.
26.
27.
33.
34.
35.
36.
37.
38.
39.
40.
41.
42.
55
56
CAPITULO 3
Ordinales
En este captulo estudiaremos un tema un poco mas avanzado de
teora de conjuntos. El lector esta seguramente familiarizado con los
n
umeros naturales. Los n
umeros naturales nos sirven para contar y
para ordenar los conjuntos finitos. Es esta segunda propiedad la que
trataremos de generalizar para conjuntos infinitos, empezaremos por
construir dentro de nuestra teora el conjunto de los n
umeros naturales.
1. N
umeros Naturales
Formalizaremos ahora el concepto intuitivo de n
umero natural dentro de la teora ZF.
n 3.1. El sucesor de un conjunto x es el conjunto
Definicio
Sx = x {x}.
Observese que si x es un conjunto, Sx tambien lo es (Por que?).
n 3.2.
Definicio
0
1
2
3
=
=
=
=
..
.
S0 = {}
S1 = {, {}}
S2 = {, {}, {, {}}}
ssi m n o bien m = n.
ssi m n y m 6= n.
ssi m n.
i)
ii)
iii)
iv)
0 n.
Si x n, entonces x .
m < Sn ssi m n.
Si n < m, entonces Sn m.
n.
Demostracio
i) Por induccion con (x) = 0 x.
(0) se verifica.
Supongamos ahora que (n) se verifica.
Es decir, 0 n, o sea 0 n o 0 = n. En cualquier caso
0 n {n} = Sn, o sea (Sn) se verifica. Luego, en
virtud de P.I., para todo n , 0 n.
ii) Por induccion sobre n . Sea
(x) = y(y < x y )
n.
Demostracio
i) es obviamente reflexiva.
ii) es antisimetrica. En efecto, supongamos que m n y
n m, pero m 6= n. Entonces m n y n m lo que
contradice el teorema 1.3.
iii) es transitiva. Supongamos que k m y m n. Demostraremos que k n por induccion sobre n . Para ello sea
(x) = yz((z y y x) z x).
60
Ejercicios.
1. Demuestre la equivalencia de las dos maneras de enunciar el Principio de Induccion dadas en el texto, es decir los teoremas 3.1 y
3.2.
2. Demuestre el Principio de Induccion Completa a partir del teorema 3.7
3. Demuestre la equivalencia de las dos maneras de enunciar el Principio de Induccion Completa dados en el texto, es decir los teoremas 3.5 y 3.6.
4. Sea hai : i i una familia de conjuntos tal que para todo
i , ai aSi . Probar que a0 an para todo n 1.
5. Sea hai : i i una
S familia de conjuntos tal que para todo
i , ai aSi y i ai a0 . Probar que ai = a0 para todo
i en .
S
S
6. Probar que si n ,
Sn = nS y que
= .
7. Probar que si a , a 6= y
a = a , entonces a = .
8. Probar que si
m y n estan en y m 6= n , entonces:
m si n m,
(a) m n =
n si m n.
n si n m,
(b) m n =
m si m n.
9. Probar que si n m y n 6= 0 , entonces existe un mayor
elemento en n .
10. Si a b son no vacos, n es el menor elemento de a y
m es el menor elemento de b , cual es la relacion entre n y
m ? Justificar y responder para los mayores elementos de a y
de b si estos existen.
11. Probar que si n , entonces no existe k tal que n < k <
Sn.
12. Probar que si n y m estan en y n < m , entonces Sn < Sm.
13. Probar que no existe una funcion F : tal que para
todo n , F (Sn) < F (n).
14. Probar que si (x) es una formula con variable libre x y existe
un k , tal que
(a) (k) se verifica y
(b) para todo n tal que k n, si se verifica (n) entonces
se verifica (Sn).
Entonces (n) se verifica para todo n k.
15. Probar que si (x) es una formula con variable libre x y existe
un k tal que
(a) (k) se verifica y
63
i) a es transitivo si
xy((x y y a) x a).
ii) a es un ordinal si a es transitivo y todo elemento de a es
transitivo. Si x es un ordinal escribiremos Ord (x). Observese
que Ord (x) es una formula de nuestro lenguaje en la que x
aparece libre.
Notaci
on: Usaremos letras griegas min
usculas para denotar ordinales.
Nada en la definicion indica que haya ordinales, ni siquiera que existan conjuntos transitivos. Tambien podra suceder que todo conjunto es un ordinal. A continuacion dilucidaremos estos problemas. De
hecho, el siguiente teorema demuestra que todos los n
umeros naturales
son ordinales.
Teorema 3.9.
i) 0 es un ordinal.
ii) Ord (x) Ord (Sx).
iii) x(x Ord (x)).
iv) Ord ().
n.
Demostracio
i) Ord (0) trivialmente ya que 0 = .
ii) Supongamos que x es ordinal. Entonces x es transitivo y
todo elemento de x es transitivo. Como Sx = x {x}, todo
elemento de Sx es transitivo.
Para ver que Sx es transitivo consideremos z , y tales
que z y Sx.
Si y x, entonces z x, ya que x es transitivo.
Si y = x, entonces tambien z x, es decir, en cualquier
caso, z x Sx, o sea, Sx es transitivo.
64
Mas a
un, solo una de estas posibilidades se verifica.
65
B 6= ya que a A.
Por el axioma de regularidad nuevamente sea b B tal que
B b = . Como a 6 B, a 6= b.
La contradiccion se obtiene probando que a = b.
Sea x a, como a es ordinal, x tambien lo es. Como a A =
, x 6 A. Por u
ltimo como x a S S, x S S, ya que
este u
ltimo, al ser union de dos ordinales, es tambien un ordinal y, por
lo tanto, es transitivo.
Entonces
y(y S S (x y x = y y x))
en particular como b S S,
x b x = b b x.
Si x = b, b a, luego b 6 B.
Si b x, como a es ordinal b a, luego b 6 B. En ambos casos
tenemos una contradiccion.
Por lo tanto la u
nica posibilidad es x b, es decir, hemos demostrado que a b.
Supongamos ahora que x b. Como antes x S S y x 6 B
ya que B b = . Luego
ax a=x xa.
El teorema 1.3 garantiza que solo una de las tres posibilidades anteriores se verifica.
Teorema
3.14. Si A es un T
conjunto no vaco de ordinales, enT
tonces
A esordinal. M
as a
un, A A.
66
T
n. Si x A, entonces para todo A, x ,
Demostracio
luego x es ordinal, por loTtanto es transitivo.
Supongamos x y A. Entonces para todo A, x y
T
A, pero T
es ordinal, luego para todo A, x
TA, o sea,
x A y
A es transitivo. Hemos demostrado que
A es un
ordinal.
T
T
T
Por 3.13, para todo A,
A o
A = o A,
pero esta u
ltima posibilidad implica que,T en particular, . Las
dos primeras posibilidades implican que A A.
Teorema 3.15. Para cualquier y
i) ssi . S
S
ii) Si C S
, entonces
C=
o
C .
iii) = S.
iv) Si S, entoncesSS
o S = .
v) = S o = .
n.
Demostracio
i) Por transitividad de , si x ,
entonces x , o sea, . Como , 6= .
Si , entonces 6= y 6 . Luego por el
teorema
3.13, .
S
ii) C es un ordinal por el teorema
3.10.
S
Supongamos que C, entonces x para alg
un
x C y como hemos supuesto que C , x . SO sea
xS , lo que contradice el teorema 1.3. Luego
C
o
CS= .
iii) Si x S, x y para alg
un y S. Entonces y
o y = ; en cualquier caso x . S
Entonces x S, luego x S.
iv) Supongamos que S, o sea, o = . Como por
hipotesis , tendriamos que , lo que contradice el
teorema 1.3. Luego
S por 3.13, S o S
S = .
v) S
Sabemos que
es ordinal.
Si 6=S , entonces por ii),
S
.
Luego
por
iv),
S
S
S
S o S = . Si suponemos
S
que
S
,
como
S
,
concluiriamos
que
S
S
,
lo
que
contradice
el
teorema
1.3.
Luego
S
=
S
.
Observemos que iv) es una generalizacion del lema 3.3, iii). Tambien
es importante notar que todo ordinal es o bien sucesor de alg
un otro
ordinal o bien la union de s mismo.
67
si y solo si
xy x=y.
es un buen orden en . T
Si A y A 6= , entonces
A es el menor elemento de A.
0 es el menor elemento de .
< S si y solo si .
= { : < }.
No existe un ordinal tal que < < S.
si y solo si S
.
Si A , entonces
A es el supremo de A .
< si y solo si S .
S = S si y solo si = .
S < S si y solo si < .
n.
Demostracio
i) es obviamente reflexiva. Es antisimetrica
por el teorema 1.3. Es transitiva por la transitividad de .
Es decir, es un orden. En virtud del teorema 3.13, es un
orden total.
Para ver que es un buen orden, consideremos
T un subconjunto no vaco A T
. Por el teorema 3.14,
A A.
Supongamos x A ( A). Entonces para todo T
A x ,
en particular, x x, una contradiccion. Luego A ( A) = ,
o sea, es un buen orden.
ii) Quedo demostrado en (i), A es el menor elemento de A
iii) iv) y v) son obvios.
vi) Supongamos existe tal que S< < S, o lo que es lo
mismo, S, es decir S = , por 3.15 iii), una
contradiccion.
vii) Es consecuencia inmediata de la parte i) del teorema anterior.
68
S
viii) Supongamos A S
, entonces A es un ordinal
y para x S
A
S
es claro que x A, o sea, por vii), x A, es decir,
A
es cota superior.
S
Sea otra cota superior de A. Entonces para todo x A,
como x A y S
es cota superior de A , x , es
decir, x , o sea,
A , por lo tanto A es la menor de
las cotas superiores de A .
ix) Si , entonces por transitividad S , o sea, S .
Si S , como < S, < , por transitividad de < .
x) Supongamos S = S y 6= . Entonces como S =
S, S. Pero entonces . Analogamente lo que
es imposible, luego, = . Es claro que si = , S = S.
xi) < si y solo si S si y solo si S < S por ix) y
iv) respectivamente.
Observaci
on.
En viii) hay un peque
no abuso producido por el hecho de denotar
S
con el mismo smbolo ordenes distintos. En efecto, si tenemos A =
, entonces A no esta en el campo de , luego no puede ser una
cota superior. Podemos sin embargo entender dicha proposicion como
expresada en un orden cuyo campo contiene a , por ejemplo S o
cualquier ordinal mas grande. En este caso la proposicion es totalmente
correcta.
Ejercicios.
1. Probar que:
(a) es un ordinal si y solo si es un buen orden sobre
y implica que .
(b) Si es totalmente ordenado por y implica que
, entonces es un ordinal.
2. Todo ordinal es segmento inicial de alg
un otro ordinal.
3. Probar que
bien = 0 , o
S si y solo si es ordinal y, o S
bien 6= y para todo , = 0 , o 6= .
4. Probar que si ySsolo si es ordinal y para todo
tal que 6= 0 se tiene .
5. Probar que es ordinal si y solo si es transitivo y es
buen orden sobre .
6. Probar que si y solo si todo subconjunto no vaco de
tiene mayor elemento.
69
Teorema 3.20.
i) Sea y = G(x) una operaci
on unaria. Entonces existe una u
nica operaci
on unaria y = F (x) tal que
(Ord () F () = G({F () : })x(Ord (x) F (x) = x)
ii) Sean y = G(x), y = H(x) dos operaciones unarias, entonces
existe una u
nica operaci
on unaria y = F (x) tal que para todo
ordinal
F (S) = G(F ()) ( =
y si x no es ordinal,
F () = H{F () : })
F (x) = x).
n.
Demostracio
i) Demostraremos por induccion que para todo
ordinal existe una u
nica funcion f tal que
a) Domf = S,
b) f () = G(f ), para todo S y
c) si , entonces f f .
Sea entonces un ordinal y supongamos que para todo
< existe f con las propiedades a), b) y c). Entonces
definimos
f () =
f ()
G(f ())
, si ,
, si = .
f0 0 =
=
=
=
{f0 () : 0 }
{f () : 0 }
{g0 () : 0 }
g 0 0 ,
luego
f0 (0 ) = G(f0 0 ) = G(g 0 0 ) = g0 (0 ),
Es decir f0 = g0 lo que contradice nuestra suposicion.
Por lo tanto, por el teorema 3.17, para todo ordinal existe
una u
nica funcion f que verifica a) y b).
Podemos ahora definir nuestra operacion unaria y = F (x).
fx (x) si x es ordinal,
F (x) =
x
si x no es ordinal.
H(f ()) si = .
74
Ejercicios.
1. Definimos la clausura transitiva de a, que denotamos T (a), como
el menor conjunto transitivo que contiene a a . Demuestre
que existe la clausura transitiva de cualquier conjunto.
Indicacion: Definir recursivamente una funcion F sobre
de tal manera que
F (0) = a
[
F (n + 1) =
F (n)
S
y luego probar que T (a) = n F (n). Intuitivamente
[
[[
[[[
T (a) = a a
a
a ,
iii) es continua si
(( 6= 0
= A) () =
()).
1. La funcion S es estrictamente
creciente pero no continua, por
S
ejemplo SS
6= = S.
2. La funcion
es continua
S peroSno estrictamente creciente, por
ejemplo, < S, pero
= S.
3. Sea un ordinal lmite. Definimos para
S , si es sucesor,
f () =
, si no.
Facilmente podemos ver que f es normal.
Teorema 3.21. Sean A, B ordinales : A B una funci
on.
Si es estrictamente creciente, entonces para todo A,
().
n. Por induccion.
Demostracio
Teorema 3.22. Sean A, B ordinales : A B una funcion
continua tal que si S A, () < (S). Entonces es normal.
n. Tenemos que demostrar que es estrictamente
Demostracio
creciente. Lo haremos por induccion usando la siguiente formula
(x) = (( < x x A) () < (x))
i) (0) se verifica trivialmente.
ii) Si = S, supongamos que () se verifica y que S A.
Entonces para < , () () por hipotesis de induccion . Si = , () < (S), por hipotesis, es decir
luego
(( < = S S A) () < (beta)),
es decir, ().
iii) Si es lmite, entonces por la continuidad de , ().
Esto que completa muestra induccion. Luego es estrictamente creciente y por lo tanto normal.
Teorema 3.23. Si es una funcion normal y Dom es un
ordinal lmite, entonces () tambien es lmite.
n. Sea (). Como
Demostracio
[
() =
() ,
<
<
() =
<
<
()
() =
<
<
() ()
().
<
continua
() = (()) =
Pero si < () =
().
<()
<
() < () luego
(()).
<
Por lo tanto
()
<
(()) (()) = ()
77
o sea
() =
<
(),
< .
Observemos que si F ()
/ A, entonces F () = A y A F = ,
luego si > , F ()
/ A. Esto demuestra que = .
Si < < , entonces F F , luego A F A F ,
y por lo tanto
R menor elemento A F R menor elemento A F ,
es decir, F () F ().
Por otra parte, si < , F () F , luego F ()
/ A F y
por lo tanto F () 6= F ().
Esto demuestra que si definimos
f : A
7 F (),
f es una biyeccion y
si y solo si f ()Rf (),
o sea, R y son isomorfos.
79
7. Aritm
etica Ordinal
A continuacion definiremos la suma, el producto y la exponenciacion de ordinales.
Las dos primeras operaciones tienen una interpretacion bastante
intuitiva en terminos de buenos ordenes. Como sabemos todo ordinal
esta bien ordenado por , es mas, como vimos en la seccion anterior, todo buen orden esta codificado o representado por alg
un ordinal.
Ahora bien, la suma de dos ordinales y representa al (buen)
orden que resulta de ordenar poniendo todos los elementos de
despues de los de , graficamente
}
| {z
| {z }
si x = 0 y < ,
F (x, ) =
+ si x = 1 y < .
Entonces
iii)
iv)
v)
vi)
vii)
n.
Demostracio
Si = 0
( + ) + 0 = + = + ( + 0).
Supongamos que ( + ) + = + ( + ). Entonces
( + ) + S =
=
=
=
S(( + ) + )
S( + ( + ))
+ S( + )
+ ( + S).
Si 0 6= = y para todo , + ( + ) =
( + ) + . Entonces como + (x) = + x es normal y
es lmite, por 3.23,
+ = { + : < }
es lmite, y por 3.24
{ + : < } = { : < + }.
Similarmente, + (x) = + x es normal, luego
+ ( + ) =
=
=
=
=
=
=
+ { + : < }
+ { : < + }
{ + : < + }
{ + : < + }
{ + ( + ) : < }
{( + ) + : < }
( + ) + .
A = { S : + },
es no vaco, luego A tiene un menor elemento tal que
+ .
+ < + .
+ = { + : }
{ + : }
= + .
La desigualdad estricta no se puede lograr ya que, por ejemplo,
1 + = 2 + .
v) Obvio
vi) 0 + = se demuestra por induccion sobre .
Si = 0, entonces 0 + = 0 = .
83
0 + S = S(0 + ) = S.
Si 0 6= = y para todo , 0 + = ,
0 + = {0 + : } = { : } = ,
lo que completa la induccion.
vii) Ya lo demostramos en el teorema 3.28.
La suma de ordinales restringida a nos da la suma usual de los
n
umeros naturales, por ejemplo, 2 + 2 = 4. En efecto
2 + 2 = 2 + S1 = S(2 + 1) = S(2 + S0) = SS2 = S3 = 4.
En el proximo teorema se demuestran algunas propiedades de la
suma de los n
umeros naturales.
Teorema 3.31. Sean m y n n
umeros naturales. Entonces
i) m + n es natural.
ii) n + 1 = 1 + n.
iii) m + n = n + m.
n.
Demostracio
i) Por induccion sobre n .
m + 0 = m es natural.
Si m + n es natural, su sucesor tambien lo es. Pero
S(m + n) = m + Sn, luego m + Sn tambien es natural.
Por el principio de induccion, 3.1, para todo natural n, m+
n es natural.
ii) Por induccion sobre n .
1 + 0 = 1 = 0 + 1, por 3.30, vi).
Supongamos que 1 + n = n + 1. Entonces
1 + Sn = S(1 + n) = S(n + 1) = SSn = Sn + 1,
lo que completa la induccion.
iii) Por induccion sobre n .
m + 0 = 0 + m por 3.30, vi).
Supongamos que m + n = n + m. Entonces
m + Sn =
=
=
=
m + (n + 1) = (m + n) + 1
(n + m) + 1 = n + (m + 1)
n + (1 + m)
, por ii),
(n + 1) + m = Sn + m ,
[
{Sn : n } = 6= + 1 .
H(x) = x.
6= 0 la
+ ,
S
(S).
85
+
+ ,
por teorema 3.30, vii),
S
, ya que es creciente.
F (h, i) = +
< +
= S
alpha + = F (h, i),
F (h, i) = +
= +
< + = F (h, i),
o sea F es estrictamente creciente, luego es inyectiva y por lo tanto
es un isomorfismo.
Observaci
on.
El orden R recien introducido se llama orden antilexicografico,
corresponde a sustituir cada elemento de por una copia de .
Las propiedades basicas de la multiplicacion ordinal estan resumidas en el siguiente teorema.
Teorema 3.35.
i) ( + ) = + .
ii) ( ) = ( ) .
iii) 0 = 0 = 0.
iv) 1 = 1 = .
v) 2 = + .
vi) Si 6= 0, entonces .
vii) Si 6= 0 y < , entonces < .
viii) Si 6= 0 y 1 < , entonces < .
ix) Si < , entonces .
x) Si 1 < , 1 < , entonces + .
xi) Si , 6= 0, entonces 6= 0.
n.
Demostracio
i) Por induccion sobre .
Si = 0, ( + 0) = = + 0 = + 0
Si ( + ) = + ,
87
( + S) =
=
=
=
=
S( + )
( + ) +
( + ) +
+ ( + )
+ S.
Si = 6= 0 y para todo , ( + ) = +
y
[
( + ) = { + : }.
S
Como + es normal, { + : } es un ordinal lmite
luego
[
[
{ + : } =
{ ( + ) : }
[
=
{ + : }
= + { : },
ii)
iii)
v)
vii)
S( )
+1
+
S.
= { : } { : } = ,
lo que completa la induccion.
ix) Por induccion sobre .
x) Por induccion sobre .
88
Si = 2, entonces como 2 ,
+ =+2+=2=
Si 1 < y + ,
+ S =
S( + )
S( )
+1
+
S.
Si l Sk = Sk l, entonces
Sl Sk =
=
=
=
=
=
=
=
=
=
Sl k + Sl
k Sl + Sl,
(k l + k) + Sl
(l k + k) + Sl,
(l k + Sl) + k,
(l k + (l + 1)) + k
(l k + l) + (k + 1)
l Sk + Sk
Sk l + Sk,
Sk Sl.
y < .
luego m = .
Entonces si m 6= 0 y = , para alg
un 6= 0,
m = m ( ) = (m ) = =
0 =
ii)
iii)
iv)
v)
vi)
vii)
viii)
ix)
x)
0
1
, si es sucesor,
, si es lmite o = 0.
1 = 1.
0 = 1, 1 = y 2 = .
Si , > 1, entonces < .
Si > 1, entonces .
Si > 1 y < , entonces < .
Si 6= 0, entonces + = .
Si 6= 0, entonces ( ) = .
Si > 1 y 6= 0, entonces 1 < .
Si , > 1, entonces .
n.
Demostracio
i) y ii) se demuestran por induccion.
iii) es obvio.
iv) se verifica porque exp es estrictamente creciente y 1 = .
v) se puede demostrar por induccion sobre o por 3.21 porque
exp es normal para > 1.
vi) simplemente expresa que exp es creciente para > 1.
vii) Por induccion sobre .
Si = 0, entonces + = = 1 = 0 = .
Si + = , entonces
+S = S(+)
= +
= ( )
= ( )
= S .
92
Si = 6= 0 y para todo , + = ,
entonces como + es lmite y usando el teorema 3.24
+ =
=
=
{ : < + }
{+ : }
[
[
{ : < }
{ : }
[
=
{ : }
=
= ,
= , y por vii),
= +
= S .
Si = 6= 0 y para todo ,
entonces
( ) =
=
=
{( ) : }
{ : }
( ) = ,
{ : }.
Si , entonces
S =
+
+
S .
{ : < }
= .
Ejercicios.
1. Demuestre que los ordenes definidos en 3.34 y 3.29 son buenos
ordenes.
2. Demuestre la asociatividad de la multiplicacion, 3.35, ii).
3. Demuestre tambien 3.35, iii), iv), v) y ix).
4. Demuestre el teorema 3.41.
5. Encontrar ordinales , , tales que + = + y 6= .
6. Probar que:
(a) Si , entonces + + .
(b) Si + < + , entonces < .
(c) Si + < + , entonces < .
(d) Si < , entonces para todo n se tiene +n < +n.
(e) Si + = , entonces = 0.
(f) Si + = + , entonces = .
(g) Probar que si + = , entonces y = .
(h) Si + = + , entonces = .
94
F (0) = 0 ;
P
P
si es ordinal, entonces
= F () +
() ;
F (S)P
S FP
{ F () :
si es ordinal lmite, entonces
F () =
} ;
P
si no es ordinal, entonces
F () = 0.
ProbarPque:
a bien definida sobre
(a)
F est
P los ordinales.
(b) Si es ordinal,
entonces
P
P F () es ordinal.
(c) Definimos
() = F ().
F
P
(i) Probar que
n n = .
(ii) Para cada n definimos fn por:
(A) Dom (fn ) = + 1 ;
(B) si m y m 6= n , entonces fn (m) = m ;
(C) fn (n) = ;
(D) fn () =Pn.
Probar que
+1 fn () = + + n.
P
(iii) Probar que si < , entonces
F ()
P
F ().
(iv) Sea un ordinal. Probar que si G es una operacion
que lleva ordinales en ordinales, entonces si para todo
18.
19.
20.
21.
22.
es
ordinal
l
mite
y
=
6
0
,
entonces
{ :
S
} = { : }.
Sea
Q F una operacion que lleva ordinales en ordinales. Definimos
F ()
Qpor:
;
QF (0) = 1 Q
F (S) = F () F () ;
Si es ordinal
lmite y existe tal que F () = 0 ,
Q
entonces
F () = 0 ;
Si es ordinal
Q lmiteSy para todo se tiene F () 6= 0
{F () Q
: } ;
, entonces
F () =
Si no es ordinal, entonces
F () = 0.
Probar
Qque:
(a) QF esta bien definida.
(b) QF () es un ordinal si lo es.
(c) F () = 0Qsi y solo si existe
Q tal que F () = 0.
(d) Definimos F () := F ().
Para cada n definimos fn por:
(i) Dom (f n) = + 1 ;
(ii) si m y m 6= n , entonces fn (m) = m + 1 ;
(iii) fn (n) = ;
(iv) fn ()Q
= n + 1.
Entonces
+1 fn () = (n + 1).
(e) Si para toda
tiene F () 6= 0 , entonces si <
Q se Q
se tiene F () F ().
97
23.
24.
25.
26.
27.
28.
29.
30.
31.
32.
33.
34.
35.
Es u
nica esta representacion ? ( ver 2 ).
(d) Probar que si es ordinal lmite , entonces es primo si
Q
(b) Si para + se tiene = , entonces
+ =
+
.
Q
La coleccion de los V se llama la jerarqua acumulativa de conjuntos. Es usual definir tambien el universo de von Neumann a la clase
propia
[
V = {V : Ord()}.
H(x) =
x.
Ejercicios.
1.
2.
3.
4.
Demuestre
Demuestre
Demuestre
Demuestre
S
que para todo , V = {PV : < }.
el teorema 3.42.
es el mayor ordinal que pertenece a V .
el axioma de regularidad a partir del teorema 3.43.
103
104
CAPITULO 4
El Axioma de Elecci
on
El u
ltimo axioma de la teora de conjuntos en cierta medida pertenece
a una categora aparte debido a las importantes consecuencias que de
el se desprenden. Estudiaremos varias formulaciones diferentes de este
y enseguida algunas de sus aplicaciones.
1. Equivalencias del Axioma de Elecci
on
Axioma de Elecci
on (AC):
Si A es un conjunto de conjuntos no vacos, entonces existe una
funcion F cuyo dominio es A y tal que para todo x A, F x x .
Tal funcion se llama una funci
on de elecci
on para A .
Observemos que
[
F : A
A
x 7 F x x
La existencia de una funcion de eleccion implica elegir simultaneamente un elemento de cada conjunto que pertenece a A . Esto no
representa ning
un problema si A es finito, sin embargo si A es infinito,
no es en absoluto intuitivo que se pueda hacer. Notese tambien que el
axioma no da ninguna idea de como construir tal funcion.
La siguiente es una lista de los principios mas importantes que son
equivalentes al axioma de eleccion.
1. Principio Multiplicativo:
Si A es una funcion y Dom A = I y si Ai = A(i) 6= ,
entonces iI Ai 6= .
2. Principio de Zermelo:
Si P es una particion de un conjunto A , entonces existe
B A tal que para todo M P , B M tiene un solo
elemento.
Recordemos que toda particion sobre A induce una relacion
de equivalencia cuyo campo es A y cuyas clases de equivalencia
son los elementos de P . El principio de Zermelo nos dice que
podemos escoger un elemento de cada clase de equivalencia, es
decir un sistema de representantes de las clases de equivalencia.
105
3. Principio de Enumeraci
on:
Para todo conjunto A existe un ordinal y una funcion
biyectiva entre ellos.
4. Principio de Buen Orden:
Todo conjunto puede bien ordenarse.
5. Lema de Zorn:
Si A es un conjunto parcialmente ordenado por R y todo
subconjunto de A totalmente ordenado por R tiene una cota
superior en A , entonces A tiene un elemento maximal.
Un subconjunto de A totalmente ordenado por R se llama
una R-cadena.
Notese que la hipotesis del lema de Zorn implica que A 6=
ya que es una R-cadena luego tiene una cota superior en A .
6. Principio de Kuratowski:
Si R es un orden parcial y S R es un orden total, entonces
hay un orden -maximal T tal que S T R.
Dicho de otro modo, todo suborden total de un orden parcial
puede extenderse a un orden total maximal.
7. Principio de Tricotoma:
Dados dos conjuntos A y B , existe una funcion inyectiva
de A en B o existe una funcion inyectiva de B en A .
8. Principio de la Imagen Inversa:
Dados dos conjuntos no vacos A y B , existe una funcion
sobreyectiva de A en B o existe una funcion sobreyectiva de
B en A .
Como veremos en el Captulo 5 estos dos u
ltimos principios son
muy importantes en la teora de cardinalidad.
Teorema 4.1. Todos los principios anteriores son equivalentes al
axioma de eleccion.
n. Primero demostraremos AC 1) 2) AC.
Demostracio
AC 1).
Sea A una funcion con Dom A = I tal que para todo i I,
Ai 6= , . Entonces, por el axioma de reemplazo, A = {Ai : i I} es
un conjunto de conjuntos no vacos.
Por AC, existe F, Dom F = A y para todo i I, F (Ai ) Ai .
G : I
Ai
iI
i 7 F (Ai )
106
G iI Ai ,
o sea,
iI Ai 6= .
1) 2).
Sea P una particion de A . Entonces P PA, luego P es un
conjunto. Consideremos IP , la funcion identidad sobre P . Por 1)
M P IP (M ) = M P M 6= ,
luego existe una funcion G , tal que Dom G = P y para todo M
P, G(M ) M . Como M A para todo M P, Rec G A.
Ademas, como los elementos de P son disjuntos, para cada M P ,
M Rec G = {G(M )}.
2) AC.
Sea A un conjunto no vaco de conjuntos no vacos.
Definamos K = {hx, yi : y x A} y P = {{hx, yi : y x} :
x A}. Es claro que K es un conjunto (por que?) y que P es una
particion de K .
Escojamos B K tal que para cada M P, B M tiene
exactamente un elemento. Entonces B es una funcion de eleccion para
A . En efecto, para cada x A,
B {hx, yi : y x} = {yx },
para alg
un yx x. Luego B es funcion, Dom B = A y para cada
x A, B(x) x.
La equivalencia de los otros principios la demostramos dando un
gran crculo de implicaciones que comienza y termina en AC.
AC 3.
Sea A un conjunto. Vamos a encontrar un ordinal y una funcion
biyectiva de en A .
Podemos suponer que A 6= .
Consideremos PA{}. Este es un conjunto no vaco de conjuntos
no vacos, luego existe una funcion de eleccion F para el. Notemos
que esta asigna a cada subconjunto no vaco de A un elemento de si
mismo.
Definimos por recursion una operacion unaria H como sigue
F (A H ) , si A H 6= ,
H() =
A
, si A H = .
Si < , entonces
H H
A H A H ,
107
g(x) =
g : B A
f 1 (x) , si x f A,
a
, si x B f A.
Entonces g es sobreyectiva.
8) AC.
Para demostrar esta implicacion debemos demostrar un lema previo.
Lema 4.2. Sea B un conjunto. Entonces
= { : existe funci
on inyectiva f : B}
tambien es un conjunto.
n. Sea M = {R : R es un buen orden y campo
Demostracio
R B}. M P(PB PB), por lo tanto M es un conjunto. Como
sabemos, por el teorema 3.27, para todo buen orden R existe un u
nico
ordinal tal que R y {h, i : < }, es decir, el orden de ,
son isomorfos. Entonces
= { : existe R M es isomorfo con R}.
En efecto, si existe una funcion inyectiva f : B,
entonces
R = {hf (), f ()i : < } M,
R y son isomorfos y el isomorfismo es precisamente f .
Supongamos ahora que es isomorfo a un buen orden R M y
sea g : R tal isomorfismo. Entonces por ser isomorfismo, g es
inyectiva y g : Cam R B, es decir .
Como M es conjunto, por el axioma de reemplazo, es un
conjunto.
Demostremos ahora el teorema. Sea A un conjunto no vaco de
conjuntos no vacos. Queremos encontrar una funcion de eleccion para
110
A . Como A es conjunto, P
demostrado,
S
o sea, existira una funcion inyectiva de en P A, contradiciendo
la u
ltima afirmacion.
S
Entonces por 8), existe una funcion sobreyectiva g : A.
Definamos
F : A
a 7 g(
A
\
g 1 a) .
Ai
hn, mi 7 fn (m)
g : Ai como sigue
g(n, m) = fn (m).
g es inyectiva ya que si g(n, m) = g(p, q) entonces
fn (m) = fp (q) An Ap ,
y como los Aj son disjuntos se tiene que n = p. Entonces como las
fi son inyectivas, m = q, o sea, g es inyectiva.
112
S
g es sobreyectiva ya que si a Ai existe n tal que a An y
como fn es sobreyectiva, existe m tal que
a = fn (m) = g(n, m).
S
Es decir, existe una biyeccion g de en
C.
Por otra parte es bien sabido que existen biyecciones entre y
(ver el captulo 5). Si tomamos cualesquiera de ellas, digamos,
h : ,
S
entonces f = g h es una biyeccion entre y C , luego este u
ltimo
es enumerable.
Observemos que en la demostracion anterior aparentemente no hemos usado el axioma de eleccion. Sin embargo este se uso cuando
escogimos las funciones biyectivas fi , especificamente,
si Bi = {f : Ai , f biyectiva }
A = {Bi : i } es un conjunto no vaco de conjuntos no vacos
(esto u
ltimo por hipotesis) luego por el axioma de eleccion existe para
cada i un elemento
fi Bi .
Este teorema es el ejemplo clasico de uso encubierto del axioma de
eleccion. Durante a
nos los matematicos hicieron uso de argumentos
como el anterior sin darse cuenta de que estaban usando un principio
especial.
Teorema 4.5. Existe un conjunto de n
umeros reales que no es
Lebesgue-medible.
n. Definimos sobre [0, 1) la siguiente relacion de eDemostracio
quivalencia.
x y ssi x y Q
Entonces induce una particion de [0, 1). Por el principio
de Zermelo, existe un subconjunto B [0, 1) tal que B contiene
exactamente un representante de cada clase de equivalencia.
Sea {ri }i una enumeracion de los racionales entre 0 y 1 (ver
captulo 5) y sea Bi = B + ri = {x + ri : x B}, donde la suma es
modulo 1 i.e.
x+y
si x + y < 1
x+y =
x + y 1 si x + y 1
Es bien sabido que si A es un conjunto Lebesgue-medible, entonces
A + a tambien lo es; mas a
un, m(A) = m(A + a).
113
Bi ) =
m(Bi ).
Ejercicios.
1. Demuestre sin usar el axioma de eleccion que todo conjunto tiene
una funcion de eleccion. (Indicacion: Use induccion sobre el
n
umero de elementos del conjunto).
2. Demuestre que el conjunto K definido el el teorema 4.1, 2)
AC es efectivamente un conjunto y que el conjunto P es una
particion de K .
3. Complete los detalles de la demostracion de 4.1, 5) 6).
4. Demuestre que la relacion R definida en la demostracion del
teorema 4.1, 6) 7), es efectivamente un orden parcial.
5. Demuestre que toda relacion binaria contiene una funcio con el
mismo domino.
115
116
CAPITULO 5
Cardinales
En este captulo investigaremos uno de los topicos mas importantes
de la teora de conjuntos, a saber, la teora de la cardinalidad o n
umero
de elementos que tiene un conjunto. Hasta el momento sabemos como
contar los elementos de los conjuntos finitos. En este captulo formalizaremos estos conceptos intuitivos y los generalizaremos a conjuntos infinitos. La mayor parte de los teoremas de este captulo dependen
del axioma de eleccion. Indicaremos estos mediante el smbolo .
1. Definiciones y Resultados B
asicos
n 5.1.
Definicio
i) Dos conjuntos A y B son equinumerosos
ssi existe una biyeccion entre A y B . En tal caso escribimos
A B.
ii) Un ordinal es un cardinal ssi no es equinumeroso con
ninguno de sus elementos.
Si es un cardinal escribimos Car (). En general usaremos
letras goticas min
usculas m, n, p para designar cardinales.
Ejemplo.
1. Dos intervalos de n
umeros reales son siempre equinumerosos.
Para demostrar esto basta ver que
f : [a, b] [c, d]
dc
cb ad
x 7
x+
ba
ba
es una biyeccion.
2. Todo intervalo abierto es equinumeroso con el conjunto de los
n
umeros reales.
Considerese la funcion
tan : ( , ) R
2 2
Sabemos que tan x es una biyeccion. Una funcion similar a la
del ejemplo anterior demuestra que cualquier intervalo abierto es
equinumeroso con ( 2 , 2 ).
117
3. y son equinumerosos.
Considerese la funcion
f :
hm, ni 7 2m (2n + 1) 1 .
f es una biyeccion.
Resulta claro que la relacion ser equinumeroso es reflexiva, simetrica y transitiva, pero no es una relacion dentro de nuestra teora
ya que su campo es la clase de todos los conjuntos. Naturalmente,
si nos restringimos a un conjunto particular, esta es una relacion de
equivalencia.
En el caso finito, la cantidad de elementos de un conjunto nos sirve
como una nocion de tama
no. Para ello se identifica todos aquellos
conjuntos que tienen el mismo n
umero de elementos, en otras palabras,
todos aquellos que son equivalentes bajo la relacionanterior. Una
posible idea es definir la cardinalidad de un conjunto como su clase
de equivalencia bajo la relacion de equinumerosidad, sin embargo, es
claro que la clase de equivalencia de cualquier conjunto no vaco es una
clase propia, por lo tanto no existen dentro de nuestra teora,luego no
podemos usarlas como cardinales.
Para conjuntos finitos, es facil ver que en cada clase de equivalencia habra un u
nico n
umero natural, este se conoce habitualmente
como la cardinalidad o n
umero de elementos del conjunto, vale decir,
aquel u
nico natural con el que es equinumeroso. Podemos tratar de
generalizar la idea anterior a conjuntos infinitos, sin embargo, hay dos
dificultades, la primera es que dado un conjunto infinito cualquiera, no
podemos garantizar que exista alg
un ordinal que es equinumeroso con
el. De hecho tal afirmacion es ni mas ni menos, el principio del buen
orden, es decir, equivalente con el axioma de eleccion. En segundo lugar, es facil ver que si existe un ordinal equinumeroso con un conjunto
infinito dado, este no sera nunca u
nico, como lo demuestra por ejemplo
la funcion que aparece en la demostracion del teorema 5.3, la que nos
dice que y + 1 son siempre equinumerosos.
Por estos motivos, la manera de extender la nocion de cardinalidad
de los conjuntos finitos a los infinitos es suponer el Axioma de Eleccion
y escoger un representante de cada una de las clases de equivalencia,
a saber, el menor ordinal que pertenece a ella. Necesitamos antes un
par de resultados.
Teorema 5.1. Si m 6= n, entonces m y n no son equinumerosos.
n. Como m y n son ordinales distintos m n o
Demostracio
n m, luego m y n no son equinumerosos por definicion de cardinal.
118
si x = ,
0
x + 1 si x ,
f (x) =
x
si x 6 , x 6= .
Es claro que f es una biyeccion.
An+1
A0 = A , D0 = D
= h An , Dn+1 = h Dn
..
.
|A|
|B|
121
iii) i)
Supongamos A 6= 0 y sea g : B A sobreyectiva. Entonces
g 1 A induce una particion de B , a saber, {g 1 {a} : a A}. Por el
axioma de eleccion, escogemos un sistema de representantes para esta
particion. Definimos f : A B asignando a x A el representante
de g 1 {x} anteriormente elegido. Es claro que f es inyectiva, luego,
|A| |f A| y f A B, luego por 5.5, |A| = |f A| |B|.
Observemos que el axioma de eleccion se usa solamente en la demostracion de iii) i). Todas las otras implicaciones se pueden demostrar sin ese axioma. Todava no hemos dado ning
un ejemplo de
cardinal. Los siguientes dos teoremas remedian esta situacion.
Teorema 5.7. Si n , entonces n es un cardinal.
n. Por induccion.
Demostracio
Es claro que 0 es un cardinal.
Supongamos que n es un cardinal y n + 1 no lo es. Entonces
existe m < n + 1 tal que m n + 1, es claro que m 6= 0. Sea
f : n + 1 m una biyeccion. Podemos suponer que f (n) = m 1,
porque si no, mediante una permutacion apropiada lo podemos lograr.
Entonces f n : n m 1 es una biyeccion, luego, por hipotesis
de induccion, m 1 = n, o sea, m = n + 1, una contradiccion. Por lo
tanto n + 1 es cardinal, lo que completa nuestra induccion.
Teorema 5.8. es cardinal.
n. Sabemos por 5.3, iii), que || . Si || <
Demostracio
, || = m para alg
un n
umero natural m.
Pero m m + 1 , luego
|| = m = |m| |m + 1| = m + 1 ||
luego m = m + 1, contradiccion.
Luego || = .
Teorema 5.9. Cantor
Para todo A, |A| < |PA|.
B = {x A : x 6 f (x)}.
Como B A y f es sobreyectiva, existe a A tal que B = f (a).
Entonces si a B, por definicion a 6 f (a), luego a 6 B. Si
a 6 B, entonces a 6 f (a), o sea, a B, es decir,
a B si y solo si a 6 B,
contradiccion, luego tal funcion sobreyectiva no puede existir y |A| =
6
|PA|.
Corolario 5.10. Dado un ordinal , existe un cardinal m > .
n. Basta considerar
Demostracio
m = |P|.
es un cardinal.
S
Demostraci
o
n.
Supongamos
S
S
S no es un cardinal, entonces,
| | < (recordemos que
es un ordinal). Luego, existe
n
[
| | n ,
S
pero n y
[
[
| | < n = |n| | | .
n 5.3. Para todo ordinal , + es el menor cardinal
Definicio
mayor que .
Definimos la operacion (aleph) recursivamente para todo ordinal.
123
0 =
+1 = ( )+
[
=
, si es lmite.
<
Ejercicios.
1. Demuestre que la relacion ser equinumeroso es refleja simetrica
y transitiva.
2. Probar que:
(a) PPP0 4.
(b) Si A B, entonces C A C B.
(c) Si B C = , entonces BC A B A C A.
(d) C (B A) BC A.
(e) C (A B) C A C B.
(f) Si R1 es el conjunto de todos los ordenes estrictos sobre X
y R2 es el conjunto de todos los ordenes sobre X, entonces
R1 R2 .
(g) Probar que si E es el conjunto de todas las clases de equivalencia sobre A y P es el conjunto de todas las particiones
de A , entonces E P .
3. Sea A un conjunto. Probar que PA A 2.
4. Sea {Ij : j J} una particion de I. Probar que
Y
Y Y
Ai
(
Ai ).
iI
jJ iIj
5. Si A1 A2 y B1 B2 y A1 B1 = A2 B2 = , probar que
A1 B1 A2 B2 .
6. Probar que si A C y B D, entonces A B C D.
7. Probar que si A B, entonces PA PB.
8. Probar que si (A B) (B A), entonces A B.
9. Probar que si A B y a A y b B, entonces (A {a})
(B {b}).
10. Probar que si A B y C D y C A y D B, entonces
(A C) (B D).
11. Sean (Ai )iI y (Bi )iI dos familias, cada una de conjuntos
disjuntos
dos
S
S a dos. Si Ai Bi para todo i I, probar que
A
i
iI
iI Bi .
12. Sean (Ai )iI y (Bi )iI dos familias
tales que Ai
Q de conjuntos
Q
Bi para todo i I. Probar que iI Ai iI Bi .
124
13. Demuestre las partes del teorema 5.3 que no fueron demostradas
en el texto.
14. Haga la induccion mencionada en la demostracion del teorema
5.4.
15. Demuestre directamente, sin usar el axioma de eleccion, la equivalencia de las dos primeras afirmaciones del teorema 5.6.
16. Demuestre directamente, sin usar el axioma de eleccion, la implicacion i) iii) del teorema 5.6.
17. Probar que para intervalos de n
umeros reales se tiene (a, b)
[a, b].
18. Probar que y | 2| son cardinales distintos.
19. Probar que |Q| = |Q[x]| = , donde Q[x] es el conjunto de
polinomios en x con coeficientes en Q.
20. Sea R el conjunto de todas las races reales de polinomios de
Q[x]. Probar que |R| = .
21. Si B A y |B| < |A|, cual es la cardinalidad de A B ?.
22. Probar que es un cardinal tal que < si y solo si es
ordinal lmite.
23. Para y ordinales, probar o dar contraejemplo de:
(a) Si y son cardinales, entonces + es cardinal.
(b) Si y son cardinales, entonces es cardinal.
(c) | + | = || + ||.
(d) | | = || ||.
(e) Si < , entonces || < ||.
24. Sean A , B y C conjuntos. Probar que:
(a) Si B 6= , entonces |A| | B A|.
(b) SI B C, entonces | B A| | C A|.
(c) Si |B| 2, entonces |A| | A B|.
25. Probar que para todo , es un cardinal.
26. Probar que:
(a) = si y solo si = .
(b) < si y solo si < .
27. Probar que para todo cardinal existe un ordinal tal que
< .
2. Conjuntos Finitos y Conjuntos Infinitos
En esta seccion daremos un marco formal a la nociones intuitivas
de finitud e infinitud yveremos algunas diferencias entre estos dos tipos
de conjuntos.
n 5.4.
Definicio
i) Un conjunto A es finito si |A| < 0 .
ii) A es infinito si |A| 0 .
125
contradiccion.
) Supongamos que f es sobreyectiva. Entonces f induce la siguiente particion sobre A :
{f 1 {b} : b B}
Ejercicios.
1. Demuestre que un conjunto A es Dedekindinfinito si existe una
funcion inyectiva de A en A , que no es sobreyectiva.
2. Sea F una funcion de A sobre B , con A enumerable. Probar
que |B| 0 .
127
21.
22.
23.
24.
25.
26.
[
iI
{hi, i : mi }
129
Si I = 2, escribimos
mi = m0 +c m1
i2
|{(0, ) : m0 }| = m0 y |{(1, ) : m1 }| = m1 ,
la finalidad de tomar estos conjuntos de pares ordenados es simplemente
disjuntar los conjuntos (obviamente m0 y m1 no son disjuntos).
El siguiente teorema nos dice que no importa que conjuntos usemos
para calcular la suma siempre que estos sean disjuntos y tengan las
cardinalidades adecuadas.
Teorema 5.17.
Si hAi : i Ii y hBi : i Ii son familias de conjuntos disjuntos
dos a dos tales que para todo i I Ai Bi , entonces
[
[
X
Ai
Bi
|Ai |
iI
iI
iI
[
iI
Ai
Bi
a 7 fi (a) ,
si a Ai .
[
iI
Ai |
130
iI
|Ai |.
En particular
[
iI
mi
mi .
iI
[
[
{hi, i : mi }
Ai
iI
hi, i 7 fi (a).
iI
Ai |
iJ
iI
v) Observese que
f : m
{h, i : 1}
7 h, 0i
131
es una biyeccion.
iI
n. Considerese
Demostracio
f:
[
[
{hi, i : mi }
{hi, i : m(i) }
iI
iI
1
hi, i 7 h (i), i.
con hj, i
iI {hi, i
: mi }, luego f es sobreyectiva.
iI
jJ
jJ
hi,jiIJ
Aij | =
132
X
jJ
mij .
S
Pero h jJ Aij : i Ii es tambien una familia de conjuntos disjuntos a pares luego
X [
[ [
|
Aij | = | ( Aij )|.
iI
jJ
iI jJ
hi,jiIJ
iI
jJ
B tambien
Si I = 2, XiI mi se escribe m0 c m1 .
En general si I = n, XiI mi = m0 c m1 c c mn1 .
iI
iI
definida por
f (a)(i) = fi (a(i)),
Para todo a iI Ai .
Veamos que f es inyectiva.
Si f (a) = f (b), entonces para todo i I
decir
f (a)(i) = f (b)(i), es
fi (a(i)) = fi (b(i)),
pero como para todo i I, las funciones fi son inyectivas, a(i) = b(i),
es decir, a = b.
Q
Para verificar que f es sobreyectiva. Sea b iI Bi y sea
a(i) = fi1 (b(i)). Tal a(i) existe por ser fi biyectiva. Es claro que
f (a) = b.
Q
Q
Por lo tanto f es biyeccion y
iI Ai
iI Bi .
Q
Corolario 5.25. | iI Ai | = XiI |Ai | y en particular |A B| =
|A| c |B|.
134
mi = 0 para alg
un i I, entonces
iI
Demostraci
o
n.
i)
En
este
caso
iI mi = .
Q
ii) Qi mi = {0}
iii) iI 1 = {f }, donde f (i) = 0, para todo i I.
iv) Notese que
[
I m = {hi, i : m},
iI
v) En este caso
iI
= |I c m|
= |I| c m.
Y
iI
mi
ni .
iI
iI
definida por
f (a)(i) = a((i)).
Teorema 5.28. (Asociatividad Generalizada)
Xhi,jiIJ mij = XiI (XjJ mij ).
135
Xhi,jiIJ mij = |
Definimos F :
hi,jiIJ mij
hi,jiIJ
mij |
Q
(
jJ mij )
iJ
iI
iI
n c ni {hi, , i : m, ni }.
Por otra parte
n c
Por u
ltimo
F : m c
[
iI
X
iI
ni = |m c
[
{hi, i : ni }|.
iI
{hi, i : ni }
[
{hi, , i : m, ni }
iI
h, hi, ii 7 hi, , i
es obviamente biyectiva.
El siguiente teorema tiene por consecuencia el que las operaciones
de suma y producto cardinal para el caso infinito son en alg
un sentido
triviales.
Teorema 5.30. Sea m un cardinal infinito. Entonces
m c m = m
136
si y solo si
1. =
y
= o
2. < o
3. =
y
< o
4. =
y
=
y
.
No demostraremos que 4 es un orden lineal sobre m c m pues
su demostracion es rutinaria. Para ver que 4 es un buen orden, sea
m c m no vaco.
Sea
\
= { : h, i },
es claro que existe pues es el menor elemento de un conjunto no
vaco de ordinales.
Sea
\
= { : h, i } para alg
un y = }.
Finalmente sea
\
{ : h, i }
Por lo tanto
f () 4 f (m) 4 h, i y f () 6= .
es inyectiva, luego,
f m : m
m | | = || c ||.
Como < m, o bien, es finito, o bien || c || = ||.
En el primer caso m es finito. En el segundo m || y < m lo
que contradice el que m sea cardinal. Esto concluye la demostracion.
Corolario 5.31. Si m 0
o n 0 , entonces m +c n = m n.
Si ademas m 6= 0 y n 6= 0, m c n = m n.
Si , son ordinales, entonces
+ = = c .
n. Supongamos sin perdida de generalidad que m
Demostracio
0 y m n. Entonces
Luego
m +c n
=
m +c m
m c 2 por 5.26 iv),
m c m
m
m +c n
m +c n = m = m n.
Si ademas suponemos n > 0,
Luego
m c n
=
=
m c m
m
m c 1
m c n
m c n = m = m n.
La observacion respecto de los ahora es obvia.
Corolario 5.32. Sea mS un cardinal infinito, |Ai | m para todo
i I y |I| m. Entonces | iI Ai | m.
138
n.
Demostracio
|
[
iI
Ai |
X
iI
|Ai |
m
iI
= |I| c m
m c m
= m.
n. Como ni mi 6= , existe f
Demostracio
Definimos ahora
[
Y
F : {hi, i : mi }
ni
ii
iI (ni
mi ).
iI
f (j) si i 6= j,
si i = j.
F es inyectiva. En efecto, supongamos que
F (hi, i)(j) =
Entonces, si i 6= j,
iI
139
iI
iI
contradiciendo la definicion de `.
Por u
ltimo verificamos que el producto de cardinales finitos se comporta como lo deseamos.
Teorema 5.35. Si m, n son naturales
m c n = m n
n. Por induccion
Demostracio
- m c 0 = 0 = m 0
- Supongamos m c n = m n. Entonces
m c Sn = |m (n {n})|
= |m n m {n}|
y como la union es disjunta y m {n} m,
m c Sn = m c n +c m
= mn+m
= m Sn .
Corolario 5.36. El producto finito de cardinales finitos es finito.
140
3.3. Exponenciaci
on de Cardinales. Para terminar con esta
seccion definiremos la operacion de exponenciacion de cardinales. Debemos tener presente que al igual que en el caso de las sumas y los productos, la exponenciacion cardinal difiere radicalmente de la exponenciacion ordinal. Sin embargo, diferencia de las otras dos operaciones,
no existe una buena manera de distinguir notacionalmente ambas exponenciaciones. Para no recargar a
un mas una notacion de suyo algo
engorrosa, hemos optado por usar la misma notacion para las dos dejando al contexto como indicador de cual de las dos exponenciaciones
se esta usando. En general, como las letras goticas designan cardinales,
no hay demasiada poibilidad de confusion.
n 5.7. Si m y n son cardinales,
Definicio
mn = |n m|
Es decir la exponenciacion de m por n es la cardinalidad del conjunto
de todas las funciones de m en n . Por simplicidad notacional, cuando
el exponente sea un no lo subrayaremos.
Teorema 5.37. Dados dos conjuntos A y B ,
|A B| = |B||A|
n. Basta probar que A B |A| |B|. Consideremos las
Demostracio
biyecciones f y g como en el diagrama.
A
B
g
F (x)
|A| |B|
Definimos
F :
B |A| |B|
x 7 g x f
Teorema 5.39.
i) m
ii) (XiI mi )n = XiI mni .
ni
= XiI mni .
i) Sea
n.
Demostracio
F :
iI
iI {hi,i:mi }
Y
(ni m)
iI
f 7 F f
F :
Y
iI
mi
Y
(n mi )
iI
nc p
definida por
F (f )(h, i) = f ()()
es la biyeccion requerida.
El siguiente teorema es bastante u
til.
Teorema 5.41. Para cualquier conjunto A ,
|P(A)| = 2|A|
142
donde
: P(A) A 2
B 7 B ,
B (x) =
1 si x B,
0 si x 6 B .
(2m )n
2mc n
2n
mn ,
f () = .
<
<|X|
f () < m,
<|X|
Teorema 5.44.
<
X
<
|f ()|
X
<
= || c c = .
Ejercicios.
Cual es la cofinalidad de + , , ?
Demuestre que cof () es un cardinal.
Demuestre que cof (cof
S ()) = cof ().
Si m es un cardinal, cof (m) = m.
Demuestre que la funcion f definida en el teorema 5.43 es efectivamente creciente.
6. Demuestre que cof (m) es el menor cardinal n tal que existe
una particion de m en n conjuntos cada uno de los cuales tiene
cardinalidad estrictamente menor que m.
1.
2.
3.
4.
5.
5. La Hip
otesis del Continuo
Por el teorema de Cantor 5.9 sabemos que 0 < 20 , es decir, el
conjunto de todos los subconjuntos de tiene mayor cardinalidad que
. Sin embargo no sabemos si existe alg
un otro cardinal entre 0
y 20 . La afirmacion de que este no es el caso recibe el nombre de
Hipotesis del Continuo (HC), es decir
20 = 1 .
m . Por la desigual-
= 0 .
Corolario 5.45.
20 6= .
n. Si 20 = , entonces
Demostracio
una contradiccion.
20 < (20 )0 = 20 c 0 = 0 ,
<cof (n)
F ()
<cof (n)
m
n
m+
m =
n+
|F ()| <
n = ncof (n) .
<cof (n)
si
si
si
<m
||n
(|| n)||n
<m
(|| n)+ ,
<m
<m
m = m c m = m
Ejercicios.
1. Demuestre que HGC es equivalente con mcof (m) = m+ , para
todo m infinito.
148
+1
= c +1 .
149
150
Bibliografa
[1] Chuaqui, R. B. Aximatic Set Theory. Impredicative Theories of Classes. North
Holland, 1981.
[2] Di Prisco, C. A. Una Introduccion a la Teora de Conjuntos y los Fundamentos
de las Matematicas. IVIC., Venezuela, 1996. Notas de Clase.
[3] Enderton, H. B. Introduction to Set Theory. Academic Press, 1977.
[4] Hrbacek, K. y Jech, T. Introduction to Set Theoru. Marcel Dekker, 1984.
[5] Kunen, K. Set Theory, an Introduction to independence proofs. North-Holland,
1980.
[6] Kuratowski, K. y Mostowski, A. Set Theory, with an introduction to descriptive set theory. NorthHolland, 1976.
[7] Monk, J. D. Introduction to Set Theory, Mac Graw-Hill, New York, 1969.
[8] Moore, G. H. Zermelos Axiom of Choice. Its origins, Development, and influence. SpringerVerlag, 1982.
151
152
Glosario
funci
on inversa 30
imagen de un conjunto por una funcion
30
funci
on de a en b 31
funci
on inyectiva 31
funci
on uno a uno 31
funci
on sobreyectiva 31
funci
on identidad 33
restricci
on de una funcion 33
relaci
on reflexiva 40
relaci
on simetrica 40
relaci
on transitiva 40
relaci
on de equivalencia 40
clase de equivalencia 41
partici
on 42
partici
on asociada a una relacion de
equivalencia 42
relaci
on asociada a una particion 42
relaci
on antisimetrica 44
relaci
on conexa 45
orden parcial 45
orden total 45
relaci
on asimetrica 46
orden estricto 46
relaciones isomorfas 46
isomorfismo de orden 46
preorden 47
cota superior 48
cota inferior 48
supremo 48
nfimo 48
elemento minimal 48
elemento maximal 48
relaci
on bien fundada 49
buen orden 49
sucesor 57
conjunto Inductivo 58
n
umeros naturales 58
Principio de Induccion 58
clase propia 6
pertenencia 8
Axioma de Extensionalidad 9
subconjunto 9
Axioma del Conjunto Vaco 9
conjunto vaco 10
10
Axioma de Separacion 10
Axioma de Pares 11
par no-ordenado 11
singleton 11
Axioma de Uniones 11
union 11
interseccion 12
conjuntos disjuntos 12
Axioma del Conjunto Potencia 13
conjunto potencia 13
Axioma de Regularidad 13
Axioma del Conjunto Infinito 14
funcion proposicional 14
Axioma de Reemplazo 14
complemento relativo 17
diferencia de conjuntos 17
complemento 18
par ordenado 23
producto cartesiano 24
relacion 24
dominio de una relacion 24
recorrido de una relacion 24
campo de una relacion 25
composicion de relaciones 25
inversa de una relacion 25
imagen de un conjunto por una relacion
27
funcion 30
dominio de una funcion 30
recorrido de una funcion 30
campo de una funcion 30
composicion de funciones 30
153
154