Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Conjuntos PDF
Conjuntos PDF
Teora de Conjuntos
por Enrique Arrondo()
Versi
on del 20 de Marzo de 2012
Estas notas est
an basadas en el libro Introduction to Set Theory, de Karel Hrbacek y Thomas Jech,
donde el lector puede profundizar en los detalles (se recomienda vivamente la tercera edici
on, que mejora y
completa sustancialmente la segunda). Agradezco a los distintos alumnos de los distintos cursos todas las
sugerencias y erratas que me han indicado para mejorar la presentaci
on de estas notas. Quiero agradecer
muy especialmente a Luca Martn Reyes y Ricardo Laorga Su
arez por pasarme listas sistem
aticas de
erratas y sugerencias.
Departamento de Algebra,
Facultad de Ciencias Matematicas, Universidad Complutense de Madrid, 28040 Madrid, arrondo@mat.ucm.es
()
La paradoja original era sobre el barbero de un pueblo que afeitaba a todos los del pueblo que no se
Definici
on. Llamaremos conjunto vaco al u
nico conjunto sin elementos, y lo denotaremos
por .
El siguiente axioma es el que permite definir un conjunto a partir de una propiedad,
pero partiendo ya de un conjunto dado (en particular, no puede existir el conjunto de todos
los conjuntos, porque entonces existira el conjunto X de la paradoja de Russell).
Axioma de Separaci
on. Dada una propiedad P y un conjunto X, existe un conjunto Z
tal que x Z si y s
olo si x X y P (x).
El conjunto anterior Z es u
nico (demuestrese) y lo denotaremos como
Z = {x X | P (x)}.
Ejemplo 1.3. Si P es la propiedad x = x, entonces Z = X, mientras que si P es la
propiedad x 6= x entonces Z = . En particular, el Axioma de Existencia se puede sustituir
por otro m
as debil: que exista alg
un conjunto.
Corolario 1.4. Dados dos conjuntos, X, Y , existe un (
unico) conjunto Z tal que x Z
si y solo si x X y x Y .
Demostraci
on: Definimos la propiedad P que sea pertenecer a Y . Entonces, por el Axioma
de Separaci
on, Z = {x X | P (x)} es un conjunto, que es el conjunto buscado. La
unicidad de Z se deja como ejercicio a partir del Axioma de Extensionalidad.
Definici
on. El conjunto Z cuya existencia acabamos de demostrar se llama intersecci
on
de X e Y , y se denota Z = X Y .
3
Definici
on. Un conjunto R es una relaci
on binaria si todos sus elementos son pares ordenados. Si (x, y) R, escribiremos xRy.
Observaci
on 1.13. La ventaja de haber definido un par ordenado de una forma tan
extra
na es que los elementos de una relacion binaria R forman un conjunto. En
S
efecto, el conjunto R consistir
a en los elementos de la forma {x, y} donde (x, y) es un
SS
par de R, con lo que el conjunto ( R) consistira en los elementos de la forma x o y.
SS
Definici
on. Se llama campo de una relaci
on binaria R al conjunto Campo(R) := ( R).
Si Campo(R) est
a contenido en un conjunto X diremos que R es una relaci
on en el conjunto
X. Se llama dominio de una relaci
on binaria R al conjunto definido por
dom(R) := {x Campo(R) | existe y tal que xRy}.
Analogamente, se llama recorrido de una relaci
on binaria R al conjunto definido por
rec(R) := {y Campo(R) | existe x tal que xRy}.
Claramente, Campo(R) =dom(R)rec(R).
Recprocamente a la Observacion 1.13, podemos partir ahora de dos conjuntos X, Y ,
y entonces P(P(X Y )) consiste en los subconjuntos de P(X Y ), es decir, sus elementos
son a su vez subconjuntos de X Y , luego en particular estaran los pares (x, y) donde
x, y X Y . Podemos por tanto definir:
Definici
on. Se llama producto cartesiano de dos conjuntos X, Y al conjunto
X Y := {z P(P(X Y )) | z = (x, y) con x X, y Y }.
Como cualquier relaci
on binaria esta contenida en dom(R)rec(R), a partir de ahora
consideraremos las relaciones como subconjuntos de un un producto cartesiano.
6
Definici
on. Se llama imagen de un conjunto X por una relaci
on R al conjunto
R[X] = {y rec(R) | existe x X tal que xRy}
y se llama imagen inversa de un conjunto Y por una relaci
on R al conjunto
R1 [Y ] = {x dom(R) | existe y Y tal que xRy}.
Definici
on. Se llama inversa de una relaci
on R X Y al conjunto
R1 := {(y, x) Y X | xRy}.
Observese que entonces yR1 x si y solo si xRy.
Notese que en principio hemos creado una ambig
uedad de notacion. En efecto, dada
una relaci
on binaria R y un conjunto Y , la expresion R1 [Y ] puede querer decir ahora la
imagen inversa de Y por R o la imagen de Y por R1 . El siguiente resultado nos indica
que ambos conjuntos coinciden.
Lema 1.14. Sean R una relaci
on binaria e Y un conjunto. Entonces la imagen inversa
de Y por R es igual a la imagen de Y por R1 .
Demostraci
on: Un elemento x esta en la imagen inversa de Y por R si y solo si existe
y Y tal que xRy (n
otese que la condicion x dom(X) es automatica, y esta puesta en la
definicion s
olo para demostrar que la imagen inversa es un conjunto, usando el Axioma de
Separacion). Por tanto, la condici
on es equivalente a decir que existe y Y tal que yR1 x,
es decir, que x est
a en la imagen de Y por R1 (de nuevo la condicion x rec(R1 ) de la
definicion de imagen es autom
atica).
Definici
on. Se llama composici
on de relaciones binarias R, S a la relacion
S R := {(x, z) dom(R) rec(S) | existe y tal que xRy e ySz}.
Vamos a terminar esta secci
on estudiando los tres tipos de relaciones binarias m
as
importantes: las funciones, las relaciones de equivalencia y las relaciones de orden.
Definici
on. Una relaci
on binaria F se llama funci
on si xF y1 y xF y2 implica y1 = y2 .
Este u
nico valor y tal que xF y se llama valor de la funci
on en x y se escribira y = F (x).
Si X = dom(F ) y rec(F ) Y , se suele escribir F : X Y .
Observaci
on 1.15. Teniendo en cuenta que las funciones son relaciones binarias, es
decir, conjuntos de pares ordenados, que dos funciones F y G coincidan tiene un significado preciso como conjuntos. Evidentemente, una condicion necesaria es que deben tener
7
el mismo dominio y el mismo valor para cada elemento del dominio. Recprocamente,
supongamos que dom(F ) = dom(G) y F (x) = G(x) para cada x dom(F ). Entonces,
para cada (x, y) F se tiene que x dom(F ) y F (x) = y. Por nuestra hipotesis, entonces
x dom(G) y adem
as G(x) = y. Por tanto, (x, y) G. Esto implica F G. De modo
simetrico se demuestra G F , lo que implica (usando el Axioma de Extensionalidad)
F = G. N
otese que entonces no tiene mucho sentido hablar de funcion suprayectiva, ya
que no existe de forma u
nica el conjunto de llegada Y . S tiene sentido sin embargo:
Definici
on. Una funci
on se dice inyectiva si F (x) = F (y) implica x = y. Una biyecci
on
entre dos conjuntos X, Y es una funcion inyectiva F : X Y tal que rec(F ) = Y .
Ejemplo 1.16. N
otese que la Observacion 1.15 nos dice que para definir una funcion basta
dar su dominio y los valores para cada punto del dominio. Pero cuidado, la forma de dar
valores tiene que ser de forma conjuntista, es decir, de forma que garantice que F forme
un conjunto en nuestro sentido. De hecho, el no poder definir funciones alegremente es
la base del Axioma de Elecci
on que discutiremos en la seccion 7. Por poner un ejemplo de
como definir bien una funci
on, hagamoslo con la funci
on identidad sobre un conjunto X.
En efecto, por el Axioma de Separacion, existe el conjunto {(x, y) X X | x = y} que
define la funci
on idX de dominio X y tal que idX (x) = x para todo x X.
Ejercicio 1.17. . Sea f una funcion. Entonces f es inyectiva si y solo si f 1 es una
funcion. Adem
as, en tal caso, dom(f 1 ) = rec(f), rec(f 1 ) = dom(f), f f 1 = idrec(f ) ,
f 1 f = iddom(f ) .
Observaci
on 1.18. Vamos a aprovechar las funciones para simplificar la notacion de la
union de conjuntos. Supongamos que tenemos una funcion F : X S donde S es un
conjunto de conjuntos. Por la observacion anterior, F es la misma funcion si cambiamos
S por rec(F ), por lo que podemos supondremos S=rec(F ) (es decir, que podemos ver
F como un modo de parametrizar los conjuntos de S). Usaremos entonces la notaci
on
Fx para F (x), y el recorrido de F lo escribiremos como S = {Fx }xX y lo llamaremos
S
sistema de conjuntos. De esta forma, S lo escribiremos con el aspecto mas habitual de
S
on la podemos hacer si partimos simplemente
xX Fx . Obviamente, toda esta construcci
de un conjunto de conjuntos S: basta tomar F : S S como la funcion identidad.
Teorema 1.19. Si F, G son funciones, entonces G F es tambien una funcion. Adem
as,
dom(G F ) = dom(F ) F 1 [dom(G)]
y, para todo x dom(G F ),
(G F )(x) = G(F (x)).
8
Demostraci
on: Veamos primero que G F es una funcion. Para ello supongamos que
tenemos (x, z1 ), (x, z2 ) G F . Eso quiere decir que existen y1 , y2 tales que
(x, y1 ) F, (y1 , z1 ) G
(x, y2 ) F, (y2 , z2 ) G.
Como F es una funci
on de (x, y1 ), (x, y2 ) F se sigue y1 = y2 . Por tanto, tenemos
(y1 , z1 ), (y1 , z2 ) G, y por ser G una funcion se tendra z1 = z2 . Esto demuestra que G F
es una funci
on.
Sea ahora x dom(G F ). Esto quiere decir que existe z tal que (x, z) G F
(es decir, z = (G F )(x)). Equivalentemente, existe y tal que (x, y) F y existe z tal
que (y, z) G. La propiedad (x, y) F para alg
un y es equivalente a x dom(F ) e
y = F (x), mientras que la propiedad (y, z) G para alg
un z es equivalente a y dom(G)
(como z = G(y), esto demuestra ya (G F )(x) = G(F (x))). Por tanto, las dos propiedades
anteriores equivalen a x dom(F ) y F (x) dom(G), es decir, x dom(F )F 1 [dom(G)].
Esto demuestra la igualdad dom(G F ) = dom(F ) F 1 [dom(G)].
Definici
on. Se llama restricci
on de una funci
on F a un conjunto Z al conjunto
F Z := {(x, y) F | x Z}.
Evidentemente, F Z es una nueva funcion con dominio Z dom(F ), y para cada
z Z dom(F ) se tiene que (F Z)(z) = F (z).
Teorema 1.20. Sea un conjunto de funciones tales que para cada F, G se tiene
F (dom(F ) dom(G)) = G (dom(F ) dom(G)).
Entonces
.
es una funci
on cuyo dominio es la union de los dominios de las funciones de
S
Demostraci
on: Es evidente que es una relacion binaria, ya que sus elementos son
elementos de alguna F , y por tanto pares ordenados. Supongamos que tenemos ahora
S
(x, y1 ), (x, y2 ) . Entonces existen F, G tales que (x, y1 ) F y (x, y2 ) G. En
particular, x dom(F ) dom(G). Como por hipotesis se tiene F (dom(F ) dom(G)) =
S
G (dom(F ) dom(G)), entonces F (x) = G(x), es decir, y1 = y2 . Por tanto, es una
funcion.
S
Que el dominio de sea la union de los dominios de las funciones de es practicamente evidente, salvo que habra que ver que tal union tiene sentido, para lo que es
9
necesario construir el conjunto de todos los dominios de las funciones de . Pero esto es
S
cierto porque cada dominio de una funcion de es un subconjunto de dom( ), luego
S
podemos construir una funci
on dom: P(dom( ())) que asocia a cada funcion F
su dominio. La uni
on se hace entonces como en la Observacion 1.18.
Ejercicio 1.21. Demostrar que, si X, Y son conjuntos, entonces existe el conjunto Y X
de funciones cuyo dominio es X y cuyo recorrido esta contenido en Y .
Definici
on. Los conjuntos [x]R del lema anterior se llaman clases de equivalencia m
odulo
R. El recorrido de la funci
on : X P(X) definida por (x) = [x]R (se deja como ejercicio
demostrar que es una funci
on) se llama cociente del conjunto X m
odulo la relaci
on R, y
se denota X/R.
Definici
on. Se llama partici
on de un conjunto X a un subconjunto S P(X) tal que:
(i) Z 6= para todo Z S.
(ii) Si Z, Z 0 S, entonces Z = Z 0 o Z Z 0 = .
S
(iii) X = S.
El siguiente resultado nos dice que es lo mismo hablar de relaciones de equivalencia
en un conjunto que hablar de particiones de dicho conjunto:
Teorema 1.25. Sea X es un conjunto. Entonces:
(i) Para cada relaci
on de equivalencia R, X/R es una particion de X.
(ii) Para cada partici
on S de X, el conjunto
RS := {(x, y) X X | existe Z S tal que x, y Z}
es una relaci
on de equivalencia en X. Ademas, se tiene que X/RS = S.
(iii) Para cada relaci
on de equivalencia, si S = X/R, entonces RS = R.
Demostraci
on: La parte (i) es una consecuencia inmediata del Lema 1.24. Veamos entonces
que RS es una relaci
on de equivalencia, comprobando las tres propiedades:
Propiedad reflexiva: Sea x X. Como S es una particion x Z para alg
un Z S.
Por tanto, (x, x) RS .
11
Definici
on. Se llama sistema de representantes de una partici
on S de un conjunto X a
un subconjunto T X tal que para cada Z S la interseccion Z T tiene exactamente
un elemento.
Los dos ejemplos que hay que tener en mente a la hora de pensar en relaciones de
orden son, dado un conjunto X, el conjunto P(X) con la relacion , que es un orden
(parcial) y con la relaci
on , que es un orden estricto. El siguiente resultado nos dice que
la relacion entre estos dos tipos de ordenes es siempre como en el ejemplo:
Teorema 1.26. Sea X un conjunto. Entonces:
(i) Si R es una relaci
on de orden en X, entonces la relacion
xSy si y solo si xRy y x 6= y
es un orden estricto en X.
(ii) Si S es una relaci
on de orden estricto en X, entonces la relacion
xRy si y solo si xSy o x = y
12
es un orden parcial en X.
Demostraci
on: Sea R un orden, y veamos que S definida en (i) es asimetrica y transitiva.
Es asimetrica porque no puede ser a la vez xSy e ySx (en efecto, si ocurriera eso, necesariamente por definici
on x 6= y, mientras que ademas xRy e yRx, lo que implicara x = y por
ser R antisimetrica.). Es transitiva porque, si xSy e ySz, entonces en particular xRz
(por la transitividad de R; adem
as, no puede ser x = z, porque ya hemos visto que S es
asimetrica.
Sea ahora S un orden estricto y veamos que R es reflexiva, antisimetrica y transitiva.
La reflexividad es inmediata de la definicion de R. Para la antisimetra, supongamos xRy,
yRx y, por reducci
on al absurdo, x 6= y; entonces xSy e ySx, en contra de la asimetra de
S. Finalmente, R es transitiva porque, si xRy e yRz entonces:
si x = y o y = z, entonces automaticamente xRz;
si x 6= y e y 6= z, entonces xSy e ySz, luego (por la transitividad de S) xSz, por lo
que xRz.
Notaci
on. Normalmente a una relacion de orden la denotaremos por en lugar de R, y
a la correspondiente relaci
on de orden estricto <.
Definici
on. Una cadena de un conjunto ordenado es un subconjunto tal que para cada
dos elementos suyos x, y se verifica x y o y x. Un orden total o lineal en un conjunto
X es un orden tal que todo X es una cadena.
Una de las cosas que necesitaremos demostrar es que ciertos conjuntos ordenados que
construiremos (por ejemplo el de los naturales) estan caracterizados por ciertas propiedades
del orden. Estar caracterizados quiere decir, como es habitual en matematicas, que son
u
nicos salvo isomorfismo, por lo que primero hay que definir que quiere decir que dos
conjuntos ordenados sean isomorfos:
Definici
on. Un isomorfismo entre dos conjuntos ordenados es una biyeccion f : X Y
entre ellos tal que x1 < x2 si y s
olo si f (x1 ) < f (x2 ).
Proposici
on 1.27. Si X est
a totalmente ordenado, entonces una funcion f : X Y es
un isomorfismo si y s
olo si rec(f ) = Y y x1 < x2 implica f (x1 ) < f (x2 ).
Demostraci
on: La inyectividad sigue de que, al ser X totalmente ordenado, entonces
x1 6= x2 implica x1 < x2 (luego f (x1 ) < f (x2 )) o x2 < x1 (luego f (x2 ) < f (x1 )). En
cualquier caso f (x1 ) 6= f (fx 2).
Basta ver entonces que f (x1 ) < f (x2 ) implica x1 < x2 . Por reduccion al absurdo,
supongamos que no es cierto x1 < x2 . Entonces, por ser X totalmente ordenado hay dos
13
Definici
on. Sea Y un subconjunto de un conjunto ordenado X.
Se llama elemento minimal (resp. maximal) de Y a un elemento y Y para el que no
exista y 0 Y tal que y 0 < y (resp. y < y 0 ).
Se llama cota inferior (resp. cota superior) de Y a un elemento x X tal que x y
(resp. y x) para todo y Y .
Se llama mnimo (resp. m
aximo) de Y a una cota inferior (resp. superior) que este
en Y (si existe, es necesariamente u
nico).
Se llama nfimo (resp. supremo) de Y al maximo (resp. mnimo) de las cotas inferiores
(resp. superiores) de Y .
Todos estos elementos satisfacen las propiedades obvias que que aparecen en los distintos cursos de An
alisis o Topologa. Recordemos por ejemplo una:
Lema 1.28. Sea Y un subconjunto de X. Entonces y X es el mnimo de Y si y s
olo si
y Y e y es el nfimo de Y .
Demostraci
on: Supongamos en primer lugar que y es el mnimo de Y . Entonces, por
definicion ser
a y Y y adem
as es una cota inferior. Para ver que es el maximo de las
0
cotas inferiores, sea y otra cota inferior de Y . Como y Y , entonces y 0 y.
Si ahora suponemos que y est
a en Y y es el nfimo de Y , veamos que es tambien el
mnimo de y. Por ser el nfimo de Y , en particular es una cota inferior de Y , y al estar en
Y es necesariamente el mnimo.
14
2. Los n
umeros naturales
Intuitivamente, un n
umero natural es el n
umero de elementos de un conjunto finito.
Por tanto, el camino natural (valga la redundancia) para una definicion de n
umero natural
sera definir primero que dos conjuntos finitos como equivalentes si tienen el mismo n
umero
de elementos (es decir, si hay una biyeccion entre ellos) y llamar n
umero natural a cada
una de las clases de equivalencia resultantes. Sin embargo, nos enfrentamos al problema
de siempre: existe el conjunto de todos los conjuntos finitos? Para evitar este problema,
vamos a dar una definici
on alternativa, dando para cada posible n
umero natural un conjunto con ese cardinal. Como ya vimos, existe un u
nico conjunto sin elementos, as que
definimos 0 = . El siguiente paso es escoger un conjunto con un elemento. Ya vimos
en el Ejemplo 1.6 que el primer conjunto que podemos construir con un elemento es {},
as que definimos 1 = {}. De la misma forma, el primer conjunto con dos elementos
que construimos fue {, {}}, as que definimos 2 = {, {}}. Notese que cada n
umero lo
estamos definiendo a base de a
nadir al n
umero anterior, visto como conjunto, un nuevo
elemento que es precisamente tal conjunto. La definicion general es:
Definici
on. Se llama sucesor de un conjunto X al conjunto S(X) = X {X}.
Entonces est
a claro c
omo construir los n
umeros naturales por recurrencia. Se empieza
por construir el 0, y supuesto construido n definimos n + 1 = S(n). El problema para
constuir el conjunto de los n
umeros naturales es que necesitamos hacer la union de todos los
n, pero para poder aplicar el Axioma de la Union necesitamos previamente que el conjunto
de los naturales ya exista. Podemos intentar usar entonces el Axioma de Separacion. Para
ello necesitaramos un conjunto que contuviera a los naturales. Un buen candidato a
conjunto que contenga a los naturales sera uno que satisfaga sus mismas propiedades de
construcci
on:
Definici
on. Un conjunto inductivo es un conjunto X tal que 0 X y, para todo x X
se tiene S(x) X.
Es claro que los n
umeros naturales estaran caracterizados por estar en todos los conjuntos inductivos, pero eso no permite dar una definicion de conjunto. Pero si supieramos la
existencia de alg
un conjunto inductivo X, entonces podramos definir N como el conjunto
de elementos de X que est
an en todos los conjuntos inductivos. Sin embargo, nuestros
axiomas no permiten concluir la existencia de conjuntos inductivos (de hecho hasta ahora
s
olo garantizan la existencia de conjuntos finitos), as que necesitamos un axioma nuevo:
Axioma de Infinitud. Existe alg
un conjunto inductivo.
Podemos ahora precisar las ideas que hemos enunciado antes (demostrando que el
conjunto de los n
umeros naturales no depende del conjunto inductivo que exista):
15
Observaci
on 2.2. Para demostrar la independencia de X a la hora de definir N, uno
podra tener la tentaci
on de definir N como la interseccion de todos los conjuntos inductivos.
Sin embargo, no podemos garantizar que los conjuntos inductivos formen un conjunto (de
hecho veremos en la secci
on 5 que no lo forman), por lo que no tiene sentido hablar de la
interseccion de todos ellos. Este hecho es constante y ya ha aparecido varias veces (por
ejemplo, en el conjunto de todos los conjuntos, de existir, la relacion sera un orden).
Definici
on. Los elementos del conjunto N definido en el Lema 2.1 se llaman n
umeros
naturales. Si n N, escribiremos frecuentemente n + 1 para denotar al sucesor S(n) de n.
La existencia de los n
umeros naturales nos permite definir ya de forma precisa la
induccion:
Teorema 2.3 (Principio de Induccion). Sea P una propiedad y supongamos que
(i) P (0).
(ii) Para todo n N, P (n) implica P (n + 1).
Entonces P se satisface para todos los n
umeros naturales.
Demostraci
on: Las hip
otesis implican que X = {n N | P (n)} es un conjunto inductivo.
Por tanto, el Lema 2.1 implica que N esta contenido en X.
Veamos un modo astuto de usar a veces la induccion (aunque cuando un proceso de
induccion sale tan trivial uno se suele quedar con la mosca detras de la oreja, en este caso
todo es lo m
as natural: acaso la construccion de los naturales como conjunto inductivo
no dice precisamente que N consiste en el cero y a partir de el todos los n
umeros naturales
son sucesores de otro?):
16
Definici
on. Dados dos n
umeros naturales m, n, diremos m < n si m n (luego, siguiendo
nuestra notaci
on habitual, m n quiere decir m n o m = n).
Ejercicio 2.5. Sea P una propiedad de los n
umeros naturales y supongamos que existe
k N tal que:
(i) P (k).
(ii) Para todo n k se tiene que P (n) implica P (n + 1).
Demostrar que entonces P (n) es cierta para todo n k.
Lema 2.6. Sean m, n n
umeros naturales. Entonces:
(i) m < n + 1 si y s
olo si m n, es decir, m < n o m = n.
(ii) m < n implica m + 1 n (y por (i) tambien m + 1 < n + 1).
Demostraci
on: Por definici
on, m < n + 1 si y solo si m n + 1. Como n + 1 = n {n},
lo anterior es equivalente a m n (es decir, m < n) o m = n, lo que demuestra (i).
Demostremos por inducci
on sobre n que m < n implica m + 1 n. El caso n = 0
es trivial ya que no hay ning
un m < 0 (recordemos que m < 0 quiere decir m ).
Supongamos entonces que m < n implica m + 1 n y veamos que m < n + 1 implica
m + 1 n + 1. Por (i), m < n + 1 es equivalente a m = n (en cuyo caso es inmediato
m + 1 n + 1) o m < n. En este segundo caso, por hipotesis de induccion tenemos
m + 1 n, y de nuevo por (i) tenemos m + 1 < n + 1.
Lema 2.7. Para todo n
umero natural n se tiene n 0 .
Demostraci
on: Lo demostraremos por induccion sobre n, siendo evidente cuando n = 0.
Supongamos ahora n 0 y veamos que n + 1 0. Por el Lema 2.6(i), la desigualdad
0 n es equivalente, por definici
on, a 0 < n + 1, luego n + 1 0.
17
k<m
o bien
implica P (m, n)
P (k, l) cierta para cada k, l con
k=m yl<n
Demostrar que P (m, n) es cierta para todo m, n N.
Ejercicio 2.10. Demostrar que, para cada n N, se tiene n = {m N | m < n}
(observese que no est
a claro a priori que los elementos de n sean n
umeros naturales).
Ejercicio 2.11. Sean n, m n
umeros enteros. Demostrar:
(i) m < n si y s
olo si m n.
(ii) m < n si y s
olo si m + 1 n (es decir, en el Lema 2.6(ii) se da la otra implicaci
on
tambien).
(iii) No puede ocurrir n < m < n + 1.
Definici
on. Se llama buen orden a un orden total en un conjunto en que cada subconjunto
no vaco tiene mnimo. Un conjunto con un buen orden se dice que es un conjunto bien
ordenado.
Para demostrar que un conjunto esta bien ordenado basta ver si un subconjunto suyo
no tiene mnimo entonces es el subconjunto vaco. Para N, la estrategia para demostrar
que X N sin mnimo es el vaco parece clara. En efecto, como 0 x para todo x X
(Lema 2.7), 0 es una cota inferior de X, luego 0 6 X (en caso contrario 0 sera el mnimo de
X). Entonces, podemos decir ahora 1 x para todo x X, y como 1 no puede ser mnimo
de X, tambien 1 6 X. Se tiene entonces que 2 x para todo x X y as sucesivamente.
Parece pues que se puede demostrar por induccion que n 6 X para todo n N, pero hay
un problema: Para poder concluir n + 1 x para todo x X hace falta saber antes que
0, 1, . . . , n no est
an en X, no basta solo saber n 6 X. Hace falta por tanto mejorar el
Principio de Inducci
on:
Teorema 2.12 (Segunda versi
on del Principio de Induccion). Sea P (n) una propiedad de
los n
umeros naturales que satisface la condicion
Para todo n N, si P (m) es cierta para todo m < n entonces P (n) es cierta() .
()
Ejercicio 2.14. Sean <1 , <2 dos ordenes estrictos definidos respectivamente sobre los
conjuntos X1 , X2 y supongamos que X1 X2 = . Demostrar que la relacion
<=<1 <2 (X1 X2 )
es un orden estricto en X1 X2 . Ademas, si X1 , X2 estan bien ordenados, entonces tambien
lo esta X1 X2 .
Ejercicio 2.15.
ordenado.
esta sucesi
on no ser
a f
acil en absoluto; no pondremos este ejemplo o el de la suma, ya que encontrar la
definici
on en la construcci
on puede ser m
as sutil.
21
sera g(m, n) = (n + 1)m. Nuestro objetivo es ver que tal recurrencia esta bien definida
y que define la funci
on f que buscamos. Para ello necesitaremos ver primero que (como
parece razonable) al menos tal funcion esta bien definida para los n
umeros naturales hasta
un valor fijo cualquiera n.
Lema 2.19. Dado un conjunto X, un elemento x0 X y una funcion g : X N X,
entonces para todo n N existe una u
nica funcion h : n + 1 X tal que
(i) h(0) = x0 .
(ii) h(m + 1) = g(h(m), m) para todo m < n.
Demostraci
on: Observemos en primer lugar que, por el Lema 2.6(ii), se tiene que m < n
implica m + 1 < n + 1 (de hecho son equivalentes, por el Ejercicio 2.11(ii)), por lo que la
condicion (ii) tiene sentido.
Demostraremos el resultado por induccion sobre n. El caso n = 0 es inmediato, ya
que estamos buscando h : {0} X tal que h(0) = x0 (notese que (ii) es una condici
on
vaca). Por otra parte, si ya tenemos construida h : n + 1 X (
unica) satisfaciendo (i) y
0
(ii), veamos c
omo tiene que ser la h : (n + 1) + 1 : X que buscamos. Como m < n + 1 es
equivalente (por el Lema 2.6(i)) a m < n o m = n, podemos escribir las propiedades que
debe satisfacer h0 como:
(i) h(0) = x0 .
(ii) h(m + 1) = g(h(m), m) para todo m < n.
(iii) h(m + 1) = g(h(m), m) para m = n.
Por la unicidad del caso n, las condiciones (i) y (ii) son equivalentes a h0 (n + 1) =
h. Por otra parte, la condici
on (iii) es equivalente a h0 (n + 1) = g(hn (n), n). Como
(n + 1) + 1 = (n + 1) {n + 1} y n + 1 6 n + 1, es claro que existe h0 y necesariamente
h0 = hn {(n + 1, g(hn (n), n))}.
Observaci
on 2.20. El lector posiblemente se estara preguntando por que en el lema
anterior no hemos denotado a la funcion h que existe para cada n como hn , indicando a
que n corresponde y de paso evitando algunos engorros de notacion tanto en el enunciado
como sobre todo en la demostraci
on. La respuesta es que tal notacion podra inducir a
pensar que en realidad tenemos un conjunto de sucesiones {hn | n N} en que cada hn es
la sucesion n + 1 X que da el lema. A posteriori es cierto que existe tal conjunto, pero
precisamente ah est
a la dificultad() de la recurrencia y es justo lo que hemos demostrado
()
la secci
on 7. V
ease en concreto el Ejemplo 7.30
22
en el lema. De hecho, el u
nico conjunto que podemos definir a priori (recordando que
debemos acogernos a los axiomas que tenemos hasta ahora) es
dom(h) = n + 1
R := (n, h) N Suc(X) h(0) = x0
Ejemplo 2.22. El Principio de Recurrencia es un modo de dar rigor a los puntos suspensivos. Por ejemplo, si tenemos una funcion h : X X, la funcion hn = h .n)
. . h (es decir,
componer h n veces consigo misma) se puede definir por recurrencia mediante h0 = idX
y hn+1 = hn h (en realidad se define una funcion f : N X X en que f (n) = hn ). De
la misma forma, supuesta definida la suma, el producto m n = m + .n)
. . + m se define
n)
n
por recurrencia, y la exponenciaci
on m = m . . . m tambien. Sin embargo, querremos
que las operaciones esten definidas como funciones N N N, as que su definici
on la
dejaremos para m
as adelante. En realidad, la suma tambien es una recurrencia, porque si
interpretamos n = 1 + .n)
. . + 1, entonces m + n quiere decir que a m le aplicamos la funci
on
m
sucesor n veces, es decir, m + n = S (n).
Ahora que ya tenemos la recurrencia bien fundamentada podemos finalmente caracterizar N mediante sus propiedades:
Teorema 2.23. Sea X un conjunto no vaco con un orden total que satisface las siguientes condiciones:
(i) Para todo x X existe alg
un y X tal que y x.
(ii) Todo subconjunto no vaco de X tiene mnimo.
(iii) Todo subconjunto no vaco y acotado superiormente de X tiene maximo.
Entonces N y X son conjuntos ordenados isomorfos.
Demostraci
on: Sea o el mnimo elemento de X (que existe por (ii)). La forma natural de
definir el elemento sucesivo de cualquier elemento de X es mediante la funcion h : X X
tal que
h(x) = min{y X | y x}
(que esta bien definida por (i) y (ii)). A partir de h podemos definir g : X N X
como g(x, n) = h(x). Por el Principio de Recurrencia, existira entonces f : N X tal que
f (0) = o y
f (n + 1) = h(f (n))
para todo n N. Para ver que f es un isomorfismo usaremos la Proposicion 1.27.
Veamos en primer lugar que m < n implica f (m) f (n). Lo haremos por inducci
on
sobre n, siendo trivial el caso n = 0 (ya que, como siempre, no existen naturales m < 0).
Entonces, supuesto demostrado para n, consideremos m < n + 1 y demostremos f (m)
f (n + 1). Por el Lema 2.6(i), se tiene que o bien m = n (luego f (m) = f (n)) o bien m < n
(luego por hip
otesis de inducci
on f (m) f (n)). Entonces, en cualquiera de los dos casos
24
(en el segundo por la transitividad de ), bastara demostrar f (n) f (n + 1). Pero esto
es evidente, ya que f (n + 1) = h(f (n)), y por definicion de h se tiene f (n) h(f (n)).
Pasemos ahora a demostrar que rec(f ) = X. Si no lo fuera, por (ii), el conjunto
X rec(f ) tendra un mnimo y. No puede ser y = o, ya que o = f (0) rec(f ). Por tanto,
como o es el mnimo de X, se tiene o y. Esto implica que el conjunto {x X | x y}
es no vaco, luego por la hip
otesis (iii) tiene un maximo x. Como x y, necesariamente
existe n N tal que x = f (n). Entonces f (n + 1) = h(x), con lo que si demostramos
y = h(x) habremos encontrado una contradiccion, ya que y no estaba en el recorrido de
f . Veamos por tanto que y es el mnimo elemento de X que satisface x y. En efecto,
dado cualquier otro y 0 X tal que x y 0 , por ser x maximo se tendra que no puede ser
y 0 y. Como X est
a totalmente ordenado, se sigue entonces y y 0 , lo que completa la
demostraci
on.
Ejercicio 2.24. Concluir del teorema anterior que, dado cualquier subconjunto X N
no acotado superiormente es isomorfo a N. Si en cambio X esta acotado superiormente,
demostrar que existe n N tal que hay una biyeccion n X.
Ejemplo 2.25. Con el Principio de Recurrencia ocurre como con el Principio de Induccion: a veces para el caso n + 1 no nos basta saber el caso anterior, sino todos (o
parte de) los anteriores. Por ejemplo, es de todos conocida la sucesion de n
umeros de
Fibonacci (que tendr
a pleno sentido en cuanto definamos la suma de n
umeros naturales),
dada por t0 = t1 = 1 y tn+1 = tn + tn1 . Como cada valor de la sucesion depende no
s
olo del inmediatamente anterior, sino de los dos anteriores, no puede usarse el Principio
de Recurrencia. Cabe resaltar tambien que, si queremos dar una formula cerrada para el
n-esimo n
umero de Fibonacci hay que salirse del conjunto de los n
umeros naturales, ya
que la formula concreta es:
1 5 n+1 5 + 5 1 + 5 n 5 5 1 5 n
1 1 + 5 n+1
tn =
=
+
.
2
2
10
2
10
2
5
Es por ello por lo que los principios de recursion que estamos estudiando no son un
mero formalismo, sino que dicen que las funciones existen aunque no se pueden escribir
explcitamente.
Imitemos pues para la recurrencia la segunda version del Principio de Inducci
on.
Recordemos que ah se demostraba el caso n a partir de los anteriores. En nuestro caso,
saber el valor de una sucesi
on f : N X para los naturales menores que n es conocer
f n, que es una sucesi
on de longitud n. Por tanto, para determinar cada f (n) a partir
de f n necesitaremos una funci
on g : Suc(X) X que para cada sucesion finita nos de
un elemento de X. Recordemos tambien que la segunda version del Principio de Inducci
on
25
Definici
on. A la funci
on f del corolario anterior se le llama suma de n
umeros naturales,
y se denota m + n en lugar de f (m, n) (observese que la propiedad f (n, 1) = n + 1 indica
que los dos sentidos de la escritura n + 1 coinciden: el sucesor de n y la suma de n y 1).
27
(i) (k + m) + n = k + (m + n).
(ii) m < n si y s
olo si m + k < n + k.
(iii) m = n si y s
olo si m + k = n + k.
(iv) Dados n
umeros naturales m n, existe un u
nico k N tal que m + k = n.
(v) mn = nm
(vi) (km)n = k(mn).
(vii)) k(m + n) = km + kn.
(viii) Si k 6= 0, m < n si y s
olo si mk < nk.
(ix) Si k 6= 0, m = n si y s
olo si mk = nk.
(x) am+n = am an .
(xi) (am )n = amn .
(xii) am = an si y s
olo si m = n.
Finalizamos esta secci
on mencionando que la aritmetica de los n
umeros naturales
puede hacerse de forma axiom
atica. Concretamente, los Axiomas de Peano afirman que
existe un conjunto N con un elemento 0, una funcion S : N N y operaciones + y de
forma que:
(i) Si S(m) = S(n) entonces m = n.
(ii) S(n) 6= 0 para todo n N.
(iii) n + 0 = n para todo n N.
(iv) m + S(n) = S(m + n) para todo m, n N.
(v) n 0 = 0 para todo n N.
29
30
3. Sistemas de n
umeros
En esta secci
on nos proponemos construir los conjuntos de los n
umeros enteros,
racionales y reales, recordando sus propiedades mas importantes. Empezamos por los
enteros. La idea es que los n
umeros enteros deben ser el conjunto de todas las diferencias m n. Como un mismo entero puede venir de distintas diferencias, la definici
on
precisa debe ser:
Definici
on. Llamaremos n
umero entero a una clase de equivalencia en N N modulo la
relacion R
(m, n)R(m0 , n0 ) si y solo si m + n0 = m0 + n
(que se demuestra f
acilmente que es de equivalencia: para la transitividad, u
sese el Ejercicio
2.32(iii)). El conjunto de los n
umeros enteros se denotara por Z.
Lema 3.1. Cada n
umero entero a Z se puede escribir de forma u
nica de alguna de las
siguentes maneras:
(i) a = [(n, 0)]R con n > 0
(ii) a = [(0, n)]R con n > 0.
(iii) a = [(0, 0)]R .
Demostraci
on: Escribimos a = [(m0 , n0 )]R . Supongamos por ejemplo m0 n0 . Entonces
por el Ejercicio 2.32(iv), existir
a un u
nico n N tal que n0 = m0 + n, lo que es equivalente
a a = [(0, n)]R . An
alogamente, si n0 m0 se podra poner a = [(n, 0)]R para un u
nico
n N. Adem
as, si fuera a = [(0, n)]R = [(m, 0)]R , entonces m + n = 0, lo que implica
m = n = 0 (ya que si, por ejemplo, n > 0, el Ejercicio 2.32(ii) implicara m + n > m, luego
m + n 6= 0). Esto implica que los casos (i) y (ii) no se dan simultaneamente.
Notaci
on. El lema anterior nos dice que la funcion N Z que manda n a [(n, 0)]R es
inyectiva. Consideraremos por tanto N como subconjunto de Z, y escribiremos n en vez
de [(n, 0)]R . Del mismo modo, si n > 0, escribiremos n en vez de [(0, n)]R . Llamaremos
valor absoluto de un n
umero entero a al u
nico n N tal que a = [(n, 0)]R o a = [(0, n)]R .
En otras palabras, |n| = n y | n| = n.
Proposici
on 3.2. La relaci
on < en Z definida por
[(m1 , n1 )]R < [(m2 , n2 )]R si y solo si m1 + n2 < m2 + n1
esta bien definida, es un orden estricto, el correspondiente orden es total y, restringido
a N, coincide con el orden en los naturales.
Demostraci
on: Que el orden es total y que la restriccion a N es el orden de los naturales
es inmediato, as que s
olo hay que demostrar que esta bien definido y es un orden estricto.
31
Supongamos en primer lugar [(m1 , n1 )]R = [(m01 , n01 )]R y [(m2 , n2 )]R = [(m02 , n02 )]R , es
decir m1 + n01 = m01 + n1 y m2 + n02 = m02 + n2 . Usando el Ejercicio 2.32(ii) se tiene que
m1 + n2 < m2 + n1
es equivalente a
(m1 + n2 ) + (n01 + n02 ) < (m2 + n1 ) + (n01 + n02 )
que, reagrupando y usando las igualdades m1 + n01 = m01 + n1 y m2 + n02 = m02 + n2 queda
(m01 + n02 ) + (n1 + n2 ) < (m02 + n01 ) + (n1 + n2 )
y de nuevo por el Ejercicio 2.32(ii) es equivalente a
m01 + n02 < m02 + n01
luego < est
a bien definido al no depender de los representantes.
Es claro que no puede ocurrir a la vez [(m1 , n1 )]R < [(m2 , n2 )]R y [(m2 , n2 )]R <
[(m1 , n1 )]R , porque no puede ocurrir a la vez m1 + n2 < m2 + n1 y m2 + n1 < m1 + n2 en
N, luego < es asimetrica en Z.
Finalmente, la transitividad de < se demuestra porque, si [(m1 , n1 )]R < [(m2 , n2 )]R y
[(m2 , n2 )]R < [(m3 , n3 )]R , entonces por definicion m1 + n2 < m2 + n1 y m2 + n3 < m3 + n2 .
Entonces
(m1 + n3 ) + n2 < m2 + n3 + n1 < (m3 + n1 ) + n2
y [(m1 , n1 )]R < [(m3 , n3 )]R se deduce entonces del Ejercicio 2.32(ii).
Dejamos como ejercicio la demostracion de los siguientes resultados (que es del todo
analoga a las hechas hasta ahora), que dan la estructura de anillo de Z:
Proposici
on 3.3. La operaci
on
+:ZZZ
[(m, n)]R + [(m0 , n0 )]R = [(m + m0 , n + n0 )]R
esta bien definida y da a Z estructura de grupo abeliano. Ademas, esta suma restringida
a N N es la suma de n
umeros naturales.
Proposici
on 3.4. La operaci
on
:ZZZ
[(m, n)]R [(m0 , n0 )]R = [(mm0 + nn0 , mn0 + m0 n)]R
32
esta bien definida y da a Z, junto con la suma de la Proposicion 3.3, estructura de anillo
conmutativo unitario. Adem
as, este producto restringido a NN es el producto de n
umeros
naturales.
Pasamos a continuaci
on a definir los n
umeros racionales. Ahora buscamos el conjunto
de todos los cocientes de n
umeros enteros, por lo que la definicion debe ser:
Definici
on. Llamaremos n
umero racional a una clase de equivalencia en Z (Z {0})
modulo la relaci
on R definida por
(m, n)R(m0 , n0 ) si y solo si mn0 = m0 n
(que se demuestra f
acilmente que es de equivalencia). La clase [(m, n)]R la escribiremos
m
umeros racionales se denotara por Q.
n . El conjunto de los n
Notaci
on. Es claro que la funci
on Z Q que manda n a n1 es inyectiva, por lo que
podemos identificar Z como un subconjunto de Q. Normalmente escribiremos n en vez de
n
m
otese tambien que m
1 . N
n = n , por lo que podemos siempre suponer que el denominador
de un n
umero racional es positivo.
Extendemos ahora a Q todos los conceptos que tenamos en Z. Ahorramos al lector
las demostraciones, que a estas alturas no aportan ya nada nuevo.
Proposici
on 3.5. La relaci
on < en Q definida por
m1
m2
<
si y solo si m1 n2 < m2 n1
n1
n2
(considerando siempre n1 , n2 > 0) esta bien definida, es un orden estricto, el correspondiente orden es total y, restringido a Z, coincide con el orden en los enteros.
Proposici
on 3.6. La operaci
on
+:QQQ
m m0
mn0 + m0 n
+ 0 =
n
n
nn0
esta bien definida y da a Q estructura de grupo abeliano. Ademas, esta suma restringida
a Z Z es la suma de n
umeros enteros.
Proposici
on 3.7. La operaci
on
:QQQ
33
m m0
mm0
0 =
n n
nn0
esta bien definida y da a Q, junto con la suma de la Proposicion 3.6, estructura de cuerpo.
Ademas, este producto restringido a Z Z es el producto de n
umeros enteros.
Definici
on. Sea X un conjunto totalmente ordenado. Se dice que un subconjunto Y X
es denso (por supuesto se puede tomar Y = X) si, para cada dos elementos x1 < x2 de X
existe y Y tal que x1 < y < x2 . Se dice que X no tiene extremos si no tiene ni m
aximo
ni mnimo.
Ejercicio 3.8. Demostrar que Q es un conjunto denso (dados r, s Q tales que r < s,
demostrar r < r+s
< s) y sin extremos (demostrar que, para todo r Q, se tiene
2
r 1 < r < r + 1). Veremos m
as adelante que es esencialmente el u
nico conjunto con esta
propiedad (y que tenga el mismo n
umero de elementos).
Queremos ahora definir de forma precisa el hecho de que Q tenga huecos, para
estudiar c
omo taparlos. Por ejemplo que quiere decir que a Q le falte 2? Una forma de
decirlo es que el conjunto de los racionales menores que 2 no se puede escribir como el
conjunto de racionales menores que un n
umero racional. Para describir esto de forma m
as
concreta, veamos c
omo son los conjuntos de esta forma
Lema 3.9. Sea X un conjunto totalmente ordenado, y sea x X. Si llamamos Ax =
{x0 X | x0 < x}, entonces:
(i) Ax es subconjunto propio y, para todo x0 Ax , se tiene que todos los elementos
x00 < x0 est
an tambien en Ax .
(ii) Ax no es vaco si y s
olo si x no es el mnimo de X.
(iii) x = min(X Ax ).
(iv) Si X es denso, Ax no tiene m
aximo; en tal caso, x = sup(Ax ).
(v) La funci
on f : X P(X) satisface que x < x0 si y solo si Ax Ax0 , luego en
particular es una funci
on inyectiva.
Demostraci
on: Claramente Ax es un subconjunto propio, ya que x
6 Ax . Adem
as, si
0
0
00
0
x Ax , entonces x < x, luego por la transitividad de < se tiene que si x < x , tambien
x00 < x, es decir, x00 Ax . Esto prueba (i).
Por definici
on, Ax es no vaco si y solo si existe x0 X tal que x0 < x, lo que es
claramente equivalente a que x no sea el mnimo de X, demostrando (ii).
Para demostrar (iii), por ser X totalmente ordenado, X Ax es el conjunto de elementos de X mayores o iguales que x. De aqu se deduce inmediatamente x = min(X Ax ),
demostrando (iii).
34
2 satisfacen la
Definici
on. Se llama segmento inicial de un conjunto totalmente ordenado X a un subconjunto propio A X tal que para todo x0 A se tiene que todos los elementos x00 < x0
estan tambien en A (como x0 A, podemos cambiar en la definicion x00 < x0 por x00 x0 ).
Claramente, esto es equivalente a que A es propio y que x0 A, x00 X A implica
x0 < x00 , es decir, que cada elemento de A es menor que cada elemento de X A.
Podemos dar inmediatamente un criterio para decidir que segmentos iniciales son de
la forma Ax .
Lema 3.10. Sea X un conjunto totalmente ordenado y A un segmento inicial. Entonces
A = Ax para alg
un x X si y s
olo si X A tiene mnimo. En particular, si X esta bien
ordenado, todo segmento inicial es de la forma Ax .
Demostraci
on: Si A = Ax , entonces el Lema 3.9(iii) implica que X A tiene a x como
mnimo. Recprocamente, si existe x = min(X A), entonces veamos que A = Ax . En
efecto, por una parte, si x0 A entonces al ser A un segmento inicial y x X A, se
tiene x0 < x, es decir, x0 Ax . Y por otra parte, si x0 Ax , entonces x0 < x, y por ser x
mnimo en X A no podr
a ser x0 X A, es decir, x0 A.
Finalmente, supongamos que X esta bien ordenado. Como todo segmento inicial es
propio, se tendr
a que X A es un subconjunto no vaco. Por tanto, al ser X bien ordenado,
X A tiene un mnimo x, luego A = Ax , como acabamos de demostrar.
Es claro que se podra repetir todo el estudio anterior con los conjuntos A0x = {x0
X | x0 x}, que en particular seguiran siendo un segmento inicial, y un segmento inicial
35
tambi
en que sea no vaco. De todas formas, ambas hip
otesis las vamos a poner a partir de ahora en la
definici
on de corte
()
abreviar la notaci
on.
36
Proposici
on 3.13. Sea X un conjunto totalmente ordenado. Entonces X no tiene huecos
si y solo si cada subconjunto no vaco acotado superiormente tiene supremo.
Demostraci
on: Supongamos primero que X no tiene huecos, y sea S un subconjunto no
S
vaco de X. Consideramos AS = xS Ax y, por el Lema 3.12(ii), o bien S tiene maximo
(en cuyo caso tiene supremo) o bien AS es un corte de Dedekind. En este u
ltimo caso,
como AS no puede ser un hueco, necesariamente X AS (que es claramente el conjunto
de cotas superiores de S) tiene un mnimo, que por definicion sera el supremo de S.
Recprocamente, supongamos ahora que cada subconjunto no vaco acotado superiormente de X tiene supremo. Hay que demostrar que cada corte de Dedekind A es de la
forma Ax . Por definici
on, un corte de Dedekind A es no vaco y cualquier elemento de
X A (que es no vaco) es cota superior de A, luego por hipotesis A tendra un supremo
x. Aplicamos entonces las partes (iv) y (iii) de Lema 3.12, tomando S = A, para concluir
S = AS = Ax , lo que termina la demostracion.
37
Definici
on. Diremos que un conjunto totalmente ordenado X es completo si es denso y
cada subconjunto no vaco y acotado superiormente tiene supremo (es decir, X no tiene
huecos).
Teorema 3.14. Sea X un conjunto totalmente ordenado, denso y sin extremos. Sea
= {A P(X) | X es un corte de Dedekind}. Entonces:
X
que asocia a cada x X el elemento Ax = {x0 X | x0 < x} es
(i) La funci
on X X
el orden de X
restringido a
inyectiva y, considerando X como subconjunto de X,
X es el orden de X y adem
as X es denso en X.
es una relacion de orden total que hace de X
un conjunto completo
(ii) La relaci
on en X
sin extremos.
Demostraci
on: La parte (i) excepto la densidad es consecuencia del Lema 3.9 (como X
no tiene extremos, x no puede ser el mnimo de X). Para demostrar que X es denso en
consideremos dos cortes de Dedekind A A0 y veamos que podemos intercalar un Ax
X,
entre ellos. Sea x0 A0 A y, como x0 no puede ser el maximo de A0 , existira x A0 tal
que x0 < x. Se tiene entonces A Ax A0 (ya que x0 Ax A y x A0 Ax ).
Para la parte (ii), veamos primero que el orden es total. En efecto, si A 6 A0 , entonces
existe un elemento x A A0 . Entonces, para todo x0 A0 , por ser A0 un segmento inicial
debe ser x0 < x. Pero entonces, por ser A un segmento inicial se tiene x0 A. Esto
demuestra que el orden es total.
es completo, debemos ver (aparte de la densidad de X,
que es conPara ver que X
que si S X
es no vaco y acotado (es decir,
secuencia de que ya s
olo X es denso en X)
entonces S tiene
existe un corte de Dedekind A00 tal que A0 A00 para todo A0 S)
S
Para ello,
supremo. Consideramos entonces A = S y veamos que es el supremo de S.
primero hay que ver que es un corte de Dedekind. En primer lugar, es facil ver que es un
segmento inicial (es propio porque esta contenido en A00 , que es propio). Ademas es no
vaco por serlo los A0 S y ser S no vaco. Finalmente, no puede tener un maximo , ya
y sera entonces tambien maximo de A0 . Por
que tendra que pertenecer a alg
un A0 S,
tal que:
compleci
on de X a un conjunto ordenado X
el orden de X
restringido a X es el orden de X y ademas X es denso en X.
(i) X X,
es un conjunto totalmente ordenado, completo y sin extremos.
(ii) X
El Teorema 3.14 nos dice que el conjunto de cortes de Dedekind es una compleci
on de
un conjunto totalmente ordenado, denso y sin extremos. Cabe preguntarse si es la u
nica
posible (salvo isomorfismo, por supuesto). En principio uno solo espera unicidad cuando ha
impuesto alguna condici
on para que la complecion sea el conjunto completo mas peque
no
que contiene a X. Aunque de forma encubierta, tal condicion esta implcita en el hecho
de que X tiene que ser denso en su complecion. De hecho, la propiedad de densidad va
a ser clave en la demostraci
on de cada uno de los pasos del siguiente resultado, que ser
a
clave para la demostraci
on de la unicidad, y que afirma que dos conjuntos uno denso del
otro tienen los mismos cortes de Dedekind:
Teorema 3.15. Sea X un subconjunto denso de un conjunto totalmente ordenado X 0 y
X
0
supongamos que ni X ni X 0 tienen extremos. Entonces existe un isomorfismo f : X
que, restringido a X, es la inclusi
on de X en X 0 .
0 X,
Demostraci
on: Para ver que f es biyectiva vamos a construir una inversa g : X
definida mediante g(A0 ) = A0 X. Primero habra que ver que cada A0 X es un corte de
Dedekind de X:
A0 X no es todo X, ya que existe x0 X 0 A0 , y al no tener maximo X 0 , existir
a
00
0
0
0
x > x tambien en X ; finalmente, la densidad de X en X implica que existe x X tal
que x0 < x < x00 . Como A0 es un segmento inicial, x > x0 y x0
/ A0 , no puede ser x A0 .
Por tanto, x X (A0 X).
Si x0 A0 X y tomamos x00 X tal que x00 < x0 , por ser A0 un segmento inicial se
tiene x00 A, luego x00 A0 X.
A0 X es no vaco, porque, tomando x0 A0 , que es no vaco, y otro x00 < x0 en
X 0 (que existe porque X 0 no tiene mnimo), entonces por la densidad de X en X 0 existir
a
00
0
0
0
x X tal que x < x < x . Como A es un segmento inicial, entonces x A , luego
x A0 X.
Finalmente, A0 X no tiene maximo. En efecto, dado cualquier x A0 X, veamos
que no puede ser cota superior de A0 X. Como A0 no tiene maximo, existira x0 A0 tal
que x < x0 . Por la densidad de X en X 0 , existira x00 X tal que x < x00 < x0 . Como A0
es un segmento inicial y x00 < x0 , entonces x00 A0 . Por tanto x no es cota superior de
A0 X, porque x < x00 con x00 A X.
Antes de ver que definir f , resolveremos primero un problema de notacion. Cuando
escribamos A0x0 querr
a decir el segmento inicial de los x00 X 0 tales que x00 < x0 , reservando
la notacion Ax (con x X) para el segmento inicial de X de los x0 X tales que x0 < x.
39
0
X
0 mediante f (A) = S
Con esta notaci
on, definimos la funcion f : X
xA Ax , es
decir, lo que sera el A0A del Lema 3.12. Por tanto, por ser A un segmento inicial, no tiene
maximo (ni como subconjunto de X ni como subconjunto de X 0 , por lo que el Lema 3.12
implica que f (A) es en efecto un corte de Dedekind de X 0 .
En efecto, por definici
Veamos entonces primero g(f (A)) = A para todo A X.
on, y
A0x ) X =
xA
(A0x X) =
xA
Ax = AA = A.
xA
A0x =
xA0 X
A0x0 .
x0 A0
X0
%
0
X
en que las flechas verticales son las dadas para X y X 0 por el Teorema 3.14 la flecha superior
es la inclusi
on de X en X 0 y la flecha inferior es el isomorfismo del Teorema 3.15. Por
40
otra parte, el hecho de que X 0 sea completo es equivalente a que la flecha vertical derecha
sea un isomorfismo. Podemos construir entonces la flecha diagonal como composici
on del
isomorfismo inferior y la inversa del isomorfismo de la derecha, que sera el isomorfismo
buscado.
complecion del conjunto de los n
Definici
on. Llamaremos R al conjunto Q,
umeros racionales.
Los elementos de R los llamaremos n
umeros reales. Como todas las compleciones de Q son
isomorfas, esta compleci
on ser
a isomorfa, por ejemplo, a la obtenida a traves de sucesiones
de Cauchy, que igual resulta m
as familiar al lector.
Ejercicio 3.17. Sea a : N 2 = {0, 1} una sucesion y llamemos
Aa =
[n
a0
a1
an o
x Q | x < 0 + 1 + ... + n .
3
3
3
nN
x si x 0
x si x 0
si x, y 0 o x, y 0
si (x 0 e y 0) o (x 0 e y 0)
Ejercicio 3.19. Demostrar que R, con estas dos operaciones, es un cuerpo del que Q es
subcuerpo.
Ejercicio 3.20. Definamos en C = R R las operaciones
(x1 , y1 ) + (x2 , y2 ) = (x1 + y1 , x2 + y2 )
(x1 , y1 ) (x2 , y2 ) = (x1 y1 x2 y2 , x1 y1 + x2 y1 ).
Demostrar que C es un cuerpo del que R es un subcuerpo (C es el cuerpo de los n
umeros
complejos).
42
4. Comparabilidad de conjuntos
Nuestro objetivo sera definir la nocion de cardinal de un conjunto como n
umero de
elementos que contiene. Como en principio eso no es nada facil, lo que vamos a imaginar es
que existiera ese concepto y que estuviera bien definido. Todas las definiciones y notaciones
iran en ese sentido, pero ser
an en principio meros nombres formales o notaciones. En primer
lugar, es facil imaginar lo que debera ser que dos conjuntos tuvieran el mismo n
umero de
elementos:
Definici
on. Dos conjuntos X, Y se dice que son equipotentes o que tienen el mismo cardinal
si existe una biyecci
on X Y . Escribiremos entonces |X| = |Y |. Si existiera el conjunto
de todos los conjuntos, la relaci
on de equipotencia sera de equivalencia:
Lema 4.1. La equipotencia satisface las siguientes propiedades:
(i) Para cualquier conjunto X se tiene |X| = |X|.
(ii) Si X, Y son conjuntos tales que |X| = |Y |, entonces |Y | = |X|.
(iii) Si X, Y, Z son conjuntos tales que |X| = |Y |, |Y | = |Z|, entonces |X| = |Z|.
Demostraci
on: Para (i), basta tomar la identidad idX : X X, que evidentemente es
biyectiva. Para (ii), si f : X Y es una biyeccion entre X e Y , entonces f 1 : Y X es
una biyecci
on entre Y y X. Finalmente, para (iii), si f : X Y es una biyeccion entre X
e Y y g : Y Z es una biyecci
on entre Y y Z, entonces g f es una biyeccion entre X y
Z.
Como ejemplo de equipotencia damos el siguiente resultado, que sera muy u
til:
Teorema 4.2. Sea X un conjunto cualquiera. Entonces |P(X)| = |2X |.
Demostraci
on: Definimos f : P(X) 2X asociando a cada subconjunto S de X la funci
on
S : X 2 definida por
(
1 si x S
S (x) =
0 si x
/S
(la llamada funci
on caracterstica de S). Es claro que f es una biyeccion, ya que la funci
on
X
1
2 P(X) que manda cada funcion : X 2 a [{1}] se comprueba facilmente que
es la inversa de f .
Dejamos como ejercicio las propiedades obvias de la equipotencia:
Ejercicio 4.3.
mostrar:
43
X
X g[Y ]
Y
Y f [X]
.
&
g[Y ] gf [X]
f [X] f g[Y ]
.
&
gf [X] gf g[Y ]
f g[Y ] f gf [X]
.
&
gf g[Y ] gf gf [X]
f gf [X] f gf g[Y ]
.
&
..
.
..
.
Observese que, con esta descomposicion, f manda (biyectivamente) cada caja horizontal a la caja inmediatamente inferior de Y , mientras que g manda cada caja horizontal
a la caja inmediatamente inferior de X. La idea entonces es mandar mediante f las cajas
impares de X a las cajas pares de Y y, mediante g 1 , las cajas pares de X a las cajas
impares de Y , lo que nos dar
a una biyeccion entre X e Y .
Para formalizar esta idea, definimos primero lo que sera la union de las cajas impares
de X, es decir:
[
S :=
(g f )n [X g[Y ]]
nN
(recuerdese que en el Ejemplo 2.22 vimos que (g f )n se puede definir con rigor). N
otese
que el elemento de la uni
on correspondiente a n = 0 es X g[Y ], luego los elementos de
fuera de S est
an en la imagen de g (y son imagen de un solo elemento de Y por ser g
inyectiva. Esto permite definir la siguiente funcion h : X Y :
(
f (x) si x S
x 7 h(x) =
g 1 (x) si x 6 S
()
Henri Poincar
e: La geometra es el arte de razonar bien sobre figuras mal hechas (en Derni`
eres Pens
ees,
accesible en http://www.ac-nancy-metz.fr/enseign/philo/textesph/Dernierespensees.pdf)
45
Parece natural empezar a definir los cardinales de los conjuntos finitos y que sean
los n
umeros naturales. Antes de hacerlo, como hemos definido las nociones de igualdad y
desigualdad para cardinales y para naturales, debemos demostrar que coinciden. Para ello,
demostramos un lema previo, que sera la base de buena parte de la teora de cardinales
finitos:
46
Observaci
on 4.10. Como un conjunto finito es biyectivo con un conjunto n, muchas veces
bastara, a la hora de demostrar algo para conjuntos finitos, demostrarlo para los conjuntos
n. Por ejemplo, el Lema 4.8 demuestra que, si X es un conjunto finito, no hay ninguna
funcion inyectiva de X a un subconjunto propio Y X. Una primera consecuencia de
esto es que N es un conjunto infinito, ya que la funcion sucesor S : N N tiene como
recorrido el subconjunto propio N {0} y es inyectiva (Ejercicio 2.32(iii) con k = 1).
Pasamos ahora a demostrar las principales propiedades de los conjuntos finitos. La
primera es que los cardinales finitos son los menores que hay.
Teorema 4.11. Si X es un conjunto tal que |X| n para alg
un n N, entonces X es
finito (en particular, los subconjuntos de conjuntos finitos son tambien finitos).
Demostraci
on: Si tenemos una funcion inyectiva f : X n, entonces |X| = |f [X]|. Basta
demostrar entonces que, para todo n N se tiene que todo subconjunto X n es finito.
Lo demostraremos por inducci
on, siendo trivial el caso n = 0 (ya que el u
nico subconjunto
de 0 es el vaco, que es finito). Si suponemos cierto el caso n, tomemos ahora X n + 1.
Distinguimos dos posibilidades:
Si n 6 X, entonces X n, y por hipotesis de induccion X es finito.
Si n X, consideramos X 0 = X {n} n. Por hipotesis de induccion X es finito y,
si escribimos |X 0 | = m, luego existe una biyeccion f 0 : m X 0 . Podemos definir entonces
f : m + 1 X mediante f (k) = f 0 (k) si k < m y f (m) = n. Entonces f es una biyecci
on,
lo que implica que X es finito.
Teorema 4.12. Si X es finito y f : X Y es una funcion, entonces |f [X]| |X| (y por
tanto f [X] es tambien finito).
Demostraci
on: Podemos suponer (ver la Observacion 4.10) que X = n. Por el Teorema
4.11, basta encontrar una funci
on inyectiva g : f [n] n. La definimos simplemente
mediante
g(y) = min{m n | f (m) = y}.
Observese que g est
a bien definida, porque N esta bien ordenado y, para cada y f [n] es
evidente que el conjunto {m n | f (m) = y} es no vaco. Ademas, g es inyectiva, porque
g(y) = m = g(y 0 ) implica, por la definicion de g, y = f (m) = y 0 .
Observaci
on 4.13. El resultado anterior esta diciendo entonces que, si X es finito,
|Y | |X| es equivalente (salvo que Y sea el conjunto vaco) a que exista f : X Y tal
que rec(f ) = Y (que |Y | |X| implica la existencia de f es el Ejercicio 4.4). El motivo por
el que esto no se puede generalizar cuando X no es finito es que, aunque sepamos que para
48
(ii) y los elementos de f [n] son disjuntos dos a dos: luego por hipoteis de inducci
on
P
f [n]| = i<n |Xi |.
49
S| =
i<n+1
|Xi |.
De forma m
as sencilla se ve el cardinal del producto y del conjunto potencia, y se ve
mejor el motivo de la definici
on inductiva del producto y potencia de n
umeros naturales:
Teorema 4.16. Si X, Y son conjuntos finitos, entonces X Y es finito y |X Y | = |X||Y |.
Demostraci
on: Podemos suponer X = m e Y = n, as que hay que demostrar |mn| = mn
(ver Ejercicio 4.3(ii)). Lo demostraremos por induccion sobre n. El caso n = 0 es trivial, ya
que m 0 es el conjunto vaco, y por la definicion inductiva de producto se tiene m 0 = 0.
Supongamos ahora |m n| = mn y veamos |m (n + 1)| = m(n + 1). Escribiendo
n + 1 = n {n}, que es una uni
on disjunta, se tiene m (n + 1) = (m n) (m {n}),
que es tambien una uni
on disjunta. Por el Teorema 4.14, se tiene
|m (n + 1)| = |m n| + |m {n}|.
Por hipotesis de inducci
on, el primer sumando es mn, mientras que claramente |m
{n}| = m, ya que existe una biyeccion m {n} m mandando (k, n) a k. Por tanto,
|m (n + 1)| = mn + m que, por la definicion inductiva de producto, es preciamente
m(n + 1).
Teorema 4.17. Si X, Y son conjuntos finitos, entonces X Y es finito y |X Y | = |X||Y | .
Demostraci
on: Como en el teorema anterior, usando el Ejercicio 4.3(iii), basta demostrar
n
n
|m | = m , lo que haremos de nuevo por induccion sobre n. Para n = 0, la u
nica funci
on
0
0
del conjunto vaco en m el la funci
on vaca, luego |m | = 1, que es precisamente m por la
definicion inductiva de la exponenciacion.
Supuesto ahora |mn | = mn , veamos |mn+1 | = mn+1 . Para ver eso, observemos que
existe una biyecci
on mn+1 mn m que manda cada f : n + 1 m al par (f n, f (n).
Por tanto, por el Teorema 4.16, se tiene |mn+1 | = mn m que, por la definicion inductiva de
la exponenciaci
on, es precisamente mn+1 .
Corolario 4.18. Si X es un conjunto finito, entonces P(X) es un conjunto finito, y
ademas |P(X)| = 2|X| .
Demostraci
on: Sabemos por el Teorema de Cantor (Teorema 4.7) que |P(X)| = |2X | y,
por el Teorema 4.17 se tiene |2X | = 2|X| .
El siguiente resultado indica que cada conjunto infinito es comparable con cada conjunto finito (y de la forma natural, es decir, que el cardinal de los infinitos es mayor que el
de los finitos). Esto da un primer indicio de que los cardinales de conjuntos pueden formar
un conjunto totalmente ordenado.
50
Teorema 4.19. Si X es un conjunto infinito, entonces para cada n N se tiene |X| > n.
Demostraci
on: Por definici
on de conjunto infinito, no puede de |X| = n, as que basta
demostrar |X| n. Lo demostramos por induccion sobre n, siendo trivial el caso n = 0
(ya que X). Si suponemos ahora |X| n, esto quiere decir que existe una funci
on
inyectiva f : n X. Como no puede ser biyectiva, existe x X que no esta en la imagen
de f . Podemos definir entonces f 0 : n + 1 X como f 0 = f {(n, x)}, que es claramente
inyectiva, luego |X| n + 1.
En la demostraci
on uno podra estar tentado a pegar todas las funciones n X para
obtener una funci
on inyectiva f : N X. De nuevo, esto no es posible sin el Axioma de
Eleccion. Por tanto, no podemos decir que el cardinal de N sea el cardinal infinito m
as
peque
no. De momento, vamos a dar un nombre a tal cardinal:
Definici
on. Diremos que un conjunto X es numerable si es equipotente con N. Escribiremos |X| = 0 .
El siguiente enunciado dice que entre los cardinales finitos y 0 no hay mas cardinales (luego si los cardinales estuvieran totalmente ordenados, 0 sera el menor cardinal
infinito):
Teorema 4.20. Si |X| 0 , entonces o bien X es numerable o bien es finito.
Demostraci
on: Como |X| 0 , existe una funcion inyectiva f : X N. Si llamamos
0
X a la imagen de f , basta ver que X 0 es finito o numerable. Suponemos por tanto que
X 0 no es finito, y construyamos h : N X 0 por recurrencia. Concretamente, definiremos
h(n + 1) = min(X 0 h[n]) (observese que, como X 0 no es finito, no puede ser h[n] = X 0 ).
Claramente h es inyectiva y, aunque tampoco es difcil demostrar que es biyectiva, de la
inyectividad sacamos ya 0 |X 0 |. Como por otra parte tenemos |X 0 | 0 , se sigue del
Teorema de Cantor-Bernstein que |X 0 | = 0
Teorema 4.21. Sea f : X Y una funcion entre conjuntos. Entonces, si |X| = 0 , se
tiene |f [X]| 0 .
Demostraci
on: Imitamos la demostracion del Teorema 4.12 para el caso finito, empezando
por suponer X = N. Construimos h : f [N] N mediante h(y) = min{n N | f (n) = y}.
Como h es claramente inyectiva, se concluye el resultado.
Teorema 4.22. La uni
on finita (no vaca) de conjuntos numerables es numerable.
Demostraci
on: Aqu imitaremos la demostracion del Teorema 4.15, es decir, basta demostrarlo para la uni
on de dos conjuntos, haciendose el resto por induccion. Sean entonces
51
escribirlos de la forma Xn = {an , bn } (lo que permitira numerarlos facilmente como uni
on
de dos conjuntos a lo m
as numerables, {an } y {bn }) supone ya hacer, para cada n N,
una eleccion para escoger, de cada conjunto Xn , quien hace el papel de an . Por tanto,
para obtener resultados sobre uni
on numerable de conjuntos hace falta que los conjuntos
vengan ya numerados.
Teorema 4.28. Sea {Xn } una coleccion de conjuntos numerables para los que existe una
S
funcion h : N ( nN Xn )N de forma que cada hn sea una biyeccion N Xn . Entonces
S
nN Xn es numerable.
Demostraci
on: La funci
on h es equivalente, por el Ejercicio 1.22, a una funcion N N
S
S
a entonces
nN Xn , cuyo recorrido es claramente
nN Xn . Por el Teorema 4.21, se tendr
S
S
S
| nN Xn | 0 . Por otra parte, como X0 nN Xn , se sigue 0 | nN Xn |, y el
resultado se sigue del Teorema de Cantor-Bernstein.
Teorema 4.29. Si X es numerable, el conjunto Suc(X) es numerable.
Demostraci
on: Bastar
a demostrar que Suc(N) es numerable. Para ello observamos primero
S
n
que Suc(N) = nN N . Como N0 tiene un solo elemento (la sucesion vaca), es claro que
S
basta ver que n>0 Nn es numerable. Claramente, cada Nn es numerable (ya que es
equipotente con el producto cartesiano n veces de N), luego por el Teorema 4.28 bastar
a
n
precisar una numeraci
on de cada N . Para ello fijamos una biyeccion g : N N N (que
existe por el Teorema 4.24) y escribiremos, para cada m N, g(m) = (m1 , m2 ). Entonces
definimos por recurrencia biyecciones hn : N Nn para cada n > 0 de la siguiente forma
(cada sucesi
on de n elementos la escribiremos como < a0 , . . . , an1 >):
h1 (m) =< m >
hn+1 (m) =< hn (m1 ), m2 > .
Se comprueba f
acilemente por induccion que las funciones hn son biyecciones, lo que concluye la demostraci
on.
Corolario 4.30. Si X es numerable, el conjunto de subconjuntos finitos de X es numerable.
Demostraci
on: Como el recorrido de la funcion inyectiva X P(X) definida por x 7 {x}
esta contenido en el conjunto de subconjuntos finitos de X, el cardinal de tal conjunto es
mayor o igual que 0 . Por otra parte, la funcion Suc(X) P(X) que asocia a cada
sucesion finita su recorrido tiene como recorrido el conjunto de conjuntos finitos de P(X),
53
luego, por los Teoremas 4.29 y 4.21, tal conjunto es a lo mas numerable. El Teorema de
Cantor-Bernstein termina la demostracion.
Teorema 4.31. Dos conjuntos cualesquiera numerables, totalmente ordenados, densos
y sin extremos son necesariamente isomorfos. En particular, cada conjunto totalmente
ordenado denso y sin extremos que sea numerable es isomorfo a Q.
Demostraci
on: Sean X, Y conjuntos numerables, totalmente ordenados, densos y sin extremos. Si x : N X e y : N Y son biyecciones, escribiremos x(n) = xn e y(n) = yn .
Dado que no hay peligro de confusi
on escribiremos tanto para el orden de X como para
el orden de Y . Construyamos por recurrencia funciones hn inyectivas tales que:
(i) h0 = .
(ii) dom(hn ) es finito y {x0 , . . . , xn1 } = x[n] dom(hn ) X.
(iii) {y0 , . . . , yn1 } = y[n] Im(hn ) Y .
(iv) hn+1 dom(hn ) = hn .
(v) Para cada x, x0 dom(hn ) se tiene x < x0 si y solo si hn (x) < hn (x0 ).
S
(con lo que es claro entonces que h = nN hn sera el isomorfismo buscado).
Notese que, para usar la recurrencia, no basta demostrar que existe hn+1 supuesto
que existe hn (eso sera usar el Axioma de Eleccion), sino que debemos dar una definici
on
precisa de c
omo construir hn+1 a partir de hn . Procedemos de la siguiente forma:
Si xn est
a en el dominio de hn , entonces definimos h0n = hn . Si en cambio xn no
esta en el dominio de hn , entonces nos fijamos en que lugar ocupa entre los elementos de
dom(hn ) (si es menor que todos ellos, esta entre dos consecutivos de ellos o es mayor que
todos ellos). Como Y es denso y no tiene extremos, existira alg
un elemento de Y que ocupe
el mismo lugar que xn respecto de las imagenes de los elementos de dom(hn ). Definimos yn0
como yn0 = ym , donde m es el mnimo natural tal que ym esta en dicha posicion. Definimos
entonces h0n = hn {(xn , yn0 )}.
Analogamente, si yn est
a en la imagen de hn , definimos hn+1 = h0n . Si en cambio yn
no esta en la imagen de hn , nos fijamos en que lugar ocupa entre los elementos de Im(hn ).
Como antes, al ser X denso y sin extremos, podemos encontrar x0n = xl , donde l es el
mnimo natural tal que xl est
a en la misma posicion respecto de los elementos del dominio
de hn . Definimos entonces hn+1 = h0n {(x0n , yn )}.
Observaci
on 4.32. La mitad de la demostracion anterior (tomando en la recurrencia
como hn+1 la funci
on h0 ) muestra que, si X, Y son conjuntos numerables totalmente ordenados e Y es denso y sin extremos, entonces existe una funcion inyectiva h : X Y tal
que x < y si y s
olo si h(x) < h(y).
54
55
5. N
umeros ordinales e induccion transfinita
Recordemos que cada n
umero natural n estaba definido como el conjunto de los
n
umeros naturales anteriores, y que por tanto, el n
umero natural sucesivo S(n) = n + 1
estaba definido como S(n) = n {n}. Dado que parece que el primer n
umero despues de
todos los naturales es N, podemos darle un nombre, por ejemplo , y continuar definiendo
sucesivos S() = + 1 = {} = {0, 1, . . . , } y as sucesivamente.
Notese que de esta forma obtenemos nuevos conjuntos bien ordenados (lo que es clave
para argumentos de inducci
on), pero que ya no son isomorfos a N (por ejemplo, no tiene
un elemento precedente). De hecho, dos cualesquiera de estos conjuntos no son nunca
isomorfos, y demostraremos que cada conjunto bien ordenado es isomorfo exactamente a
uno de ellos. Empezamos primero con la definicion precisa de los n
umeros que queremos
considerar:
Definici
on. Un conjunto X se dice que es transitivo si cada elemento de X es un subconjunto de X. En otras palabras, para cada x X se tiene que, si y x, entonces y X
(de ah el nombre de transitivo). Un n
umero ordinal (o simplemente un ordinal) es un
conjunto transitivo para el que la relacion y < x si y solo si y x define una relacion de
buen orden.
Ejemplo 5.1. Cada n
umero natural (incluido el 0, es decir, el conjunto vaco) es un
ordinal, y tambien N es un ordinal. Cuando nos refiramos a N como ordinal escribiremos
(en general, denotaremos a los ordinales por letra min
usculas griegas). Notese que un
conjunto como {0, 1, 3, 4} no es un ordinal, ya que 3 {0, 1, 3, 4}, pero 3 6 {0, 1, 3, 4}, ya
que 3 = {0, 1, 2}.
Observaci
on 5.2. Que la relaci
on < defina un buen orden en un ordinal quiere decir
en primer lugar que es un orden estricto. Por tanto, se tiene la propiedad asimetrica, y en
particular no puede existir ning
un x tal que x < x (en particular
/ ). Ademas, por
como esta definido el orden, se sigue que para cada x se tiene x = {y | y < x},
es decir, x es el segmento inicial Ax del conjunto (recordemos del Lema 3.10 que todos
los segmentos iniciales de un conjunto bien ordenado son de esta forma).
Volvemos de nuevo a la necesidad de estudiar segmentos iniciales, pero esta vez en un
contexto distinto, ya que en la seccion 3 nos interesaban para conjuntos densos, mientras
que ahora nos interesan para conjuntos bien ordenados:
Ejercicio 5.3. Sea X totalmente ordenado, denso y con al menos dos elementos. Demostrar que X no est
a bien ordenado.
Veamos en primer lugar que el hecho de ser un conjunto bien ordenado es muy rgido:
56
De lo anterior obtenemos ya el primer resultado relevante sobre conjuntos bien ordenados (basicamente que dos conjuntos bien ordenados son siempre comparables):
Teorema 5.5. Sean X, Y dos conjuntos bien ordenados. Entonces ocurre exactamente
una de las siguientes posibilidades:
(i) X e Y son isomorfos.
(ii) X es isomorfo a un segmento inicial de Y .
(iii) Y es isomorfo a un segmento inicial de X.
Ademas, el isomorfismo es u
nico.
Demostraci
on: Est
a claro por el Corolario que las tres posibilidades son excluyentes dos
a dos y que el isomorfismo es u
nico. Veamos entonces que se da alguna de las tres posibilidades. Para ello, definimos
f := {(x, y) X Y | Ax es isomorfo a Ay }
y veamos que define el isomorfismo buscado. Observemos primero que tanto f como f 1
son funciones inyectivas (luego f define un isomorfismo entre su dominio y su recorrido).
57
Para ver que el orden en x (dado por la pertenencia) es un buen orden basta ver que
es la restricci
on del orden en . Pero esto es evidente, porque dados y, z x, decir y < z
como elementos de x es equivalente a decir que y es un elemento de z, que el lo mismo que
decir y < z como elementos de .
El lema anterior nos dice entonces que los elementos de un ordinal son ordinales
(que adem
as, como subconjuntos, estan estrictamente contenidos en , ya que sabemos
que
/ ). El siguiente resultado nos dice que el recproco es cierto, en el sentido de que
todos los ordinales contenidos propiamente en son elementos de :
Lema 5.8. Si , son ordinales, entonces si y solo si (por tanto, un
n
umero ordinal es el conjunto formado por todos sus subconjuntos propios que son n
umeros
ordinales).
Demostraci
on: Supongamos es decir, 6= , que tendra un primer elemento ,
por ser un conjunto bien ordenado. Veamos que = , lo que terminara la demostraci
on
(ya que ). Veamos el doble contenido como subconjuntos de :
Por una parte, sea x , es decir, x < . Como era mnimo en , necesariamente
x .
Por otra parte, si x , no puede ser x porque entonces o bien = x (luego
= x ) o bien < x (luego x, y por la transitividad de se tendra ), lo que
es absurdo porque no est
a en . Entonces, por ser el orden total, necesariamente x < ,
es decir, x .
Observaci
on 5.9. El lema anterior ya nos esta diciendo que los n
umeros ordinales tienen
el aspecto que d
abamos al principio de la seccion. En efecto, si un ordinal es distinto
del vaco, entonces se tiene , luego 0 = . Por tanto, tendremos, 1 = {0} ,
de donde se deduce que o bien = {0} = 1 o bien 1 = {0} . En este segundo caso
tendremos, aplicando de nuevo el lema, 1 , luego 2 = {0, 1} . Reiterando este
proceso, se llegara a que o bien es un n
umero natural o bien todos los naturales est
an
en . En este segundo caso, , luego podemos seguir el argumento concluyendo que
o bien = o bien , luego , es decir, + 1 . Mas adelante veremos el
modo riguroso de c
omo hacer un proceso de recurrencia de este estilo.
Lo que vamos a hacer ahora es tratar a los n
umeros ordinales como si formaran un
conjunto. En tal supuesto conjunto podemos definir un orden mediante < si y s
olo si
(que por el Lema 5.8 es equivalente a ). Definimos tambien si y s
olo
si < o = (lo que ahora es equivalente a ). Veamos que con este orden los
n
umeros ordinales se comportan como un conjunto bien ordenado, excepto por el hecho
59
de no formar un conjunto (de hecho la propiedad (v) siguiente demuestra que no existe el
conjunto de todos los ordinales):
Teorema 5.10. Si , , son ordinales, entonces:
(i) < y < implica < .
(ii) Si < , entonces 6< .
(iii) O bien , o bien .
(iv) Si S es una colecci
on (no necesariamente un conjunto) no vaca de ordinales, entonces
existe el mnimo de S, es decir un de S tal que 0 para todo 0 de S.
S
(v) Si X es un conjunto de ordinales, entonces = X es el supremo de X, es decir,
es un ordinal tal que para todo X (luego en particular el ordinal + 1 no
puede estar en X), y es el mnimo entre los ordinales 0 tales que 0 para todo
X.
Demostraci
on: La parte (i) es la transitividad del conjunto , mientras que la parte (ii)
sigue de (i), ya que si fuera < < entonces < . Estas dos propiedades son tambien
consecuencia del Lema 5.8.
Para la parte (iii), consideramos , que se demuestra inmediatamente que es un
ordinal. Como, por la Observacion 5.2, no puede ser , entonces o bien
/ o bien
/ . Usamos ahora la caracterizacion del Lema 5.8. Si, por ejemplo,
/ , es decir, 6 , como claramente , se deduce = , luego
, es decir, . De forma simetrica,
/ llevara a .
Demostramos ahora (iv). Fijamos en primer lugar un 0 de S. Entonces, por el
Axioma de Separaci
on, ya es un conjunto S 0 = { 0 0 | esta en S}. Distinguiremos
dos casos. Si S 0 = , para cada 0 S se tiene 0
/ 0 , es decir, 0 6< 0 , luego por (iii)
sera 0 0 ; entonces = 0 cumple la condicion buscada. Si en cambio S 0 6= , entonces
el buen orden de 0 implica que S 0 tiene un primer elemento (y necesariamente < 0 ,
por ser 0 ). Veamos que este es el buscado. En efecto, dado 0 de S, o bien 0 0
(y por tanto 0 por la minimalidad de y ser 0 S 0 ) o bien 0
/ 0 (y por tanto
0
0
0 , como antes, lo que junto a < 0 implica < ).
S
Finalmente, para demostrar (v), observamos que = X es un conjunto claramente
transitivo() . Adem
as, sus elementos son ordinales por el Lema 5.7, luego por (iii) y (iv),
esta bien ordenado, y por tanto es un ordinal. Veamos para terminar que es el supremo
de X. En primer lugar, si X, entonces por la definicion de se tendra , es
decir, . Y por otra parte, ning
un 0 < puede ser cota superior de X, ya que al
()
60
X = 124 =
S
ser 0 = X, se tendr
a 0 (que es equivalente a 0 < ) para alg
un X. Por
tanto, ning
un 0 que satisfaga 0 para todo X puede satisfacer 0 < , y por (iii)
sera entonces 0 .
Teorema 5.11. Los n
umeros naturales son exactamente los ordinales finitos.
Demostraci
on: Ya sabemos (Ejemplo 5.1) que cada n
umero natural es un ordinal y es finito.
As que tenemos que ver que un ordinal finito es necesariamente un n
umero natural. Para
ello, veamos que, si un ordinal no es natural, es necesariamente infinito. Que no sea
natural quiere decir
/ , es decir, 6< . Por el Teorema 5.10(ii), entonces , es
decir, . Por tanto, contiene al conjunto infinito de los n
umeros naturales, luego no
puede ser finito.
Incluimos a continuaci
on el resultado fundamental que buscabamos sobre conjuntos
bien ordenados y ordinales, pero con un punto delicado en la demostracion (que, por otra
parte, es calcada de la demostraci
on del Teorema 5.5, con la salvedad de que no existe el
conjunto Y de todos los ordinales):
Teorema 5.12. Cada conjunto bien ordenado es isomorfo a un u
nico ordinal.
Demostraci
on: Por el Teorema 5.10(iii), dados dos ordinales distintos, uno es un segmento
inicial del otro, luego no hay dos ordinales isomorfos. Por tanto, cada conjunto bien
ordenado es isomorfo como mucho a un u
nico ordinal. Lo que hay que ver es que es
isomorfo a alguno.
Sea entonces X un conjunto bien ordenado, y consideremos A X el subconjunto de
los elementos x X tales que Ax es isomorfo a alg
un ordinal. Para cada x A, sea x
el u
nico ordinal al que es isomorfo. Entonces, el isomorfismo Ax x manda tambien
isomorfamente los segmentos iniciales de Ax en los segmentos iniciales de x (que son
precisamente los elementos de x ). Esto demuestra dos cosas:
1) Cada y < x est
a tambien en A porque Ay es isomorfo al ordinal correspondiente
de x . Por tanto, o bien A es un segmento inicial de X o bien A = X
2) Cada x es tambien de la forma y para alg
un y X. Esto quiere decir que,
si {x | x A} fuera un conjunto, sera un ordinal, puesto que es transitivo (estamos
diciendo que cada x est
a contenido en el como subconjunto) y esta bien ordenado por ser
un conjunto de n
umeros ordinales.
Dando por descontado que := {x | x A} es un conjunto, tendramos entonces
un isomorfismo A definido por x 7 x . Esto implica tambien que A = X, porque si
no sera un segmento inicial, y por tanto (Lema 3.10) de la forma Ax . Pero por definici
on
de A, se tendra entonces x A = Ax , lo que es absurdo.
61
La demostraci
on anterior estara completa si demostramos que es en realidad un
conjunto. Parece evidente, ya que esta parametrizado por un conjunto, pero no se puede
obtener de ninguno de los axiomas que tenemos hasta ahora. Por tanto, necesitamos un
nuevo axioma, que aadiremos a partir de ahora a los axiomas precedentes:
Axioma de Sustituci
on. Si P (x, y) es una propiedad tal que para cada x existe un u
nico
y tal que P (x, y), entonces ocurre que, para cada conjunto X, existe un conjunto Y con la
propiedad de que si x X entonces existe y Y tal que P (x, y) es cierta.
En el teorema anterior, la propiedad P es: o bien x A e y = x o bien x
/ A e
y = .
Teorema 5.13 (Principio de Induccion Transfinita). Sea P una propiedad de los n
umeros
ordinales que satisface la siguiente condicion:
Para cada ordinal , si P (0 ) es cierta para todo 0 < , entonces P () es cierta.
Entonces P () es cierta para todo ordinal .
Demostraci
on: Supongamos que P no fuera cierta para alg
un ordinal. Entonces, la
coleccion S de ordinales para los que P no es cierta sera no vaca. Por el Teorema 5.10(iv),
S tiene un mnimo . Por tanto, cada 0 < no esta en S, es decir, P (0 ) es cierto. Por
la hipotesis de inducci
on del enunciado, se seguira entonces que P () es cierta, es decir,
S, lo que es absurdo.
El lector igual se pregunta por que hemos empezado por lo que, en el caso de inducci
on
sobre los naturales llam
abamos segundo principio de induccion, en lugar de empezar por
la clasica inducci
on de que cada caso implica el sucesivo. El motivo es que, de ese modo y
empezando del caso 0, a base de ir de cada caso al sucesivo nunca llegaramos a , ya que
no es el ordinal sucesivo de ninguno. De hecho, los ordinales as hay que tratarlos aparte:
Definici
on. Se llama ordinal lmite a un ordinal 6= 0 para el que no existe un ordinal
tal que = + 1.
Lema 5.14. Sean , n
umeros ordinales. Entonces:
(i) < + 1 si y s
olo si .
(ii) < si y s
olo si + 1 .
Demostraci
on: Por definici
on, < + 1 si y solo si {}, que es equivalente a
o = , es decir, < o = , lo que prueba (i).
Para demostrar (ii), observemos que < es equivalente a y (en
realidad estas dos u
ltimas propiedades son equivalentes entre s). Esto u
ltimo es claramente
equivalente a {} , es decir, + 1 .
62
Proposici
on 5.15. Si 6= 0 es un ordinal, son equivalentes:
(i) es un ordinal lmite.
(ii) Para cada < se tiene + 1 < .
(iii) no tiene m
aximo.
(iv) = sup .
S
(v) = 0 0 .
Demostraci
on: Demostramos las equivalencias de modo cclico:
(i) (ii): Por el Lema 5.14(ii), < es equivalente a + 1 . Como + 1 6=
por ser un ordinal lmite, se sigue + 1 < .
(ii) (iii): La hip
otesis (ii) implica que ning
un puede ser cota superior de ,
luego no tiene m
aximo.
(iii) (iv): Recordando que es el segmento inicial formado por los ordinales
menores que , esta implicaci
on esta demostrada en el Lema 3.9(iv).
(iv) (v): Si en el Lema 3.12(iii) tomamos S = , tendremos AS = A . Pero, por
S
definicion, AS = 0 0 , mientras que A = .
(v) (i): Supongamos que fuera = + 1. Entonces , con lo que llegaremos
a un absurdo si demostramos que no pertenece a ning
un 0 con 0 < . En efecto, si
0 < = + 1, por el Lema 5.14(i) se tiene 0 , luego no puede ser < , es decir,
no puede ser 0 .
Observaci
on 5.16. A la vista del resultado anterior cabe preguntarse que ocurre cuando
no es un ordinal lmite, es decir, = + 1. En tal caso, decir 0 es equivalente
(por definici
on y aplicando el Lema 5.14(i)) a decir 0 , por lo que obviamente tiene
maximo (y por tanto supremo), que es , y tambien (como 0 quiere decir ), se
S
tiene 0 0 = . El modo de obtener cualquier como union de ordinales menores es
=
(0 + 1)
0 <
de inducci
on poniendo cualquier propiedad cierta para mayor). Suponemos entonces
f0 ( 0 ) = f00 ( 0 ) para todo 0 < , es decir, f0 = f00 . Por tanto,
f0 () = G(f0 ) = G(f00 ) = f00 ()
como queramos.
S
S
Definimos entonces f = ( 0 < f0 ) {(, G( 0 < f0 )} (cuyo dominio es evidentemente + 1), y veamos que es la funcion buscada. Veamos en primer lugar la propiedad
f () = G(f ) para todo , distinguiendo dos casos:
S
Si = , entonces f () = G( 0 < f0 ) = G(f ).
Si < , entonces f () = f () = G(f ) = G(f ).
Finalmente, debemos probar la unicidad de f en esas condiciones. Supongamos
que existe g en las mismas condiciones, y veamos f () = g() para todo . Lo
demostraremos por inducci
on transfinita sobre . Supongamos entonces f ( 0 ) = g( 0 )
para todo 0 < , es decir, f = g . Tendremos entonces
f () = G(f ) = G(g ) = g()
como queramos.
Ejemplo 5.20. Existe el conjunto + . Para ello tomamos la operacion G que asocia
S
a cada funci
on f el conjunto ( rec(f )) + 1 y aplicamos el Lema para = . Esto
permite construir una funci
on f con dominio + 1 tal que f (n) = + n. Entonces
+ = f ().
Teorema 5.21 (Principio de Recurrencia Transfinita). Sea G una operacion. Entonces
existe una u
nica operaci
on F tal que, para todo ordinal , se tiene F () = G(F ) y
F (x) = si x no es un ordinal.
Demostraci
on: Para demostrar la existencia, definimos la operacion buscada como F (x) =
si x no es un ordinal y F () = f () si es un ordinal. Como f () = G(f ),
para ver que es igual como necesitamos a G(F ) bastara ver que f = F . En
otras palabras, hay que demostrar que, para cada 0 < se tiene que f (0 ) coincide con
F (0 ), es decir, con f0 (0 ). Para ello es suficiente demostrar f (0 + 1) = f0 . Pero
eso es consecuencia de la unicidad de f0 que garantiza el Lema 5.19, ya que para cada
0 < , se tiene f () = G(f ).
Para la unicidad, basta ver que si otra F 0 satisface lo mismo entonces F 0 () = F ()
para cada ordinal . Lo demostramos por induccion sobre . Si F 0 (0 ) = F (0 ) para todo
0 < , entonces F 0 = F , luego
F 0 () = G(F 0 ) = G(F ) = F ()
65
como queramos.
Teorema 5.22. Sean G0 , G00 operaciones. Entonces existe una u
nica operacion F tal que:
(i) F (0) = x0 .
(ii) F ( + 1) = G0 (F ()) para cualquier ordinal .
(iii) F () = G00 (F ) para cualquier ordinal lmite .
(iv) F (x) = si x no es un ordinal.
Demostraci
on: Definimos la operacion G tal que
G(x) =
x0 si x =
66
6. Aritmetica de ordinales
S
Si en el Teorema 5.24 tomamos G(x) = x, G0 (x, y) = y + 1 y G0 (x, y) = rec(y),
podremos definir por recurrencia una operaci
on F (, ) que sera la suma y que escribiremos
+ = F (, )):
Definici
on. Se llama suma de ordinales + a la operacion definida por recurrencia sobre
mediante:
(i) + 0 = .
(ii) + ( + 1) = ( + ) + 1.
S
(iii) + = 0 < ( + 0 ) si es un ordinal lmite.
S
(recuerdese que, por el Teorema 5.10(v), 0 < ( +0 ) es el supremo de { +0 | 0 < },
que es un conjunto por el Axioma de Sustitucion).
En la definici
on anterior hay en principio una peque
na ambig
uedad de notaci
on, ya
que cuando escribimos +1 detr
as de un ordinal denotamos el ordinal sucesivo, no la suma
con 1. La siguiente observaci
on nos indica que ambas cosas coinciden, con lo que no hay
ambig
uedad.
Observaci
on 6.1. Cuando , son n
umeros naturales, las propiedades (i) y (ii) son
exactamente las que definen la suma de naturales. Por tanto, la suma restringida a N
coincide con la suma de n
umeros naturales. Ademas, para todo ordinal , la suma + 1
coincide con el ordinal sucesivo + 1 (basta hacer = 0 en (ii) y aplicar (i)).
Ejemplo 6.2. Para ver c
omo funciona la parte (iii) de la definicion, calculemos + (que
coincidira con el conjunto del Ejemplo 5.20). En primer lugar, aplicando reiteradamente
(ii), tendremos
+ n = {0, 1, 2, . . . , , + 1, . . . , + (n 1)}
de donde se deduce que
+ = {0, 1, 2, . . . , , + 1, + 2, . . .}.
Veamos tambien ahora c
omo se pueden demostrar propiedades de la suma a partir de
la definicion inductiva:
Ejemplo 6.3. Veamos que 0 + = para cualquier ordinal . Lo haremos por inducci
on
transfinita. Para = 0 es la propiedad (i). Por otra parte, si sabemos 0 + = , entonces
por (ii)
0 + ( + 1) = (0 + ) + 1 = + 1.
67
(0 + 0 ) =
0 <
(0 ) =
0 <
donde la u
ltima igualdad es por la Proposicion 5.15.
Observaci
on 6.4. Si n es un n
umero natural, entonces, por definicion de suma para
ordinales lmite, se tiene
[
n+ =
(n + m) =
mN
Lema 6.6. Si es un ordinal lmite, entonces + es un ordinal lmite para todo ordinal
.
Demostraci
on: Sea + ; por el Lema 5.15 tendremos que ver que + 1 tambien est
a
0
0
en + . Por definici
on, + quiere decir que + para alg
un < . Por
0
una parte, de < + se deduce, por el Lema 5.14(ii), que + 1 + 0 . Y por otra
parte, como + 0 < + por el Lema 6.5(i), se sigue finalmente + 1 < + , como
queramos.
Teorema 6.7. Para cualesquiera ordinales , , se tiene ( + ) + = + ( + ).
Demostraci
on: Lo demostramos por induccion transfinita sobre :
El caso = 0 es trivial.
Si (+)+ = +( +), entonces (usando la parte (ii) de la definicion de suma), se
tiene (+)+(+1) = ((+)+)+1 = (+(+))+1 = +((+)+1) = +(+(+1)).
Si es un ordinal lmite no nulo y cada 0 < cumple la asociatividad, entonces
S
S
( + ) + = 0 < (( + ) + 0 ) = 0 < ( + ( + 0 )). Como, por el Lema, + es
S
un ordinal lmite, tendremos + ( + ) = <+ ( + ). Basta demostrar entonces
[
( + ( + 0 )) =
0 <
( + ).
<+
S
Es claro que, si 0 < ( + ( + 0 )), entonces < + ( + 0 ) para alg
un 0 < ,
S
y por el Lema(i) se tiene + 0 < + , luego <+ ( + ). Recprocamente, si
S
S
<+ ( + ), entonces + para alg
un + . Como + = 0 < ( + 0 ),
entonces < + 0 para alg
un 0 < . Se sigue entonces, por el Lema 6.5(i), que
+ < + ( + 0 ), y por tanto + ( + 0 ), demostrando la inclusion que faltaba.
De la misma forma que definamos la suma por induccion, podemos definir tambien
el producto de ordinales:
Definici
on. Se llama producto de ordinales a la operacion definida por recurrencia
sobre mediante:
(i) 0 = 0.
(ii) ( + 1) = ( ) + .
S
(iii) = 0 < ( 0 ) si es un ordinal lmite no nulo.
Observaci
on 6.8. Al ser la misma definicion inductiva que para los n
umeros naturales,
esta multiplicaci
on es una generalizacion del producto de n
umeros naturales. Ademas, de
69
la definici
on (usando sucesivamente (ii) y (i)) sale inmediatamente 1 = para todo
ordinal , mientras que hace falta usar induccion para demostrar 1 = para todo
ordinal . Tambien se demuestra por induccion 0 = 0 para todo .
Ejemplo 6.9. Usando la observacion anterior y la propiedad (ii), para todo ordinal se
tiene
2 = (1 + 1) = 1 + = +
y, por inducci
on sobre n (y teniendo en cuenta la asociatividad del Teorema 6.7) se tiene
n = + . . . + . En particular,
n = + . . . + = {0, 1, . . . , , + 1, . . . , (n 1), (n 1) + 1, . . .}
y por tanto
= {0, 1, . . . , , + 1, . . . , n, n + 1, . . .}
(donde ahora n puede tomar cualquier valor). Sin embargo
n =
(nm) =
particular, 00 = 1. Adem
as, se comprueba facilmente 1 = 1 para todo y n = . . .
para todo natural n y todo ordinal .
Observaci
on 6.14. Para todo n N, se tiene
[
n =
nm = .
m
2 n2 + . . . + r nr 2 n2 + 2 + . . . + 2 = 2 (n2 + 1 + . . . + 1) < 1
y
1 +1 > 1 (n1 + 1) 1 n1 + 2 n2 + . . . + r nr = .
Por tanto, 1 es el mayor ordinal tal que 1 y n1 es el cociente de dividir entre
1 .
Por tanto, aplicamos el Lema(iii) y tomamos el maximo 1 tal que 1 . Aplicando
el Teorema, existir
an n1 y tales que = 1 n1 + 0 con 0 < 1 .
Veamos en primer lugar que n1 es finito. En efecto, si fuera n1 , entonces
1 n1 1 = 1 +1
contradiciendo la maximalidad de 1 . Ademas, n1 6= 0, porque si no = 0 < 1 , en
contra de la elecci
on de 1 . Podemos escribir entonces = 1 n1 + 0 , con n1 N {0}
73
Definici
on. La escritura que da el Teorema 6.20 de un n
umero ordinal se llama forma
normal del n
umero ordinal.
Observaci
on 6.21. Al contrario que en la escritura de naturales en base 10, para calcular
la forma normal de un ordinal no vale reiterar la division por para demostrar la existencia
de forma normal. El motivo es que de la division entre , la igualdad = + implica
la desigualdad , pero esta u
ltima no implica > . Por ejemplo, podemos tener
= , y su divisi
on entre es = , ya que = 1+ = .
Obs
ervese que no se puede deducir
74
Definici
on. Se llama n
umero de Hartogs de un conjunto X al menor ordinal h(X) tal que
|h(X)| 6 |X|.
(Observese que en la definici
on y en el teorema hemos puesto 6 en vez de >,
porque en principio no hay por que suponer que los cardinales estan totalmente ordenados, luego ambas cosas no son equivalentes).
Lema 7.5. El n
umero de Hartogs de un conjunto es un ordinal inicial.
Demostraci
on: Hay que ver que, si < h(X), entonces || 6= |h(X)|. Por la minimalidad
del n
umero de Hartogs, < h(X) implica || |X|. Por tanto, no puede ser || = |h(X)|,
porque entonces sera |h(X)| |X|, en contra de la definicion de n
umero de Hartogs.
El Teorema 7.4 y el Lema 7.5 nos van a permitir definir una sucesion creciente de
ordinales iniciales:
Definici
on. Llamaremos al ordinal definido por recurrencia como sigue:
(i) 0 = .
(ii) +1 = h( ).
S
(iii) = 0 < 0 si es un ordinal lmite.
Ejercicio 7.6. Demostrar para cualquier . [Aunque parezca una acotacion poco
fina, puede demostrarse (Proposicion 8.14) que existen valores de arbitrariamente altos
para los que se da la igualdad].
Veamos en primer lugar que los ordinales que hemos definido forman una sucesi
on
creciente, y que el orden corresponde al orden entre cardinales. Esto es lo que pasaba
para los n
umeros naturales (Proposicion 4.9), lo que nos permitio usar los naturales como
cardinales finitos. Nuestro objetivo ahora es usar los como cardinales infinitos, en la
esperanza de que nos den luego todos los posibles cardinales infinitos.
76
Demostraci
on: Como 0 = para todo (por el Lema 7.7), se sigue que es
infinito. Adem
as, si no es un ordinal lmite es un n
umero de Hartogs, por lo que es un
ordinal inicial (Lema 7.5). Veamos que tambien es un ordinal inicial cuando es un
ordinal lmite. Sea entonces < y veamos que no puede ser equipotente a . En
S
efecto, como = 0 < 0 , entonces 0 para alg
un 0 < , luego 0 y
|| |0 |. Adem
as, como 0 < , el Lema 7.7 implica |0 | < | |. Por tanto, || < | |
y no es equipotente a .
Recprocamente, sea un ordinal inicial infinito. Como (por el Ejercicio 7.6) <
+1 , basta demostrar que, para todo ordinal , los ordinales iniciales infinitos <
son de la forma = para alg
un . Demostramos esa afirmacion por induccion sobre ,
siendo trivial el caso = 0 (ya que no hay ordinales infinitos < 0 , por lo que no hay
nada que demostrar).
Supongamos entonces el enunciado demostrado para los ordinales iniciales infinitos
menores que , y sea ahora < +1 un ordinal inicial infinito. Como < h( ), se sigue,
por la definici
on de n
umero de Hartogs, que || | |. Si fuera < terminaramos por
hipotesis de inducci
on, as que suponemos . Por tanto, | | ||, lo que implicara,
por el Teorema de Cantor-Bernstein, | | = ||. Ahora bien, como tanto como son
ordinales iniciales, se sigue = .
Para completar la inducci
on, sea finalmente un ordinal lmite tal que para todo
< los ordinales menores que 0 son de la forma . Tomemos entonces un ordinal
S
inicial infinito < , es decir, = 0 < 0 . Por tanto, 0 para alg
un
0 < . Por hip
otesis de inducci
on, de < 0 se sigue que = para alg
un ordinal ,
como queramos.
0
S
S
Lema 7.9. Sea {i }iI un conjunto de ordinales. Si = iI i , entonces = iI i .
En particular, la uni
on de ordinales iniciales es un ordinal inicial.
Demostraci
on: Para todo i I se tiene i , luego i . Esto demuestra
S
que s
olo hay que ver el otro contenido. Sea entonces , que
iI i , as
supondremos infinito (ya que, si fuera finito, i para cualquier i I, y no hay nada
que demostrar). Por tanto, por el Teorema 7.3, es equipotente a un ordinal inicial infinito,
luego por el Teorema 7.8 ser
a || = |0 | para alg
un 0 . Como < , necesariamente
S
|0 | < | |, y por el Lema 7.7 se tendra 0 < . Entonces 0 iI i , es decir, existir
a
0
i I tal que < i , y por tanto || = |0 | < |i |. Esto implica que no puede ser
S
i , luego < i , y por tanto iI i .
Una vez que tenemos que los ordinales iniciales nos determinan los cardinales de
conjuntos ordenados infinitos, podemos definir operaciones de suma, producto y exponenciacion que correpondan al cardinal de la union disjunta, del producto o del conjunto de
78
(max{1 , 2 }, 1 , 2 )
tambien + 1 < , luego | + 1| < | |. Por el Lema 7.7 sera 0 < , luego por hip
otesis
de induccion
|( + 1) ( + 1)| = |0 0 | = 0 <
como queramos demostrar.
Introducimos a continuaci
on la aritmetica de cardinales, es decir, las operaciones con
cardinales. Se trata de generalizar los resultados para conjuntos finitos (Lema 4.14, Teorema 4.16 y Teorema 4.17) en que el cardinal de la suma disjunta, producto cartesiano y
exponenciaci
on de conjuntos finitos vienen dados respectivamente por la suma, producto
y exponenciaci
on de n
umeros naturales. En principio la definicion se puede considerar
formal porque no sabemos si conocemos ya todos los posibles cardinales.
Definici
on. Se llama suma de dos cardinales , , y lo denotaremos por + , al cardinal
de |X Y |, donde X, Y son conjuntos distintos de cardinales respectivos y (esta
definicion es independiente de la eleccion de X, Y por el Ejercicio 4.3(i))
Definici
on. Se llama producto de dos cardinales , , y lo denotaremos por (o simplemente ), al cardinal de |X Y |, donde X, Y son conjuntos de cardinales respectivos
y (esta definici
on es independiente de la eleccion de X, Y por el Ejercicio 4.3(ii)).
Definici
on. Se llama exponenciaci
on de dos cardinales , , y lo denotaremos por , al
cardinal de |X Y |, donde X, Y son conjuntos de cardinales respectivos y (esta definici
on
es independiente de la elecci
on de X, Y por el Ejercicio 4.3(iii))
Observaci
on 7.11. N
otese la conveniencia de no haber usado para cardinales infinitos la
notacion que usamos para los cardinales finitos, en que llamamos con el mismo nombre n al
cardinal del conjunto finito n. En efecto, con la exponenciacion de cardinales, el Teorema
de Cantor afirma 20 > 0 , mientras que 20 = 0 (ver Observacion 6.14).
La suma y producto de los cardinales que ya conocemos funciona bien, en el sentido
de que el resultado vuelve a ser un cardinal conocido:
Proposici
on 7.12. Si , son ordinales, = max{, } y n es un n
umero natural,
entonces:
(i) = .
(ii) n = si n 6= 0.
(iii) + = .
(iv) n + = .
80
(v) n = .
Demostraci
on: Veamos primero (i). La desigualdad | | se sigue de la funci
on
inyectiva definida, si como 7 (, 0), y si < como 7 (0, ).
Por otra parte, de la inclusi
on , se sigue | | | |, y
como | | = por el Teorema 7.10, se deduce | |
La parte (ii) la vemos tambien usando la doble desigualdad. Obviamente n
1 = . La otra desigualdad se obtiene de la cadena de la desigualdad n
y de (i).
Para la parte (iii) observamos que + + = 2 . Como la parte
(ii) implica 2 = , las desigualdades son todas igualdades.
La parte (iv) se obtiene de la (iii), ya que se tiene una cadena de desigualdades
n + 0 + = .
Finalmente, la parte (v) se obtiene facilemente por induccion sobre n a partir de (i).
Proposici
on 7.13. Si , entonces = 2 .
Demostraci
on: Primero observamos que, como > 2 se sigue 2 . Por otra parte,
usando < 2 se deduce
(2 ) = 2 .
Como por la parte (i) se tiene = (ya que max{, } = por ser ), se
sigue el resultado.
Sin embargo, el resultado de tal operacion no se conoce ni para = 0. Si supieramos
que los son todos los cardinales, entonces 20 = para alg
un > 0. Supongamos
ademas:
Hip
otesis del Continuo. No existe ning
un conjunto X tal que 0 < |X| < 20 .
Entonces, como 0 < 1 , necesariamente = 1, es decir, 20 = 1 .
Observaci
on 7.14. Hemos visto que los conjuntos bien ordenados satisfacen todas
las buenas propiedades que queremos respecto a cardinalidad, comparabilidad,... Cabe
81
entonces preguntarse: Y no ocurrira que cada conjunto admite un buen orden? Para
responder a ello, dado un conjunto X, la forma natural de ordenarlo parece bastante sencilla en principio: tomo como primer elemento cualquier x0 X, como siguiente elemento
cualquier elemento de X {x0 } y as sucesivamente. Ya sabemos que este y as sucesivamente debe tomarse como una recurrencia (transfinita), es decir, que debemos construir
una sucesion x que ordene los elementos de X. Un primer obstaculo es que no sabemos
en que debemos parar. En realidad esto no es un obstaculo serio, ya que basta tomar
como x un elemento fijo y 6 X si al llegar a se nos han terminado los elementos de
X. Dicho ya de forma m
as precisa, buscamos definir una operacion F mediante
(
alg
un x X Im(F ) si X Im(F ) 6=
F () =
y
en caso contrario.
Ahora bien, para que esto sea posible, necesitamos una operacion G que asocie a cada
conjunto F un elemento x X Im(F ) (si este conjunto no es vaco). Esto sera
posible, por ejemplo, si tuvieramos una funcion g : P(X) X de forma que g(S) S para
todo S P(X) tal que S 6= . En tal caso, definiramos G(F ) = g(X Im(F )).
El problema es que la existencia de tal funcion no se puede deducir de los axiomas que
tenemos hasta el momento.
Definici
on. Se llama funci
on de elecci
on de un sistema de conjuntos S a una funcion con
dominio S que asocia a cada conjunto no vaco de S un elemento suyo.
Teorema 7.15. Cualquier sistema finito de conjuntos tiene una funcion de eleccion.
Demostraci
on: Los demostramos por induccion sobre el n
umero de conjuntos, siendo trivial
el enunciado para el sistema vaco de conjuntos. Supongamos entonces todos los sistemas
de n conjuntos tienen una funci
on de eleccion y sea S un sistema de n + 1 conjuntos. Si
fijamos entonces X un elemento de S, el sistema S {X} tiene ahora n elementos, por lo
que tiene una funci
on de elecci
on g 0 . Si fijamos un elemento x, pidiendo que este en X si
X 6= (si X = vale cualquier x), entonces g 0 {(X, x)} es una funcion de eleccion de S.
Teorema 7.16. Un conjunto X admite un buen orden si y solo si P(X) tiene una funci
on
de eleccion.
Demostraci
on: De la Observaci
on 7.14 se sigue que, si P(X) tiene un funcion de elecci
on,
entonces X admite un buen orden.
Supongamos entonces recprocamente que X tiene un buen orden dado por <. Definimos g con dominio P(X) mediante
(
min Z si Z 6=
g(Z) =
si Z =
82
g(Yf () ) ()
un elemento x X est
an en rec(g) Z si y solo si x Z y ademas x = g(Z 0 ) para alg
un
Z 0 S. Por ser g una funci
on de eleccion, x = g(Z 0 ) Z 0 , luego x Z Z 0 , y por ser
S una partici
on necesariamente Z = Z 0 . Por tanto, cada rec(g) Z consiste solo en el
elemento g(Z), lo que prueba que rec(g) es un sistema de representantes de S.
Recprocamente, supongamos ahora que cada particion de cada conjunto tiene un
sistema de representantes, y sea S cualquier sistema de conjuntos (que supondremos no
vacos por la Observaci
on). Queremos ver que S tiene una funcion de eleccion. Pero
S
0
entonces S = {{Z} Z | Z S} es claramente una particion de S 0 . Por tanto, S 0 tiene
un sistema de representantes T 0 . Entonces, para cada Z S, la interseccion de {Z} Z
con T 0 consiste en un u
nico elemento (Z, z), con z Z. Claramente, la asignacion Z 7 z
define una funci
on de elecci
on de S (de hecho, la funcion, vista como conjunto de pares,
0
es T ).
Recordemos ahora el siguiente resultado tan ampliamente usado en Matematicas:
Lema de Zorn. Si X es un conjunto no vaco con un orden (parcial) tal que cada cadena
de subconjuntos tiene una cota superior, entonces X tiene elementos maximales.
A pesar de su uso tan extendido, el Lema de Zorn es equivalente al Axioma de Elecci
on,
que ya hemos dicho que no hay que admitirlo necesariamente:
Teorema 7.24. El Axioma de Eleccion es equivalente al Lema de Zorn.
Demostraci
on: Supongamos primero el Axioma de Eleccion, y sea X un conjunto no
vaco con un orden parcial tal que cada cadena de subconjuntos tiene una cota superior.
La idea es actuar como en la Observacion 7.14, pero ahora construyendo una sucesi
on
transfinita que no abarque necesariamente todos los elementos de X, sino simplemente
que sea creciente (es decir, una cadena) hasta donde se pueda. Para ello, escogemos
tambien un y
/ X al que mandar los elementos de la sucesion cuando ya no pueda ser
mas creciente. Consideramos entonces g : P(X) X una funcion de eleccion de P(X), y
definimos por recurrencia una sucesion x mediante:
(
x =
en caso contrario.
Observese que, como Z Z si > , en cuanto la sucesion tome el valor y para alg
un
, a partir de ah ya vale constantemente y. Ademas, en alg
un momento la sucesion debe
valer y, ya que, en caso contrario, para cada ordinal la funcion X definida por
0 7 x0 sera una funci
on inyectiva, es decir, || |X|, lo que contradice el Teorema 7.4.
Podemos tomar por tanto el mnimo tal que x = y (en particular, Z = ). Entonces
85
los elementos x0 con 0 < forman una cadena en X (no vaca, puesto que al ser X no
vaco al menos x0 X). Por hipotesis del Lema de Zorn, existira una cota superior x0
para los elementos de la cadena, es decir, x0 x0 para todo 0 < . Veamos que x0 es un
elemento maximal de X. En efecto, no puede haber ning
un x > x0 , porque sera x > x0
para todo 0 < , con lo que x Z , lo que es absurdo.
Recprocamente, supongamos ahora que es cierto el Lema de Zorn, y sea S un sistema
de conjuntos no vacos. Necesitamos ver que S tiene una funcion de eleccion. Para ello,
consideramos el conjunto X de todas las funciones g tales que dom(g) S y tales que
g(Z) Z para todo Z dom(g) (obviamente, X es no vaco, ya que existe al menos la
funcion vaca). Vistos los elementos de X como pares, podemos definir un orden mediante
la inclusion. En el lenguaje de funciones, esto querra decir que g g 0 si y solo si g es la
restriccion de g 0 al dominio de g. Por tanto, esta claro que toda cadena de elementos de X
tiene cota superior, precisamente la union de las funciones (ver Teorema 1.20). Por tanto,
ya que suponemos cierto el Lema de Zorn, existe un elemento maximal g en X, que ser
a
una funcion con dominio contenido en S tal que para cada Z S se tiene g(Z) Z. Si
demostramos que necesariamente dom(g) = S, entonces g sera la funcion de eleccion de S
que buscabamos. Si, por reducci
on al absurdo, suponemos que existe Z S que no est
a
en dom(g), basta entonces tomar cualquier z Z y definir g 0 = g {(Z, z)}. Se tendra
entonces g 0 X y g g 0 , lo que es absurdo.
Veamos ahora algunos de los usos tpicos en Matematicas del Lema de Zorn.
Ejemplo 7.25. Todo espacio vectorial V distinto de 0 tiene una base. Para ello, se
considera el conjunto X de los subconjuntos linealmente independientes de V (X es no
vaco, ya que si v es un vector no nulo, entonces {v} X). Es facil ver que toda cadena
en X tiene una cota superior (ya que la union de una cadena de conjuntos linealmente
independientes es un conjunto linealmente independiente). Por tanto, por el Lema de Zorn,
el conjunto X tendr
a un elemento maximal. Por el Ejercicio 1.29(i), tal elemento ser
a una
base de V .
Ejemplo 7.26. Todo ideal propio I A esta contenido en un ideal maximal. En efecto,
considerando el conjunto X de los ideales propios de A que contienen a I (X es no vaco,
ya que I X), cada cadena en X tiene cota superior (ya que la union de una cadena de
ideales propios que contienen a I es un ideal propio que contiene a I). Por tanto, X tendr
a
un elemento maximal, que necesariamente es un ideal maximal que contiene a I.
Ejemplo 7.27. El radical de un ideal I es la interseccion de todos los ideales primos
que contienen a I. Es claro que el radical de I esta contenido en cada ideal primo que lo
contiene. Para terminar la demostracion habra que ver que, si f no esta en el radical de I
86
entonces no est
a en alg
un primo que contenga a I. Para ello, consideramos el conjunto X
de los ideales que contienen a I a cuyo radical no pertenezca f (claramente I X). Como
en el ejemplo anterior, toda cadena de elementos en X tiene cota superior, luego el Lema
de Zorn implica que X tiene un elemento maximal J. Si vemos que J es primo habremos
terminado. Para verlo, tomamos g, h
/ J. Por la maximalidad de J, f estara entonces
en el radical de J + (g) y de J + (h), luego existiran m, n N tales que f m J + (g) y
f n J + (h). Multiplicando, se obtiene f m+n J + (gh). Por tanto, J + (gh) no puede
coincidir con J, es decir, gh
/ J. Esto demuestra que J es un ideal primo.
Observaci
on 7.28. Por la longitud de la demostracion omitimos los dos teoremas m
as
importantes en los que se usa el Lema de Zorn: el Teorema de Hahn-Banach de An
alisis
Funcional y la existencia de la clausura algebraica de cualquier cuerpo. Cabe a
nadir
tambien que el Teorema de los Ceros de Hilbert implica que, para anillos de la forma
K[X1 , . . . , Xn ]/J con K algebraicamente cerrado, los resultados de los Ejemplos 7.26 y
7.27 se pueden demostrar sin usar el Lema de Zorn.
Los siguientes ejemplos muestran otras situaciones tpicas en que se usa directamente
el Axioma de Elecci
on (aunque suela hacerse sin avisar).
Ejemplo 7.29. Un elemento x0 R esta en la clausura de X R si y solo si existe una
sucesion {xn } de elementos de X que tiende a x0 . Si existe tal sucesion, entonces para
cada > 0 existe n N tal que |xn x0 | < , luego x0 esta en la clausura de X. Para la
otra implicaci
on hace falta ya el Axioma de Eleccion, ya que para cada n N el conjunto
Xn = {x X | |x x0 | < n1 } es no vaco, y para encontrar la sucesion buscada hace falta
tener una funci
on de elecci
on para el sistema de conjuntos {Xn | n N} (cosa que en un
curso de An
alisis de primer a
no suele hacerse sin mas).
Ejemplo 7.30. Una funci
on f : R R es continua en un punto x0 si y solo si para
cada sucesi
on {xn } que tienda a x0 se tiene que {f (xn )} tiende a f (x0 ). Como antes, una
implicacion no necesita el Axioma de Eleccion. En efecto, supongamos que f sea continua
en x0 . Tomamos una sucesi
on {xn } que tiende a x0 , y veamos que {f (xn )} tiende a f (x0 ).
Para cada > 0 existir
a > 0 tal que |f (x) f (x0 )| < si |x x0 | < . Por tender
{xn } a x0 , existir
a n0 N tal que |xn x0 | < si n n0 , luego tambien se tendr
a
|f (xn ) f (x0 )| < si n n0 , lo que demuestra que {f (xn )} tiende a f (x0 ).
Recprocamente, supongamos que f no sea continua en x0 . Entonces existe > 0 tal que
para cada > 0 existe un x0 tal que |x0 x0 | < y |f (x0 ) f (x0 )| . Por tanto, para
cada n N, el conjunto Xn = {x0 R | |x0 x0 | < n1 y |f (x0 ) f (x0 )| } es no vaco.
Escogiendo una funci
on de elecci
on de la familia {Xn }, se obtiene un xn Xn para todo
n N, y claramente la sucesi
on {xn } tiende a x0 mientras que la sucesion {f (xn )} no
tiende a f (x0 ).
87
Los problemas de los dos ejemplos anteriores pueden resolverse suavizando el Axioma
de Eleccion:
Axioma de Elecci
on Numerable. Todo sistema numerable de conjuntos tiene una
funcion de elecci
on.
Pasamos ahora a las consecuencias negativas de suponer el Axioma de Eleccion:
Ejemplo 7.31. No existe ninguna funcion : P(R) [0, ) {} que satisfaga:
(i) ([a, b]) = b a.
(ii) () = 0, (R) = .
(iii) Si {Zn | n N} es un sistema de conjuntos mutuamente disjuntos, entonces
[
X
(
Zn ) =
(Zn ).
nN
nN
se seguira que el conjunto de la izquierda tiene medida infinita (por ser union numerable de
conjuntos disjuntos de igual medida positiva), mientras que el de la derecha tiene medida
2 (por (i)), lo que es absurdo (ver el Ejercicio 7.32(vi)).
Ejercicio 7.32. Demostrar que, si una funcion : P(R) [0, ) {} satisface las
propiedades (i)-(iv) anteriores, satisface tambien las propiedades:
88
89
8. Aritmetica de cardinales y u
ltimos axiomas
Retomamos finalmente la aritmetica de cardinales a partir del Axioma de Elecci
on.
La suma y el producto ya est
an completos por la Proposicion 7.12 (aunque enseguida
ampliaremos la definici
on a sumas y productos infinitos), as que empezamos por volver a
la situacion de la Proposici
on 7.13.
Teorema 8.1. 2 +1 para todo ordinal .
Demostraci
on: Por el Teorema de Cantor, 2 > . Por tanto, usando el Teorema 7.18,
necesariamente 2 = con > , es decir, 2 +1 .
Como en el caso = 0, podemos enunciar (aunque sin tomar como axioma):
Hip
otesis del Continuo Generalizada. 2 = +1 .
Si damos por buenos el Axioma de Eleccion y la Hipotesis del Continuo Generalizada
se obtiene:
Proposici
on 8.2. Sean , ordinales. Entonces:
(i) Si , se tiene = +1 .
(ii) Si , se tiene +1 .
Demostraci
on: La parte (i) es consecuencia inmediata de la Proposicion 7.13 y de la
Hipotesis del Continuo Generalizada. Para la parte (ii), basta considerar la cadena de
desigualdades
= 1 = +1 .
Observaci
on 8.3. En realidad, se sabe (ver Teorema 8.15) cuando toma uno de
los dos valores posibles si , y depende de si es regular o singular (explicaremos
brevemente esa noci
on m
as adelante). Si es regular, entonces
(
+1 si =
si < .
Sin embargo, si es singular, existe un cardinal cf ( ) < (llamado la cofinalidad del
cardinal ) tal que
(
+1 si cf ( )
si < cf ( ).
90
iI
91
iI
iI
X=
X .
Obviamente, si I es un conjunto finito, la suma coincide con la suma de cardinales
ya definida. Nos dedicaremos entonces solo a sumas infinitas. Ademas, supondremos que
ning
un sumando es cero, ya que obviamente no aportan nada a la suma. Entonces, como el
cardinal de I ser
a alg
un , podemos sustituir I por el correspondiente . Por otra parte,
agrupando los sumandos finitos y los infinitos basta estudiar separadamente las sumas
infinitas de cardinales finitos y las sumas infinitas de cardinales infinitos. Empecemos por
las primeras:
Proposici
on 8.6. Sea {n0 }0 una coleccion infinita de n
umeros naturales no nulos.
P
Entonces 0 n0 = .
Demostraci
on: Se sigue del Teorema de Cantor-Bernstein y de la cadena de desigualdades
(en donde usamos el Lema 8.5(i)):
X
X
X
0 = 0 =
n0
1
= 1 =
0
(en la u
ltima igualdad hemos usado la Proposicion 7.12(i)).
Teorema 8.7. Sea {(0 )}0 una coleccion de ordinales, y sea =
P
Entonces 0 (0 ) = .
(0 ).
Demostraci
on: Lo demostraremos usando el Teorema de Cantor-Bernstein. Esta claro
P
P
que se tiene 0 (0 ) 0 = (usando el Lema 8.5(i)). Demostremos
pues la otra desigualdad. Como por la Proposicion 7.12(i) se tiene que = max{,} ,
P
P
P
bastara ver , 0 (0 ) . Evidentemente = 0 1 0 (0 ) , as
P
que falta ver 0 (0 ) .
P
P
Como 0 (0 ) es un cardinal infinito, podemos escribir 0 (0 ) = .
Supongamos, por reducci
on al absurdo, < . Por el Lema 7.7, esto es equivalente
S
a < , es decir, = 0 (0 ). Por tanto, existe 0 tal que < (0 ).
P
Entonces se tendr
a < (0 ) 0 (0 ) = , lo que es absurdo.
Q
Ejemplo 8.8. Veamos cu
anto vale 1 2 . . ., es decir, nN{0} n. Por una parte es claro
que (usando el Lema 8.5(ii))
Y
Y
n
0 = 0 0 = 20 .
nN{0}
nN{0}
92
2 = 20
nN{0,1}
93
g( 0 ).
Demostraci
on: El resultado es trivial si = , ya que (i) y (ii) son ciertos: basta tomar
0
f ( ) = { 0 } y g la identidad (recordando la Proposicion 5.15 y que es un ordinal
lmite). Y si > , tomando cualquier de recorrido y componiendo con las
f y g anteriores, (i) y (ii) siguen siendo ciertos. Supondremos por tanto < .
Supongamos primero (i) y escribamos ( 0 ) = |f ( 0 )| para cada 0 . El Teorema
S
8.7 implica = , donde = 0 ( 0 ). Como hemos supuesto < , entonces
S
debera ser, por la Proposici
on 7.12(i), = , es decir, = 0 ( 0 ). El Lema 7.9
S
implica entonces = 0 ( 0 ) . Por tanto, definiendo g( 0 ) = ( 0 ) se demuestra
(ii).
Supongamos ahora (ii) y definimos f : P( ) mediante
f ( 0 ) = {0 g( 0 ) | 0
/ g( 00 ) para todo 00 < 0 }
y veamos que se cumplen a), b), c). Como f ( 0 ) esta contenido en el ordinal g( 0 ) < ,
entonces |f ( 0 )| < , con lo que se cumple a). Ademas, si 10 6= 20 , por ejemplo 10 < 20 ,
esta claro por la definici
on que si 00 f (10 ) entonces 00
/ g(20 ), luego 00
/ f (20 );
por tanto f (10 ) f (20 ) = y se cumple b). Finalmente, dado cualquier 0 , como
S
= 0 g( 0 ), existir
a 0 tal que 00 g( 0 ). Si tomamos 0 mnimo tal que
S
0 g( 0 ), entonces por definici
on 00 f ( 0 ), luego 0 0 f ( 0 ). Esto demuestra
c).
Definici
on. Se llama cofinalidad del cardinal al mnimo cardinal para el que existe
S
Y tal que |Y | = y 0 Y 0 = . Escribiremos la cofinalidad de como
cf ( ).
Observaci
on 8.11. Es claro que la cofinalidad de un cardinal es tambien el mnimo
S
cardinal tal que existe una funcion g : tal que = 0 g( 0 ). Por tanto,
por la Proposici
on 8.10, es tambien el mnimo cardinal tal que existe una funci
on
f : P( ) tal que
94
Proposici
on 8.14. Para todo ordinal existe un cardinal > tal que = .
Demostraci
on: Basta definir por recurrencia una sucesion de ordinales {n } mediante
S
0 = y n+1 = n . Escribimos = nN n y veamos que = . Por el Ejercicio
7.6, basta demostrar .
Sea entonces . Por ser un ordinal inicial, || < , luego, || = 0 con
S
< . Esto u
ltimo quiere decir 0 nN n , luego existe n N tal que 0 n . Por
tanto, || < n , lo que implica < n . En otras palabra, n+1 , luego .
0
Con todo esto que hemos visto ya podemos decir con precision el valor de las exponenciales que faltaban en la Proposicion 8.2:
Teorema 8.15. Sean dos ordinales. Entonces:
(ii) Si cf ( ) , entonces = +1 .
on
Demostraci
on: Para demostrar (i) basta demostrar ya que la Proposici
P()|
2||
= = .
Finalmente, para demostrar (ii), como la Proposicion 8.2(ii) implica que vale
hipotesis cf ( ) , bastar
a entonces demostrar < cf ( ).
96
=
|X 0 |
0
y, por el Teorema de K
onig se obtiene <
y por tanto
< ( ) =
Esto implica que no puede ser = , por lo que necesariamente < , es decir,
Como cierre de estas notas, vamos a recopilar todos los axiomas que hemos ido incluyendo (con uno m
as que no hemos necesitado), y que son los llamados Axiomas de
Zermelo-Frenkel:
Axioma de Existencia. Existe un conjunto sin elementos.
Axioma de Extensionalidad. Si cada elemento de X es un elemento de Y y cada
elemento de Y es un elemento de X, entonces X = Y .
Axioma de Separaci
on. Dada una propiedad P y un conjunto X, existe un conjunto Z
tal que x Z si y s
olo si x X y x.
Axioma del Par. Dados X, Y , existe un conjunto Z tal que x Z si y solo si x = X o
x=Y.
Axioma de la Uni
on. Para todo conjunto S, existe un conjunto, que denotaremos U =
S
S
S, tal que x S si y s
olo si x X para alg
un X S.
Axioma del Conjunto Potencia. Dado cualquier conjunto X, existe un conjunto P(X)
tal que x P(X) si y s
olo si x es un subconjunto de X.
Axioma de Infinitud. Existe alg
un conjunto inductivo.
Axioma de Sustituci
on. Si P (x, y) es una propiedad tal que para cada x existe un u
nico
y tal que P (x, y), entonces ocurre que, para cada conjunto X, existe un conjunto Y con la
propiedad de que si x X entonces existe y Y tal que P (x, y) es cierta.
Axioma de Fundaci
on. Cada conjunto no vaco X tiene un elemento x X tal que
x X = .
97
Axioma de Elecci
on. Cada sistema de conjuntos tiene una funcion de eleccion.
El Axioma de Fundaci
on (tambien llamado Axioma de Regularidad) no lo hemos
necesitado para ninguna de las construcciones y definiciones fundamentales. Su uso es m
as
bien tecnico para evitar situaciones atpicas. Por ejemplo, dado cualquier conjunto X,
sabemos por el Axioma del Par que {X} es un conjunto no vaco. Como tiene un u
nico
elemento X, el Axioma de Fundaci
on implica que X {X} = , es decir, X
/ X. Como ya
hemos visto en numerables ocasiones, el hecho de que un conjunto no se pueda contener a
s mismo como elemento evita muchos problemas. De la misma forma, dados dos conjuntos
y considerando el conjunto {X, Y }, el Axioma de Fundacion implica que no puede ocurrir
simultaneamente Y X y X Y .
Una u
ltima cuesti
on que es lcita (incluso saludable) plantearse es si existira alguna
definicion precisa de conjunto con la que se cumplan todos estos axiomas. Indicamos
aqu brevemente el primer modelo conocido. Se trata de ir describiendo por recurrencia
transfinita los posibles conjuntos. El primer pelda
no es claro, y definimos L0 = . Es
decir, los primeros conjuntos que consideramos son los elementos de , i.e. los n
umeros
naturales (definidos como conjuntos, que es como los hemos construido en la seccion 2).
Los conjuntos que consideramos en una segunda etapa L1 seran los subconjuntos dados
por los elementos de L0 definidos por una propiedad P (n). Observese que cada n
umero
natural es entonces un elemento de L1 , es decir, L0 L1 . La definicion completa de los
L por recurrencia transfinita es:
(i) L0 = .
(ii) L+1 es el conjunto de subconjuntos de L definidos por una propiedad P (x) de los
x L .
S
(iii) Si es un ordinal lmite, L = 0 < L0 .
Definici
on. Un conjunto constructible es un elemento de alg
un L .
El modelo constructible consiste en el modelo en que los conjuntos son los conjuntos
constructibles. Observese que todos los conjuntos que hemos construido hasta ahora son
constructibles, ya que se basaban en funciones, relaciones y, en definitica, conjuntos de
pares, y un par es tambien un subconjunto. Por tanto, conjuntos como R no son sino
un elemento de las partes de las partes... de un conjunto formado por naturales (que por
cierto se construyen todos a partir del conjunto vaco).
Una forma de imponer el modelo constructible es a
nadir el siguiente axioma:
Axioma de Constructibilidad. Todo conjunto es constructible.
Se puede demostrar que el Axioma de Constructibilidad implica la Hipotesis del Continuo Generalizada.
98