Академический Документы
Профессиональный Документы
Культура Документы
IA DE CONJUNTOS.
J. CLIMENT VIDAL
Indice
1. Introduccion. 3
2. Axiomas de la teora de conjuntos de Zermelo-Fraenkel-Skolem. 4
2.1. El axioma de extensionalidad. 5
2.2. El axioma del conjunto vaco. 5
2.3. El axioma del conjunto par no ordenado. 5
2.4. El axioma del conjunto union. 6
2.5. El axioma del conjunto potencia. 7
2.6. El esquema axiomatico de separacion. 9
2.7. Algunas operaciones conjuntistas derivadas. 10
2.8. Propiedades de la relacion de inclusion. 13
3. Propiedades de las operaciones Booleanas. 13
3.1. Propiedades de la union. 14
3.2. Propiedades de la interseccion. 15
3.3. Propiedades de la diferencia. 16
4. Relaciones. 17
4.1. Pares ordenados. 17
4.2. El producto cartesiano de conjuntos. 20
4.3. Relaciones binarias. 21
5. Operaciones sobre las relaciones. 22
5.1. Dominio, imagen y campo de una relacion. 22
5.2. El esquema axiomatico de reemplazo. 24
5.3. Funciones y aplicaciones no deterministas entre conjuntos. 24
5.4. Inversion y composicion de relaciones. 26
5.5. Imagenes directas e inversas. 30
5.6. Restricciones. 32
6. Funciones. 32
6.1. Funciones, aplicaciones parciales y aplicaciones. 32
6.2. Exponenciales. 37
6.3. El clasificador de subconjuntos. 39
1. n.
Introduccio
La teora de conjuntos, en un primer momento, se ocupa del estudio de los con-
juntos que se obtienen a partir de los axiomas, considerados como objetos amor-
fos, i.e., desprovistos de cualquier tipo de estructura, mediante diferentes tipos de
morfismos, e.g., relaciones, funciones parciales y funciones. Posteriormente, para
profundizar en el estudio de la naturaleza de los conjuntos, se les dota de diversas
estructuras, siendo las fundamentales las de tipo relacional, algebraico, topologico
y analtico y se les compara mediante los morfismos adecuados, i.e., aquellos que
preservan las estructuras involucradas.
Una vez estudiadas las operaciones conjuntistas basicas, pasamos a considerar las
relaciones y las funciones, que usaremos para establecer los conceptos de producto
de una familia de conjuntos, igualador de un par de aplicaciones con el mismo
dominio y codominio, producto fibrado de un par de aplicaciones con un codominio
com un y lmite proyectivo de un sistema proyectivo de conjuntos; as como los
conceptos duales de coproducto de una familia de conjuntos, coigualador de un par
de aplicaciones con el mismo dominio y codominio, suma amalgamada de un par
de aplicaciones con un dominio com un y lmite inductivo de un sistema inductivo
de conjuntos.
Siguiendo los principios categoriales, demostramos la existencia del exponen-
cial de dos conjuntos, caracterizado por una cierta propiedad universal, debida a
Schonfinkel y Curry, que sirve, entre otras cosas, para poner de manifiesto que el
concepto de funcion de dos o mas variables, puede ser reducido al de funcion de una
sola variable. Por otra parte, demostramos que el conjunto 2 es un clasificador de
subconjuntos, i.e., que los subconjuntos de un conjunto estan en correspondencia
biunvoca con las aplicaciones desde tal conjunto hasta el 2 y ello sujeto a cumplir
una cierta propiedad universal.
La existencia de los conjuntos infinitos, razon de ser de la teora de conjuntos
de Cantor, la obtendremos una vez introduzcamos el axioma del conjunto infinito.
4 JUAN CLIMENT
Demostraci on. Dados dos conjuntos x e y, en virtud del axioma del conjunto par
no ordenado, hay al menos un conjunto Z que consta de x e y. Por otra parte, si
Z 0 fuera otro conjunto tal que, para cada t, t Z 0 precisamente si t = x o t = y,
entonces, por el axioma de extensionalidad, Z = Z 0 .
Corolario 2.3. Sea x un conjunto. Entonces hay un u nico conjunto cuyo unico
miembro es exactamente x. Denominamos a tal conjunto (siguiendo la terminologa
categorial) el conjunto terminal o final determinado por x y lo denotamos por {x}.
Ejercicio. Sean x, y, x0 e y 0 cuatro conjuntos. Demuestrese que una condicion
necesaria y suficiente para que {x, y} = {x0 , y 0 } es que ( x = x0 e y = y 0 ) o ( x =
y 0 e y = x0 ).
Los axiomas hasta ahora enunciados, solo nos permiten obtener conjuntos con a
lo sumo dos miembros distintos. Es por ello por lo que son necesarios otros axiomas
que nos aseguren, condicional o incondicionalmente, la existencia de otros conjuntos
que puedan tener, eventualmente, mas de dos conjuntos distintos como miembros.
Dirigido a ese objetivo se encamina el proximo axioma.
2.4. El axioma del conjunto uni
on.
Axioma del conjunto uni on. Dado un conjunto X , hay otro conjunto cuyos
miembros son exactamente los miembros de los miembros de X :
X Y t ( t Y X ( t X X X )).
Proposici on 2.4. Sea X un conjunto. Entonces hay un u nico conjunto cuyos
miembros son exactamente los miembros de los miembrosS de X . Denominamos
S
a tal conjunto el conjunto union de X y lo denotamos por X o por XX X.
Demostracion. Dado un conjunto X , en virtud del axioma del conjunto union,
hay al menos un conjunto Y al cual pertenecen precisamente los miembros de los
miembros de X . Por otra parte, si Y 0 fuera otro conjunto que tuviera la misma
propiedad que tiene Y , entonces, por el axioma de extensionalidad, Y = Y 0 .
As pues, para un conjunto X tenemos que
S
X = { t | X( t X X X ) }.
Proposici
on 2.5. Sean X e Y dos conjuntos. Entonces hay un u nico conjunto
cuyos miembros son exactamente aquellos conjuntos que pertenecen a X o a Y .
Denominamos a tal conjunto la union (binaria) de X e Y y lo denotamos por
X Y.
Demostracion. Sean X e Y dos conjuntos. Entonces, en virtud del axioma del
conjunto par no ordenado,Sexiste el conjunto {X, Y } y ahora, en virtud del axioma
del conjunto union, existe {X, Y }. Pero, los miembros de ese u
ltimo conjunto son
precisamente los conjuntos que pertenecen a X o a Y i.e., en definitiva a X Y .
De modo que, para dos conjuntos X e Y tenemos que
X Y = { t | t X t Y }.
Proposicion 2.6.
1. Sean x, y y z tres conjuntos, entonces hay un u
nico conjunto del cual son
miembros exactamente x, y y z. Denotamos a tal conjunto por {x, y, z}.
2. Sean X, Y y Z tres conjuntos, entonces hay un u
nico conjunto del cual son
miembros exactamente aquellos conjuntos que pertenezcan a alguno de los
conjuntos dados. Denotamos a tal conjunto por X Y Z.
TEORIA DE CONJUNTOS 7
3. Para cada n
umero natural n, no nulo, y cualesquiera n conjuntos x0 , . . . , xn1 ,
hay un u
nico conjunto, denotado por {x0 , . . . , xn1 }, tal que
x( x {x0 , . . . , xn1 } ( x = x0 . . . x = xn1 )).
4. Para cada n
umero natural n, no nulo, y cualesquiera n conjuntos X0 , . . . , Xn1 ,
hay un u
nico conjunto denotado por X0 Xn1 , tal que
x( x X0 Xn1 ( x X0 . . . x Xn1 )).
Demostraci on. Dados los conjuntos x, y y z, obtenemos, por el axioma del conjunto
par no ordenado, los conjuntos {x, y} y {z} y a partir de ellos, otra vez, en virtud
del axioma del conjunto par no ordenado, el conjunto {{x, y}, S{z}}, por ultimo,
mediante el axioma del conjunto union, obtenemos el conjunto {{x, y}, {z}}, que
es el conjunto {x, y, z}. S
Para la segunda parte de la proposicion es suficiente considerar {X, Y, Z}.
La ultima parte se demuestra usando el principio de la demostracion por induc-
ci
on (finita) de J. Bernoulli-Pascal
Parece ser que Levi Ben Gerson fue el primero en hacer uso explcito del principio
de la demostracion por induccion finita en su libro El trabajo del calculador, escrito
en el 1321. Le siguieron, en este uso, F. Maurolico en el 1575, con ocasion de su
libro Arithmetica, B. Pascal en el 1655, en el Traite du triangle arithmetique y J.
Bernoulli, con ocasion de la crtica que hizo de Wallis, por el uso que este u ltimo
autor haca del proceso de inducci on incompleta. Ademas, la expresion inducci on
matem atica fue usada por primera vez por A. de Morgan en el 1838 y el principio
como tal fue establecido por G. Peano en su axiomatizacion de la aritmetica en el
1889. A esto cabe a nadir que P. de Fermat hizo uso en alguna de sus demostraciones
del llamado principio del descenso indefinido, sobre el que volveremos al considerar
el axioma de regularidad, que es equivalente al principio de la demostracion por
induccion finita, aunque Lusin, en un trabajo de 1934 sobre los conjuntos medibles,
advierte que es difcil decidir sobre la equivalencia entre ambos principios.
A continuacion definimos la relacion binaria de inclusion entre conjuntos, con
el fin de abreviar el enunciado del axioma del conjunto potencia. Pero no solo
por eso definimos la relacion de inclusion, sino porque mas adelante estudiaremos
las propiedades de tal relacion, que ademas resultara ser, cuando se estudien los
conjuntos ordenados en una seccion posterior, el modelo de las relaciones de orden
sobre los conjuntos.
Definicion 2.7. Sean X e Y dos conjuntos. Decimos que X esta incluido en Y , o
que es un subconjunto o parte de Y , y lo denotamos por X Y , si para cada z, si
z X, entonces z Y . Ademas, decimos que X esta estrictamente incluido en Y ,
o que es un subconjunto estricto o parte estricta de Y , y lo denotamos por X Y ,
si X Y pero X 6= Y .
2.5. El axioma del conjunto potencia.
Axioma del conjunto potencia. Dado un conjunto X, hay otro conjunto cuyos
miembros son exactamente los subconjuntos de X:
X Y T ( T Y T X ).
Proposici on 2.8. Sea X un conjunto. Entonces hay un u nico conjunto cuyos
miembros son precisamente los subconjuntos de X. Denominamos a tal conjun-
to el conjunto potencia o el conjunto de los subconjuntos de X y lo denotamos por
Sub(X).
8 JUAN CLIMENT
Demostraci on. Dado un conjunto X, en virtud del axioma del conjunto potencia,
hay al menos un conjunto Y que consta de los subconjuntos de X. Por otra parte,
si Y 0 fuera otro conjunto que tuviera la misma propiedad que tiene Y, entonces,
por el axioma de extensionalidad, Y = Y 0 ,
As pues, para un conjunto X tenemos que
Sub(X) = { T | T X }.
Debemos observar que en el conjunto Sub(X) estan absolutamente todos los sub-
conjuntos de X, sean o no definibles mediante formulas, con o sin parametros, de
ZFSk.
Antes de pasar a formular el proximo axioma, que es realmente una familia de
axiomas, parametrizados por las formulas de la teora de conjuntos, conviene recor-
dar que Frege, que fue coetaneo de Cantor, sostuvo el principio de comprehensi on,
segun el cual cada formula de la teora de conjuntos , con al menos una variable
libre, determina unvocamente un conjunto, su extensi on, denotado por { x | }, y
tal conjunto consta de todos los conjuntos x que cumplen la condicion (aunque,
para Frege, extension de un conceptoy conjuntono son sinonimos. Recordemos
que, clasicamente, los conceptos tienen una extensiony una intension. La exten-
si
on de un concepto esta formada por todos los objetos que caen bajo el concepto,
mientras que su intension consta de todas las propiedades que son comunes a to-
dos los objetos que caen bajo el concepto). Pero, Russell y Zermelo demostraron
que algunas formulas no determinan conjunto alguno. Concretamente, tanto Rus-
sell como Zermelo, demostraron que, para la formula x 6 x, no existe el conjunto
R = { x | x 6 x }. A esto se le da el nombre de paradoja de Russell.
Teorema 2.9 (Russell). No existe el conjunto del cual sean miembros precisamente
aquellos conjuntos que no se pertenezcan a si mismos, i.e., no existe
R = { x | x 6 x }.
Demostracion. Si existiera R, entonces R R si y solo si R 6 R, lo cual es absurdo.
Por consiguiente no existe tal conjunto.
El hecho, demostrado por Russell y Zermelo, de que algunas formulas de la teora
de conjuntos no determinen conjuntos, tuvo como efecto inmediato la destruccion
fulminante del programa logicista de Frege, de la fundamentacion de la aritmetica
en una amalgama de logica de predicados de orden superior (en la que se admite
la cuantificacion de relaciones, funciones, . . . ) y principios conjuntistas, consistente
en reducir el concepto de n umero natural a conceptos logicos.
Ese programa de fundamentacion fue el sucesor inmediato del programa de arit-
metizaci on del analisis matematico, iniciado por Cauchy y Bolzano y continuado
por Weierstrass, Dedekind, Cantor y Meray, entre otros, y tal programa de arit-
metizacion consistio, esencialmente, en construir los n umeros reales a partir de los
numeros racionales, para entonces poder definir correctamente los procesos de paso
al lmite, caractersticos del analisis matematico.
A diferencia de otras paradojas conjuntistas, como e.g., la de Cantor, del conjunto
de todos los cardinales, o la de Burali-Forti, del conjunto de todos los ordinales,
en las que intervienen nociones sofisticadas de la teora de conjuntos; la paradoja
de Russell es notable, entre otras razones, porque esta formulada en funcion de
terminos basicos, como son los de conjunto, pertenencia y negacion y es obtenida
mediante un procedimiento natural, el de comprehension.
La paradoja de Russell, junto, sobre todo, a la crtica que de la primera demos-
tracion del teorema de la buena ordenabilidad de los conjuntos de Zermelo, hicieron
TEORIA DE CONJUNTOS 9
Definici
on 2.23. Sea A un conjunto y X e Y dos subconjuntos de A. Entonces
denotamos por X Y el subconjunto de A definido como:
X Y = {A X Y,
y lo denominamos el condicional de X e Y . Ademas, denotamos por X Y el
subconjunto de A definido como:
X Y = ({A X Y ) ({A Y X),
y lo denominamos el bicondicional de X e Y .
Ejercicio. Sea A un conjunto y X e Y dos subconjuntos de A. Demuestrese que
X Y es el maximo subconjunto de A tal que X (X Y ) Y
2.8. Propiedades de la relaci on de inclusion. A continuacion, enunciamos
las propiedades fundamentales de la relacion de inclusion entre conjuntos. Tales pro-
piedades establecen, esencialmente, que el universo de los conjuntos esta ordenado,
bajo la relacion de inclusion, que no es una cadena i.e., que hay pares de conjuntos
incomparables respecto de la inclusion, y que el conjunto vaco es el mnimo de tal
universo. Ademas, por el Corolario 2.12, el universo de los conjuntos no tiene un
maximo, respecto de la relacion de inclusion.
Proposici
on 2.24.
1. A ( es el mnimo para la inclusi on).
2. A A (Reflexividad).
3. Si A B y B A, entonces A = B (Antisimetra).
4. Si A B y B C, entonces A C (Transitividad).
5. Hay dos conjuntos incomparables respecto de la relaci
on de inclusi
on, i.e.,
hay dos conjuntos A y B tales que ni A B, ni B A (No conectividad).
Demostraci
on. Para la u
ltima parte es suficiente considerar, p. ej., los conjuntos
{} y {{}}.
3.1. Propiedades de la uni on. De entre las propiedades de la union que enun-
ciamos en la proposicion que sigue, son especialmente importantes las dos ultimas,
debido a que establecen que la union de un conjunto es el mnimo conjunto que
contiene a cada uno de los conjuntos que le pertenecen o, lo que es equivalente,
es el extremo superior, respecto de la inclusion, de los conjuntos del conjunto en
cuestion.
Proposicion 3.1.
1. A A B y B A B.
2. Si
S A X y B X, entonces A B X.
3. S = .
4. {x} = x. S S
5. Si
S A B, entonces
S A B (Isotona).
S
6. S(A B) = (S A) (S B).
7. (A B) ( A) ( B). S
8. Si A A, entonces A A. S
9. Si B es tal que, para cada A A, A B, entonces A B.
Demostraci
on.
Ejercicio. Demuestrese que:
S
1. A = Sub(A).
S
2. A Sub ( A)
Proposicion 3.2.
1. A = A ( es neutro para la uni
on binaria).
2. A A = A (Idempotencia).
3. A B = B A (Conmutatividad).
4. A (B C) = (A B) C) (Asociatividad).
5. A B si y s
olo si A B = B.
6. Si A B y C D, entonces A C B D (Isotona).
S
Demostracion. La idempotencia se cumple, esencialmente, porque {A, A} = {A},
ya que de dicha propiedad obtenemos
S S
A A = {A, A} = {A} = A.
La conmutatividad se cumple, esencialmente, porque {A, B} = {B, A}, ya que
de dicha propiedad obtenemos
S S
A B = {A, B} = {B, A} = B A.
La asociatividad se cumple porque, por una parte, tenemos que
S S S S
A (B C) = ( {A}) ( {B, C}) = ({A} {B, C}) = {A, B, C},
y, por otra, que
S S S S
(A B) C = ( {A, B}) ( {C}) = ({A, B} {C}) = {A, B, C},
Ejercicio. Demuestrese que:
1. A B si y solo si A B = B. Por lo tanto la relacion de inclusion entre
conjuntos es definible a partir de la operacion binaria de la union.
2. (A B) C = A (B C).
3. A (B C) = (A B) (A C).
4. (A B) C = (A C) (B C).
5. (A B) C = (A C) (B C).
TEORIA DE CONJUNTOS 15
4. Relaciones.
La teora de conjuntos, en un primer momento, se ocupa del estudio de los con-
juntos, considerados como objetos amorfos, i.e., desprovistos de cualquier tipo de
estructura, mediante diferentes clases de morfismos, e.g., relaciones, funciones par-
ciales y funciones. Posteriormente, para profundizar en el estudio de la naturaleza
de los conjuntos, se les dota de diversas estructuras, siendo las fundamentales las
de tipo relacional, algebraico, topologico y analtico y se les compara mediante los
morfismos adecuados.
De entre las diferentes maneras de comparar a los conjuntos amorfos entre si,
para determinar su magnitud relativa, la fundamental, tal como veremos al tratar el
teorema de Cantor-Bernstein, es a traves de las funciones. Ahora bien, el concepto
de funcion del que actualmente se dispone, es el resultado de un largo proceso de
generalizaciones sucesivas y, para no remontarnos en exceso en el tiempo, recor-
damos que tal concepto, aplicado a dominios numericos y en sentido extensional,
proviene, esencialmente, de Dirichlet y del profundo estudio que este hizo de los
trabajos de Fourier sobre la representacion de las funciones numericas mediante
series trigonometricas, que tambien estuvo, dicho sea de paso, en el origen de la
teoria de conjuntos de Cantor.
Para Dirichlet, una funcion numerica (contnua) era una correspondencia que
asignaba a cada n umero, de un cierto dominio numerico de variaci on, y de manera
unvoca, otro numero, de otro dominio numerico de valores. Posteriormente, tal
concepto fue generalizado, entre otros, por Cantor, Dedekind, Frege y Peano, hasta
conjuntos arbitrarios, i.e., dominios no necesariamente numericos.
4.1. Pares ordenados. En la teora de conjuntos se da cuenta del concepto de
funcion, sin que con ello se pretenda en absoluto dilucidar que sean las funciones
en si, reduciendolo al de relacion y este, a su vez, al de par ordenado. Antes de
pasar a definir la nocion de par ordenado de Kuratowski, que, en principio, tiene
una forma aparentemente arbitraria, y para entender el por que de esa definicion,
convenie, por una parte, saber, aunque sea adelantandose al tratamiento formal
de los ordenes lineales, que llevaremos a cabo en una seccion posterior, que una
ordenaci on lineal sobre un conjunto A es, segun la definio Cantor, un determinado
orden de precedencia, que gobierna a sus miembros, de manera que de cualesquiera
dos miembros x e y de A, uno tiene el rango inferior y el otro el superior y eso de
tal modo que, si de tres miembros x, y y z de A, x tiene un rango inferior a y e y
un rango inferior a z, entonces el rango de x es inferior al de z o, denotando por <
el orden de precedencia entre los miembros de A y simbolizando por x < y el que
el rango de x sea inferior al rango de y, cuando la relacion < tenga las siguientes
propiedades:
18 JUAN CLIMENT
SS
tanto x S y existe un y tal que (x, y) S. De donde podemos concluir que
Dom(R) Dom(S). La demostracion de que Im(R) Im(S) es identica.
Para la septima parte se ha de tomar en consideracion que de
Dom(R S) Dom(R), Dom(S) y Im(R S) Im(R), Im(S),
obtenemos que
Dom(R S) Im(R S) Dom(R) Im(R), Dom(S) Im(S).
5.2. El esquema axiom atico de reemplazo. Para obtener la generalizacion
de la primera parte de la u ltima proposici
Son de la subsecci
S on anterior hasta un
conjunto
S de relaciones
S R, i.e., que Dom( RR R) = { Dom(R) | R R } e
Im( RR R) = { Im(R) | R R }, hemos de establecer previamente que existen
los conjuntos { Dom(R) | R R } y { Im(R) | R R }, y ello es as, e.g., aplicando
ciertas instancias del llamado esquema axiom atico de reemplazo, en la version de
Skolem, que enunciamos a continuacion, seg un el cual la imagen directa de un
conjunto bajo una condicion funcional es un conjunto, y que nos permitira, no
solo asegurar la existencia de conjuntos como los anteriores y otros, sino tambien
establecer, posteriormente, alg un hecho de mas enjundia tal como un principio de
la definicion por recursion transfinita, que generalizara al principio de la definicion
por recursion finita y, en definitiva, nos permitira definir los n
umeros ordinales.
Esquema axiom atico de reemplazo. Para cada f ormula (x, y, t[n] ) cuyas va-
riables libres sean x, y, t0 ,. . . , tn1 , y en la que no ocurra B, si, para cualesquiera
conjuntos t0 ,. . . , tn1 y A, se cumple que para cada x A existe un u nico y tal
que (x, y, t[n] ), entonces existe un conjunto B cuyos miembros son exactamente
aquellos conjuntos y para los que existe un x A tal que (x, y, t[n] ):
(t[n] ), A ((x A !y (x, y, t[n] )) By(y B x (x A (x, y, t[n] )))).
As, tomando como formulas y = Dom(x) e y = Im(x) y para el conjunto de
relaciones R, obtenemos los conjuntos mencionados. Tambien se puede establecer la
existencia de tales conjuntos, haciendo uso del axioma del conjunto potencia
S e ins-
tancias del S
esquema axiomatico de separacion, como partes de Sub(Dom( S RR R))
y Sub(Im( RR S R)), ya que, para cada R R, Dom(R) Dom( RR R) e
Im(R) Im( RR R). No obstante, observemos que la va del esquema axiomatico
de reemplazo es logicamente mas simple y directa que la otra va, que supone el
uso de un axioma, el del conjunto potencia, y una instancia del esquema axiomati-
co de separacion, siendo este u
ltimo, en definitiva, un caso particular del esquema
axiomatico de reemplazo.
5.3. Funciones y aplicaciones no deterministas entre conjuntos. Estu-
diamos a continuacion el concepto de funci on no determinista. La relevancia de tal
concepto proviene, por una parte, de que mediante el comparamos a los conjuntos
entre s, de modo que un conjunto muestra lo que es, por lo que hace, concretamen-
te, por sus interacciones con el resto de los conjuntos del universo de los conjuntos,
y, por otra, del hecho de que tal concepto ocurre de modo natural en ambitos tales
como la logica, a traves de las reglas de inferencia, la semantica de los lenguajes
de programacion, como interpretacion de los programas, o la teora de funciones de
variable compleja, como las funciones multiformes.
on 5.5. Sean A y B dos conjuntos y R una relacion. Decimos que R es
Definici
una relaci
on, o una multifunci
on o una funci
on no determinista de A en B si
Dom(R) A e Im(R) B. En particular, a las relaciones de A en A las denomi-
namos relaciones en A.
TEORIA DE CONJUNTOS 25
Definici
on 5.9. Sean A y B dos conjuntos. Una multiaplicaci on o aplicacion no
determinista de A en B es un triplo ordenado r = (A, R, B), al que tambien
denotamos por r : A B, en el que R es una relacion de A en B, a la que
denominamos la relaci
on subyacente de r. Denotamos al conjunto de las aplicaciones
no deterministas de A en B por Homnd (A, B), y es el conjunto
Homnd (A, B) = {A} Rel(A, B) {B}.
En particular, a las aplicaciones no deterministas de A en A las denominamos
endoaplicaciones no deterministas de A, y al conjunto de todas ellas lo denotamos
por Endnd (A)
Ademas, siguiendo el habito categorial, al conjunto A de la aplicacion no deter-
minista r = (A, R, B) lo denominamos el dominio de r y lo denotamos por d0 (r),
y al B el codominio de r y lo denotamos por d1 (r).
En general, d0 (r) sera distinto del dominio de definicion de la relacion R de A
en B, subyacente de la apicacion no determinista r, y tambien d1 (r) lo sera de la
imagen de R.
Proposicion 5.10. Sean A, B, A0 y B 0 cuatro conjuntos. Si (A, B) 6= (A0 , B 0 ),
entonces Homnd (A, B) Homnd (A0 , B 0 ) =
Demostraci on. Porque si Homnd (A, B)Homnd (A0 , B 0 ) 6= , entonces existira una
aplicacion no determinista r tal que d0 (r) = A = A0 y d1 (r) = B = B 0 , pero eso es
imposible, ya que, por hipotesis, (A, B) 6= (A0 , B 0 ).
5.4. Inversi on y composici on de relaciones. Nos ocupamos ahora de definir
dos operadores, el de formacion de la inversa de una relacion y el de composicion
de dos relaciones. El primero es un endooperador de la clase Rel de las relaciones
y el segundo un operdor de Rel Rel en Rel.
Proposici
on 5.11. Sea R una relaci on. Entonces hay una u nica relaci
on cuyos
miembros son exactamente aquellos pares ordenados (y, x) tales que (x, y) R.
on la inversa o recproca de R y la denotamos por R1 .
Denominamos a tal relaci
on. Es suficiente tomar como R1 , la relacion definida como:
Demostraci
R1 = { (y, x) Im(R) Dom(R) | (x, y) R }
Ejercicio. Demuestrese que el proceso de formacion del inverso es aplicable a cual-
quier conjunto (aunque el resultado del mismo, obviamente, no sea necesariamente
una relacion).
Proposici
on 5.12. Sean x e y dos conjuntos. Entonces:
TT
1. T T(x,
T y) = x.1
2. {(x, y)} = y.
on. Por lo que respecta a la primera parte tenemos que:
Demostraci
TT T T
(x, y) = ( { {x}, {x, y} }) (por la def. de par ordenado)
T
= {x}
=x
Por lo que respecta a la segunda tenemos que:
TTT TTT
{(x, y)}1 = {(y, x)} (por la def. de la inversa)
TT T
= ( { { {y}, {y, x} } }) (por la def. de par ordenado)
TT
= { {y}, {y, x} }
=y (por la primera parte)
TEORIA DE CONJUNTOS 27
La proposicion anterior nos permite asociar, de manera unvoca, a cada par
ordenado su primera y su segunda coordenada, tal como establece la siguiente
definicion.
Definicion 5.13. Si z es un par ordenado,
TT entonces la primera coordenada de
z, a la que denotamos por (z) , es
T T T 0 1 z y la segunda coordenada de z, a la que
denotamos por (z)1 , es {z} .
Ademas, la proposicion anterior nos permite dar una demostracion alternativa
de otra proposicion anterior seg un la cual, dados cuatro conjuntos x, y, x0 e y 0 ,
una condicion necesaria y suficiente para que (x, y) = (x0 , y 0 ) es que x = x0 e
0 0 0
yT =
T y . En efecto, 0 porTloTque0 respecta
T TaTla necesidad, si (x, y) =T(x
TT , y ), entonces
0 1 0
(x, y) = x = x = (x , y ) y {(x, y)} = y = y = {(x0 , y 0 )}1 .
A continuacion enunciamos algunas de las propiedades esenciales de la operacion
de formacion de la inversa de una relacion.
S S 1 S S
Lema 5.14. Si R es una relaci on entonces R = R.
Proposicion 5.15. Sean R y S dos relaciones. Entonces:
1. Dom(R1 ) = Im(R) e Im(R1 ) = Dom(R).
2. (R1 )1 = R (Involuci on).
3. (R S)1 = R1 S 1 .
4. (R S)1 = R1 S 1 .
5. (R S)1 = R1 S 1 .
6. Fld(R1 ) = Fld(R).
7. Si R S, entonces R1 S 1 .
Demostraci
on.
1
Ejercicio. Sean A y B dos conjuntos. Demuestrese que entonces (AB) = BA.
Definici on 5.16. Si r = (A, R, B) es una aplicacion no determinista de A en B,
entonces r1 = (B, R1 , A) es la aplicacion no determinista inversa o recproca de
r y lo es de B en A.
A continuacion establecemos la existencia de una operacion binaria, fundamental,
sobre el universo de las relaciones, la composici on o producto relativo, que permite
obtener, a partir de dos relaciones una nueva relacion, la compuesta de las mismas,
que sera la base sobre la que se establecera la clasificacion de Cantor, en terminos
de equipotencia, de los conjuntos.
Proposici on 5.17. Sean R y S dos relaciones. Entonces hay una u nica relaci
on
cuyos miembros son exactamente aquellos pares ordenados (x, z) para los que hay
un y tal que (x, y) R y (y, z) S. Denominamos a tal conjunto la composicion
o el producto relativo de R y S y lo denotamos por S R o simplemente por
yuxtaposici
on como SR.
on. Es suficiente tomar como S R la relacion definida como:
Demostraci
S R = { (x, z) Dom(R) Im(S) | y ((x, y) R (y, z) S) }
Ejercicio. Demuestrese que la operacion de composicion se puede aplicar a cual-
quier par de conjuntos.
Proposicion 5.18. Sean R y S dos relaciones. Entonces Dom(S R) Dom(R)
e Im(S R) Im(S).
28 JUAN CLIMENT
Demostraci
on. En virtud de la definicion de la composicion de relaciones tenemos
que S R Dom(R)Im(S). Por lo tanto Dom(S R) Dom(Dom(R)Im(S)). Si
Im(S) = , entonces S R = , luego Dom(S R) = Dom(R). Si Im(S) 6= ,
entonces Dom(Dom(R) Im(S)) = Dom(R), luego Dom(S R) Dom(R).
La demostracion de que Im(S R) Im(S) es identica.
Proposicion 5.19. Sean R, S y T tres relaciones. Entonces:
1. R (S T ) = (R S) T (Asociatividad).
2. R (S T ) = (R S) (R T ) y (R S) T = (R T ) (S T )
(Distributividad de la composicion respecto de la uni
on, por la izquierda y
por la derecha).
3. R (S T ) (R S) (R T ) y (R S) T (R T ) (S T ).
4. Si R S, entonces R T S T y T R T S (Isotona).
5. (R S)1 = S 1 R1 .
Demostraci
on.
Antes de proseguir conviene poner de manifiesto que la generalizacion de la
distributividad de la composicion respecto de la union, por la izquierda y por la
derecha, al caso en que consideremos un conjunto de relaciones R y otra relacion
S, i.e., que se cumplen las ecuaciones siguientes:
S S S S
S ( RR R) = { S R | R R } y ( RR R) S = { R S | R R },
presupone que existen los conjuntos { S R | R R } y { R S | R R }. Ahora
bien, para demostrar tal existencia podemos hacer uso del esquema axiomatico de
reemplazo, para obtener, en primer lugar, a partir del conjunto de relaciones R
y de las formulas y = Dom(x) e y = Im(x), los conjuntos { Dom(R) | R R }
y { Im(R) | R R } (lo mismo que en un caso anterior, tambien se puede es-
tablecer la existencia de tales conjuntos, haciendo uso del axioma del conjunto
potencia e instancias del esquema axiom atico de separacioS
S n). A continuacion, me-
diante el axioma de la union,Sobtenemos RR Dom(R) y RR Im(R). S En u ltimo
lugar, despues de obtener ( RR Dom(R)) Im(S) y Dom(S) S RR Im(R) y
usar el axioma delSconjunto potencia para obtener Sub(( RR Dom(R)) Im(S))
y Sub(Dom(S) RR Im(R)), obtenemos, usando el esquema axiomatico de se-
paracion, los conjuntos
S { S R | R R } y { R S | R R }, Sya que, para cada
R R, S R ( RR Dom(R)) Im(S) y R S Dom(S) RR Im(R).
Ejercicio. Sean A, B y C tres conjuntos. Demuestrese que:
1. Si B C = , entonces (C D) (A B) = .
2. Si B C 6= , entonces (C D) (A B) = A D.
Ademas de la composicion de relaciones, De Morgan y Peirce consideraron otra
operacion de composicion para las relaciones, la suma relativa, que se puede defi-
nir, cuando las relaciones lo son entre conjuntos dados, a partir de la composicion
ordinaria y de la complementacion.
Proposici on 5.20. Sean R y S dos relaciones. Entonces hay una u nica relaci
on
cuyos miembros son exactamente aquellos pares ordenados (x, z) tales que, para
cada y, (x, y) R o (y, z) S. Denominamos a tal relaci
on la suma relativa de R
y S y la denotamos por SR.
Demostraci
on. Es suficiente tomar como SR la relacion definida como:
SR = { (x, z) Dom(R) Im(S) | y ((x, y) R (y, z) S) }
TEORIA DE CONJUNTOS 29
r
A KK B K
KK
KK KK
KK KKt s
KK KK
KK s KK
s r KKK KK
K K
C D
t
t (s r)
conmuta.
Ahora establecemos la existencia, para cada conjunto, de una relacion distinguida
en el, la diagonal del mismo, que usaremos para demostrar, entre otras cosas, que
la composicion de aplicaciones no deterministas tiene neutros a la izquierda y a la
derecha.
SS SS
Lema 5.23. Sea A un conjunto. Entonces A = A.
Proposicion 5.24. Sea A un conjunto. Entonces hay un u nico conjunto cuyos
miembros son exactamente aquellos z para los que existe un a A tal que z = (a, a).
Denominamos a tal conjunto la diagonal de A y lo denotamos por A .
Demostraci
on. Es suficiente tomar como A el conjunto definido como:
A = { z A A | a A (z = (a, a)) }
Proposici
on 5.25. Sea A un conjunto. Entonces:
1. Dom(A ) = A, Im(A ) = A y Fld(A ) = A.
2. 1
A = A .
Demostraci
on.
Proposici
on 5.26. Sea R una relaci
on. Entonces:
1. Im(R) R = R.
2. R Dom(R) = R.
3. Dom(R) R1 R y Im(R) R R1 .
Demostraci
on.
30 JUAN CLIMENT
6. Funciones.
En esta seccion estudiamos el concepto de funcion, fundamental para toda la
matematica, y los de funcion parcial y funcion de un conjunto en otro, as como los
derivados de estos ultimos, los de aplicacion parcial y aplicacion, que incorporan
en su definicion explcitamente tanto a los conjuntos de partida como de llegada.
Ademas, demostramos la existencia del exponencial de dos conjuntos, caracterizado
por una cierta propiedad universal, debida a Schonfinkel y Curry, que sirve, entre
otras cosas, para poner de manifiesto que el concepto de funcion de dos o mas
variables, puede ser reducido al de funcion de una sola variable, pero a costa (todo
proceso reduccionista tiene un costo) de complejizar el codominio de las mismas.
Por u
ltimo, demostramos, siguiendo a Lawvere, que el conjunto 2 es un clasificador
de subconjuntos, i.e., que los subconjuntos de un conjunto estan en correspondencia
biunvoca con las aplicaciones desde tal conjunto hasta el 2 y ello sujeto a cumplir
una cierta propiedad universal.
6.1. Funciones, aplicaciones parciales y aplicaciones.
Definicion 6.1. Decimos que un conjunto F es una funci on, relaci
on funcional o
una familia, si cumple las siguientes condiciones:
1. F es una relacion.
2. x, y, z (((x, y) F (x, z) F ) y = z).
Si F es una funcion y x Dom(F ), entonces denotamos por F (x) al u nico
miembro del conjunto { y Im(F ) | (x, y) F }, i.e.,
S
F (x) = { y Im(F ) | (x, y) F }
TEORIA DE CONJUNTOS 33
1. G F es una funci
on.
2. Dom(G F ) = { x Dom(F ) | F (x) Dom(G) }.
3. Para cada x Dom(G F ), G F (x) = G(F (x)).
Demostraci
on.
Ejercicio. Demuestrese que si F y G son dos funciones, entonces
Dom(G F ) = Dom(F ) F 1 [Dom(G)].
Corolario 6.16. Sean A, B y C tres conjuntos. Entonces:
1. Si F es una funci on parcial de A en B y G lo es de B en C, entonces G F
es una funcion parcial de A en C y la denominamos la composicion de las
funciones parciales F y G. Adem as, si f : A / B es una aplicaci
on parcial
de A en B y g : B / C lo es de B en C, entonces g f = (A, G F, C) es
una aplicacion parcial de A en C, a la que denotamos por g f : A /C
y la denominamos la composicion de las aplicaciones parciales f y g.
2. Si F es una funci on de A en B y G lo es de B en C, entonces G F es una
funci
on de A en C y la denominamos la composicion de las funciones F y
G. Adem as, si f : A / B es una aplicaci on de A en B y g : B / C lo
es de B en C, entonces g f = (A, G F, C) es una aplicaci on de A en C,
a la que denotamos por g f : A / C y la denominamos la composicion
de las aplicaciones f y g.
Proposici on 6.17. Las diferentes composiciones del corolario 6.16 son asociativas
y tienen neutros por la izquierda y por la derecha. En particular, si f : A / B,
g: B / C y h: C / D son tres aplicaciones, entonces h (g f ) = (h g) f ,
i.e., el diagrama:
(h g) f
f /BK
A KK KK
KK KK
KK KKh g
KK KK
KK g KK
K
g f KKK KK
K% KK
C /% D
h ;
h (g f )
conmuta. Adem
as, se cumple que f idA = f y idB f = f , i.e., los diagramas:
idA / f /B
AD A y AD
DD DD
DD DD
DD DD
D f D idB
f DDDD f DDDD
" "
B B
conmutan.
Definicion 6.18. Sean A, A0 , B y B 0 cuatro conjuntos y h : A0 / A y g: B / B0
dos aplicaciones. Entonces:
1. Denotamos por H(idA , g) la aplicacion
H(idA , g) : Hom(A, B) / Hom(A, B 0 ),
que a un f Hom(A, B) le asigna H(idA , g)(f ) = g f .
TEORIA DE CONJUNTOS 37
A CM
MMM
MMM f
idA f @ MMM
MMM
MMM
&/
A Hom(A, B) ev B
A,B
conmuta.
Demostraci
on.
Corolario 6.21. El par ordenado (evA,B , Hom(A, B)) es u nico, salvo un u nico
isomorfismo, i.e., para cada par ordenado (e, E) en el que E es un conjunto y e
una aplicaci
on de A E en B, si (e, E) es tal que, para cada conjunto C y cada
aplicaci
on f : A C / B, existe una unica aplicaci on f @ : C / E tal que el
diagrama:
A CH
HH
HH f
HH
idA f @ HH
HH
HH
$
AE /B
e
38 JUAN CLIMENT
conmuta.
Proposicion 6.22. Sean f : A0 / A y g: B / B 0 dos aplicaciones. Entonces
hay una u
nica aplicaci f
on g : Hom(A, B) / Hom(A0 , B 0 ) tal que el diagrama:
f id /
A0 Hom(A, B) A Hom(A, B)
evA,B
id g f B
g
A0 Hom(A0 , B 0 ) / B0
evA0 ,B 0
conmuta.
Demostraci
on.
Proposici 0 00
on 6.23. Sean A, A , A B, B y B seis conjuntos y f : A 0 00 0 00 / A0 ,
f: A 0 / A, g : B / B 0 y g0 : B 0 / B 00 cuatro aplicaciones. Entonces:
0 f0
(g 0 g)f f = g 0 gf .
Demostraci
on. Porque, por una parte, debido a que el diagrama:
f 0 id / 0 f id /
A00 Hom(A, B) A Hom(A, B) A Hom(A, B)
evA,B
id g f id g f B
g
f 0 id / 0
A00 Hom(A0 , B 0 ) A Hom(A0 , B 0 ) / B0
evA0 ,B 0
evA0 ,B 0
f0
id g 0 B0
g0
A00 Hom(A00 , B 00 ) / B 00
evA00 ,B 00
conmuta, tambien conmuta el diagrama:
f f 0 id /
A00 Hom(A, B) A Hom(A, B)
evA,B
0
f
id (g 0 gf ) B
g0 g
A00 Hom(A00 , B 00 ) / B 00
evA00 ,B 00
TEORIA DE CONJUNTOS 39
0
Pero, por otra, (g 0 g)f f es la u
nica aplicacion de Hom(A, B) en Hom(A00 , B 00 ) tal
que el diagrama:
f f 0 id /
A00 Hom(A, B) A Hom(A, B)
evA,B
0
id (g 0 g)f f B
g0 g
A00 Hom(A00 , B 00 ) / B 00
evA00 ,B 00
conmuta. Luego
0 f0
(g 0 g)f f = g 0 gf .
X /1
X
inX vd
A /2
chX
Y /1
Y
u vd
A /2
chX
40 JUAN CLIMENT
Proposici on 7.4. No hay ning un conjunto que, respecto de las aplicaciones, sea
inicial y final. Pero el conjunto vaco, respecto de las aplicaciones parciales y de
las aplicaciones no deterministas, es inicial y final; y si A y B son dos conjuntos,
entonces hay tanto una u nica aplicacion parcial, como una u nica aplicacon no
determinista de A en B, que resulta de componer A y B , a la que denotamos por
A,B y la denominamos la aplicaci on parcial o la aplicacion no determinista cero
de A en B.
Adem as, si f : A / B y g: C / D son dos aplicaciones parciales o r : A B
y s: C D dos aplicaciones no deterministas, entonces
f g
g / f #
X /A /
;B
h
f h
conmuta, entonces g = h, i.e., si cuando f g = f h, entonces g = h; es por
ello que a este tipo de aplicaciones tambien se las denomina simplificables
a la izquierda. Denotamos al conjunto de los monomorfismos de A en B
por Mono(A, B). Convenimos entonces que f : A _ / B significa que la
aplicacion f : A / B es un monomorfismo.
TEORIA DE CONJUNTOS 43
f g
g / f #
X /A /
;B
h
f h
conmute. Entonces, dado un x X, se cumple que f (g(x)) = f (h(x)), luego g(x) =
h(x), por lo tanto g = h.
La condici on es suficiente. En efecto, si f : A / B no fuera inyectiva, entonces
existiran x, y A tales que x 6= y y f (x) = f (y). Luego, para X = {} y para
g = (X, {(, x)}, A) y h = (X, {(, y)}, A) se tendra que f g = f h pero que
g 6= h, i.e., que f no sera un monomorfismo. As pues, si f es un monomorfismo,
entonces f es inyectiva.
Ejercicio. Demuestrese directamente que si f : A / B es un monomorfismo, en-
tonces es inyectiva.
Ejercicio. Demuestrese que una condicion necesaria y suficiente para que f : A /B
sea inyectiva es que, para cada X A, X = f 1 [f [X]].
A continuacion demostramos algunas de las propiedades de clausura de la clase
de las aplicaciones inyectivas.
Proposici on 7.9. Sean A, B y C tres conjuntos, X un subconjunto de A, f una
aplicaci
on de A en B y g una aplicaci on de B en C. Entonces:
1. idA , la aplicaci
on identidad de A, es un monomorfismo.
2. inX,A = (X, X , A), la inclusion canonica de X en A, tambien denotada
por inX , si queda claro por el contexto cu
al es el conjunto que se est
a con-
siderando que contiene al conjunto X, es un monomorfismo.
3. Si f y g son monomorfismos, entonces g f es un monomorfismo.
4. Si g f es un monomorfismo, entonces f es un monomorfismo.
Demostracion. Nos limitamos a demostrar las dos u
ltimas partes, dejando el resto
como ejercicio.
44 JUAN CLIMENT
f: A / B, el diagrama:
{}A
A_ / Sub(A)
f f []
B_ / Sub(B)
{}B
conmuta. Asi pues, con la terminologa anterior, cada conjunto A est
a dominado
por Sub(A).
Demostracion. Sea A un conjunto. Entonces la aplicacion {}A : A _ / Sub(A),
definida como:
A / Sub(A)
{}A
a 7 {a},
es un monomorfismo.
Por otra parte, si f : A / B y a A, entonces
{}B (f (a)) = {f (a)} y f [{}A (a)] = {f (a)},
luego {}B f = f [] {}A . Por consiguiente el diagrama conmuta.
Observese que la definicion de las aplicaciones {}A y {}B es la misma, i.e., es
independiente del conjunto que se considere, dicho de otro modo la familia de apli-
caciones ({}A )AV es una transformacion natural entre dos functores convenientes.
Mas adelante demostraremos que Sub(A) no esta dominado por A.
Proposici on 7.14. Una condicion necesaria y suficiente para que un conjunto sea
inyectivo es que no sea vaco.
on. La condici
Demostraci on es suficiente. En efecto, sea I un conjunto no vaco y
consideremos la situacion descrita por el diagrama:
f
A_ /B
g
I
46 JUAN CLIMENT
/ I
B
(
h g(a), si b Im(f ), y siendo {a} = f 1 [{b}];
b
7 h(b) =
i, si b
6 Im(f ).
Para la aplicacion h se cumple que el diagrama:
f
A_ /B
zz
z
zz
g
zzz
z h
z| zz
I
conmuta.
La condicion es necesaria. En efecto, si I = , entonces para la aplicacion
inyectiva {} : / {} se cumple que no hay ninguna aplicacion de {} en
, luego no hay ninguna aplicacion h de {} en tal que h {} = id . Por
consiguiente, si I = , entonces I no es inyectivo.
f /B
AD
DD
DD
DD g
D
idA DDDD
"
A
conmuta. Asi pues, f : A / B es una seccion si y solo si
g : B / A ( g f = idA ).
Observese que para que f : A / B sea una seccion, solo se exige que exista
al menos una aplicacion g : B / A tal que g f = idA , y no que sea u nica tal
aplicacion.
Establecemos a continuacion algunas de las propiedades de clausura de la clase
de las secciones.
Proposici on 7.16. Sean A, B y C tres conjuntos, T un conjunto terminal, f una
aplicaci
on de A en B y g una aplicaci
on de B en C. Entonces:
1. idA es una secci on.
2. Si f : T / A, entonces f es una secci
on.
3. Si f y g son secciones, entonces g f es una seccion.
4. Si g f es una seccion, entonces f es una secci
on.
Demostracion. Demostramos solo las dos u
ltimas partes, dejando el resto como
ejercicio.
TEORIA DE CONJUNTOS 47
f /B g /C
AD y BE
DD EE
DD EE
DD EE
D u E v
idA DDDD idB EEEE
" "
A B
conmutan. Luego el diagrama:
gf /
AD C
DD
DD
DD
D uv
idA DDDD
"
A
conmuta. Por consiguiente g f es una seccion.
Respecto de 4, si g f es una seccion, entonces hay una aplicacion h : C /A
tal que el diagrama:
gf /
AD C
DD
DD
DD
D h
idA DDDD
"
A
conmuta. Luego el diagrama:
f /B
AD
DD
DD
DD
D hg
idA DDDD
"
A
conmuta. Por consiguiente f es una seccion.
Ejercicio. Demuestrese que dado un n 1 y, para cada i n + 1, una aplicacion
fi : Ai / Ai+1 , si fn f0 : A0 / An+1 es una seccion, entonces f0 tambien
lo es. Ademas, demuestrese que si cada una de las aplicaciones fi es una seccion
tambien lo es su composicion.
La proposicion que sigue caracteriza la clase de las secciones.
Proposicion 7.17. Una condici on necesaria y suficiente para que una aplicaci
on
sea una seccion es que sea un monomorfismo y que no sea la u nica aplicaci
on del
conjunto vaco en un conjunto no vaco.
Demostraci on. La condici on es necesaria. En efecto, supongamos que f : A /B
sea una seccion y sean g, h : X / A dos aplicaciones tales que f g = f h.
Entonces, por ser f una seccion, hay una aplicacion t : B / A tal que t f = idA ,
luego t(f g) = t(f h), por lo tanto (tf )g = (tf )h, asi que idA g = idA h,
de donde g = h. Por consiguiente f es un monomorfismo. Ademas, f no puede ser
la u
nica aplicacion del conjunto vaco en un conjunto no vaco, porque si lo fuera,
no podra ser una seccion.
La condicion es suficiente. En efecto, supongamos que f : A / B sea un mo-
nomorfismo y que no sea la u nica aplicacion del conjunto vaco en un conjunto no
48 JUAN CLIMENT
b B a A( f (a) = b ),
i.e., si Im(f ) = B.
2. Decimos que f : A / B es un epimorfismo si, para cada conjunto Y y
cualesquiera aplicaciones g, h : B / Y , si el diagrama
gf
f g #/
A /B
;/ Y
h
hf
f g /#
A /B
;/ Y
h
hf
conmute. Entonces, dado un b B, por ser f sobreyectiva, hay un a A tal que
f (a) = b, por lo tanto g(b) = g(f (a)) y h(b) = h(f (a)), luego g(b) = h(b), ya que
g f = h f , Por consiguiente g = h. Asi pues, si f es sobreyectiva, entonces f es
un epimorfismo.
La condici
on es suficiente. En efecto, si f no fuera sobreyectiva, entonces existira
un x B tal que, para cada a A, f (a) 6= x, sea x uno de ellos, arbitrario, pero
fijo. Entonces, tomando como Y el conjunto 2 y como aplicaciones g, h : B /2
las definidas, resp., como:
B / 2
g
b 7 h(b) = 1 y
/ 2
B
(
h 1, si b Im(f );
b 7 h(b) = 0, si b B Im(f ),
dominio dado, mostrar un objeto del dominio que no cumpla la propiedad. Tal
metodo tiene aplicaciones, no solo en la teora de conjuntos, sino en otros ambitos,
e.g., en la teora de las aplicaciones recursivas.
Teorema 7.23 (Cantor). Para cada conjunto A, no hay ning
un epimorfismo de A
en Sub(A).
Demostraci on. El teorema es evidente si A es vaco. Supongamos que A no sea vaco,
entonces la demostracion la llevamos a cabo usando el metodo de la diagonalizacion
de Du Bois-Reymond-Cantor. Supongamos que exista un epimorfismo f de A en
Sub(A). Entonces para el subconjunto Xf de A, definido como:
Xf = { x A | x 6 f (x) },
se cumple, por ser f un epimorfismo, que hay un a A tal que f (a) = Xf . Sea a
uno de ellos, arbitrario, pero fijo. Entonces, tendramos, en virtud de la definicion
de Xf , que
a Xf si y solo si a 6 f (a),
y ya que f (a) = Xf , tendramos, en definitiva, que
a Xf si y solo si a 6 Xf ,
lo cual es una contradiccion. Por consiguiente no hay ningun epimorfismo de A en
Sub(A).
Observemos que si A no es vaco, entonces Xf no es vaco. Ya que si Xf = ,
i.e., si no fuera el caso que para alg
un x A se tiene que x 6 f (x), entonces, para
cada x A, tendramos que x f (x). Pero, siendo f sobreyectiva, se cumplira que
Xf = = f (a), para alg un a A. Por lo tanto a f (a) = , contradiccion. De
modo que si A no es vaco, entonces Xf tampoco es vaco.
Axioma de elecci on de Baer. Para cualquier relacion se cumple que existe una
funci
on contenida en la relaci
on y que tiene el mismo dominio de definici
on que
esta, i.e.,
R ( Rel(R) F ( Fnc(F ) F R Dom(F ) = Dom(R) ))
Observemos que el axioma de eleccion de Baer, y lo mismo se aplica a las otras
versiones del axioma de eleccion, solo afirma, para una relacion dada, la existencia
de al menos una funcion sujeta a cumplir ciertas condiciones, pero, a diferencia de
los axiomas hasta ahora enunciados, no se puede deducir, en general, la unicidad
de la misma. Ademas, el sentido en el que una tal funcion existe es, en general, el
puramente ideal, seg un el cual una entidad, con ciertas propiedades, existe, cuando
la admision de una tal situacion no conduce a ninguna contradiccion; y no el sentido
constructivo, en virtud del cual, el existir (de una entidad, con ciertas propiedades),
se identifica, en una version debil de constructivo, con la posibilidad de construirlo
de manera efectiva, y, en una version fuerte de constructivo, con la construccion de
hecho del mismo.
Para abreviar el enunciado del axioma de eleccion de Zermelo, convenimos que,
para un conjunto X , Disj(X ) significa que X esta formado por conjuntos dos a dos
disjuntos, i.e., que, para cada X, Y X , si cuando X 6= Y , entonces X Y =
Axioma de elecci on de Zermelo. Si el conjunto X es tal que 6 X y Disj(X ),
entonces hay una funci
on
F: X / SX
tal que, para cada X X , F (X) X, i.e.,
X (( 6 X Disj(X ) ) F : X / SX ( X X (F (X) X ))).
Demostraci on. Es evidente que del principio general de eleccion se deduce el axioma
de Zermelo.
Recprocamente, supongamos el axioma de ZermeloS y sea X un conjunto tal que
6 X . Entonces para el subconjunto Y de Sub(( X ) X ) definido como:
Y = { X {X} | X X },
P
zzz
t zzz g
zzz
z
|zz _ /
A B
f
conmuta.
Teorema 7.28. El axioma de elecci
on, equivale a que todo conjunto sea proyectivo.
on. Supongamos el axioma de Baer y sean P un conjunto, f : A _ / B
Demostraci
y g: P / B. Entonces para la funcion subyacente F de la aplicacion f , se cumple
que F B A y que Dom(F 1 ) = B, luego, en virtud del axioma de Baer, hay
1
idX
S
_ / X ,
X
f
S
siendo f la aplicacion que a un x X le asigna el u
nico X de X para
S el que
x X. Entonces, por ser X proyectivo, hay una aplicacion t : X / X que
completa el diagrama anterior, i.e., el diagrama:
X
w ww
t www
www idX
ww
S w{ _ / X ,
X
f
conmuta. Por consiguiente,
S hay una funcion T , la funcion subyacente de la aplica-
cion t, de X en X tal que, para cada X X , T (X) X.
7.11. Retracciones. Siguiendo con la clasificacion de las aplicaciones, introdu-
cimos ahora el concepto dual del de seccion, que es el de retracci
on.
Definicion 7.29. Una aplicacion f : A / B es una retracci
on o es inversible por
la derecha, si hay una aplicacion g : B / A tal que el diagrama:
BE
EE
EE id
g EE B
EE
EE
E"
A /B
f
conmuta. Asi pues, f : A / B es una retracci on si y solo si
g : B / A ( f g = idB ).
TEORIA DE CONJUNTOS 55
Observese que para que f : A / B sea una retraccion, solo se exige que exista
al menos una aplicacion g : B / A tal que f g = idB , y no que sea u nica.
A diferencia de lo que ocurre entre los conceptos de seccion y de monomorfismo,
los de retraccion y epimorfismo, como se demostrara a continuacion, s son equiva-
lentes, y ello tiene su fundamento, en u ltima instancia, en el axioma de elecci on.
Proposici on 7.30. Una condici on necesaria y suficiente para que una aplicaci
on
sea una retracci
on es que sea un epimorfismo.
Demostraci on. La condici on es necesaria. En efecto, supongamos que f : A /B
sea una retraccion y sean Y un conjunto y u, v : B / Y tales que u f = v f .
Entonces, por ser f una retraccion, hay una aplicacion g : B / A tal que f g =
idB , luego (u f ) g = (v f ) g, por lo tanto u (f g) = v (f g), asi que u = v.
Queda con ello demostrado que f es un epimorfismo.
La condicion es suficiente. En efecto, supongamos que f : A / B sea una apli-
cacion sobreyectiva. Entonces para la funcion subyacente F de f , se cumple que la
relacion F 1 B A, luego, en virtud del axioma de eleccion de Baer, hay una
funcion G incluida en F 1 y tal que Dom(G) = B. Ademas, Im(G) A. Entonces,
para la aplicacion g = (B, G, A) de B en A se tiene que f g = idB . Por lo tanto
f es una retraccion.
Ejercicio. Sean A y B dos conjuntos. Demuestrese que una condicion necesaria y
suficiente para que A este dominado por B es que A = o que exista una aplicacion
sobreyectiva de B en A.
Teorema 7.31. El axioma de elecci
on equivale a que todo epimorfismo sea una
retracci
on.
Demostraci on. En la Proposicion 7.30 hemos demostrado que del axioma de elec-
ci
on, bajo la forma de Baer, se deduce que todo epimorfismo es una retraccion.
Recprocamente, supongamos que todo epimorfismo sea una retraccion. Puesto
que, por el Teorema 7.28, el axioma de eleccion equivale a que todo conjunto sea
proyectivo; vamos a demostrar que de lo supuesto se deduce que todo conjunto
es proyectivo. Sea P un conjunto, f : A _ / B y g : P / B. Entonces hay un
h: B / A tal que f h = idB , luego para t = h g, que es una aplicacion de P en
A, se cumple que f t = f (h g), pero, por la asociatividad, f (h g) = (f h) g
y puesto que f h = idB , tenemos, en definitiva, que f t = g. Asi pues, todo
conjunto es proyectivo.
En la proposicion que sigue establecemos algunas de las propiedades de clausura
de la clase de las retracciones
Proposici on 7.32. Sean A, B y C tres conjuntos, f una aplicaci on de A en B y
g una aplicaci
on de B en C. Entonces:
1. idA es una retracci on.
2. Si f : A / , entonces f es una retracci
on.
3. Si f y g son retracciones, entonces g f es una retraccion.
4. Si g f es una retraccion, entonces g es una retracci
on.
Demostracion. La demostracion de esta Proposicion es similar a la de la Proposi-
ci
on 7.16.
Ejercicio. Demuestrese que dado un n 1 y, para cada i n + 1, una aplicacion
fi : Ai / Ai+1 , si fn f0 : A0 / An+1 es una retraccion, entonces fn tambien
lo es. Ademas, demuestrese que si cada una de las aplicaciones fi es una retraccion
tambien lo es su composicion.
56 JUAN CLIMENT
Demostraci
on.
Proposici on 7.38. Sean A, B y C tres conjuntos, f una aplicaci on de A en B y
g una aplicaci
on de B en C. Entonces:
on y id1
1. idA es una biyecci A = idA .
2. Si f y g son biyecciones, entonces g f es una biyecci on y (g f )1 =
1 1
f g .
on, entonces f 1 es una biyecci
3. Si f es una biyecci on y (f 1 )1 = f .
Demostraci
on.
Corolario 7.39. Sea A un conjunto. Entonces Aut(A) = (Aut(A), , 1 , idA ) es
un grupo, el grupo de los automorfismos o de las permutaciones del conjunto A.
Definicion 7.40. Sean A y B dos conjuntos. Decimos que A y B son isomorfos
o equipotentes, y lo denotamos por A = B, si hay un isomorfismo de A en B. Por
otra parte, decimos que A esta estrictamente dominado por B o que B domina
estrictamente a A, y lo denotamos por A < B, si A esta dominado por B y si A y
B no son isomorfos.
Proposicion 7.41. Sean A y B dos conjuntos. Entonces
1. A < B si y s
olo si A B y B A.
2. Si A 6= , entonces no existe el conjunto { X | X
= A }; pero s existe el
conjunto { X | X
= }.
Corolario 7.42. Sean A, B y C tres conjuntos. Entonces:
1. A
= A.
2. Si A
= B, entonces B
= A.
3. Si A
=B yB = C entonces A
= C.
Ejercicio. Demuestrese que dos conjuntos finales son isomorfos y que entre dos de
ellos hay un u
nico isomorfismo.
7.13. Los operadores P+ y P . Sean A y B dos conjuntos. Entonces deno-
tamos por P+ A,B la aplicaci
on de Hom(A, B) en Hom(Sub(A), Sub(B)) que a una
aplicacion f de A en B le asigna la aplicacion P+ A,B (f ) = f [] de Sub(A) en Sub(B)
que a un subconjunto X de A le hace corresponder el subconjunto f [X] de B.
La aplicacion P+ / Hom(Sub(A), Sub(B)) es inyectiva y, por
A,B : Hom(A, B)
lo tanto refleja monomorfismos (i.e., si f es una aplicacion de A en B tal que la
aplicacion f [] es un monomorfismo de Sub(A) en Sub(B), entonces f es un mono-
morfismo) y epimorfismos (i.e., si f es una aplicacion de A en B tal que la aplicacion
f [] es un epimorfismo de Sub(A) en Sub(B), entonces f es un epimorfismo), luego
tambien isomorfismos (i.e., si f es una aplicacion de A en B tal que la aplicacion
f [] es un isomorfismo de Sub(A) en Sub(B), entonces f es un isomorfismo).
Observemos que la aplicacion P+ / Hom(Sub(A), Sub(B)) no
A,B : Hom(A, B)
es, en general, sobreyectiva. Ademas, si C es un tercer conjunto y g una aplicacion
de B en C, entonces
P+ + +
A,C (g f ) = PB,C (g)PA,B (f ),
y
P+
A,A (idA ) = idSub(A) .
A / Hom(1, A)
A
f H(id1 , f )
B / Hom(1, B)
B
conmuta.
Demostraci
on.
A /A
1A
id1 f f
1B /B
B
TEORIA DE CONJUNTOS 59
f id1 f
B1 /B
B
conmuta.
Demostraci
on.
Proposici on 7.46. Sean A y B dos conjuntos. Entonces hay una biyecci on natural
twA,B : A B / B A tal que, para cualesquiera conjuntos C, D y cualesquiera
aplicaciones f : A / C, g : B / D, el diagrama:
twA,B
AB / BA
f g gf
C D / DC
twC,D
conmuta.
Demostraci
on.
Lo mismo que antes, sabemos que el producto cartesiano de dos conjuntos no es,
en general asociativo, pero la proposicion que sigue afirma que hay un isomorfismo
natural entre los dos modos de asociar tres conjuntos, en un orden dado.
(f g) h f (g h)
(D E) F / D (E F )
aD,E,F
conmuta.
f 1 [] H(f, id2 )
Sub(A) / Hom(A, 2)
A
Demostraci
on. Demostramos de nuevo que no hay ninguna biyeccion de A en
Sub(A), haciendo uso del isomorfismo natural entre Sub(A) y Hom(A, 2). Supon-
gamos que exista una aplicacion sobreyectiva f : A _ / Hom(A, 2). Entonces obte-
nemos la aplicacion diagonal de f , D(f ) : A / 2, definida como:
dA /
A HH AA
HH
HH
HH evA,2 (f idA )
H
D(f ) HHHH
H$
2
A partir de ella obtenemos la aplicacion codiagonal de f , Cd(f ) : A / 2, definida
como:
/ 2
A
(
Cd(f ) 1, si D(f )(a) = 0;
a 7 Cd(f )(a) = 0, si D(f )(a) = 1.
Demostraci
on.
La propiedad universal del subconjunto significa que el par (A, inA ) es un igua-
lador de las aplicaciones chA y 1 desde B hasta 2, i.e., que chA inA = 1 inA
y que, para cada conjunto C y cada aplicacion g de C en B, si chA g = 1 g,
entonces existe una unica aplicacion h de C en A tal que inA h = g:
CD
DD
DD g
DD
h DD
DD
D" chA /
A /B /2
inA 1
Ahora que disponemos de la propiedad universal del subconjunto, obtenemos
como corolario la factorizaci on can onica a traves de la imagen de una aplicacion,
siendo la imagen, esencialmente, el mnimo subconjunto del codominio de la apli-
cacion, a traves del cual la aplicacion factoriza.
f /B
AD O
DD
DD
DD
g DDDD h
D" _
C
62 JUAN CLIMENT
nico monomorfismo t : Im(f ) _
conmuta, entonces existe un u / C tal que el dia-
grama
f /
A 5HH :B
55 HH vvvD
55 HHHg hvvvv
55 HHH v v
55 HH vv
55 H# vv 6 v
5 CO
f s 55
55 inIm(f )
55 t
55
u _ I
Im(f )
t /A
C
_ _
h f
D /B
g
t /A
C
_ _
inC inA
D /B
g
Demostraci
on.
Proposicion 7.52. Sea A un conjunto, (Xi )iI una familia no vaca de subcon-
juntos de A e Y un subconjunto de A tal que, para cada i I, Y Xi . Entonces
TEORIA DE CONJUNTOS 63
el diagrama:
inXi
A _?gOo OO o7 ? Xi
?? OOO
?? OOOinY oooo~o~~
i Y,Xi oo
?? OOO o ~~
?? OOO oo ooo ~~~
?? OOO o ~
?? O oooo ~~
? Y ~
inTiI Xi ??? ~~ T
?? ~ ~~ i iI Xi ,Xi
??iY,T Xi ~~~
?? iI ~~
? ~
T ~
iI Xi
conmuta.
Demostraci
on.
Proposicion 7.53. Sea A un conjunto, (Xi )iI una familia no vaca de subcon-
juntos de A e Y un subconjunto de A tal que, para cada i I, Xi Y . Entonces
el diagrama:
inXi
Xi ?OO 7/ A
??OOOO S S ppppp?
?? OOiX , X in iI Xi ppp
?? OOiOO iI i pp
?? OOOO ppppp
??
??
O'
S pp
? iI Xi
iXi ,Y ??? inY
??
??iS
?? iI X ,Y
??
i
Y
conmuta.
Demostraci
on.
7.16. Aplicaciones constantes y coconstantes. Siguiendo con la clasifica-
cion de las aplicaciones, definimos a continuacion las aplicaciones constantes y las
coconstantes y estudiamos algunas de las propiedades de las mismas.
Definici
on 7.54. Una aplicacion f : A / B es constante si para cada conjunto
X y cualesquiera aplicaciones g, h : X / A, f g = f h.
Proposicion 7.55. Una condici on necesaria y suficiente para que una aplicaci
on
f: A / B sea constante es que A = o Im(f ) sea final.
Demostraci
on.
Proposici on 7.56. Sean f : A / B, g : B / C y h: C / D tres aplicaciones.
Si g es constante, entonces h g f es constante.
Demostraci
on.
Definici
on 7.57. Una aplicacion f : A / B es coconstante si para cada conjunto
Y y cualesquiera aplicaciones g, h : B / Y , g f = h f.
Proposicion 7.58. Una condici on necesaria y suficiente para que una aplicaci
on
f: A / B sea coconstante es que A = .
Si hay un n umero que tiene una propiedad, entonces hay un primero que
la tiene, i.e.,
t0 , . . . , tn1 ( x (x, t[n] ) ( x ( (x, t[n] ) y ( y < x (y, t[n] ) ))))
Si hay un n umero que no tiene una propiedad, entonces hay un primero
que no la tiene, i.e.,
t0 , . . . , tn1 ( x (x, t[n] ) ( x ( (x, t[n] ) y ( y < x (y, t[n] ) ))))
Por consiguiente, el axioma de regularidad tambien es eqivalente a cada uno de
los siguientes enunciados:
Una condicion suficiente para que ningun conjunto tenga una propiedad,
es que cuando exista uno con la propiedad, entonces exista otro que le
pertenezca que tambien la tenga, i.e.,
t0 , . . . , tn1 (( x (x, t[n] ) y ( y x (y, t[n] ) )) x ( (x, t[n] ) )).
Si hay un conjunto que tiene una propiedad, entonces hay uno que la tiene,
y es tal que ninguno de los que le pertenezcan la tiene i.e.,
t0 , . . . , tn1 ( x (x, t[n] ) ( x ( (x, t[n] ) y ( y x (y, t[n] ) ))))
Si hay un conjunto que no tiene una propiedad, entonces hay uno que no
la tiene, pero es tal que todos los que le pertenezcan la tienen i.e.,
t0 , . . . , tn1 ( x (x, t[n] ) ( x ( (x, t[n] ) y ( y x (y, t[n] ) ))))
Una justificacion del axioma de regularidad vendra dada por la siguiente lnea
argumental. Un conjunto es un ordinal si es -transitivo y si es una buena
ordenacion sobre . Ordinales hay de tres tipos: El cero, los ordinales sucesores, i.e.,
aquellos que son de la forma + , y, por u
ltimo, los que no son ni cero ni sucesores,
que reciben el nombre de ordinales lmite. Una vez disponemos del concepto de
ordinal, lo usamos para definir la familia, indexada por la clase On de los ordinales,
(V )On de los universos parciales de von Neumann, que daran lugar al universo V
de von Neumann, que sera la union de los distintos universos parciales V , cuando
On.
, si = 0;
V = Sub(V ), si = + ;
S
V , si es un ordinal l mite.
Observemos que la familia (V )On constituye una jerarqua estrictamente cre-
ciente, de hecho se la conoce como la jerarqua acumulativa de los conjuntos de von
Neumann.
Ahora, dado un conjunto no vaco A, existira un primer ordinal para el que
A V 6= . Sea x A V , arbitrario, pero fijo. Entonces x A = . En caso
contrario, i.e., si x A 6= , sea y x A. Entonces, ya que o es un ordinal
sucesor + o es un ordinal lmite, tenemos que x V , en el primer caso, o x V ,
para algun , en el segundo. Por lo tanto y V , en cualquier caso (en el
segundo, porque los universos parciales V , entre otras propiedades, tienen la de
ser -transitivos). As que A tendra un elemento, y, de un universo parcial, V ,
estrictamente anterior al universo parcial V , contradiccion. Por lo tanto el conjunto
no vaco A tiene un elemento disjunto del propio A.
El corolario que establecemos a continuacion se muestra de utilidad en diferentes
ramas de la matematica, por ejemplo, en topologa para la compactificacion de
Alexandroff, o para demostrar la equivalencia del teorema de Tychonoff con el
axioma de eleccion, en algebra para el teorema de reemplazo de Steinitz, o para las
valoraciones.
Corolario 7.61.
66 JUAN CLIMENT
{R = (({R) R) (R ({R)).
Sea (x, y) ({R) R. Entonces hay un a A tal que (x, a) R y (a, y) {R. Si
(x, y) R, entonces, ya que (x, a) R, (a, x) R, luego (a, y) R, que es una
contradiccion. Por lo tanto (x, y) {R.
Del mismo modo se demuestra que R ({R) {R. Por lo tanto
{R (({R) R) (R ({R)).
Proposici on 7.69. Sean (A, R), (B, S), (C, T ) y (D, U ) cuatro conjuntos clasifi-
cados, f un morfismo de (A, R) en (B, S), g uno de (B, S) en (C, T ) y h uno de
(C, T ) en (D, U ). Entonces:
1. id(A,R) : (A, R) / (A, R) es un endomorfismo de (A, R).
2. g f : (A, R) / (C, T ) es un morfismo de (A, R) en (C, T ).
TEORIA DE CONJUNTOS 69
3. (Asociatividad). El diagrama:
(h g) f
f / (B, S)
(A, R)
JJ JJ
JJ JJ
JJ JJh g
JJ g JJ
JJ JJ
g f JJJ JJ
J%
$
(C, T ) / (D, U )
h :
h (g f )
conmuta.
4. (Neutros). Los diagramas:
id(A,R) f
(A, R) / (A, R) y (A, R) / (B, S)
JJ JJ
JJ JJ
JJ JJ
JJ f JJ id(B,S)
J J
f JJJJ f JJJJ
$ $
(B, S) (B, S)
conmutan.
Proposici on 7.70. Sea A un conjunto y R, S dos relaciones de equivalencia sobre
A. Entonces una condici on necesaria y suficiente para que R S sea una relaci
on
de equivalencia sobre A es que R S = S R, en cuyo caso decimos que conmutan.
Demostraci
on.
Proposici on 7.71. Sea A un conjunto y R, S dos relaciones de equivalencia sobre
A, entonces la relaci
on RS, que no es necesariamente una relaci
on de equivalencia,
contiene a R y a S y esta contenida en cualquier relaci
on de equivalencia sobre A
que contenga a R y a S.
Demostraci
on.
Corolario 7.72. Sea A un conjunto y R, S dos relaciones de equivalencia sobre
A. Si R S es una relacion de equivalencia sobre A, entonces R S es la mnima
relaci
on de equivalencia sobre A que contiane a R y a S, i.e., R S = EgA (R S).
Demostraci
on.
Estudiar el ejemplo del espacio proyectivo determinado por un espacio vectorial.
Tambien los cocientes del anillo de los enteros entre un ideal, o los cocientes de una
estructura algebraica entre una congruencia. Ademas, cada subconjunto X de un
conjunto A determina dos cocientes:
1. ({ X } { A X }) { }.
2. ({ X } { {a} | a A X }) { }.
Consideramos a continuacion la nocion de partici on de un conjunto, que resul-
tara ser equivalente a la de relacion de equivalencia sobre un conjunto.
Definicion 7.73. Sea A un conjunto y P Sub(A). Decimos que P es una parti-
ci
on de A si cumple las siguientes condiciones:
1. 6 P.
2. X, Y P(X 6= Y X Y = ).
70 JUAN CLIMENT
S
3. P = A.
Denotamos por Part(A) el conjunto de las particiones de A, y, si P Part(A),
entonces al par ordenado (A, P) lo denominamos espacio estratificado. Ademas, si
(A, P) y (B, Q) son dos espacios estratificados, un morfismo de (A, P) en (B, Q)
es un triplo ordenado ((A, P), f, (B, Q)), denotado por f : (A, P) / (B, Q), en el
que f es una aplicacion de A en B tal que:
P P Q Q ( f [P ] Q ).
Proposici on 7.74. Sean (A, P), (B, Q), (C, R) y (D, S) cuatro espacios estratifi-
cados, f un morfismo de (A, P) en (B, Q), g uno de (B, Q) en (C, R) y h uno de
(C, R) en (D, S). Entonces:
1. id(A,P) : (A, P) / (A, P) es un endomorfismo de (A, P).
2. g f : (A, P) / (C, R) es un morfismo de (A, P) en (C, R).
3. (Asociatividad). El diagrama:
(h g) f
f / (B, Q)
(A, P)
JJ JJ
JJ JJ
JJ JJh g
JJ g JJ
JJ JJ
g f JJJ JJ
J%
%
(C, R) / (D, S)
h :
h (g f )
conmuta.
TEORIA DE CONJUNTOS 71
Proposicion 7.77. Sea A un conjunto. Entonces hay una biyecci on natural del
conjunto Eqv(A) en el conjunto Part(A), i.e., hay una biyeccion A de Eqv(A) en
Part(A) tal que, para cada conjunto B y cada aplicaci
on f : A / B el diagrama:
A / Part(A)
Eqv(A)
O O
Lf Lf
Eqv(B) / Part(B)
B
conmuta. Adem as, si R y S son dos relaciones de equivalencia sobre A, entonces
R S si y s
olo si la partici
on A (R) es un refinamiento de la partici
on A (S), i.e.,
se cumple que
P A (R) Q A (S) ( P Q ).
Si R es una relacion de equivalencia sobre A, a la partici
on A (R), can
onicamente
asociada a R, la denotamos por A/R, a sus miembros los denominamos R-bloques
o R-clases de equivalencia y si x A, entonces al R-bloque determinado por x lo
denotamos por [x]R y no es m as que R[{x}], i.e., el conjunto { y A | (x, y) R }.
Adem as, denotamos por prR la aplicaci on sobreyectiva de A en A/R que a un a A
le asigna [a]R , y la denominamos la proyeccion canonica determinada por R.
Demostraci
on.
Demostraci
on.
La propiedad universal del cociente significa que el par (prR , A/R) es un coigua-
lador de las aplicaciones pr0 R y pr1 R desde R hasta A, i.e., que prR pr0 R =
prR pr1 R y que, para cada conjunto C y cada aplicacion g de A en C, si
g pr0 R = g pr1 R, entonces existe una u nica aplicacion h de A/R en C tal
que h prR = g:
pr0 R prR
/ / A/R
R / A FF
pr1 R FFF
FF
F h
g FFF
FF
#
C
f /B
A JJ O
JJ
JJ
JJ
J fi
prKer(f ) JJJ
J
$ _
A/Ker(f )
f /B
AD O
DD
DD
DD
g DDD h
D"
C
74 JUAN CLIMENT
_ /
conmuta, entonces existe un u nico epimorfismo t : C A/Ker(f ) tal que el dia-
grama
f
A 7JJ :/ B
J
77 JJ t ttC
77 JJprKer(f ) f i tttt
77 JJJ tt
77 JJ
J 4 t tt
77 $ tt
7 A/Ker(f )
g 77 O h
77 _
77
77 t
7
w
C
conmuta.
Corolario 7.80 (Noether). Sea f una aplicaci on de A en B. Entonces hay una
u on biyectiva f b , la biyectivizada de f , de A/Ker(f ) en Im(f ) tal que
nica aplicaci
el diagrama:
f /B
A O
prKer(f ) inIm(f )
_ _
A/Ker(f ) / Im(f )
fb
conmuta. Esta es la factorizaci
on canonica de una aplicaci
on, a traves de la coima-
gen y de la imagen.
Proposici on 7.81. Sean A, B, C, D cuatro conjuntos, f una aplicaci on sobreyec-
tiva de B en A, h una aplicacion sobreyectiva de D en C y g una aplicaci on de B
en D . Entonces:
1. Una condicion necesaria y suficiente para que exista una aplicaci
on t de A
en C tal que el diagrama
f _ /
B A
g t
_ /
D C
h
conmute, es que Ker(f ) Ker(h g).
2. Si R es una relaci
on de equivalencia sobre B y S una relaci
on de equivalen-
cia sobre D, entonces una condicion necesaria y suficiente para que exista
una aplicaci
on t de B/R en D/S tal que el diagrama
prR
B _ / B/R
g t
_ / D/S
D prS
conmute, es que, para cada x, y B, si (x, y) R, entonces (g(x), g(y)) S
Ademas, tanto en el primero como en el segundo caso t est a unvocamente de-
terminada.
TEORIA DE CONJUNTOS 75
Demostraci
on.
Proposici on 7.82. Sea A un conjunto, y R, S dos relaciones de equivalencia sobre
A tales que R S. Entonces hay una u nica aplicaci
on sobreyectiva pR,S de A/R en
A/S tal que pR,S prA/R = prA/S y si denotamos por S/R el Ker(pR,S ), entonces
piR,S , la inyectivizada de pR,S , es un isomorfismo. Asi que el diagrama:
A MMM
qq qqq MMM
prR qqq MMMprS
qqqq MMM
MMM
1
q qq
xq M &
A/R M _ / A/S
MMM pR,S 1 8
MMM qqqq
MM qq
prS/R MMMM qqqqqi
q pR,S
M & q1qq
(A/R)/(S/R)
conmuta.
Proposici on 7.83. Sea A un conjunto, (Ri )iI una familia no vaca de relaciones
de equivalencia sobre A y S una relaci
on de equivalencia sobre A tal que, para cada
i I, S Ri . Entonces el diagrama:
prRi
A @OOO / A/Ri
@@ OOO m mm6 |>
@@ OOO pr
@@ OOOS pS,Ri mmmmm |||
mm |
@@ OOOO mmmm |||
@@ OOO mm ||
@@ ' mmm ||
@ A/S ||
prTiI Ri @@@ || p iI Ri ,Ri
T
@@ |||
@@ p T |
@@S, iI Ri|||
@@ |
||
T
A/ iI Ri
conmuta.
Proposici on 7.84. Sea A un conjunto, (Ri )iI una familia no vaca de relaciones
de equivalencia sobre A y S una relaci
on de equivalencia sobre A tal que, para cada
i I, Ri S. Entonces el diagrama:
prRi
A/Ri oP oA
BB PPP
BB PPPp W W o ooo~o~~
BB PPRPi , iI Ri pr iI Rioo
o ~
BB PPP
oooo ~~~
P oo
BB
BB
PPP
P( wooo ~~
BB W ~~~
A/ iI Ri ~
pRi ,S BBB ~~~ prS
BB
BB W ~~
BBp iI Ri ,S ~~~
BB ~
B ~~~
A/S
conmuta.
Proposici on 7.85. Sea A un conjunto y R Eqv(A). Entonces la aplicaci on del
conjunto { S Eqv(A) | R S } en el conjunto Eqv(A/R) que a cada S del
primero, le asigna la relaci
on de equivalencia S/R sobre A/R, definida como
R/S = { ([x]R , [y]R ) A/R A/R | (x, y) S },
76 JUAN CLIMENT
es una biyecci
on.
Ademas, si S, T { S Eqv(A) | R S }, entonces S T si y s
olo si S/R
T /R.
7.20. Saturaci
on.
Definici
on 7.86. Sea A un conjunto, R Eqv(A) y X un subconjunto de A.
Decimos que X esta R-saturado si, para cada x X, se cumple que [x]R X, i.e.,
si
S
X = xX [x]R .
Denotamos por SatR (A) el conjunto de los subconjuntos de A que estan R-
saturados, i.e., el conjunto
S
SatR (A) = { X Sub(A) | X = xX [x]R }
Ejercicio. Sea A un conjunto, R Eqv(A) y X un subconjunto de A. Demuestrese
que una condicion necesaria y suficiente para que X este R-saturado es que X =
1
prR [prR [X]]
Proposicion 7.87. Sea A un conjunto y R Eqv(A). Entonces:
S
1. Si X SatR (A), entonces XX X TSatR (A). En particular, SatR (A).
2. Si X SatR (A) y X 6= , entonces XX X SatR (A).
3. A SatR (A).
4. Si X SatR (A), entonces A X SatR (A).
Demostraci
on.
Demostraci
on.
Proposicion 7.95. Sea (Xi )iI una familia de conjuntos tal que, para cada i, j I,
Xi = Xj . Entonces, denotando por X el valor com un, se cumple que
S
iI Xi = X.
Demostraci
on.
Demostraci
on.
78 JUAN CLIMENT
Proposici on 7.97. Sean (Xi )iI y (Yi )iI dos familias de conjuntos. Si, para cada
i I, Xi Yi , entonces
S S
iI Xi iI Yi .
Demostraci
on.
Demostraci
on.
Proposici on 7.100 (Conmutatividad). Sea (Xi )iI una familia no vaca de con-
juntos y f una permutaci
on de I. Entonces
T T
iI Xi = iI Xf (i) .
Demostraci
on.
Proposici on 7.101. Sea (Xi )iI una familia no vaca de conjuntos tal que, para
cada i, j I, Xi = Xj . Entonces, denotando por X el valor com un, se cumple que
T
iI Xi = X.
Demostraci
on.
Proposici on 7.102. Sean (Xi )iI y (Yi )iI dos familias no vacas de conjuntos.
Si, para cada i I, Xi Yi , entonces
T T
iI Xi iI Yi .
Demostraci
on.
Demostraci
on.
Proposici on 7.104 (De Morgan). Sea A un conjunto y (Xi )iI una familia no
vaca de subconjuntos de A. Entonces
S T T S
{A ( iI Xi ) = iI {A Xi y {A ( iI Xi ) = iI {A Xi .
Demostraci
on.
TEORIA DE CONJUNTOS 79
Proposici on 7.113. Sea Y un conjunto, (Xi )iI una familia de conjuntos y (fi )iI
una familia de aplicaciones tal que, para cada i I, fi : Xi / Y y, para cada
i, j S
I, se cumpla que fi Xi Xj = fj Xi Xj . Entonces hay una u
nica aplicacion
t : iI Xi / Y tal que, para cada i I, el diagrama:
ini S
Xi I / iI Xi
II
II
II
II t
fi IIII
I$
Y
conmuta.
Demostraci
on.
inA / AB o inB
A B
f t g
C / C D o D
inC inD
conmuta. Adem
as, si f y g son isomorfismos, t tambien lo es.
Demostraci
on.
Lema 7.115. Sean A y B dos conjuntos tales que B A y sea f una aplicaci
on
inyectiva de A en B. Entonces A y B son isomorfos.
on. Para demostrar que A y B son isomorfos consideramos el conjunto
Demostraci
Xf = { X A | A B X f [X] X },
formado por todos los subconjuntos X de A que contienen a la corona A B
y son tales que f [X]
T X. El conjunto Xf no es T vaco, porque A Xf , luego
existe el conjunto Xf . Ademas, se cumple que Xf Xf ,Tporque, por una
parte, dadoT cualquier
T X Xf , A B X, asi que A B Xf , y, por otra,
ya que, f [ Xf ] XXf f [X] y, para cualquier X Xf , f [X] X, entonces
T T
f [ Xf ] Xf .
TEORIA DE CONJUNTOS 81
T
Para el subconjunto Xf de A, demostramos que tiene las siguientes propieda-
des:
T T
(7.1) Xf = f [ Xf ] (A B).
T T
(7.2) Xf = f [ Xf ].
T T
(7.3) A Xf = B f [ Xf ].
T T
Por lo que respecta a 7.1, demostramos en primer lugar que Xf Tf [ Xf ]
(A B), para lo cual es suficiente que demostremos, debido a que Xf es el
mnimo subconjunto
T X de A tal que A B X y f [X] X, que, por una parte,
A B f [ Xf ] (A B), lo cual es evidente, y, por otra, que
T T
f [f [ Xf ] (A B)] f [ Xf ] (A B).
T T T
Pero esto u
ltimoTse cumple porque, Ta partir de A T B Xf y de f [ XTf ] Xf ,
tenemos
T que fT[ Xf ] (A B) Xf , luego T f [f [ Xf ] (A B)]T f [ Xf ], pero
f [ Xf ] f [ XfT] (A B),
T asi que f [f [ Xf ] (A B)] f [ Xf ] (A B).
Por consiguiente Xf f [ Xf ] (A B). T
La inclusi
Ton inversaT se cumple debido a que XA,B Xf . Luego podemos
afirmar que Xf = f [ Xf ] (A B).
Para demostrar 7.2, consideremos el diagrama:
T inT Xf
Xf /A
_
f
T
f [ Xf ] /B
inf [ T
Xf ]
T T T
Puesto que (f inT Xf )[ Xf ] = f [ Xf ] y f [ Xf ] B, existe una u
nica aplicacion
T / T
g: Xf f [ Xf ] tal que el diagrama
T inT Xf
Xf /A
_
g f
T
f [ Xf ] /B
inf [T Xf ]
T T
A Xf = A (f [ Xf ] (A B)) (por 7.1)
T
= (A f [ Xf ]) (A (A B)) (por De Morgan)
T
= (A f [ Xf ]) B (por De Morgan)
T
= B f [ Xf ] (por ser B A).
T T
Por Tlo tanto, B = f T
[ Xf ] (A Xf ), ya que, porT una parte,Tse cumple que
B = f [ Xf ] (B f [ Xf ]) y, por otra, que B f [ Xf ] = A Xf .
82 JUAN CLIMENT
Por u
ltimo, consideremos el diagrama
T inT Xf T T inAT Xf T
Xf / ( Xf ) (A Xf ) o A Xf
g idAT Xf
T T T T
f[ Xf ] / f [ Xf ] (B f [ Xf ]) o B f [ Xf ]
inf [ T inBf [T Xf ]
Xf ]
T inT Xf inAT Xf T
Xf /Ao A Xf
g h idAT Xf
T T
f[ Xf ] /Bo B f [ Xf ]
inf [ T inBf [ T
Xf ] Xf ]
A, B((A B B A) A
= B).
Demostraci on. Por hipotesis hay una aplicacion inyectiva f : A _ / B y una apli-
_ /
cacion inyectiva g : B A. Entonces, para g, se cumple que g[B] A. Por con-
siguiente g[f [A]] g[B], porque f [(A] B y g preserva las inclusiones.
Ahora estamos ante la siguiente situacion:
A FF
FF
FF g f
FF
FF
FF
F#
_ / A.
g[B]
ing[B]
Pero, ya que g[f [A]] g[B], podemos afirmar, en virtud de la Proposicion 7.49,
que hay una u
nica aplicacion h : A / g[B] tal que el diagrama
A FF
FF
FF g f
FF
h FF
FF
F"
g[B] _ /A
ing[B]
conmuta.
Ademas, h es inyectiva, porque ing[B] h = g f y g f es inyectiva. Luego, en
virtud del Lema 7.115 , ya que g[B] A y h : A _ / g[B], podemos afirmar que
hay un isomorfismo t : A / g[B].
TEORIA DE CONJUNTOS 83
Ahora bien, g : B _ / A, en virtud del Corolario 7.50, determina un isomorfismo
s
g de B en g[B] tal que el diagrama
g
B F_F /A
O
FF
FF
FF ing[B]
F
g s FFF _
"
g[B]
conmuta.
Por consiguiente, a partir de los isomorfismos
t: A / g[B] y gs : B / g[B],
obtenemos el isomorfismo
t (g s )1
A / g[B] /B
:
(g s )1 t
8. Lmites proyectivos
Cuando consideramos las relaciones, apoyandonos sobre el concepto de par or-
denado, demostramos la existencia del producto cartesiano de dos conjuntos, y, por
recursion, la de cualquier familia finita no vaca de conjuntos. Pero, debido a la
ausencia de un concepto de tupla ordenada de longitud transfinita, que fuera la
generalizacion natural del de tupla ordenada de longitud finita, no demostramos
entonces la existencia del producto de una familia arbitraria de conjuntos.
Ahora, haciendo uso del concepto de funcion, nos ocupamos, en primer lugar,
de demostrar tanto la existencia de productos de familias de conjuntos, como la
de productos de familias de aplicaciones entre familias de conjuntos, as como, en
segundo lugar, de estudiar la conducta del operador de formacion de productos,
respecto de las identidades y de la composicion de familias de aplicaciones entre
familias de conjuntos.
8.1. Productos.
Proposici oQ
n 8.1. Sea (Xi)iI una familia Q de conjuntos. Entonces hay un par
ordenado iI Xi , (pr )
i iI en el que iI Xi , el producto de (Xi )iI , es un
conjunto y, para cada Q i I, pri , la proyeccion canonica i-esima del producto, es
una aplicaci on de iI Xi en Xi , que tiene la siguiente propiedad universal:
Para cada par ordenado (A, (fi )iI ), en el que A es un conjunto y, para cada
i I, fi : A / Xi , hay una u nica aplicaci on hfi iiI : A / Q Xi tal que, para
iI
cada i I, el diagrama:
A II
II
II f
II i
hfi iiI II
II
II
Q $
Xi / Xi
iI pri
conmuta.
84 JUAN CLIMENT
Q
Demostraci
on. Sea iI Xi el conjunto definido como:
Q S
iI Xi = x Fnc(I, iI Xi )) | i I(xi Xi ) ,
Q
y, para cada i I, pri la aplicacion de iI Xi en Xi definida como:
Q
/ Xi
pri iI Xi
x 7 xi .
Entonces, dado un par ordenado (A, (fi )iI ), en el que A Q es un conjunto y, para
cada i I, fi : A / Xi , sea hfi i la aplicaci
o n de A en
iI iI Xi definida como:
A / Q Xi
hfi iiI iI .
a 7 (fi (a))iI
Es evidente que, para cada i I, pri hfi iiI =
Qfi . Con ello queda demostrada la
existencia de al menos una aplicacion de A en iI Xi con la propiedad indicada.
Dejamos, como ejercicio, la demostracion de la unicidad.
pri f
f /Q pri !
A / Xi / Xi
g
iI =
pri g
2. Para cada par ordenado (A, (fi )iI ), en el que A sea un conjunto y, para
cada i I, fi : A / Xi , y para cada epimorfismo t : Q Xi _ / A, si,
iI
para cada i I, el digrama:
Q pri
iI Xi
/ Xi
II z <
II
II z zz
II zz
t IIII zzz fi
z
I $ zz
A
conmuta, entonces t es un isomorfismo, i.e., la familia de aplicaciones
(pri )iI es extremal.
Demostraci
on.
Corolario 8.3. Sea (Xi )iI una familia de conjuntos. Si un par ordenado (P, (pi )iI ),
en el que P es un conjunto y, para cada i I, pi : P / Xi , tiene la propiedad de
que para cada par ordenado (A, (fi )iI ), en el que A es un conjunto y, para cada
i I, fi : A / Xi , hay una u
nica aplicaci on h : A / P tal que, para cada i I,
el diagrama:
AE
EE
EE f
EE i
h EE
EE
E"
P / Xi
pi
Q
conmuta, entonces hay un u nico isomorfismo t de P en iI Xi tal que, para cada
i I, el diagrama:
P II
II
II p
II i
t II
II
II
Q $
Xi / Xi
iI pri
conmuta.
Demostraci
on.
Teorema 8.4. El principio general de elecci on de Zermelo equivale al axioma de
elecci
on multiplicativo de Russell, segun el cual el producto cartesiano de cualquier
familia de conjuntos no vacos, es no vaca, i.e., se cumple que:
Q
I (Xi )iI ((i I (Xi 6= )) iI Xi 6= ).
Demostraci on. Supongamos el axioma de eleccion, bajo la forma del principio ge-
neral de eleccion de Zermelo, i.e., el que afirma S que para cualquier conjunto X ,
si 6 X , entonces hay una funcion F de X en X tal que, para cada X X ,
F (X) X, y sea (Xi )iI una familia de conjuntos indexada por un conjunto I, tal
que, para cada i I, Xi 6= . A partir de (Xi )iI obtenemos su imagen, i.e., el
conjunto Im((Xi )iI ). Ahora bien, puesto que, para cada i I, Xi 6= , tenemos
que 6 Im((Xi )iI ), luego, por el principio general de eleccion, podemos afirmar
que: S
F : Im((Xi )iI ) / Im((Xi )iI ) ( i I ( F (Xi ) Xi ) ).
Entonces tomando como x la composicion de la funcion (Xi )iI y de la funcion de
eleccion F , se cumple que, para cada i I, xi Xi .
Recprocamente, supongamos que para cada conjunto QI y cada familia de con-
juntos (Xi )iI , si, para cada i I, Xi 6= , entonces iI Xi 6= , y sea X un
86 JUAN CLIMENT
y a la u nica aplicaci
on de X en Fnc(I, X), determinada por la familia
de aplicaciones (idX )iI , la denominamos la aplicaci
on diagonal de X en
Fnc(I, X) y la denotamos por dgI,X ; adem as, dgI,X es un monomorfismo.
As pues, para cada i I, el diagrama:
X KK
_ KK
KK id
KK X
dgI,X KK
KK
KK
K%
Fnc(I, X) / Xi
pri
conmuta. S Q
3. Si A es un conjunto tal que iI Xi A, entonces iI Xi Fnc(I, A).
4. Si I es un conjunto final y su unico miembro es i, entonces
Q
iI Xi = Fnc({i}, Xi ).
Q
Por consiguiente, en este caso, iI Xi es isomorfo a Xi .
5. Si I tiene exactamente dos miembros y estos son i y j, entonces
Q Q
iI Xi = Xi Xj y iI Xi = Xj Xi
Q
6. Si para cada i I, Xi es un conjunto final, entonces iI Xi es un conjunto
final.
Demostraci
on.
Proposicion 8.7 (Conmutatividad). Sea (Xi )iI una familia de conjuntos y un
automorfismo de I, entonces
Q Q X(i) .
iI Xi = iI
Demostraci
on.
TEORIA DE CONJUNTOS 87
Para establecer la proposicion que sigue, convenimos en denotar por (Xj )jJ la
restriccion de (Xi )iI a J, si J I, que no es mas que la composicion de inJ y
de (Xi )iI . Ademas, usaremos prj para denotar la proyeccion canonica j-esima,
del producto de cualquier familia de conjuntos para la cual se cumpla que j sea
miembro del conjunto de ndices de la misma.
Proposicion 8.8. Sea (Xi )iI una familia de conjuntos y J, K, L I tales que
K J y L K. Entonces:
1. prJ,J = idQjJ Xj , siendo prJ,J la unica endoaplicaci
on prj jJ del con-
Q
junto jJ Xj tal que, para cada j J, el diagrama:
Q
jJ Xj
II
II pr
II j
prJ,J II
II
II
Q I$
jJ Xj
/ Xj
prj
conmuta.
2. prJ,L = prK,L prJ,K , i.e., el diagrama:
Q
jJ Xj
LLL
LLLpr
prJ,K LLLJ,L
LLL
LL&
Q Q
X k / lL Xl
kK prK,L
conmuta; Qsiendo, para J, K I, conQ K J, prJ,K la u
nica aplicaci
on del
conjunto jJ Xj en el conjunto kK Xk tal que, para cada k K, el
diagrama:
Q
jJ Xj
II
II
II prk
prJ,K II
II
II
II
Q $
X k / Xk
kK prk
conmuta.
Demostraci
on.
Ejercicio. Sea (Xi | i I) una familia de conjuntos y J, K I tales que K J.
Demuestrese que prJ,K es sobreyectiva, si para cada j J, XQj 6= . Luego, bajo
la misma hipotesis, si, para cada j J, identificamos Xj con j{j} Xj , y, por lo
tanto, prJ,{j} con prj , se cumple que prj es sobreyectiva.
Ejercicio. Sea (Xi | i I) una familia de conjuntos y J, K I tales que K J.
Demuestrese que si para cada j J, Xj 6= y F : K /S
jJ XSj es tal que para
cada k K, F (k) Xk , entonces hay una funcion G de J en jJ Xj tal que
F G y para cada j J, G(j) Xj
Proposicion 8.9. Sean (Xi )iI y (Yi )iI dos familias de conjuntos. Entonces:
Q Q
1. Si, para cada i I, Xi Yi , entonces
Q iI Xi
Q iI Yi .
2. Si, para cada i I, Xi 6= y iI Xi iI Yi , entonces, para cada
i I, Xi Yi
Demostraci
on.
88 JUAN CLIMENT
Proposici on 8.10. Sean (Xi )iI y (Yi )iI dos familias de conjuntos y (fi )iI una
familia de aplicaciones en la que,Qpara cada i I, fi : Xi / Yi . Entonces hay una
u
nica aplicaci
Q o n, denotada por Q f
iI i y denominada el producto de (fi )iI , del
conjunto iI Xi en el conjunto iI Yi tal que, para cada i I, el diagrama:
Q pri
iI Xi / Xi
Q
iI fi fi
Q
Yi / Yi
iI pri
conmuta.
Demostraci
on.
Proposici on 8.11. Sean (Xi )iI , (Yi )iI y (Zi )iI tres familias de conjuntos y
(fi )iI y (gi )iI dos familias de aplicaciones tales que, para cada i I, fi : Xi / Yi
y gi : Yi / Zi . Entonces:
Q
1. iI idXi = idQiI Xi .
Q Q Q
2. iI gi iI fi = iI gi fi .
Demostraci
on.
Proposici on 8.12. Sean (Xi )iI , (Yj )jJ y (Zk )kK tres familias de conjuntos
y (fQ
j jJ y (gk )kK dos familias de aplicaciones
) tales que, para cada j J,
fj : iI Xi / Yj y, para cada k K, gk : Q / Zk . Entonces la u
D E jJ Yj ni-
Q Q
ca aplicaci
on gk hfj ijJ del conjunto iI Xi en el conjunto kK Zk tal
kK
que, para cada k K, el diagrama:
Q
Xi
iI
II
D E II
II gk hfj ijJ
gk hfj ijJ II
II
kK II
II
Q $
kK Zk
/ Zk
pr k
conmuta, coincide con la composici on de la u nica aplicaci on hfj ijJ del conjunto
Q Q
X i en el conjunto Y j y de la u
nica aplicacio n hgk ikK del conjunto
QiI Q jJ
Y
jJ j en el conjunto kK k Z tales que, resp., para cada j J y cada k K,
los dos tri
angulos del diagrama:
Q
iI Xi
II
II
II fj
hfj ijJ II
II
II
Q prj II$
jJ Yj
/ Yj
II
II
IIgk
hgk ikK II
II
II
Q I$
kK Zk
/ Zk
prk
conmutan. As pues, se cumple que:
D E
hgk ikK hfj ijJ = gk hfj ijJ
kK
TEORIA DE CONJUNTOS 89
Demostraci
on.
Proposici on 8.13. Sean (Xi )iI y (Yi )iI dos familias de conjuntos y (fi )iI una
familia de aplicaciones en la que, para cada i I, fi : Xi / Yi . Entonces:
Q
1. Si para cada i I, fi es una retracci
on, entoncesQ iI fi es una retraccion.
2. Si para cada i I, fi es una seccion, entonces iI Qfi es una secci on.
3. Si para cada i I, fi es un isomorfismo, entonces iI fi es un isomor-
fismo. Q
4. Si para cada i I, fi es un monomorfismo, entonces iI fi es un mono-
morfismo. Q
5. Si para cada i I, fi es constante, entonces iI fi es constante.
Demostraci
on.
Corolario 8.14. Sea I un conjunto y f : A / B una aplicaci
on. Si f es una
retracci on (resp. una secci
on, isomorfismo, monomorfismo, constante), entonces
f I , i.e., el producto de la familia (f )iI , es una retracci
on (resp. una secci
on,
isomorfismo, monomorfismo, constante) de AI = Fnc(I, A) en B I = Fnc(I, B).
Demostraci
on.
Proposici on 8.15 (Asociatividad del producto). Sea (XiS )iI una familia de con-
juntos y (Jl )lL una familia de subconjuntos de I tal que lL Jl = I y, para cada
l, m L, si l 6= m, entonces Jl Jm = . Entonces
Q Q Q
iIXi
= lL Xi .
iJl
Demostraci
on.
Proposici on 8.16. Sea ((Xl,i )iJl )lL una familia de familias de conjuntos tal que
L 6= y, para cada l L, Jl 6= . Entonces:
S T T S
1. lL iJl Xl,i = f Q Jl lL Xl,f (l)
lL
(Distributividad
T S deSla union respecto
T de la intersecci
on).
2. lL iJl Xl,i = f Q Jl lL Xl,f (l)
lL
(Distributividad de la interseccion respecto de la union).
Demostraci
on.
Corolario 8.17. Sean (Xi )iI y (Yi )iI dos familias no vacas de conjuntos. En-
tonces:
T T T
1. ( iI Xi ) ( jJ Yj ) = (i,j)IJ (Xi Yj ).
S S S
2. ( iI Xi ) ( jJ Yj ) = (i,j)IJ (Xi Yj ).
Demostraci
on.
Proposici on 8.18. Sea ((Xl,i )iJl )lL una familia de familias de conjuntos L 6=
y, para cada l L, Jl 6= . Entonces:
Q S S Q
1. lL iJl Xl,i = f Q Jl lL Xl,f (l)
lL
(Distributividad del producto respecto de la uni on).
2. Si L 6= y, para cada l L, Jl 6= , entonces
Q T T Q
lL iJl Xl,i = Jl lL Xl,f (l)
Q
f lL
Demostraci
on.
Corolario 8.20. Sean (Xi )iI y (Yi )iI dos familias de conjuntos. Entonces:
S S S
1. iI Xi jJ Y j = (i,j)IJ Xi Yj .
2. Si I y J no son vacos, entonces
T T T
iI Xi jJ Yj = (i,j)IJ Xi Yj .
Demostraci
on.
Proposici
on 8.21. Sea (Xi,j )(i,j)IJ una familia de conjuntos. Si J 6= , enton-
ces
T Q Q T
jJ iI Xi,j = iI ( jJ Xi,j ).
Demostraci
on.
Corolario 8.22. Sean (Xi )iI y (Yi )iI dos familias no vacas de conjuntos. En-
tonces:
Q Q Q
1. iI Xi iI Yi = iI (Xi Yi ).
T T T
2. iI Xi ii Yi = iI (Xi Yi ).
Demostraci
on.
8.2. Igualadores.
Proposici on 8.23. Sean f, g : A / B dos aplicaciones. Entonces existe un par
ordenado (Eq(f, g), eq(f, g)), el igualador de f y g, en el que Eq(f, g) es un conjunto
y eq(f, g) una aplicaci
on de Eq(f, g) en A, que tiene las siguientes propiedades:
1. f eq(f, g) = g eq(f, g).
2. (Propiedad universal del igualador) Para cualquier conjunto X y cada apli-
caci
on h : X / A, si f h = g h, entonces hay una u
nica aplicaci
on
t: X / Eq(f, g) tal que eq(f, g) t = h.
La situaci
on descrita por las condiciones anteriores la expresamos diagram
atica-
mente como:
X II
II
II
IIh
t II
II
II f
$/ /
Eq(f, g) A /B
eq(f, g) g
Demostraci
on. Sea Eq(f, g) el subconjunto de A definido como:
Eq(f, g) = { a A | f (a) = g(a) },
y eq(f, g) la inclusion canonica de Eq(f, g) en A. Es evidente que f eq(f, g) =
g eq(f, g).
Ademas, si X es un conjunto y h : X / A una aplicacion tal que f h = g h,
entonces Im(h) Eq(f, g), luego, por la propiedad universal del subconjunto, hay
una unica aplicacion t : X / Eq(f, g), definida como:
X / Eq(f, g)
t
x 7 h(x),
tal que eq(f, g) t = h.
TEORIA DE CONJUNTOS 91
E II
II
II
IIe
t II
II
II
$/
Eq(f, g) A
eq(f, g)
conmuta.
Demostraci
on.
f /
A /B
g
u v
f0 / 0
A0 /B
g0
eq(f, g)
Eq(f, g) /A
Eq(u, v) u
Eq(f 0 , g 0 ) / A0
eq(f 0 , g 0 )
conmuta.
Demostraci
on.
f /
A /B
g
idA idB
f /
A /B
g
se cumple que
Eq(idA , idB ) = idEq(f,g) .
2. Si los diagramas:
f / f0 /
A /B y A 0
/ B0
g g 0
u v u0 v0
0 00
f / 0 f / 00
A0 /B A00 /B
g0 g 00
p0 g
A /C
f
conmuta.
TEORIA DE CONJUNTOS 93
v /B
X
u g
A /C
f
XF
FF v
FF
FF
tFFF
FF
FF
" p1 #
A C B /B
u
p0
"
A
conmutan.
La situaci
on descrita por las condiciones anteriores la expresamos diagram
atica-
mente como:
XF
FF v
FF
FF
tFFF
FF
FF
" p1 #
A C B /B
u
p0 g
"
A /C
f
Demostraci
on. Sea A C B el subconjunto de A B definido como:
p1 /B
A C B
p0 g
A /C
f
conmuta.
94 JUAN CLIMENT
v /B
X
u g
A /C
f
conmuta, entonces, por la propiedad universal del producto, hay una u nica aplica-
ci
on hu, vi : X / A Q B tal que pr0 hu, vi = u y pr1 hu, vi = v y, por cumplirse
que f u = g v, tenemos que Im(hu, vi) A C B, luego, por la propiedad
universal del subconjunto, hay una u nica aplicacion t de X en A C B tal que
inAC B t = hu, vi. Para la aplicacion t se cumple que los dos triangulos del dia-
grama:
XF
FF v
FF
FF
F
t FF
FF
FF
" p1 #
A C B /B
u
p0
"
A
v /B
X
u g
A /C
f
1. El diagrama:
q /B
E
p g
A /C
f
conmuta.
2. Para cada conjunto X y cualesquiera aplicaciones u : X / A y v: X /B
si el diagrama:
v /B
X
u g
A /C
f
X@
@@ v
@@
@
t@@@
@@
@ q
E /B
u
p
A
conmutan.
Entonces hay un u
nico isomorfismo t : E / A C B tal que los dos tri
angulos del
diagrama:
E FF
FF q
FF
F
tFFF
FF
FF
" p1 "
A C B /B
p
p0
"
A
conmutan.
Demostraci
on.
96 JUAN CLIMENT
Proposici
on 8.30. Si el diagrama:
B
g |||
|||
f |}
A /C v
u w B0
|
|||
~|| g 0
A0 / C0
f0
p1 /B
A C B
u }
p0 uuuu }}
}
uu
u
u w v }}}g
uu ~}}
}
zuu /C
A v
f
p01
u A0 C 0 B 0 / B0
v w }
p00 vvv }}}
vv }
vv }} 0
zvvv }~ } g
A0 / C0
f0
conmuta.
Proposici
on 8.31. Si el diagrama:
gf /
A QQQ m6 C
QQQ f
QQQ g mmmmm
QQQ mmm
QQ( mmmmm
B
r s t
mm6 E QQQ
ummmmmm QQQ v
QQQ
mm QQQ
mmmm QQ(
D /F
vu
Demostraci
on.
idA idC B
~~
~~~g
~~
A /C
f
se cumple que
idA idC idB = idAC B .
2. Si los diagramas:
B y B0
g ||| g 0 zzz
||| zz
f |} f0 }zz
A /C v A0 / C0 v0
u w B0 u0 w0 B 00
| z
|| zz
|
~|| g 0 zzz 00
}z g
A0 / C0 A00 / C 00
0
f f 00
conmutan, entonces se cumple que
(u0 w0 v 0 ) (u w v) = (u0 u) w0 w (v 0 v).
Ejercicio. Sean R y S dos relaciones de equivalencia sobre un conjunto A y B otro
conjunto. Demuestrese que:
1. El diagrama
pRS,S
A/R S / A/S
pRS,R pS,Eg(RS)
A/R p / A/Eg(R S)
R,Eg(RS)
inAB,A inB,AB
A / AB
inA,AB
es un cuadrado cartesiano.
Las cuatro proposiciones que siguen establecen que los conceptos de nucleo de
una aplicacion, interseccion de dos subconjuntos de un conjunto, imagen inversa
de un subconjunto del codominio de una aplicacion y producto cartesiano de dos
98 JUAN CLIMENT
conjuntos, son todos casos particulares del concepto de producto fibrado, de donde
su gran importancia.
Proposici on 8.32. Sea f : A / B una aplicaci
on. Entonces el producto fibrado
de A y A sobre B relativo a f y f es, esencialmente, i.e., salvo isomorfismo,
on de pr0 a Ker(f ) y p1 , la restricci
(Ker(f ), (p0 , p1 )), siendo p0 , la restricci on de
pr1 a Ker(f ).
Demostraci
on.
Demostraci
on.
Proposici on 8.37. Sean (S, A), (T, B), (U, C) y (V, D) cuatro conjuntos hete-
rogeneos, un morfismo proyectivo de (S, A) en (T, B), uno de (T, B) en (U, C)
y uno de (U, C) en (V, D). Entonces:
1. (Asociatividad). El diagrama:
( )
/ (T, B)
(S, A)
JJ JJ
JJ JJ
JJ JJ
JJ JJ
JJ JJ
JJJ JJ
J$
$
(U, C) / (V, D)
:
( )
conmuta.
2. (Neutros). Los diagramas:
id(S,A)
(S, A) / (S, A) y (S, A) / (T, B)
JJ JJ
JJ JJ
JJ JJ
JJ JJ id(T,B)
J J
JJJJ JJJJ
$ $
(T, B) (T, B)
conmutan.
Demostraci
on.
Definicion 8.38. Si (S, A) es un conjunto heterogeneo, entonces el lmite proyectivo
de (S, A) es el producto de la familia (As )sS , i.e.,
Q
lim(S, A) = sS As .
Proposici on 8.39. Si : (S, A) / (T, B) es un morfismo proyectivo, entonces
hay una unica aplicaci
on
lim : lim(S, A) / lim(T, B),
denominada el lmite proyectivo de tal que, para cada t T , el diagrama:
pr(t)
lim(S, A) / A(t)
lim ft
lim(T, B) / Bt
prt
100 JUAN CLIMENT
conmuta. Adem
as, el diagrama:
lim(S, A)
KKK
KKK pr
pr KKK(t)
KKK
KK
%
lim lim(T, A ) / A(t)
pr(t)
Q
f ft
%
lim(T, B) / Bt
pr t
lim
lim lim )
lim(S, A) / lim(T, B) / lim(U, C)
JJ 9 LLL 9 H
JJ r r rr LLL t tt
JJ r L tt
JJ rr L ttQ
t
pr JJJJ rrrrQ f pr LLLLL ttt g
J$ rrr L% tt
lim(, f )
lim(T, A ) / lim(U, B )
LLL 9
LLL rr rr
LLL rrr
pr pr LLLL
rrrrr Q f Q
L% rr (g f )
. lim(U, A )
conmuta.
Demostraci
on.
Definici
on 8.41. Sea S un conjunto. Un preorden sobre S es una relacion binaria
en S tal que:
1. es reflexiva, i.e., S .
2. es transitiva, i.e., .
Denotamos al conjunto de los preordenes sobre S por Pord(S).
Un conjunto preordenado es un par ordenado (S, ), abreviado como S, en el
que Pord(S). Un conjunto preordenado dirigido superiormente, abreviado como
conjunto preordenado d.s., es un conjunto preordenado S tal que para cada s, s0 S,
hay un s00 S tal que s s00 y s0 s00 . Un subconjunto cofinal de un conjunto
preordenado S es una parte S 0 de S tal que, para cada s S, existe un s0 S 0 tal
que s s0 .
Proposici
on 8.42. Sea S un conjunto. Entonces:
1. S , S Pord(S).
2. Si Pord(S), entonces S S .
3. Eqv(S) Pord(S). T
4. Si P Pord(S) y P 6= , entonces P Pord(S).
5. Si P Pord(S), P 6= y si,Spara cualesquiera P, Q P, hay un R P
tal que P Q R, entonces P Pord(S).
6. Si Pord(S), entonces 1 Pord(S) y al par ordenado (S, 1 ) lo
denominamos el conjunto preordenado dual de (S, ).
7. Si Pord(S), entonces 1 Eqv(S).
Demostraci
on.
Demostraci
on.
Definici
on 8.44. Sean S y T dos conjuntos preordenados. Una aplicaci
on is
otona
de S en T es un triplo ordenado (S, , T), abreviado como y denotado por
: S / T, en el que es una aplicacion de S en T tal que
3. (Asociatividad). El diagrama:
( )
/TK
S JJ KK
JJ KK
JJ KK
JJ KK
JJ KK
J
JJJ KK
J% KK
U /% V
;
( )
conmuta.
4. (Neutros). Los diagramas:
idS /S /T
S DD y S DD
DD DD
DD DD
D D
DDDD DDDD idT
D" D"
T T
conmutan.
s s0 Xs0 Xs ,
tenemos que (S, ((Xs | s S), (inXs0 ,Xs | s s0 ))) es un sistema proyectivo de
conjuntos.
TEORIA DE CONJUNTOS 103
L EE
yyy EE
ls0 yyy EE ls
EE
yyy EE
y EE
y| y "
As0 / As
as0 ,s
conmuta, entonces hay una u nica aplicaci
on u : L / lim(S, A) tal que,
para cada s S, el diagrama:
L JJ
JJ
JJ
JJls
u JJ
JJ
JJ
J$
lim(S, A) / As
as
conmuta.
La situaci
on descrita por las condiciones anteriores la expresamos diagram
atica-
mente como:
L
u
l
s0 ls
lim(S, A)
JJ
tt JJ
as0 tttt JJas
JJ
tt JJ
tt JJ
zttt J$
As0 / As
as0 ,s
Q
Demostraci on. Sea lim(S, A) el subconjunto de (As | s S) definido como:
Q
lim(S, A) = { x sS As | (s, s0 ) ( as0 ,s (prs0 (x)) = prs (x) ) }.
De manera que los miembros de lim(S, A) son precisamente aquellas funciones de
eleccion x, para (As | s S), tales que, para cada (s, s0 ) , la coordenada s-esima
de x es la transformada mediante as0 ,s de la coordenada s0 -esima de x. Q Ademas,
para cada s S, sea as la restriccion de prs al subconjunto lim(S, A) de sS As .
Entonces el par ordenado (lim(S, A), (as | s S)) cumple las condiciones de la
104 JUAN CLIMENT
lim(S, A)
EE
xx EE
as0 xxx EEas
x x EE
xxx EE
E"
|x
As0 / As
as0 ,s
conmuta. Por otra parte, si un par ordenado (L, (ls | s S)), arbitrario, pero fijo, en
el que, para cada s S, ls : L / As , es tal que, para cada (s, s0 ) , el diagrama:
L EE
yyy EE
ls0 yyy EE ls
EE
yyy EE
y EE
y| y "
As0 / As
as0 ,s
as
Por consiguiente hay al menos una aplicacion u de L en lim(S, A) tal que, para
cada s S, as u = ls . Dejamos, como ejercicio, la demostracion de que hay a lo
sumo una aplicacion u de L en lim(S, A) tal que, para cada s S, as u = ls .
TEORIA DE CONJUNTOS 105
f / as !
X / lim(S, A) / As
g =
as g
L EE
yyy EE
ls0 yyy EE ls
y EE
y EE
yyy EE
y| "
As 0 / As
as0 ,s
L EE
yyy EE
ls0 yyy EE ls
EE
yyy EE
y EE
y| y "
As0 / As
as0 ,s
conmuta, entonces hay una u nica aplicaci on u : L / P tal que, para cada
s S, el diagrama:
L EE
EE
EE ls
u EE
EE
EE
"
P / As
ps
conmuta.
Entonces hay un u nico isomorfismo t de P en lim(S, A) tal que, para cada s S,
el diagrama:
P JJ
JJ
JJ p
JJ s
t JJ
JJ
JJ
J$
lim(S, A) / As
as
conmuta.
Demostraci
on.
Ejercicio. Demuestrese
Q que el lmite proyectivo del sistema proyectivo del ejem-
plo 8.5 es isomorfo a sS As .
Ejercicio. Demuestrese
T que el lmite proyectivo del sistema proyectivo del ejem-
plo 8.5 es isomorfo a (Xs | s S).
Proposici on 8.50. Sea (S, A) un sistema proyectivo de conjuntos y (L, (ls | s
S)) tal que, para cada s S, ls : L / As y para cada (s, s0 ) , el diagrama:
L EE
yyy EE
ls0 yyy EE ls
y EE
y EE
yyy EE
y| "
As 0 / As
as0 ,s
TEORIA DE CONJUNTOS 107
de eleccion distintas, luego hay un s S tal que u(x)s 6= u(y)s . Sea s S uno de
ellos, arbitrario, pero fijo. Ahora bien, por la definicion de u, u(x) = (ls (x) | s S)
y u(y) = (ls (y) | s S), luego ls (x) 6= ls (y).
La condici on es suficiente. En efecto, si la familia de aplicaciones (ls | s S)
separa puntos de L y x, y L son tales que x 6= y, entonces hay un s S tal que
ls (x) 6= ls (y). Ahora bien, u(x) = (ls (x) | s S) y u(y) = (ls (y) | s S), luego
u(x) 6= u(y).
ft0 / Bt0
A(t0 )
f(u) gu
A((u)) / B(u) / Cu
f t0 / Bt0 gu0 / Cu 0
A(t0 ) y B(u0 )
gu0 f(u0 )
A((u0 )) / Cu 0
tambien conmuta.
Proposici on 8.54. Sean (S, A), (T, B), (U, C) y (V, D) cuatro sistemas proyecti-
vos de conjuntos, un morfismo proyectivo de (S, A) en (T, B), uno de (T, B)
en (U, C) y uno de (U, C) en (V, D). Entonces:
1. (Asociatividad). El diagrama:
( )
/ (T, B)
(S, A)
JJ JJ
JJ JJ
JJ JJ
JJ JJ
JJ JJ
JJJ JJ
$ J%
(U, C) / (V, D)
:
( )
conmuta.
TEORIA DE CONJUNTOS 109
id(S,A)
(S, A) / (S, A) y (S, A) / (T, B)
JJ JJ
JJ JJ
JJ JJ
JJ JJ id(T,B)
J J
JJJJ JJJJ
$ $
(T, B) (T, B)
conmutan.
Demostraci
on.
a(t)
lim(S, A) / A(t)
lim ft
lim(T, B) / Bt
bt
conmuta. Adem
as, el diagrama:
lim(S, A)
KKK
KK a
KKK(t)
p KKK
KKK
%
lim lim(T, A ) / A(t)
a(t)
Q
f ft
%
lim(T, B) / Bt
bt
conmuta, siendo p la u
nica aplicaci
on de lim(S, A) en lim(T, A ) tal que el dia-
grama:
inlim(S,A) Q
lim(S, A) / (As | s S)
p pr
Q
lim(T, A ) / (A(t) | t T )
inlim(T,A )
110 JUAN CLIMENT
Q
conmuta, y, denotandola por el mismo smbolo, f la u
nica aplicaci
on de lim(T, A )
en lim(T, B) tal que el diagrama:
inlim(T,A ) Q
lim(T, A ) / (A(t) | t T )
Q Q
f f
lim(T, B) / Q(Bt | t T )
inlim(T,B)
conmuta. As que
Q
lim = f p .
Demostraci
on.
lim
lim lim )
lim(S, A) / lim(T, B) / lim(U, C)
JJ 9 H
JJ rr rr8 LLL
LL t tt
JJ rr LL tt
JJ r L tt
p JJJJ r
rQ
rrr f p LLLLL tt
ttQ g
J% rr lim(, f ) L& tt
lim(T, A ) / lim(U, B )
LLL
LLL r r rr8
LLL rr
p LLL rrrrrQ Q
p LL& f
rrr (g f )
. lim(U, A )
conmuta.
Demostraci
on.
Demostraci on.
Corolario 8.58. Si (S, A) es un sistema proyectivo de conjuntos tal que S est a di-
rigido superiormente y S 0 es un subconjunto cofinal de S, entonces para el morfismo
proyectivo canonico = (inS0 , (idAs0 | s0 S 0 )) de (S, A) en (S, A)S 0 se cumple
que lim es una aplicacion biyectiva.
Demostraci on.
Corolario 8.59. Si (S, A) es un sistema proyectivo de conjuntos tal que S est
a di-
rigido superiormente y S 0 es un subconjunto cofinal de S, entonces una condici
on
necesaria y suficiente para que dos miembros de lim(S, A) coincidan es que coinci-
dan sus restricciones a S 0 .
Demostraci
on.
8.9. Algunos lmites y colmites de familias de sistemas proyectivos.
Del mismo modo que para el universo de conjuntos y aplicaciones, demostramos
la existencia de productos y coproductos de familias de conjuntos as como la de
coigualadores de pares de aplicaciones con el mismo dominio y codominio, ahora,
para el universo de discurso formado por los sistemas proyectivos de conjuntos y
los morfismos entre ellos, demostramos la existencia de productos y coproductos
de familias de sistemas proyectivos de conjuntos, as como la de coigualadores de
pares de morfismos con el mismo dominio y codominio.
Proposici on 8.60. Sea ((Si , Ai ) | i I) unaQ familia de sistemas proyectivos de
conjuntos. Entonces hay un par ordenado ((Si , Ai ) | i I), (pri | i I) , tam-
Q i i i
Q i i
bien denotado por iI (S , A ), (pr | i I) , en el que ((S , A ) | i I), el
producto de ((Si , Ai ) | i I), es un sistema proyectivo de conjunto y, para cada
i Q I, pri , la proyeccion canonica i-esima del producto, es un morfismo proyectivo
de ((Si , Ai ) | i I) en (Si , Ai ), que tiene la siguiente propiedad universal:
Para cada par ordenado ((T, B), (i | i I)), en el que (T, B) es un sistema
proyectivo de conjuntos i / (Si , Ai ), hay un u
i y, para cada i I, Q: (T,i B) i nico
morfismo proyectivo | i I : (T, B) / ((S , A ) | i I) tal que, para cada
i I, el diagrama:
(T, B)
PPP
PPP
i PP i
|iI PPP
PPP
PP'
Q i i / (Si , Ai )
((S , A ) | i I)
pri
conmuta.
Q
Demostraci on. Es suficiente tomar como primera coordenada de ((Si , Ai ) |`i I)
i i
el coproducto de la familia de conjuntos` preordenados (S | i I), que es ( (S |
i I), ), siendo el preorden sobre (S i | i I) definido como:
(s, i) (s0 , j) si y solo si i = j y s i s0 ,
y, como segunda coordenada, el par ordenado cuya primera componente es
`
(Ais | (s, i) (S i | i I))
y cuya segunda componente es
(ais0 ,s | ((s, i), (s0 , i)) );
y, por otra parte, para
` cada i I, como primera coordenada de pri , ini , la inclusion
i i
canonica de S en (S | i I), y, como segunda coordenada (idAis | (s, i)
` i
iI S ).
112 JUAN CLIMENT
i
y, por otra parte,
Q ipara cada i iI, como primera coordenada de in , pri , la proyeccion
canonica de (S | i I) en S , y, como segunda coordenada, (inAis | (si | i I)
Q i i
(S | i I))
Proposici on 8.62. Sean , : (S, A) / (T, B) dos morfismos proyectivos, con
= (, f ) y = (, g). Entonces existe un par ordenado (Ceq(, ), ceq(, )),
el coigualador de y , en el que Ceq(, ) es un sistema proyectivo de conjuntos
y ceq(, ) un morfismo proyectivo de (T, B) en Ceq(, ), que tiene las siguientes
propiedades:
1. ceq(, ) = ceq(, ) .
2. (Propiedad universal del coigualador) Para cualquier sistema proyectivo de
conjuntos (U, C) y cada morfismo proyectivo : (T, B) / (U, C), si
= , entonces hay un u nico morfismo proyectivo : Ceq(, ) / (U, C)
tal que ceq(, ) = .
Demostraci on. Es suficiente tomar como primera coordenada de Ceq(, ), el con-
junto preordenado Eq(, ), formado por el igualador de , : T / S y la res-
triccion del preorden de T a esa parte, y como segunda coordenada, E, el par cuya
primera componente, Et , para cada t Eq(, ), es Ceq(ft , gt ), y cuya segunda
componente, et0 ,t , para cada t, t0 Eq(, ), tal que t t0 , es la u nica aplicacion
de Ceq(ft0 , gt0 ) en Ceq(ft , gt ) tal que Ceq(ft , gt ) bt0 ,t = et0 ,t Ceq(ft , gt ); y, por
otra parte, como primera coordenada de ceq(, ), eq(, ), la aplicacion isotona
canonica de Eq(, ) en T, y, como segunda coordenada, (ceq(ft , gt ) | t eq(, )).
TEORIA DE CONJUNTOS 113
9. Lmites inductivos
En esta seccion demostramos tanto la existencia de coproductos de familias de
conjuntos, como la de coproductos de familias de aplicaciones entre familias de
conjuntos, y estudiamos la conducta del operador de formacion de coproductos,
respecto de las identidades y de la composicion de familias de aplicaciones entre
familias de conjuntos.
9.1. Coproductos.
Proposici o`n 9.1. Sea (Xi )iI una familia ` de conjuntos. Entonces hay un par
ordenado iI X i , (in )
i iI , en el que iI X i , el coproducto de (Xi )iI , es un
conjunto y, para cada i ` I, ini , la inclusi
o n can onica i-esima del coproducto, es
una aplicaci on de Xi en iI Xi , que tiene la siguiente propiedad universal:
Para cada par ordenado (A, (fi )iI ), en el que A es ` un conjunto y, para cada
i I, fi : Xi / A, hay una u nica aplicaci on [fi ]iI : iI Xi / A tal que, para
cada i I, el diagrama:
ini `
Xi I / iI Xi
II
II
II
II [fi ]iI
fi IIII
I$
A
conmuta.
`
Demostraci
on. Sea Xi el conjunto definido como:
iI
` S
iI Xi = iI (Xi {i}),
`
y, para cada i I, ini la aplicacion de Xi en iI Xi definida como:
Xi / ` Xi
ini iI
x 7 (x, i).
Entonces, dado un par ordenado (A, (fi )iI ), en el que ` A es un conjunto y, para
cada i I, fi : Xi / A, sea [fi ] la aplicaci
o n de
iI iI Xi en A definida como:
`
/ A
[fi ]iI iI Xi
(x, i) 7 fi (x).
Es evidente que, para cada i I, [fi ]iI `ini = fi . Con ello queda demostrada la
existencia de al menos una aplicacion de iI Xi en A con la propiedad indicada.
Dejamos, como ejercicio, la demostracion de la unicidad.
Proposici
on 9.2. Sea (Xi )iI una familia de conjuntos. Entonces
1. Para cada i I, ini es inyectiva.
2. Para cualesquiera i, j I, si i 6= j, entonces el diagrama:
Xj
/ Xj
Xi inj
`
Xi / iI Xi
ini
es cartesiano.
114 JUAN CLIMENT
pi f
`
Xi / iI Xi
inXi
Demostraci
on.
f ini
ini ` f /!
Xi / iI Xi /> A
g
g ini
Corolario 9.4. Sea (Xi )iI una familia de conjuntos. Si un par ordenado (C, (qi )iI ),
en el que C es un conjunto y, para cada i I, qi : Xi / C, tiene la propiedad de
que para cada par ordenado (A, (fi )iI ), en el que A es un conjunto y, para cada
i I, fi : Xi / A, hay una u
nica aplicaci on h : C / A tal que, para cada i I,
el diagrama:
qi /C
Xi E
EE
EE
EE
E h
fi EEE
E"
A
`
conmuta, entonces hay un u nico isomorfismo t de iI Xi en C tal que, para cada
i I, el diagrama:
ini `
Xi I / iI Xi
II
II
II
I t
qi IIII
II
$
C
conmuta.
Demostraci
on.
Demostraci
on.
Proposicion 9.6 (Conmutatividad). Sea (Xi )iI una familia de conjuntos y un
automorfismo de I, entonces
` ` X(i) .
iI Xi = iI
Demostraci
on.
Para establecer la proposicion que sigue, convenimos en denotar por (Xj )jJ
la restriccion de (Xi )iI a J, si J I, que no es mas que la composicion de inJ
y de (Xi )iI . Ademas, usaremos inj para denotar la proyeccion canonica j-esima,
del coproducto de cualquier familia de conjuntos para la cual se cumpla que j sea
miembro del conjunto de ndices de la misma.
Proposicion 9.7. Sea (Xi )iI una familia de conjuntos y J, K, L I tales que
K J y L K. Entonces:
1. inJ,J = id`jJ Xj , siendo inJ,J la u
nica endoaplicaci
on [inj ]jJ del conjunto
`
jJ Xj tal que, para cada j J, el diagrama:
inj `
Xj I / jJ Xj
II
II
II
II inJ,J
inj IIII
`$
jJ Xj
conmuta.
2. inL,J = inK,J inL,K , i.e., el diagrama:
` inL,K `
lL Xl / kK Xk
LLL
LLL
LLL inK,J
L
inL,J LLLL
&`
jJ Xj
conmuta.
Demostraci
on.
TEORIA DE CONJUNTOS 117
Proposici on 9.8. Sean (Xi )iI y (Yi )iI dos familias de conjuntos y (fi )iI una
familia de aplicaciones en la que,`para cada i I, fi : Xi / Yi . Entonces hay una
u
nica aplicaci
`o n, denotada por (f )
i`iI y denominada el coproducto de (fi )iI ,
del conjunto iI Xi en el conjunto iI Yi tal que, para cada i I, el diagrama:
ini `
Xi / iI Xi
`
fi iI fi
`
Yi / iI Yi
ini
conmuta.
Demostraci
on.
Proposici on 9.9. Sean (Xi )iI , (Yi )iI y (Zi )iI tres familias de conjuntos y
(fi )iI y (gi )iI dos familias de aplicaciones tales que, para cada i I, fi : Xi / Yi
y gi : Yi / Zi . Entonces:
`
1. iI idXi = id`iI Xi .
` ` `
2. iI gi iI fi = iI gi fi .
Demostraci
on.
Proposici on 9.10. Sean (Xi )iI , (Yj )jJ y (Zk )kK tres familias de conjuntos
y (fj )jJ y`(gk )kK dos familias de aplicaciones tales ` que, para cada j J,
fj : Yj / X y, para cada k K, g : Z /
hiI i i k k jJ Yj . Entonces la u
ni-
` `
ca aplicaci
on [fj ]jJ gk del conjunto kK Zk en el conjunto iI Xi tal
kK
que, para cada k K, el diagrama:
ink `
Zk I / kK Zk
II
II h i
II
II [fj ]jJ gk
II
[fj ]jJ gk II kK
I
`$
iI Xi
Demostraci
on.
Proposici on 9.11. Sean (Xi )iI y (Yi )iI dos familias de conjuntos y (fi )iI una
familia de aplicaciones en la que, para cada i I, fi : Xi / Yi . Entonces:
`
1. Si para cada i I, fi es una retracci
on, entonces` iI fi es una retraccion.
2. Si para cada i I, fi es una seccion, entonces iI `fi es una secci on.
3. Si para cada i I, fi es un isomorfismo, entonces iI fi es un isomor-
fismo. `
4. Si para cada i I, fi es un monomorfismo, entonces iI fi es un mono-
morfismo. `
5. Si para cada i I, fi es coconstante, entonces iI fi es coconstante.
Demostraci
on.
Corolario 9.12. Sea I un conjunto y f : A / B una aplicaci
on. Si f es una
retracci
on (resp. una secci on, isomorfismo, monomorfismo, coconstante), entonces
f idI , i.e., el coproducto de la familia (f )iI , es una retracci
on (resp. una secci
on,
isomorfismo, monomorfismo, coconstante) de A I en B I.
Demostraci
on.
Proposici on 9.13 (Asociatividad del coproducto). Sea (XiS )iI una familia de
conjuntos y (Jl )lL una familia de subconjuntos de I tal que lL Jl = I y, para
cada l, m L, si l 6= m, entonces Jl Jm = . Entonces
` ` `
iI Xi = lL iJl Xi .
Demostraci
on.
Q
Proposicion 9.14. Sea (Xi )iI una
` familia
de conjuntos. Entonces iI Xi es
isomorfo a un subconjunto de Sub iI Xi
Demostraci
on.
Proposici
on 9.15. Sea (Xi )iI una familia de conjuntos y A un conjunto. Enton-
ces
` `
( iI Xi ) A = iI (Xi A) y
` `
A( Xi )
iI= (A Xi )
iI
Demostraci
on.
9.2. Coigualadores.
Proposici on 9.16. Sean f, g : A / B dos aplicaciones. Entonces existe un par
ordenado (Ceq(f, g), ceq(f, g)), el coigualador de f y g, en el que Ceq(f, g) es un
conjunto y ceq(f, g) una aplicaci on de B en Ceq(f, g), que tiene las siguientes
propiedades:
1. ceq(f, g) f = ceq(f, g) g.
2. (Propiedad universal del coigualador) Para cualquier conjunto Y y cada
aplicacion h : B / Y , si h f = h g, entonces hay una u nica aplicacion
t : Ceq(f, g) / Y tal que t ceq(f, g) = h.
La situaci on descrita por las condiciones anteriores la expresamos diagram atica-
mente como:
f / ceq(f, g)
A / B JJ / Ceq(f, g)
g JJ
JJ
JJ
JJ t
h JJJJ
J$
Y
TEORIA DE CONJUNTOS 119
ceq(f, g)
B JJ / Ceq(f, g)
JJ
JJ
JJ
J t
c JJJJ
JJ
$
C
conmuta.
Demostraci
on.
ceq(f, g)
B / Ceq(f, g)
v Ceq(u, v)
B0 / Ceq(f 0 , g 0 )
0 0
ceq(f , g )
conmuta.
Demostraci
on.
u v u0 v0
0 00
f / 0 f / 00
A0 /B A00 /B
g0 g 00
son, serialmente, conmutativos, entonces se cumple que
Ceq(u0 , v 0 ) Ceq(u, v) = Ceq(u0 u, v 0 v).
Definicion 9.19. Una aplicacion f : A / B es un epimorfismo regular si existen
dos aplicaciones u, v : C / A tales que el par ordenado (B, f ) es un coigualador
de u y v.
Proposicion 9.20. Una condicion necesaria y suficiente para que una aplicaci
on
f: A / B sea un epimorfismo regular es que sea sobreyectiva.
9.3. El teorema de K
onig-Zermelo.
Proposici on 9.21. Sea (Xi )iI una familia de conjuntos. Si I esQvaco o I tiene
un unico miembro o, por u
ltimo, I tiene dos o m
as miembros y en iI Xi ` hay dos
funciones de elecci
on x e y tales Q
que, para cada i I, xi 6= yi , entonces iI Xi
es isomorfo a un subconjunto de iI Xi .
Demostracion. Nos ocupamos solo del u
ltimo caso, ya que los dos primeros son
triviales.
TEORIA DE CONJUNTOS 121
Supongamos pues
Q que I, tenga al menos dos miembros distintos y que x e y sean
dos miembros de iI Xi , arbitrarios, pero fijos, tales que, para cada i I, xi 6= yi .
Entonces se cumple que
` `
iI Xi = iI Xi {xi } { (xi , i) | i I },
y que
`
iI Xi {xi } { (xi , i) | i I } = .
` `
Usaremos el hecho de que iI Xi sea la union disjunta de los conjuntos` iI Xi
{x
Q i } y { (xi , i) | i I }, para obtener una aplicaci ` on inyectiva de iI Xi en
iI X i , a partir de dos aplicaciones inyectivas
Q de iI Xi {xi } y { (xi , i) | i I }
en dos subconjuntos complementarios
` de X
Q i
iI .
Sea f la aplicacion de iI Xi {xi } en iI Xi definida como:
`
/ Q Xi
f iI Xi {xi } iI
(a, i) 7 x(i|a) ,
S
siendo, a su vez, x(i|a) la funcion de I en iI Xi definida como:
/ S Xi
I
iI (
x(i|a) (i|a) a, si j = i;
j 7 x
(j) =
x , si j 6= i.
j
Puesto que, para cada j Q J, x(i|a) (j) Xj , tenemos que, para cada (a, i)
`
iI Xi {xi }, f (a, i) iI Xi .
De hecho, la funcion de eleccion f (a, i) coincide con la funcion de eleccion x en
todas las coordenadas, salvo en una y solo una, la i-esima, en la que su valor es a,
que es miembro de Xi {xi }.
Ahora,
` para demostrar que f es inyectiva, definimos una aplicacion g de Im(f )
en iI Xi {xi }, que sera inversa por la izquierda de f s , como:
Im(f ) / ` Xi {xi }
g iI
z 7 (a, i),
De modo que h(xi , i) es tal que todas sus coordenadas coinciden con las de y,
excepto la i-esima, en Q
la que su valor es xi . Se cumple que h es inyectiva y que
Im(h) esta incluido en iI Xi Im(f ).
122 JUAN CLIMENT
Ahora`podemos
` afirmar, / en
Q virtud del corolario 7.114, que hay una u
nica apli-
cacion f h : iI Xi iI X i para la cual el diagrama:
` in ` in
iI Xi {xi } / iI Xi o { (xi , i) | i I }
`
f f h h
Q Q
Im(f ) / iI Xi o iI Xi Im(f )
in in
`
conmuta. Ademas, en virtud de la prop. 9.11, f h es inyectiva.
Demostraci
on.
Teorema 9.23 (Konig-Zermelo). Sean (Xi )iI e (Yi )iI dos familias de conjuntos.
`
Si, para cada i I, Xi est
a estrictamente
Q dominado por Yi , entonces iI Xi
a estrictamente dominado por iI Yi .
est
Demostraci on. Por hipotesis, para cada i I, Xi esta estrictamente dominado por
Yi , i.e., para cada i I, hay un monomorfismo fi : Xi _ / Yi y no hay ning
un
isomorfismo entre Xi y Yi . Entonces, en virtud del axioma de eleccion, sea
Q
(fi )iI iI Mono(Xi , Yi ),
fi
Xi _ / Yi
ini ini
` `
iI Xi _ ` / iI Yi .
iI fi
` `
Asi pues iI Xi esta dominado por iI Yi .
Distinguimos dos casos, segun que, para cada i I, Xi 6= , o que, exista un
i I tal que Xi = . Si, para cada i I, Xi 6= , entonces, ya que por hipotesis,
Xi esta estrictamente dominado por Yi , se cumple que, para cada i I, Yi tiene
al
` menos dos miembros distintos.
Q Por consiguiente,
` en virtud del corolario
Q 9.22,
Y
iI i est
a dominado por Y
iI i , luego iI Xi est
a dominado por iI i .
Y
Ahora, bajo la hipotesis de que, para cada i I, Xi 6=`, demostramos,
Q por
reduccion al absurdo, que no hay ning un isomorfismo
` entre
Q iI Xi y iI i Su-
Y .
pongamos que exista un isomorfismo f de iI Xi en iI Yi . Entonces obtenemos
TEORIA DE CONJUNTOS 123
el diagrama conmutativo:
X i LL
_ LLL
LLL ins
LLLi
LLL
L &
ini X2 i {i}PP (pri f )[Xi {i}]
r rrr PPP
P pri f X {i}
r P
rr PPP i
rr PPP
rrr inXi {i} PPP '
r
` yr
X (pr i f )[X {i}]
iI
_
i
PPP _ i
PPP
PPP
PPP
PPP
PPpr
PPi P f
f PPP in(pri f )[Xi {i}]
PPP
PPP
PPP
_ PPP
Q PP '
_ /
iI Yi pri Yi
Sea
Q y un miembro de tal conjunto, arbitrario,Qpero fijo. Puesto Q que el conjunto
iI (Y i (pri f )[Xi {i}]) esta incluido en Y
`iI i , y iI i , luego, ya que
Y
f es, en particular, sobreyectiva, hay un (x, i) iI Xi tal que f (x, i) = y. Por lo
tanto, para cada i I, yi = (pri f )(x, i), pero (pri f )(x, i) (pri f )[Xi {i}].
De donde la contradiccion, ya que, para cada i I, y` i Yi (prQi f )[Xi {i}].
Luego ` no hay ning un isomorfismo entre los conjuntos Q iI Xi y iI Yi , y, por lo
tanto, iI Xi est a estrictamente dominado por iI Yi .
Supongamos ahora que exista un i I tal`que Xi =` . Entonces para el con-
junto J = { i I | Xi 6= }, se cumple que iI Xi = iJ Xi y que, para cada
i J, Yi tiene al menos dos miembros, y estamos, ` respecto de`las familias (Xi )iJ
y (Yi )iJ , en el caso anterior.
Q Por lo tanto
Q iJ X i , que es iIQXi , esta estric-
tamente dominado por iJ Yi . Pero iJ Yi esta dominado por iI Yi , porque,
por una parte, para cada i J, Yi tiene al menos dos miembros, luego no es
vaco, y, por otra, para cada i I J, Yi tiene al menos un miembro, porque
Xi = estaQestrictamente Q dominado por Yi , as que, para cada i I, Yi 6= ,
luego prI,J : QiI Yi /
Q iJ Yi es sobreyectiva,
` por consiguiente hay un mono-
morfismo
Q de iJ iY en Y
iI i , luego iI X i est
a estrictamente dominado por
iI iY .
f i1
A / A qC B
i0
conmuta.
2. (Propiedad universal de la suma amalgamada) Para cada conjunto Y y
cualesquiera aplicaciones u : A / Y y v: B / Y si el diagrama:
g /B
C
f v
A /Y
u
conmuta, entonces hay una u nica aplicaci
on t : A qC B / Y tal que los
dos tri
angulos del diagrama:
B
i1
v
A / A qC B
i0 EE
EE
EE
E
tEEE
EE
u EE
"
.Y
conmutan.
La situaci
on descrita por las condiciones anteriores la expresamos diagram
atica-
mente como:
g /B
C
f i1
v
A / A qC B
i0 EE
EE
EE
E
tEEE
EE
u EE
"
.Y
TEORIA DE CONJUNTOS 125
f i1
A / A qC B
i0
conmuta.
Ademas, si Y es un conjunto y u : A / Y , v: B / Y dos aplicaciones tales
que el diagrama:
g /B
C
f v
A /Y
u
conmuta, entonces, por la propiedad universal del coproducto, hay una u nica apli-
cacion [u, v] : A q B / Y tal que [u, v] in0 = u y [u, v] in1 = v y, por cumplirse
que u f = v g, tenemos que Ker([u, v]) contiene a la relacion de equivalencia
RinA f,inB g en A q B, luego, por la propiedad universal del conjunto cociente, hay
una u nica aplicacion t de A qC B en X tal que t prRin f,in g = [u, v]. Para la
A B
aplicacion t se cumple que los dos triangulos del diagrama:
B
i1
v
A / A qC B
i0 EE
EE
EE
E
tEEE
EE
u EE
"
.Y
conmutan. Dejamos, como ejercicio, la demostracion de que t es la u
nica aplicacion
de A qC B en X con las propiedades indicadas.
Cuando digamos de un diagrama de la forma:
g /B
C
f v
A /Y
u
que es un cuadrado cocartesiano, ello significara que el conjunto Y es una suma
amalgamada de A y B bajo C relativa a f y g, y que u y v son las aplicaciones
estructurales.
126 JUAN CLIMENT
f q
A /E
p
conmuta.
2. Para cada conjunto Y y cualesquiera aplicaciones u : A / Y y v: B /Y
si el diagrama:
g /B
C
f v
A /Y
u
conmuta, entonces hay una u
nica aplicaci
on t : E / Y tal que los dos
tri
angulos del diagrama:
B
i1
v
A /E
i0 @@
@@
@@
t@@@
@@
u @
-Y
conmutan,
entonces hay un u
nico isomorfismo t : A qC B / E tal que los dos tri
angulos del
diagrama:
B
i1
q
A / A qC B
i0 EE
EE
EE
E
tEEE
EE
p EE
"
.E
conmutan.
TEORIA DE CONJUNTOS 127
Demostraci
on.
Proposici
on 9.26. Si el diagrama:
gf /6 C
A QQQ
QQQ f g mmmmm
QQQ m
QQQ mmm
QQ( mmmmm
B
r s t
mm6 E QQQ
u mmmm QQQ v
QQQ
mmmmm QQQ
mmm QQ(
D /F
vu
conmuta y el trapecio de la izquierda es cocartesiano, entonces el de la derecha lo
es precisamente si lo es el rect
angulo.
Demostraci
on.
Proposici
on 9.27. Si el diagrama:
g /B
C
f |||
|| w
}||
A v
g0
u C0 / B0
f 0 |||
|
~||
A0
A / A qC B v
i0
g0
u C0 / B0
{ u qw v tt
f 0 {{{ tt
tt
{{ tt
{{ tt 0
}{{ ytt i1
A0 / A0 qC 0 B 0
i00
conmuta.
Demostraci
on.
g
idA C /B
f ~~
~~
~~
A
se cumple que
idA qidC idB = idAqC B .
2. Si los diagramas:
g /B g0 / B0
C y C0
f ||| f 0 {{{
|| {{
|} | }{{
A w v A0 w0 v0
g0 g 00
u C0 / B0 u0 C 00 / B 00
f 0 ||| f 00 {{{
~||
| {{
}{{
0
A A00
conmutan, entonces se cumple que
(u0 qw0 v 0 ) (u qw v) = (u0 u) qw0 w (v 0 v).
Lo mismo que el concepto de producto, el de coproducto depende de dos parame-
tros, el conjunto de ndices y la familia de conjuntos indexada por tal conjunto; es
por ello que introducimos ahora, para comparar los conjuntos heterogeneos entre
s, la nocion de morfismo inductivo entre conjuntos heterogeneos. Ademas, de-
mostramos que tales morfismos inductivos tienen asociadas, canonicamente, ciertas
aplicaciones entre los coproductos de las familias de conjuntos, subyacentes a los
conjuntos heterogeneos que se comparan mediante los mismos, que cumplen cierta
propiedad universal, similar a la que cumplen los coproductos.
fs g(s)
As / B(s) / C((s))
Proposici on 9.29. Sean (S, A), (T, B), (U, C) y (V, D) cuatro conjuntos hete-
rogeneos, un morfismo inductivo de (S, A) en (T, B), uno de (T, B) en (U, C)
y uno de (U, C) en (V, D). Entonces:
1. (Asociatividad). El diagrama:
( )
/ (T, B)
(S, A)
JJ JJ
JJ JJ
JJ JJ
JJ JJ
JJ JJ
JJJ JJ
J$
$
(U, C) / (V, D)
:
( )
conmuta.
2. (Neutros). Los diagramas:
id(S,A)
(S, A) / (S, A) y (S, A) / (T, B)
JJ JJ
JJ JJ
JJ JJ
JJ JJ id(T,B)
J J
JJJJ JJJJ
$ $
(T, B) (T, B)
conmutan.
Demostraci
on.
fs lim
B(s) / lim(T, B)
in(s)
conmuta. Adem
as, el diagrama:
ins / lim(S, A)
As
`
fs f
B(s) / lim(S, B ) lim
KKKin(s)
KKK
KKK in
K
in(s) KKKK
% y
lim(T, B)
conmuta, siendo in la u nica aplicaci on de lim(S, B ) en lim(T, B) tal que, para
cada s S, in(s) = in in(s) . As que
`
lim = in f.
Proposici on 9.32. Sean : (S, A) / (T, B) y : (T, B) / (U, C) dos morfis-
mos inductivos. Entonces:
1. lim id(S,A) = idlim(S,A) .
2. lim( ) = lim lim .
Adem as, si = (, f ) y = (, g), entonces el diagrama:
lim
lim lim )
lim(S, A) / lim(T, B) / lim(U, C)
JJ 9 LLL : H
JJ r r rr LLL t tt
JJ t
` JJJJ rrr
rrin
L
` LLLL tt
tt
f JJJ rr g L tt in
LL t
rrr
$ lim(, g ) % tt
lim(S, B ) / lim(T, C )
LLL
r9
LLL rr r
L rr
` ` LLLL rrrrin
g L LL r
rrr
in
(g f ) %
. lim(S, C )
conmuta.
Demostraci
on.
A continuacion, generalizamos los conceptos de conjunto heterogeneo y de mor-
fismo inductivo entre conjuntos heterogeneos, hasta los de sistema inductivo de
conjuntos y morfismo inductivo entre sistemas inductivos de conjuntos, nociones
debidas, en casos particulares, a Pontrjagin y que son de gran importancia para la
topologa algebraica y el algebra homologica.
TEORIA DE CONJUNTOS 131
as,s0
As G / As0
GG
GG
GG as0 ,s00
as,s00 GGGG
G#
As00 ,
conmuta.
A las aplicaciones as,s0 : As / As0 las denominamos las aplicaciones de transici
on
del sistema inductivo de conjuntos (S, A).
que a un g : V / B le asigna gW .
Sea S un conjunto preordenado dirigido superiormente y (Vs | s S) una apli-
cacion isotona de S en (Sub(A), 1 ); as que, para cada (s, s0 ) , Vs0 Vs .
Entonces
(S, ((Hom(Vs , B) | s S), (as,s0 | (s, s0 ) ))),
en el que, para cada (s, s0 ) , as,s0 es la aplicacion H(inVs0 ,Vs , idB ) de Hom(Vs , B)
en Hom(Vs0 , B) que a un g : Vs / B le asigna gVs0 , es un sistema inductivo de
conjuntos.
s s0 Xs Xs0 ,
tenemos que (S, ((Xs | s S), (inXs ,Xs0 | s s0 ))) es un sistema inductivo de
conjuntos.
Entonces el par ordenado (lim(S, A), (as | s S)) cumple las condiciones de la
proposicion. En efecto, por una parte, para cada (s, s0 ) , el diagrama:
as,s0
As E / As0
EE xx
EE xx
EE
E xxx
as EE xx as0
E" |xx
lim(S, A)
conmuta, i.e., para cada x As , se cumple que [(x, s)]R(S,A) = [(as,s0 (x), s0 )]R(S,A) ,
por definicion de R(S,A)
Por otra parte, si un par ordenado (L, (ls | s S)), arbitrario, pero fijo, en el
que, para cada s S, ls : As / L, es tal que, para cada (s, s0 ) , el diagrama:
as,s0
As E / As 0
EE yy
EE yy
EE yy
EE y
ls EE yy ls0
E" |yyy
L
conmuta, entonces, en virtud`de la propiedad universal del coproducto, hay una
nica aplicacion [ls | s S] : sS As
u / L tal que el diagrama:
inAs `
As J / sS As
JJ
JJ
JJ
JJ [ls | s S]
J
ls JJJ
JJ
$
L
conmuta.
Ademas, se cumple que R(S,A) Ker([ls |` s S]), porque, por una parte, R(S,A)
es la mnima relacion de equivalencia sobre sS As que contiene a
S 0
` 2
(s,s0 ) { ((x, s), (as,s0 (x), s )) sS As | x As }
`
y, por otra, porque Ker([ls | s S]) es una relacion de equivalencia sobre sS As
S ` 2
que contiene a (s,s0 ) { ((x, s), (as,s0 (x), s0 )) sS As | x As }. Entonces,
en virtud de la propiedad universal del cociente, podemos afirmar que existe una
u
nica aplicacion u : lim(S, A) / L tal que el diagrama:
` pr(S,A)
sS As
/ lim(S, A)
MMM
MMM
MMM u
MMM
[ls | s S] MMM
M&
L
conmuta.
Ahora bien, puesto que, para cada s S, el diagrama:
ins `
As J / sS As
JJ
JJ
JJ
JJ [ls | s S]
J
ls JJJ
JJ
$
L
134 JUAN CLIMENT
as
ins ` pr(S,A) #
As I / sS As / lim(S, A)
II
II
II
II [ls | s S]
I
ls III
II u
$ q
L
conmuta. Por consiguiente hay al menos una aplicacion u de lim(S, A) en L tal que,
para cada s S, el diagrama:
as / lim(S, A)
As J
JJ
JJ
JJ
JJ u
J
ls JJJ
JJ
$
L
conmuta. Dejamos, como ejercicio, la demostracion de que hay a lo sumo una apli-
cacion u de lim(S, A) en L tal que, para cada s S, u as = ls .
`
La relacion (S,A) es una relacion de equivalencia sobre sS As . Puesto que la
reflexividad y la simetra son sencillas de demostrar, nos ` limitamos a bosquejar la
transitividad. Para ello, dados (x, s), (y, s0 ), (z, s00 ) sS As , es suficiente tener
en cuenta que, por una parte, por ser S un conjunto preordenado dirigido superior-
mente, existiran p, q, r S tales que s, s0 p, s0 , s00 q y p, q r y, por otra, que
por ser (S, A) un sistema inductivo, el diagrama:
As F
FF
FF as,p as,r
FF
FF
FF
F#
A
; p EE
xxx EE
as0 ,p xx EEap,r
xx EE
x EE
xxx EE
x as0 ,r "
As0 F / Ar
FF < L
FF yy
FF y yy
as0 ,q FFFF yy
yyy aq,r
F# yy
A q
x;
xxx
x
xx
xxx as00 ,q as00 ,r
xx
As00
TEORIA DE CONJUNTOS 135
conmuta. , con ((x, s), (y, s0 )) R(S,A) , entonces hay un s00 S tal que s, s0 s00 y
as,s00 (x) = as0 ,s00 (y). Pero el diagrama:
As F As0
FF ww
FF as,s00 as ,s ww w
FF 0 00
FF ww
FF w ww
F# {ww
As00
ls ls0
ls00
# {
L
Proposici
on 9.35. Sea (S, A) un sistema inductivo de conjuntos. Entonces:
1. Para cada conjunto Y y cualesquiera aplicaciones f, g : lim(S, A) /Y,
si, para cada s S, el diagrama:
f as
as f /
lim(S, A) / As /? Y
g
g as
as,s0
As E / As 0
EE yy
EE y
EE yy
EE yyy
ls EE y ls0
E" |yyy
L
136 JUAN CLIMENT
conmuta, y para cada monomorfismo t : L _ / lim(S, A), si, para cada s
S, el digrama:
as / lim(S, A)
As D u
DD :
DD uuu
DD uu
D
ls DDD uu
uuu t
D! u5uu
L
conmuta, entonces t es un isomorfismo, i.e., la familia de aplicaciones (as |
s S) es extremal.
Demostraci
on.
Corolario 9.36. Sea (S, A) un sistema proyectivo de conjuntos. Si un par ordenado
(Q, (qs | s S)), en el que Q es un conjunto y, para cada s S, qs : As /Q
cumple que:
1. Para cada (s, s0 ) , el diagrama:
as,s0
As D / As 0
DD yy
DD yy
DD yy
D
qs DD y
y q0
DD yy s
" |yy
Q
conmuta.
2. Para cada par ordenado (L, (ls | s S)), en el que L es un conjunto y, para
cada s S, ls : As / L, si, para cada (s, s0 ) , el diagrama:
as,s0
As E / As 0
EE yy
EE yy
EE yy
EE y
ls EE yy ls0
E" |yyy
L
conmuta, entonces hay una u nica aplicaci on u : Q / L tal que, para cada
s S, el diagrama:
qs /Q
As E
EE
EE
EE u
E
ls EEE
E"
P
conmuta.
Entonces hay un u nico isomorfismo t de lim(S, A) en Q tal que, para cada s S,
el diagrama:
as / lim(S, A)
As I
II
II
II
II u
qs III
II
I$
Q
conmuta.
Demostraci
on.
TEORIA DE CONJUNTOS 137
Proposici on 9.39. Sea (S, A) un sistema inductivo de conjuntos y (L, (ls | s S))
tal que, para cada s S, ls : As / L y, para cada (s, s0 ) , el diagrama:
as,s0
As E / As 0
EE yy
EE y
EE yy
EE yyy
ls EE y ls0
E" |yyy
L
138 JUAN CLIMENT
Demostraci
on.
Demostraci
on.
Corolario 9.42. Sea (S, A) un sistema inductivo de conjuntos. Entonces una con-
dici
on suficiente para que as : As / lim(S, A) sea biyectiva, sea cual sea s S,
0
es que, para cada (s, s ) , as,s0 : As / As0 sea biyectiva.
Demostraci
on.
TEORIA DE CONJUNTOS 139
fs / B(s)
As
as,s0 b(s),(s0 )
As0 / B(s0 )
f s0
fs g(s)
As / B(s) / C((s)) ,
fs / B(s) gt / C(t)
As y Bt
as,s0 c((s)),((s0 ))
As0 / C((s0 ))
g(s0 ) fs0
tambien conmuta.
Proposicion 9.45. Sean (S, A), (T, B), (U, C) y (V, D) cuatro sistemas inductivos
de conjuntos, un morfismo inductivo de (S, A) en (T, B), uno de (T, B) en
(U, C) y uno de (U, C) en (V, D). Entonces:
1. (Asociatividad). El diagrama:
( )
/ (T, B)
(S, A)
JJ JJ
JJ JJ
JJ JJ
JJ JJ
JJ JJ
JJJ JJ
J%
$
(U, C) / (V, D)
:
( )
conmuta.
2. (Neutros). Los diagramas:
id(S,A)
(S, A) / (S, A) y (S, A) / (T, B)
JJ JJ
JJ JJ
JJ JJ
JJ JJ id(T,B)
J J
JJJJ JJJJ
$ $
(T, B) (T, B)
conmutan.
Demostraci
on.
9.9. Lmites inductivos de los morfismos inductivos.
Proposicion 9.46. Si : (S, A) / (T, B) es un morfismo inductivo, entonces
hay una u
nica aplicaci
on
lim : lim(S, A) / lim(T, B),
denominada el lmite inductivo de tal que, para cada s S, el diagrama:
as / lim(S, A)
As
fs lim
B(s) / lim(T, B)
b(s)
TEORIA DE CONJUNTOS 141
conmuta. Adem
as, el diagrama:
as / lim(S, A)
As
`
fs f
B(s) / lim(S, B ) lim
KKKb(s)
KKK
KKK i
K
b(s) KKKK
% y
lim(T, B)
conmuta, siendo i la u
nica aplicaci
on de lim(S, B ) en lim(T, B) tal que el dia-
grama:
` pr(S,B )
(B(s) | s S) / lim(S, B )
in i
`
(Bt | t T ) / lim(T, B)
pr(T,B)
`
conmuta, y, denot andola por el mismo smbolo, f la u
nica aplicaci
on de lim(S, A)
en lim(S, B ) tal que el diagrama:
` pr(S,A)
As / lim(S, A)
sS
` `
f f
`
B(s) / lim(S, B )
sS pr(S,B )
conmuta. As que
`
lim = i f.
Demostraci
on.
Adem
as, si = (, f ) y = (, g), entonces el diagrama:
lim
lim lim )
lim(S, A) / lim(T, B) / lim(U, C)
JJ 9 KKK
: H
JJ s s ss KKK t tt
JJ ss K tt
` JJJJ s
sssi ` KKKK tt
t
f JJJ ss g KKK ttt i
$ ss lim(, g ) % tt
lim(S, B ) / lim(T, C )
KKK 9
KKK ss ss
KKK sss
` `
g
KKK
K sssssi
(g f ) K% ss i
. lim(S, C )
conmuta.
Demostraci
on.
Proposicion 9.48. Sea : (S, A) / (T, B) un morfismo inductivo. Si hay un
subconjunto S 0 de S que es cofinal en S, [S 0 ] es cofinal en T y, para cada s0 S 0 ,
fs0 : As0 / B(s0 ) es biyectiva, entonces lim es biyectiva.
Demostracion.
Antes de enunciar un corolario de la proposicion anterior, convenimos que si
(S, A) es un sistema inductivo de conjuntos y S 0 un subconjunto de S tal que,
siendo S0 el par ordenado (S 0 , (S 0 S 0 )), S0 es, a su vez, un conjunto preordenado
dirigido superiormente, entonces (S, A)S 0 , la restricci on de (S, A) a S0 , denota el
sistema inductivo de conjuntos cuya primera coordenada es (S 0 , (S 0 S 0 )) y cuya
segunda coordenada tiene como primera componente la restriccion de (As | s S)
a S 0 y como segunda componente la restriccion de (as,s0 | (s, s0 ) ) a (S 0 S 0 ).
Corolario 9.49. Si (S, A) es un sistema inductivo de conjuntos y S 0 es un subcon-
junto cofinal de S, entonces para el morfismo inductivo can onico = (inS0 , (idAs0 |
s0 S 0 )) de (S, A)S 0 en (S, A) se cumple que lim es una aplicaci
on biyectiva.
Demostraci on.
Del mismo modo que para el universo de conjuntos y aplicaciones, demostramos
la existencia de productos y coproductos de familias de conjuntos as como la de
igualadores de pares de aplicaciones con el mismo dominio y codominio, ahora,
para el universo de discurso formado por los sistemas inductivos de conjuntos y los
morfismos entre ellos, demostramos la existencia de productos y coproductos de
familias de sistemas inductivos de conjuntos, as como la de igualadores de pares
de morfismos con el mismo dominio y codominio.
9.10. Algunos lmites y colmites de familias de sistemas inductivos.
Proposici on 9.50. Sea ((Si , Ai ) | i I) unaQ familia de sistemas inductivos de
conjuntos. Entonces hay un par ordenado ((Si , Ai ) | i I), (pri | i I) , tam-
Q i i i
Q i i
bien denotado por iI (S , A ), (pr | i I) , en el que ((S , A ) | i I), el
producto de ((Si , Ai ) | i I), es un sistema inductivo de conjunto y, para cada
i Q I, pri , la proyeccion canonica i-esima del producto, es un morfismo inductivo
de ((Si , Ai ) | i I) en (Si , Ai ), que tiene la siguiente propiedad universal:
Para cada par ordenado ((T, B), (i | i I)), en el que (T, B) es un sistema
inductivo de conjuntos y, para cada i I, i : (T, B) / (Si , Ai ), hay un u
nico
TEORIA DE CONJUNTOS 143
morfismo inductivo i | i I : (T, B) / Q((Si , Ai ) | i I) tal que, para cada
i I, el diagrama:
(T, B)
PPP
PPP
i PP i
|iI PPP
PPP
PP'
Q i i / (Si , Ai )
((S , A ) | i I)
pri
conmuta.
Demostraci
Q i i on. Es suficiente tomar, por una parte, como primera coordenada de
((S , A ) | i I) el producto de la familia de conjuntos preordenados d.s. (Si |
i I) y, como segunda coordenada, el par ordenado cuya primera componente es
Q i Q
(Asi | i I) | (si | i I) (S i | i I)
y cuya segunda componente es
Q
(aisi ,s0 | i I) | ((si | i I), (s0i | i I)) ;
i
y, por otra parte,Qpara cada i I, como primera coordenada de pri , pri , la proyec-
cion canonica de (Si | i I) en Si , y, como segunda coordenada, (prAis | (si | i
Q i
I) (S i | i I))
Proposici on 9.51. Sea ((Si , Ai ) | i I) una
` familia de sistemas inductivos de
conjuntos. Entonces hay un par ordenado ((Si , Ai ) | i I), (ini | i I) , tam-
` i i i
` i i
bien denotado por iI (S , A ), (in | i I) , en el que ((S , A ) | i I), el
coproducto de ((Si , Ai ) | i I), es un sistema inductivo de conjuntos y, para cada
i I, ini , la inclusi
` on canonica i-esima del coproducto, es un morfismo inductivo
de (Si , Ai ) en ((Si , Ai ) | i I), que tiene la siguiente propiedad universal:
Para cada par ordenado ((T, B), (i | i I)), en el que (T, B) es un sistema
inductivo de conjuntos i I, : (Si , Ai ) / (T, B), hay un u
i y, para cada
` i i i
nico
morfismo inductivo | i I : ((S , A ) | i I) / (T, B) tal que, para cada
i I, el diagrama:
ini / `((Si , Ai ) | i I)
(Si , Ai )
PPP
PPP
PPP
PP [fi | i I]
i PPPPP
'
(T, B)
conmuta.
Demostraci
` i i on. Es suficiente tomar, por una parte, como primera coordenada de
((S , A ) | i I) el coproducto de la familia de conjuntos preordenados d.s.
(Si | i I) y, como segunda coordenada, el par ordenado cuya primera componente
es `
(Ais | (s, i) (S i | i I))
y cuya segunda componente es
(ais,s0 | ((s, i), (s0 , i)) );
i
y, por otra parte, para
` icada i I, como primera coordenada de in , ini , la inclusi
` on
canonica de S en (S | i I), y, como segunda coordenada, (idAis | (s, i) (S i |
i
i I)).
144 JUAN CLIMENT
Proposici on 9.52. Sean , : (S, A) / (T, B) dos morfismos inductivos, con
= (, f ) y = (, g). Entonces existe un par ordenado (Eq(, ), eq(, )),
el igualador de y , en el que Eq(, ) es un sistema inductivo de conjuntos
y eq(, ) un morfismo inductivo de Eq(, ) en (S, A), que tiene las siguientes
propiedades:
1. eq(, ) = eq(, ).
2. (Propiedad universal del igualador) Para cualquier sistema proyectivo de
conjuntos (U, C) y cada morfismo proyectivo : (U, C) / (S, A), si
= , entonces hay un unico morfismo proyectivo : (U, C) / Eq(, )
tal que eq(, ) = .
Demostraci on. Es suficiente tomar, por una parte, como primera coordenada de
Eq(, ), el conjunto preordenado Eq(, ), formado por el igualador de y ,
y la restriccion del preorden de S a esa parte, y como segunda coordenada, E, el
par ordenado cuya primera componente, Es , para cada s Eq(, ), es Eq(fs , gs ),
y cuya segunda componente, es,s0 , para cada s, s0 Eq(, ), tal que s s0 , es la
u
nica aplicacion de Eq(fs , gs ) en Ceq(fs0 , gs0 ) tal que as,s0 eq(fs , gs ) = eq(fs0 , gs0 )
es,s0 ; y, por otra parte, como primera coordenada de eq(, ), eq(, ), y, como
segunda coordenada (eq(fs , gs ) | s eq(, )).
partir del mismo. Ademas, demostraremos que el conjunto subyacente del algebra
Dedekind-Peano, que sera el conjunto de los n umeros naturales, esta dotado de una
buena ordenacion, y que tal ordenacion es compatible con las operaciones aritmeti-
cas usuales, definidas por recursion, sobre el conjunto de los n umeros naturales.
Los axiomas de la teora de conjuntos de ZFSk hasta ahora enunciados, solo
nos permiten afirmar la existencia de una infinidad de conjuntos distintos, e.g., los
conjuntos , {}, {{}}, . . . , pero no, y este sera el primer gran salto de lo finito
a lo transfinito, la existencia de un conjunto, actualmente, infinito. Para poder ase-
gurar la existencia de al menos un conjunto infinito, procedemos axiomaticamente,
tal como hizo Zermelo.
10.1. El axioma del conjunto infinito. Antes de enunciar el axioma del con-
junto infinito, recordamos que si A es un conjunto, entonces A+ denota el conjunto
sucesor de A, que es A {A}.
Axioma del conjunto infinito. Hay al menos un conjunto del cual es miembro
el conjunto vaco, y que est
a cerrado bajo la operaci
on de formaci
on del sucesor de
un conjunto:
A ( A x (x A x+ A)).
El axioma del conjunto infinito, bajo la forma anterior, se debe a von Neumann;
el que propuso Zermelo es:
A ( A x (x A {x} A)).
Observese que lo que diferencia al axioma propuesto por von Neumann del pro-
puesto por Zermelo, reside en la operacion de formacion del conjunto sucesor, que,
en el caso de von Neumann, es la que a un conjunto x la asigna x+ y, en el de
Zermelo, la que a x le asigna {x}.
De ahora en adelante usaremos el propuesto por von Neumann.
Antes de proseguir con la obtencion de algunas de las consecuencias de la ad-
mision del nuevo axioma, conviene recordar que Dedekind, despues de definir a los
conjuntos infinitos como aquellos que son isomorfos a un subconjunto estricto de
s mismos, transformando de este modo un teorema de Galileo, seg un el cual hay
tantos n umeros naturales como cuadrados de los mismos, en una definicion; propu-
so, como teorema, la existencia de al menos un conjunto infinito. De dicho teorema
dio la siguiente demostraci
on:
El mundo de mis pensamientos, es decir, la totalidad S de todas las
cosas que pueden ser objeto de mi pensamiento es infinito. De hecho, si
s indica un elemento de S, el pensamiento s0 de que s puede ser objeto
de mi pensamiento es el mismo un elemento de S. Si se considera s0
como la imagen (s) del elemento s, entonces la representaci on de S
determinada de esa manera tiene la propiedad de que la imagen S 0 es
parte de S; adem as, S 0 es parte propia de S, ya que en S hay elementos
(e.g., mi propio yo) diferentes de cada pensamiento de la forma s0 , y
por lo tanto no contenido en S 0 . Por u ltimo, est
a claro que si a y b son
elementos distintos de S, entonces las im agenes a0 y b0 ser
an diferentes,
es decir es una representaci on inyectiva. Por consiguiente, S es infinito.
Sin entrar en los problemas que plantean los aspectos no matematicos de la
anterior demostracion, cabe se
nalar que si se admitiera la existencia del conjunto S
de todas las cosas que puedan ser objeto del pensamiento (de Dedekind), entonces,
ya que cada subconjunto de S, podra ser objeto del pensamiento (de Dedekind), el
conjunto Sub(S), formado por la totalidad de los subconjuntos de S, debera estar
incluido en S. Por lo tanto ambos conjuntos deberan ser isomorfos, en virtud del
teorema de Cantor-Bernstein, lo cual entrara en contradiccion con un teorema de
Cantor. Luego, desgraciadamente, no se puede admitir como existente el conjunto
de todas las cosas que puedan ser objeto del pensamiento.
146 JUAN CLIMENT
Demostraci
on.
Proposici
on 10.12.
+
1. Si A es -transitivo, entonces A
S es -transitivo.
2. Si A es -transitivo, entonces A es -transitivo. S
3. Si A es tal que todos sus miembros son -transitivos, entonces A es -
transitivo. T
4. Si A no es vaco y todos sus miembros son -transitivos, entonces A es
-transitivo.
Demostraci
on.
Proposici
on 10.14. Cualquier n
umero natural es -transitivo.
Demostraci on. Demostramos, por induccion, que T = { n N | n es -transitivo },
coincide con el conjunto de los nuSmeros naturales.
Se cumple que 0 T , porque 0+ = 0.SSupongamos que n T , i.e., que n sea
-transitivo, o, lo que es equivalente, que n+ = n. Entonces
S + + S +
(n ) = (n {n+ })
S S
= ( n+ ) ( {n+ })
= n (n {n})
= n+ ,
luego n+ es -transitivo, i.e., n+ T . Por consiguiente T = N.
Proposici
on 10.16. El conjunto N es -transitivo.
Demostraci
on.
TEORIA DE CONJUNTOS 149
o sc
r8 N N
0 rrrr
rrr
rrr
1 LLL h h
LLL
L
e LLLL
& o
A A
f
en el que 0 es la aplicaci
on que al u
nico miembro de 1 le asigna 0 y e la aplicaci
on
que al unico miembro de 1 le asigna e, conmuta, i.e., tal que:
1. h(0) = e.
2. n N (h(sc(n)) = f (h(n))).
Demostraci on. Decimos que una funcion parcial G de N en A es aceptable, respecto
de e y f = (A, F, A), si cumple las siguientes condiciones:
1. Si 0 Dom(G), entonces G(0) = e.
2. Para cada n N, si sc(n) Dom(G), entonces n Dom(G) y G(sc(n)) =
F (G(n)).
Sea G el conjunto de todas las funciones parciales de N en A que sean aceptables
(conjunto obtenido, mediante una aplicacion del esquema axiomatico de separacion,
a partir del conjunto deS todas las funciones parciales de N en A). Vamos a demostrar
que el conjunto H = G tiene las siguientes propiedades:
1. H es una funcion parcial de N en A.
2. H es aceptable.
3. Dom(H) = N.
4. H es la unica funcion de N en A tal que
a) H(0) = e.
b) n N (H(sc(n)) = F (H(n))).
Demostramos en primer lugar que hay a lo sumo una funcion H de N en A tal
que
H(0) = e.
n N (H(sc(n)) = F (H(n))).
En efecto, si H 0 fuera otra funcion de N en A que tuviera las mismas propiedades
que tiene H, entonces el igualador de H y H 0 , i.e., el conjunto Eq(H, H 0 ) = { n
N | H(n) = H 0 (n) }, coincidira con N, ya que, por cumplirse, por una parte, que
0 Eq(H, H 0 ), debido a que H(0) = e = H 0 (0), y, por otra, que dado un n N, si
n Eq(H, H 0 ), i.e., si H(n) = H 0 (n), entonces sc(n) Eq(H, H 0 ), porque
H(sc(n)) = F (H(n)) (porque H tiene tal propiedad)
= F (H 0 (n)) (porque, por hipotesis, H(n) = H 0 (n))
= H 0 (sc(n)) (porque H 0 tiene tal propiedad),
150 JUAN CLIMENT
o f
q8 A A
e qqqq
qqq
qqq
1 LLL h h
LLL
LLL
e0 LL&
A0 o 0 A0
f
Demostraci
on.
Demostraci
on.
o sc
r8 N N
0 rrrr
rrr
rrr
1 LLL h h
LLL
LLL
e LL
& o
A A
f
conmuta.
diagramas:
o sc o f
r8 N N y r8 A A
0 rrrr e rrrr
rrr rrr
rrr rrr
1 LLL h h 1 LLL t t
LLL LLL
LLL LLL
e LL 0 LL
& o & o
A A N sc N
f
conmutan. Luego los diagramas:
o sc o f
r8 N N y r8 A A
0 rrrr e rrrr
rrr rrr
rrr rrr
1 LLL th th 1 LLL ht ht
LLL LLL
LLL LLL
0 LL e LL
& o & o
N sc N A A
f
conmutan. Pero los diagramas:
o sc o f
r8 N N y r8 A A
0 rrrr e rrrr
rrr rrr
rrr rrr
1 LLL idN idN 1 LLL idA idA
LLL LLL
LLL LLL
0 LL e LL
& o & o
N sc N A A
f
tambien conmutan. De donde, por unicidad, t h = idN y h t = idA , as que
h: N / A es una biyeccion que cumple las condiciones.
AN o idA sc A N
hidA , 0 A i oooo7
o
ooo
ooo
A OOO h h
OOO
OOO
f OOO'
Bo g B
AN o idA sc AN
hidA , 0 A i oooo7
o
ooo
ooo
A OOO h hidAN , hi
OOO
OOO
f OOO'
Bo g ANB
o sc
r8 N N
0 rrrr
rrr
rrr
1 LLL h hh, idN i
LLL
L
e LLLL
% o
A AN
f
conmuta, i.e., tal que:
1. h(0) = e.
2. n N (h(n+ ) = f (h(n), n)).
Demostraci
on.
Proposicion 10.25 (RPsPpAP). Sea A un conjunto, e A y f : A N / A.
Entonces hay una u
nica aplicaci
on parcial h : N / A tal que:
1. 0 Dom(h) y h(0) = e.
2. Para cada n N, si n+ Dom(h), entonces h(n+ ) = f (h(n), n)).
3. Dom(h) = N o para un n N, Dom(h) = n+ y f (h(n), n) no est a definido.
Demostraci
on.
En lo que sigue abreviamos por PDRCV la frase Principio de la definicion
por recursion de curso de valores .
Proposicion 10.26 (PDRCV). Sea A un conjunto y f : A? / A. Entonces hay
una u
nica aplicaci
on h : N / A tal que, para cada n N, h(n) = f (hn).
154 JUAN CLIMENT
Demostraci
on.
Proposici
on 10.27.
1. Sea f : A / B y g: A B / B. Entonces hay una u
nica aplicaci
on
h: A N / B tal que el diagrama:
AN o idA sc A N
hidA , 0 A i oooo7
o
ooo
ooo
A OOO h hprA , hi
OOO
OOO
f OOO'
Bo g AB
idA sc
AN o AN
hidA , 0 A i oooo7
o
ooo
ooo
A OOO h hprN , hi
OOO
OOO
f OOO'
Bo g NB
sc
rr8No N
0 rrr
rrr
rrr
1 LLL h
LLL g
LLL
f LL&
B
o f
q8 A A
e qqqq
qqq
qqq
1 LLL h h
LLL
LLL
e0 LL&
A0 o 0 A0
f
conmute.
De hecho, ya hemos demostrado que la condicion es necesaria. Para demostrar
la suficiencia hemos de demostrar que si A tiene la propiedad de la definicion por
recursion finita, entonces se cumple que:
f es inyectiva.
Im(f ) {e} = .
X A (( f [X] X e X ) X = A ).
Para ello, establecemos, en primer lugar, la siguiente definicion.
Definici
on 10.28. Si A tiene la propiedad de la definicion por recursion finita,
entonces denotamos por pd a la u
nica endoaplicacion de A para la que el diagrama:
f
r 8 Ao A
e rrrr
rrr
rrr
1 LLL pd
LLL idA
L
e LLLL
&
A
conmuta, y la denominamos la aplicacion predecesor.
Proposicion 10.29. Si A tiene la propiedad de la definici on por recursi
on finita,
entonces
1. La aplicaci
on f : A / A es inyectiva.
2. Para cada a A, f (a) 6= e, i.e., Im(f ) {e} = .
3. Para cada X A, si f [X] X y e X, entonces X = A.
Demostraci
on.
Proposici
on 10.50. Para cada n N, < n = n.
Demostraci
on. Sea n N, entonces
< n = { m N | m < n } (por definicion)
= { m N | m Sc(Sc n) } (por definicion)
= {m N | m n} (por la prop. 10.49)
=n (por ser N -transitivo)
Exponemos a continuacion otro procedimiento para demostrar que la relacion
de pertenencia, restringida al conjunto de los n umeros naturales, es una buena
ordenacion del citado conjunto.
En lo que sigue, convenimos que la relacion binaria < sobre el conjunto de los
n
umeros naturales es N .
Proposici
on 10.51. La relaci
on < es transitiva.
Demostraci on. Demostramos anteriormente que todos los n
umeros naturales son
-transitivos, luego si m, n y p lo son y m < n y n < p, i.e., m n y n p,
entonces m p, i.e., m < p.
Antes de demostrar que la relacion < es irreflexiva, establecemos el siguiente
lema.
Lema 10.52. Sean m, n dos n
umeros naturales, entonces son equivalentes:
1. m < n.
2. m+ < n+ .
Demostraci on. Supongamos que m+ < n+ . Entonces, ya que n+ = n {n}, se
cumple que m+ n o m+ = n. Puesto que m m+ , si ocurre que m+ n, entonces,
por ser n -transitivo, m n, y si ocurre que m+ = n, entonces, obviamente, m n,
luego, en cualquier caso, m < n.
Para demostrar la recproca, i.e., que, para cada m, n N, si m < n, entonces
m+ < n+ , procedemos por induccion sobre n, i.e., demostramos, por induccion
finita, que el conjunto
T = { n N | m N (m < n m+ < n+ ) }
coincide con el conjunto de los n
umeros naturales.
Se cumple que 0 T , porque el antecedente del condicional
m < 0 m+ < 0+
es falso.
Sea n N tal que n T . Vamos a demostrar que entonces n+ T , i.e., que
m N (m < n+ m+ < (n+ )+ ). Sea m N tal que m < n+ . Entonces,
ya que n+ = n {n}, se cumple que m n o m = n. Si ocurre que m n,
entonces m+ n+ (n+ )+ , luego m+ < (n+ )+ . Si ocurre que m = n, entonces
m+ = n+ (n+ )+ , luego m+ < (n+ )+ .
Por lo tanto T = N.
Corolario 10.53. la relaci
on < es irreflexiva, i.e., para cada n N, n n.
Demostracion. Sea T = { n N | n n }.
Se cumple que 0 T , porque 6 .
Sea n N tal que n T , i.e., tal que n n. Entonces, en virtud del lema,
n+ n+ , luego n+ T . Por lo tanto T = N.
TEORIA DE CONJUNTOS 161
el antecedente es falso.
Sea m N tal que m T . Entonces, dado un n N tal que n < m+ , se tiene
que n m o n = m. Si ocurre que n m, entonces, por la hipotesis de induccion,
n 6 A, luego m+ T . Si ocurre que n = m, entonces m = n 6 A, porque si m A,
se cumplira que, para cada a A, m a, ya que, en caso contrario, i.e., si existiera
un a A tal que a < m, entonces m 6 T , que entrara en contradiccion con que
m T.
Por lo tanto T = N. De donde concluimos que A = .
Demostraci
on.
Definici
on 10.63. Sean A y B dos conjuntos ordenados.
1. Una aplicaci
on is
otona de A en B es un triplo ordenado (A, , B), abre-
viado como y denotado por : A / B, en el que es una aplicacion
de A en B tal que
x, y A ( x y (x) (y) ).
2. Una aplicaci
on anttona de A en B es un triplo ordenado (A, , B), abre-
viado como y denotado por : A / B, en el que es una aplicacion
de A en B tal que
x, y A ( x y (y) (x) ).
3. (Asociatividad). El diagrama:
( )
/BK
A KK KK
KK KK
KK KK
KK KK
KK KK
KKKK KK
KK
K%
C /% D
;
( )
conmuta.
4. (Neutros). Los diagramas:
idA / /B
AE A y AE
EE EE
EE EE
EE EE
EEEE EEEE idB
E" E"
B B
conmutan.
La composicion de dos aplicaciones anttonas es una aplicacion isotona, y que la
composicion de una isotona y una anttona es anttona.
Definici
on 10.65. Sea A un conjunto ordenado, X A y a A.
1. Decimos que a que es el m aximo de A si, para cada x A, se cumple que
x a.
2. Decimos de a es el mnimo de A si, para cada x A, se cumple que a x.
3. Decimos que a es un minorante o una cota inferior de X en A, y lo deno-
tamos por a X, si, para cada x X, a x. Denotamos por Cinf A (X)
el conjunto de las cotas inferiores de X en A. Ademas, si Cinf A (X) 6= ,
entonces decimos que el conjunto X esta acotado inferiormente en A. Con-
venimos que Cinf A () = A.
4. Decimos que a que es un mayorante o una cota superior de X en A, y lo de-
notamos por X a, si, para cada x X, x a. Denotamos por CsupA (X)
el conjunto de las cotas superiores de X en A. Ademas, si CsupA (X) 6= ,
entonces decimos que el conjunto X esta acotado superiormente en A. Con-
venimos que CsupA () = A.
5. Si X es tal que Cinf A (X) 6= y CsupA (X) 6= , entonces decimos que X
esta acotado en A.
Un conjunto linealmente ordenado coinciden los conceptos de mnimo y de mi-
nimal, as como los de maximo y de maximal
Sea A un conjunto ordenado y X A no vaca. Entonces
T
1. Cinf A (X) = TxX x.
2. CsupA (X) = xX x.
Definici
on 10.66. Sea A un conjunto linealmente ordenado y X una parte de
A. Decimos que X es un intervalo de A si, para cada a A y cada x, y X, si
x a y, entonces a A.
TEORIA DE CONJUNTOS 165
Demostraci
on.
Proposicion 10.96. Si A es un conjunto finito, entonces Sub(A) es finito. Adem
as,
se cumple que
card(Sub(A)) = 2card(A) .
Demostraci
on.
Proposicion 10.97. Si A es un conjunto infinito, entonces, para cada n N, hay
una aplicaci
on inyectiva de n en A y no hay ning
un isomorfismo de n en A.
Demostraci
on.
Proposicion 10.98. Si A y B son finitos, entonces A B es finito. Adem
as, se
cumple que
card(A B) = card(A) card(B).
Demostraci
on.
Proposicion 10.99. Si los conjuntos A y B son finitos, entonces tambien los
conjuntos Fnc(A, B), Pfnc(A, B) y Mfnc(A, B) son finitos.
Demostraci
on.
Definici on 10.100. Sea A un conjunto. Decimos de A que es infinito numerable si
hay un isomorfismo entre A y N. Si tal es el caso, lo denotamos por card(A) = 0 .
Por otra parte, decimos de A que es numerable si A esta dominado por N. Si tal es
el caso, lo denotamos por card(A) 0 .
Proposicion 10.101. Cualquier subconjunto infinito de un conjunto infinito nu-
merable es infinito numerable.
Demostraci
on.
Corolario 10.102. Una condici on necesaria y suficiente para que un conjunto sea
numerable es que sea finito o infinito numerable.
Proposicion 10.103. Si A es un conjunto infinito numerable y F una funci
on,
entonces F [A] es numerable.
Demostraci
on.
Proposicion 10.104. El conjunto de los numeros naturales se puede representar
como la uni
on de un conjunto infinito numerable de conjuntos infinito numerables
Demostraci
on.
Usaremos esta u ltimna proposicion en la teora de la recursion cuando definamos
la nocion de aplicacion de gran amplitud de Kouznetsov.
Proposici on 10.105. La uni on de dos conjuntos infinito numerables es un conjun-
to infinito numerable. Por consiguiente, la uni
on de un conjunto finito de conjuntos
infinito numerables es infinito numerable.
Demostraci
on.
Teorema 10.106 (Cantor). Hay un isomorfismo de N N en N.
Demostraci
on.
En la teora de la recursion demostraremos la existencia de aplicaciones recursivas
primitivas biyectivas de N N en N, para las que las dos aplicaciones asociadas a
la inversa son recursivas primitivas.
170 JUAN CLIMENT
Any system of real numbers is said to be ordered, if for every two num-
bers of the system it is determined which one is the earlier and which
the later, and if at the same time this determination is of such a kind
that, if a is before b and b is before c, then a always comes before c.
The natural arrangement of numbers of a system is defined to be that
in which the smaller precedes the larger. But there are, as is easily seen,
infinitely many other ways in which the numbers of a system may be
arranged.
If we think of a definite arrangement of numbers and select from
them a particular system of these numbers, a so-called partial system or
assemblage, this partial system will also prove to be ordered. Now Cantor
considers a particular kind of ordered assemblage which he designates as
a well ordered assemblage and which is characterized in this way, that
not only in the assemblage itself but also in every partial assemblage
there exists a first number. The system of integers 1, 2, 3, . . . in their
natural order is evidently a well ordered assemblage. On the other hand
the system of all real numbers, i.e., the continuum in its natural order, is
evidently not well ordered. For, if we think of the points of a segment of
a straight line, with its initial point excluded, as our partial assemblage,
it will have no first element.
The question now arises whether the totality of all [real] numbers
may not be arranged in another manner so that every partial assem-
blage may have a first element, i.e., whether the continuum cannot be
considered as a well ordered assemblagea question which Cantor thinks
must be answered in the affirmative. It appears to me most desirable to
obtain a direct proof of this remarkable statement of Cantors, perhaps
by actually giving an arrangement of numbers such that in every partial
system a first number can be pointed out.
Como veremos en el transcurso de esta seccion, el anterior problema, uno de los
problemas fundamentales de la matematica de principios del siglo XX, fue resuelto
por Zermelo al demostrar este en 1904, a partir de su axioma de eleccion, el principio
del buen orden, seg
un el cual sobre todo conjunto hay un buen orden. De modo que
una ley del pensamiento, el principio del buen orden, quedo, en manos de Zermelo,
reducida a un teorema, que resulto, en definitiva, ser equivalente al principio logico
de eleccion de Zermelo.
Definicion 11.1. Sea A un conjunto. Un buen orden sobre A es un orden < sobre
A tal que cada subconjunto no vaco X de A tiene un primer elemento, i.e., hay
un a X para el que se cumple que, para cada x X, a x. Denotamos por
WO(A) el conjunto de todos los buenos ordenes sobre el conjunto A. Un conjunto
bien ordenado es un par A = (A, <) en el que A es un conjunto y < un buen orden
sobre A.
Ahora caracterizamos a los conjuntos bien ordenados mediante las secciones fi-
nales.
Proposici on 11.2. Sea (A, <) un conjunto linealmente ordenado. Entonces son
equivalentes:
1. Toda secci
on final no vaca de (A, <) tiene un mnimo.
2. Todo subconjunto no vaco de A tiene un mnimo.
Demostraci on. Supongamos que toda seccion final no vaca de (A, <) tenga un
m
T nimo. Sea P un subconjunto no vaco de A. Consideremos el subconjunto Q =
< p de A, formado por todos los minorantes estrictos de P en (A, <).
pP S
Entonces el conjunto A Q = pP < p es una seccion final de (A, <) que
contiene a P , luego A Q 6= . Por lo tanto A Q tiene un mnimo a0 . Se cumple
que a0 p, sea cual sea p P . Ademas, a0 P , ya que si, para cada p P , a0 6= p,
172 JUAN CLIMENT
entonces, para cada p P , por ser < lineal, a0 > p o a0 <T p, pero no se cumple
que a0 > p, luego, para cada p P , a0 < p, i.e., a0 Q = pP < p, pero eso es
imposible, ya que a0 A Q.
S
Ejercicio. Demuestrese que A Q = pP < p es una seccion final de (A, <)
que contiene a P .
Proposicion 11.3. Sea (A, <) un conjunto bien ordenado y X un subconjunto
de A. Entonces (X, < (X X)), al que tambien denotamos por (X, <X ) es un
conjunto bien ordenado.
Vamos a determinar a continuacion las formas de las secciones iniciales y finales
de los conjuntos bien ordenados. Recordemos que, en la tercera seccion, dados un
conjunto A y una relacion binaria R sobre A, dijimos que un subconjunto X de A
es una R-seccion inicial de A, si junto a un x X contiene al conjunto R x =
{ y A | (y, x) R } de todos los R-predecesores
S de x, i.e., si x X ( R x X ),
o, lo que es equivalente, ya que R1 [X] = xX R x, si R1 [X] X. Ademas,
denotamos por Sec(A, R) el conjunto de todas las R-secciones iniciales de A.
Convenimos, de ahora en adelante, que cuando hablemos de una secci on inicial
(A, <), entenderemos por ello, dependiendo del contexto, o un subconjunto X de
A tal que X sea una seccion inicial de (A, <), o un conjunto bien ordenado (X, )
tal que X A, X sea una seccion inicial de (A, <) y =<X . De modo que la
ampliacion, inesencial, del significado del concepto de seccion inicial, ha consistido
en denominar tambien as a los conjuntos bien ordenados que se obtienen a partir de
las secciones iniciales de un conjunto bien ordenado dado, cuando a tales secciones
iniciales se las dota del buen orden que se obtiene por restriccion del buen orden
dado.
Proposici on 11.4. Sea (A, <) un conjunto bien ordenado. Entonces el conjunto
de las secciones finales de (A, <) es { < a | a A }. Mientras que el conjunto de
las secciones iniciales es { < a | a A } {A}.
Demostraci on. Si X es una seccion inicial de A distinta de A, entonces el conjunto
A X tiene un primer elemento a. Se cumple que X =< a porque, por una parte,
si x < a, i.e., x < a, entonces x X, ya que si x 6 X, x A X, luego a x,
contradiccion, y, por otra, si x X, entonces x < a, ya que si x 6< a, a x,
luego, por ser X una seccion inicial de A, a X, contradiccion.
Definici on 11.6. Sean A y B dos conjuntos bien ordenados. Una aplicaci on es-
trictamente is
otona o, simplemente, un morfismo de A en B es un triplo ordenado
(A, f, B), abreviado como f y denotado por f : A / B, en el que f es una apli-
cacion de A en B tal que
x, y A ( x < y f (x) < f (y) ).
Proposici on 11.7. Sean A, B, C y D cuatro conjuntos bien ordenados y f : A / B,
g: B / C y h: C / D tres morfismos. Entonces:
1. Siendo idA = (A, idA , A), se cumple que idA : A / A es un endomorfis-
mo de A.
2. Siendo g f = (A, g f, C), se cumple que g f : A / C es un morfismo
de A en C.
TEORIA DE CONJUNTOS 173
3. (Asociatividad). El diagrama:
(h g) f
f /BK
A KK KK
KK KK
KK KKh g
KK g KK
KK KK
K
g f KKK KK
K% KK
C /% D
h ;
h (g f )
conmuta.
4. (Neutros). Los diagramas:
idA / f /B
AE A y AE
EE EE
EE EE
EE EE
E f EEEE idB
f EEEE E"
"
B B
conmutan.
Ejercicio. Sea A un conjunto. Demuestrese que hay una familia no vaca de
conjuntos bien ordenados (Ai , <i )iI y una familia de aplicaciones (i )iI con
i : A / Ai , para cada i I, tal que, para cada conjunto bien ordenado B y
cada aplicacion inyectiva f : A _ / B, existe un u nico ndice i I y un u
nico
morfismo fi : (Ai , <i ) / B tal que f = fi i .
Lo mismo que en otras situaciones, una vez disponemos de los objetos matemati-
cos de interes as como de los morfismos entre tales objetos matematicos y las
composiciones de estos u ltimos, en este caso los conjuntos bien ordenados, las apli-
caciones estrictamente isotonas entre ellos y las composiciones de ellas, definimos el
concepto de isomorfismo entre tales entidades, que, para el caso que nos ocupa, nos
permite definir, tal como hizo Cantor, una relacion de equivalencia sobre la clase
WO de los conjuntos bien ordenados, la de similaridad, y, por lo tanto, clasificar a
los conjuntos bien ordenados en clases de similaridad, siendo, desde este punto de
vista, dos conjuntos bien ordenados indistinguibles exactamente si tienen el mismo
tipo de similaridad, i.e., si son isomorfos. Puesto que, salvo para la clase de equi-
valencia de un conjunto bien ordenado especial, que hara respecto de los conjuntos
bien ordenados, el mismo papel que hace el conjunto vaco respecto de los conjun-
tos, las anteriores clases de similaridad son verdaderas clases, i.e., clases propias,
no las podremos usar como objetos matematicos legtimos en la teora de conjuntos
de Zermelo-Fraenkel-Skolem, que representen a los ordinales. Mas adelante, una
vez hayamos establecido el principio de la demostracion por induccion transfinita,
el de la definicion por recursion transfinita, introducido el esquema axiomatico de
reemplazo y estudiado algunas de las propiedades de los conjuntos bien ordenados,
definiremos a los ordinales, siguiendo a von Neumann, como ciertos representantes
canonicos de las anteriores clases de similaridad y ello de modo que, junto con los
morfismos entre ellos, constituyan un esqueleto de la clase WO y sus morfismos.
Definicion 11.9. Decimos que un morfismo f de un conjunto bien ordenado A en
otro B, es un isomorfismo si existe un morfismo g : B / A tal que g f = idA y
f g = idB .
Proposicion 11.10. Si f es un isomorfismo de A en B, entonces hay un u nico
morfismo g de B en A tal que g f = idA y f g = idB . Al u
nico morfismo de B
en A con tal propiedad lo denotamos por f 1 y lo denominamos el inverso de f .
Podramos creer que, as como un conjunto no subfinal, i.e., uno que no sea ni el
conjunto vaco ni un conjunto final, tiene mas de un automorfismo, un conjunto bien
ordenado A cuyo conjunto subyacente no sea subfinal, debera tener tambien mas
de un automorfismos, i.e., mas de un isomorfismo de A en s mismo. Mas adelante,
cuando dispongamos del principio de la demostracion por induccion transfinita, de-
mostraremos que los conjuntos bien ordenados son constructos rgidos, i.e., objetos
matematicos que no tienen mas automorfismos que el automorfismo identidad y,
ademas, que de un conjunto bien ordenado en otro hay a lo sumo un isomorfismo.
Ejercicio. Demuestrese que:
1. Un morfismo f de un conjunto bien ordenado A en otro B es un isomorfismo
si y solo si es una biyeccion.
2. Si f es un isomorfismo de A en B y g lo es de B en C, entonces g f lo es
de A en C y (g f )1 = f 1 g 1 .
3. Si f es un isomorfismo de A en B, entonces f 1 lo es de B en A y (f 1 )1 =
f.
Ejercicio. Demuestrese que un conjunto bien ordenado A nunca es isomorfo al
conjunto bien ordenado Sec(A), de sus secciones iniciales. Pero que siempre es
isomorfo a una seccion inicial estricta de Sec(A).
Proposici on 11.11. Si dos conjuntos bien ordenados A y B son isomorfos, me-
diante el isomorfismo f , entonces los conjuntos bien ordenados Sec(A) y Sec(B)
son isomorfos, mediante el isomorfismo Sec(f ) que a una secci on inicial estricta
< a de A le asigna la secci
on inicial estricta < f (a) de B y a la secci
on inicial A
TEORIA DE CONJUNTOS 175
la secci
on inicial B, y, para cada secci on inicial estricta < a de A, se cumple que
(< a, << a ) y (< f (a), << f (a) ) tambien son isomorfas. Adem as, el diagrama:
A / Sec(A)
A
f Sec(f )
B / Sec(B)
B
en el que A es el morfismo can
onico que a un a A le asigna la seccion inicial
< a y B el morfismo canonico que a un b B le asigna la secci
on inicial < b,
es conmutativo.
Demostraci
on.
Corolario 11.12. Sean A y B dos conjuntos bien ordenados. Si (< a, << a )
y (< b, << b ) son dos secciones iniciales de A y B, respectivamente, isomorfas,
entonces Sec(< a, << a ) y Sec(< b, << a ) tambien son isomorfos.
Corolario 11.13. Sean A y B dos conjuntos bien ordenados. Si una secci on inicial
de A no es isomorfa a ninguna secci on inicial de B, entonces ninguna secci on
inicial de A posterior a la primera, ser
a isomorfa a alguna secci
on inicial de B.
Proposicion 11.14. Si f es un morfismo del conjunto bien ordenado A en el
conjunto bien ordenado B, entonces f es inyectivo y, para cada x, y A, tenemos
olo si f (x) < f (y). Por consiguiente f s , la sobreyectivizada de f ,
que x < y si y s
es un isomorfismo de A en Im(f ).
Demostraci on. Si x 6= y, entonces, o bien x < y o bien y < x, y, en cualquiera de los
dos casos, f (x) 6= f (y). Por consiguiente f es inyectiva. Por otra parte, si x, y A
son tales que f (x) < f (y), entonces x < y, ya que en caso contrario, i.e., si x y,
entonces, f (x) f (y), contradiccion.
Teorema 11.15. Sea A un conjunto bien ordenado y X A. Si f es un isomor-
fismo de A en (X, <X ), entonces, para cada a A, a f (a), i.e., f es extensiva.
Demostraci on. Al ser f un isomorfismo de A en (X, <X ), la composicion de f y
de la inclusion canonica de (X, <X ) en A es una aplicacion estrictamente isotona
de A en s mismo. Si no se cumpliera que, para cada a A, a f (a), entonces
el subconjunto { a A | f (a) < a } de A no sera vaco, por lo tanto, ya que A es
un conjunto bien ordenado, tendra un mnimo a0 . Ahora bien, por ser inX f un
endomorfismo de A, tendramos que f (f (a0 )) < f (a0 ), con lo cual obtendramos
una contradiccion, ya que a0 no sera el mnimo de { a A | f (a) < a }. Luego,
para cada a A, a f (a).
A partir del teorema anterior vamos a obtener una serie de corolarios, debidos
a Cantor, que profundizan en la naturaleza de los conjuntos bien ordenados. Pero
antes establecemos el principio de la demostraci on por induccion transfinita, abre-
viado como PDIT, similar al de induccion finita, pero para conjuntos bien ordenados
arbitrarios, del que haremos uso en alguna de las proposiciones que siguen.
Teorema 11.16 (PDIT). Sea A = (A, <) un conjunto bien ordenado y X un
subconjunto de A. Entonces una condici
on suficiente para que X = A es que, para
cada a A, a X si < a X.
Demostraci
on. Supongamos que, para cada a A, a X si < a X. Si el
subconjunto X de A fuera distinto de A, tendramos que A X 6= , luego, por
ser A un conjunto bien ordenado, el subconjunto A X de A tendra un primer
176 JUAN CLIMENT
entonces (< x, << x ) es una seccion inicial estricta del conjunto bien ordenado
(< y, << y ), luego, en virtud de 11.19, dichas secciones iniciales no son isomorfas.
Del mismo modo, si y < x, (< y, << y ) es una seccion inicial estricta del conjunto
bien ordenado (< x, << x ), luego, en virtud de 11.19, dichas secciones iniciales no
son isomorfas.
Corolario 11.21. Sean A y B dos conjuntos bien ordenados. Entonces cada sec-
ci
on inicial de A es isomorfa a lo sumo a una secci
on inicial de B.
Demostraci on. Si una seccion inicial de A fuera isomorfa a dos secciones iniciales
distintas de B, estas dos u
ltimas seran isomorfas, en contra del corolario anterior.
Antes de considerar otros corolarios del teorema 11.15, establecemos otra carac-
terizacion de los conjuntos bien ordenados, a partir de la cual demostraremos otra
propiedad de los conjuntos bien ordenados.
Proposici on 11.22. Sea A un conjunto linealmente ordenado. Una condici
on ne-
cesaria y suficiente para que A sea un conjunto bien ordenado es que no exista
ninguna -sucesion (xn )nN en A tal que, para cada n N, xn > xn+1 .
Demostraci on. Si A es un conjunto bien ordenado, entonces no puede haber nin-
guna -sucesion (xn )nN en A tal que, para cada n N, xn > xn+1 . Porque si la
hubiera, el conjunto { xn | n N } no tendra un mnimo, contradiccion. Por otra
parte, si el conjunto linealmente ordenado A no fuera bien ordenado, entonces A
tendra una parte no vaca X sin primer elemento. Sea x0 X, arbitrario pero
fijo. Entonces, ya que X no tiene mnimo, para x0 , hay al menos un y X tal que
y < x0 . Sea x1 X tal que x1 < x0 . Supongamos, para n 1, elegidos x0 , . . . , xn1
en X de modo que x0 < x1 < . . . < xn1 . Entonces, por no tener X mnimo, hay
un y X tal que y < xn1 . Sea xn X tal que xn < xn1 . De este modo hemos
obtenido una -sucesion (xn )nN en A tal que, para cada n N, xn > xn+1 . Por
lo tanto, si no hay sucesiones de ese tipo en A, tenemos que A es un conjunto bien
ordenado.
Corolario 11.23. Un conjunto bien ordenado A no es isomorfo a ninguna parte,
bien ordenada por restricci
on, de ninguna sus secciones iniciales estrictas.
Demostraci on. Supongamos que el conjunto bien ordenado A sea isomorfo a (X, <X
), siendo X una parte de una seccion inicial estricta < a0 de A. Se cumple que
X 6=< a0 , porque en caso contrario A sera isomorfo a una de sus secciones ini-
ciales estrictas, que es una contradiccion. Entonces, por la proposicion 11.11, la
seccion inicial estricta (< a0 , << a0 ) de A es isomorfa con una u
nica una seccion
inicial estricta (<X a1 , <<X a1 de (X, <X ). Puesto que X < a0 , a1 < a0 y
<X a1 < a1 , esto u ltimo se cumple porque, en caso contrario, el conjunto bien
ordenado (< a0 , << a0 ) sera isomorfo a una de sus secciones iniciales, que es una
contradiccion. Esta claro que procediendo de este modo obtenemos una -sucesion
(an )nN en A tal que, para cada n N, an > an+1 , que es una contradiccion.
El corolario que sigue establece que los conjuntos bien ordenados son constructos
rgidos, i.e., que no tienen mas automorfismos que la identidad.
Corolario 11.24. Si A = (A, <) un conjunto bien ordenado, entonces idA es el
u
nico automorfismo de A.
Demostraci on. Sea f un automorfismo de A y x A. Entonces, ya que f y f 1 son
endomorfismos, en virtud de 11.18, x f (x) y x f 1 (x). Por lo tanto x f (x)
y f (x) f (f 1 (x)) = x, luego f (x) = x. Por consiguiente f = idA .
178 JUAN CLIMENT
Antes de demostrar que dos conjuntos bien ordenados son siempre ordinalmente
comparables, verificamos ciertas incompatibilidades para los conjuntos bien ordena-
dos y un lema sobre la union de familias de conjuntos bien ordenados que cumplan
ciertas condiciones.
Proposicion 11.30. Sea A y B dos conjuntos bien ordenados. Entonces las con-
diciones:
(a) A y B son isomorfos,
(b) A es isomorfo a una secci
on inicial estricta de B,
(c) B es isomorfo a una secci
on inicial estricta de A,
son dos a dos incompatibles.
Demostraci on. Es evidente que la primera y la segunda, as como la primera y la
tercera, son incompatibles. La segunda y la tercera tambien lo son, porque si A fuera
isomorfo a una seccion inicial estricta (< y, << y ) de B y B lo fuera a una seccion
inicial estricta (< x, << x ) de A, entonces existira una seccion inicial estricta
(< y 0 , << y0 ) de (< y, << y ) isomorfa a la seccion inicial estricta (< x, << x ) de
A. Luego B sera isomorfo a su seccion inicial estricta (< y 0 , << y0 ), que contradira
a la proposicion 11.19.
Damos otra demostracion del teorema del buen orden, basandonos en el lema de
Zorn, que recordemos afirma que si un conjunto ordenado no vaco es tal que todas
sus cadenas no vacas tienen una cota superior, entonces tal conjunto ordenado
tiene un maximal.
El teorema del buen orden de Zermelo permite, en particular, afirmar que sobre
el conjunto de los n umeros reales hay un buen orden, pero nadie ha podido, ni
podra jamas, construir un buen orden sobre tal conjunto. La razon de ello estriba en
que Feferman demostro que incluso si se asume, ademas de los axiomas de Zermelo-
Frenkel-Skolem y el axioma de eleccion, la hipotesis generalizada del contnuo, no se
podra llegar a establecer ninguna definicion explcita de un buen orden del conjunto
de los numeros reales, i.e., demostro que es consistente con los axiomas de Zermelo-
Frenkel-Skolem, junto con el axioma de eleccion y la hipotesis generalizada del
contnuo, que no hay ning un buen orden que sea definible sobre el contnuo. Esto
pone de manifiesto la diferencia radical que hay entre dos modos de concebir la
existencia de los objetos matematicos, por una parte la Hilbertiana, que sostiene
que el existir un objeto, sujeto a cumplir una condicion, equivale a que ello no
conduzca a la obtencion de una contradiccion, y la Brouweriana, que afirma que
tal existir significa, cuanto menos, la posibilidad de la construccion, en principio,
de un objeto con la propiedad en cuestion. Cada uno de los dos extremos, como no
poda ser menos, tiene su correspondiente entorno, siendo ambos entornos disjuntos,
constituido por los diferentes puntos de vista sobre el existir que necesariamente se
acumulan alrededor de cada uno de los dos polos, y difiriendo, en la mayor parte
de las ocasiones, tan poco de los mismos que parece un tanto artificioso sostener
que haya una veradera diferencia.
Recordemos que, en virtud del teorema de Cantor-Bernstein, una condicion su-
ficiente para que dos conjuntos sean isomorfos, i.e., cardinalmente indistinguibles,
es que cada uno de ellos domine al otro. Pero quedo pendiente el problema de si
dos conjuntos arbitrarios son o no cardinalmente comparables, i.e., si uno domi-
na al otro o el otro al uno. El anterior teorema de Zermelo soluciona el problema
afirmativamente, de manera que la relacion de dominacion entre conjuntos es un
preorden lineal.
Demostracion. Sea < un buen orden sobre A y <0 un buen orden sobre A0 . Entonces
(A, <) 4 (A0 , <0 ) o (A0 , <0 ) 4 (A, <). Por lo tanto A A0 o A0 A.
Presentamos otra demostracion del corolario anterior, haciendo uso del metodo
de la Zornificacion, i.e., del metodo consistente en definir, para el problema de que se
trate, un conjunto ordenado no vaco constituido por todas las entidades intermedias
adecuadas para el problema en cuestion y demostrar que tal conjunto ordenado no
vaco es tal que, para cada cadena no vaca de tales entidades intermedias, siempre
existe otra entidad intermedia que es una mejor aproximacion a la solucion del
problema que cada una de las que forman la cadena.
TEORIA DE CONJUNTOS 183
de alg
un modo esten relacionados con los buenos ordenes dados. Para ello empeza-
mos considerando el producto lexicografico de una familia de conjuntos linealmente
ordenados, relativa a un conjunto de ndices bien ordenado.
Definici
on 11.39. Sea I un conjunto bien ordenado y (Ai )iI una familia de
conjuntos linealmente ordenados. Entonces el producto lexicogr afico de (Ai )iI ,
Qlex Q
denotado
Q por iI A i , es el par ( Q
iI A i , < lex ), en el que < lex es la relacion binaria
sobre iI Ai definida, para x, y iI Ai , como:
Dif(x, y) 6= y si i = min(Dif(x, y)),
x <lex y si y solo si
entonces xi < yi ,
siendo Dif(x, y) = { i I | xi 6= yi } el diferenciador de x e y.
Proposici on 11.40. Sea I un conjunto bien ordenado y (Ai )iI una familia de
Qlex
conjuntos linealmente ordenados. Entonces iI Ai es un conjunto linealmente or-
denado.
Demostraci
on.
El origen del termino lexicografico, en el contexto anterior, proviene del caso
en que siendo A = { a, b, . . . y, z } el conjunto formado por las letras del alfabeto
y estando este bien ordenado por el orden alfabetico, para un n umero natural no
nulo n, las palabras de longitud n, con letras en tal alfabeto, se bien ordenan, en
el, hipotetico, diccionariode las palabras de longitud n, como:
0 < 0 , o
0 = 0 y 1 < 1 , o
(i )in < (i )in si y solo si
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . , o
i n 1, i = i y n1 < n1 .
on 11.41. Sea (Ai )in una familia finita de conjuntos bien ordenados.
Proposici
Qlex
Entonces in Ai es un conjunto bien ordenado.
Demostraci on. Para n = 0 o 1, la proposicion es evidente. Sea n = 2 y D una parte
no vaca de A0 A1 . Entonces el par ordenado (x0 , x1 ), en el que x0 es el mnimo
de la parte no vaca { a A0 | b A1 ( (a, b) D ) } de A0 , y x1 el mnimo de la
parte no vaca { b A1 | (x0 , b) D } de A1 , es tal que (x0 , x1 ) (a, b), para cada
(a, b) A0 A1 .
Supongamos
Q la proposicion para n 2 y sea D una parte no vaca del producto
cartesiano in+1 Ai . Entonces la n-tupla (x0 , . . . , xn1 , xn ), en la que (x0 , . . . , xn1 )
es el mnimo de la parte no vaca
Q
{ a in Ai | b An ( (a, b) D ) }
Q
de in Ai , y xn el mnimo de la parte no vaca
{ b An | ((x0 , . . . , xn1 ), b) D }
Q
de An , es tal que, para cada a in+1 Ai , (x0 , . . . , xn ) (a0 , . . . , an1 ).
Para la familia infinita de conjuntos bien ordenados ordenados (An )nN , con
Qlex
An = N, para cada n QN, tenemos que nN An no es un conjunto bien ordenado,
porque en el conjunto nN An hay una -sucesion estrictamente decreciente:
(1, 0, 0, 0, . . .) > (0, 1, 0, 0, . . .) > (0, 0, 1, 0, . . .) > . . . .
Junto al producto lexicografico de una familia finita de conjuntos bien ordena-
dos, en el que el buen orden es el de las primeras diferencias, tenemos el producto
antilexicografico de las mismas, en el que el buen orden es el de las u
ltimas diferen-
cias.
TEORIA DE CONJUNTOS 185
Definici
on 11.42. Sea (Ai )in una familia finita de conjuntos bien ordenados.
Qalex
Entonces
Q el producto antilexicogr afico de (Ai )in , denotado Q por in Ai , es el par
( in Q
Ai , <alex ), en el que <alex es la relacion binaria sobre in Ai definida, para
x, y in Ai , como:
xn1 < yn1 , o
xn1 = yn1 y xn2 < yn2 , o
x <alex y si y solo si
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . , o
i n 1, xi+1 = yi+1 y x0 < y0 .
11.3. Igualadores de morfismos.
Proposici on 11.43. Sean A y B dos conjuntos bien ordenados y f, g : A /B
dos morfismos. Entonces existe un par ordenado (Eq(f, g), eq(f, g)), el igualador
de f y g, en el que Eq(f, g) es un conjunto bien ordenado y eq(f, g) un morfismo
de Eq(f, g) en A, que tiene las siguientes propiedades:
1. f eq(f, g) = g eq(f, g).
2. (Propiedad universal del igualador) Para cualquier conjunto bien ordenado
X y cada morfismo h : X / A, si f h = g h, entonces hay un u
nico
morfismo t : X / Eq(f, g) tal que eq(f, g) t = h.
La situaci
on descrita por las condiciones anteriores la expresamos diagram
aticamente
como:
X II
II
II
IIh
t II
II
II f
$ /
Eq(f, g) /A / B.
eq(f, g) g
Demostraci on. Sea Eq(f, g) = (Eq(f, g), < Eq(f, g)), en el que Eq(f, g) es el igua-
lador de las aplicaciones f y g, i.e., el subconjunto de A definido como:
Eq(f, g) = { a A | f (a) = g(a) },
y < Eq(f, g) la restriccion del buen orden sobre A a la parte Eq(f, g). Ademas,
sea eq(f, g) la inclusion canonica de Eq(f, g) en A. Entonces es evidente que f
eq(f, g) = g eq(f, g).
Por otra parte, si X es un conjunto bien ordenado y h : X / A un morfismo
tal que f h = g h, entonces Im(h) Eq(f, g), luego, por la propiedad universal
del subconjunto, hay una u nica aplicacion t : X / Eq(f, g), definida como:
X / Eq(f, g)
t
x 7 h(x),
tal que eq(f, g) t = h. Ademas, t es un morfismo de X en Eq(f, g) y el u
nico con
la propiedad de que eq(f, g) t = h.
eq(f, g)
Eq(f, g) /A
Eq(u, v) u
Eq(f 0 , g 0 ) / A0
eq(f 0 , g 0 )
conmuta.
Demostraci
on.
11.4. Productos fibrados de morfismos. Nos proponemos demostrar a conti-
nuacion que existe el producto fibrado de dos morfismos de conjuntos bien ordenados
con el mismo codominio.
Proposici on 11.46. Sean f : A / C y g: B / C dos morfismos de conjuntos
bien ordenados con el mismo codominio. Entonces existe un par ordenado (A C
B, (p0 , p1 )), el producto fibrado de A y B sobre C relativo a f y g, en el que
A C B es un conjunto bien ordenado, p0 un morfismo de A C B en A y p1 un
morfismo de A C B en B, que tiene las siguientes propiedades:
TEORIA DE CONJUNTOS 187
1. El diagrama:
p1 /B
A C B
p0 g
A /C
f
conmuta.
2. (Propiedad universal del producto fibrado) Para cada conjunto bien ordena-
do X y cualesquiera morfismos u : X / A y v: X / B si el diagrama:
v /B
X
u g
A /C
f
p0 g
A /C
f
conmuta.
Por ultimo, si X es un conjunto bien ordenado y u : X / A, v : X / B dos
morfismos tales que el diagrama:
v /B
X
u g
A /C
f
conmuta, entonces, Q por la propiedad universal del producto, hay una u nica aplica-
ci
on hu, vi : X / B tal que prA hu, vi = u y prB hu, vi = v y, por cumplirse
que f u = g v, tenemos que Im(hu, vi) A C B, luego, por la propiedad
universal del subconjunto, hay una u nica aplicacion t de X en A C B tal que
inAC B t = hu, vi. Ademas, t es un morfismo y se cumple que los dos triangulos
del diagrama:
X FF
FF v
FF
F
F
t FF
FF
FF
" p1 #
A C B /B
u
p0
"
A
conmutan. Dejamos, como ejercicio, la demostracion de que t es el u
nico morfismo
de X en A C B con las propiedades indicadas.
Cuando digamos de un diagrama de la forma:
v /B
X
u g
A /C
f
TEORIA DE CONJUNTOS 189
1. El diagrama:
q /B
E
p g
A /C
f
conmuta.
2. Para cualesquiera morfismos u : X / A y v: X / B, desde un conjunto
bien ordenado X, si el diagrama:
v /B
X
u g
A /C
f
X@
@@ v
@@
@
t@@@
@@
@ q
E /B
u
p
A
conmutan.
190 JUAN CLIMENT
Entonces hay un u
nico isomorfismo t : E / A C B tal que los dos tri
angulos del
diagrama:
E FF
FF q
FF
F
tFFF
FF
FF
" p1 #
A C B /B
p
p0
"
A
conmutan.
Demostraci
on.
` `
y < la relacion binaria sobre iI Ai definida, para cada (x, i), (y, j) iI Ai ,
como:
(x, i) < (y, j) si y solo si ( i = j y x <i y ) o i < j,
siendo <i el buen orden sobre ` Ai .
Entonces se cumple que iI A `i es un conjunto bien ordenado y que, para cada
i I, ini , la aplicacion de Ai en iI Ai definida como:
`
Ai /
ini iI Ai
x 7 (x, i),
`
es un morfismo de Ai en iI Ai .
Por u ltimo, dado un par ordenado (X, (fi )iI ), en el que X es un conjunto ` bien
ordenado y, para cada i I, fi : Ai / X, sea [fi ] la aplicaci
o n de
iI iI i en
A
X definida como: `
/ X
[fi ]iI iI Ai
(x, i) 7 fi (x).
`
Es evidente que, para cada i I, [fi ]iI es un morfismo de iI Ai en X y que
[fi ]`
iI ini = fi . Con ello queda demostrada la existencia de al menos un morfismo
de iI Ai en X con la propiedad indicada. Dejamos, como ejercicio, la demostra-
cion de la unicidad.
Proposicion 11.50. Sea I un conjunto bien ordenado y (Ai )iI una familia de
conjuntos bien ordenados. Entonces
1. Para cualesquiera i, j I, si i 6= j, entonces el diagrama:
Aj
/ Aj
Ai inj
`
Ai / iI Ai
ini
es cartesiano. `
2. Para cada morfismo f : X /
iI Ai , se cumple que el par (X, (qi )iI ),
siendo, para cada i I, qi el morfismo de Ai `iI Ai X en X que junto
al morfismo pi de Ai `iI Ai X en Xi , dan lugar al producto fibrado
qi /X
Ai `iI Ai X
pi f
`
Ai / iI Ai
inAi
es un coproducto de la familia (Ai `iI Ai X)iI
Demostraci
on.
Ejercicio. Demuestrese que no existe el coproducto de todos los conjuntos bien
ordenados.
En la Proposicion 11.49 hemos demostrado, para una familia de conjuntos bien
ordenados, la existencia de al menos un par ordenado, formado por un conjunto
bien ordenado y una familia de morfismos desde cada uno de los conjuntos bien
ordenados de la familia dada hasta el conjunto bien ordenado, sujeto a cumplir una
cierta propiedad universal; pero, no hemos afirmado que tal par sea absolutamente
192 JUAN CLIMENT
S
u
nico. De hecho, el conjunto iI {i} Ai junto con el buen orden obvio y las inclu-
siones evidentes, tiene, respecto deSlos conjuntos bien ordenados y los morfismos,
la misma propiedad universal que iI Ai {i} junto con el buen orden anterior y
sus inclusiones.
Demostraremos en lo que sigue, entre otras cosas, que el par ordenado de la
proposicion anterior, es u
nico salvo isomorfismo.
Proposici on 11.51. Sea I un conjunto bien ordenado y (Ai )iI una familia de
conjuntos bien ordenados. Entonces tenemos que:
`
1. Para cualesquiera morfismos f, g : iI Ai / X, con X bien ordenado,
si, para cada i I, el diagrama:
f ini
ini ` f /!
Ai / iI Ai /= X
g
g ini
ini `
Ai D / iI Ai
DD
DD uu:
u
DD uu
D uuu
fi DDD u
uu t
D" u5uu
X
Demostraci
on.
Corolario 11.52. Sea I un conjunto bien ordenado y (Ai )iI una familia de con-
juntos bien ordenados. Si un par ordenado (C, (qi )iI ), en el que C es un conjunto
bien ordenado y, para cada i I, qi : Ai / C, tiene la propiedad de que para cada
par ordenado (X, (fi )iI ), en el que X es un conjunto bien ordenado y, para cada
i I, fi : Ai / X, hay un u nico morfismo h : C / X tal que, para cada i I,
el diagrama:
qi /C
Ai E
EE
EE
EE
E h
fi EEE
E"
X
TEORIA DE CONJUNTOS 193
`
conmuta, entonces hay un u
nico isomorfismo t de iI Ai en C tal que, para cada
i I, el diagrama:
ini `
Ai I / iI Ai
II
II
II
I t
qi IIII
II
$
C
conmuta.
Demostraci
on.
Proposici
` on 11.53. Sean I, y (J ) conjuntos bien ordenados con I =
J y (Ai )iI una familia de conjuntos linealmente ordenados. Entonces se
Qlex Qlex Qlex
cumple que iJ Ai = iI Ai .
Demostraci
on.
Proposici on 11.54. Sea I un conjunto bien ordenado y (Ai )iI una familia de
conjuntos bien ordenados. Entonces:
`
1. Si I = , entonces iI Ai = (, ), i.e., el coproducto de la familia vaca
de conjuntos bien ordenados es el conjunto bien ordenado inicial.
2. Si (Ai )iI es tal que, para cada i, j I, Ai = Aj , y denotamos por A el
valor com un, entonces
` alex
iI Ai = A I,
y al unico morfismo de A alex I en A, determinado por (idA )iI , lo de-
nominamos el morfismo codiagonal de A alex I en A y lo denotamos por
cdgI,A ; ademas, si A 6= , entonces cdgI,A es un morfismo sobreyectivo.
As pues, para cada i I, el diagrama:
ini / A alex I
A JJ
JJ
JJ
JJ
JJ cdgI,A
idA JJJJ _
J$
A
conmuta.
3. Si I es un conjunto final y su unico miembro es i, entonces
`
iI Ai = Ai .
`
4. Si para cada i I, Ai es vaco, entonces iI Ai es vaco.
5. Si (Ai )iI es una familia de conjuntos bien ordenados dos a dos disjuntos,
entonces
` S Ai .
iI Ai = iI
Demostraci
on.
Para establecer la proposicion que sigue, convenimos en denotar por (Aj )jJ
la restriccion de (Ai )iI a J, si J I, que no es mas que la composicion de inJ
y de (Ai )iI . Ademas, usaremos inj para denotar la proyeccion canonica j-esima,
del coproducto de cualquier familia de conjuntos para la cual se cumpla que j sea
miembro del conjunto de ndices de la misma.
Proposicion 11.55. Sea I un conjunto bien ordenado, (Ai )iI una familia de
conjuntos bien ordenados y J, K, L I tales que K J y L K. Entonces:
194 JUAN CLIMENT
inj `
Aj I / jJ Aj
II
II
II
II inJ,J
inj IIII
`$
jJ Aj
conmuta.
2. inL,J = inK,J inL,K , i.e., el diagrama:
` inL,K `
lL Al / kK Ak
LLL
LLL
LLL inK,J
L
inL,J LLLL
`&
jJ Aj
conmuta.
Demostraci
on.
Proposici on 11.56. Sean I un conjunto bien ordenado, (Ai )iI y (Bi )iI dos
familias de conjuntos bien ordenados y (fi )iI una familia de morfismos en la que,
para / Bi . Entonces hay un u
` cada i I, fi : Ai nico morfismo, denotado
` por
iI f i y denominado el coproducto
` de (fi )iI , del conjunto bien ordenado iI Ai
en el conjunto bien ordenado iI Bi tal que, para cada i I, el diagrama:
ini `
Ai / iI Ai
`
fi iI fi
`
Bi / iI Bi
ini
conmuta.
Demostraci
on.
Proposici on 11.57. Sean I un conjunto bien ordenado, (Ai )iI , (Bi )iI y (Ci )iI
tres familias de conjuntos bien ordenados y (fi )iI y (gi )iI dos familias de mor-
fismos tales que, para cada i I, fi : Ai / Bi y gi : Bi / Ci . Entonces:
` `
1. iI idAi = id iI Ai .
` ` `
2. iI gi iI fi = iI gi fi .
TEORIA DE CONJUNTOS 195
Demostraci
on.
Proposici on 11.58. Sean I, J, K tres conjuntos bien ordenados, (Ai )iI , (Bj )jJ
y (Ck )kK tres familias de conjuntos bien ordenados y (fj )jJ y`(gk )kK dos fami-
lias de morfismos tales que fj : Bj / ` Ai y gk : Ck /
iI jJ Bj , para cada
j J y cada k K, respectivamente. Entonces el u nico morfismo [[fj ]jJ gk ]kK
` `
del conjunto bien ordenado kK Ck en el conjunto bien ordenado iI Ai tal que,
para cada k K, el diagrama:
ink `
Ck J / kK Ck
JJ
JJ
JJ
JJ [[fj ]jJ gk ]kK
[fj ]jJ gk JJ
JJ
`$
iI Ai
conmuta, coincide
` con la composici
on del u
nico morfismo
` [gk ]kK del conjunto bien
ordenado kK Ck en el conjunto bien ordenado jJ Bj y del u nico morfismo
` `
[fj ]jJ del conjunto bien ordenado jJ Bj en el conjunto bien ordenado iI Ai
tales que, resp., para cada k K y cada j J, los dos tri
angulos del diagrama:
ink `
Ck I / kK Ck
II
II
II
II [gk ]kK
gk IIII
I$
inj `
Bj I / jJ Bj
II
II
II
II [fj ]jJ
fj IIII
I
`$
iI Ai
Demostraci
on.
Demostraci
on.
conmuta.
A los morfismos as,s0 : As / As0 los denominamos los morfismos de transici
on
del sistema inductivo d.s. de conjuntos linealmente ordenados (S, A). En el caso
de que los As sean conjuntos bien ordenados, hablaremos, como es natural, de un
sistema inductivo dirigido superiormente de conjuntos bien ordenados.
as,s0
As E / As 0
EE xx
EE xx
EE xx
EE x
ls EE xx ls0
E" x| xx
L
conmuta, entonces hay un u
nico morfismo u : lim(S, A) / L tal que, para
cada s S, el diagrama:
as / lim(S, A)
As J
JJ
JJ
JJ
JJ u
J
ls JJJ
JJ
%
L
conmuta.
La situaci
on descrita por las condiciones anteriores la expresamos diagram
aticamente
como:
as,s0
As J / As 0
JJ tt
JJ t
JJ tt
JJ
J ttt
as JJ t
J$ tt as0
ytt
lim(S, A)
ls ls0
u
$ z
L
198 JUAN CLIMENT
Demostraci on. Sea lim(S, A) el par (lim(S, A), <), en el que lim(S, A) es el con-
junto subyacente del lmite ` inductivo del sistema inductivo d.s. de conjuntos (S, A),
i.e., el conjunto cociente sS As /R(S,A) , del coproducto de la familia ` de conjuntos
(As )sS , entre R(S,A)` , que es la relaci
o n de equivalencia sobre sS As definida,
para (x, s), (x0 , s0 ) sS As , como (x, s) (x0 , s0 ) (mod R(S,A) ) si y solo si hay
un s00 S tal que s, s0 s00 y as,s00 (x) = as0 ,s00 (x0 )), y < la relacion binaria sobre
lim(S, A) definida, para cualesquiera [(x, s)], [(x0 , s0 )] lim(S, A), como:
[(x, s)] < [(x0 , s0 )] si y solo si as,s00 (x) <s00 as0 ,s00 (x0 ),
siendo s00 cualquier elemento de S posterior a s y a s0 y <s00 el orden lineal sobre
As00 . Entonces, siendo, para cada s S, as la aplicacion obtenida componiendo
las aplicaciones ins y prR(S,A) , se cumple que el par ordenado (lim(S, A), (as )sS )
cumple las condiciones de la proposicion. Ademas, para cada (s, s0 ) , tenemos que
as0 as,s0 = as . En efecto, si x As , entonces (x, s) (as,s0 (x), s0 ) (mod R(S,A) ),
luego as0 (as,s0 (x)) = as (x), por consiguiente as0 as,s0 = as , i.e., el diagrama:
as,s0
As J / As 0
JJ tt
JJ tt
JJ tt
JJ t
as JJJ tt
J$ tt as0
ytt
lim(S, A)
conmuta.
Por ultimo, si un par ordenado (L, (ls )sS ), arbitrario, pero fijo, en el que, para
cada s S, ls : As / L, es tal que, para cada (s, s0 ) , el diagrama:
as,s0
As E / As 0
EE xx
EE xx
EE xx
EE x
ls EE xx ls0
E" |xxx
L
conmuta, entonces, en virtud de la propiedad universal del coproducto, hay un
`
u
[
nico morfismo [ls ]sS : (As )sS / L tal que el diagrama:
inAs `
As MM / (As | s S)
MMM
MMM
MMM [
[ls ]sS
ls MMMM
MM&
L
conmuta. Ademas, para cada (s, s0 ) , tenemos que:
[ [
[ls ]sS f ins,s0 = [ls ]sS ins
= ls
= ls0 as,s0
[
= [ls ]sS ins0 as,s0
[
= [ls ]sS g ins,s0 .
[ [
Luego [ls ]sS f = [ls ]sS g, por lo tanto, en virtud de la propiedad universal del
coigualador, podemos afirmar que existe un u nico morfismo u : lim(S, A) / L tal
TEORIA DE CONJUNTOS 199
que el diagrama:
` ceq(f, g)
(As | s S) / lim(S, A)
OOO
OOO
OOO
OOO u
[
[ls ]sS OOO
OOO
'
L
conmuta.
Ahora bien, puesto que, para cada s S, el diagrama:
As MM
ins / `(As | s S)
MMM
MMM
MMM [
[ls ]sS
ls MMMM
MM&
L
conmuta, tambien, para cada s S, el diagrama:
as
ins ` ceq(f, g) $
As M / (As | s S) / lim(S, A)
MMM
MMM
MMM [
M [ls ]sS
ls MMMM
MM& u
Lq
conmuta. Por consiguiente hay al menos un morfismo u de lim(S, A) en L tal que,
para cada s S, el diagrama:
as / lim(S, A)
As J
JJ
JJ
JJ
JJ u
J
ls JJJ
JJ
%
L
conmuta. Dejamos, como ejercicio, la demostracion de que hay a lo sumo un mor-
fismo u de lim(S, A) en L tal que, para cada s S, u as = ls .
f as
as f /
lim(S, A) / As /> Y
g
g as
Demostraci
on.
Proposicion 11.67. Sea (S, A) un sistema inductivo d.s. de conjuntos linealmente
ordenados y (L, (ls )sS ) tal que, para cada s S, ls : As / L sea un morfismo y,
0
para cada (s, s ) , el diagrama:
as,s0
As E / As 0
EE xx
EE xx
EE xx
EE x
ls EE xx ls0
E" |xxx
L
conmute. Entonces para el u
nico morfismo u : lim(S, A) / L tal que, para cada
s S, el diagrama:
as / lim(S, A)
As J
JJ
JJ
JJ
JJ u
J
ls JJJ
JJ
%
L
conmuta, tenemos que
S una condici o n necesaria y suficiente para que u sea sobre-
yectivo es que L = sS Im(ls ).
Demostraci on. Puesto que un morfismo es sobreyectivo si y solo si su imagen
coincide con su codominio, u sera sobreyectivo precisamente si u[lim(S, A)] = L.
S
Ahora bien, lim(S, A) = sS Im(as ), luego u sera sobreyectivo precisamente si
S S
u[ sS Im(as )] = L, i.e., si y solo si sS Im(u as ) = L, pero,
S para cada s S,
u as = ls , luego u sera sobreyectivo cuando y solo cuando sS Im(ls ) = L.
Proposici on 11.68. Sea (S, A) un sistema inductivo d.s. de conjuntos linealmente
ordenados. Una condici on suficiente para que as : As / lim(S, A) sea sobreyecti-
0
vo, sea cual sea s S, es que, para cada (s, s ) , se cumpla que as,s0 : As / As 0
sea sobreyectivo.
Demostraci
on.
Corolario 11.69. Sea (S, A) un sistema inductivo d.s. de conjuntos linealmente
ordenados. Una condicion suficiente para que as : As / lim(S, A) sea un iso-
0
morfismo, sea cual sea s S, es que, para cada (s, s ) , as,s0 : As / As0 lo
sea.
Demostraci
on.
Como una aplicacion del concepto de lmite inductivo de un sistema inductivo
d.s. de conjuntos linealmente ordenados, consideramos a continuacion el concepto
de ultraproducto de una familia de conjuntos linealmente ordenados relativo a un
ultrafiltro, sobre el conjunto de ndices de la familia en cuestion.
Proposici on 11.70. Sea I un conjunto, F un ultrafiltro sobre I, (Ai )iI una
familia de conjuntos linealmente ordenados y la relaci
on sobre F definida como
= { (J, K) F 2 | K J }.
Q
Entonces jJ Aj JF , (pJ,K )(J,K) , o ((AJ )JF , (pJ,K )(J,K) ), en el que,
para cadaQJ F, AJ = (AJ , <J ) es el conjunto Q ordenado cuyo conjunto subya-
cente es jJ Aj y en el que, para cada x, y jJ Aj , x <J y si y s olo si,
para cada i J, xi <i yi , es un sistema inductivo d.s. de conjuntos ordenados. Al
TEORIA DE CONJUNTOS 203
en el que la relaci
on estructural < es la definida como:
Q 2
<= { (x, y) iI Ai | { i I | ( xi <i yi ) } F },
Q
y siendo F la equivalencia sobre iI Ai definida como:
Q 2
F = { (x, y) iI Ai | Eq(x, y) F }.
En particular, si, para cada i I, Ai = A, entonces al lmite inductivo del sistema
inductivo ((AJ )JF , (pJ,K )(J,K) ), lo denominamos la ultrapotencia de (A)iI
relativa al ultrafiltro F sobre I y al conjunto ordenado subyacente lo denotamos por
AI /F.
Proposici
on 11.71. Sea I un conjunto y F un ultrafiltro sobre I. Entonces
UprI,F
LOI / LO
Q
(Ai )iI iI Ai /F
Q
(fi )iI 7 iI fi /F
Q
(Bi )iI iI Bi /F,
es un functor, el functor de formaci
on de ultraproductos de conjuntos linealmente
ordenados, para el par (I, F).
Del mismo modo se define el functor de formaci
on de ultrapotencias de conjuntos
linealmente ordenados, para el par (I, F)
UpwI,F
LO / LO
A AI /F
f 7 f I /F
B BI /F.
Ademas, hay una transformacion natural I,F del functor identidad de LO en el
functor de formaci
on de ultrapotencias UpwI,F
Demostraci
on.
Lema 11.72. Sea I un conjunto, K J I y F un ultrafiltro sobre I. Si J F,
entonces
FJ = { J F | F F },
es un ultrafiltro sobre J. Adem
as, FJ F y si K F, entonces K FJ y
(FJ)K = FK.
Demostraci
on.
204 JUAN CLIMENT
prI,J uJ
Q prF J Q
prI,K jJ Aj / jJ Aj /FJ uK
prJ,K uJ,K
Q% prF K Q y
kK Ak / kK Ak /FK
conmuta. Adem
as, los tres morfismos son isomorfismos.
11.8. Morfismos inductivos entre sistemas inductivos.
Definici
on 11.74. Si (S, A) y (T, B) son dos sistemas inductivos d.s. de conjuntos
linealmente ordenados, un morfismo inductivo de (S, A) en (T, B) es un triplo
ordenado ((S, A), , (T, B)), abreviado como y denotado por
: (S, A) / (T, B),
as,s0 b(s),(s0 )
As 0 / B(s0 )
f s0
conmuta. Ademas, (S, B ) es el sistema inductivo d.s. de conjuntos linealmente
ordenados para el que la coordenada s-esima de la primera componente de B es
B(s) , para cada s S, y la coordenada (s, s0 )-esima de la segunda componente de
B es b(s),(s0 ) , para cada (s, s0 ) .
Proposicion 11.75.
1. Si (S, A) es un sistema inductivo d.s. de conjuntos linealmente ordenados,
entonces
id(S,A) = (idS , idA ),
siendo idA = (idAs | s S), es un endomorfismo inductivo de (S, A), el
morfismo inductivo identidad de (S, A).
2. Si (S, A), (T, B) y (U, C) son tres sistemas inductivos d.s. de conjuntos
linealmente ordenados, = (, f ) un morfismo inductivo del primero en el
segundo y = (, g) uno del segundo en el tercero, entonces
= ( , g f ),
siendo g la familia indexada por S, cuya coordenada s-esima es:
g(s) : B(s) / C((s)) ,
TEORIA DE CONJUNTOS 205
as,s0 c((s)),((s0 ))
As 0 / C((s0 ))
g(s0 ) fs0
tambien conmuta.
Proposicion 11.76. Sea un morfismo inductivo de (S, A) en (T, B), uno de
(T, B) en (U, C) y uno de (U, C) en (V, D). Entonces:
1. (Asociatividad). El diagrama:
( )
/ (T, B)
(S, A)
JJ JJ
JJ JJ
JJ JJ
JJ JJ
JJ JJ
JJJ JJ
% J%
(U, C) / (V, D)
:
( )
conmuta.
2. (Neutros). Los diagramas:
id(S,A)
(S, A) / (S, A) y (S, A) / (T, B)
JJ JJ
JJ JJ
JJ JJ
JJ JJ id(T,B)
J J
JJJJ JJJJ
% %
(T, B) (T, B)
206 JUAN CLIMENT
conmutan.
Demostraci
on.
11.9. Lmites inductivos de los morfismos inductivos.
Proposicion 11.77. Si : (S, A) / (T, B) es un morfismo inductivo, entonces
hay un u
nico morfismo
lim : lim(S, A) / lim(T, B),
denominado el lmite inductivo de tal que, para cada s S, el diagrama:
as / lim(S, A)
As
fs lim
B(s) / lim(T, B)
b(s)
conmuta. Adem
as, el diagrama:
as / lim(S, A)
As
`
fs f
B(s) / lim(S, B )
lim
KKKb(s)
KKK
KKK i
K
b(s) KKKK
% y
lim(T, B)
conmuta, siendo i el u
nico morfismo de lim(S, B ) en lim(T, B) tal que el diagra-
ma:
` prC(S,B )
(B(s) | s S) / lim(S, B )
in i
`
(Bt | t T ) / lim(T, B)
prC(T,B)
`
conmuta, y, denot andola por el mismo smbolo, f el u nico morfismo de lim(S, A)
en lim(S, B ) tal que el diagrama:
` prC(S,A)
(As | s S) / lim(S, A)
` `
f f
`
(B(s) | s S) / lim(S, B )
prC(S,B )
conmuta. As que
`
lim = i f.
Demostraci
on.
TEORIA DE CONJUNTOS 207
lim lim (
lim(S, A) / lim(T, B) / lim(U, C)
GGG u
: III ; J
G u u I ww
` uu ` ww
f i gI i
GGG
G# uu uu III w ww
u lim(, g ) $ w
lim(S, B ) / lim(T, C )
III :
I u uuu
` u
` g i
III uu
(g f ) I$ uuu i
- lim(S, C )
conmuta.
Demostraci
on.
Proposicion 11.79. Sea : (S, A) / (T, B) un morfismo inductivo. Si hay un
subconjunto S 0 de S que es cofinal en S, [S 0 ] es cofinal en T y, para cada s0 S 0 ,
fs0 : As0 / B(s0 ) es un isomorfismo, entonces lim es un isomorfismo.
Demostracion.
Antes de enunciar un corolario de la proposicion anterior, convenimos que si
(S, A) es un sistema inductivo d.s. de conjuntos linealmente ordenados y S 0 un
subconjunto de S tal que, siendo S0 el par ordenado (S 0 , (S 0 S 0 )), S0 es,
a su vez, un conjunto preordenado dirigido superiormente, entonces (S, A)S 0 , la
on de (S, A) a S0 , denota el sistema inductivo d.s. de conjuntos linealmente
restricci
ordenados cuya primera coordenada es (S 0 , (S 0 S 0 )) y cuya segunda coordenada
tiene como primera componente la restriccion de (As | s S) a S 0 y como segunda
componente la restriccion de (as,s0 | (s, s0 ) ) a (S 0 S 0 ).
Corolario 11.80. Si (S, A) es un sistema inductivo d.s. de conjuntos linealmente
ordenados y S 0 es un subconjunto cofinal de S, con S dirigido superiormente, enton-
ces para el morfismo inductivo can onico = (inS0 , (idAs0 | s0 S 0 )) de (S, A)S 0
en (S, A) se cumple que lim es un isomorfismo.
Demostraci on.
todos los elementos de A que no sean ni el primer elemento de (A, <) ni elementos
lmites, los denominamos elementos sucesores de (A, <), y a la totalidad de ellos la
denotamos por Suc(A, <).
Con los axiomas hasta ahora enunciados, no podemos afirmar que los conjuntos
que se obtengan como resultado de la aplicacion de un cierto procedimiento (de
caracter funcional) a los elementos de un conjunto dado, puedan reunirse en un
todo para formar un nuevo conjunto. As, por ejemplo, partiendo del conjunto de
los numeros naturales, dado por el axioma del conjunto infinito y no mediante
ninguna construccion, podemos considerar el procedimiento consistente en asignar
a cada n umero natural n el conjunto de las partes de N iterado n veces, i.e.,
Sub0 (N) = N.
Subn+1 (N) = Sub(Subn (N)).
Pero no podemos afirmar, con los axiomas hasta ahora disponibles, que exista el
conjunto
{ Subn (N) | n N }.
Al respecto dice Skolem lo siguiente:
It is easy to show that Zermelos axiom system is not sufficient to provide
a complete foundation for the usual theory of sets. I intend to show,
for instance, that if M is an arbitrary set, it cannot be proved that
M , Sub(M ), Sub2 (M ), . . . , and so forth ad infinitum form a set. To
prove this I introduce the notion levelof a set. Such sets as , {},
{{}}, {, {}}, . . . I call sets of the first level; they are characterized
S
by the fact there exists nonnegative integer n such that n M = .
The set N already constitutesS an example of a set that is not of the first
level, since, for every n, n N = N. By a set M of the second level I
mean one that is not itself of the first level but for S which there exists
a nonnegative integer n such that all elements of n M are sets of the
first level. Thus N is a set of the second level. In a similar way sets of
the third, fourth, and higher levels can be defined. We need not discuss
whether with every set a level number is associated.
Now let a domain B in which the axioms hold be given. Then the
sets in B that are of the first or second level form a partial domain B 0 ,
and it is easy to see that the axioms must hold in B 0 too. The set N
belongs to B 0 ; if the infinite sequence N, Sub(N), Sub2 (N), . . . formed a
set M in B 0 , however, it would clearly not be of the second level but
0
of the third, and such
Sn a set just does not occur in B . For it is evident
that, for every n, M will contain the set N as an element. Thus the
sets N, Sub(N), Sub2 (N), . . . do not form the elements of a set in B 0 ;
even though Zermelos axioms hold in B 0 ; that is to say, the existence
of such a set is not provable.
Ahora el esquema axiomatico de reemplazo, en la version de Skolem, seg un el cual
la imagen directa de un conjunto bajo una condicion funcional es un conjunto, nos
permitira, no solo asegurar la existencia de conjuntos como el anterior, sino tambien
establecer un principio de la definicion por recursion transfinita, que generalizara al
principio de la definicion por recursion finita y, en definitiva, definir los n
umeros
ordinales.
Ejercicio. Demuestrese, haciendo uso del esquema axiomatico de reemplazo, que
para cada un conjunto A, existen los conjuntos
1. { {x} | x A } y
2. { Sub(x) | x A }.
TEORIA DE CONJUNTOS 209
El principio de la definici
on por recursi
on transfinita, abreviado como PDRT,
nos indica la manera de construir recursivamente una funcion que este definida
sobre un conjunto bien ordenado, partiendo de una clase funcional
Teorema 12.2 (PDRT). Sea (x, y, t[n] ) una f ormula cuyas variables libres sean
x, y, t0 ,. . . , tn1 , A = (A, <) un conjunto bien ordenado y t0 ,. . . , tn1 conjuntos.
Si, para cada x hay un u nico y tal que (x, y, t[n] ), entonces hay una unica funci
on
F tal que:
1. Dom(F ) = A.
2. Para cada a A, (F < a, F (a), t[n] ).
Demostraci on. Sea a A. Decimos que una funcion f esta (x, y, t[n] )-construida
hasta a si cumple las siguientes condiciones:
1. Dom(f ) =< a.
2. Para cada x Dom(f ), (f < x, f (x), t[n] ).
Demostramos en primer lugar que, dados a, b A, si a b, f esta (x, y, t[n] )-
construida hasta a y g lo esta hasta b, entonces, para cada x a, f (x) = g(x).
Si no ocurriera lo dicho, existira un primer x a tal que f (x) 6= g(x). Entonces
f < x = g < x. Ademas, (f < x, f (x), t[n] ) y (g < x, f (x), t[n] ), luego,
por la hipotesis sobre (x, y, t[n] ), f (x) = g(x), lo cual es una contradiccion. por
consiguiente se cumple que, para cada x a, f (x) = g(x).
Tomando a = b, podemos afirmar que, para cada a A, hay a lo sumo una
funcion f que esta (x, y, t[n] )-construida hasta a.
A continuacion, aplicando el esquema axiomatico de reemplazo, obtenemos el
conjunto F de todas las funciones f que estan, para alg un a A, (x, y, t[n] )-
construidas hasta a:
F = { f | a A (f es una funcion (x, y, t[n] ) construida hasta a }.
S
Sea F = F. Nos proponemos demostrar que F tiene las siguientes propiedades:
1. F es una funcion.
2. Para cada x Dom(F ), (F < x, F (x), t[n] ).
3. Dom(F ) = A.
4. F es la u
nica funcion que cumple las condiciones del teorema.
Demostramos en primer lugar, por induccion transfinita, que si G y H son dos
funciones que cumplen las condiciones del teorema, entonces G = H. En efecto, sea
Eq(G, H) el igualador de G y H, i.e., el conjunto Eq(G, H) = { a A | G(a) =
H(a) } y, dado un a A, supongamos que < a Eq(G, H). Entonces G <
a = H < a. Ademas, (G < a, G(a), t[n] ) y (H < a, H(a), t[n] ), luego
G(a) = H(a). As que a Eq(G,S H). Por lo tanto G = H.
Ahora demostramos que F = F es una funcion.
En efecto, si (x, y), (x, z) F , entonces, por una parte, hay un a A y una
funcion f (x, y, t[n] )-construida hasta a tal que f (x) = y y, por otra, hay un b A
y una funcion g (x, y, t[n] )-construida hasta b tal que g(x) = z. Pero, por ser A
un conjunto bien ordenado, a b o b a, luego y = z.
Demostramos a continuacion que, para cada x Dom(F ), (F < x, F (x), t[n] ).
En efecto, si x Dom(F ), entonces hay una funcion f F tal que x Dom(f ).
Luego (f < x, f (x), t[n] ). por lo tanto f < x = F < x, luego f (x) = F (x).
Demostramos, por u ltimo, que Dom(F ) = A. Si Dom(F ) A, entonces hay un
primer a A Dom(F ) Por lo tanto < a Dom(F ); de hecho < a = Dom(F ).
Sea y el unico conjunto tal que (F, y, t[n] ) y sea f = F { (a, y) }. Se cumple que
f es una funcion que esta (x, y, t[n] )-construida hasta a, luego a Dom(F ).
Ejercicio. Demuestrese que existe el conjunto { Subn (N) | n N }.
210 JUAN CLIMENT
Demostraci
on.
Demostraci
on.
Proposicion 12.5. Sean A = (A, <) y A0 = (A0 , <) dos conjunto bien ordenados.
on necesaria y suficiente para que A y A0 sean isomorfos es que tengan
Una condici
la misma -imagen.
Demostraci
on.
12.2. Ordinales.
. . . , mientras que los n
umeros infinitos, si en absoluto han de ser con-
cebibles de alg un modo, tienen que constituir, por su oposicion a los
numeros finitos, una clase de n umeros totalmente nueva, cuya ndole
depende enteramente de la naturaleza de las cosas y es objeto de inves-
tigaci on, no de nuestro arbitrio o de nuestros prejuicios.
G. Cantor.
Para motivar la introduccion de los n
umeros ordinales, recurrimos, parcialmente,
a la exposicion que hace Baire en [?].
Definimos, en primer lugar, una relacion de orden sobre el conjunto de las su-
cesiones de n umeros naturales. Si S = (an )nN y T = (bn )nN son dos sucesiones
de numeros naturales, decimos que S es m as creciente que T , y lo denotamos por
S > T , si existe un m N tal que, para cada n m, an > bn . En general, dos
sucesiones de n umeros naturales distintas no son comparables. Sin embargo, dada
una infinidad numerable de sucesiones de n umeros naturales, siempre es posible
construir otra que es mas creciente que cada una de las sucesiones dadas.
Sea (Sn )nN una familia de sucesiones de n
umeros naturales, a la que convenimos
en representar por la matriz:
El principio de la definici
on por recursi
on transfinita para los ordinales, abrevia-
do como PDRTON, nos indica la manera de construir recursivamente una funcion
que este definida sobre un n
umero ordinal, partiendo de una clase funcional.
3Burali-Forti fue un s
olo matem
atico italiano, no dos distintos
214 JUAN CLIMENT
Teorema 12.16 (PDRTON). Sea (x, y, t[n] ) una f ormula cuyas variables libres
sean x, y, t0 ,. . . , tn1 , un n
umero ordinal y a, t0 ,. . . , tn1 conjuntos. Si, para
cada x hay un u nico y tal que (x, y, t[n] ), entonces hay una u nica funci
on F tal
que:
1. Dom(F ) = + 1.
2. F (0) = a.
3. Para cada a + 1, (F , F (), t[n] ).
Demostraci
on.
Establecemos a continuacion otro principio de definicion por recursion transfinita
para los ordinales.
Teorema 12.17. Sea un ordinal, A un conjunto y h una aplicaci on del conjunto
de
S las palabras en A de longitud estrictamente menor que , i.e., del conjunto
A , en el conjunto A. Entonces hay una u
nica aplicaci
o n f de en A, i.e.,
una unica palabra en A de longitud , tal que, para cada , f () = h(f ), o,
lo que es equivalente, para el diagrama:
() S
A K /
KK A
KK
KK
KK h
K
idA KKKK
K%
A
se cumple que las aplicaciones idA y h () tienen una u nica aplicacion que
on h () tiene un u
las iguale, o, tambien, la aplicaci nico punto fijo.
12.3. Aritm etica ordinal. Si y son dos ordinales, entonces
` definimos la
suma de y , + , como el u nico ordinal tal que (, ) (, ) es isomorfo
a (, ). Ademas, definimos el producto de y , , como el u nico ordinal
Qalex
tal que (, ) (, ) es isomorfo a (, ).
Proposici
on 12.18. Para cualesquiera n
umeros naturales , y , se cunple que:
( + ) + = + ( + ) Asociatividad de la suma.
( ) = ( ) Asociatividad del producto.
( + ) = ( ) + ( ) Distributividad por la izquierda.
+0= Neutro aditivo por la derecha.
0+= Neutro aditivo por la izquierda.
1= Neutro multiplicativo por la derecha.
1= Neutro multiplicativo por la izquierda.
0=0 Aniquilador por la derecha.
0=0 Aniquilador por la izquierda.
Es fundamental recordar que ni la suma ni el producto de ordinales son operacio-
nes conmutativas y que la multiplicacion no es distributiva por la derecha respecto
de la suma.
12.4. Cardinales.
Definici
on 12.19. Sea A un conjunto. El n umero cardinal de A, al que denotamos
por card(A), es el mnimo n
umero ordinal isomorfo al conjunto A.
Proposici
on 12.20.
TEORIA DE CONJUNTOS 215
Proposici on 12.29. Sean (mi )iI y (ni )iI dos familia de cardinales y m un car-
dinal infinito, entonces se cumple que:
P
1. PiI 0 = 0.
2. Pi mi = P 0
3. iI m i = isupp((mi )iI ) mi , siendo
supp((mi )iI ) = { i I | mi 6= 0 }.
P P
4. Si J I, entonces iJ mi iI miP . P
5. Si,
P para cada i I, m i ni , entonces iI mi iI ni .
6. iI 1 = card(I).
7. Para cada n N, m + n = m.
on 12.30 (Conmutatividad). Sea (mi )iI una familia de cardinales y f
Proposici
una permutaci
on de I. Entonces
P P
iI mi = iI mf (i) .
Proposicion 12.31 (Asociatividad).S Sea (Jl )lL una familia de conjuntos y (mi )iI
una familia de cardinales. Si I = lL Jl . Entonces
P P P
iI mi = lL ( iJl mi ).
Proposicion 12.33. Sean (Ai )iI y (Bi )iI dos familias de conjuntos.
Q Si, pa-
ra cada
Q i I, A i y Bi son isomorfos, entonces se cumple que card( iI Ai ) =
card( iI Bi ).
Proposici
Q on 12.34.Q Sea (Ai )iI una familia de conjuntos. Entonces tenemos que
card( iI Ai ) = iI card(Ai ).
Proposici
on 12.35. Para cada cardinal infinito m, se cumple que m m = m
Proposicion 12.36. Sean (mi )iI y (ni )iI dos familia de cardinales, entonces se
cumple que:
Q
1. Si
Q para un i I mi = 0, entonces iI mi = 0.
2. Qi mi = Q
1
3. iI mi = isupp1 ((mi )iI ) mi , siendo
supp1 ((mi )iI ) = { i I | mi 6= 1 }.
P
4. Q iI m = card(I) m.
5. iJ 1 = 1. Q Q
6. P para cada i I, mi ni , entonces iI mi iI ni .
Si,
7. iI 1 = card(I).
8. Para cada n N, m + n = m.
on 12.37 (Conmutatividad). Sea (mi )iI una familia de cardinales y f
Proposici
una permutaci
on de I. Entonces
Q Q
iI mi = iI mf (i) .
Proposicion 12.38 (Asociatividad).S Sea (Jl )lL una familia de conjuntos y (mi )iI
una familia de cardinales. Si I = lL Jl . Entonces
Q Q Q
iI mi = lL ( iJl mi ).
Proposicion 12.39 (Distributividad del producto respecto de la suma). Sea ((ml,i )iJl )lL
una familia de familias de cardinales, L 6= y, para cada l L, Jl 6= . Entonces
Q P P Q Q
lL iJl ml,i = f Jl lL ml,f (l) .
lL
Proposicion 12.40. P
P Sea (mi )iI una familia de cardinales y m un cardinal. En-
tonces m iI mi = iI (m mi )
Proposici on 12.41. Sean (mP i )iI y (niQ
)iI dos familias de cardinales. Si, para
cada i I, mi < ni , entonces iI mi < iI ni .
on 12.42. Si m y n son cardinales, entonces mn = card(Fnc(m, n))
Definici
Proposici on 12.43. Sea m un cardinal y (ni )iI una familia de cardinales, enton-
ces se cumple que:
1. m0 = 1.
2. m1 = m.
3. Si m 6= 0, entonces 0m = 0.
4. 1Qm = 1.
card(I)
5. P iI m = mQ .
n ni
6. mQ iI = iI
i
Q m .
7. ( iI ni ) = iI nm
m
i .
on 12.47. Si 2 m n y 0 n, entonces mn = 2n .
Proposici
Antes de definir la nocion de cofinalidad de un ordinal recordamos que una parte
cofinal de un conjunto preordenado (A, 4) es un subconjunto X de A tal que para
cada a A hay un x X tal que a 4 x. El conjunto A siempre es una parte cofinal
de (A, 4) y si (A, ) es un conjunto ordenado que tiene un maximo, entonces la
parte de A reducida a ese maximo es una parte cofinal de (A, ).
Definici on 12.48. Sea un ordinal. La cofinalidad de , denotada por cf(, ),
es el mnimo del conjunto de los cardinales de las partes cofinales de .
La cofinalidad de 0 es 0 y la cofinalidad de + 1 es 1. As que la cofinalidad es
interesante cuando el ordinal es un ordinal lmite, i.e., cuando no es ni cero ni un
ordinal sucesor.
Proposici on 12.49. Si es un ordinal, entonces cf(, ) es posterior a cf(),
siendo cf() el mnimo ordinal para el que existe una aplicaci
on f : / tal
que Im(f ) es cofinal en .
Demostraci on. Por definicion cf(, ) es el mnimo del conjunto de los cardinales de
las partes cofinales de . Sea X una parte cofinal de tal que card(X) = cf(, ).
Entonces hay una biyeccion f de card(X) en X y, por lo tanto, una aplicacion de
card(X) en cuya imagen es cofinal en . De donde cf() cf(, ).
Proposici on 12.50. Si es un ordinal, entonces cf(), el mnimo ordinal para
el que existe una aplicaci
on f : / tal que Im(f ) es cofinal en , es un cardinal.
Demostraci on. Hay que demostrar que cf() no es isomorfo a ning un ordinal tal
que < cf(). Si cf() fuera isomorfo a un ordinal < cf(), entonces cf() no
sera el mnimo para el que existe una aplicacion f : cf() / tal que Im(f ) es
cofinal en , contradiccion.
Proposicion 12.51. Si es un ordinal lmite, entonces hay una aplicaci
on f
estrictamente creciente, contnua y con imagen cofinal de cf() en .
Proposici on 12.52. Si es un ordinal, entonces cf(cf()) = cf(). Adem
as,
cf(, ) cf(). Por lo tanto cf(, ) = cf().
Siempre se cumple que cf() .
Definicion 12.53. Sea un ordinal lmite. Decimos que es un ordinal regular
si cf() = y que es singular si cf() < .
Proposici
on 12.54. Cualquier ordinal regular es un cardinal.
Proposici on 12.55. Un cardinal m es regular si y solo si es aditivamente inacce-
sible, i.e., exactamente si, para cada conjunto I tal que P
card(I) < m y cada familia
(ni )iI tal que, para cada i I, ni < m, se cumple que iI ni < m.
on 12.56. Si m es un cardinal infinito, entonces m+ es regular.
Proposici
on 12.57. Si m es un cardinal infinito y cf(m) n, entonces m < mn .
Proposici
Corolario 12.58. Si m es un cardinal infinito, entonces m < cf(2m ).
Proposici
on 12.59. Si m es un cardinal
S infinito, no hay ning
un cardinal n tal que
m = n+ y cf(m) n, entonces mn = ( pm pn )cf(m) .
Proposicion 12.60 (Hausdorff). Si m y n son un cardinales infinitos, entonces
(m+ )n = mn m+ .
Proposici
on 12.61. Sean m y n cardinales tales que 2 m y 0 n. Entonces:
218 JUAN CLIMENT
1. Si m n, entonces mn = 2n .
2. Si m es infinito y hay un p < m tal que m pn , entonces mn = pn
3. Si m es infinito y para cada p < m, pn < m, entonces n < m y
a) si n < cf(m), entonces mcf(m) = mn ;
b) si cf(m) n, entonces m = mn
12.6. Universos. El concepto de universo de Grothendieck-Tarski-Sonner, que
vamos a introducir a continuacion, esta ntimamente relacionado con el de cardi-
nal fuertemente inaccesible. De hecho, la existencia de universos de Grothendieck
equivale a la existencia de cardinales fuertemente inaccesibles, como tendremos
oportunidad de comprobar.
Definicion 12.62. Sea U un conjunto. Decimos de U que es un universo de Grot-
hendieck si cumple las siguientes condiciones:
1. U es -transitivo.
2. Para cada conjunto x, si x U , entonces Sub(x) U .
3. Para cada conjunto x, si x U y x no es isomorfo a U , entonces x U .
4. N U .
Proposicion 12.63. Sea U un universo de Grothendieck. Entonces:
1. Para cada conjunto x, si x U , entonces card(x) < card(U ).
2. 0 < card(U ).
3. Para cada x, y, si x y e y U , entonces x U .
4. Para cada x, y, si x, y U , entonces {x, y}, (x, y) y x y U .
5. Para cada funcion F , si Dom(F ) U e Im(F ) U , entonces se cumple
que Im(F ) U y F U . S
6. Para cada conjunto x, si x U , entonces x U .
7. ParaScada funcion FQ, si Dom(F ) U e Im(F ) U , entonces se cumple
que Im(F ) U y Im(F ) U .
Demostraci on. 1. Si x U , entonces Sub(x) U , luego Sub(x) U . Por lo tanto
card(x) < card(Sub(x)) card(U ). De donde card(x) < card(U ).
2. Puesto que N U , entonces, en virtud de 1, 0 < card(U ).
3. Si x y e y U , entonces x Sub(y) U , luego x U .
4. Si x, y U , entonces {x, y} U . Ahora bien, puesto que 0 < card(U ), el
conjunto {x, y} no es isomorfo a U , luego {x, y} U . Por otra parte, puesto que
(x, y) = { {x}, {x, y} }, se cumple que (x, y) U , ya que {x} U y {x, y} U .
Por ultimo, si x, y U , entonces, para cada a x y cada b y, a, b U , luego
(a, b) U . por lo tanto x y U . Ahora bien, puesto que 0 < card(U ), card(x) <
card(U ) y card(y) < card(U ), card(x y) < card(U ). Por lo tanto x y U .
5. Si F es una funcion tal que Dom(F ) U e Im(F ) U , entonces Im(F ) U
y card(Im(F )) card(x) < card(U ), luego Im(F ) U . Por u ltimo, ya que F
Dom(F ) Im(F ) US, tambien tenemos que F U .
6. Si x U e y x, entonces S y z x, para un zS x, luegoP y z U , por
lo tanto y U . De modo que x U . Adem a
S s, card( x) zx z < card(U ),
porque card(U ) es un cardinal regular. Luego x U .
Proposici on 12.64. Una condici
on necesaria y suficiente para que un conjunto
U sea un universo de Grothendieck es que U = V , para un cardinal fuertemente
inaccesible .
Demostraci
on.
Ejercicio. Sea U un conjunto. Demuestrese que U es un universo de Grothendieck
si y solo si cumple las siguientes condiciones:
1. U es -transitivo.
TEORIA DE CONJUNTOS 219
la teora clasica de conjuntos, salvo las que conducen a las antinomias ultrafinitas.
Si existe un modelo M , siendo su caracterstica, el estudio de los modelos de
caracterstica inferior a se puede realizar en M , pero, de todos modos, debido a
que el ordinal no pertenece al modelo M , necesariamente hay que trascender al
propio M para poder incluso describir tal estudio.
El sistema axiomatico propuesto por Zermelo en 1930 coincide con el de 1908 sal-
vo en que, por una parte, incluye el axioma de reemplazo de Fraenkel y el axioma de
fundamentacion, con el que se evitan, dice, los conjuntos circularesy abismales
y, por otra, excluye el axioma de eleccion, porque, seg un dice, tiene un caracter
diferente de los otros y no sirve para la delimitacion de los dominiosy ahora lo
considera presupuesto en toda su investigacion como un principio logico general,
y tambien los axiomas existenciales incondicionados, i.e., el axioma del conjunto
vaco y el del conjunto infinito, este ultimo porque, segun afirma no pertenece a
la teora generalde conjuntos. De modo que llama sistema ZF completado o,
para abreviar, sistema ZF0 a la totalidad de los siguientes axiomas:
Axioma de extensionalidad : cada conjunto esta determinado por sus ele-
mentos, en la medida en la que contiene elementos.
Axioma de separaci on: de cada conjunto m, con una funcion proposicional
(x) se asla un subconjunto m(x) que contiene todos los elementos de m
para los que (x) es verdadera.
Axioma del par no ordenado: si a y b son dos conjuntos cualesquiera, en-
tonces existe un conjunto que los contiene como elementos.
Axioma del conjunto potencia: a cada conjunto m le corresponde un con-
junto Sub(m) que contiene como elementos a todos los subconjuntos de
m, incluidos el conjunto vaco y el propio m. En lugar del conjunto vaco
aqu se adoptara un
atomo u0 , elegido arbitrariamente. S
Axioma de la uni on: a cada conjunto m le corresponde un conjunto m,
que contiene a los elementos de sus elementos.
Axioma de reemplazo: si se substituyen de manera unvoca los elementos
x de un conjunto m con elementos arbitrarios x0 del dominio, este u ltimo
contiene tambien un conjunto m0 , que tiene como elementos a todos los x0 .
Axioma de fundamentaci on: cada cadena (descendente) de elementos, en la
que cada miembro es un elemento del precedente, acaba en un ndice finito
con un atomo.
Zermelo designa, con una excepcion, a cada uno de estos axiomas por la inicial del
respectivo nombre aleman. Denomina ZF al sistema BAPUVE de los seis primeros
axiomas, y ZF0 al sistema completo BAPUVEF. Una vez establecido el sistema
axiomatico, Zermelo define el concepto de dominio normal como un dominio de
conjuntos y atomos, que respecto de la relacion de pertenencia, satisface al sistema
ZF0 . Ademas, dice que basandose en los conceptos y principios fundamentales de
la teora de conjuntostratara como si fuesen conjuntos tanto a los dominiosde
este tipo, como a sus elementos, subdominios, y tambien a sus unionese
intersecciones, porque, de hecho, no se diferencian de los conjuntos en ning un
punto verdaderamente esencial. Sin embargo, los llamaremos siempre dominiosy
no conjuntos, para distinguirlos de los conjuntosque son elementos del dominio
considerado. A continuacion, Zermelo define el concepto de sucesi on fundamental
como un conjunto bien ordenado en el que cada elemento, salvo el primero, que
debe ser un atomo, es identico al conjunto de todos lo que le preceden.
Para las sucesiones fundamentales, entre otros, se tienen los siguientes teoremas:
Referencias
[1] P. Halmos, Naive set theory, D. Van Nostrand, 1960 (Hay traduccion al castellano).
[2] K. Hrbacek and T. Jech, Introduction to set theory, Marcel Dekker, 1984.