Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Apoyo PDF
Apoyo PDF
(una introduccion)
Prefacio vii
1 Introducci
on Hist
orica 1
4 Relaciones y Funciones 43
4.1 Relaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
4.2 Funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
4.3 Productos Cartesianos Arbitrarios . . . . . . . . . . . . . . . . 63
4.4 Equivalencias y Particiones . . . . . . . . . . . . . . . . . . . . 69
4.5 Ordenes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
4.6 Sobre Clases . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
7 Cardinalidad 149
7.1 Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 149
7.2 Conjuntos Finitos . . . . . . . . . . . . . . . . . . . . . . . . . . 150
7.3 Cardinalidad en Conjuntos Infinitos . . . . . . . . . . . . . . . 154
7.4 Conjuntos Numerables . . . . . . . . . . . . . . . . . . . . . . . 156
7.5 Numeros Cardinales . . . . . . . . . . . . . . . . . . . . . . . . 161
7.6 Aritmetica Cardinal . . . . . . . . . . . . . . . . . . . . . . . . 164
7.7 El Continuo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 169
9 Ordinales 217
9.1 Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 217
9.2 Numeros Ordinales . . . . . . . . . . . . . . . . . . . . . . . . . 218
9.3 El Axioma de Reemplazo . . . . . . . . . . . . . . . . . . . . . 222
9.4 Inducci
on y Recursion Transfinita . . . . . . . . . . . . . . . . . 227
9.5 Aritmetica Ordinal . . . . . . . . . . . . . . . . . . . . . . . . . 232
9.6 Ordinales Iniciales y Alephs . . . . . . . . . . . . . . . . . . . . 245
9.7 Suma y Multiplicaci on de Alephs . . . . . . . . . . . . . . . . . 250
11 Dos T
opicos Especiales 297
11.1 El Problema de Souslin . . . . . . . . . . . . . . . . . . . . . . 297
11.2 El Axioma de Martin . . . . . . . . . . . . . . . . . . . . . . . . 301
11.3 Equivalencias del Axioma de Martin . . . . . . . . . . . . . . . 312
B Axiomas Bernays-G
odel 321
Bibliografa 329
Indice 337
iv Contenido
Teora de Conjuntos
Mario Benedetti
Viento del Exilio
Prefacio
partir de las propiedades de conjuntos, las cuales se pueden obtener usando los
axiomas ZFC. En este sentido, la Teora de Conjuntos as axiomatizada sirve
como una fundamentacion satisfactoria para otras ramas de la matem atica.
Una consulta rapida al contenido analtico sera suficiente para enterarse
de cual es el material que se expone en este texto y c omo est a organizado
este material. Sin embargo, son convenientes algunos comentarios. En primer
lugar, en el Captulo 2, la nocion de propiedad se da de manera intuitiva y se
introducen los primeros axiomas del sistema ZF. En el Captulo 6, la extension
de los numeros racionales a los n umeros reales se hace estableciendo clases de
equivalencia de sucesiones de Cauchy, en lugar del metodo clasico que utiliza
cortaduras de Dedekind (que tambien se expone brevemente en el Captulo 11).
El Captulo 8, que trata del Axioma de Elecci on, contiene mucha informacion,
en especial, las Secciones 8.4 y 8.5 incluyen ejemplos que posiblemente no sean
accesibles a todos los lectores; en particular, las demostraciones de estos est an
destinadas a aquellos lectores con mayor conocimiento y madurez matem atica.
El proposito de incluir toda esta informaci on es el de mostrar las vastas apli-
caciones de dicho axioma en diversas areas de la Matem atica. La exposici
on
del material dedicado a los n umeros ordinales se pospone hasta despues del
Axioma de Elecci on por considerar a este mas importante, aunque por ello se
sacrifique un poco el seguimiento de la exposici on de los conceptos de cardina-
lidad; ademas de que es necesario dicho axioma en algunas proposiciones im-
portantes que se refieren a n umeros ordinales. El Captulo 10 contiene topicos
especializados de Teora de Cardinales y es deseable cubrir la mayor parte de
el. Las dos u ltimas secciones de este captulo requieren de los conceptos
de ideales y filtros (para el caso especial del algebra Booleana P(X)) expuestos
en la Seccion 8.5. Por u ltimo, el Captulo 11 puede considerarse optativo, el
material que ah se presenta es para aquellos lectores con mayor interes en la
Teora de Conjuntos o ramas afines como la Topologa. Cabe mencionar que
las secciones 11.2 y 11.3 est an basadas en las notas de clase del curso sobre
forcing que el Prof. Oleg G. Okunev imparti o en la Facultad de Ciencias de la
UNAM en el segundo semestre de 1997.
Por lo regular las secciones estan seguidas de una lista de ejercicios. En
pocas excepciones, los ejercicios no se refieren a los conceptos tratados en el
texto. Hay varios tipos de ejercicios, algunos rutinarios y otros mas difciles,
los cuales frecuentemente est an acompa nados con sugerencias para su solucion.
Los ejemplos en el texto s olo ocasionalmente son desarrollados con todo detalle.
La verificacion de que un ejemplo tiene las propiedades deseadas se deja como
ejercicio (usualmente facil) para el lector.
Prefacio ix
Puede decirse que en todas las epocas los matem aticos y fil
osofos han empleado
razonamientos de la Teora de Conjuntos de modo mas o menos consciente. Sin
embargo, es necesario separar claramente todas las cuestiones relacionadas con
la idea de numero cardinal (y en particular, la nocion de infinito) de aquellas
en las que solamente intervienen las nociones de pertenencia e inclusi on pues
estas son mas intuitivas. Solamente apoy andose en ellas es como se puede
fundamentar una teora de silogismos o axiomas como el todo es mayor que
cualquiera de sus partes.
Para la introducci on de la Teora de Conjuntos es muy u til trabajar con
conjuntos concretos cuyos miembros sean objetos reales, pero los conjuntos
de interes en matem aticas siempre tienen por miembros objetos abstractos: el
conjunto de todos los crculos del plano, el conjunto de todos los puntos sobre
una esfera, el conjunto de todos los n umeros, etc.
A finales del siglo XIX ya no hay dificultad alguna en hablar del conjunto de
los objetos que poseen tal o cual propiedad; la celebre definicion dada por el
matem atico alem an Georg Ferdinand Ludwig Philipp Cantor (1845-1918)1 :Se
entiende por conjunto a la agrupaci on en un todo de objetos bien diferencia-
dos de nuestra intuici on o nuestra mente, apenas despert o objeciones en el
momento de su publicacion. No sucedi o as cuando a la noci on de conjunto
vinieron a unirse las de n umero y magnitud.
El problema de la divisibilidad de extension da lugar a dificultades filos oficas
considerables; matem 2
osofos fracasaran ante la paradoja de una
aticos y fil
magnitud finita formada por infinitos puntos sin medida.
Las matem aticas clasicas evitan introducir en sus razonamientos el in-
finito actual, es decir, conjuntos formados por una infinidad de elementos
simultaneamente existentes, conformandose con el infinito potencial, que se
1
Profesor de la Universidad de Halle. Public
o sus artculos b
asicos sobre Teora de Con-
juntos en Mathematische Annalen durante los a nos 1879-1893. Estos artculos fueron edi-
tados nuevamente en [C2 ]; este volumen contiene tambien una biografa de Cantor escrita
por Zermelo.
2
Del griego ` `
o, expectaci
on.
2 1. Introducci
on Hist
orica
universal empleada por los l ogicos del siglo XIX (y que, naturalmente no es
un conjunto). Ademas, la introduccion de esquemas de axiomas es sustituida
por axiomas convenientes, lo que simplifica el estudio l ogico. Bernays y Godel
dieron variantes al sistema de Von Neumann.
La axiomatizaci
on de la teora intuitiva de conjuntos de Cantor no solo fue en
s misma un acontecimiento muy destacado en los avances de las matem aticas
del siglo XX, tambien estableci o que el metodo axiom atico es posiblemente
la manera mas clara y precisa en la cual se puede dar una representacion del
conocimiento.
6 1. Introducci
on Hist
orica
2
Axiomas de la Teora de Conjuntos
2.1 Propiedades
Com unmente los conjuntos son introducidos como colecciones de objetos con
alguna propiedad com un. La nocion de propiedad merece un poco de analisis.
Algunas propiedades frecuentemente consideradas en la vida diaria son tan
vagas que difcilmente son admitidas en las matem aticas. Consideremos, por
ejemplo, el conjunto de todos los borregos gordos; cabe preguntar que tan
gordo es gordo? Si nos muestran alg un borrego c
omo podemos saber si es
gordo o no?
Como otro ejemplo, consideremos el conjunto de aquellos n umeros na-
turales que pueden ser escritos (digamos que con papel y lapiz) en notaci on
decimal. Claramente 0 puede ser escrito. Si un n umero n puede ser escrito,
entonces seguramente el n umero n+1 tambien puede ser escrito. Por el familiar
principio de inducci on, cualquier n
umero n puede ser escrito. Pero, conoce o
10
conocera usted de alguien que pueda escribir el n umero 1010 ? Este n umero
en notaci on decimal requiere de un 1 y 1010 ceros, que para lograr escribirse
requiere de al menos trescientos a nos de trabajo continuo anotando un cero
por segundo.
El problema para admitir a estas propiedades como buenas propiedades
para definir conjuntos es causado por el significado vago de puede. Una
forma de remediar este tipo de dificultades o algunas otras similares es decir
explcitamente que significa puede o ponernos de acuerdo en que significa
gordo; por ejemplo, estableciendo que gordo es pesar m as de cien kilogramos.
Sin embargo, el determinar los elementos de un conjunto sabiendo que son los
que satisfacen cierta propiedad, sigue siendo complicado. Para ilustrar esta
afirmaci on, construiremos un conjunto en el que sera mas difcil ponerse de
acuerdo en un criterio que permita definir bien el conjunto.
Tabla 1
P (x) Q(x) P (x) Q(x) P (x) Q(x) P (x)
V V V V F
V F F V F
F V F V V
F F F F V
Tabla 2
P (x) Q(x) P (x) Q(x) P (x) Q(x)
V V V V
V F F F
F V V F
F F V V
1
El smbolo se deriva de la letra griega epsilon. El uso de esta letra para la relaci
on
de pertenencia fue introducido por Peano [P2 ] quien la seleccion o como abreviacion de la
palabra Griega estar (`
)
2.2. Los Axiomas 11
X=Y (x : x X x Y ) (x : x Y x X).
on 2.1 Hay un u
Proposici nico conjunto que no tiene elementos.
n:
Demostracio
Asumamos que A y B no tienen elementos. Entonces todo elemento de A es
un elemento de B (puesto que A no tiene elementos la proposici
on a A
a B es automaticamente cierta). Similarmente, todo elemento de B es un
elemento de A. Por el Axioma de Extensi on concluimos que A = B.
En contraste a los otros axiomas, los cuales son proposiciones, el Axioma Es-
quema de Comprensi on es una coleccion infinita de proposiciones. Esto es, este
es un esquema para producir axiomas, uno por cada elecci on de la propiedad
P. Por ejemplo, si P(x) es x = x el axioma dice: Para cualquier conjunto
A, hay un conjunto B tal que x B si y s olo si x A y x = x. (En este caso
A = B). Si P(x) es x / x, el axioma postula: Para cualquier conjunto A
hay un conjunto B tal que x B si y s olo si x A y x / x. Por lo anterior el
Axioma 3 se llama Esquema de Comprensi on.
La propiedad P(x) puede depender de otras variables p, q, . . . , r; el corres-
pondiente axioma postula entonces que para cualquier selecci on de las varia-
bles p, q, . . . , r, y cualquier conjunto A, hay un conjunto B (que depende de
p, q, . . . , r y A) que consiste exactamente de los elementos de A para los cuales
se verifica P(x, p, q, . . . , r).
K = hx : x es un conjunto y P(x)i
le llamaremos clase.
Debe quedar claro que no se esta definiendo lo que es una clase, la con-
venci
on anterior nos facilitar
a m
as adelante referirnos a ciertas colecciones. La
2
En 1903 fue publicada por primera vez la Paradoja de Russell, en el apendice de [F4 ].
14 2. Axiomas de la Teora de Conjuntos
discusi
on anterior tambien nos dice que una clase no necesariamente es un con-
junto. La diferencia entre estos dos conceptos origin o parte de los problemas
l
ogicos de Cantor.
Lema 2.6 Sea P(x) una propiedad de x. Para todo A hay un u
nico conjunto
B tal que x B si y s
olo si x A y P(x).
n:
Demostracio
Si B 0 es un conjunto tal que x B 0 si y s
olo si x A y P(x), entonces x B
0 0
olo si x B . As, B = B por el Axioma de Extensi
si y s on.
Nuevamente el conjunto U es u
nico. Este es llamado union de S y denotado
S
por S. Decimos que S es un sistema de conjuntos o familia de conjuntos
cuando queremos hacer enfasis en que los elementos de S son conjuntos. La
union de una familia de conjuntos S es entonces el conjunto de, precisamente,
todos los x que pertenecen a alg un conjunto que forma parte de la familia S.
S
Ejemplo 2.11 Sea S = {, {}}; entonces x S si y s olo si x SA para
algun A S, es decir,S si y s
olo si x o x {}. Por lo tanto, x S si y
solo si x = ; o sea, S = {} .
S
Ejemplo 2.12 =
S
Ejemplo 2.13 Sean S A y B conjuntos, x {A, B} si y s olo si x A o
x B. El conjunto {A, B} es llamado la uni on de A y B y es denotado por
A B.
Observese que el Axioma del Par y el Axioma de Union son necesarios para
definir la uni
on de dos conjuntos, y el Axioma de Extensi
on es necesario para
16 2. Axiomas de la Teora de Conjuntos
xAB xA x B.
El Axioma de Union es muy poderoso; este nos capacita no solo para formar
uniones de dos conjuntos, sino tambien para formar la uni on de un n
umero
a tal situacion).3
infinito de conjuntos (mas tarde se aclarar
Dados a, b y c, puede probarse la unicidad del conjunto P cuyos elementos
son exactamente a, b y c, en efecto P = {a, b}{c}. P es denotado por {a, b, c}
y se llama terna no ordenada de a, b y c. An alogamente puede definirse una
cuarteta, quinteta, sexteta no ordenada, etc.
Ahora introduciremos un concepto simple y familiar para el lector.
Ejemplo 2.18 x A si y s
olo si {x} A.
Seg
un la Definici
on 2.16, todo conjunto debe considerarse subconjunto de s
mismo.
3
Las nociones de finito e infinito ser
an formalizadas posteriormente, por el momento las
emplearemos en forma intuitiva.
2.2. Los Axiomas 17
S
Ejemplo 2.22 Si A S entonces A S.
Si A y B son dos conjuntos tales que A B y B A, entonces A y B tienen
los mismos elementos y, por lo tanto, en virtud del Axioma de Extensi on, A =
B. De hecho el Axioma de Extension puede ser formulado en estos terminos:
Si A y B son dos conjuntos, una condicion necesaria y suficiente para que
A = B es que A B y B A simult aneamente. Por lo anterior, casi todas
las demostraciones de igualdad entre dos conjuntos A y B estan divididas en
dos partes, hacer ver primero que A B y mostrar despues que B A.
Observese que la pertenencia () y la contencion ()4 son, conceptualmente,
cosas muy diferentes. Una diferencia importante es la que manifiesta el Ejemplo
2.19 al mostrarnos que para cualquier conjunto A, A A mientras que no
est
a del todo claro que cualquier conjunto A, A A. Indudablemente que esto
u
ltimo no es posible para cualquier conjunto razonable, de hecho / y por
ende es reflexiva pero no lo es. Sin embargo, no podremos demostrar que
para cualquier conjunto A, A / A, hasta que introduzcamos el Axioma de
Fundaci on. Otra diferencia entre y la podemos derivar de los Ejemplos
2.10 y 2.20 como sigue: {} y {} {{}} pero / {{}}, es decir, la
pertenencia () a diferencia de la contencion () no tiene car acter transitivo.
Ahora introducimos el siguiente axioma, el cual nos asegura que dado un
conjunto cualquiera podemos formar un nuevo conjunto cuyos miembros son
exactamente los subconjuntos del conjunto dado; en forma precisa:
Axioma 6 (del Conjunto Potencia) Para cualquier conjunto X existe un
conjunto S tal que A S si y s
olo si A X.
Puesto que el conjunto S esta unvocamente determinado, llamamos al con-
junto S de todos los subconjuntos de X, el conjunto potencia de X y es deno-
tado por P(X).
Ejemplo 2.23 P() = {} .
Ejemplo 2.24 P({a}) = {, {a}} .
Ejemplo 2.25 P({a, b}) = {, {a} , {b} , {a, b}} .
Ejemplo 2.26 Para cualquier conjunto X, siempre , X P(X). En parti-
cular siempre se cumple P(X) 6= para cualquier X.
Ejemplo 2.27 Si A B entonces P(A) P(B).
4
El credito de la distinci
on entre pertenencia y contenci
on se da generalmente a Peano,
quien introdujo diferentes notaciones para los dos conceptos.
18 2. Axiomas de la Teora de Conjuntos
Teorema 2.33 (a) Ning un conjunto no vaco puede ser elemento de s mismo,
es decir, para cualquier X 6= , X
/ X.
(b) Si A y B son conjuntos no vacos, entonces no es posible que ocurran
simult
aneamente A B y B A.
n:
Demostracio
(a) Supongamos que existe un conjunto no vaco X tal que X X. Por el
Axioma del Par, {X} tambien es un conjunto, y puesto que X es el u nico
miembro de {X}, el conjunto {X} contradice el Axioma de Fundaci on, ya que
X y {X} tienen a X como elemento com un, es decir, todo elemento de {X}
tiene un elemento com un con {X} .
(b) Para este caso considere el par no ordenado {A, B} y proceda de modo
analogo a (a).
Ejercicios 2.2
2. Indique cu
ales de las siguientes expresiones son falsas:
7. Verifique la afirmaci
on hecha en el Ejemplo 2.15.
A0 A1 A2 An A0
para toda n N.
22 2. Axiomas de la Teora de Conjuntos
18. (a) Demuestre que para cualquier conjunto X es falso que P(X) X.
En particular X 6= P(X).
(b) Demuestre que el conjunto de todos los conjuntos no existe usando
el inciso (a).
20. El Axioma de Union, el Axioma del Par y el Axioma del Conjunto Po-
tencia pueden reemplazarse por las siguientes versiones mas debiles:
Axioma D ebil del Par. Para cualesquiera a, b existe un conjunto C
tal que a C y b C.
Axioma D ebil de Uni on. Para cualquier conjunto S existe un con-
junto U tal que si x A y A S entonces x U .
Axioma D ebil del Conjunto Potencia. Para cualquier conjunto S
existe un conjunto P tal que X S implica X P .
Deduzca el Axioma del Par, el Axioma de Union y el Axioma del Con-
junto Potencia, usando las versiones debiles. (Sugerencia: use el Axioma
Esquema de Comprension).
3
Algebra de Conjuntos
A B = {x : (x A) (x B)} .
La intersecci
on de A y B es el conjunto
A B = {x : (x A) (x B)} .
Acorde a la definici
on anterior, una condicion necesaria y suficiente para
que A B 6= es que A y B tengan elementos en com un.
1
Aqu consideraremos N = {0, 1, 2, . . .}.
24
3. Algebra de Conjuntos
A A = A = A A.
(b) Asociativas:
A (B C) = (A B) C y A (B C) = (A B) C.
(c) Conmutativas:
AB =BA y A B = B A.
M
as a
un, distribuye sobre y distribuye sobre :
A (B C) = (A B) (A C)
y
A (B C) = (A B) (A C).
3.1. Operaciones Fundamentales 25
A \ B = {x A : x
/ B} .
El Ejercicio 2.2.3 del captulo anterior nos muestra que tal conjunto existe.
Ejemplo 3.7 Si A = {x R : 0 x 1} y B = x R : 12 < x 2 , en-
tonces A \ B = x R : 0 x 12 .
Ejemplo 3.10 A \ B = si y s
olo si A B.
A B = A \ (A \ B).
A \ B = A (E \ B).
n:
Demostracio
Como A B E, tenemos que A \ B = {x E : (x A) (x
/ B} =
{x E : x A} {x E : x
/ B} = A (E \ B).
n:
Demostracio
x X \ (A B) si y solo si x X y x
/ A B si y solo si x X, x
/Ay
x/ B si y s
olo si x X \ A y x X \ B. Esto establece (a); para probar (b)
hacemos: X \ [(X \ A) (X \ B)] = [X \ (X \ A)] [X \ (X \ B)] = A B;
entonces (X \ A) (X \ B) = X \ (A B).
on 3.16 Sean A y B conjuntos, se define la diferencia simetrica de
Definici
A y B como:
A 4 B = {x A : x
/ B} {x B : x
/ A} .
2
Las propiedades de la diferencia simetrica fueron investigadas extensivamente por Haus-
dor en [H5 ].
28
3. Algebra de Conjuntos
A B = A 4 B 4 (A B)
A \ B = A 4 (A B).
Ejercicios 3.1
7. Pruebe que
(a) A \ B = (A B) \ B.
(b) A \ (B \ C) = (A \ B) (A C).
(c) (A \ C) \ (B \ C) = (A \ B) \ C.
(d) (A \ C) (B \ C) = (A B) \ C.
(e) (A \ C) (B \ C) = (A B) \ C.
(f) (A \ B) \ (A \ C) = A (C \ B).
3.2. Producto Cartesiano 29
T
(g) A1 A2 An = (A1 \A2 ) (An1 \An )(An \A1 )( nk=1 Ak ).
(h) Si A, B X, entonces (X \ A) \ (X \ B) = B \ A.
8. Muestre por medio de ejemplos que las siguientes proposiciones son fal-
sas.
(a) A \ B = B \ A.
(b) A (B C) implica A B o A C.
(c) B C A implica B A o C A.
] Supongamos que {{a} , {a, b}} = {{c} , {c, d}}. Si a 6= b, entonces debe
suceder que {a} = {c} y {a, b} = {c, d}. As, a = c, y entonces {a, b} = {a, d}.
De esto se deduce que b = d. Si a = b, {{a} , {a, b}} = {{a}}. As {a} = {c} y
{a} = {c, d} , lo cual implica que a = c = d. Por lo tanto, a = c y b = d.
Con los pares ordenados a nuestra disposici on podemos definir ternas orde-
nadas como
(a, b, c) = ((a, b), c),
3.2. Producto Cartesiano 31
A B = {(a, b) : a A b B} .
A B C = (A B) C.
Note que
A B C = {(a, b, c) : a A b B c C} .
A B = {(1, 2), (1, 4), (1, 5), (2, 2), (2, 4), (2, 5), (3, 2), (3, 4), (3, 5)} .
(c) (x, y) A (B C) si y s
olo si x A y y B C si y solo si x A y
y B o y C si y s olo si x A y y B o bien x A y y C si y s olo si
(x, y) A B o (x, y) A C si y s
olo si (x, y) (A B) (A C).
(d) Ejercicio.
Ejercicios 3.2
4. Encuentre a, b y c tales que ((a, b), c) 6= (a, (b, c)). A pesar de este re-
sultado, puede definirse la terna ordenada de elementos a, b y c como
(a, b, c) = (a, (b, c)), y el producto cartesiano de A, B y C como A B
C = A (B C). M as adelante veremos que en terminos conjuntistas
esta discrepancia es irrelevante.
5. Demuestre que A B = B A si y s
olo si A = B.
6. Muestre que
(a) A (B C) 6= (A B) C.
(b) A3 6= A A2 , es decir, (A A) A 6= A (A A).
Este ejercicio muestra que no es asociativo.
9. Demuestre que:
(a) (A B) C = (A C) (B C).
(b) (A B) C = (A C) (B C).
34
3. Algebra de Conjuntos
(c) A (B \ C) = (A B) \ (A C).
(d) A (B 4 C) = (A B) 4 (A C).
(a) (A C) (B D) = (A B) (C D).
(b) (A C) (B D) (A B) (C D). Muestre que es posible
que no se de la igualdad.
(c) (A B) (C D) = (A C) (B D) (A D) (B C).
(d) (X Y ) \ (B C) = ((X \ B) Y ) (X (Y \ C).
(b) La intersecci
on de la familia F es el conjunto
\ \
F= A = {x : A F, x A} .
AF
Ejemplo
S 3.31 Si M es la familia definida en el Ejemplo 3.27, entonces N =
M.
S
Ejemplo 3.32 Para cualquier conjunto X, X = P(X).
S T
Ejemplo 3.33 Si F = {A, B} , entonces F = A B y F = A B. Ver
Ejemplo 2.13.
S T
Ejemplo 3.34 Si F = {A} , entonces F = A = F.
A continuacion introduciremos un concepto asociado con las familias de
conjuntos. Supongamos que tomamos un conjunto I 6= y que a cada I le
corresponde un u nico conjunto A . Al sistema A = {A : I} le llamamos
familia de conjuntos indizada por el conjunto I. En este caso, se dice que I
es el conjunto de ndices de A. N
otese que no se requiere que a distintos ndices
les correspondan distintos conjuntos. Para referirnos a familias indizadas de
conjuntos, en ocasiones emplearemos la forma breve {A }I , o simplemente
{A } cuando sea claro el conjunto de ndices que se esta usando.
Observaci on 3.35 Cualquier familia no vaca de conjuntos F puede consi-
derarse como una familia indizada de conjuntos, donde el conjunto de ndices
es el mismo F, a saber: F = {FA : A F}, donde FA = A para cada A F.
36
3. Algebra de Conjuntos
Ejemplo 3.37 Para x R2 , la familia Ex del Ejemplo 3.29 es una familia in-
dizada de conjuntos, donde el conjunto de ndices es el conjunto de los n
umeros
reales positivos I = {r R : r > 0}. Tambien el sistema E es una familia in-
dizada de conjuntos, aqu el conjunto de ndices es R2 .
y con
\ \
An a An .
n=0 nN
S
Ejemplo 3.38 Para cualquier conjunto X, X = {{x} : x X} .
Ejemplo 3.41 Si
C = C P(R2 ) : Ces una circunferencia no degenerada
S
y E es el sistema del Ejemplo 3.29, entonces C = E.
3.3. Familias de Conjuntos 37
T T
Ejemplo 3.42 Si A B entonces B A.
" #
\ \ \
A B = {A B : (, ) I J} . (3.3.2)
I J
" #
\ \ \
A B = {A B : (, ) I J} . (3.3.6)
I J
38
3. Algebra de Conjuntos
Demostracio n:
S S S
(a)
S x [ {A : I}] [ {B : J}] si y s olo si x I A y x
J B si y s olo si x Ao para alg un S o I y x Bo para alg un o J
si y solo si x Ao B0 si y s olo si x {A B : (, ) I J}. Esto
establece la igualdad
S (3.3.1). Similarmente se establece (3.3.2).
S
(b) x X \ {A : I} si y s olo si x X y x / I A si y s olo si
xX T y I, x / A si y s olo si x X \ A para cada I, si y s olo si
x {X \ A : I}. Esto establece la ecuaci on (3.3.3). An alogamente se
establece (3.3.4).S S
(c) (a, b) [ {A : I}] [ {B : J}] si y s olo si existen I
y J talesS que a A y b B si y s
olo si (a, b) A B si y s olo
si (a, b) {A B : (, ) I J}. Lo que establece la igualdad (3.3.5).
Del mismo modo se prueba (3.3.6).
Finalmente:
T
Teorema 3.45 y P conmutan
!
\ \
P(A ) = P A .
I I
S
Sin embargo, y P no conmutan, aunque
!
[ [
P(A ) P A .
I I
Demostracio n:
T
A I P(A ) si y solo si paraTcada I, A P(A ) siTy solo si para
S A A y s
cada I, olo si A I A si y s olo si A P I A .
Si AS I P(A ) entonces existeS I tal que A P(A ), o sea, A
A I A , lo que implica A P I A .
3.3. Familias de Conjuntos 39
S
Para ver que y P no conmutan, sean A1 = {1}, A2 = {2}. Entonces
[
P(A ) = {, {1} , {2}}
I
y !
[
P A = {, {1} , {2} , {1, 2}} .
I
Ejercicios 3.3
1. Sea M = {{x
S N :x es par} , {x N : x es impar}}. Muestre que M 6=
N y que N = M.
Los conceptos de relaci on y funcion son, sin duda alguna, de los m as impor-
tantes dentro de las matematicas modernas. La mayor parte de la investigaci on
en matem aticas se centra en el estudio de relaciones y funciones, por lo cual,
no ha de sorprender que estos conceptos sean de una gran generalidad. Haus-
dor consideraba que el concepto de funci on es casi tan primitivo como el de
conjunto, y que decir del concepto de relaci on, el cual intuitivamente parece
mas esencial que el de funci
on.
En matematicas la palabra relacion es usada en el sentido de relacionar. Las
siguientes oraciones parciales son ejemplos de relaciones:
4.1 Relaciones
Empleando parejas ordenadas, intuitivamente podemos pensar que una rela-
ci
on (binaria) R es una proposicion tal que, para cada par ordenado (a, b),
uno puede determinar cuando a esta en relaci on R con b o cu ando no lo esta.
Parece factible que toda relaci
on debe determinar de manera u nica al conjunto
de aquellas parejas ordenadas en las cuales la primera coordenada mantiene
esta relaci
on con la segunda. Si conocemos la relacion, conocemos el conjunto y,
mejor aun, si conocemos el conjunto, conocemos la relaci on. En otras palabras,
las relaciones pueden ser representadas como el conjunto de todos los pares
ordenados de objetos mutuamente relacionados. Por ejemplo, el conjunto de
todos los pares ordenados consistente de un n umero real y su raz puede ser
llamado la relacion raz cuadrada. Notese aqu la importancia de considerar
44 4. Relaciones y Funciones
Ejemplo 4.2 Definimos una relaci on entre los enteros positivos y los enteros,
diciendo que un entero positivo m esta en relacion R con un entero n, si m
divide a n. La relaci
on R es simplemente el conjunto
. . . , (1, 3), (1, 2), (1, 1), (1, 0), (1, 1), (1, 2), (1, 3), . . .
. . . , (2, 6), (2, 4), (2, 2), (2, 0), (2, 2), (2, 4), (2, 6), . . .
. . . , (3, 9), (3, 6), (3, 3), (3, 0), (3, 3), (3, 6), (3, 9), . . .
Ejemplo 4.4 El conjunto es una relaci on llamada relacion vaca (para de-
mostrar que es un conjunto de parejas ordenadas, busque un elemento de
que no sea una pareja ordenada).
IdA = {(a, a) : a A}
es la relaci
on de igualdad o relacion identidad. Note que en una relacion en A
(como IdA ) cada par de elementos en A no necesariamente estan relacionados:
/ IdA y (b, a)
si a 6= b, (a, b) / IdA .
R1 = {z : z = (x, y) (y, x) R}
R1 = {w : w = (n, m) (m, n) R}
= {(n, m) : m entero positivo, n entero y (m, n) R}
= {(n, m) : n entero, mentero positivo y n es multiplo de m} .
Ejemplo 4.17 1 = .
{(x, y) : (y, x) R} .
on 4.25 La relaci
Definici on de pertenencia en (o restringida a) A es definida
por
A = {(a, b) : a A, b A y a b} .
Ejercicios 4.1
S S
1. Sea R una S on (binaria). Demuestre que dom R ( R) y que
S relaci
ran R ( R). Concluya de esto que dom R y ran R existen.
5. Sea R X Y . Demuestre:
T (S R) = (T S) R.
(a) Y .
(b) IdY .
(c) Determine el dominio, rango y campo de ambas relaciones.
T
9. Muestre que si M es una familia no vaca de relaciones entonces M
es una relaci
on.
4.2 Funciones
La palabra funci on fue introducida a las matem aticas por Leibniz, quien
originalmente utilizo este termino para referirse a cierta clase de formulas
matem aticas. La idea de Leibniz estaba muy limitada, y el significado de la
palabra tuvo desde entonces muchas fases de generalizaci on. Hoy en da, el sig-
nificado de funcion es esencialmente el siguiente: Dados dos conjuntos A y B,
una funcion de A en B es una correspondencia que asocia con cada elemento
de A un unico elemento de B. Una funcion, por tanto, representa un tipo espe-
cial de relaci
on: una relaci
on donde todo objeto del dominio esta relacionado
precisamente con un u nico objeto del rango, nombrado el valor de la funcion.
1
Esta definici
on de funci
on fue propuesta por G. Peano [P2 ].
50 4. Relaciones y Funciones
no es una funci
on ya que (1, 1) y (1, 2) pertenecen a f, y sin embargo 1 6= 2.
Puesto que las funciones son relaciones, los conceptos de rango, imagen,
inversa y composicion pueden ser aplicados. Si f : A B y A1 A, B1 B
tenemos que f A B, la imagen de A1 bajo f es el conjunto
f (A1 ) = {y B : (x, y) f, x A1 }
= {f (x) : x A1 } .
(e) Si A0 B 0 Y entonces
f 1 (A0 ) f 1 (B 0 ) y f 1 (B 0 \ A0 ) = f 1 (B 0 ) \ f 1 (A0 ).
f (f 1 (A0 )) = A0 f (X).
n:
Demostracio
(a) Esto se obtiene ya que f es una funci on (para todo x X, existe y Y
tal que (x, y) f ) y por la definici on de f (A) = {f (x) : x A}.
(b) Es clara.
(c) Esto se debe a que (x, y1 ) f y (x, y2 ) f implica y1 = y2 .
(d) Veamos primero que f (A) f (B). Si y f (A) entonces existe x A
tal que f (x) = y. Como A B entonces x B, luego y f (B). Por lo tanto,
f (A) f (B).
Si y f (B) \ f (A) entonces y f (B) y y / f (A), por lo que se deduce la
existencia de x B tal que f (x) = y. Adem as, como y / f (A), entonces para
cualquier a A, f (a) 6= y, con lo cual x B \ A; as, y f (B \ A). Por lo
tanto, f (B) \ f (A) f (B \ A).
(e) Veamos primero que f 1 (A0 ) f 1 (B 0 ), si A0 B 0 . Si x f 1 (A0 )
entonces existe y A0 tal que f (x) = y. Como A0 B 0 y y B 0 , x f 1 (B 0 ).
Por lo tanto, f 1 (A0 ) f 1 (B 0 ). Ahora veamos que f 1 (B 0 \ A0 ) = f 1 (B 0 ) \
52 4. Relaciones y Funciones
dejando como
S ejercicio
las igualdades restantes.
S
yf I A si y solo si existe x I A con f (x) = y si y s olo si
existen I y x AStales que f (x) = y si y s olosi
S existe
S I tal que y
f (A ) si y s
olo si y I f (A ). Por lo tanto, f I A = I f (A ).
(g) Ejercicio.
El Axioma de Extensi
on puede ser aplicado a funciones como sigue:
f |A = {(a, b) f : a A} .
f f = {(x,
n z) : y para el cual (x, y) f, (y, z) f } o
= (x, z) : y para el cual x 6= 0, y = x12 , z = y12
= (x, z) : x 6= 0, z = x4 ;
f 1 (dom g) =
{x R : f (x) dom g}
= x : x2 1 0
= {x R : x 1 x 1} .
Por lo tanto,
y
gf = n(x, z) : x2 1 0 y R, o
y = x2 1 z = y
= (x, x2 1 : x 1 x 1 .
y (y, z) h g si y s
olo si (x, z) (h g) f .
f 1 f = IdA y f f 1 = IdB ,
n:
Demostracio
(a) (b) Obvio.
(b) (c) Sea x0 X y definamos g : Y X del siguiente modo:
x0 , si y
/ f (X)
g(y) =
x, si y = f (x).
f (x) B \ f (f 1 (B));
g f = IdX y f g = IdY ,
f 1 (g 1 (A)) 6= .
f (g(y)) = y = f (f 1 (y)).
Una de las razones por las cuales las funciones biyectivas son tan importantes
es la que a continuacion exponemos. Supongamos que X y Y son dos conjuntos
y que f : X Y es una funcion biyectiva entre ellos. Si u nicamente estamos
interesados en X como conjunto, es decir, sin atender a la naturaleza de sus
elementos, entonces podemos considerar a estos dos conjuntos como equiva-
lentes desde el punto de vista de la Teora de Conjuntos puesto que cualquier
afirmacion y construccion de la Teora de Conjuntos que sea posible realizar
con X tambien se puede realizar con Y . S olo como una muestra, si Z es otro
conjunto y estamos interesados en funciones de X en Z, entonces cualquier
funcion g : X Z tiene una u on correspondiente ge : Y Z, a
nica funci
saber, ge = g f 1 . As entonces, podemos cambiar nuestro estudio de las
funciones de X en Z por el estudio de las funciones de Y en Z. Podramos dar
60 4. Relaciones y Funciones
n:
Demostracio
(a) ] Sean (x, y) f g y (x, z) f g, entonces x dom f dom g.
Si x dom f 4 dom g, necesariamente (x, y) f \ g y (x, z) f \ g. O bien,
(x, y) g \ f y (x, z) g \ f , y en este caso, se concluye que y = z.
Si por el contrario x dom f dom g, por hip otesis f (x) = g(x); as,
y = f (x) = z. Por lo tanto, f g es funcion.
] Sea x dom f dom g. Entonces (x, f (x)) f g y (x, g(x)) f g.
Como f g es funci on, se sigue que f (x) = g(x).
(b) Ejercicio.
Demostracio n:
S
Claramente S
S F es una relaci
on; probaremos que es una funci on. Si (a, b)
F y (a, c) F, hay funciones f1 , f2 F tales que (a, b) f1 y (a, c) f2 .
4.2. Funciones 61
De hecho, nosotros deberamos mostrar que tal conjunto existe, pero nos
basta observar que B A P(A B).
Ejercicios 4.2
son funciones.
2. Completar la demostraci
on del Teorema 4.34.
4. Encuentre la funci
on inversa de la funci
on del Ejemplo 4.38.
(a) f |A = f i.
(b) Pongamos g = f |A . Entonces g 1 (B) = A f 1 (B) para cada
B Y.
62 4. Relaciones y Funciones
f1 = {(x, 2x 1) : x R}
f2 = {(x, x) : x 6= 0}
3
f3 = {(x,
x) : x R}
1
f4 = (x, x ) : x R, x 6= 0
7. Sean f : X Y y g : Y Z.
11. (a) Dar un ejemplo de una funcion que tenga inversa izquierda pero no
inversa derecha.
(b) Dar un ejemplo de una funcion que tenga inversa derecha pero no
inversa izquierda.
(c) Dar un ejemplo de una funcion que tenga dos inversas izquierdas.
(d) Dar un ejemplo de una funcion que tenga dos inversas derechas.
4.3. Productos Cartesianos Arbitrarios 63
19. Pruebe
S que el conjunto de todas las funciones desde A hacia B es igual
a XA B X .
x : {1, 2, . . . , m} X.
(x1 , x2 , . . . , xm ).
Ejemplo 4.58 Tenemos hasta este momento dos definiciones para el smbolo
A B. Una definicion es la dada en la Seccion 3.2; seg
un esta, A B denota
el conjunto de todos los pares ordenados (a, b) tales que a A y b B. La
segunda definici
on, presentada en esta secci
on, define a AB como el conjunto
de todas las funciones x : {1, 2} A B tales que x1 A y x2 B. Hay
una obvia correspondencia biyectiva entre estos dos conjuntos: al par (a, b) le
hacemos corresponder la funcion x:{1, 2} A B definida como x1 = a y
x2 = b. Hemos acordado denotar a esta funcion con el smbolo (x1, x2 ). Esta
notaci
on sugiere en s misma la correspondencia mencionada.
(x0 , x1 , . . . , xi , . . .) o (xn )
n=0 .
Q
Entonces los elementos de
S
n=0 An son sucesiones (xn )n=0 de elementos en
n=0 An cuyo i-esimo termino, xi = x(i), pertenece a Ai .
Note que las definiciones anteriores no requieren que los conjuntos Ai sean
diferentes uno del otro. De hecho, ellos pueden ser todos iguales a un mismo
conjunto A. En este caso, el producto cartesiano A1 A2 Am es justa-
mente el conjunto Am de m-adas de elementos en A, y el producto A1 A2
es justamente el conjunto AN de todas las sucesiones de elementos en A.
Estamos
Q definiendo un nuevo conjunto; un ejercicio de esta seccion es probar
que I A existe para cualquier familia de conjuntos {A }I en donde I
es un conjunto no vaco. Observemos
Q u
nicamente que si en la familia {Ba }aA
cada Ba = B, el producto aA Ba es justamente B A .
Q
Ejemplo 4.63 Si cada A tiene exactamente un elemento, entonces I A
tiene un elemento.
Q
Ejemplo 4.64 Si I 6= y alg un A = , entonces I A = .
dada por
p ((x )I ) = x .
Q
Es decir, si x I A , entonces p (x) = x() = x .
1
Q Para I y C X , denotemos a p (C ) por hC i; este es el gajo en
I X donde cada factor es X excepto el - esimo, el cual es C . Similar-
mente, para una cantidad finita de ndices 1 , 2 , . . . , m y los conjuntos
C1 X1 , . . . , Cm Xm ,
T Tm 1
el subconjunto m
i=1 hCi i = i=1 pi (Ci ) es denotado por
hC1 , . . . , Ci i .
Demostracio n:
Q
c I C si y s olo si para cada T I, p (c) C si y solo si para cada
I, c p1
(C ) si y s
olo si c I hC i. Esto establece (a); (b) se prueba
de manera similar a (a), y (c) se sigue de (a) y (b) usando el Teorema 3.43.
Ejercicios 4.3
A1 A2 An en (A1 A2 An1 ) An .
68 4. Relaciones y Funciones
(a) {x = (xn )
n=0 : xn es entero para cada n N} ,
(b) {x = (xn )
n=0 : xn n para cada n N} ,
(c) {x = (xn )
n=0 : xn es un entero para cada n 100} ,
(d) {x = (xn )
n=0 : x2 = x3 } .
2
a, b A significa a A y b A.
70 4. Relaciones y Funciones
Ejemplo 4.73 Sea P el conjunto de todas las personas que viven en la tierra.
Decimos que una persona p es equivalente a q (p = q) si ambos p y q viven
en el mismo pas. Trivialmente = es reflexiva, simetrica y transitiva en P .
Note que el conjunto P del ejemplo anterior puede ser partido en clases de
elementos mutuamente equivalentes; toda la gente que vive en Mexico forman
una de estas clases, todas las personas que viven en Francia forman otra clase,
etc. Todos los miembros de una misma clase son equivalentes. Las clases de
equivalencia corresponden exactamente a los diferentes pases.
[a] = {x A : xEa} .
3
m es divisible por n si existe k Z tal que m = k n.
4.4. Equivalencias y Particiones 71
A/E = {[a] : a A} .
El que pE : A A/E sea una funcion puede deducirse del Lema 4.77; en
efecto, para a A, (a, Eb) pE y (a, Ec) pE implica a Eb y a Ec con
lo cual Eb Ec 6= ; as Eb = Ec. Claramente pE es una funci
on sobreyectiva,
pero en general no es inyectiva (puesto que Ea = Eb siempre que aEb).
4
Este ejemplo se debe a Vitali [V] quien prob o que ninguno de los conjuntos de repre-
sentantes de la relaci
on definida en el ejemplo es medible seg
un Lebesgue (ver Ejemplo 8.18).
74 4. Relaciones y Funciones
n:
Demostracio
Definamos f : A/R B/S como f (Ra) = Sf(a) para cada Ra A/R.
Veamos primero que f est a bien definida. La funci
on f asigna a Ra el unico
(por el Lema 4.77) elemento Sb B/S tal que f (a) Sb. As entonces, para
ver que f esta bien definida es suficiente con mostrar que la clase Sf(a) no
depende del representante a seleccionado. Si Ra = Ra0 , por el Lema 4.77,
aRa0 . Puesto que f preserva relaciones, tenemos que f (a)Sf(a0 ). Por lo tanto,
f est
a unvocamente definida. El dominio de f es A/R ya que A es el dominio
de f y pR es sobreyectiva.
Por otro lado,
(pS f )(a) = pS (f (a)) = Sf (a) = f (Ra) = f (pR (a)) = (f pR )(a),
lo cual significa que pS f = f pR (vease el Lema 4.35). Finalmente,
f es unica puesto que pR es sobreyectiva: si g fuera otra funcion tal que
pS f = g pR , entonces f pR = g pR y, por el Teorema 4.49(e), f = g .
Por lo tanto, que f es unica.
Ejercicios 4.4
on E en R2 definida por
7. Considere la relaci
E = ((x1 , y1 ), (x2 , y2 )) : y1 (x1 )2 = y2 (x2 )2 .
E = {(x, y) : y = x + 1} , E 0 = {(x, y) : y x Z} .
(a) R M implica R E,
(b) si E 0 es una relaci
on de equivalencia en A y R M, R E 0 ,
entonces E E . 0
S
19. Si M = {EA , EB }, describa M y la relaci on E cuya existencia se
asegura en el ejercicio anterior.
4.5 Ordenes
Otro de los conceptos fundamentales en matematicas es el concepto de orden en
un conjunto. Un orden puede ser definido como una relacion con caractersticas
especiales.
on 4.91 Una relaci
Definici on R en A es antisimetrica si para todo a, b A,
aRb y bRa implica a = b.
Definici on 4.92 Una relacion R en A, que es reflexiva, antisimetrica y tran-
sitiva se llama orden (parcial) en A. El par (A, R) se le llama conjunto (par-
cialmente) ordenado.
Primero note que el dominio de un orden en A es A. A aRb se le puede leer
como: a es menor o igual que b, b es mayor o igual que a, a precede a
b o b es sucesor de a (en el orden R). As, todo elemento de A es menor
(mayor) o igual a s mismo. Generalmente se usan los smbolos , , , para
denotar ordenes.
Ejemplo 4.93 La relaci
on vaca , en cualquier conjunto A no es un orden,
salvo que A = .
Ejemplo 4.94 Dado un conjunto A, la relaci
on identidad es un orden.
Ejemplo 4.95 Si es el orden usual en el conjunto de los n
umeros reales,
entonces es un orden seg
un la Definici
on 4.92.
78 4. Relaciones y Funciones
ab o b a.
5
Lor
ordenes lineales fueron considerados originalmente por Cantor [C1 ]. Los
ordenes
parciales fueron introducidos por Hausdor [H4 ].
6
Esto no quiere decir que los n
umeros complejos sean un campo ordenado; de hecho, eso
es imposible. Para la definici
on de campo ordenado vea la pagina 206.
80 4. Relaciones y Funciones
7
En castellano no se emplean las palabras maximal y minimal. Algunas traducciones
prefieren utilizar los terminos elemento m
aximo y elemento mnimo como nombres para
tales conceptos; m aximo y mnimo para el elemento m
aximo y mnimo. Creemos que la
terminologa aqu empleada evita confusiones.
4.5. Ordenes 81
Ejemplo 4.117 Sea A cualquier conjunto con el orden dado por la relacion
identidad, IdA . Si B A entonces cualquier elemento de B es tanto minimal
como maximal.
En el siguiente teorema se encuentran algunas propiedades de los elementos
mnimo y minimal. La demostraci on se deja como un ejercicio.
Teorema 4.118 Sean A ordenado por , y B A.
(a) B tiene a lo mas un elemento mnimo.
(b) El elemento mnimo de B (si existe) es tambien minimal.
(c) Si B es una cadena, entonces todo elemento minimal de B es tambien
un mnimo.
El teorema es tambien valido si las palabras mnimo y minimal son
reemplazadas por m aximo y maximal, respectivamente.
Definici on 4.119 Sean un orden en A y B A.
(a) a A es una cota inferior de B en el conjunto ordenado (A, ), si
a x para todo x B.
(b) a A es llamado nfimo de B en (A, ) (o m
axima cota inferior), si es
el elemento m aximo del conjunto de todas las cotas inferiores de B en (A ).
(c) a A es una cota superior de B en el conjunto ordenado (A, ), si
x a para todo x B.
(d) a A se llama supremo de B en (A, ) (o mnima cota superior), si es
el elemento mnimo del conjunto de todas las cotas superiores de B en (A, ).
La diferencia entre a es el mnimo de B y a es una cota inferior de
B, es que el segundo concepto no requiere que a B. Un conjunto puede
tener muchas cotas inferiores; pero el conjunto de todas las cotas inferiores de
B puede tener a lo m as un elemento m aximo. As, B puede tener a lo m as
un nfimo. Similar observaci
on puede hacerse para maximo, cota superior y
supremo. A continuaci on expresamos formalmente estas ideas.
Teorema 4.120 Sean (A, ) un conjunto ordenado y B A.
(a) B tiene a lo m as un nfimo.
(b) Si b es el elemento mnimo de B, entonces b es nfimo de B.
(c) Si b es el nfimo de B y b B, entonces b es el elemento mnimo de
B.
(d) b A es el nfimo de B en (A, ) si y s olo si
(i) b x, para todo x B, y
(ii) si b0 x, para todo x B, entonces b0 b.
El teorema es v alido si las palabras mnimo e nfimo son reemplazadas
por m aximo y supremo y es reemplazado por en (i) y (ii).
82 4. Relaciones y Funciones
n:
Demostracio
(a) Est
a practicamente probada en la observaci on que precede al teorema.
(b) El mnimo elemento de B es ciertamente una cota inferior de B. Si b0 es
cualquier otra cota inferior de B, b0 b puesto que b B. As, b es el elemento
maximo del conjunto de todas las cotas inferiores de B.
(c) Es obvio.
(d) Esta es solo una reformulacion de la definicion de nfimo.
Empleando los Teoremas 4.118 y 4.120 podemos usar una notacion para de-
notar mnimo, maximo, nfimo y supremo de un subconjunto B en un conjunto
ordenado (A, ). La notacion com unmente empleada es: min B, max B, inf B
y sup B, respectivamente.
B = {x X : x es negativo} .
(4.5.1)
El primero es el diagrama de una cadena de cinco elementos. Claramente,
el diagrama de cualquier cadena tiene esta forma. El ultimo de los diagramas
corresponde al conjunto potencia de un conjunto con tres elementos, ordenado
por la inclusi
on; el punto en el nivel mas bajo representa al conjunto vaco,
los puntos del siguiente nivel representan los subconjuntos unitarios, y as
sucesivamente. Tales diagramas no solo sirven para representar un conjunto
ordenado por una figura que muestre la relacion de orden, tambien pueden ser
usados para definir conjuntos ordenados: la relaci
on de orden es justamente la
indicada por la variedad de lneas quebradas.
Para preparar nuestra siguiente definici
on que relaciona conjuntos ordena-
dos, discutiremos un ejemplo. Considere el conjunto
{1, 2, 3, 5, 6, 10, 15, 30} ,
cuyos miembros son los divisores positivos de 30, ordenados por la relaci on
, donde x y si y s olo si x es multiplo de y. Se deja como un ejercicio
mostrar que el diagrama de este conjunto ordenado es identico al diagrama
asociado a los subconjuntos de un conjunto de tres elementos ordenado por
la contencion. A pesar de que estos conjuntos ordenados son distintos, ellos
son indistinguibles en su estructura como conjuntos ordenados. Es ciertamente
notable que exista este tipo de relaciones entre dos conjuntos ordenados ya que
cualquier propiedad de uno que sea expresable en terminos de su relacion de
orden tiene una analoga en el otro conjunto. La identidad de los diagramas de
los dos conjuntos ordenados antes mencionados implican, primero: la existencia
de una biyeccion entre los conjuntos; segundo: que la relacion de orden entre
dos elementos de uno de los conjuntos, es la misma que para el correspondiente
par de elementos en el otro conjunto.
84 4. Relaciones y Funciones
p1 p2 si y s
olo si h(p1 ) h(p2 ).
Ua = {x A : x < a} .
n:
Demostracio
Por el Lema 4.134, si (W, ) es un conjunto bien ordenado y
f :W W
Ejercicios 4.5
xy si y s
olo si x, y A y x y
o x, y B y x y
o x A y y B.
f g si y s
olo si f g.
19. Muestre que en una cadena los conceptos de elemento m aximo y ele-
mento maximal coinciden, y muestre lo mismo para elemento mnimo y
elemento minimal.
20. Un conjunto (parcialmente) ordenado es una retcula si para cada a, b
A, el conjunto {a, b} tiene supremo e nfimo.
4.5. Ordenes 91
22. Sea (A, ) un conjunto ordenado con la propiedad de que todo subcon-
junto no vaco con una cota superior tiene supremo. Pruebe que A tiene
la propiedad de que cualquier subconjunto de A no vaco con una cota
inferior tiene nfimo. A las propiedades anteriores se les llama propiedad
de la mnima cota superior y propiedad de la m axima cota inferior.
[a, b] = {x A : a x y x b} .
26. Pruebe por medio de un ejemplo que si (A, ) y (B, ) son conjuntos
ordenados y f : A B es una biyeccion que preserva el orden, entonces
f 1 : B A no necesariamente preserva el orden.
29. Sean A, B conjuntos bien ordenados. Demuestre que los ordenes lexi-
cogr
afico vertical y lexicogr
afico horizontal en AB son tambien buenos
ordenes.
92 4. Relaciones y Funciones
31. Sea (A, ) un conjunto bien ordenado. Muestre que no existen una suce-
siones {an A : n N} tales que an+1 an y an 6= an+1 para toda
n N.
Por esta razon, no es mala idea considerar a esta asignacion como una funcion
entre clases. Pensada como funci on entre clases la asignacion que estamos
considerando quedara expresada como:
Un : V V V
K1 K2 = h(x, y) : x K1 , y K2 i .
5.1 Introduccion
Para desarrollar las matematicas dentro de la Teora de Conjuntos, es necesario
definir a los n
umeros naturales.
Para una persona medianamente instruida, el punto de partida obvio de la
matem atica son los n
umeros naturales
1, 2, 3, 4, . . . etc.
0, 1, 2, 3, . . . , n, n + 1, . . . .
La siguiente observaci
on no trivial es que podemos definir la proposici
on
los conjuntos A y B tienen el mismo n umero de elementos sin ning un
conocimiento previo de la nocion de n
umero.
Definicion 5.1 Los conjuntos A y B son equipotentes (tienen la misma car-
dinalidad o la misma potencia) si hay una funcion biyectiva f con domino A
y rango B.
La equipotencia tiene propiedades interesantes.
Teorema 5.2 (a) A es equipotente a s mismo, para todo conjunto A.
(b) Si A es equipotente a B, entonces B es equipotente a A.
(c) Si A es equipotente a B y B es equipotente a C, entonces A es equipo-
tente a C.
n:
Demostracio
(a) IdA es una funcion biyectiva de A en s mismo (ver Ejemplo 4.46).
(b) Si f : A B es una funci on biyectiva, entonces f 1 : B A tambien
es una funcion biyectiva.
(c) Si f : A B y g : B C son funciones biyectivas, entonces g f : A
C es una funcion biyectiva.
1 = {0} = {} .
2 = {0, 1} = {, {}} .
3 = {0, 1, 2} = {, {} , {, {}}}
4 = {0, 1, 2, 3} = {, {} , {, {}} , {, {} , {, {}}}}
5 = {0, 1, 2, 3, 4} , etc.
Ejercicios 5.1
(a) {, {} , {{}}} ,
(b) {, {} , {{}} , {, {}}} ,
(c) {, {{}}} .
5. Cu
ales de los conjuntos del ejercicio anterior son n
umeros naturales?
Usaremos ahora estos lemas para dar una caracterizaci on de los numeros
naturales m
as simple. Si observamos nuevamente la construcci
on de los prime-
ros n
umeros, definimos 2 = {0, 1}; para obtener 3 adjuntamos a 2 un tercer
5.2. Propiedades de los N
umeros Naturales 101
elemento, a saber,
3 = 2 {2} = {0, 1} {2} .
Similarmente
4 = 3 {3} = {0, 1, 2} {3}
5 = 4 {4} = {0, 1, 2, 3} {4}
etc.
Dado un numero natural n, obtenemos el siguiente n
umero adjuntando
un elemento mas a n, a saber, n mismo. Este procedimiento empieza en 0,
pues de hecho, 0 es el primer n
umero natural.
Con la definici
on anterior, el Teorema 5.8 asegura que el conjunto de los
numeros naturales es inductivo. Hay una u nica dificultad con esta formu-
laci
on: no hemos probado que el conjunto de los n umeros naturales exista.
Hay una buena razon para esto, los axiomas tratados hasta ahora no impli-
can la existencia de conjuntos de una infinidad de objetos. Pero la posibilidad
de colecciones infinitas de objetos en una entidad singular es la esencia de la
Teora de Conjuntos. Por tanto, extendemos nuestro sistema axiomatico.
N = {x : x es un n
umero natural} = {x A : x es un n
umero natural}
5.2. Propiedades de los N
umeros Naturales 103
Teorema 5.12 (Principo de Inducci on) Sea P(x) una propiedad (posible-
mente con par
ametros). Supongamos que:
(a) P(0),
(b) n N, P(n) P(S(n)).
Entonces P(n) para todos los n
umeros naturales n.
n:
Demostracio
Las suposiciones (a) y (b) simplemente dicen que el conjunto
A = {n N : P(n)}
Ejercicios 5.2
1. Pruebe que S(x) es una (clase) funcion de la clase de todos los conjuntos
en la clase de todos los conjuntos.
2. Pruebe que si n N, entonces no existe un k N tal que n < k < S(n).
3. Pruebe:
s(0) = 1,
s(n + 1) = n2 , para todo n N.
2) La funci
on f : N N definida por:
f (0) = 1
f (n + 1) = f (n) (n + 1), para todo n N.
s(x) = y si y s
olo si P(x, y);
un n N, x = n+1 y y = n2 . La existencia y
a saber: x = 0 y y = 1, o para alg
unicidad de una funcion s que satisfaga 1) se sigue inmediatamente de nuestros
axiomas:
s = {(x, y) N N : P(x, y)} .
En contraste, las instrucciones provistas por la definicion de f nos dicen
c
omo calcular f (x) teniendo el valor de f para algun numero mas peque
no (a
saber, x 1). No es inmediatamente obvio c omo formular una propiedad P
que no involucre la funcion f en su definici
on y tal que
f (x) = y si y s
olo si P(x, y).
La definici
on 2) proporciona condiciones que debe satisfacer la funcion f :
f es una funcion de N en N que satisface la condicion inicial: f (0) = 1, y la
condici
on recursiva: para todo n N, f (n + 1) = f (n) (n + 1).
Este tipo de definiciones recursivas son ampliamente usadas en matem aticas.
Sin embargo, una definicion recursiva esta justificada solo si es posible mostrar
que existe alguna funcion que satisfaga las condiciones requeridas, y que no
existen dos o mas de tales funciones.
f (0) = 1 y
f (m) = 1 2 3 (m 1) m, si m N\ {0} .
5.3. El Teorema de Recursi
on 107
on t+ en S(S(n)) es un
un calculo de longitud n. Entonces la siguiente funci
c
alculo de longitud S(n):
t+ (k) = t(k), si k n
t+ (S(n)) = g(t(n), n).
(a) h(0) = a,
(b) h(S(n)) = g(h(n), n), para todo n N.
por lo tanto, f = h.
B = {q A : q p}
es acotado (p es una cota superior) y no vaco (de otro modo, p sera el mnimo
elemento de A, pero entonces p = f (0)). Sea q el elemento m aximo de B (este
existe por la hipotesis (c)). Como q p, tenemos que q = f (m) para alg un
m N. Sin embargo, es f acil ver que p es el mnimo elemento de A mayor que
q. Por lo tanto, p = f (S(m)) por la condicion recursiva (ii). Consecuentemente
p f (N), que es una contradicci on.
Ejercicios 5.3
1. Demuestre el Teorema 5.17 de modo analogo al Teorema de Recursion.
f 0 = IdA ,
f n+1 = f n f para todo n N.
: A A A.
n:
Demostracio
Sea n un elemento fijo de N. Definamos g : N N N por g(x, y) = S(y).
Por el Teorema 5.15 existe exactamente una funci on fn : N N donde
fn (0) = n y fn (S(m)) = g(m, fn (m)) = S(fn (m)). Ahora definamos
f :NNN
n + 1 = S(n).
5.19(a) 0 + m = m
5.19(b) (m + 1) + n = (m + n) + 1.
a0 = a
an+1 = g(an , n) para todo n N.
El lector seguramente reformulara las otras versiones del Teorema de Re-
cursion por s mismo.
En el siguiente Teorema se enuncian las principales propiedades de la adici
on
Teorema 5.20 La adici on en N tiene las siguientes propiedades.
A1 . Asociatividad. Para todo m, n, p N,
m + (n + p) = (m + n) + p.
A2 . Conmutatividad. Para todo m, n N,
m + n = n + m.
A3 . Ley de Cancelaci
on. Para todo m, n, p N,
m+p=n+p m = n.
A4 . Para todo m, n N,
mn p N, m + p = n.
A5 . Para todo m, n, p N,
m<n m + p < n + p.
A6 . Para todo m, n N,
m+n=0 m = 0 y n = 0.
114 5. Los N
umeros Naturales
n:
Demostracio
A1 . Sean n, p N fijos y sea
M = {m N : m + (n + p) = (m + n) + p} .
(m + 1) + (n + p) = [m + (n + p)] + 1
= [(m + n) + p] + 1
= [(m + n) + 1] + p
= [(m + 1) + n] + p,
S(S(n)) + m = S(S(n) + m)
= S(n + S(m))
= S(n) + S(m),
Mn = {m N : m + n = n + m} .
O sea, S(p) tambien es miembro del conjunto. Esto concluye la prueba de que
m + p 6= m + p implica m 6= n.
A4 . Sean m, n N con m n. Entonces
A = {x N : x + m n} 6=
Ahora se definir
a la multiplicaci
on.
m(np) = (mn)p.
mn = nm.
M3 . Ley de Cancelaci
on. Para todo m, n, p N, p 6= 0,
pm = pn m = n.
M4 . Distribuci
on sobre la adici
on. Para todo m, n, p N,
m(n + p) = mn + mp.
M5 . Para todo m, n, p N, p 6= 0,
M6 . Para todo m, n N,
mn = 0 m = 0 o n = 0.
n:
Demostracio
Es conveniente probar estas propiedades en el orden M4 , M2 , M1 , M6 , M3 , M5 .
M4 . Para n y p fijos considerese
A = {m N : m(n + p) = mn + mp} .
S(m)(n + p) = m(n + p) + (n + p)
= (mn + mp) + (n + p)
= (mn + n) + (mp + p)
= S(m)n + S(m)p.
S(m) n = mn + n
= nm + n
= nm + n S(0)
= n(m + S(0))
= n(S(0) + m)
= n S(m);
on, M2 esta
as, S(m) es un elemento del conjunto. Por el Principio de Inducci
probada.
M1 . Para n, p N fijos considere {m N : m(np) = (mn)p}. Este conjunto
contiene a 0, y si contiene a m, entonces contiene a S(m) puesto que S(m)
(np) = m(np) + (np) = (mn)p + (np) = (mn + n)p = (S(m) n)p.
M6 . Asumamos que mn = 0 y m 6= 0. Entonces m = S(p) para alg un p N.
Como 0 = mn = S(p) n = pn + n, entonces, por A6 , n = 0.
M3 . Supongamos que pm = pn y p 6= 0. Como es un orden lineal en N,
entonces m n o n m. Sin perdida de generalidad supongamos que m n,
entonces por A4 , n = d + m para alg un d N. Por lo tanto, 0 + pm = pm =
pn = p(d + m) = pd + pm. Por A3 , 0 = pd y p 6= 0; entonces d = 0 por M6 . Se
concluye que m = n.
M5 . Supongamos que m < n y p 6= 0. Entonces, n = d+m para alg un d 6= 0.
Luego, pn = pd + pm y pd 6= 0, por M6 . Por lo tanto, usando A4 , pm < pn.
El recproco se deja como ejercicio.
P1 0 N.
P4 Para todo n N, n + 0 = n.
P6 Para todo n N, n 0 = 0.
P7 Para todo m, n N, S(m) n = (m n) + n.
P8 Para todo n N, si n 6= 0 entonces n = S(k) para alg
un k N.
P9 La Induccion Esquematica. Sea A una propiedad aritmetica (es decir, una
propiedad expresable en terminos de +, , S, 0). Si 0 tiene la propiedad
A y si A(k) implica A(S(k)) para cada k N, entonces todo n umero
natural tiene la propiedad A.
No es difcil verificar que los n
umeros naturales y la aritmetica aqu definida
satisface los Axiomas de Peano, que en realidad originalmente solo consisten
de P1, P2, P3, P8 y P9, los cuales fueron publicados en [P1 ]. Peano los tom o
como punto de partida para dar un enfoque axiom atico a la teora de los
umeros naturales. Sin embargo, los axiomas se acreditan a Dedekind [D2 ].
n
Ejercicios 5.4
1. Use el Teorema de Recursion para probar la existencia y unicidad de una
funcion (sucesi
on) con las siguientes propiedades (especifique g).
6.1 Diferencias
on 6.1 (a) Por una diferencia entendemos un par ordenado (m, n)
Definici
N N.
(b) Decimos que una diferencia es positiva si m > n.
(c) En el conjunto N N de todas las diferencias, definimos una relaci
on
por:
d
(m, n) (p, q) si y s
olo si m + q = p + n.
d
n:
Demostracio
Reflexividad. Es claro que para cualquier diferencia (m, n) se cumple que
(m, n) (m, n).
d
Simetra. Si (m, n) (p, q), entonces m + q = p + n, o bien p + n = m + q;
d
as, (p, q) (m, n).
d
Transitividad. Si (m, n) (p, q) y (p, q) (r, s), entonces m + q = p + n y
d d
p + s = r + q. De esto,
m+q+s =p+n+s
= (p + s) + n
= r + q + n.
120 6. La Extensi
on de los Naturales a los Reales
Lema 6.3 (a) Si (m, n) es una diferencia positiva y (m, n) (p, q), entonces
d
(p, q) es una diferencia positiva.
(b) Si (m, n) es positiva, entonces existe una diferencia (p, 0) con p 6= 0
tal que (m, n) (p, 0).
d
n:
Demostracio
(b) Si (m, n) es una diferencia positiva, entonces m > n, as que existe p
N\ {0} tal que m = p + n. Por lo tanto, (m, n) (p, 0).
d
(a) Si (m, n) es una diferencia positiva y si (m, n) (p, q), entonces existe
d
r N\ {0} tal que (r, 0) (m, n). Por la transitividad de , se sigue que
d d
(r, 0) (p, q); as que r + q = p. Se concluye que p > q. Por lo tanto, (p, q) es
d
una diferencia positiva.
Definicion 6.4 Una operaci on llamada adici
on o suma, y simbolizada por +
es definida para diferencias por
(m, n) + (p, q) = (m + p, n + q).
Claramente, la adicion es una operaci
on binaria en N N. La motivaci
on
para la definici
on es que si x + n = m y y + q = p, entonces se sigue que
(x + y) + (n + q) = m + p.
Lema 6.5 Si x, y, u y v son diferencias y x u, y v, entonces x+y u+v.
d d d
n:
Demostracio
Supongamos que (a, b) (m, n) y que (c, d) (p, q). Entonces
d d
a+n=m+b (6.1.1)
y
c + q = p + d. (6.1.2)
Sumando las igualdades (6.1.1) y (6.1.2), y usando la conmutatividad y aso-
ciatividad de la suma en N se tiene que
(a + c) + (n + q) = (m + p) + (b + d).
O sea, (a + c, b + d) (m + p, n + q).
d
6.1. Diferencias 121
n:
Demostracio
Dejamos como ejercicio las partes (a) y (b).
(c) Supongamos que (a, b) + (m, n) (a, b) + (p, q), entonces
d
(a + m, b + n) (a + p, b + q);
d
Ejercicios 6.1
Se sigue del Lema 6.3 que si [x]i es positivo, entonces todo miembro de [x]i
es positivo. El conjunto de todos los enteros positivos se denota por Z+ .
Consideremos la siguiente relacion de Z Z en Z:
Acorde al Lema 6.8 esta relaci on es una funci on, que en virtud de su forma,
es una operacion binaria en Z. Llamamos a esta operaci on multiplicaci
on y es
simbolizada por ; as,
[x]i [y]i = [x y]i .
olo si [(p, q)]i ([(m, n)]i ) Z+ . Mostraremos que <i es un orden lineal
si y s
estricto para Z; as que i es un orden total en Z. M as a
un, i es un buen
orden en {[(0, 0)]i } Z+ .
La tercera observaci on es que la funcion
f :NZ
definida por f (n) = [(n, 0)]i , es inyectiva y preserva las operaciones de suma y
multiplicacion. Mas a
un, f tambien preserva el orden, es decir m n implica
f (n) i f (m). As podemos decir que Z tiene un subconjunto que es la imagen
124 6. La Extensi
on de los Naturales a los Reales
[(0, m)]i = mi ,
Z = { , 2i , 1i , 0i , 1i , 2i , } .
x Z+ , x = 0i , x Z+ .
n:
Demostracio
El lector debe encargarse de escribir con detenimiento las demostraciones de
(1) a (12).
(13) Si x Z y (m, n) x, entonces exactamente ocurre uno de los casos
m > n, m = n, m < n.
z x = (z y) + (y x) Z+ .
f : N Z+
n 7 ni
es un isomorfismo de orden.
Ejercicios 6.2
1. Pruebe la Proposici
on 6.13.
(a) (x + y) = x y.
(b) (x)y = (xy).
(c) (x)(y) = xy
(d) x Z+ , y
/ Z+ implica xy
/ Z+ .
(e) Para cualquier x Z \ {0i }, se tiene que x2 Z+ .
4. Pruebe cada una de las siguientes propiedades del sistema de los enteros:
olo si 0i <i x
(a) x es positivo si y s
(b) x <i y si y s
olo si x + z <i y + z.
126 6. La Extensi
on de los Naturales a los Reales
[a, b] = {x Z : a i x i b}
si y s
olo si ad = bc. Note que esta relacion tiene la propiedad
Como (u, v) (a, b), entonces ub = av; de la misma manera xd = cy, que
q
implica ubyd = avyd y xdvb = ycvb; as, ubyd + xdvb = avyd + ycvb. De
aqu concluimos que bd(uy + xv) = vy(ad + bc), es decir, (uy + xv, vy) es
-equivalente a (ad + bc, bd). Por lo tanto,
q
Analogamente [(xu, uy)]q = [(ac, bd)]q . Con lo cual las operaciones de suma
y producto no dependen de los representantes de las clases.
{(a, aq ) : a Z}
es una funcion de Z en Q. M
as a
un, es inyectiva y puesto que
aq + bq = (a + b)q ,
aq bq = (ab)q ,
las operaciones de suma y producto son preservadas bajo esta funcion. Final-
mente, la imagen aq de un entero a es un racional positivo si y s olo si a es un
entero positivo. Esto ultimo implica que si <q es definida en terminos de los
racionales positivos (de manera completamente an aloga como se defini o <i en
Z), entonces <q es un orden lineal en Q. Adem as, para enteros a y b tenemos
que a <i b si y s olo si aq <q bq . As, la funci
on a 7 aq es un isomorfismo
de orden. A los elementos aq de esta imagen orden-isomorfa de Z en Q les
llamaremos n umeros racionales enteros.
En el siguiente teorema se resumen las propiedades del sistema de los n ume-
ros racionales
Q, +, ,0q , 11 , Q+ .
(12) Si x, y Q+ , entonces xy Q+ .
(13) Exactamente uno de los siguientes enunciados se cumple:
x Q+ , x = 0q , x Q+ .
olo si y x Q+ ,
x <q y si y s
x <q y, x = y, y <q x.
(iv) x <q y si y s
olo si x + z <q y + z, para todo z Q.
(v) Si 0q <q z, entonces x <q y si y solo si xz <q yz.
2/3 = 4/5 significa que 4/5 es otro nombre del mismo racional. Esto es
cierto si y s
olo si
[(2, 3)]q = [(4, 5)]q ,
que de hecho, es verdadero si y s olo si 2 5 = 4 3. Puesto que 2 5 6= 4 3, la
proposicion original es falsa. En general, el mismo tipo de an alisis proporciona
los siguientes resultados para los racionales:
a c
= si y s
olo si ad = bc,
b d
a c ad + bc
+ = ,
b d bd
a c ac
= .
b d bd
A continuacion derivaremos algunas propiedades significativas de los n
ume-
ros racionales. En este punto comenzamos a emplear el uso de propiedades
elementales de numeros racionales sin la referencia explcita.
para cada x Q.
Ejercicios 6.3
1. Completar las demostraciones de los Lemas 6.16 y 6.18.
(a) (x + y) = x y.
(b) (x)y = (xy).
(c) (x)(y) = xy
(d) x Q+ , y
/ Q+ implica xy
/ Q+ .
(e) Para cualquier x Q \ {0i }, se tiene que x2 Q+ .
n:
Demostracio
Por la definici
on recursiva de xn es claro que para m > n, xm se encuentra
entre xn y xn+1 . As, si Q+ y elegimos n0 N tal que 2n0 > 1 , entonces
para todo m, n n0 ,
1 1
|xm xn | |xn+1 xn | n
n0 < .
2 2
Dado que los terminos de las sucesiones de Cauchy se van aproximando,
es de esperar que su rango sea un conjunto acotado. Esto se expresa en el
siguiente lema.
Lema 6.27 Si (xn ) on de Cauchy, entonces existe Q+
n=0 es una sucesi
tal que |xn | < para todo n N.
n:
Demostracio
Correspondiendo al n
umero racional positivo 1 existe por hipotesis n0 N tal
que, para todo m, n n0 ,
|xm xn | < .
Sea
= max {|x0 | , |x1 | , . . . , |xn0 |} + 1.
Claramente, si n < n0 , entonces |xn | < . Supongamos que n n0 , entonces
puesto que |xn xn0 | < 1 se sigue que
|xn | < |xn0 | + 1 < .
Por lo tanto, para todo n N, |xn | < .
Definicion 6.28 Si x = (xn )
n=0 y y = (yn )n=0 son sucesiones de numeros
racionales, se definen las sucesiones suma x + y = (un )
n=0 y multiplicaci
on
xy = (vn )n=0 , por:
un = xn + yn , vn = xn yn ,
respectivamente.
Claramente, si x, y son sucesiones de n
umeros racionales, entonces tambien
lo son x + y y xy. Es un hecho importante que si x y y son sucesiones de
Cauchy de numeros racionales, entonces x + y y xy son sucesiones de Cauchy.
En otras palabras, la suma y la multiplicaci
on son operaciones binarias en el
conjunto C de todas las sucesiones de Cauchy de n umeros racionales.
Lema 6.29 Si x, y son sucesiones de Cauchy, entonces tambien lo son las
sucesiones suma x + y, y multiplicaci
on xy.
134 6. La Extensi
on de los Naturales a los Reales
n:
Demostracio
Probaremos primero lo referente a la suma. Sea Q+ , por hip
otesis existen
n1 , n2 N tales que para todo m, n n1 ,
|xm xn | <
2
y para todo m, n n2 ,
|ym yn | < .
2
Entonces para todo m, n max {n1 , n2 },
|xm ym xn yn | = |xm ym xn ym + xn ym xn yn |
m
|x xn | |ym |+ |xn | |ym yn |
< 22 2 + 1 21 = .
n:
Demostracio
a que xy uv. Sea Q+ , existen 1 , 2 Q+ tales que para todo
Se mostrar
c
n N, |yn | < 1 y |un | < 2 . Como x u entonces existe n1 N tal que para
c
todo n n1 ,
|xn un | <
21
y como y v, existe n2 N tal que para todo n n2 ,
c
|yn vn | < ,
22
entonces para todo n max {n1 , n2 } se tiene que
|xn yn un vn | = |xn yn un yn + un yn un vn |
|x + |un| |yn vn |
n un | |yn |
< 21 1 + 2 22 = .
un > xn > 2 = .
|xn xp | < ,
n:
Demostracio
Por el lema anterior, si es falso que x 0, entonces existen Q+ y n0 N,
c
on: x0n =
tales que |xn | para todo n n0 . Considerese la siguiente sucesi
si n < n0 y x0n = xn si n n0 . Entonces (x0n ) 0
n=0 C y x (xn )n=0 ; m
as aun,
c
para todo n N, |x0n | .
6.4. Sucesiones de Cauchy de N
umeros Racionales 137
1
yn = .
x0n
|ym yn | < ,
Ejercicios 6.4
1 1 (1)n
xn = 1 + +
3 5 2n + 1
es una sucesion de Cauchy.
5. Complete la demostraci
on del Lema 6.33.
6. Complete la demostraci
on del Lema 6.34.
138 6. La Extensi
on de los Naturales a los Reales
El n
umero real determinado por la sucesion de Cauchy x lo denotamos como
[x]r .
olo si y x R+ .
x <r y si y s
Es de esperar que este orden herede todas las propiedades de <q . En efecto,
el orden r que resulta a partir de <r es un orden total en R. Adem as, R
tiene un sistema orden-isomorfo a Q; pues si a Q, entonces (a) n=0 C y
en consecuencia existe un u nico n
umero real [a]r que contiene a (a)n=0 ; as la
funcion a 7 [a]r es una inyeccion y un isomorfismo sobre su imagen. M as a un,
es f
acil probar que esta funcion tambien preserva las operaciones de suma y
multiplicacion.
Los numeros reales correspondientes a los n umeros racionales 0q y 1q son
simbolizados por 0r y 1r .
Teorema 6.37 El sistema hR, +, , 0r , 1r , R+ i tiene las propiedades (1) a (13)
y (15) del Teorema 6.19.
La definici
on de la funci
on valor absoluto se extiende a los n
umeros reales
de manera obvia y las relaciones enunciadas en el Teorema 6.23 siguen siendo
v
alidas cuando consideramos el valor absoluto de n umeros reales.
Los resultados hasta ahora obtenidos muestran que R es una extension de
Q, donde las propiedades fundamentales de los n umeros racionales son con-
servadas (un ejemplo importante es que la funci on a 7 [a]r preserva el or-
den). Probaremos ahora que todo conjunto no vaco y acotado superiormente,
6.5. Los Reales 139
admite una mnima cota superior, pero ello requiere de algunos resultados
preliminares.
En lo posterior haremos referencia a n
umeros naturales, enteros y racionales
de R, pues abusando de notacion podemos decir que N Z Q R (dado
que R tiene una copia de cada uno de estos sistemas); por lo cual, omitiremos
de ahora en adelante el subndice r.
En el siguiente teorema se presenta una de las propiedades mas importantes
que enlazan a Q y R, se conoce como la propiedad de densidad de Q en R.
|am an | < ,
y para todo m, n n3 ,
|bm bn | < .
Sean n0 = max {n1 , n2 , n3 } + 1 y s Q tal que < s < 2, que existe en
virtud del Teorema 6.20. Ahora consideremos el n
umero real z correspondiente
umero racional an0 + s. Entonces an an0 < para todo n n0 .
al n
Puesto que an0 an > para todo n n0 ,
Teorema 6.41 Todo subconjunto no vaco de n umeros reales que tiene una
cota superior, tiene una mnima cota superior.
n:
Demostracio
Sea A un conjunto que satisface la hipotesis del teorema. Por el Teorema 6.40
existen m y M tales que m no es cota superior de A y M s es cota superior
de A. Entonces podemos inferir la existencia de un entero b0 tal que b0 es cota
superior de A pero b0 1 no lo es.
Definamos la sucesion (bn )
n=0 inductivamente como sigue:
bn1 21n , si bn1 21n es cota superior de A
bn =
bn1 , si bn1 21n no es cota superior de A.
adem
as es claro que para todo m n,
bm bn . (6.5.2)
1
Combinando las desigualdades (6.5.1) y (6.5.2) tenemos que |bm bn | < 2n .
Se sigue de aqu que si n0 N y m, n n0 , entonces
1
|bm bn | < ;
2n0
o sea, b = (bn )
n=0 es una sucesi
on de Cauchy.
Sea u el numero real que determina b. Entonces por el Lema 6.39, por la
desigualdad (6.5.1) y usando la desigualdad (6.5.2) para todo n tenemos que:
1
bn u, (6.5.3)
2n
u bn . (6.5.4)
Demostraremos que u es una cota superior de A. Supongamos lo contrario,
es decir, supongamos que existe un a A tal que u < a. Entonces, existe un
1
n N tal que 2n > au ; luego, 21n < au. Si esto lo sumamos a la desigualdad
(6.5.3) tenemos
1 1
bn n + n < u + a u,
2 2
lo cual implica que bn < a, que es una contradicci on. Por lo tanto, u es una
cota superior de A.
Finalmente probaremos que u es la mnima de las cotas superiores de A.
Supongamos que v es cota superior de A y que v < u, entonces existe un
n N tal que 21n < u v. Como bn 21n no es cota superior de A, entonces
existe a A tal que bn 21n < a; as
1
bn < v,
2n
por lo que
1 1
n
+ bn n < u v + v;
2 2
o sea, bn < u, que contradice la desigualdad (6.5.4). Por lo tanto, u es la
mnima cota superior de A.
|xn y| <
para todo n n0 .
Ejemplo 6.43 Toda sucesion constante de n
umeros reales tiene lmite.
La prueba del siguiente lema es un ejercicio.
Lema 6.44 El lmite de una sucesi
on de n
umeros reales es u
nico.
As, si la sucesi
on x de n
umeros reales tiene a y como un lmite, entonces y
es el u
nico limite y se justifica la siguiente notaci
on familiar para y:
lim xn = y.
n
y = inf {xn : n N}
y > 0, entonces y + no puede ser cota inferior del conjunto {xn : n N}.
As, existe n0 N tal que
y xn0 < y + .
on (xn )
Como la sucesi n=0 es decreciente, para todo n n0 tenemos que y
xn xn0 < y + . Por lo tanto, para todo n n0 ,
|y xn | < .
|an am | < d,
[(an )
m=0 (am )m=0 ]r
xn z
144 6. La Extensi
on de los Naturales a los Reales
z xn
|xn z| < .
lim xn = y.
n
bxc = max {n N : n x} .
y0 = d0
dn+1
yn+1 = yn +
rn+1
es una sucesi
on de Cauchy y limn yn = x.
n:
Demostracio
umero real no negativo y d0 = bxc.
Sean r un entero mayor o igual a 2, x un n
Entonces
xr = d0 r + x1
para alg
un n
umero x1 tal que 0 x1 < r. Si d1 = bx1 c, se tiene que
x1 r = d1 r + x2 ,
xn1 r = dn1 r + xn
De acuerdo a la definici
on de yn en (c), esto lo podemos escribir como
1
0 x yn < ,
rn
1
por lo que se sigue que |x yn | < rn , y as
lim yn = x.
n
La prueba de la unicidad (relativa a r) de la sucesi
on correspondiente a x
se deja como un ejercicio.
Ejercicios 6.5
on a 7 [a]r es un isomorfismo de orden entre Q
1. Pruebe que la funci
y un subconjunto de R. Adem as, pruebe que esta funci
on preserva las
operaciones de suma y multiplicaci
on.
2. Demuestre el Teorema 6.37.
3. Pruebe el Lema 6.39.
4. Dar un ejemplo de dos sucesiones x y y tales que xn < yn para cada
n N, pero que [x]r = [y]r .
5. Pruebe la afirmacion realizada en la prueba del Teorema 6.41 de que
bn 21n no es una cota superior de A.
6. Sean A y B subconjuntos no vacos de numeros reales. Demuestre que
si A y B est
an acotados superiormente, entonces
C = {x + y : x A, y B}
esta acotado superiormente y sup C = sup A + sup B.
6.5. Los Reales 147
C = {x y : x A, y B}
7.1 Introduccion
Una de las distinciones fundamentales en matem aticas es la existente entre
conjunto finito e infinito. La diferencia es tan comprensible intuitivamente
que, incluso en la ausencia de una definici on formal, no hay duda alguna
de si un conjunto dado es finito o infinito. Anteriormente sugerimos que los
conjuntos finitos pueden ser definidos como aquellos conjuntos que son el rango
de alguna sucesion finita; o sea, aquellos que pueden expresarse en la forma
{a1 , a2, . . . , an }. En la segunda secci on de este captulo daremos un significado
preciso de esta proposici on. La idea es m
as o menos as: al contar la coleccion S
de sillas de un salon lo que cotidianamente hacemos es establecer una biyecci on
entre la colecci on de sillas y un numero natural n = {0, 1, 2, . . . , n 1}. En tal
caso decimos que el n umero de elementos o cardinalidad de S es n.
Como contaramos los elementos que forman el conjunto de los n umeros
pares o el conjunto de n umeros reales x tales que 0 x 1? Esta pregunta
nos lleva a cuestionarnos: Que podremos entender por la cardinalidad de con-
juntos infinitos? Otro problema es: Tendr a sentido hablar de n umero cardinal
como el n umero de elementos de un conjunto? Para los conjuntos finitos la res-
puesta es indudablemente s; por ejemplo, podemos decir que el n umero car-
dinal de la colecci on de sillas S es n. Imitando lo dicho para conjuntos finitos,
haremos una extension del concepto de n umero, es decir, hablando vagamente,
podemos decir que el n umero cardinal de un conjunto es la propiedad com un
que tienen el conjunto y todos los conjuntos equivalentes a el; o sea, aquellos
que contienen la misma cantidad de elementos. Ya sabemos que no tenemos
facultad de decir que el n umero cardinal de un conjunto arbitrario X es igual al
conjunto de todos los conjuntos equivalentes a X, pues no hay un conjunto as
de grande. Lo que sigue es, sugerido por analoga con los n umeros naturales,
definir el n umero cardinal de un conjunto X como un conjunto equivalente a
X elegido en forma particularmente cuidadosa.
150 7. Cardinalidad
n:
Demostracio
Podemos suponer que Y 6= . Como X es finito,
X = {x0 , x1 , . . . , xn1 } ,
k0 = min {k : xk Y } ,
Es facil probar la primera parte del lema, solamente construya una sucesi
on
con rango X Y . Para la segunda parte use induccion.
S
Teorema 7.7 Si S es finito y si cualquier X S es finito, entonces S es
finito.
n:
Demostracio
Procederemos por induccion sobre el n umero de elementos de S. La proposici
on
es cierta si |S| = 0. As, supongamos que es cierta para todo S con |S| = n
y sea S = {X0 , X1 , . . . , Xn1 , Xn } un conjunto
S con n + 1 elementos, con cada
Xi S finito. Por la hip otesis de induccion, n1
i=0 Xi es finito. Como
n1 !
[ [
S= Xi Xn ,
i=0
S
por el Lema 7.6, S es finito.
U = {U P(Y ) : yn U } .
Adem as, observe que #(U) = #(P(X)) (puesto que una biyeccion es f (U ) =
U \ {yn } , para todo U U). Por lo tanto, P(Y ) es uni
on de dos conjuntos
finitos y as finito.
Esta definicion de finitud coincide con la que usamos por medio de sucesiones
finitas: Si X = {x0 , x1 , . . . , xn1 }, entonces x0 x1 xn1 describe
un orden lineal en X con las propiedades requeridas. Por otro lado, si (X, )
satisface (a) y (b), construimos, por recursi on, una sucesion finita (x0 , x1 , . . .)
como en el Teorema 5.18. La sucesi on agota todos los elementos de X, de otro
modo el conjunto infinito {x0 , x1 , . . .} no tiene elemento maximo en X.
Mencionemos otra definici on de finitud que no involucra a los n umeros na-
turales. Decimos que un conjunto X es finito si cualquier familia no vaca de
subconjuntos de X tiene un elemento -maximal, es decir, si 6= U P(X),
entonces existe U U tal que para ning un V U, U V . En el Ejercicio 7.2.7
se sugiere como demostrar la equivalencia de esta definici on con la Definici on
7.1.
Una u ltima consideraci on: Se muestra a partir del Lema 7.2 que si X es
finito, entonces no hay una funcion biyectiva de X en un subconjunto propio.
Por otro lado, para conjuntos infinitos, como el de los n umeros naturales,
existen funciones biyectivas sobre subconjuntos propios (por ejemplo, f (n) =
n + 1). Si uno define a los conjuntos finitos como aquellos conjuntos que no
son equipotentes con alg un subconjunto propio, entonces sin el Axioma de
Eleccion es imposible probar la equivalencia de esta definicion con la dada en
7.1.
Ejercicios 7.2
10. Sea R A2 un buen orden. Muestre que salvo que A sea finito, R1 no
es un buen orden.
A pesar de que los objetos |A| y |B| no hayan sido definidos, es conveniente
usar la notaci
on |A| = |B| para expresar A y B tienen la misma cardinalidad
y |A| |B| para la cardinalidad de A es menor o igual a la cardinalidad de B.
Cuando se defina con precisi on el smbolo |X|, mostraremos que la notaci on
es consistente con la presente notaci on, es decir, que A y B son equipotentes
7.3. Cardinalidad en Conjuntos Infinitos 155
si y solo si |A| es el mismo conjunto que |B|, etc. El lector puede notar que
para conjuntos finitos A y B esto es una consecuencia de la Definicion 7.1 y
del Corolario 7.3.
Algunas propiedades importantes son:
(a) Si |X| = |Y |, entonces |X| |Y | y |Y | |X| .
(b) Si |X| |Y | y |Y | |Z|, entonces |X| |Z|. En efecto si f : X Y y
g : Y Z son funciones inyectivas, entonces g f : X Z es inyectiva.
(c) Si |X| |Y | y |Y | |X|, entonces |X| = |Y |. Esto es mucho menos
trivial y posponemos la demostraci on hasta la Seccion 7.5.
As, la propiedad |X| = |Y | es una (clase) relacion de equivalencia y |X|
|Y | es un orden parcial en la clase de los conjuntos. Una pregunta natural es
cuando esta relaci on es un (clase) orden total, es decir, cu
ando
(d) |X| |Y | o |Y | |X| se cumple para todo X, Y .
Se sabe que esto no puede demostrarse sin el Axioma de Eleccion, por ello
lo posponemos para el Captulo 9.
Decimos que la cardinalidad de X es menor que la cardinalidad de Y y
escribimos |X| < |Y | si |X| |Y |, pero la relaci on |X| = |Y | no se cumple;
esto es, si existe una funcion inyectiva de X en Y y no existe una biyecci on.
Note que esto no equivale a decir: Existe una funci on inyectiva de X en Y ,
pero no sobre Y.
Ejercicios 7.3
1. Muestre que:
5. Demuestre que:
Notese que una diferencia entre los conjuntos finitos e infinitos es la siguien-
te: Si S es un conjunto numerable entonces S puede descomponerse en dos
partes ajenas, A y B, tales que |A| = |B| = |S|, que es inconcebible si S es
finito (salvo S = ). Podemos de hecho hacer algo m as. Sea pn el n-esimo
numero primo y sean n o
Sn = pkn : k N .
Los conjuntos
S Sn (n N) son ajenos por pares e infinitos. As tenemos que
N S
n=0 n con |Sn | = |N|.
158 7. Cardinalidad
Los siguientes dos teoremas muestran que las operaciones simples aplicadas
a conjuntos numerables generan conjuntos numerables.
c2k = ak y c2k+1 = bk
f (m, n) = 2m (2n + 1) 1.
n:
Demostracio
Por el Teorema 7.17, Z y Z\ {0} son numerables, as que el conjunto de co-
cientes Z Z\ {0} es numerable, y puesto que la proyecci on natural
de Z Z\ {0} en Q es sobreyectiva, por el Teorema 7.16, Q es numerable.
Para que no pensemos que todos los conjuntos infinitos son numerables, he
aqu un importante ejemplo de un conjunto no numerable.
Sea b = b0 . b1 b2 b3 el n
umero real definido como sigue:
(
(n)
0, si an 6= 0
bn = (n)
1, si an = 0.
Ejercicios 7.4
4. Un n
umero real x es algebraico si es soluci
on de alguna ecuacion
an xn + an1 xn1 + + a1 x + a0 ,
5. Pruebe que el conjunto de todas las lneas rectas del plano R2 que pasan
por al menos dos puntos con coordenadas racionales es numerable.
[N]n = {S N : |S| = n}
11. Sea {An : n N} una familia numerable, y supongase que se tiene una
sucesion (an )
n=0 de enumeraciones de los conjuntos An ; esto es, an =
(a ) y A
Sn,k k=0 n = {an,k : k N} para cada n N. Demuestre que
n=0 An es numerable.
12. Sea (S, ) un conjunto linealmente ordenado. Sea {An : n SN} un sis-
tema numerable de conjuntos finitos de S. Demuestre que n=0 An es
numerable. (Sugerencia: para todo n, considere la u nica enumeraci on
(an,k )k<|An | de An en el orden creciente: an,0 < an,1 < < an,kn1
donde kn = |An |.)
13. (a) Sean A, B y C conjuntos tales que C A, A B = , y B y C
numerables. Pruebe que |A B| = |A|.
(b) Pruebe que un conjunto que contiene un subconjunto numerable es
equipotente a la union del conjunto y un conjunto numerable.
(c) Pruebe que si A es no numerable y B es numerable, entonces A \ B
es no numerable.
7.5 N
umeros Cardinales
En la Seccion 3 usamos el smbolo |A| sin hacer una definicion formal de este.
Para lo que sigue es mas conveniente tener al smbolo |A| como un objeto de
la Teora de Conjuntos. Por esta razon hacemos la siguiente suposicion.
Suposici on 7.23 Existen conjuntos llamados n umeros cardinales (o cardi-
nales) con la propiedad de que para cualquier conjunto X, hay un u nico car-
dinal |X| (el n
umero cardinal de X), y para cualesquiera conjuntos X y Y,
son equipotentes si y s
olo si |X| es igual a |Y | .
Tambien en la Seccion 3 vimos que la relacion |X| |Y | es un orden parcial
en la ahora clase de los n umeros cardinales, pero prometimos probar en esta
secci
on que si |X| |Y | y |Y | |X|, entonces |X| = |Y |; para ello necesitamos
del siguiente lema.
Lema 7.24 Si A1 B A y |A1 | = |A|, entonces |B| = |A| .
162 7. Cardinalidad
n:
Demostracio
Sea f : A A1 una funcion biyectiva. Por recursion, definamos dos sucesiones
de conjuntos
A0 , A1 , . . . , An , . . .
y
B0 , B1 , . . . , Bn , . . .
Sean
A0 = A y B0 = B
y para cada n N,
An+1 = f (An ), Bn+1 = f (Bn ). (7.5.1)
Como A0 B0 A1 , se sigue de (7.5.1), por induccion, que para toda n N,
An Bn An+1 . Para cada n N, sea Cn = An \ Bn y
[
C= Cn , D =A\C
n=0
n:
Demostracio
Si A = , entonces P(A) = {} y as |A| < |P(A)|. Si A 6= , es claro que la
funci
on
x 7 {x}
es inyectiva, con lo cual |A| |P(A)|. Por otra parte, si f : A P(A) es
cualquier funcion, entonces el conjunto
S = {x A : x
/ f (x)}
Teorema 7.27 Sea F una familia de conjuntos tal que no hay un cardinal
maximal entre los cardinales de los miembros de F; enSotras palabras, si X
F, entonces existe Y F tal que |X| < |Y |. Entonces F tiene cardinalidad
mayor que cualquier conjunto en F.
Demostracio n:
S
Sea S = F. Claramente |X| |S| para cada X F. Mostraremos que
no hay un X F tal que |S| |X|. Supongamos lo contrario, sea X F
con |S| |X|, entonces por hip otesis existe Y F tal que |X| < |Y |. Como
|Y | |S|, tenemos que |Y | |X|, lo cual es una contradicci
on.
Ejercicios 7.5
1. Use el Teorema de Cantor para mostrar que la clase de todos los con-
juntos no es un conjunto.
164 7. Cardinalidad
(a) + = + .
(b) + ( + ) = ( + ) + .
(c) +
(d) Si 1 2 y 1 2 , entonces 1 + 1 2 + 2 .
= |A B| .
(e) = .
(f) ( ) = ( ) .
(g) ( + ) = + .
La u
ltima de las propiedades es una consecuencia de la igualdad
A (B C) = (A B) (A C)
(h) si > 0.
(i) Si 1 2 y 1 2 , entonces 1 1 2 2 .
(j) + = 2 .
7.6. Aritmetica Cardinal 167
n:
Demostracio
Si |A| = , entonces 2 es el cardinal de {0, 1} A. Notemos que
(k) + si 2.
on de no depende de la elecci
La definici on de A y B.
B0
Lema 7.33 Si |A| = |A0 | y |B| = |B 0 |, entonces AB = A0 .
n:
Demostracio
Sean f : A A0 y g : B B 0 funciones biyectivas y sea
B0
F : AB A0
(l) si > 0.
(m) si > 1.
(n) Si 1 2 y 1 2 , entonces 1 1 2 2 .
168 7. Cardinalidad
Tambien tenemos:
n) = 2
(
Ejercicios 7.6
3. Complete la demostraci
on del Teorema 7.34.
4. Pruebe que 2 .
7.7 El Continuo
Por el Teorema Diagonal de Cantor, la cardinalidad del conjunto de los nume-
ros reales es mayor que la cardinalidad del conjunto de los n
umeros naturales.
En esta seccion, analizaremos la cardinalidad de R y estableceremos algunas
propiedades del n umero cardinal |R| .
Acorde a la Suposicion 7.23, hay un conjunto |N|, el n umero cardinal del
conjunto N (y de todos los conjuntos numerables), el cual denotaremos por1
0 .
1
es la primera letra del alfabeto hebreo. Cantor es responsable del empleo de la notaci
on.
170 7. Cardinalidad
n < 0
para cada n
umero natural n, y
0 + 0 = 0
0 0 = 0 .
El conjunto R de todos los numeros reales, en ocasiones llamado lnea real
umero cardinal mayor que 0 . A partir de los resultados
o continuo, tiene n
conocidos acerca de n
umeros cardinales, no es difcil mostrar que la cardinali-
dad de R es la misma que la de P(N).
0 < < 20 .
probar que la Hip otesis del Continuo sea falsa. En 1963, P. J. Cohen [C4 ]
demostro que la Hip otesis del Continuo es independiente de los axiomas de
Zermelo-Fraenkel, es decir, que no se puede deducir usando estos axiomas.
Usando las propiedades de los n umeros cardinales demostradas en las sec-
ciones precedentes y las propiedades especiales de 0 , podemos obtener algunos
resultados acerca del cardinal 20 y mostrar que muchos conjuntos interesantes
tienen esta cardinalidad.
20 20 = 20 +0 = 20 .
0 0 20
0 0 (20 )0 = 20 0 = 20 .
Por lo tanto, NN = 20 .
En conexi
on a esta proposici
on, recuerde que el Ejercicio 7.4.7 implica que
el conjunto de todas las sucesiones semiconstantes de n umeros naturales es
numerable.
Mientras la cardinalidad del conjunto de todas las sucesiones de n umeros
naturales es mayor que la cardinalidad de N, encontramos que el conjunto de
todas las sucesiones de n
umeros reales tiene la misma cardinalidad que R:
N
R = (20 )0 = 20 0 = 20 .
172 7. Cardinalidad
20 + 20 = 20 20 = 20 ,
20 20 + 20 = 2 20 20 20 = (20 )2 (20 )0 = 20 0 = 20 .
|R\A| = 20 .
7.7. El Continuo 173
n:
Demostracio
Usaremos el hecho de que |R R| = |R| = 20 , y demostraremos que si
A R R es numerable, entonces
|(R R) \ A| = 20 .
|(R R)\A| = 20 .
Ejercicios 7.7
1. Muestre que {0, 1}N |R| .
2. Muestre que (22 0 )2 = 22 0 .
22 0 siempre que |C| 22 0 .)
8.1 Introduccion
En este captulo discutiremos un principio que es de los m as importantes, y
al mismo tiempo controversiales, de las matem aticas. En 1904 Ernst Zermelo
en su Demostraci on de que todo conjunto puede ser bien ordenado [Z1 ] puso
atencion a una suposicion, la cual se usaba implcitamente en una variedad
de argumentos matem aticos. Esta suposicion no se deduce de los axiomas
previamente conocidos de la matem atica o de la logica, por lo tanto, debe
ser tomado como un nuevo axioma; Zermelo lo llam o Axioma de Elecci on.
El Axioma de Eleccion es u til porque muchas proposiciones que parece na-
tural suponer verdaderas, no podran demostrarse sin su ayuda; ademas, tiene
implicaciones significativas en muchas ramas de la matematica, y consecuen-
cias tan poderosas que algunas veces son difciles de aceptar; pero no siempre
es indispensable, puesto que los temas en cuyo contexto se plantean dichas
proposiciones contin uan subsistiendo tambien en su ausencia, si bien en forma
algo mutilada. La controversia sobre este principio contin ua en nuestros das;
presentaremos algunos de estos aspectos en este captulo.
Para ilustrar cuando el Axioma de Eleccion se introduce en los argumentos
matematicos examinaremos la siguiente proposici on.
Proposici on 8.1 Sea (A, ) un conjunto no vaco parcialmente ordenado y
supongamos que A no tiene elementos maximales, entonces existe una sucesi
on
creciente x0 < x1 < x2 < < xn < de elementos en A.
n:
Demostracio
A es no vaco por hipotesis, por lo tanto, podemos seleccionar un elemento
arbitrario de A y le llamaremos x0 . Por inducci on, supongase que tenemos
dados x0 < x1 < < xn ; definamos
An = {x A : x > xn } .
Un examen detallado del argumento anterior nos revelar a que hemos usado
una suposicion que no es en s misma evidente. En efecto, hemos supuesto que
es posible hacer una sucesi on infinita de elecciones. Es comun, en matem aticas,
hacer una elecci on arbitraria (por ejemplo, siempre decimos sea x un elemento
arbitrario de A) y la experiencia confirma que podemos hacer una sucesi on
finita de elecciones; pero una sucesi on infinita de elecciones nos lleva a repetir
el argumento una cantidad infinita de veces, y nada en nuestra experiencia o
en la l
ogica que habitualmente usamos justifica un proceso de esa naturaleza.
En la prueba de 8.1 fue necesario elegir elementos x0 , x1 , x2 , etc., en
sucesion, donde cada eleccion depende de la eleccion anterior. El hecho de
que las elecciones son sucesivas puede parecer el elemento m as molesto en la
demostracion, puesto que esto involucra un factor de tiempo. Sin embargo,
el argumento puede alterarse de tal modo que las elecciones se hagan si-
multaneamente e independientes unas de otras.
Admitamos que para cada subconjunto no vaco B A, es posible selec-
cionar un elemento arbitrario fB , que podemos llamar el representante de B.
Note que en este caso, cada elecci on es independiente de las otras; ya que, en
una manera de decirlo, todas las elecciones pueden hacerse simult aneamente.
Regresando a la prueba de la Proposici on 8.1, si xn y An son dados, podemos
definir xn+1 como el representante de An ; en otras palabras, en lugar de selec-
cionar representantes de A1 , A2 , A3 , etc., en sucesi on, tenemos seleccionados
representantes de todos los subconjuntos no vacos de A. De hecho, esto re-
quiere hacer mucho m as elecciones de las necesarias para nuestro argumento
original, pero es el precio que debemos pagar para substituir las elecciones
sucesivas por elecciones simult aneas.
El parrafo precedente hace ver que la naturaleza sucesiva de las elecciones
no es el enigma del problema; el cuestionamiento es: Podemos hacer infinitas
elecciones?
Es facil observar que en ciertos casos particulares la respuesta es s. Por
ejemplo, si A es un conjunto bien ordenado, podemos definir el representante de
cada subconjunto no vaco B A como el elemento mnimo de B. La situaci on
en la Proposici on 8.1, sin embargo, es completamente diferente, porque no
tenemos alguna regla definida que nos proporcione el representante.
8.2. El Axioma de Elecci
on 177
En la demostracion de la Proposici
on 8.1 hablamos de seleccionar un ele-
mento de An ; claramente, es deseable formalizar la nocion de selecci
on como
un nuevo concepto de la Teora de Conjuntos; la manera de realizarlo es in-
troduciendo el concepto de funcion selectora de representantes.
on 8.2 Sea A un conjunto. Una funcion de elecci
Definici on o selectora para
A es una funci
on f : P(A) \ {} A tal que, para todo
B P(A) \ {} , f (B) = fB B.
Ejemplo 8.3 Sea A = {a, b, c} . Una funcion de eleccion para A es la funci
on
dada por la siguiente tabla:
B fB
{a, b, c} a
{a, b} a
{a, c} a
{b, c} c
{a} a
{b} b
{c} c
De hecho, cualquier conjunto finito tiene una funcion de eleccion (ver Ejercicio
8.2.1).
Ejemplo 8.4 Si (A, ) es un conjunto bien ordenado entonces A tiene una
funcion de elecci
on.
En vista de la Definicion 8.2, podemos reformular la pregunta planteada
como: Todo conjunto tiene una funci on de eleccion? Necesitamos hacer un
comentario crucial en este punto: la demostracion de la Proposici on 8.1 no
requiere que construyamos una funcion de eleccion, esta requiere que exista al
menos una funcion de elecci
on para A, entonces (en el paso controversial de la
demostracion) definimos xn+1 = f (An+1 ); si estamos seguros de que f existe.
Axioma 9 (de Eleccion) Todo conjunto no vaco tiene una funcion de elec-
ci
on.
particular. Este es precisamente el aspecto del Axioma de Elecci on que lo hace
inaceptable para un grupo de matematicos llamados intuicionistas, quienes
afirman que la existencia matem atica y la constructibilidad son la misma cosa.
De hecho, es interesante saber cuando una proposicion matem atica puede ser
demostrada sin usar el Axioma de Elecci on.
Por otro lado, K. G odel [G2 ] en 1938 prob o que el Axioma de Eleccion es
consistente con los axiomas ZF, es decir, no es contradictorio con ellos; tam-
poco es una consecuencia, como lo demostr o P. J. Cohen [C4 ] en 1963. As, este
axioma tiene la misma categora de otros axiomas famosos en matem aticas,
como el Quinto Postulado de Euclides. Podemos tener entonces una Teora de
Conjuntos estandar ZFC si aceptamos el Axioma de Elecci on, y una Teora
de Conjuntos no estandar en la cual aceptemos postulados alternativos al
Axioma de Elecci on.
Es imposible, por las razones del p arrafo anterior, hacer una decision en
pro o en contra basada en argumentos de logica pura acerca de la validez del
Axioma de Elecci on. Tambien, dado que el Axioma de Eleccion involucra un
area de las matem
aticas (a saber, los conjuntos infinitos) que est a fuera de
nuestra experiencia real, nunca sera posible confirmar o rechazar al axioma
por observacion; as, la decisi
on es puramente personal.
En la literatura hay varias formulaciones diferentes del Axioma de Elecci on
las cuales son equivalentes a nuestro Axioma 9. Aqu presentaremos seis de
estas proposiciones, otras aparecer an en las siguientes secciones y en los ejer-
cicios.
n:
Demostracio
(a) (b). Supongamos que A es una S familia no vaca cuyos elementos son no
vacos y ajenos por pares. Sea A = A; claramente A P(A). Por (a) existe
una funcion f : P(A) \ {} A tal que f (C) C para cada C P(A) \ {}.
Si B = f (A), entonces B es el conjunto requerido por (b).
(b) (c). Sea f : X Y una funcion sobreyectiva, entonces Ay =
1
f ({y}) 6= para cada y Y ; adem as y 6= y 0 implica que Ay Ay0 = .
Usando (b) se infiere la existencia de un conjunto B tal que B Ay es unitario
para todo y Y . Sea xy X tal que B Ax = {xy } .
Definamos g : Y X tal que g(y) = xy B Ay para cada y Y . Es
inmediato que g esta bien definida y que f (g(y)) = y; o sea, f g = IdY .
S (d). Sea A = {A } tal que A 6= , A A = y definamos
(c)
f : A A como f (x) = A si x A . Si (x, A ) f y (x, A ) f entonces
A A 6= , luego A = A . Por lo tanto, f es una funci on que claramente
S
es sobreyectiva. Usando la hip otesis existe una funcion g : A A tal
que f g(A ) = IdA (A ) = A ; lo cual implica que g(A ) A . Tomando
B = g(A) se tiene la conclusi on.
(d) (e). Sea {A } una familia indizada de conjuntos no vacos. En-
tonces la familia A = {{} A } S cumple las hipotesis requeridas por (d).
Por lo tanto, existe un conjunto B A tal que B ({} A ) = {(, x )}
para cada ; sea
f = {(, x ) : } .
S
Entonces f es una funci on de en A y f () = x A .
(e) (f ). Sea {A } una familia indizada de Q conjuntos no vacos, la
funci on resultante de (e) de hecho es un elemento de A .
(f ) (g).QSea F : X P(Y ) \ {} y consideremos Ax = F (x). La hip otesis
implica que xX Ax es no vaco, es decir, existe
[
f :X Ax
xX
S
tal que f (x) Ax = F (x). Pero xX Ax Y , luego f : X Y es la funci
on
requerida para establecer (g).
(g) (a). Consideremos la funci
on identidad
Id : P(X) \ {} P(X) \ {} .
f (A) Id(A) = A;
180 8. El Axioma de Elecci
on
Una implicacion del Teorema 8.5 es que para cualquier relacion de equiva-
lencia en un conjunto X existe un conjunto de representantes para las clases de
equivalencia. En los ejercicios se pide mostrar que la uni
on de una familia nu-
merable de conjuntos numerables es un conjunto numerable; esta es tambien
una consecuencia del Axioma de Eleccion. Es importante mostrar que hay
otras (muchas) formulaciones equivalentes del Axioma de Elecci on1 , las cuales
tienen aplicaci
on en muy diversas disciplinas matematicas; en las pr oximas
secciones daremos otras formulaciones, algunas aplicaciones y desventajas que
uno sufre al dejar de aceptar el Axioma de Eleccion. Sierpi
nski fue uno de los
primeros interesados en los problemas relacionados con el Axioma de Elecci on
y desde 1918 publico numerosos artculos relacionados a este tema.
Ejercicios 8.2
1
Ver por ejemplo [J2 ] y [RR], donde hay tambien una extensa bibliografa de trabajos
relacionados con los problemas de la independencia logica del Axioma de Elecci on y de
varias proposiciones m
as debiles que este axioma.
8.3. Cuatro Equivalencias Importantes 181
AF = {E F :F E} .
(1) J ;
(2) A J implica f (A) J ;
S
(3) si B es una -cadena contenida en J , entonces B J.
GA = {C J0 : C A f (A) C} .
B B0, G G0 , x B, y B 0 \ B (x, y) G0
(Note que la u ltima condicion asegura, intuitivamente, que todos los elementos
de B preceden a todos los elementos de B 0 \ B.)
A (B 0 , G0 ) se le llama continuaci
on de (B, G). Es facil verificar que es una
relaci
on de orden en B; los detalles se dejan como ejercicio al lector.
Lema 8.11 Sean (B, ) el conjunto ordenado antes definido,
C = {(B , G )}I
8.3. Cuatro Equivalencias Importantes 185
una cadena en B y [ [
B= B , G= G .
I I
Entonces (B, G) B.
n:
Demostracio
Claramente B X; as nuestro resultado sera establecido si podemos mostrar
que G es un buen orden para B. Primero verifiquemos que G es una relaci on
de orden.
Reflexividad. x B implica x B para alg un I, entonces (x, x)
G G; as G es reflexiva.
Antisimetra. Si (x, y) G y (y, x) G, entonces (x, y) G y (y, x) G
para algunos , I; pero como C es una cadena en B, G G o G G .
Supongamos que G G . Entonces (x, y) G y (y, x) G , pero G es
una relacion de orden, as x = y. Esto prueba que G es antisimetrica.
Transitividad. Si (x, y) G y (y, z) G, entonces existen , I tales que
(x, y) G y (y, x) G ; nuevamente usando que C es una cadena, podemos
suponer, sin perdida de generalidad, que G G . Entonces (x, y) G y
(y, z) G implica (x, z) G G, lo cual muestra que G es transitiva.
Ahora demostraremos que B esta bien ordenado por G. Sea D B, D 6= .
Entonces D B0 6= para alg un 0 I; luego D B0 B0 . Por lo
tanto, D B0 tiene un primer elemento b en el orden G0 ; esto es, para todo
y DB0 , (b, y) G0 . Procedamos a demostrar que b es el primer elemento
de D en (B, G).
Sea x D. Si x B0 , entonces (b, x) G0 G. Si por el contrario
x/ B0 entonces, puesto que x D B, necesariamente x B para alg un
I. Ahora como B * B0 , no puede ocurrir que (B , G ) (B0 , G0 ).
Pero C es una cadena, entonces forzosamente (B0 , G0 ) (B , G ). Por la
definici
on de , (b, x) G G. Esto demuestra que b = min D en (B, G).
Teorema 8.13 (del Buen Orden) Todo conjunto puede ser bien ordenado.
186 8. El Axioma de Elecci
on
n:
Demostracio
Por los Lemas 8.11 y 8.12 podemos aplicar el Lema de Kuratowski-Zorn a
(B, ); as B tiene un elemento -maximal (B, G). Mostraremos que B = X,
as X sera bien ordenado. Si B X, entonces existe x X \ B. Adjuntando
x como u ltimo elemento de B (ver Ejemplo 4.132), tenemos que
Ejercicios 8.3
1. Muestre que la interseccion de un sistema de familias f -inductivas es
una familia f -inductiva.
2. Muestre que la relaci
on (continuaci
on) definida antes del Lema 8.11
es un orden parcial.
3. Demuestre que si A puede ser bien ordenado, entonces P(A) puede ser
linealmente ordenado. (Sugerencia: considere el primer elemento de X 4
Y , para X, Y A.)
4. Sea (A, ) un conjunto parcialmente ordenado en el que cualquier cadena
tiene una cota superior. Muestre que para cada a A, existe un elemento
-maximal x A tal que a x.
5. Sea (L, ) un conjunto linealmente ordenado. Pruebe que existe un con-
junto W L tal que es un buen orden en W y tal que para cada
x L existe un y W tal que x y.
6. Sea A cualquier conjunto infinito. Demuestre que A puede ser bien orde-
nado de tal manera que A no tenga maximo. Tambien muestre que hay
un buen orden para A en el cual A tiene m aximo.
7. Pruebe que si A es una familia de car
acter finito, entonces cualquier
X A est
a incluido en un -maximal Y A.
8. Demuestre que la siguiente proposicion es equivalente al Axioma de
Elecci
on: Cualquier familia F contiene una subfamilia -maximal con-
sistente de conjuntos ajenos por pares. (Sugerencia: sea S una familia de
conjuntos ajenos; encuentre una funcion de eleccion para S. Esto puede
obtenerse usando una subfamilia -maximal de conjuntos ajenos de
E = {{(0, a), (1, A)} : A S y a A} .)
188 8. El Axioma de Elecci
on
(i) a I y b a implica b I;
(ii) a I y b I implica ab := inf {a, b} I.
Ejemplo 8.20 (Bases de Hamel) Todo espacio vectorial tiene una base.
n:
Demostracio
Sea F la familia de todos los subconjuntos de vectores linealmente indepen-
dientes. Obviamente, la familia F tiene car
acter finito y as por el Lema de
Tukey-Teichm uller, existe un conjunto -maximal linealmente independiente
. Usando la maximalidad, se prueba sin dificultad que es una base.
Andreas Blass en 1984 demostr o que la proposicion del Ejemplo 8.20 implica
el Axioma de Eleccion.
Un grupo G es un grupo libre si tiene un conjunto de generadores A con
la siguiente propiedad: Todo elemento g de G distinto del neutro 1 puede ser
unvocamente escrito en la forma
a1 1 1
1 a2 an ,
Una demostracion, m
as o menos popular, de este teorema usa la caracte-
rizaci
on de la compacidad por filtros.
Un filtro F sobre un conjunto X es un subconjunto propio no vaco del
conjunto potencia de X tal que:
A F y A B implica B F;
A F y B F implica A B F.
8.4. Uso del Axioma de Elecci
on 193
{A P(X) : A A1 A2 Ak , A1 , A2 , . . . , Ak B} ,
es un filtro sobre X.
Un espacio X es compacto si y s
olo si para cada base de filtro B sobre X,
\
A:AB (8.4.1)
es no vaca. Q
Sea (X, ) = (X , ) un producto de espacios compactos. La familia
de todas las bases de filtros sobre X tiene car acter finito y as por el Lema
de Tukey-Teichm uller, toda base de filtro esta incluida en una base de filtro
maximal (un ultrafiltro). Para mostrar que la intersecci on (8.4.1) es no vaca
siempre que B sea maximal (lo cual es obviamente suficiente), haremos lo
siguiente:
(1) la compacidad de los espacios (X ,o ) implica que las intersecciones de
Tn
las proyecciones A = p (B) : B B es no vaca;
(2) con el Axioma de Eleccion nuevamente, tomemos x A para cada ,
y
(3) la maximalidad
T de B implica que el punto x = (x ) pertenece a la
interseccion A:AB .
Por lo tanto, el espacio (X, ) es compacto.
En 1935 S. Kakutani conjeturo que el Axioma de Elecci on es una conse-
cuencia del Teorema de Tychono. Quince a nos despues J. L. Kelley publico
su famoso artculo donde mostraba que el Teorema de Tychono implica el
Axioma de Elecci on [K2 ]; sin embargo, J. D. Halpern en [H3 ] mostro que la
demostracion de Kelley es deficiente. J. L os y C. Ryll-Nardzewski observaron
que la demostracion de Kelley muestra que el Teorema de Tychono para es-
pacios compactos de Hausdor implica el Axioma de Elecci on para espacios
compactos de Hausdor no vacos. Pese a todas estas observaciones, la de-
mostraci on de Kelley es esencialmente correcta. L. E. Ward en 1962 mostr o
que una versi on mas debil del Teorema de Tychono es equivalente al Axioma
de Eleccion. Posteriormente O. T. Alas en 1969 probo que una versi on a
un
mas debil era tambien equivalente al Axioma de Elecci on:
Proposicion 8.28 Son equivalentes:
(a) El Axioma de Elecci
on.
(b) El Teorema de Tychono.
194 8. El Axioma de Elecci
on
{(Y , )}I
Q
satisface las hipotesis de (d). Sea W = I Y con la topologa producto y
defina
Z = {f W : f () X } .
Entonces {Z }I es una familia de cerrados con la propiedad de la inter-
secci
on finita. Consecuentemente,
\ Y
Z = X
I I
es no vaco.
2
Lauchli construy
o en 1962 un modelo en el cual falla el Axioma de Elecci
on y que contiene
un espacio Hausdor, normal y localmente compacto X con m as de un punto, donde toda
funci
on continua f : X R es constante. Se sigue que el Lema de Urysohn no puede
demostrarse sin el Axioma de Eleccion, y de hecho, que un espacio Hausdor y compacto no
necesariamente es normal.
8.4. Uso del Axioma de Elecci
on 195
DU D V.
As, usando el Axioma de Eleccion, uno puede cortar una bola en una can-
tidad finita de piezas y reacomodarlas para tener dos bolas del mismo tamano
a la original.
196 8. El Axioma de Elecci
on
Hasta ahora, no hemos hecho uso del Axioma de Elecci on. Para completar
la demostracion del Teorema de Hausdor, usaremos un argumento similar a
la construccion de un conjunto no medible de numeros reales.
Sea Q el conjunto de todos los puntos fijos sobre la esfera S de todas las
rotaciones G. Cada rotacion tiene dos puntos fijos; as Q es numerable. El
conjunto S \ Q es union de conjuntos ajenos, a saber, de todas las orbitas Px
del grupo G:
Px = {x : G} .
Por el Axioma de Elecci
on, hay un conjunto M tal que contiene exactamente
un elemento de cada Px , x S \ Q. Si hacemos
A = M A0 , B = M B0, C = M C 0,
S = A B C Q.
X0 = X, X1 = f (X0 ), X2 = f (X1 ), . . .
Y0 = Y, Y1 = f (Y0 ), Y2 = f (Y1 ), . . .
S
Si hacemos Z = n=0 (Xn \ Yn ), entonces f (Z) y X \ Z son ajenos, Z f (Z)
y
X = Z (X \ Z), Y = f (Z) (X \ Z).
198 8. El Axioma de Elecci
on
A A B C , (8.4.7)
y as
U D.
Ahora es facil encontrar alguna rotacion (no en G) tal que Q y Q sean
ajenos, y as, usando C A B C , existe S C tal que S Q . Sea
p alg
un punto en S \ C. Obviamente,
A Q {c} B S {p} .
Como
B S {p} V D,
podemos hacer uso de la relacion U B y del Lema 8.35(c), para obtener
V D.
uv si y s
olo si u+v =v
o equivalentemente
uv si y s
olo si u v = u.
(a>b)c = (ac)>(bc),
(ab)>c = (a>c)(b>c),
a L, b L tal que a>b = max B, ab = min B.
Ejemplo 8.37 Para cualquier conjunto X, P(X) con como suma, como
multiplicaci
on y X \ A como el complemento A de A P(X) es un algebra
booleana. Aqu es simplemente la inclusi
on de conjuntos.
Ejemplo 8.38 Salvo que X sea finito, la retcula de todos los subconjuntos
finitos de X con la contencion es distributiva pero no es un algebra booleana.
{v B : v u}
{v B : u v}
G1 . . . Gn F.
(a) F es un ultrafiltro,
(b) Para cada u B, u F o u F ,
(c) F es -maximal en la familia de todos los filtros propios.
Demostracio n:
S
(a) Si u I = I y v u, entonces u I para alg un . Como I es un
ideal, v I I.
(b) Si u, v I, entonces existen 1 , 2 tales que u I1 y v I2 . Como
{I } es una -cadena, podemos suponer sin perdida de generalidad que I1
I2 ; as, u + v I2 I.
Es claro que u0 / I.
El Teorema del Ideal Primo es una consecuencia facil del Axioma de Elec-
ci
on, pero J. D. Halpern demostro que el recproco es falso, es decir, el Axioma
de Eleccion no puede demostrarse a partir del Teorema del Ideal Primo. En esta
secci
on veremos algunas equivalencias del Teorema del Ideal Primo. Primero
note que el Teorema 8.53 es equivalente a una version aparentemente mas
fuerte.
J = {u B : [u] K}
204 8. El Axioma de Elecci
on
Teorema 8.56 (del Ultrafiltro) Todo filtro sobre un conjunto X puede ex-
tenderse a un ultrafiltro.
Fx = {Y X : x Y }
S A,
8.5. El Teorema del Ideal Primo 205
X, Y A implica X Y A, X Y A,
X A implica S \ X A.
S = {U : U es un ultrafiltro en B} .
(u + v) = (u) (v),
(u v) = (u) (v),
(u) = S \ (u).
v = v + 0 = v + (u (v)) = (u + v) (v + (v)) = (u + v) 1 = u + v;
n:
Demostracio
Sean B un algebra booleana, F un algebra
S de conjuntos isomorfa a B y :
B F un isomorfismo. Tomemos p F y sea
U = {u B : p (u)} .
No es difcil mostrar que U es un ideal primo en B.
El Teorema del Ideal Primo tambien implica una cuestion indecidible en ZF,
a saber, cualquier conjunto puede ser totalmente ordenado. De hecho, a partir
del Teorema del Ideal Primo se puede demostrar el Principio de Extension
de Orden que aparece en el siguiente ejemplo y que evidentemente es m as
fuerte que la proposicion que asegura la existencia de un orden lineal para
cualquier conjunto; sin embargo, el Principio de Extension de Orden no implica
el Teorema del Ideal Primo (ver [J2 , secci
on 7.2, problemas 7.8 y 5.27]). Si
y son ordenes (parciales) de un conjunto P , entonces se dice que extiende
a si para cualesquiera p, q P , p q implica p q.
Ejemplo 8.59 (Principio de Extensi on de Orden) Todo orden (parcial)
de un conjunto P puede extenderse a un orden lineal de P.
Como una aplicacion del Teorema del Ideal Primo al Algebra tenemos el
siguiente. Un campo F es un campo ordenado si hay un orden lineal en F
que satisface:
Ejercicios 8.5
1. Verifique las afirmaciones de los Ejemplos 8.38, 8.41, 8.42, 8.47, y 8.48.
X = A1 A2 An .
5. Complete la demostraci
on de la equivalencia entre el Teorema del Ideal
Primo y el Teorema de Representacion de Stone.
208 8. El Axioma de Elecci
on
6. (a) Muestre que hay una correspondencia biyectiva entre los ideales y
los filtros en un algebra booleana.
(b) Muestre que hay una correspondencia biyectiva entre los ideales
primos y los ultrafiltros en un algebra booleana.
{y B : x F tal que y x u} .
(a) Si U es un ultrafiltro
T sobre
un espacio Hausdor, pruebe que la
intersecci
on A : A U contiene a lo m
as un punto.
(b) Demuestre que el Teorema del Ultrafiltro implica que cualquier pro-
ducto de Q espacios Hausdor compactos es no vaco. (Sugerencia:
sea X = I X . Sea Z el conjunto de todos las funciones f con
dom f I y f () X , y sea Z = {f Z : dom f } para cada
I. Sea F el filtro generado en Z por Z , I, y sea U F un
ultrafiltro. Sea U la proyecci
on de U sobre X . Para cada I,
la intersecci
on \
A : A U
contiene exactamente un punto x X .)
(c) Demuestre que el Teorema del Ultrafiltro implica que cualquier pro-
ducto topologico de espacios Hausdor compactos, es compacto.
(Sugerencia: el producto es no vaco por el inciso anterior. En la de-
mostraci
on del Teorema de Tychono en la Seccion 8.4, la primera
parte usa u
nicamente el Teorema del Ultrafiltro. El uso del Axioma
de Elecci
on en el punto (2) es eliminado por el inciso (a).)
(d) Demuestre que la siguiente proposicion implica el Teorema del Ideal
Primo: El producto topol ogico de cualquier familia de espacios dis-
cretos con dos puntos cada uno esQcompacto. (Sugerencia: sea B
un algebra booleana, y sea X = {{u, u} : u B}. Para una
subalgebra finita A de B y un ideal primo I en A, sean
XI = {x X : x(u) I para cada u A}
S
y XA = {XI : I es un ideal primo en A}. La familia
{XA : A es una subalgebra finita}
es una base de filtro de conjuntos cerrados; de su interseccion se
obtiene un ideal primo en B.)
210 8. El Axioma de Elecci
on
se dijo antes, el Axioma de Eleccion puede sustituirse por estas u otras proposi-
ciones, y es interesante saber el alcance de estas Teoras de Conjuntos no
est
andar.
[AE] Todo conjunto no vaco tiene una funcion de eleccion.
[TIP] Toda algebra booleana contiene un ideal (propio) primo.
[AED] Si R es una relaci
on en un conjunto no vaco X tal que para todo
x X, existe y X tal que xRy. Entonces existe una sucesi
on {xn } tal
que xn Rxn+1 .
[AEN] Para cualquier familia numerable
S de conjuntos no vacos {An }nN
on f : N
existe una funci n=0 An tal que f (n) An .
[PO] Todo conjunto puede ser linealmente ordenado.
[AEF] Para cualquierSfamilia F de conjuntos finitos no vacos existe una
funcion f : F F tal que f (F ) F.
[AEFn ] Cualquier
S familia F de conjuntos de n elementos, existe una funci
on
f : F F tal que f (F ) F.
AE
z }| {
TIP AED
PO AEN
AEF
AEFn
Ejercicios 8.6
1. Demuestre el Teorema 8.66.
2. Demuestre que el Principio de Ordenacion PO implica el Axioma de
Elecci
on para conjuntos Finitos.
3. Demuestre que AEF implica AEFn .
214 8. El Axioma de Elecci
on
Axioma de Antisimetra. Si a, b A y
ab y b a,
entonces a = b.
3
El Ejercicio 9.3.8 proporciona un modelo de ZF sin el Axioma de Infinitud.
216 8. El Axioma de Elecci
on
9
Ordinales
9.1 Introduccion
En el Captulo 7 definimos el concepto de cardinalidad, pero la nocion de
cardinal en s misma permanece velada excepto para los conjuntos finitos;
esto es, hasta el momento no se tienen buenos representantes para conjuntos
infinitos equipotentes, que desempe nen un papel analogo al de los n umeros
naturales para conjuntos finitos.
La idea central es generalizar el metodo conjuntista de la construccion de
los numeros naturales, en el cual, un objeto es un n umero natural si es un
conjunto transitivo, bien ordenado por la relacion de pertenencia restringida
y cualquier subconjunto no vaco tiene un elemento maximo con respecto a
este orden. As, n es un n
umero natural, implica n = {0, 1, 2, . . . , n 1}. Si
denotamos
= {0, 1, 2, . . . , n, n + 1, . . .} ,
podemos pensar que es el primer n umero m as grande que cualquier n
umero
natural. Llegado a este lmite, la operaci
on de sucesor puede ser empleada para
generar numeros posteriores a del siguiente modo:
S() = {} = {0, 1, 2, . . . , n, . . . , }
S(S()) = ( + 1) + 1 = + 2,
etc.
Ahora tenemos una sucesion 0, 1, 2, . . . , , + 1, + 2, + 3, . . ., + n,
. . ., para todo n
umero natural n N. Un n umero mayor a todo + n puede
ser concebido como el conjunto de todos los n umeros m as pequenos
2 = + = {0, 1, 2, . . . , , + 1, . . . , + n, . . .}
218 9. Ordinales
n = {0, 1, 2, . . . , , . . . , 2, . . . , (n 1), (n 1) + 1 . . .}
hasta llegar a
= {0, 1, 2, . . . , , . . . , n, . . . , (n + 1), . . .} .
Los conjuntos generados por este proceso poseen casi todas las propiedades
requeridas por la definicion de n
umero natural. Son transitivos y est
an lineal-
mente ordenados por , es decir, x y implica x y, y si x, y z entonces
x<y si y s
olo si x z y
es un orden lineal.
Proposicion 9.2 Los numeros naturales son ordinales y hay un ordinal que
no es un n
umero natural, a saber, .
9.2 N
umeros Ordinales
Fij
andonos en la construccion de los numeros ordinales como aparecio en la
secci
on anterior, se puede observar que si es un ordinal, entonces su sucesor
tambien es un ordinal. Veamos que as es.
on 9.3 Si es un n
Proposici umero ordinal, entonces S() es tambien un
n
umero ordinal.
9.2. N
umeros Ordinales 219
n:
Demostracio
S() = {} es un conjunto transitivo. Mas a
un, {} es bien ordenado
por S() , es su elemento maximo y {} es el segmento inicial
determinado por . As, S() es un n
umero ordinal.
+ 1 = S() = {} .
Sabemos que los n umeros naturales y son ordinales. Una diferencia sus-
tancial entre cualquier n
umero natural n 6= 0 y es que n tiene un predecesor
inmediato mientras que no lo tiene. Para distinguir a esta clase de ordinales
hacemos la siguiente definicion.
Ejercicios 9.2
(, {} , {{}} , {{{}}} , . . .)
podemos definir
a0 = ,
A, {} A, {{}} A, {{{}}} A, . . .
x A, F(x) B.
Para cualquier conjunto A, hay una funcion f tal que dom f = A y f (x) =
F(x) para todo x A.
Corolario 9.15 Sean (W1 , 1 ) y (W2 , 2 ) dos conjuntos bien ordenados. En-
tonces (W1 , 1 ) es isomorfo a (W2 , 2 ) si y s
olo si
k(W1 , 1 )k = k(W2 , 2 )k .
xy si y s
olo si f (x) f (y)
Ejercicios 9.3
1. Demuestre lo siguiente: Sea P(x, y) una propiedad tal que para todo x
hay a lo mas un y tal que P(x, y) se satisface. Entonces para cualquier
conjunto A, existe un conjunto B tal que, para todo x A si P(x, y) se
satisface para alg
un y, entonces P(x, y) se satisface para alg
un y B.
k(W, )k = ,
V0 = ,
Vn+1 =
S P(Vn ), n ,
V = n Vn .
6. Demuestre que
7. Demuestre que
9.4. Inducci
on y Recursi
on Transfinita 227
A = { : P() falla} ,
a = g ((a )< ) .
Teorema 9.22 (de Recursi on Transfinita) Si G una (clase) funci on, en-
tonces la propiedad P formulada en (9.4.2) define una (clase) funci
on F tal
que F() = G(F | ) para todos los ordinales .
n:
Demostracio
Llamaremos a t calculo de longitud basado en G, si t es una funcion, dom t =
+ 1 y para todo , t() = G(t | ).
Sea P(x, y) la propiedad
x es un numero ordinal y y = t(x) para alg un
c
alculo t de longitud x basado en G, (9.4.2)
o x no es un numero ordinal y y = .
T = {t : t es un c
alculo de longitud para alg
un < } .
Mas aun, la suposicion inductiva implica que para cada < existe un unico
t T tal que la longitud de t es . S
T es un sistema compatible de funciones; sea t = T . Finalmente, sea
= t (, G(t)) . Probaremos que es un c alculo de longitud .
Afirmacion: es una funci
S on y dom S= + 1.
Se tiene que dom t = tT dom t = < ( + 1) = ; consecuentemente,
dom = dom t {} = + 1. Como / dom t, es suficiente mostrar que t
es una funcion. Esto se sigue del hecho de que T es un sistema compatible de
230 9. Ordinales
Lo cual nos lleva a concluir que t1 () = t2 () para todo < 1 . Esto completa
la prueba de la afirmacion.
Afirmacion: () = G( | ) para todo .
Esto es claro si = , pues () = G(t) = G( | ). Si < , tomemos
t T tal que dom t. Tenemos entonces que:
() = t() = G(t | ) = G( | )
Ejercicios 9.4
5. Complete la demostraci
on del Teorema de Recursion Transfinita Parame-
trica.
La definicion de suma de n
umeros ordinales es una aplicacion del teorema
anterior. Para cualquier n
umero ordinal se define una funcion +.
on 9.25 (Suma de Ordinales) Para todo ordinal ,
Definici
(a) + 0 = .
(b) + ( + 1) = ( + ) + 1 para todo ,
(c) + = sup { + : < } para todo ordinal lmite 6= 0.
Si hacemos = 0 en (b), tenemos la igualdad +1 = +1; el lado izquierdo
denota la suma de los numeros ordinales y 1, mientras el lado derecho es el
sucesor de .
Para ver c omo la definici
on de suma es conforme a la version formal del
Teorema de Recursi on, consideremos (clase) funciones G1 , G2 y G3 donde
G1 (z, x) = z, G2 (z, x) = x + 1, G3 (z, x) = sup(ran x).
Entonces la forma parametrica del teorema anterior proporciona una (clase)
funci
on F tal que para todo z
F(z, 0) = G1 (z, 0) = z.
F(z, + 1) = G2 (z, Fz ()) = F(z, ) + 1, para todo .
F(z, ) = G3 (z, Fz | ) = sup(ran (Fz | )) (9.5.2)
= sup({F(z, ) : < })
para 6= 0 lmite.
Si y son ordinales, entonces escribimos + en lugar de F(, ) y vemos
que las condiciones (9.5.2) son exactamente las propiedades (a), (b) y (c) de
la definici
on.
En las subsecuentes aplicaciones del Teorema de Recursi on Transfinita usa-
remos la forma abreviada como en la Definici on 9.25, sin explcita formulaci
on
de las funciones G1 , G2 y G3 .
Por otra parte, observese que la definicion de suma de n umeros ordinales
generaliza la definici
on de suma para n umeros naturales; de hecho, para n ume-
ros naturales, la parte (c) de la Definici
on 9.25 no se aplica puesto que ning un
numero natural distinto de cero es un ordinal lmite.
Una consecuencia de 9.25 es que para todo ,
( + 1) + 1 = + 2,
( + 2) + 1 = + 3,
etc. Tambien tenemos (si = = )
+ = sup { + n : n < } ,
234 9. Ordinales
y similarmente,
( + ) + = sup {( + ) + n : n < } .
1 + = 2 + .
+ = { + : < } .
n:
Demostracio
La prueba es por induccion sobre . Supongamos que el teorema es cierto para
todo < .
Si = 0, por definici
on + = . Tambien, si = 0,
{ + : < } = { + : } = .
A continuaci
on damos la definici
on de multiplicaci
on de ordinales.
Definici
on 9.33 (Multiplicaci on de Ordinales) Para todo ordinal :
(a) 0 = 0,
(b) ( + 1) = + para todo ,
(c) = sup { : < } para todo ordinal lmite 6= 0.
Lema 9.37 Sean (X, ) y (Y, ) conjuntos bien ordenados y sea h el orden
lexicogr
afico horizontal en X Y . Entonces:
(a) W es un segmento inicial de X Y si y solo si existen un segmento
inicial U de X y un segmento inicial V de Y tales que
W = (X V ) (U {u}),
donde u = min Y \ V .
(b) Si W es un segmento inicial de X Y , entonces existe un segmento
inicial V de Y tal que X V es un segmento inicial de X Y y W X V .
(c) Si X y Y no tienen elementos m
aximos, X Y tampoco tiene elemento
maximo.
Teorema 9.38 Sean (X, ) y (Y, ) conjuntos bien ordenados con tipos de
orden y , respectivamente. Si h es el orden lexicogr
afico horizontal, en-
tonces
k(X Y, h )k = .
n:
Demostracio
Haremos la demostraci on por inducci
on transfinita sobre . Supongase que el
teorema es cierto para todo < .
Si = 0, entonces Y = , por lo tanto, X Y = , as
k(X Y, h )k = .
k(X Y, h )k = + = .
k(X Z, h )k = .
Mas a
un, puesto que Y no tiene elemento maximo, X Y tampoco. Por lo
tanto, k(X Y, h )k es un ordinal lmite, con lo cual
[
k(X Y, h )k = {k(W, h )k : W es segmento inicial de X Y } .
( ) = ( ).
n:
Demostracio
Use el Teorema 9.38 y el hecho de que ( ) es equipotente a ( ).
n:
Demostracio
Use el Lema 9.37 y el Teorema 9.38.
= sup { : < } .
n:
Demostracio
Use S
el Teorema 9.40, el hecho de que para un ordinal lmite se tiene que
= y la definici
on.
1 = = 2 ,
pero 1 6= 2. M
as a
un, este mismo ejemplo demuestra que la multiplicaci on por
la izquierda no es monotona: 1 < 2, pero 1 = 2 . Sin embargo, podemos
demostrar el siguiente teorema.
n:
Demostracio
Para variar, la demostraci on es por inducci on transfinita sobre . Supongase
que la implicacion es cierta para todo < y supongase que < .
Si = 0, la implicacion es trivial.
Si = + 1, entonces por la hip otesis de induccion, . M
as a
un,
por definicion:
=+
+
+
= .
Si es un ordinal lmite y = 0, entonces = 0 . Supongamos
entonces que 6= 0. Entonces por el Teorema 9.41 y dado que < , y
son ordinales lmites. Por lo tanto, por definici
on,
= sup { : < }
sup { : < }
= .
(1 + 1) = 2 =
(1 ) + (1 ) = + 6= .
( + ) = + .
n:
Demostracio
Sean (X, 1 ), (Y, 2 ) y (Z, 3 ) conjuntos bien ordenados de tipos de orden ,
y , respectivamente. Si es el orden de la union ajena Y t Z como se dijo
en el Teorema 9.27, y es el orden lexicogr afico horizontal en X (Y t Z).
Entonces
k(X (Y t Z), )k = ( + ). (9.5.4)
Ahora sean 1 y 2 los ordenes lexicogr aficos horizontales en X Y y X Z,
respectivamente, y 0 es el orden de la uni
on ajena (X Y )t(Y Z), entonces
(X Y ) t (X Z), 0 = + . (9.5.5)
242 9. Ordinales
+ = y ( ) = .
( 2)2 = ( 2) ( 2)
= (2 ) 2
= ( ) 2
= 2 2.
Sin embargo, 2 22 = 2 4 6= 2 2.
Se puede destacar que la aritmetica ordinal difiere sustancialmente de la
umeros cardinales. Por ejemplo, 2 = y son ordinales
aritmetica de n
numerables, mientras 20 = 0 0 es no numerable.
9.5. Aritmetica Ordinal 243
Uno puede usar las operaciones aritmeticas para generar ordinales cada vez
mas grandes:
0, 1, 2, 3, . . . , , + 1, + 2, . . . , 2, 2 + 1, . . . ,
3, . . . , 4, . . . , = 2 , 2 + 1, . . . , 2 + , . . . ,
2 2, . . . , 3 , . . . 4 , . . . , , + 1, . . . , 2, . . . ,
2 3
= +1 , . . . , , . . . , , . . . , , . . . , , . . .
Ejercicios 9.5
1. Eval
ue las siguientes operaciones:
(a) ( + 1) + .
(b) + 2 .
(c) ( + 1) 2 .
= sup { : es lmite} .)
4. Complete la demostraci
on de la Proposici
on 9.28(c).
6. Demuestre que si (X, ) y (Y, ) son conjuntos bien ordenados con tipos
de orden y , respectivamente, entonces el tipo de orden de
(X Y, v )
es .
244 9. Ordinales
(a) 6= 0 y 6= 0 implica = ( + 1) .
(b) < implica < .
(c) = 0 si y s
olo si = 0 o = 0.
(a) = + 1,
9.6. Ordinales Iniciales y Alephs 245
(b) = 2,
(c) = 3,
(d) = ,
(e) = .
1
(Sugerencia: n m : m N\ {0} es isomorfo a 2 , etc.)
Definicion 9.56 Para cualquier conjunto A, sea ~(A) el mnimo numero or-
dinal que no es equipotente a cualquier subconjunto de A. Llamaremos a ~(A)
n
umero de Hartog de A.
Por definici
on, ~(A) es el mnimo ordinal tal que || |A|. Por otra parte,
del Axioma de Eleccion se sigue que el n
umero de Hartog existe para cualquier
conjunto A; pero tambien es posible establecer una demostraci on sin emplear
dicho axioma (ver Ejercicio 9.6.4).
+1 = ~( ) para todo ;
Note que de la Definici on 9.56 se sigue que, para cada ordinal , |+1 | >
| | y que | | < | | siempre que < .
n:
Demostracio
(a) Se hara por induccion sobre . El u nico caso no trivial es cuando 6= 0
es un ordinal lmite (por definicion y por el lema). Supongase que | | = ||
un < , entonces existe un < tal que < (por definici
para alg on de
supremo). Pero, puesto que es un ordinal lmite si < tambien + 1 < ,
y esto implica que
| | = || = | | < |+1 | | | ,
cuando vara en toda la clase Ord. Los ordinales iniciales son, por definicion,
la cardinalidad de los conjuntos infinitos. Es costumbre llamar a estos numeros
ordinales alephs, y definir
=
para cada Ord.
Los numeros cardinales son o bien n umeros naturales o alephs. En particular
|N| = 0 coincidiendo con nuestro acuerdo previo. El lector tambien puede
notar que el orden de los n umeros cardinales por tama no, como se hizo en
el Captulo 7, coincide con el orden de los n
umeros naturales y con el orden de
los alephs como ordinales, es decir, si |X| = y |Y | = , entonces |X| < |Y |
9.6. Ordinales Iniciales y Alephs 249
si y s
olo si < (o sea ), y similar equivalencia se cumple si uno
o ambos son n umeros naturales.
En el Captulo 7 definimos la suma, multiplicaci on y exponenciacion de
numeros cardinales; estas operaciones desafortunadamente son poco compa-
tibles con las correspondientes suma, multiplicaci on y exponenciaci on como
numeros ordinales. Por ejemplo, + 6= si + es la suma de ordinales,
pero + = si + es la suma de cardinales. La suma de cardinales
es conmutativa, pero la de ordinales no. Para evitar confusiones, se usan los
smbolos cuando se trata de operaciones ordinales y los smbolos cuando
se refiere a los operaciones cardinales.
Por otra parte, el lector podra demostrar sin dificultad que el conjunto de
todos los n umeros cardinales no existe. Denotaremos por Car a la clase de
todos los numeros cardinales.
Uno puede comparar conjuntos por su cardinalidad, es decir, definir las rela-
ciones |X| < |Y | y |X| = |Y |, sin definir el smbolo |X|. Con el Axioma de
Eleccion, cualquier conjunto es equipotente a un u nico aleph, y as uno puede
definir |X| como el aleph correspondiente. Sin el Axioma de Elecci on es imposi-
ble hacer una definicion del smbolo |X| en ZF. Una de las razones de porque
usar los alephs para definir la cardinalidad de conjuntos, si se acepta el Axioma
de Eleccion, es que para cualquier ordinal , = | | , y as la cardinalidad
de es . En otras palabras, los n umeros cardinales son representantes de
las clases de equivalencia de conjuntos de la misma cardinalidad.
Finalmente comentaremos que existe tambien una definici on alternativa de
|X| usando el Axioma de Fundaci on y el concepto de rango de un conjunto
que no trataremos aqu pero puede que encontrarse en [R2 ].
Ejercicios 9.6
4. Pruebe sin usar el Axioma de Elecci on que ~(A) existe para cada A.
(Sugerencia: hay un u
nico ordinal isomorfo a Y , donde Y es un sub-
conjunto bien ordenado de A. Use el Axioma Esquema de Reemplazo
para tener un conjunto de ordinales isomorfos a cualquier subconjunto
bien ordenado de A.)
0 + 0 = 0
9.7. Suma y Multiplicaci
on de Alephs 251
ya que, por ejemplo, podemos ver al conjunto de los n umeros naturales como
la uni
on de dos conjuntos numerables ajenos: los pares y los impares. M
as a
un,
0 0 = 0 .
o
max {1 , 2 } = max {1 , 2 } y 1 < 1
o bien
(1 , 2 ) (1 , 2 ) (1 , 2 ).
Se sigue de la definici
on de que
= .
Tambien,
n =
para todo n
umero natural n.
n:
Demostracio
Si , entonces, por un lado, = 1 , y por otro lado, por el
Teorema 9.60, = . Similarmente, n = .
+ = .
Tambien
n + =
para todo n
umero natural n.
n:
Demostracio
Si , entonces + + = 2 = . La segunda parte
se demuestra de manera similar.
254 9. Ordinales
Ejercicios 9.7
1. Demuestre que:
2. Si y son ordinales
y || y || , entonces | + | ,
| | , (donde + , y son las operaciones
ordinales).
4. Demuestre que
(a) [ ] , donde [ ] es la familia de todos los subcon-
juntos de de cardinalidad menor o igual a .
(b) [ ] = , donde [ ] es la familia de todos los subconjuntos
de de cardinalidad .
n o
(c) f A : A [ ] , f es inyectiva = .
10.1 N
umeros Cardinales y el Axioma de Eleccion
En Teora de Conjuntos con el Axioma de Elecci on, cualquier conjunto es
equipotente a un aleph y los alephs (como clase) son bien ordenados. Sin el
Axioma de Elecci on, sin embargo, no es posible demostrar que el ordenamiento
|X| |Y |, sea un orden lineal en la clase de todos los n
umeros cardinales. En la
Secci
on 7.3 se estableci
o que el ordenamiento tiene las siguientes propiedades
para cualesquiera conjuntos X, Y, Z:
As, resulta ser un (clase) orden parcial. El Corolario 9.55 nos dice que
el Axioma de Elecci on implica que este es un (clase) orden lineal. En seguida
demostraremos la implicaci on recproca.
n:
Demostracio
Sea X un conjunto y sea
k(dom R, R)k = .
Defina
k(dom R, R)k , si x = R X
F(x) =
, en otro caso.
Entonces F es una (clase) funci
on, y se sigue del Axioma Esquema de Reem-
plazo que F(X ) es un conjunto. Claramente,
(X) es un conjunto de n
umeros ordinales, probaremos que (X) es de
hecho un n
umero ordinal.
n:
Demostracio
Sea X un conjunto. Ya que (X) es un conjunto de n umeros ordinales, para
mostrar que (X) es un n umero ordinal es suficiente demostrar que es transi-
tivo. Supongase que (X) y que . Entonces || |X| y ; por
lo tanto, || |X|, as (X).
entonces es un aleph.
n:
Demostracio
Sea K un conjunto tal que = |K|, y sea W un conjunto bien ordenado tal
on (10.1.1), existen subconjuntos ajenos K1 y W1 de
que = |W |. Por la ecuaci
K W tales que K W = K1 W1 y |K1 | = , |W1 | = . Ahora bien, si existe
k K tal que (k, w) K1 para cualquier w W, entonces puesto que
K1 {(k, w) : w W }. Si por el contrario, cada {k}W * K1 , entonces, para
cada k K, podemos tomar el mnimo elemento wk de W tal que (k, wk ) W1 .
Resulta ahora que , puesto que {(k, wk ) : k K} W1 .
En el caso particular de la ecuacion (10.1.2), () es imposible, y
() implica que es un aleph.
n:
Demostracio
Nuevamente mostraremos que cualquier n umero cardinal es un aleph. Sea
un cardinal infinito y sea = 0 . Basta demostrar que es un aleph. Primero
note que 2 = puesto que
2
2 = 0 = 20 = 0 = .
As tenemos que
( ())2 = ().
Ahora mostremos que
( + ())2 = ().
Por un lado tenemos:
( + ())2 = 2 + 2 () + ()2
= + () + ()
() + + ()
= 2() = (),
y consecuentemente es un aleph.
Ejercicios 10.1
Definici on 10.9 Sea {Ai }iI una familia de conjuntos ajenos por pares, y
sea |Ai | = i para cada i I. Definimos la suma de {i }iI por
X [
i = Ai .
iI iI
P
La definici
on de iI i usa conjuntos particulares Ai (i I). En el caso
finito, cuando I = {1, 2}, y 1 + 2 = |A1 A2 | , demostramos que la eleccion
de A1 y A2 es irrelevante. Para sumas infinitas, se necesita el Axioma de
Eleccion para demostrar el lema correspondiente. Esta y otras razones nos lle-
van a asumir el Axioma de Elecci on de ahora en adelante sin decirlo explcita-
mente.
Lema 10.10 Si {Ai }iI y {A0i }iI son familias de conjuntos ajenos por pares
tales que |Ai | = |A0i | para todo i I, entonces
[ [
0
Ai = Ai .
iI iI
n:
Demostracio
S
Para cada i I, seleccione S on fi : Ai A0i . Entonces f =
S una biyecci iI fi
on entre iI Ai y iI A0i .
es una biyecci
P
Este lema hace que la definicion de iI i sea legtima. Como las uniones
infinitas de conjuntos satisfacen las ley asociativa, se sigue P que las
sumas infinitas de cardinales son tambien asociativas. La operaci onP tiene
otras
P propiedades razonables: Si i i para cada i I, entonces iI i
iIPi . Sin embargo,
P si i < i para cada i I, no necesariamente es cierto
que iI i < iI i .
10.2. Sumas y Productos Infinitos 261
1 + 2 + 3 + + n + (n N).
P
Es facil ver que esta suma, nN n, es igual a 0 . Este hecho se deduce del
siguiente teorema general.
n:
Demostracio
Por un lado, para cada < . Entonces
X X
= .
< <
P P
Por
P otro lado, note que = < 1 < . Tambi en tenemos
< ; en efecto, puesto que es el
P supremo de { }
< , cualquier
P menor
que es menor que algun , y <P ; por tanto, < . Ahora
ya que y son menores o iguales que < , se sigue P que , que es
el maximo de los dos, es tambien menor o igual que < . Finalmente,
usando el Teorema de Cantor-Schroder-Bernstein se concluye el teorema.
on 10.13 Sea {Ai }iI una familia de conjuntos tales que |Ai | = i
Definici
para cada i I. Se define el producto de {i }iI por
Y Y
i = Ai .
iI iI
Se usa el mismo smbolo para el producto de cardinales (el del lado izquierdo)
que para el producto cartesiano de la familia indizada {Ai }iI Q (el del lado
derecho). Segun el contexto, seraQclaro el significado del smbolo .
Nuevamente, la definicion de iI i no depende de los conjuntos particu-
lares Ai .
Lema 10.14 Si {Ai }iI y {A0i }iI son tales que |Ai | = |A0i | para todo i I,
entonces
Y Y
Ai = A0i .
iI iI
n:
Demostracio
Para cada i I, eljase una biyeccion fi : Ai A0i . Sea
Y Y
f: Ai A0i
iI iI
n:
Demostracio
Como para cada < , tenemos que
Y Y
=
< <
Q
Para probar que < , consideremos una partici
on de en con-
juntos A de cardinalidad :
[
= A
<
(ver Ejercicio 10.2.7). Como cada A debe ser no acotado en y dado que el
producto de cardinales no nulos es mayor o igual que cada factor, tenemos que
Y
sup { : A } = ,
A
264 10. Teora de Cardinales
n:
Demostracio
P Q
Mostraremos que iI i iI i . Sea {Ai }iI una familia de conjuntos
tales que |Ai | = i para cada i I.QEs suficiente mostrar que si {Bi }iI es
S de subconjuntos de A = iI Ai tal que |Bi | i para cada i I,
una familia
entonces iI Bi 6= A.
Para cada i I, consideremos las proyecci on de Bi sobre el i-esimo factor
Si = pi (Bi ). Como |Bi | < |Ai |, tenemos que Si Ai . Ahora sea x = (xi )iI
A un elemento S tal que xi / Si . Obviamente, x no pertenece a cualquier Bi
(i I) y as iI Bi 6= A.
entonces el Teorema de K
onig es aplicable ya que 1 < 2, y obtenemos
X Y
= 1< 2 = 2 .
i i
10.2. Sumas y Productos Infinitos 265
Ejercicios 10.2
1. Demuestre
S que si {Ji }iI es una familia de conjunto ajenos por pares,
J = iI J y j (j J) son n umeros cardinales, entonces
X X X
( j ) = j
iI jJi jJ
P
(asociatividad de ).
3. Encuentre cardinales
P nP
y n (n N) tales que n < n para todo
n N, pero n=0 n =
n=0 n .
6. Pruebe que
[ X
Ai |Ai | .
iI iI
13. Demuestre la f
ormula Y P
(i ) = iI i .
iI
P
14. Demuestre
Q que si 1 < i i para cada i I, entonces iI i
iI i .
es igual a 21 .
16. Demuestre que:
Q
(a) n< n = 0 .
Q
(b) <+ = + 0
.
= lim .
= lim n ,
n
+ = lim +n ,
n
= lim n ,
n
1 = lim .
1
n:
Demostracio
Sea un cardinal arbitrario. Considere la sucesi
on
, +1 , +2 , . . . , +n , . . . (n < ).
Entonces
+ = lim +n ,
n
y por lo tanto, + es un cardinal singular mayor que .
= lim ;
0 =
1 = 0 =
2 = 1 =
n+1 = n
Es imposible demostrar a partir de los axiomas ZFC que los cardinales in-
accesibles existen; en otras palabras, puede incluirse como un axioma adicional
para la Teora de Conjuntos que los cardinales inaccesibles existen.
n:
Demostracio
Sea = cf (). Claramente, es un ordinal lmite y cf () . Demostraremos
que cf () no es menor que . Si = cf () < , entonces existe una sucesi on
creciente de ordinales ( )< tal que su lmite lim = . Puesto que
on creciente ( )< tal que lim = . Pero
= cf (), existe una sucesi
on ( )< tiene longitud , y lim = . Como < ,
entonces la sucesi
10.4. La Hip
otesis Generalizada del Continuo 271
Ejercicios 10.3
1. Demuestre que cf ( ) = cf (+ ) = .
2. Demuestre que cf (1 ) = 1 , cf (2 ) = 2 .
3. Sea el n
umero cardinal definido en la demostraci
on de la Proposici
on
10.22. Demuestre que cf () = .
2 +1 . (10.4.1)
X Y
< 2
< <
y por lo tanto,
2 < (2 ) .
Ahora, si es menor o igual a , se tendra que
2 < (2 ) = 2 = 2 ,
que es una contradicci
on.
2 = +1 . (10.4.4)
Ejercicios 10.4
1. Usando el Axioma de Elecci on, demuestre la equivalencia entre las dos
versiones de la Hip
otesis Generalizada del Continuo.
2. Pruebe que si 20 > , entonces 0 = 20 .
n:
Demostracio
Si , entonces = 2 = +1 por el Lema 10.33. Sea < y sea B
la coleccion de todos los subconjuntos acotados de , esto es,
[
B= P().
<
2 = +1
cf ( ) > .
n:
Demostracio
Es exactamente como la demostracion de la Proposici
on 10.29, excepto que
2 se reemplaza por . Los detalles los dejamos para el lector.
n:
Demostracio
Si , entonces = 2 = +1 . Si < cf( ), entonces cualquier
subconjunto X tal que |X| = es un subconjunto acotado, y tenemos
que = por el argumento empleado para cardinales regulares en el
Teorema 10.35.
As, supongamos que cf ( ) . Por una parte tenemos que
=2
= +1 .
Por otra parte, dado que es singular, cf ( ) 6= cf ( ) y por lo tanto,
6= . As, necesariamente = +1 .
= +1 (10.5.1)
y
+1
= +1 . (10.5.2)
En seguida demostraremos que ambas (10.5.1) y (10.5.2) implican la Hip
otesis
Generalizada del Continuo.
< 2 = +1 .
Sierpi
nski y Tarski introdujeron el siguiente tipo de cardinales.
Ejercicios 10.5
9. Pruebe que:
(a) 1 0 = 20 1 .
(b) 0 1 = 21 .
+1
< +2
.
para cualquier n
umero ordinal .
11. Si es fuertemente inaccesible y < , entonces = . (Sugeren-
cia: aplique el Ejercicio 4.)
Q
12. Demuestre que n< n = 0 . (Sugerencia: sean Ai (i < ) subcon-
juntos infinitos mutuamente ajenos de . Entonces
Y Y Y Y X Y
n n n = 0 .
n< i< nAi i< nAi i<
La demostraci
on de la otra desigualdad es m
as sencilla.)
1
Esta secci
on y la siguiente requieren del material sobre ideales y filtros para el caso
especial del
algebra Booleana P(X) expuestos en la Seccion 8.5.
282 10. Teora de Cardinales
n:
Demostracio
Supongamos que 20 = 1 y que existe una medida -aditiva sobre el con-
junto 1 . En el algebra de conjuntos P(1 ), consideremos el ideal de todos los
subconjuntos de 1 con medida 0:
I = {X 1 : (X) = 0} .
n:
Demostracio
En vista del Corolario 10.52 es suficiente demostrar que es un cardinal lmite.
Supongamos que = +1 .
Para cada < podemos elegir una funcion f : +1 tal que
ran f . Para < +1 y < sea
A = { < : f () = } .
Ejercicios 10.6
que apareci
o en la demostraci
on del Lema 10.50 es un ideal sobre .
286 10. Teora de Cardinales
U = {A X : (A) = 1}
es un ultrafiltro no principal
T sobre X, y si {An }
n=0 es tal que An U para
cada n N, entonces n=0 An U.
n:
Demostracio
La verificaci
on de que U es un ultrafiltro es f
acil, y la dejamos para el lector.
U no es principal, dado que no es trivial. U satisface la segunda parte del
lema porque es -aditiva.
n:
Demostracio
Sea un cardinal medible, y sea U un ultrafiltro -completo no principal sobre
.
Sea I el ideal dual de U; I es un ideal primo. Cualquier conjunto singular
pertenece a I, y por la -completitud, cualquier A de cardinalidad menor
que pertenece a I. Si fuera singular, el conjunto tambien pertenecera a
I, por -completitud; contradiciendo que I es un ideal propio (compare con
el Corolario 10.52). Por lo tanto, es regular.
Ahora supongamos que no es lmite fuerte. Entonces existe < tal que
2 . As, hay un conjunto X {0, 1} de cardinalidad sobre el cual hay
tambien un ultrafiltro -completo no principal, digamos V. Para cada < ,
exactamente uno de los conjuntos
{f X : f () = 0} y {f X : f () = 1} (10.7.1)
n:
Demostracio
Para cada < , sea T el conjunto de todas las s T de longitud . Como
es un cardinal fuertemente inaccesible, se sigue, por induccion sobre , que
|T | < para todo < . Por lo tanto, |T | . Por la Definicion 10.62(c),
|T | = . Sea U un ultrafiltro -completo no principal sobre T .
Encontraremos una rama de longitud como sigue. Por inducci on sobre
mostraremos que para cada existe un u nico s T tal que
{t T : s t} U (10.8.1)
{A : | \ A| < } ,
es no principal.
C0 C1 C ( < )
T
son cerrados no acotados, y sea C = < C .
Es facil ver que C es cerrado. Para mostrar que C es no acotado, sea < .
Construiremos una sucesion
como sigue: Sea 0 C0 tal que 0 > , y para cada < , sea C tal
que
> sup { : < } .
Como es regular y < , tal sucesion existe y su lmite es menor que .
Para cada < , es el lmite de una sucesion ( )<< en C , y as C .
Por lo tanto, C.
Note que la familia de todos los conjuntos delgados es el ideal dual del filtro
cerrado y no acotado.
Sea un cardinal fuertemente inaccesible. El conjunto de todos los cardi-
nales menores que es un subconjunto cerrado y no acotado de , y as es
292 10. Teora de Cardinales
()n
[]n = {X : |X| = n} ,
|A| = , y [A]n P .
()22 .
[]2 = P0 P1 ,
n:
Demostracio
Demostraremos la proposicion cuando A es considerado con el orden lexi-
cografico; las modificaciones de la demostracion para el caso en que A es bien
ordenado por el orden dual se dejan para el lector.
Supongamos sin perdida de generalidad (omitiendo si es necesario una can-
tidad finita de elementos), que A no tiene elemento maximo y que < |A|.
Afirmamos que existe un ordinal < para el cual existen funciones f, g :
+1 A tales que
(i) f y g son crecientes e inyectivas,
(ii) f () < g() < f ( + 1) y
(iii) (f (), g()) = para < +1 .
Sea s : A A tal que s(a) es el sucesor inmediato de a en A, y sea
A = {a A : (a, s(a)) = }
S
para cada < . Como A = < A , existe < tal que |A | > .
Como A tambien es bien ordenado, existen un u nico ordinal y un u
nico
isomorfismo de orden h : A . Note que +1 . Hagamos
f = h |+1 y g = s f.
para < +1 ; adem as, como f () = 0 < 1 = g() para < +1 , tenemos
que f ( + 1) 6= g(). La prueba de la afirmacion est a completa.
Ahora sea el mnimo ordinal menor que para el cual existen las fun-
ciones f, g que satisfacen las condiciones (i), (ii) y (iii).
Sea
B = {g() : < +1 y (g(), f ( + 1)) = }
para cada < . Como g() = 1, f ( + 1) = 0 y g() < f ( + 1), se sigue
que (g(), f ( + 1)) < para < +1 ; por lo tanto,
[
g {}<+1 = B .
<
y definamos g 0 : +1 A mediante
g 0 () = f (g 1 (f 0 ()) + 1).
Como f 0 {}<+1 g {}<+1 , la funcion g 0 esta bien definida. Es
claro que f 0 y g 0 son funciones crecientes e inyectivas de +1 en A, f 0 () <
g 0 () para < +1 , y (f 0 (), g 0 ()) = para < +1 ; por lo tanto,
Ejercicios 10.8
f ({ : < })
es cerrado y no acotado.
3. Demuestre es cerrado
n que si C T o y no acotado para cada ,
entonces : C es cerrado y no acotado en .
As, p P y q Q implica a(p) < a(q) . Por lo tanto, (c) se cumple por la
suposicion para n < n0 ; obteniendo con esto que
Puesto que B es denso, (11.1.1) muestra que existen n umeros k tales que
b(p) < bk para cualquier p P y bk < b(q) para cualquier q Q. Se sigue de
on de que (n0 ) es uno de estos n
la definici umeros k. As, b(n0 ) 6= b(j) para
j P Q. M un, b(n0 ) < b(j) si y s
as a olo si j Q si y s
olo si a(n0 ) < a(j) ;
y similarmente para > (tomando j P Q). De este modo (b) y (c) estan
demostradas.
f es un isomorfismo entre los conjuntos a(n) : n N y b(n) : n N
se deduce las propiedades (a), (b) y (c). Nos resta probar que estos conjuntos
son identicos con A y B, respectivamente. En otras palabras que y son
sobreyectivas. Consideraremos u nicamente .
Supongase por el contrario que N \ (N) 6= y sea k0 el mnimo de este
conjunto. Claramente k0 > 0. Para h < k0 , sea nh el u nico n umero tal que
(nh ) = h y sea n un n umero natural par mayor que cualquier nh , con h < k0 .
Como ak0 6= a(j) para todo j n, y para cualquier k < k0 existe j n tal
que ak = a(j) , a saber, j = nk , obtenemos que k0 = min Fn . Esto implica que
k0 = (n + 1), lo cual contradice que k0 / (N ).
11.1. El Problema de Souslin 299
Definici on 11.3 Sea (A, ) un conjunto linealmente ordenado que sea denso.
(a) Decimos que (A, ) es completo si cualquier subconjunto acotado no
vaco de A tiene supremo.
(b) D A es denso en A si y solo si para cualesquiera a, b A, existe
d D tal que a < d < b.
En la Secci
on 6.4 hicimos notar que a pesar de que los racionales son un con-
junto denso, existen subconjuntos acotados no vacos que carecen de supremo.
Esta motivacion nos llevo a extender el conjunto Q a un conjunto linealmente
ordenado en el que no ocurriera este fen omeno; as construimos a R (por
medio de clases de equivalencia de sucesiones de Cauchy). El conjunto de los
n
umeros reales tiene las mismas propiedades (de orden) que Q y otra m as, la
completitud. Ahora daremos otro metodo de llevar a cabo esta compleci on.
Ap = {x X : x < p} y Bp = {x X : x p} .
300 11. Dos T
opicos Especiales
P = {p X : p 6= , p es abierto en X} . (11.2.1)
G = {x P : x pn para alg
un n N}
Dh = {p P : p 6= h |dom p } ,
y para cada n ,
En = {p P : n dom p} . (11.2.2)
Cada En es un subconjunto denso en P : si p P y n / dom p, basta definir
q : dom p {n} 2 como q(k) = p(k) para cada k dom p y q(n) = 0; as,
q p y q En . Tambien cada Dh es un subconjunto denso en P : si p P \ Dh
yn / dom p, claramente podemos tomar q En tal que q p y q(n) 6= h(n);
entonces q Dh y q p.
Supongamos que G es un filtro D-generico en P ; entonces, en virtud de la
condicion (b) de la Definici
on 11.8, G es un sistema compatible de funciones,
y en virtud de la condicion (c) de la misma definici
on,
[
f= G:2
Dx = {(s, F ) PA : x F } . (11.2.4)
Teorema 11.25 Sean A, C P() tales que |A| , |C| y, para cada
y C y cada F A,
[
|F | 0 y \ F = 0 .
x A, |d x| < 0 y y C, |d y| = 0 .
n:
Demostracio
Para y C y n sea
Eny = {(s, F ) PA : s y * n} .
S
Eny es denso
S en PA ya que para cada (s, F ) PA , |y \ F | = 0 ; si tomamos
y
m y \ F con m > n, entonces (s {m} , F ) En es una extensi on de
(s, F ).
308 11. Dos T
opicos Especiales
Sea
D = {Dx : x A} {Eny : y C, n } ,
donde los conjuntos Dx son los que se definieron en (11.2.4). Por AM , hay
un filtro D-generico G. Ya hemos visto que si dG es como en (11.2.3), entonces
dG x es finito para cada x A. Si y C, entonces dG y * n para todo
n , ya que G Eny 6= para cada n . Por lo cual concluimos que dG y
es infinito.
2 = |P(B)| |P()| = 20 .
n:
Demostracio
Sea < 20 . Por la Proposicion 10.29 tenemos que < cf (2 ). Adem as,
AM implica que 2 = 20 , lo cual significa que < cf (20 ). Por lo tanto,
cf (20 ) = 20 .
{W : < 1 }
(U V ) (U V ) = ;
(2) (a , b ) 6= y (b , c ) 6= ,
(3) (a , c ) {b : < } = .
11.2. El Axioma de Martin 311
{U : < 1 }
n:
Demostracio
Sea P = {p X : p es abierto y p 6= } con p q si y solo si p q. Entonces
P satisface la c.c.c. puesto que X satisface la c.c.c. (ver Ejemplo 11.11 y el
comentario posterior). Para cada < , sean
D = {p P : p U }
n:
Demostracio
Que AM implica AM es trivial. Supongamos AM y sean (Q, ) un con-
junto pre-ordenado que satisfaga la c.c.c. y D = {D : < } una familia de
conjuntos densos en Q.
Para cada < , sea f : Q Q tal que f (p) D y f (p) p para cada
p Q. Estos f existen debido a la densidad de D . Sea g : Q Q Q tal
que para cualesquiera p, q Q,
B = {U X : U es abierto regular} .1
1
U es abierto regular si U = int(U).
314 11. Dos T
opicos Especiales
Para U, V B sean:
U V = U V
U +V = int(U V )
U = int(X \ U )
0 =
1 = X
a 6= b a b = 0
Np = {q P : q p} .
0 = a (a) U
D = {D : < }
Axioma 10 (de Eleccion) Todo conjunto no vaco tiene una funcion de elec-
ci
on.
Axioma 11 (de Eleccion) Hay una funcion F tal que F (X) X para cual-
quier conjunto no vaco X.
20 = 1 .
20 =
HC 20 = 1 .
Adem
as del famoso Axioma de Martin:
324 Apendice C. Axiomas Adicionales
y la Hip
otesis de Souslin:
HGC HC AM
AM HS
HK Existe una familia F P(1 ) tal que |F| 2 y para cualquier <
1 , |{A : A F}| < 1 .
3+ 3 HC
HK HS
V0 =
[
V = {P(V ) : < } .
Y entonces tenemos [
V= V .
Ord
[BT] R.L. Blair, M.L. Tomber. The axiom of choice for finite sets, Proc.
Amer. Math. Soc 11 (1960) 222-226.
[B2 ] A. Blass. A model without ultrafilters. Bull. Acad. Polon. Sci. 25 (1977)
329-331.
[D2 ] R. Dedekind. Was sind und was sollen die Zahlen? Vieweg, Braun-
schweig, 1888.
[G2 ] K. Go del. The consistency of the Axiom of Choice and of the Gene-
ralized Continuum Hypothesis. Proc. Nat. Acad. Sci. 24 (1938). Annals
of Math. Studies 3, 1951.
[M3 ] G. H.. Moore. Zermelos axiom of choice: its origins development, and
influence. Studies in the History of Mathemnatics and Physical Sciences
8 (1982) Springer-Verlag.
[M4 ] R. L. Moore. Foundations of Point Set Theory. Am. Math. Soc. Col-
loquium Publ. XIII, 1932.
[P3 ] G. Peano. Sulla denizione di funzione. Atti Real Ac. Lin. 20 (1911)
3-5.
[R1 ] J. Roitman, Introduction to Modern Set Theory. John Willey & Sons,
1990.
[S1 ] Z. Samadeni. Periods of measurable functions and the Stone-Cech com-
pactification. Amer. Math. Monthly 71 (1964) 891-893.
[S3 ] D. Scott. The theorem on maximal ideals in lattices and the axiom of
choice. Bull. Am. Math. Soc. (1954) 60 83.
[S4 ] D. Scott. Prime ideals theorems for rings, lattices and Boolean alge-
bras. Bull. Am. Math. Soc. (1954) 60 390.
[S8 ] E. Specker. The axiom of choice in Quines New foundations for math-
ematical logic. Proc. Natl. Acad. Sci. U.S.A. 39 (1953) 972-975.
[T] A. Tarski. Prime ideal theorems... . Bull. Am. Math. Soc. (1954) 60
390-391.
[V] G. Vitali. Sul problema della misura del gruppi di punti di una retta.
(Bologna 1905).
.
Indice
337
338 Indice
P dominio de una, 45
par identidad, 44
no ordenado, 14 imagen de una, 45
ordenado, 30 imagen inversa de una, 45
paradoja, 1 inversa, 46
paradoja de Russell, 13 rango de una, 45
particion, 71 reflexiva, 69
Peano, G., 10, 17, 118 simetrica, 69
pre-orden, 301 transitiva, 69
principio vaca, 44
de extension de orden, 206 representaci on decimal, 145
de induccion, 103 representante, 176
de induccion transfinita, 227 retcula, 90
maximal de Hausdor, 183 Russell, B., 4, 13, 20, 99, 186
principios combinatorios, 325 Ryll-Nardzewski, C., 193, 207
producto cartesiano, 31
de una familia, 65 S
propiedad, 8 -completitud, 286
arquimediana, 130, 140 Samadeni, Z., 204
de densidad, 139 Schwarz, H. M., 3
de la intersecci
on finita, 202 segmento inicial, 85
de la m axima cota inferior, 91 Sierpi nski, W., 180, 195, 204, 273,
de la mnima cota superior, 91 279
sistema
Q de conjuntos, 15
Quine, W. V., 20 de funciones compatibles, 60
Skolem, T., 20, 224
R Solovay, R. M., 301
relaci
on Specker, E., 20, 273
antisimetrica, 77 Spivak, M., 142
asimetrica, 78 subconjunto, 16
binaria, 44 propio, 78
campo de una, 45 sucesi on, 112
composici on, 47 de Cauchy, 132, 142
de congruencia modulo n, 71 de Fibonacci, 109
de equivalencia, 69 finita, 112
de inclusion, 45 lmite de una, 142
de orden, 77 semiconstante, 160
de pertenencia, 47 transfinita, 228
diferencia, 44 transfinita creciente, 266
342 Indice