Conjunto S
Conjunto S
Conjunto S
Versión Preliminar
Renato A. Lewin
2
Prefacio
3
4
Capı́tulo 1
5
Lo mismo es cierto de otras teorı́as matemáticas como la teorı́a de números.
Lo anterior parece condenar nuestro proyecto al fracaso, sin embargo
esto no es ası́, sólo nos advierte que el ideal es imposible. De hecho numero-
sos matemáticos han logrado establecer teorı́as axiomáticas que, si bien no
completas, son suficientes para construir en ellas casi toda la matemática.
Estudiaremos una de ellas en estas páginas, a saber, la teorı́a de Zermelo–
Fraenckel, ZF, desarrollada a partir del trabajo de E. Zermelo el primero
en proponer una teorı́a en los primeros años de este siglo.
Un conjunto está definido por los objetos que contiene. Nuestra intuición
nos dice que a cada conjunto corresponde una propiedad, es decir, aquello
que caracteriza a sus elementos, por ejemplo al conjunto formado por los
números 1, 2, . . . , 99, le corresponde la propiedad “ser número entero mayor
que cero y menor que cien”. A la inversa, a toda propiedad le debe corres-
ponder un conjunto, la colección de todos los objetos que verifican dicha
propiedad.
Temprano en el desarrollo de la teorı́a de conjuntos se descubrió que
esta intuición conducı́a a contradicciones y que debı́a descartarse. A fines
del siglo pasado, el matemático inglés Bertrand Russell dio con la siguiente
paradoja. Consideremos el conjunto R definido por la propiedad “un objeto
pertenece al conjunto R si y sólo si no pertenece a si mismo”. En sı́mbolos1
R = {x : x 6∈ x}.
La pregunta entonces es ¿pertenece R a R?, o en sı́mbolos, ¿R ∈ R?. Si
la respuesta es afirmativa, entonces R verifica la propiedad que define a R,
o sea, R 6∈ R. Si la respuesta es negativa, entonces, por definición, R ∈ R.
En cualquier caso obtenemos la contradicción
R ∈ R ↔ R 6∈ R .
6
dos tipos de objetos, conjuntos y clases propias. Deciamos antes que lo que
caracteriza a los conjuntos es sus elementos y por ende para poder afirmar
que algo es un conjunto, es preciso ser capaz de determinar exactamente
cuales son los elementos de dicho conjunto. Las clases son las extensiones
de propiedades. Si ésta pertenece a otra clase, entonces decimos que es un
conjunto, si no, hablamos de una clase propia. Es decir, las clases propias
son las extensiones de una propiedad que de alguna manera son “demasiado
grandes”, no las podemos aprehender. Ejemplos de estas últimas son la clase
R definida anteriormente o la clase V formada por todos los conjuntos (o
clase universal).
En nuestra teorı́a, ZF, no existen las clases propias, sólo conjuntos. Esto
implica que, por ejemplo, no podemos hablar de la clase R. Sin embargo, la
situación no es tan mala como parece. Si bien no podemos hablar de R, nada
nos impide hablar de la propiedad x 6∈ x. Ası́, aunque no podemos afirmar
“a ∈ R00 (porque R no existe dentro de la teorı́a), podemos perfectamente
decir a 6∈ a que significa lo mismo. En otras palabras, si queremos hablar
de una clase propia, en ZFdebemos hacerlo mediante la propiedad que la
define.
La noción de “propiedad” no la hemos definido pero de lo anterior se
desprende que es central en nuestro estudio. Vamos a continuación a definir
este concepto.
Como dijimos, una teorı́a axiomática se desarrolla a partir de ciertos
enunciados o axiomas mediante la aplicación de reglas lógicas. Por ello, es
fundamental que el lenguaje usado sea lo más preciso posible. Esto se logra
mediante la formalización del lenguaje. Sólo aquellas expresiones escritas en
éste serán aceptables en nuestra teorı́a y representaran propiedades.
No es el propósito de este texto introducir al lector a la Lógica Matemáti-
ca. Tampoco suponemos que éste sepa lógica más allá de los conocimientos
que se aprende en un curso universitario de Introducción al Algebra o simi-
lar. Cierta madurez matemática es desde luego necesaria para mantener la
fluidez de las demostraciones. Usaremos por lo tanto un estilo semi formal el
que, por un lado, es habitual en el tema y por el otro, no apabulla al lector
con un rigor tedioso y excesivo.
7
Los sı́mbolos de L serán:
3. Sı́mbolo de pertenencia: ∈
4. Sı́mbolo de igualdad: =
Cualquier cadena finita formada por estos sı́mbolos es una expresión del
lenguaje, pero no toda expresión es aceptable o significativa. Sólo aceptare-
mos aquellas a las que llamaremos fórmulas de L.
Una fórmula de L es una expresión de L construida como sigue:
8
4. Si ϕ es una fórmula de L y x es una variable, ∀xϕ, ∃xϕ son fórmulas
de L .
Estas se leen cualquier conjunto x verifica ϕ y existe (por lo menos) un
conjunto x que verifica ϕ , respectivamente. Su significado es también
evidente.
9
1.2. Los Axiomas de la Teorı́a ZF. Conceptos Fun-
damentales
A1. Axioma de Extensionalidad:
“Si todo elemento de X es un elemento de Y y todo elemento de Y
es un elemento de X , entonces X es igual a Y ”.
Dicho de otro modo, si dos conjuntos tienen los mismos elementos, en-
tonces son iguales. Este axioma nos dice que lo que caracteriza a un conjunto
son sus elementos.
En L , este axioma se escribe
∀X∀Y (∀z(z ∈ X ↔ z ∈ Y ) → X = Y ).
X ⊆ Y ↔ ∀x(x ∈ X → x ∈ Y ).
∀X∀Y (X ⊆ Y ∧ Y ⊆ X → X = Y ).
10
Obsérvese que el sı́mbolo ∅ no es la letra griega ϕ .
{x ∈ A : ϕ(x)}
R = {x ∈ A : x 6∈ x}.
R∈A y R 6∈ R,
11
Por último, cabe destacar que este no es propiamente un axioma sino
más bien un esquema. En efecto, para cada fórmula ϕ(x) de L tenemos
un axioma distinto, o sea, hay una cantidad ilimitada de instancias de este
axioma.
{X, Y }.
{X, X} = {X},
Nuevamente
S por A1, este conjunto es único, se llama la unión de X y
se le denota X.
Un caso particular que merece una notación
S especial es el siguiente. Si
X e Y son conjuntos, entonces existe {X, Y }. (¿Por qué ?) Entonces
[
x∈ {X, Y } ↔ (x ∈ X ∨ x ∈ Y ).
S
{X, Y } se llama la unión de X e Y y se le denota X ∪Y . Corresponde
al conjunto de todos los conjuntos que pertenecen ya sea a X o a Y (o a
ambos).
12
Más generalmente, dados los conjuntos X1 , X2 , . . . , Xn de manera
análoga al caso de la unión de dos conjuntos, definimos
[
X1 ∪ X2 ∪ · · · ∪ Xn = {X1 , X2 , . . . , Xn }.
x ∈ X1 ∪ X2 ∪ · · · ∪ Xn ↔ x ∈ X1 ∨ x ∈ X2 ∨ · · · ∨ x ∈ Xn .
y en general \
X1 ∩ X2 ∩ · · · ∩ Xn = {X1 , . . . , Xn }.
En rigor, para definir x ∩ y no necesitamos A5. ¿Cómo podrı́amos
hacerlo?
Diremos también que dos conjuntos X e Y son disjuntos si
X ∩ Y = ∅.
13
“Si X es un conjunto, entonces existe el conjunto de todos los subcon-
juntos de X ”.
Esto es
∀X ∃Y ∀z(z ∈ Y ↔ z ⊆ X))
(En rigor deberı́amos escribir
A7 Axioma de Regularidad:
“Todo conjunto no vacı́o contiene un elemento con el que no comparte
ningún elemento.”
En L escribimos
Teorema 1.3. i) ∀x x 6∈ x.
· · · ∈ an ∈ · · · ∈ a2 ∈ a1 .
14
ii) Idem i) con A = {x, y}
por supuesto que habrı́a que demostrar además que todos estos conjuntos
son distintos.
Para introducir el último axioma de ZF, debemos estudiar antes un
cierto tipo de fórmula de L . Una fórmula ϕ(x, y) de L con dos variables
libres x e y se dirá función proposicional si para todo conjunto a existe
un único conjunto b tal que ϕ(a, b) se verifica. Ejemplos de éstas son las
fórmulas ϕ(x, y) siguientes:
y = ∪x,
y = Px,
y = x ∪ {x},
y = x ∩ a,
15
donde a es un conjunto fijo, etc.
x 7−→ Px
16
Más importante aún es el problema de la consistencia, es decir, ¿es po-
sible deducir una contradicción a partir de estos axiomas? Este problema
no se ha resuelto y no parece probable que vaya a resolverse debido a los
resultados de Gödel en 1930. Por supuesto no se ha descubierto ninguna
contradicción (de no ser ası́, no tendrı́a sentido el estudio de esta teorı́a) y
se estima que sı́ son consistentes.
El otro problema que surge naturalmente es el de la completitud de este
sistema de axiomas. Es decir, ¿son suficientes estos para deducir todos los
teoremas posibles sobre conjuntos? La respuesta es también no. Mas aún,
sabemos (nuevamente en virtud de los trabajos de K. Gödel en 1930) que
no puede completarse, es decir, aunque agreguemos una lista de infinitos
axiomas a ZF, seguirá siendo incompleto, es decir, siempre existirá una
fórmula ϕ tal que ni ϕ ni ¬ϕ puede demostrarse a partir de esa lista.
Todos estos problemas requieren de conocimientos de Lógica Matemática
y están fuera del alcance de esta obra. Nos parece interesante eso sı́ mencio-
narlos para que el lector investigue por su cuenta.
Ejercicios.
17
7. Use el axioma de reemplazo y el de conjunto infinito para demostrar
que el conjunto A definido en la demostración del teorema 1.3 existe.
18
Capı́tulo 2
Teorı́a Elemental
∅ ∈ {∅}
{∅} ∈ {∅, {∅}}.
2.1. Operaciones
En el capı́tulo anterior hemos definido las operaciones x ∪ y y x ∩ y.
Definiremos ahora una tercera operación
19
Definición 2.1. Dados dos conjuntos a y b definimos el complemento
relativo de b con respecto a a , o su diferencia como sigue
a − b = {x ∈ a : x ∈
/ b}.
ii) Conmutatividad
a∪b=b∪a ,
a∩b=b∩a.
iii) Idempotencia
a∪a=a ,
a∩a=a.
iv) Absorción
a ∪ (a ∩ b) = a ,
a ∩ (a ∪ b) = a .
v) Neutro
a∪∅=a ,
a∩∅=∅.
20
vi) Distributividad
a ∪ (b ∩ c) = (a ∪ b) ∩ (a ∩ c) ,
a ∩ (b ∪ c) = (a ∩ b) ∪ (a ∩ c) .
viii) a − a = ∅
ix) a = (a ∩ b) ∪ (a − b)
Demostración. Ejercicio
i) a ∩ b ⊆ a y a ∩ b ⊆ b.
ii) Si c ⊆ a y c ⊆ b, entonces c ⊆ a ∩ b.
iii) a ⊆ b si y sólo si a ∩ b = a.
iv) Si a ⊆ c y b ⊆ d, entonces a ∩ b ⊆ c ∩ d.
v) a ⊆ a ∪ b y b ⊆ a ∪ b.
vi) Si a ⊆ c y b ⊆ c, entonces a ∪ b ⊆ c.
vii) a ⊆ b si y sólo si a ∪ b = b.
viii) Si a ⊆ c y b ⊆ d, entonces a ∪ b ⊆ c ∪ d.
Demostración. Ejercicio.
i) ∅ ∈ Pa y a ∈ Pa.
ii) P∅ = {∅}.
21
iii) Si a ⊆ b, entonces Pa ⊆ Pb.
v) Pa ∩ Pb = P(a ∩ b).
Ejercicios.
a) {{a}, a} ,
b) a ,
c) ∅ ∩ a ,
d ) {a} − {{a}} ,
e) {a} ∪ a ,
f ) {a} ∪ {∅} .
3. Demostrar que :
S
a) {{a, b, c}, {a, d, e}, {a, f }} = {a, b, c, d, e, f } .
T
b) {{a, b, c}, {a, d, e}, {a, f }} = {a} .
S T
c) {a} = a = {a} , para todo conjunto a .
22
T T T
d) ( a) ∩ ( b) 6= (a ∩ b) .
4. Probar que:
a) Si a ∩ c = ∅ , entonces a ∩ (b ∪ c) = a ∩ b .
b) Si a ∩ b = ∅ , entonces a − b = a .
c) Si a ∩ b = ∅ y a ∪ b = c , entonces a = c − b.
d ) a ∩ (b − c) = (a ∩ b) − c .
e) (a ∪ b) − c = (a − c) ∪ (b − c) .
f ) Si a ∪ b = ∅ , entonces a = ∅ y b = ∅ .
7. Probar que:
S
a) Pa = a .
S
b) a ⊆ P a .
c) No es cierto que si a ∈ b, entonces Pa ∈ Pb .
23
S
d ) Si a ∈ b, entonces Pa ∈ PP a.
S S
e) {Px : x ∈ a} ⊆ P a.
f ) {∅, {∅}} ∈ PPPa , para todo conjunto a .
g) Si Pa = Pb, entonces a = b .
a) a + ∅ = a
b) a + a = ∅
c) a + (b + c) = (a + b) + c
d ) a ∩ (b + c) = (a ∩ b) + (a ∩ c)
e) a − b ⊆ a + b
f ) a = b si y sólo si a + b = ∅
g) Si a + c = b + c , entonces a = b
h) a ∪ c = b ∪ c si y sólo si a + b ⊆ c
i ) (a ∪ c) + (b ∪ c) = (a + b) − c
9. Sean
a = {x ∈ Z : x es divisible por 4}
b = {x ∈ Z : x es divisible por 9}
c = {x ∈ Z : x es divisible por 10}
a) Describir a ∩ b ∩ c .
b) Sean n , m ∈ Z. Si
d = {x ∈ Z : x es divisible por n}
e = {x ∈ Z : x es divisible por m},
(a ∩ b) ∪ c = a ∩ (b ∪ c) si y sólo si c ⊆ a.
24
a) (a − b) − c = a − (b − c) .
b) Si a ∩ b = a ∩ c , entonces b = c .
c) Si a ∪ b = a ∪ c y a ∩ b = a ∩ c , entonces b = c .
d ) a − b = (a ∪ b) − b = a − (a ∩ b) .
e) a ∩ b = a − (a − b) .
f ) a − (b − c) = (a − b) ∪ (a ∩ c) .
g) a − b = b − a .
h) a ∩ (a − b) = (a − b) .
i ) (a − b) ∪ b = a ∪ b .
j ) (a ∩ b) − b = ∅ .
k ) (a − b) ∩ b = ∅ .
a) a ⊆ a ( reflexividad );
b) Si a ⊆ b y b ⊆ a , entonces a = b ( antisimetrı́a );
c) Si a ⊆ b y b ⊆ c , entonces a ⊆ c ( transitividad ).
a = b = c.
b ⊆ c si y sólo si (a − c) ⊆ (a − b).
a) b ⊆ c si y sólo si b ∩ c 0 = ∅
b) b ⊆ c si y sólo si b 0 ∩ c = ∅
c) b ⊆ c si y sólo si b 0 ∪ c = a
d ) b ⊆ c si y sólo si b ∩ c 0 ⊆ b 0
e) b ⊆ c si y sólo si b ∩ c 0 ⊆ c
f ) b ⊆ c si y sólo si b ∩ c 0 ⊆ d ∩ d 0
25
a) a ⊆ b ∩ c si y sólo si a ⊆ b y a ⊆ c
b) b ∪ c ⊆ a si y sólo si b ⊆ a y c ⊆ a
c) Si a ⊆ b ∪ c , entonces a ⊆ b ó a ⊆ c
d) Si b ∩ c ⊆ a , entonces b ⊆ a ó c ⊆ a
17. Probar:
Si paraS todo c ∈ a existe d ∈ b tal que c ⊆ d, entonces
a) S
a⊆ b
T T
b) {c : c = {x} − b y x ∈ a} = ( {c : c = {x} y x ∈ a}) − b
c) [ [
x= a
x∈a
d) \ \
x= a
x∈a
e) [ [
a ∩ ( b) = (a ∩ c)
c∈b
f ) Si d 6= ∅, entonces
\ \
a∪ b= (a ∪ c).
c∈b
2.2. Relaciones
Vamos ahora a introducir algunos conceptos matemáticos familiares, co-
mo par ordenado, relación, función, etc. Debemos tener especial cuidado
de que estos sean conjuntos en virtud de algún axioma de ZF. Por otra
parte, también queremos que estos conjuntos se comporten como los obje-
tos con que trabaja el matemático a quien no preocupan los problemas de
fundamento.
26
Definición 2.2. Dados dos conjuntos a y b llamamos par ordenado a, b
al siguiente conjunto.
ha, bi = {{a}, {a, b}}.
a y b se llaman la primera y segunda coordenada de ha, bi , respectivamente.
Notemos que ha, bi es efectivamente un conjunto. Para justificarlo,
basta usar dos veces el axioma de pares.
En el par no ordenado {a, b} no podemos distinguir ambos elementos ya
que {a, b} = {b, a} (¿por qué?). En cambio, los elementos del par ordenado
ha, bi sı́ son distinguibles, es decir, sabemos cuál es el primero y cuál es el
segundo. Este es el contenido del próximo teorema.
Teorema 2.5. Si ha, bi = hc, di , entonces a = c y b = d.
Demostración. Supongamos que ha, bi = hc, di , ésto es,
{{a}, {a, b}} = {{c}, {c, d}}.
Si a = b, tenemos {{a}} = {{c}, {c, d}}, entonces {a} = {c} = {c, d},
o sea a = b = c = d. (¿Qué axiomas hemos usado?).
Si a 6= b, {a} = {c} o {a} = {c, d}.
En el primer caso, tenemos a = c y como {a, b} ∈ {{c}, {c, d}} y
a 6= b, {a, b} = {c, d} luego a = c y b = d.
En el segundo caso, a = c = d , luego {a, b} ∈ {{a}}, o sea b = a ,
contradicción, o sea, este segundo caso no se puede dar. Por lo tanto, si
ha, bi = hc, di, entonces
a = c y b = d.
27
Notemos que por el axioma de especificación de clases y el axioma del
conjunto potencia, a × b es un conjunto.
Usaremos en general una notación informal aunque más intuitiva
a × b = {hx, yi : x ∈ a ∧ x ∈ b}.
a × b × c = {hx, y, zi : x ∈ a ∧ y ∈ b ∧ z ∈ c}
i) a × ∅ = ∅ × a = ∅.
ii) Si a 6= ∅ y b 6= ∅, entonces a × b 6= ∅.
iii) Si a ⊆ c y b ⊆ d, entonces a × b ⊆ c × d.
iv) a × (b ∪ c) = a × b ∪ a × c.
v) a × (b ∩ c) = a × b ∩ a × c.
vi) a × (b − c) = a × b − a × c
Demostración. Ejercicio.
el recorrido de R
[[
Rec R = {y ∈ R : ∃xhx, yi ∈ R}
y el campo de R ,
Cam R = Dom R ∪ Rec R.
Si Dom R ⊆ A y Rec R ⊆ B, decimos que R es una relación entre A
y B o una relación de A en B .
28
Es claro que tanto Dom R como Rec R son conjuntos (¿qué axiomas
usamos?). Lo que no es tan claro es que estos conjuntos correspondan a la
idea informal que tenemos del dominio, es decir, el conjunto de las primeras
coordenadas de los pares que están en la relación, y recorrido, el conjunto
de las segundas coordenadas de los pares que están en la relación. Basta
para ello comprobar que, efectivamente, ambas S S coordenadas de los pares
que pertenecen a una relación R están en R. Esto es fácil ya que para
ha, bi ∈ R; a, b ∈ {a, b} ∈ ha, bi ∈ R, lo que implica por definición de unión
que
[
{a, b} ∈ R ,
o sea, [
a, b ∈ {a, b} ∈ R,
o sea, [[
a, b ∈ R.
y la relación inversa de R
y
R−1 = {hy, xi : hx, yi ∈ R}.
Es claro que S ◦ R y R−1 son conjuntos.
i) (T ◦ S) ◦ R = T ◦ (S ◦ R).
iii) (S ∩ T ) ◦ R ⊆ (S ◦ R ∩ S ◦ T ), y T ◦ (S ∩ R) ⊆ (T ◦ S ∩ T ◦ R).
iv) Si R ⊆ S, entonces T ◦ R ⊆ T ◦ S y R ◦ T ⊆ S ◦ T.
29
v) (R−1 )−1 = R.
(S ∩ T ) ◦ R ⊆ (S ◦ R) ∩ (T ◦ R).
(S ◦ R)−1 ⊆ R−1 ◦ S −1
30
v) DomR − DomS ⊆ Dom(R − S).
Demostración. Ejercicio.
i) ∅∗ a = ∅.
ii) R∗ ∅ = ∅.
iii) R∗ (a ∪ b) = R∗ a ∪ R∗ b.
iv) R∗ (a ∩ b) ⊆ R∗ a ∩ R∗ b.
v) R∗ a − R∗ b ⊆ R∗ (a − b).
vi) Si a ⊆ b, entonces R∗ a ⊆ R∗ b.
ix) R∗ a ⊆ Rec R.
31
Demostración. iv)
x ∈ R∗ (a ∩ b) ⇔ ∃y(y ∈ a ∩ b ∧ hy, xi ∈ R)
⇒ ∃y(y ∈ a ∧ hy, xi ∈ R) ∧ ∃y(y ∈ b ∧ (y, x) ∈ R)
⇔ x ∈ R∗ a ∧ x ∈ R∗ b
⇔ x ∈ R∗ a ∩ R∗ b
Es decir R∗ (a ∩ b) ⊆ R∗ a ∩ R∗ b.
Para ver que la inclusión contraria no es válida basta el siguiente
contraejemplo. Sean
viii)
x ∈ Dom (S ◦ R) ⇔ ∃y hx, yi ∈ S ◦ R
⇔ ∃y ∃z(hx, zi ∈ R ∧ hz, yi ∈ S)
⇒ ∃z(hz, xi ∈ R−1 ∧ z ∈ Dom S)
⇔ x ∈ R−1∗ (Dom S).
Ejercicios.
entonces se satisface:
32
2. Sean a, b, c conjuntos. Definimos el conjunto
3. Probar que:
T
a) ha, bi = {a} .
TT ST
b) ha, bi = a = ha, bi .
TS
c) ha, bi = a ∩ b .
TS S SS ST
d) ( ha, bi) ( ha, bi − ha, bi) = b.
6. Probar que no es cierto que hha, bi, ci es igual a ha, hb, cii .
33
b) Encontrar todas las relaciones en 2 y en 3 (ver definición de 2 y
de 3 en ejercicios de la sección anterior).
c) ¿Cuántas relaciones se pueden formar en un conjunto de n ele-
mentos?
10. Probar que existe una relación I que actúa como neutro para la
composición de relaciones sobre un conjunto a, es decir, para cualquier
relación R sobre a
R ◦ I = I ◦ R = R.
34
14. Encontrar contraejemplos para las siguientes afirmaciones:
a) Dom (R ∩ S) = Dom R ∩ Dom S .
b) Rec (R ∩ S) = Rec R ∩ Rec S .
c) Dom R − Dom S = Dom (R − S) .
d) Rec R − Rec S = Rec (R − S) .
e) Cam (S ◦ R) = Dom R ∪ Rec S .
f) R∗ (a ∩ b) = R∗ a ∩ R∗ b .
g) R∗ a − R∗ b = R∗ (a − b) .
h) R∗ a = Rec R .
i) ( R−1 )∗ ( R∗ a ) = a .
j) R∗ ( ( R−1 )∗ b ) = b .
15. Probar las siguientes afirmaciones:
a) ( R−1 )∗ (a ∪ b) ⊆ ( R−1 )∗ a ∪ ( R−1 )∗ b .
b) ( R−1 )∗ (a ∩ b) ⊆ ( R−1 )∗ a ∩ ( R−1 )∗ b .
c) ( R−1 )∗ a − ( R−1 )∗ b ⊆ ( R−1 )∗ (a − b) .
d) a ⊆ ( R−1 )∗ ( R∗ a ) .
e) b ⊆ R∗ ( ( R−1 )∗ b ) .
f) Si R ⊆ a × b , entonces
R∗ a = Rec R y ( R−1 )∗ b = Dom R .
16. a) Probar que R∗ a = ∅ si y sólo si Dom R ∩ a = ∅ .
b) Probar que Dom R ∩ a ⊆ ( R−1 )∗ ( R∗ a ).
c) Probar que ( R∗ a ) ∩ b ⊆ R∗ (a ∩ ( R−1 )∗ b ) .
d) ¿ Bajo qué condiciones se tiene que Cam (a × b) = a ∪ b?
e) Probar que si x ∈ Dom R , entonces hx, xi ∈ R−1 ◦ R .
17. Demuestre todas las afirmaciones que no se demostraron en el teorema
2.7.
18. Demuestre todas las afirmaciones que no se demostraron en el teorema
2.8.
19. Demuestre todas las afirmaciones que no se demostraron en el teorema
2.9.
20. Demuestre todas las afirmaciones que no se demostraron en el teorema
2.10.
35
2.3. Funciones
El concepto de función es uno de los más importantes en matemáticas.
Intuitivamente, una función es una regla que asigna a cada elemento de un
conjunto un único elemento de otro conjunto (no necesariamente distinto).
Definición 2.7. Una relación F es una función si y sólo si
∀x∀y∀z((hx, yi ∈ F ∧ hx, zi ∈ F ) → y = z)
Obsérvese que una función es, en particular, una relación, ası́ es que los
conceptos de dominio, recorrido, campo, composición de funciones, función
inversa, imagen, etc. se aplican a ellas tal y como se aplican a otras relaciones.
Habitualmente se usa la siguiente notación.
Definición 2.8. Sea F una función, x ∈ Dom F ,
[
F (x) = {z ∈ Rec F : ∀y(hx, yi ∈ F → z ∈ y)}.
En otras palabras, F (x) es aquel único conjunto con el que x está rela-
cionado según la función F . Observemos que el axioma de extensionalidad
aplicado a funciones F y G nos dice que
Definición 2.9.
F : a −→ b
x 7−→ F (x).
ii)
a
b = {F ∈ P(a × b) : F : a −→ b}.
36
iv) Un función F de a en b se dice sobreyectiva si
ii) F ∈ ∅ a si y sólo si F = ∅.
iii) Si F ∈ a ∅, entonces F = a = ∅.
iv) Si b 6= ∅, entonces ab 6= ∅.
v) Si F ∈ ab y b ⊆ c, entonces F ∈ a c.
vi) Si F ∈ ab y G ∈ b c, entonces G ◦ F ∈ a c.
37
G : a −→ a H : a −→ a
Entonces pa-
x 7−→ d x 7−→ e.
ra todo x ,
Demostración.
i)
x ∈ F −1∗ a si y sólo si ∃y(y ∈ a ∧ hy, xi ∈ F −1 )
si y sólo si ∃y(y ∈ a ∧ hx, yi ∈ F )
si y sólo si ∃y(y ∈ a ∧ y = F (x))
si y sólo si F (x) ∈ a.
iv) Ejercicio.
38
ii) Ejercicio.
Definición 2.10.
i) Si a es un conjunto, la función
Ia : a −→ a
x 7−→ x
F a : a ∩ Dom F −→ F ∗ a
x 7−→ F a(x) = F (x).
39
iii) F es biyectiva si y sólo si existe una función G : b −→ a tal que
F ◦ G = Ib y G ◦ F = Ia . En este caso G = F −1 .
Demostración. i) Sea G : b −→ a tal que F ◦ G = Ib .
Entonces para todo y ∈ b, G(y) ∈ a y
es decir F es sobreyectiva.
ii) (⇒)
Supongamos F es inyectiva y a 6= ∅.
Sea c ∈ a y definamos
G = F −1 ∪ {hx, ci : x ∈ b − F ∗ a}
G ◦ F = Ia .
(⇐)
Si a = ∅, entonces F = ∅ y por lo tanto F es inyectiva.
Si a 6= ∅ y existe G : b −→ a tal que G ◦ F = Ia .
Supongamos que F (x) = F (y). Entonces G(F (x)) = G(F (y)), o sea,
x = G ◦ F (x) = G ◦ F (y) = y, luego F es inyectiva.
iii) Ejercicio
40
Ejercicios.
a) F : N −→ N , F no es inyectiva ni sobreyectiva.
b) F : N −→ N , F es inyectiva pero no sobreyectiva.
c) F : N −→ Z , F no es inyectiva ni sobreyectiva.
d ) F : Z −→ N , F no es inyectiva ni sobreyectiva.
e) F : Q −→ R , F no es inyectiva ni sobreyectiva.
f ) F : R −→ Q , F es sobreyectiva pero no inyectiva.
g) F : R −→ Z , F sobreyectiva tal que F (x) 6= x para todo x
en R .
a) F : 1 −→ 1 .
b) F : 0 −→ 1 .
c) F : 2 × 3 −→ 6 , F biyección.
a) F ∗ G es una función de a × c en b × d .
b) Si F y G son sobreyectivas, entonces F ∗ G es sobreyectiva.
41
c) Si F y G son inyectivas, entonces F ∗ G es inyectiva .
d ) Rec (F ∗ G) = (Rec F ) × (Rec G) .
42
17. Si F y G son funciones inyectivas, entonces G ◦ F es inyectiva y
(G ◦ F )−1 = F −1 ◦ G−1 .
a) a b =b a implica que a = b .
b) a ⊆ b implica que c a ⊆c b .
c) Si existe una biyección entre a y b , entonces existe una biyección
entre c a y c b .
43
29. Sea F : a −→ b función. Probar que existe una función biyectiva
entre F y a .
a) F ∪ G es inyectiva.
b) F − G es inyectiva.
c) F ◦ G es inyectiva.
d ) F F −1 es inyectiva.
S
44
f ) a ∩ b = ∅ implica que F ∗ a ∩ G∗ b = ∅ .
37. Determinar [ \ Y
hai : i ∈ Ii, ai , ai , ai si:
i∈I i∈I i∈I
a) I = 3 y a0 = 1, a1 = 2, a2 = 3 .
b) I = 3 y ai = i , para todo i en 3 .
[i,i+1) R
Q R R.
40. Probar que existe una biyección entre i∈I y
b) Probar que Y Y Y
( ai ) ∩ ( bi ) = (ai ∩ bi ).
i∈I i∈I i∈I
a) Y Y Y
( ai ) ∩ ( bj ) = (ai ∩ bj ) .
i∈I j∈J hi,ji∈I×J
45
b) Y Y Y
( ai ) ∪ ( bj ) = (ai ∪ bj ) .
i∈I j∈J hi,ji∈I×J
c) [ [ [
( ai ) ∩ ( bj ) = (ai ∩ bj ) .
i∈I j∈J hi,ji∈I×J
d) \ \ \
( ai ) ∪ ( bj ) = (ai ∪ bj ) .
i∈I j∈J hi,ji∈I×J
a) [ [ [
ai = ( ai ).
i∈I j∈J i∈j
b) \ \ \
ai = ( ai ).
i∈I j∈J i∈j
a) [ [
F∗ ( ai ) = F ∗ ai .
i∈I i∈I
b) [ [
F −1∗ ( ai ) = F −1∗ ai .
i∈I i∈I
c) \ \
F∗ ( ai ) ⊆ F ∗ ai
i∈I i∈I
46
d)
\ \
F −1∗ ( ai ) = F −1∗ ai .
i∈I i∈I
i) R es reflexiva sobre a si
ii) R es simétrica si
iii) R es transitiva si
47
iv) Una relación R es una relación de equivalencia si y sólo si R es
reflexiva, simétrica y transitiva.
Es fácil demostrar que la reflexividad (sobre su propio campo) es con-
secuencia de la simetrı́a y transitividad de la relación (ver ejercicios). Sin
embargo, la incluimos en la definición porque tradicionalmente se le define
ası́ y para hacer hincapié en que una relación de equivalencia verifica esta
propiedad.
Teorema 2.16. Sea R una relación.
i) R es transitiva si y sólo si R ◦ R ⊆ R.
iv) (⇒)
Supongamos que R es de equivalencia.
Sea hx, yi ∈ R−1 ◦ R, es decir, existe z tal que hx, zi ∈ R−1 y
hz, yi ∈ R. Entonces hz, xi ∈ R y por lo tanto, como R es simétrica,
hx, zi ∈ R y también hz, yi ∈ R, y como R es transitiva, hx, yi ∈ R.
Luego R−1 ◦ R ⊆ R.
48
tenemos que
R ◦ R = R−1 ◦ R = R,
luego, por i), R es transitiva.
Como se mencionó antes la reflexividad es consecuencia de la simetrı́a
y transitividad. Ver ejercicios.
49
El teorema anterior nos da las principales propiedades de las clases de
equivalencia. ii) nos dice que todo elemento del campo está en alguna clase y
que toda clase es no vacı́a. iv) nos dice que dos clases distintas son disjuntas.
Estas tres propiedades definen otro importante concepto matemático, el de
partición de un conjunto.
Definición 2.13. Un conjunto P es una partición de a si
S
i) a = P.
ii) ∀x(x ∈ P → x 6= ∅).
iii) ∀x∀y((x ∈ P ∧ y ∈ P ∧ x 6= y) → x ∩ y = ∅).
Veremos en el próximo teorema la estrecha relación entre los conceptos de
relación de equivalencia y de partición, a saber, toda relación de equivalencia
sobre un conjunto da origen a una única partición de ese conjunto. A la
inversa, toda partición da origen a una única relación de equivalencia.
Teorema 2.18. i) Sea R una relación de equivalencia con campo a .
Entonces P [R ] es una partición de a .
Llamaremos a P [R ] la partición asociada a R .
ii) Sea P una partición de un conjunto a . Entonces la relación
R[P ] = {hx, yi ∈ a × a : ∃z(z ∈ P ∧ {x, y} ⊆ z})
es una relación de equivalencia en a . Llamaremos a R[P ] la relación
de equivalencia asociada a la partición P .
iii) Dada una partición Q de a , P [R[Q ]] = Q.
Dada una relación de equivalencia S , R[P [S ]] = S.
Demostración. i) Como lo hicimos notar, el teorema 2.17 ii) y iii) de-
muestra nuestra afirmación.
ii) Sea P una partición de a .
S
Para x ∈ a, como a = P , existe z ∈ P tal que x ∈ z, o sea,
{x} ⊆ z, luego hx, xi ∈ R[P ] y R[P ] es reflexiva.
Si para algún z , {x, y} ⊆ z ∈ P , entonces {y, x} ⊆ z ∈ P , luego
R[P ] es simétrica.
Si existen u1 , u2 ∈ P tales que {x, y} ⊆ u1 y {y, z} ⊆ u2 , entonces
u1 ∩ u2 6= ∅ luego u1 = u2 , por lo tanto, {x, z} ⊆ u1 , o sea, R[P ] es
transitiva.
50
iii) Ejercicio.
iv) Ejercicio.
Ejercicios.
51
c) Si T y H son relaciones arbitrarias sobre a , entonces si R ⊆ T
y R ⊆ H, entonces R ⊆ T ◦ H.
52
a) Probar que R es de equivalencia sobre a . R se dice la relación
de equivalencia determinada por F y se denota por R [F ].
b) Probar que R [F ] = F −1 ◦ F .
c) Si F : a −→ b y G : b −→ c son funciones, determinar R [G◦F ]
usando R [G] y F .
i) R es antisimétrica si
ii) R es conexa si
∀x∀y(xRy ∨ yRx ∨ x = y).
Ejemplo.
53
ii) Los números naturales se pueden ordenar parcialmente de la siguiente
manera, dados dos números naturales n y m definimos.
n4m si y sólo si n|m.
54
ii) Si R es un orden estricto, entonces la relación definida por
Demostración.
i) Ejercicio.
a = {{z ∈ b : z ≤ x} : x ∈ b},
también es un conjunto.
55
Consideremos la relación S = {hx, yi ∈ a × a : x ⊆ y}. Entonces campo
S = a. Definimos
F : b −→ a
x 7−→ {z ∈ b : z ≤ x}.
56
Supongamos [x]S ≤ [y]S y [y]S ≤ [x]S . Entonces x 4 y y y 4 x, es
decir xSy. Luego [x]S = [y]S , o sea, ≤ es antisimétrica.
Por último es fácil ver que ≤ es reflexiva ya que 4 lo es.
Los conceptos de cota superior, cota inferior, supremo e ı́nfimo son proba-
blemente familiares para el lector. Nótese que si un conjunto tiene supremo
o ı́nfimo, éstos son únicos. También es interesante recalcar que los elementos
minimales no tienen por qué ser el menor elemento del conjunto de hecho,
este ni siquiera tiene que existir. En el ejemplo de la figura a y b son
minimales
57
Demostración. Observemos primero que A tiene que tener un menor ele-
mento. En efecto, es obvio que todos los elementos de A son cota superior
de ∅, pues si a ∈ A no lo fuera, existirı́a x ∈ ∅ tal que x 6≤ a lo que es
imposible. Como ∅ ⊆ A, por hipótesis tiene un supremo s , este es la menor
de las cotas superiores, luego tiene que ser el menor elemento de A .
Sea B = {x ∈ A : x ≤ F (x)}.
Entonces B ⊆ A y B tiene supremo. Llamemos a al supremo de B .
Obsérvese que B 6= ∅, ya que s ≤ F s, donde s es el menor elemento de A .
Entonces para todo x ∈ B, x ≤ a y x ≤ F (x) ≤ F (a), luego F (a) es
cota superior de B y tenemos a ≤ F (a).
Por otra parte si a ≤ F (a), F (a) ≤ F F (a) y por lo tanto F (a) ∈ B,
luego F (a) ≤ a, es decir, a = F (a).
i) ≤ es un buen orden.
58
Demostración.i)⇒ii) Sea A ⊆ Cam ≤. Escogemos a ∈ A tal que
A ∩ {x ∈ Cam ≤ : x < a} = ∅,
ii)⇒iii) Obvio.
iii)⇒i) Dados dos elementos x, y ∈ Cam ≤, consideramos {x, y}, éste tiene
un menor elemento luego x ≤ y o y ≤ x, o sea, ≤ es orden total.
Sea A ⊆ Cam ≤ y sea a su menor elemento. Entonces es claro que
A ∩ {x ∈ Cam ≤ : x < a} = ∅,
Ejercicios.
a) x R1 y si y sólo si y − x ∈ 8.
b) x R2 y si y sólo si y − x ∈ 8 y y − x 6= 0.
59
c) x R3 y si y sólo si y − x = 0.
d ) x R4 y si y sólo si y − x es un entero par.
e) x R6 y si y sólo si y − x = 1.
8. ¿ Es ∅ un orden ?
9. Si a T
es un conjunto no vacı́o de órdenes sobre un conjunto b , probar
que a es un orden sobre b.
60
10. Si R es un orden sobre a y b ⊆ a, probar que R ∩ (b × b) es un
orden sobre b y que si R es total, entonces R ∩ (b × b) también lo es.
61
20. Probar que si Ro es el conjunto de todos los órdenes sobre a y Re
es el conjunto de todos los órdenes estrictos sobre a , entonces existe
una biyección entre Ro y Re .
21. Sean x = {a, b, c, d, e} y S = {ha, ci, hb, ci, hd, ei}. Probar que S es
un orden estricto para x , no es total y que x tiene tres elementos
minimales y dos maximales.
a) Si F : a1 −→ a2 es isomorfismo, F −1 : a2 −→ a1 también es
isomorfismo.
b) Si F : a1 −→ a2 y G : a2 −→ a3 son isomorfismos, entonces
G ◦ F : a1 −→ a3 es isomorfismo.
62
a) Si todo subconjunto de a tiene ı́nfimo, entonces a tiene un mayor
elemento.
b) Todo subconjunto de a tiene supremo si y sólo si todo subconjunto
de a tiene ı́nfimo.
uS v
si y sólo si
Probar que:
63
a) S es un orden sobre Pa .
S
Si d ⊆ b tal que S es un orden sobre d , entonces
b) S d∈b y
d es cota superior de d .
35. Probar que todo subconjunto de un conjunto bien ordenado está bien
ordenado.
39. Probar que ningún conjunto con un buen orden es isomorfo a un seg-
mento inicial de sı́ mismo.
40. Probar que entre dos buenos órdenes hay, a lo más, un isomorfismo.
64
41. Sean ≤1 y ≤2 buenos órdenes sobre a1 y a2 respectivamente.
Probar que si a1 con ≤1 es isomorfo a un subconjunto de a2 con ≤2 ,
y a2 con ≤2 es isomorfo a un subconjunto de a1 con ≤1 , entonces ≤1
y ≤2 son isomorfos sobre a1 y a2 .
43. Demuestre que la relación definida sobre los números naturales en 2.5
es efectivamente un orden.
65
66
Capı́tulo 3
Ordinales
0 = ∅
1 = S0 = {∅}
2 = S1 = {∅, {∅}}
3 = S2 = {∅, {∅}, {∅, {∅}}}
..
.
Cada uno de estos conjuntos es un número natural.
67
La definición anterior introduce todos los números naturales en forma
bastante sencilla. Debemos destacar algunas caracterı́sticas de ésta. En pri-
mer lugar 0 es un número natural. En segundo lugar, si n es un número
natural, su sucesor también lo es. En tercer lugar todo número natural co-
rresponde a una de esas dos posibilidades, o es 0 o es el sucesor de algún
otro número.
Una segunda observación en el plano intuitivo (y que formalizaremos en
el capı́tulo 5), es que el número natural n contiene n elementos i.e. 0 no
tiene elementos, 1 tienen un elemento, 2 tiene dos elementos, etc.
Más aún, nótese que
1 = {0}
2 = {0, 1}
3 = {0, 1, 2}
..
.
En general,
Sn = {0, 1, . . . , n} ,
todo número natural esta formado por los naturales que lo preceden, salvo
el 0 que no contiene ningún elemento.
Hasta ahora hemos construido cada uno de los números naturales. ¿Exis-
te un conjunto que contenga a todos y solamente a los números naturales?
La respuesta es sı́ pero dista de ser obvia, de hecho se necesita el Axioma
de Infinito para poder construir el conjunto de los números naturales.
i) 0 ∈ X.
ii) Si x ∈ X, entonces Sx ∈ X.
68
Obsérvese ω es inductivo y que si X es inductivo, ω ⊆ X, es decir, ω
es el más pequeño de los conjuntos inductivos.
Por la manera en que definimos los números naturales, es claro que todo
conjunto inductivo, en particular ω , contiene a todos los números naturales.
Por otra parte, ningún conjunto que no sea un número natural pertenece a
ω . Esto quedará más claro si demostramos primero el siguiente teorema, del
que derivan las propiedades que más nos interesan de los números naturales,
conocido como Principio de Inducción. En adelante nos referiremos a el
simplemente como P.I.
i) ϕ(0) se verifica.
i) 0 ∈ B.
Ejemplo
Si x ∈ ω, entonces x = 0 o bien x es el sucesor de un número natural.
Demostración. Sea
B = {x ∈ ω : x = 0 ó x es el sucesor de un número natural}.
Es claro que B es inductivo, luego ω ⊆ B ⊆ ω.
69
Resulta interesante notar que
0 ∈ 1 ∈ 2 ∈ 3 ∈ · · · y también o ⊆ 1 ⊆ 2 ⊆ 3 · · ·
Esta observación nos da la intuición de que la relación de pertenencia entre
naturales define una noción de orden apropiada. En estricto rigor, la verdad
es todo lo contrario, los números naturales se definen ası́ para que la relación
de pertenencia sea un orden con buenas propiedades.
Debemos demostrar que esta relación es un orden lineal, más aún, que
es un buen orden.
i) 0 ≤ n.
ii) Si x ∈ n, entonces x ∈ ω.
• ϕ(0) se verifica.
• Supongamos ahora que ϕ(n) se verifica.
Es decir, 0 ≤ n, o sea 0 ∈ n ó 0 = n. En cualquier caso
0 ∈ n ∪ {n} = Sn, o sea ϕ(Sn) se verifica. Luego, en virtud de
P.I., para todo n ∈ ω, 0 ≤ n.
70
• Supongamos ϕ(m) y sea y ∈ Sm. Entonces y ∈ m ó y = m.
Si y ∈ m, por hipótesis de inducción, y ∈ ω.
Si y = m, entonces y ∈ ω. En cualquier caso y ∈ ω.
71
Si m = Sn, como k ∈ m ó k = m tenemos k ∈ Sn ó k = Sn, es
decir, k ≤ Sn.
Esto completa la inducción, luego todo número natural n verifica
ϕ(n), o sea, ≤ es transitiva.
ii) Supongamos ψ(n) se verifica. Entonces por (∗), ϕ(n) también, pero
por el lema 3.3 iii), para todo n
72
Esto completa nuestra inducción, o sea para todo n ∈ ω, se verifica, en
particular, ψ(Sn), y como n < Sn, esto garantiza que se verifica ϕ(n).
73
Ejercicios.
5. Sea hai : i ∈
S ωi una familia de conjuntos tal que para todo i ∈ ω ,
ai ⊆ aSi y i∈ω ai ⊆ a0 . Probar que ai = a0 para todo i en ω.
S S
6. Probar que si n ∈ ω, Sn = n y que ω = ω.
S
7. Probar que si a ⊆ ω, a 6= ∅ y a = a , entonces a = ω.
11. Probar que si n ∈ ω , entonces no existe k ∈ ω tal que n < k < Sn.
13. Probar que no existe una función F : ω −→ ω tal que para todo
n ∈ ω, F (Sn) < F (n).
14. Probar que si ϕ(x) es una fórmula con variable libre x y existe un
k ∈ ω , tal que
74
a) ϕ(k) se verifica y
b) para todo n ∈ ω tal que k ≤ n, si se verifica ϕ(n) entonces se
verifica ϕ(Sn).
15. Probar que si ϕ(x) es una fórmula con variable libre x y existe un
k ∈ ω tal que
a) ϕ(k) se verifica y
b) para todo n ∈ ω tal que n > k, si se verifica ϕ(n) entonces se
verifica ϕ(Sn).
3.2. Ordinales
Los ordinales son conjuntos asociados con buenos órdenes, de hecho, son
los ejemplos tı́picos de estos últimos en el sentido que todo buen orden es
isomorfo a algún ordinal. La definición de ordinal no hace sino extender las
propiedades de los números naturales estudiadas en la sección anterior sin
embargo, esto no se podrá apreciar sino hasta que el capı́tulo esté bastante
avanzado.
∀x∀y((x ∈ y ∧ y ∈ a) → x ∈ a).
75
iii) ∀x(x ∈ ω → Ord (x)).
iii) Consideramos la fórmula ϕ(x) = Ord (x). Por i) y ii) y P.I., todo
número natural es un ordinal.
S
Teorema 3.10. Si C es un conjunto de ordinales, entonces C es un
ordinal.
S
Demostración.
S Para demostrar que C es ∈–transitivo, supongamos x ∈
y ∈ C. Entonces existe α ∈ C talque y ∈ α. Como S x ∈ y ∈ αSy este
último es ∈–transitivo, x ∈ α y por lo tanto, x ∈ C, es decir, C es
∈–transitivo.
S
Sea x ∈ C. Entonces existe α ∈ C tal que x ∈ α, entonces, x
también es ∈–transitivo.
S
Por lo tanto C es un ordinal.
76
Teorema 3.11. Si α es un ordinal, entonces todos sus elementos son
ordinales.
α∈β ó α=β ó β ∈ α.
A = {x ∈ Sα ∪ Sβ : ∃y(y ∈ Sα ∪ Sβ ∧ x 6∈ y ∧ x 6= y ∧ y 6∈ x)}.
B = {x ∈ Sα ∪ Sβ : a 6∈ x ∧ a 6= x ∧ x 6∈ a}
B 6= ∅ ya que a ∈ A.
Por el axioma de regularidad nuevamente sea b ∈ B tal que B ∩ b = ∅.
Como a 6∈ B, a 6= b.
La contradicción se obtiene probando que a = b.
Sea x ∈ a, como a es ordinal, x también lo es. Como a∩A = ∅, x 6∈ A.
Por último como x ∈ a ∈ Sα ∪ Sβ, x ∈ Sα ∪ Sβ, ya que este último, al ser
unión de dos ordinales, es también un ordinal y, por lo tanto, es ∈–transitivo.
77
Entonces
∀y(y ∈ Sα ∪ Sβ → (x ∈ y ∨ x = y ∨ y ∈ x))
x ∈ b ∨ x = b ∨ b ∈ x.
Si x = b, b ∈ a, luego b 6∈ B.
Si b ∈ x, como a es ordinal b ∈ a, luego b 6∈ B. En ambos casos
tenemos una contradicción.
Por lo tanto la única posibilidad es x ∈ b, es decir, hemos demostrado
que a ⊆ b.
Supongamos ahora que x ∈ b. Como antes x ∈ Sα ∪ Sβ y x 6∈ B ya
que B ∩ b = ∅. Luego
El teorema 1.3 garantiza que sólo una de las tres posibilidades anteriores
se verifica.
T
Teorema 3.14. Si ATes un conjunto no vacı́o de ordinales, entonces A
es ordinal. Más aún, A ∈ A.
T
Demostración. Si x ∈ A, entonces para todo α ∈ A, x ∈ α, luego x es
ordinal, por lo tanto es ∈–transitivo.
T
Supongamos x ∈ y ∈ A. Entonces para todo α ∈ A, x ∈ y ∈ T α ∈ A,
pero
T α es ordinal, luego para todo α ∈ A, xT∈ α ∈ A, o sea, x ∈ A y
A es ∈–transitivo. Hemos demostrado que A es un ordinal.
T T T
Por 3.13, para todo α ∈ A, A ∈ α ó A = α ó α ∈ A, pero
T que, en particular, α ∈ α. Las dos primeras
esta última posibilidad implica
posibilidades implican que A ∈ A.
78
i) α ∈ β ssi α ⊂ β.
S S
ii) Si C ⊆ α, entonces C = α ó C ∈ α.
S
iii) α = Sα.
iv) Si α ∈ β, entonces Sα ∈ β ó Sα = β.
S S
v) α = S α ó α = α.
Observemos que iv) es una generalización del lema 3.3, iii). También es
importante notar que todo ordinal es o bien sucesor de algún otro ordinal o
bien la unión de sı́ mismo.
79
Nótese que, en rigor, para distintos ordinales α el orden recién definido
no es el mismo ya que su campo varı́a. Sin embargo usaremos el mismo
sı́mbolo ya que es claro dos de estos órdenes coinciden en la intersección de
sus campos.
También debemos notar que éste coincide con el orden que definimos
para los números naturales.
El siguiente teorema resume las principales propiedades de este orden.
Teorema 3.16. Sea α un ordinal.
i) ≤ es un buen orden en α.
T
ii) Si A ⊆ α y A 6= ∅, entonces A es el menor elemento de A.
v) α = {β ∈ α : β < α}.
vii) α ≤ β si y sólo si α ⊆ β.
S
viii) Si A ⊆ α, entonces A es el supremo de A .
x) Sα = Sβ si y sólo si α = β.
80
vii) Es consecuencia inmediata de la parte i) del teorema anterior.
S
viii) Supongamos AS⊆ α, entonces A es unSordinal y paraS x ∈ A es
claro que x ⊆ A, o sea, por vii), x ≤ A, es decir, A es cota
superior.
S
Sea β otra cota superior de A . Entonces para todo x ∈ A, como
x ∈ α ∈SA y β es cota superior de A , x ≤ α ≤ β, es decir, x ∈ β,
o sea, A ⊆ β, por lo tanto ∪A es la menor de las cotas superiores
de A .
Observación.
Ejercicios.
1. Probar que:
81
S que α ∈ ω si y sólo si α es ordinalSy, o bien α = 0 , o bien
3. Probar
α 6= α y para todo β ∈ α , β = 0 , o β 6= β.
82
Nótese que esta formulación del teorema de inducción transfinita es si-
milar a la del teorema de inducción completa de los números naturales, A
veces es útil usar una forma más parecida al principio de inducción “por
casos”. Para ello recordemos que todo ordinal es o bien el sucesor de algún
otro o es la unión de sı́ mismo. La próxima definición y el teorema que le
sigue formaliza estas ideas.
Teorema 3.19. Sea ϕ(x) una fórmula con una variable libre tal que
i) ϕ(0),
iii) para todo ordinal lı́mite α , si ϕ(β) para todo β < α, entonces ϕ(α).
83
Entonces para todo ordinal α, ϕ(α).
Este teorema puede demostrarse sin recurrir al teorema 3.17 pero esti-
mamos que la demostración tiene cierto interés en sı́ misma. Ver ejercicios
problema 2.
Ejercicios.
a) 0 ∈ A,
b) si β ∈ A y Sβ < α, entonces Sβ ∈ A,
S
c) si β = β < α y para todo γ < β, γ ∈ A.
Entonces A = α.
3.4. Recursión
En esta sección estudiaremos un proceso, ı́ntimamente ligado a la induc-
ción transfinita, que nos permite definir operaciones entre ordinales, este es
el principio de recursión.
84
En álgebra elemental frecuentemente nos encontramos con sucesiones del
tipo siguiente
a0 = 1
an+1 = 2an + 1
Es claro que esta sucesión está bien definida ya que para cualquier n ,
con algún trabajo, podemos obtener el valor de an . Por otra parte, es claro
que esta definición difiere esencialmente de la de la sucesión
bn = n2 + 1 .
Recordemos que una fórmula ϕ(x, y) tal que para todo a existe un único
b tal que ϕ(a, b) define una operación unaria y habitualmente escribimos
85
y si x no es ordinal,
F (x) = x).
a) Domfα = Sα,
b) fα (β) = G(fα∗ β), para todo β ∈ Sα y
c) si β ∈ α, entonces fβ ⊂ fα .
luego
86
Por lo tanto, por el teorema 3.17, para todo ordinal α existe una única
función fα que verifica a) y b).
Podemos ahora definir nuestra operación unaria y = F (x).
fx (x) si x es ordinal,
F (x) =
x si x no es ordinal.
ii) Demostraremos por inducción que para todo α existe una única función
fα tal que
a) Dom fα = Sα,
b) Si Sβ ∈ Sα, entonces fα (Sβ) = G(fα (β)),
c) Si β = β ∈ Sα, entonces fα (β) = H(fα∗ β).
S
d) Si β ∈ α, entonces fβ ⊂ fα .
S
Si β = 0 , entonces β = β luego definimos f0 con dominio 1
como sigue:
f0 (0) = H(f0∗ (0)) = H(0)
87
Ejercicios.
F (0) = a
[
F (n + 1) = F (n)
S
y luego probar que T (a) = n∈ω F (n). Intuitivamente
[ [[ [[[
T (a) = a ∪ a∪ a∪ a··· ,
i) µ es no-decreciente si
iii) µ es continua si
[ [
∀α((α 6= 0 ∧ α = α ∈ A) → µ(α) = µ(β)).
β∈α
88
Ejemplo.
es decir, ϕ(β).
89
Teorema 3.23. Si µ es una función normal y α ∈ Dom µ es un ordinal
lı́mite, entonces µ(α) también es lı́mite.
90
[
Pero si β < µ(α) = µ(γ), entonces existe γ < α tal que β < µ(γ) <
γ<α
µ(α) luego
[
ν(β) < ν(µ(γ)) < ν(µ(δ)).
δ<α
Por lo tanto
[
ν ◦ µ(α) ≤ ν(µ(δ)) ≤ ν(µ(α)) = ν ◦ µ(α)
δ<α
o sea [
ν ◦ µ(α) = ν ◦ µ(δ),
δ<α
Demostración. Sea ε el menor γ tal que β < µ(γ). Este debe existir por
hipótesis.
Supongamos ε = 0, entonces como ε ≤ β, µ(ε) ≤ µ(β) < µ(ε), una
contradicción, luego ε 6= 0. [
Supongamos ε 6= 0, ε = ∪ε. Entonces β < µ(ε) = µ(δ) luego existe
δ<ε
δ < ε tal que β < µ(δ) contradiciendo la minimalidad de ε.
Por lo tanto ε es un sucesor, digamos ε = Sγ. Entonces µ(γ) ≤ β <
µ(Sγ).
Para probar la unicidad de γ, sea ξ 6= γ un ordinal. Entonces
γ<ξ ó ξ<γ .
Ejercicios.
91
1. Demuestre que la función definida en los ejemplos 3.5 es normal.
Teorema 3.27. Todo buen orden es isomorfo con (el orden de) un ordinal.
(Para ser rigurosos, la operación F debe estar definida para todo con-
junto y no sólo para los ordinales, sin embargo, siempre podemos definir F
en forma arbitraria para un conjunto x que no es ordinal. Por ejemplo,
podemos definir F (x) = A).
Por el axioma de reemplazo,
Γ = {α : F (α) ∈ A}
92
Si α < β < γ, entonces F ∗ α ⊂ F ∗ β, luego A − F ∗ β ⊆ A − F ∗ α, y por
lo tanto
f : γ −→ A
α 7−→ F (α),
f es una biyección y
−
| − − − {z
− − −− →} −
| − −{z− − →}
α β
93
i) α + 0 = α
ii) α + Sβ = S(α + β)
Obsérvese que tal operación está bien definida en virtud del teorema
3.20, ii), donde
G(x) = Sx y H(x) = ∪x.
Además para todo α, β, α + β es un ordinal.
+α : β −→ α + β
γ 7→ α+γ ,
hx0 , y0 i R hx1 , y1 i
si y solamente si se verifica una de las siguientes condiciones
1. x0 = x1 = 0 y y0 ≤ y1 < α,
2. x0 = 0 , x1 = 1,
3. x0 = x1 = 1 y y0 ≤ y1 < β.
94
Demostración. Es fácil demostrar que R es un buen orden (ver ejercicios).
Definimos:
γ si x = 0 y γ < α,
F (x, γ) =
α + γ si x = 1 y γ < β.
Entonces
Por teorema 3.16, vi) , α + γ = δ. Luego, como γ tiene que ser menor que
β,
δ = α + γ = F (1, γ) ,
o sea, δ ∈ Rec F y por lo tanto α + β = Rec F .
Por último como +α es normal, es fácil verificar que
y que F es inyectiva.
i) (α + β) + γ = α + (β + γ).
ii) β ≤ α + β.
v) Sα = α + 1.
vi) 0 + α = α.
95
vii) Si β < γ , entonces α + β < α + γ.
• Si γ = 0
(α + β) + 0 = α + β = α + (β + 0).
(α + β) + Sγ = S((α + β) + γ)
= S(α + (β + γ))
= α + S(β + γ)
= α + (β + Sγ).
• Si 0 6= λ = ∪λ y para todo γ ∈ λ, α + (β + γ) = (α + β) + γ.
Entonces como +β (x) = β + x es normal y λ es lı́mite, por 3.23,
β + λ = ∪{β + γ : γ < λ}
α + (β + λ) = α + ∪{β + γ : γ < λ}
= α + ∪{δ : δ < β + λ}
= ∪{α + δ : δ < β + λ}
= ∪{α + δ : β ≤ δ < β + λ}
= ∪{α + (β + γ) : γ < λ}
= ∪{(α + β) + γ : γ < λ}
= (α + β) + λ.
• Si β = 0 , obviamente 0 ≤ α + 0.
96
• Supongamos β ≤ α + β. Entonces
Sβ ≤ S(α + β) = α + Sβ.
λ = ∪{γ : γ ∈ λ} ≤ ∪{α + γ : γ ∈ λ} = α + λ.
A = {δ ∈ Sβ : β ≤ α + δ},
β ≤ α + γ.
• Si γ = 0,
α + 0 = α < β = β + 0.
97
• Si 0 6= λ = ∪λ y para γ < λ, α + γ < β + γ.
Entonces
α + λ = ∪{α + γ : γ ∈ λ}
⊆ ∪{β + γ : γ ∈ λ}
= β + λ.
1 + ω = 2 + ω.
v) Obvio
• Si α = 0, entonces 0 + α = 0 = α.
• 0 + Sα = S(0 + α) = Sα.
• Si 0 6= α = ∪α y para todo γ ∈ α, 0 + γ = γ,
0 + α = ∪{0 + γ : γ ∈ α} = ∪{γ : γ ∈ α} = α,
i) m + n es natural.
ii) n + 1 = 1 + n.
iii) m + n = n + m.
98
• m + 0 = m es natural.
• Si m + n es natural, su sucesor también lo es. Pero S(m + n) =
m + Sn, luego m + Sn también es natural.
Por el principio de inducción, 3.1, para todo natural n, m + n
es natural.
ii) Por inducción sobre n .
• 1 + 0 = 1 = 0 + 1, por 3.30, vi).
• Supongamos que 1 + n = n + 1. Entonces
m + Sn = m + (n + 1) = (m + n) + 1
= (n + m) + 1 = n + (m + 1)
= n + (1 + m) , por ii),
= (n + 1) + m = Sn + m ,
1 + α = 1 + (ω + γ) = (1 + ω) + γ = ω + γ = α.
99
3.7.2. Multiplicación de Ordinales.
Definición 3.11. Definimos por recursión el producto por α como sigue
i) α · 0 = 0.
ii) α · Sβ = α · β + α.
×α (γ) = α · γ
< α · γ + α, por teorema 3.30, iii),
= α · Sγ
= ×α (Sγ).
hx0 , y0 i R hx1 , y1 i
si y solamente si se verifica una de las siguientes condiciones
1. y0 ≤ y1 < β,
2. y0 = y1 y x0 ≤ x1 < β.
100
Demostración. Podemos suponer que α y β son distintos de 0.
Es fácil demostrar que R es un buen orden (ver ejercicios).
Para γ ∈ α, δ ∈ β, definimos
F (hγ, δi) = α · δ + γ.
F (hγ, δi) = α · δ + γ
< α · δ + α, por teorema 3.30, vii),
= α · Sδ
≤ α · β, ya que ×α es creciente.
α · δ ≤ ε < α · Sδ = α · δ + α.
ε < α · Sδ = α · δ + α ≤ α · δ + γ = ε.
Por lo tanto, dado ε ∈ α · β, existe un único hγ, δi ∈ α × β tal que
F (hγ, δi) = ε, o sea, F es sobreyectiva.
Para probar que F es estrictamente creciente, supongamos que hγ, δiRhε, ξi,
entonces o bien δ < ξ , en cuyo caso
F (hγ, δi) = α · δ + γ
< α·δ+α
= α · Sδ ≤ α · ξ
≤ alpha · ξ + ε = F (hε, ξi),
101
F (hγ, δi) = α · δ + γ
= α·ξ+γ
< α · ξ + ε = F (hε, ξi),
Observación.
Teorema 3.35. i) α · (β + γ) = α · β + α · γ.
ii) α · (β · γ) = (α · β) · γ.
iii) α · 0 = 0 · α = 0.
iv) α · 1 = 1 · α = α.
v) α · 2 = α + α.
vi) Si α 6= 0, entonces β ≤ α · β.
xi) Si α, β 6= 0, entonces α · β 6= 0.
• Si γ = 0, α · (β + 0) = α · β = α · β + 0 = α · β + α · 0
102
• Si α · (β + γ) = α · β + α · γ,
α · (β + Sγ) = α · S(β + γ)
= α · (β + γ) + α
= (α · β + α · γ) + α
= α · β + (α · γ + α)
= α · β + α · Sγ.
• Si γ = ∪γ 6= 0 y para todo δ ∈ γ, α · (β + δ) = αβ + αδ y
[
α · (β + γ) = α · {β + δ : δ ∈ γ}.
S
Como +β es normal, {β + δ : δ ∈ γ} es un ordinal lı́mite luego
[ [
α · {β + δ : δ ∈ γ} = {α · (β + δ) : δ ∈ γ}
[
= {α · β + α · δ : δ ∈ γ}
= α · β + ∪{α · δ : δ ∈ γ},
α · (β + γ) = α · β + α · γ.
v) Por definición.
• Si β = 0, 0 ≤ α · 0 = 0.
• Si β ≤ α · β, entonces
Sβ ≤ S(α · β)
= α·β+1
≤ α·β+α
= α · Sβ.
103
• Si β = ∪β 6= 0 y para todo γ < β, γ ≤ α · γ,
β = ∪{γ : γ ∈ β} ≤ ∪{α · γ : γ ∈ β} = α · β,
• Si β = 2, entonces como 2 ≤ α,
α+β =α+2≤α+α=α·2=α·β
• Si 1 < β y α + β ≤ α · β,
α + Sβ = S(α + β)
≤ S(α · β)
= α·β+1
≤ α·β+α
= α · Sβ.
2 · ω = ω 6= ω + ω = ω · 2
y por ende
ω = (1 + 1) ω 6= ω + ω
104
Teorema 3.36. Sean m , n y l números naturales. Entonces
i) m · n es natural.
ii) m · n = n · m.
iii (m + n) · l = m · l + n · l.
• Si n = 0, entonces m · n = n · m = 0
• Si m · k = k · m, demostraremos por inducción sobre m que para
todo m, m · Sk = Sk m.
• Si m = 0, m · Sk = Sk m = 0
• Si l · Sk = Sk · l, entonces
Sl · Sk = Sl · k + Sl
= k · Sl + Sl, por hipótesis de inducción sobre m,
= (k · l + k) + Sl
= (l · k + k) + Sl, por hipótesis de inducción sobre, n
= (l · k + Sl) + k, por 3.30, i) y 3.31 iii),
= (l · k + (l + 1)) + k
= (l · k + l) + (k + 1)
= l · Sk + Sk
= Sk · l + Sk, por hipótesis de inducción sobre, m
= Sk · Sl.
105
Demostración. Como ×β es normal, en virtud de 3.26, existe un único γ
tal que
β · γ ≤ α < β · Sγ = β · γ + β.
Por 3.30, iii) existe un único δ tal que
β·γ+δ =α.
Por 3.35, vi), es claro que γ ≤ α. Además, δ < β, pues si β ≤ δ,
α < β · γ + β ≤ β · γ + δ = α.
106
3.7.3. Exponenciación de Ordinales
Definición 3.12. Sean α y β ordinales. Definimos por recursión la expo-
nenciación de ordinales como sigue.
i) α0 = 1.
ii) αSβ = αβ · α.
expα : β −→ αβ
γ 7→ αγ ,
Teorema 3.40.
i)
0 , si α es sucesor,
0α =
1 , si α es lı́mite o α = 0.
ii) 1α = 1.
iii) α0 = 1, α1 = α y α2 = α · α.
107
v) Si α > 1, entonces β ≤ αβ .
vi) Si α > 1 y β < γ, entonces αβ < αγ .
vii) Si α 6= 0, entonces αβ+γ = αβ · αγ .
viii) Si α 6= 0, entonces (αβ )γ = αβ·γ .
ix) Si α > 1 y β 6= 0, entonces 1 < αβ .
x) Si α, β > 1, entonces α · β ≤ αβ .
Demostración. i) y ii) se demuestran por inducción.
iii) es obvio.
iv) se verifica porque expα es estrictamente creciente y α1 = α.
v) se puede demostrar por inducción sobre β o por 3.21 porque expα es
normal para α > 1.
vi) simplemente expresa que expα es creciente para α > 1.
vii) Por inducción sobre γ .
• Si γ = 0, entonces αβ+γ = αβ = αβ · 1 = αβ · α0 = αβ · αγ .
• Si αβ+γ = αβ · αγ , entonces
αβ+Sγ = αS(β+γ)
= αβ+δ · α
= (αβ · αγ ) · α
= αβ · (αγ · α)
= αβ · αSγ .
• Si γ = ∪γ 6= 0 y para todo δ ∈ γ, αβ+δ = αβ · αδ , entonces
como β + γ es lı́mite y usando el teorema 3.24
[
αβ+γ = {αε : ε < β + γ}
[
= {αε : β ≤ ε < γ}
[
= {αβ+δ : δ ∈ γ}
[
= {αβ · αδ : δ ∈ γ}
[
= αβ · {αδ : δ ∈ γ}
= αβ · αγ ,
108
lo que completa la inducción.
viii) Por inducción sobre γ
• Si γ = 0 , entonces (αβ )γ = (αβ )0 = 1 = α0 = αβ·0 = αβ·γ .
• Si (αβ )γ = αβ·γ , entonces
(αβ )Sγ = (αβ )γ · αβ
= αβ·γ · αβ , y por vii),
= αβ·γ+β
= αβ·Sγ .
• Si γ = ∪γ 6= 0 y para todo δ ∈ γ, (αβ )δ = αβ·δ , entonces
[
(αβ )γ = {(αβ )δ : δ ∈ γ}
[
= {αβ·δ : δ ∈ γ}.
[
= {αε : ε ∈ β · γ}
= αβ·γ ,
ya que β · γ es lı́mite. Para demostrar el paso anterior, debe
usarse un argumento similar al empleado en la demostración de
vii). Esto completa la inducción.
ix) Si 1 < α y 0 < β, entonces por vi), 1 = α0 < αβ .
x) Por inducción sobre β .
• Si β = 2, entonces α · β = α · 2 = α + α ≤ α · α = α2 = αβ
• Si α · β ≤ αβ , entonces
α · Sβ = α · β + α
≤ αβ + α
≤ αβ · α
= αSβ .
• Si β = ∪β 6= 0 y para todo γ ∈ β, α · γ ≤ αγ , entonces
[
α·β = {α · γ : γ < β}
[
≤ {αγ : γ < β}
= αβ .
109
Esto completa la inducción.
i) mn es un número natural.
ii) (l · m)n = ln · mn
Ejercicios.
1. Demuestre que los órdenes definidos en 3.34 y 3.29 son buenos ordenes.
6. Probar que:
a) Si α ≤ β, entonces γ + α ≤ γ + β.
b) Si γ + α < γ + β, entonces α < β.
c) Si α + γ < β + γ, entonces α < β.
d ) Si α < β, entonces para todo n ∈ ω se tiene α + n < β + n.
e) Si α + α = α, entonces α = 0.
f ) Si α + α = β + β, entonces α = β.
g) Probar que si α + β = ω, entonces α ∈ ω y β = ω.
h) Si γ + α = γ + β, entonces α = β.
110
8. Probar que α + γ = α ∪ {α + β : β ∈ γ}.
S S
9. Probar que si β es ordinal lı́mite, entonces {α + γ ; γ ∈ β} = {δ :
δ ∈ α + β}.
10. Sea F una operación tal que siP α es ordinal, entonces F (α) es
ordinal. Definimos la operación F sobre los ordinales por:
P
F (0) = 0 ;
P P
si α es ordinal, entonces F (Sα) = F (α) + F (α) ;
P S P
si α es ordinal lı́mite, entonces F (α) = { F (β) : β ∈ α} ;
P
si α no es ordinal, entonces F (α) = 0.
Probar que:
P
a) F está bien definida sobre los ordinales.
P
b) Si α es ordinal, entonces F (α) es ordinal.
P P
c) Definimos β∈α F (β) = F (α).
P
1) Probar que n∈ω n = ω.
2) Para cada n ∈ ω definimos fn por:
a 0 Dom (fn ) = ω + 1 ;
b 0 si m ∈ ω y m 6= n , entonces fn (m) = m ;
c 0 fn (n) = ω ;
d 0 fn (ω) = n.
P
Probar que α∈ω+1 fn (α) = ω + ω + n.
P P
3) Probar que si β < α , entonces γ∈β F (γ) ≤ γ∈α F (γ).
4) Sea α un ordinal. Probar que si G es una operación que lleva
ordinales en ordinales, entoncesPsi para todo βPβ < α implica
que F (β) ≤ G(α) , entonces β∈α F (β) ≤ β∈α G(β).
Probar que “ ≤ ”se puede reemplazar por “ < ”si se agrega
la condición de que si γ ∈ α , entonces F (γ) 6= 0 .
5) Si F es tal que P para todo β < α se tiene F (β) = 1 ,
entonces α = β∈α F (β).
6) Probar que si α es ordinal
P lı́mite y para todo β < α se tiene
F (β) 6= 0 , entonces β∈α F (β) es también ordinal lı́mite.
111
12. Probar que no existe un ordinal γ tal que para cualquier par de
ordinales δ y β tales que δ < β se tenga α + δ < γ < α + β.
a) Si α + β = ω, entonces α · β = ω.
b) Si γ · α < γ · β, entonces α < β .
c) Si γ 6= 0 y γ · α = γ · β , entonces α = β.
d ) Si β · γ < α · γ, entonces β < α .
e) Si α · γ = β · γ y γ 6= 0 no es ordinal lı́mite, entonces α = β.
16. Bajo división por 2 un ordinal tiene por resto a 0 o a 1 , y se dirá que tal
ordinal es par o impar en los respectivos casos. Clasificar los siguientes
ordinales en pares o impares:
a) ω ;
b) ω + 1 ;
c) (ω + 1)2 ;
d ) (ω + 1) · 2.
112
b) Dar un ejemplo de dos sucesiones de ordinales estrictamente cre-
cientes (αi )i∈α y (βi )i∈α , tales que lı́mi∈α αi + lı́mi∈α βi 6=
lı́mi∈α (αi + βi ).
c) Probar que α es lı́mite de cualquier sucesión de ordinales tal que
(αi )i∈α ⊆ Sα , pero no existe una sucesión de ordinales (αi )i∈ω
que simultáneamente esté contenida en Sα − {α} y que tenga a
α como lı́mite.
d ) Sea (αi )i∈α una sucesión estrictamente creciente de ordinales con
λ como lı́mite. Probar que αi 6= λ para todo i ∈ α. Además,
probar que λ es ordinal lı́mite.
e) Sea (αi )i∈α una sucesión de ordinales no necesariamente creciente.
Probar que si α es ordinal sucesor entonces existe lı́mi∈α αi , pero
si α es ordinal lı́mite no necesariamente existe tal lı́mite.
f ) Si (αi )i∈α es un a sucesión estrictamente creciente de ordinales,
probar que para todo ordinal λ se tiene λ+lı́mi∈α αi = lı́mi∈α (λ+
αi ) , pero no necesariamente se tiene lı́mi∈α αi + λ = lı́mi∈α (αi +
λ). Probar también que λ · (lı́mi∈α αi ) = lı́mi∈α (λ · αi ) , pero no
necesariamente (lı́mi∈α αi ) · λ = lı́mi∈α (αi · λ).
113
Si α es ordinal
Q S y para todo β ∈ α se tiene F (β) 6= 0 ,
lı́mite
entonces F (α) = {F (β) : β ∈ α} ;
Q
Si α no es ordinal, entonces F (α) = 0.
Probar que:
Q
a) F está bien definida.
Q
b) F (α) es un ordinal si α lo es.
Q
c) F (α) = 0 si y sólo si existe β ∈ α tal que F (β) = 0.
Q Q
d ) Definimos β∈α F (β) := F (α).
Para cada n ∈ ω definimos fn por:
1) Dom (f n) = ω + 1 ;
2) si m ∈ ω y m 6= n , entonces fn (m) = m + 1 ;
3) fn (n) = ω ;
4) fn (ω) = n + 1.
Q
Entonces α∈ω+1 fn (α) = ω · ω · (n + 1).
Si para toda γQ∈ α se tiene F (γ) 6= 0 , entonces si β < α se tiene
e) Q
γ∈β F (γ) ≤ γ∈α F (γ).
f ) Si G es una operación que lleva ordinales en ordinales, entonces
Q para todo βQ ∈ α se tiene F (β) ≤ G(β) , ello implica que
si
β∈α F (β) ≤ β∈α G(β).
23. Simplificar ω + ω · ω y (ω + 1) · ω · ω.
114
2) α · 0 = 0 .
3) α0 = 0 .
0
b) Probar que β ω = β ω·0 para todo ordinal β
35. Calcular:
ω
P
a) α∈ω 2 .
2
P
b) α∈ω 2 α .
P
c) n∈ω ω · n.
n
P
d) n∈ω ω .
Q
e) α∈ω2 (α + 1).
f ) n∈ω ω n .
Q
Q
g) n∈ω (ω + n).
h) ω 1̇ + ω · 2 + ω · 3 + . . . + 1 + 2 + 3 + . . .
i ) ω · ω2 · ω3 · . . . · 1 · 2 · 3 · . . .
j ) ω · ω 2 · ω 3 · . . . · ω n−1 · ω n+1 · . . . · 2 · 3 · . . .
a) 3 · ω
115
b) (ω + 1)2
c) ω · 2 · (ω + 1)
d ) (ω + 1) · 2
e) (ω 2 · 2 + ω · 4 + 3) · 5
f ) 2 + ω · 2 + ω2
g) (ω 2 · 3 + ω · 2) · (ω 3 · 2 + ω · 4 + 2)
a) ω 2 + ω + 1 = (ω + 1)2
b) ω 2 · 3 + 1 = (ω 2 + 1) · 3
c) ω 2 + 2 = 2 · (ω 2 + 1)
d ) ω 3 · 7 + ω 2 · 5 + 3 = 3 · (ω 2 + 1) · 5 · (ω + 1) · 7
e) ω ω + ω + 1 = (ω + 1) · (ω ω + 1)
f ) ω ω+1 + ω ω + ω 4 + ω 2 = ω · ω · (ω 2 + 1) · (ω ω + 1) · (ω + 1)
a) ω 4 + 24
116
b) ω · 2 + 1
c) ω 2 + ω · 2 + 1
d ) ω3 · 3 + ω2 · 7 + 6
e) ω ω + ω 3 + ω 2
f ) ω ω+1 · 2 + ω ω · 3 + 2
g) ω 6 · 2 + ω 5 · 5 + ω 3 + ω 2 · 7
2
h) ω ω · 6 + ω ω+5 · 3 + ω ω+1 · 2 + ω ω · 4
a) lı́mn∈ω (2n + n)
b) lı́mn∈ω n · ω
c) lı́mn∈ω ω · n
d ) lı́mβ∈ω2 β · ω
e) lı́mβ∈ω·2 2β
f ) lı́mβ∈ω·2 β 2
117
e) Probar que si αβ = β, entonces α · β = β.
f ) Probar que si α · β = β, entonces α + β = β.
β
g) Probar que si β es un número épsilon, entonces αω = (αω )β ,
para todo ordinal α .
h) Probar que si α es ordinal lı́mite y β es un número épsilon tales
que α < β , entonces αβ·α = (β · α)α .
42. Encontrar un conjunto de racionales tales que bajo su orden usual sea
isomorfo a:
a) ω + 1
b) ω · 2
c) ω · 3
d ) ωω
( Por ejemplo, { n+1 2
m : n, m ∈ N − {0}} es isomorfo a ω ).
118
La colección de los Vα se llama la jerarquı́a acumulativa de conjuntos.
Es usual definir también el universo de von Neumann a la clase propia
[
V = {Vα : Ord(α)}.
Observemos que los Vα están bien definidos en virtud del teorema 3.20,
ii). Las operaciones empleadas son
[
G(x) = Px y H(x) = x.
Debe tambien tenerse presente que V no es un objeto de nuestra teorı́a
y debe entenderse sólo como una manera de abreviar un concepto corres-
pondiente a la fórmula
ϕ(x) = ∃α(Ord(α) ∧ x ∈ Vα ).
2. Si α ∈ β, entonces Vα ∈ Vβ .
ϕ(x).
Más informalmente, un conjunto pertenece a V si y sólo si todos sus
elementos pertenecen a V.
119
Resulta sencillo verificar que la clase V es cerrada bajo uniones, pares,
potencias productos cartesianos y demás construcciones que hemos estudia-
do en los capı́tulos precedentes. Esto implica que todos los conjuntos que
aparecen en la práctica, pertenecen a V. ¿ Existirá algún conjunto que no
está en V? El siguiente teorema, a través de una aplicación del axioma de
regularidad, demuestra que este no es el caso.
b = {x ∈ T (a) : ¬ϕ(x)} =
6 ∅.
Ejercicios.
S
1. Demuestre que para todo α, Vα = {PVβ : β < α}.
120
Capı́tulo 4
El Axioma de Elección
1. Principio Multiplicativo:
Si A es una función y Dom A = I y si Ai = A(i) 6= ∅, entonces
Πi∈I Ai 6= ∅.
121
2. Principio de Zermelo:
Si P es una partición de un conjunto A , entonces existe B ⊆ A tal
que para todo M ∈ P , B ∩ M tiene un solo elemento.
Recordemos que toda partición sobre A induce una relación de equiva-
lencia cuyo campo es A y cuyas clases de equivalencia son los elementos
de P . El principio de Zermelo nos dice que podemos escoger un elemen-
to de cada clase de equivalencia, es decir un sistema de representantes
de las clases de equivalencia.
3. Principio de Enumeración:
Para todo conjunto A existe un ordinal α y una función biyectiva
entre ellos.
5. Lema de Zorn:
Si A es un conjunto parcialmente ordenado por R y todo subconjunto
de A totalmente ordenado por R tiene una cota superior en A, entonces
A tiene un elemento maximal.
Un subconjunto de A totalmente ordenado por R se llama una R-
cadena.
Nótese que la hipótesis del lema de Zorn implica que A 6= ∅ ya que ∅
es una R-cadena luego tiene una cota superior en A .
6. Principio de Kuratowski:
Si R es un orden parcial y S ⊆ R es un orden total, entonces hay
un orden ⊆-maximal T tal que S ⊆ T ⊆ R.
Dicho de otro modo, todo suborden total de un orden parcial puede
extenderse a un orden total maximal.
7. Principio de Tricotomı́a:
Dados dos conjuntos A y B , existe una función inyectiva de A en
B o existe una función inyectiva de B en A .
122
Como veremos en el Capı́tulo 5 estos dos últimos principios son muy
importantes en la teorı́a de cardinalidad.
[
G : I −→ Ai
i∈I
i 7−→ F (Ai )
ΠM ∈P IP (M ) = ΠM ∈P M 6= ∅,
2) ⇒ AC.
Sea A un conjunto no vacı́o de conjuntos no vacı́os.
Definamos K = {hx, yi : y ∈ x ∈ A} y P = {{hx, yi : y ∈ x} : x ∈ A}.
Es claro que K es un conjunto (¿por qué?) y que P es una partición de
K.
Escojamos B ⊆ K tal que para cada M ∈ P, B ∩M tiene exactamente
un elemento. Entonces B es una función de elección para A . En efecto,
para cada x ∈ A,
B ∩ {hx, yi : y ∈ x} = {yx },
123
para algún yx ∈ x. Luego B es función, Dom B = A y para cada x ∈ A,
B(x) ∈ x.
La equivalencia de los otros principios la demostramos dando un gran
cı́rculo de implicaciones que comienza y termina en AC.
AC ⇒ 3.
Sea A un conjunto. Vamos a encontrar un ordinal α y una función
biyectiva de α en A .
Podemos suponer que A 6= ∅.
Consideremos PA − {∅}. Este es un conjunto no vacı́o de conjuntos no
vacı́os, luego existe una función de elección F para él. Notemos que ésta
asigna a cada subconjunto no vacı́o de A un elemento de si mismo.
Definimos por recursión una operación unaria H como sigue
F (A − H ∗ α) , si A − H ∗ α 6= ∅,
H(α) =
A , si A − H ∗ α = ∅.
Si α < β, entonces
H ∗α ⊆ H ∗β
A − H ∗ β ⊆ A − H ∗ α,
H(α) 6= H(β).
B = {α : Hα ∈ PA − {∅}}
124
es decir α es el menor ordinal tal que H(α) = A, luego si
β < α , Hβ 6= A. Definimos
G : α −→ A
β 7−→ H(β).
Entonces G es una función biyectiva.
3) ⇒ 4).
Sea A un conjunto y sean α y G como en 3).
Entonces R = {hx, yi ∈ A × A : G−1 x ≤ G−1 y} es un buen orden.
4) ⇒ 5).
Sea ≤ un orden parcial con campo A , tal que toda cadena tiene una
cota superior.
Sea S un buen orden cuyo campo es A. Definimos la siguiente operación
unaria.
125
Es claro que c es maximal pues si no, existe b ∈ A tal que b > c, pero
entonces
∀x(x ∈ F ∗ α → x < b) o sea
A = {T : S ⊆ T ⊆ R y T es un orden total.
g : B −→ A
126
f −1 (x) , si x ∈ f ∗ A,
g(x) =
a , si x ∈ B − f ∗ A.
Entonces g es sobreyectiva.
8) ⇒ AC.
Para demostrar esta implicación debemos demostrar un lema previo.
Lema 4.2. Sea B un conjunto. Entonces
también es un conjunto.
127
S
o sea, existirı́a una función inyectiva de β en P A, contradiciendo la
última afirmación.
S
Entonces por 8), existe una función sobreyectiva g : β −→ A. Defina-
mos
[
F : A −→ A
\
a 7−→ g( g −1∗ a) .
S
F es una función de elección. En efecto, si x ∈ A, entonces x ⊆ A y
como g es sobreyectiva
T −1∗ g −1∗ x 6= ∅ es un conjunto
T de ordinales cuyo menor
elemento es g x. Es claro entonces que g( g −1∗ x) ∈ x.
4.2. Aplicaciones
En todas las ramas de las matemáticas hay importantes aplicaciones del
axioma de elección. A continuación daremos una breve lista con algunas de
éstas.
7. El teorema de Hahn-Banach.
128
Demostración. Sea V un espacio vectorial y sea A = {B ⊆ V : B es linealmente independiente}.
Consideremos a A parcialmente ordenado por inclusión.
S Sea entonces S C = {Bi : i ∈ I} una cadena de elementos de A. Entonces
C⊆V y C contieneS a todos los miembros de la cadena.
Veremos ahora que C Ses linealmente independiente.
Sean v0 , v1 , . . . , vn−1 ∈ C, luego existe B0 , . . . , Bn−1 ∈ C tales que
vi ∈ Bi , i < n. Pero C es una cadena, luego Bi ⊆ Bn−1 , i < n, por S lo
tanto v0 , . . . , vn−1 ∈ Bn−1 y como éste es linealmente independiente, C
es un conjunto linealmente
S independiente.
Por lo tanto C pertenece a A , luego toda cadena de A tiene una
cota superior y por el lema de Zorn A tiene un elemento maximal.
Probar que un conjunto linealmente independiente maximal es una base
es un ejercicio elemental de algebra lineal.
[
F : ω × ω −→ Ai
hn, mi 7−→ fn (m)
S
g : ω × ω −→ Ai como sigue
g(n, m) = fn (m).
g es inyectiva ya que si g(n, m) = g(p, q) entonces
fn (m) = fp (q) ∈ An ∩ Ap ,
y como los Aj son disjuntos se tiene que n = p. Entonces como las fi son
inyectivas, m = q, o sea, g es inyectiva.
S
g es sobreyectiva ya que si a ∈ Ai existe n tal que a ∈ An y como
fn es sobreyectiva, existe m tal que
129
S
Es decir, existe una biyección g de ω × ω en C.
Por otra parte es bien sabido que existen biyecciones entre ω y ω × ω
(ver el capı́tulo 5). Si tomamos cualesquiera de ellas, digamos,
h : ω −→ ω × ω,
S
entonces f = g ◦ h es una biyecci’on entre ω y C , luego este último es
enumerable.
Observemos que en la demostración anterior aparentemente no hemos
usado el axioma de elección. Sin embargo éste se usó cuando escogimos las
funciones biyectivas fi , especı́ficamente,
si Bi = {f : ω −→ Ai , f biyectiva }
A = {Bi : i ∈ ω} es un conjunto no vacı́o de conjuntos no vacı́os (esto
último por hipótesis) luego por el axioma de elección existe para cada i un
elemento
fi ∈ Bi .
130
Notemos que todo x ∈ [0, 1) pertenece a algún Bi puesto que ∼
induce una partición de [0, 1). Por lo tanto
[
[0, 1) = bi .
i∈ω
i 6= j ⇒ Bi ∩ Bj = ∅.
Por lo tanto [ X
m([0, 1) = m( Bi ) = m(Bi ).
i∈ω i∈ω
Teorema 4.6. Todo orden parcial puede extenderse a un orden total sobre
el mismo campo.
131
Definimos el nuevo orden R como sigue
Ejercicios.
1. Demuestre sin usar el axioma de elección que todo conjunto tiene una
función de elección. (Indicación: Use inducción sobre el número de
elementos del conjunto).
5. Demuestre que toda relación binaria contiene una función con el mismo
dominio.
132
Capı́tulo 5
Cardinales
Ejemplo.
f : [a, b] −→ [c, d]
d−c cb − ad
x 7−→ x+
b−a b−a
133
es una biyección.
3. ω y ω × ω son equinumerosos.
Considérese la función
f : ω × ω −→ ω
hm, ni 7−→ 2m (2n + 1) − 1 .
f es una biyección.
134
equinumeroso con un conjunto infinito dado, éste no será nunca único, co-
mo lo demuestra por ejemplo la función que aparece en la demostración del
teorema 5.3, la que nos dice que α y α + 1 son siempre equinumerosos.
Por estos motivos, la manera de extender la noción de cardinalidad de los
conjuntos finitos a los infinitos es suponer el Axioma de Elección y escoger
un representante de cada una de las “clases de equivalencia”, a saber, el
menor ordinal que pertenece a ella. Necesitamos antes un par de resultados.
Teorema 5.2. † Para todo conjunto A existe un único cardinal n tal que
A y n son equinumerosos.
ii) A ∼ |A|.
iii) |α| ≤ α.
135
vi) Si ω ≤ α, entonces |α + 1| = α.
A1 = g ∗ f ∗ A
entonces
A1 ∼ A
A0 = A , D0 = D
An+1 = h∗ An , Dn+1 = h∗ Dn
..
.
136
En el diagrama los An son los cuadrados y los Dn son los cı́rculos.
Ahora podemos demostrar por inducción que para todo n ∈ ω,
An+1 ⊆ Dn ⊆ An .
Definimos F : A −→ D
S
h(x) , si x ∈ (An − Dn )
F (x) =
x , si no
S
Observe que (An − Dn ) es la zona sombreada en el dibujo.
S F es inyectiva ya S que para x, y ∈ A, S tenemos tres posibilidades
S x, y ∈
(An − Dn ), x, y 6∈ (An − Dn ) ó x ∈ (An − Dn ) y y 6∈ (An − Dn ). En
los dos primeros casos es claro que si F (x) = F (y), entonces x = y. Nos
queda la tercera posibilidad pero en este caso F (x) = h(x) y x ∈ An − Dn
para algún n , luego h(x) ∈ An+1 . Si suponemos que h(x) ∈ Dn+1 , entonces
h(x) = h(z) para algún z ∈ Dn (ya que Dn+1 = h∗ Dn ) pero como h es
inyectiva, z = x, es decir xS∈ Dn pero x ∈ An − Dn , contradicción luego
h(x) 6∈ An+1 , o sea, h(x) ∈ (An − Dn ) y por lo tanto
137
Hemos demostrado que
A ∼ D ∼ B, luego |A| = |B|.
Demostración. Supongamos por el contrario que |B| < |A| y sean f, g bi-
yecciones
f
A −→ |A|
j↓ ↑i
g
B −→ |B|
i) |A| ≤ |B|.
Demostración. i) ⇒ ii)
Sean f : A −→ |A|, g : |B| −→ B biyecciones, entonces g ◦ f : A −→ B
es inyectiva.
ii) ⇒ iii)
Sea A 6= ∅, a ∈ A y f : A −→ B inyectiva. Definimos g : B −→ A
como sigue. −1
f (x) , si x ∈ f ∗ A ,
g(x) =
a , si no ,
entonces g es sobreyectiva.
iii) ⇒ i)†
Supongamos A 6= 0 y sea g : B −→ A sobreyectiva. Entonces g −1∗ A
induce una partición de B , a saber, {g −1∗ {a} : a ∈ A}. Por el axioma
de elección, escogemos un sistema de representantes para esta partición.
Definimos f : A −→ B asignando a x ∈ A el representante de g −1∗ {x}
138
anteriormente elegido. Es claro que f es inyectiva, luego, |A| ∼ |f ∗ A| y
f ∗ A ⊆ B, luego por 5.5, |A| = |f ∗ A| ≤ |B|.
Demostración. Sabemos por 5.3, iii), que |ω| ≤ ω. Si |ω| < ω, |ω| = m
para algún número natural m.
Pero m ⊆ m + 1 ⊆ ω, luego
luego m = m + 1, contradicción.
Luego |ω| = ω.
B = {x ∈ A : x 6∈ f (x)}.
139
Como B ⊆ A y f es sobreyectiva, existe a ∈ A tal que B = f (a).
Entonces si a ∈ B, por definición a 6∈ f (a), luego a 6∈ B. Si a 6∈ B,
entonces a 6∈ f (a), o sea, a ∈ B, es decir,
a ∈ B si y sólo si a 6∈ B,
contradicción, luego tal función sobreyectiva no puede existir y |A| =
6 |PA|.
S
Teorema 5.12. Si Γ es un conjunto de cardinales, entonces Γ es un
cardinal.
S S S
Demostración. Supongamos
S Γ no es un cardinal, entonces, | Γ| < Γ
(recordemos que Γ es un ordinal). Luego, existe n ∈ Γ
[
| Γ| ∈ n ∈ Γ ,
S
pero n ⊆ Γy
[ [
| Γ| < n = |n| ≤ | Γ| .
140
ℵ0 = ω
ℵα+1 = (ℵα )+
[
ℵλ = ℵα , si λ es lı́mite.
α<λ
Ejercicios.
2. Probar que:
a) PPP0 ∼ 4.
b) Si A ∼ B, entonces CA ∼ C B.
c) Si B ∩ C = ∅, entonces B∪C A ∼ BA × C A.
d) C (B A) ∼ B×C A.
e) C (A × B) ∼ CA × C B.
5. Si A1 ∼ A2 y B1 ∼ B2 y A1 ∩ B1 = A2 ∩ B2 = ∅, probar que
A1 ∪ B1 ∼ A2 ∪ B2 .
141
9. Probar que si A ∼ B y a ∈ A y b ∈ B, entonces (A − {a}) ∼
(B − {b}).
11. Sean (Ai )i∈I y (Bi )i∈I dos familias, cada una de S
conjuntos disjuntos
S
dos a dos. Si Ai ∼ Bi para todo i ∈ I, probar que i∈I Ai ∼ i∈I Bi .
13. Demuestre las partes del teorema 5.3 que no fueron demostradas en el
texto.
17. Probar que para intervalos de números reales se tiene (a, b) ∼ [a, b].
142
e) Si α < β, entonces |α| < |β|.
a) ℵα = ℵβ si y sólo si α = β.
b) ℵα < ℵβ si y sólo si α < β.
27. Probar que para todo cardinal α existe un ordinal β tal que α < ℵβ .
i) Si A es infinito, B es infinito,
143
Demostración. Si A ⊆ B, use el teorema 5.5.
Si existe una función sobreyectiva f : B −→ A, entonces como existe
una biyección g : |A| −→ A, tenemos que
g ◦ f : |A| −→ B
es una función sobreyectiva, luego por el teorema 5.6, |A| ≤ |B|. (Aquı́ es
donde hemos usado el axioma de elección.)
La conclusión del teorema se sigue de esta afirmación.
144
Teorema 5.16. Si A y B son finitos, |A| = |B| y f : A −→ B, entonces
f es inyectiva si y sólo si f es sobreyectiva.
contradicción.
{f −1∗ {b} : b ∈ B}
Podemos seleccionar un representante de cada elemento de la partición
y definir
g : B −→ A
b 7−→ el representante de f −1∗ {b} seleccionado.
Ejercicios.
145
4. Probar que A es infinito si y sólo si existe un subconjunto enumerable
de A .
146
20. Sea a = (an )n∈ω una familia de naturales. Entonces:
a) Diremos que a es eventualmente constante si existen n0 ∈ ω y
s ∈ ω tales que an = s para todo n ≥ n0 . Probar que el conjunto
de las familias eventualmente constantes de números naturales es
enumerable.
b) Diremos que a es eventualmente periódica si existen n0 ∈ ω y
p ∈ ω − 1 tales que an+p = an para todo n ≥ n0 . Probar que
el conjunto de las familias eventualmente periódicas de números
naturales es enumerable.
c) Diremos que a es progresión aritmética si existe d ∈ ω tal que
an+1 = an + d, para todo n ∈ ω. Probar que el conjunto de las
progresiones aritméticas de números naturales es enumerable.
21. Probar que una partición de un conjunto enumerable tiene un conjunto
de representantes, sin usar el Axioma de Elección o alguno de sus
equivalentes.
22. Sea ϕ una fórmula con variable libre x . Probar que si A es finito
y se verifica ϕ(∅) y para todo x ∈ A y todo B ⊆ A si se verifica
ϕ(B), también se verifica ϕ(B ∪ {x}), entonces se verifica ϕ(A).
23. Probar que A es finito si y sólo si A pertenece a todo conjunto K
tal que ∅ ∈ K y para todo x ∈ A y todo B ⊆ A tal que B ∈ K, se
tenga B ∪ {x} ∈ K.
24. Probar que A es finito si y sólo si A pertenece a todo conjunto K
tal que ∅ ∈ K, y x ∈ A implica {x} ∈ K y, si B ∈ K y C ∈ K,
entonces B ∪ C ∈ K.
25. Probar que A es finito si y sólo si PA es el único conjunto K tal
que K ⊆ PA, ∅ ∈ K, x ∈ A implica {x} ∈ K, y si B ∈ K y C ∈ K,
entonces B ∪ C ∈ K.
26. Probar que, si A es enumerable, entonces existe una familia B de
conjuntos tal que:
a) B es enumerable,
b) si C ∈ B, entonces C es enumerable,
c) Si C y D están en B , y C 6= D, entonces C ∩ D = ∅ , y
S
d) B = A.
Probar el recı́proco usando el Axioma de Elección.
147
5.3. Aritmética Cardinal
En esta sección definiremos suma, producto y exponenciación de cardi-
nales y algunas de sus propiedades. También veremos que estas operaciones
tienen una interpretación intuitiva.
Si I = 2, escribimos
X
mi = m0 +c m1
i∈2
|{(0, α) : α ∈ m0 }| = m0 y |{(1, α) : α ∈ m1 }| = m1 ,
la finalidad de tomar estos conjuntos de pares ordenados es simplemente dis-
juntar los conjuntos (obviamente m0 y m1 no son disjuntos). El siguiente
teorema nos dice que no importa qué conjuntos usemos para calcular la suma
siempre que estos sean disjuntos y tengan las cardinalidades adecuadas.
Teorema 5.17. †
Si hAi : i ∈ Ii y hBi : i ∈ Ii son familias de conjuntos disjuntos dos a
dos tales que para todo i ∈ I Ai ∼ Bi , entonces
[ [ X
Ai ∼ Bi ∼ |Ai |
i∈I i∈I i∈I
148
Demostración. Para i ∈ I, sea fi : Ai −→ Bi una biyección. Definimos
[ [
f: Ai −→ Bi
i∈I
a 7−→ fi (a) , si a ∈ Ai .
Teorema 5.18. [ X
| Ai | ≤ |Ai |.
i∈I i∈I
En particular [ X
mi ≤ mi .
i∈I i∈I
[ [
g: {hi, αi : α ∈ mi } −→ Ai
i∈I
hi, αi 7−→ fi (a).
S P
Es fácil ver que g es sobreyectiva luego por 5.6, | i∈I Ai | ≤ i∈I |Ai |.
149
X
v) 1 = m.
β<m
v) Obsérvese que
[
f : m −→ {hβ, αi : α ∈ 1}
β∈m
β 7−→ hβ, 0i
es una biyección.
Demostración. Considérese
[ [
f: {hi, αi : α ∈ mi } −→ {hi, αi : α ∈ mσ(i) }
i∈I i∈I
−1
hi, αi 7−→ hσ (i), αi.
150
Sea j = σ(k), entonces
Entonces los Aij son disjuntos a pares y |Aij | = mij , para todo hi, ji ∈
I × J. Por el teorema 5.17,
X [
mij = | Aij |.
hi,ji∈I×J hi,ji∈I×J
151
Para completar estos resultados sobre la suma cardinal veremos algunos
teoremas sobre cardinales finitos.
Teorema 5.22. Para todo par de números naturales m, n,
m +c n = m + n
Demostración. Por inducción sobre n .
Si n = 0, es fácil comprobar que m+c 0 = m y lo dejamos como ejercicio.
Luego
m +c 0 = m = m + 0
Antes de demostrar el paso inductivo demostraremos que m+c 1 = m+1.
En efecto,
f : {h0, `i : ` ∈ m} ∪ {h1, 0i} −→ m + 1
h0, `i 7−→ `
h1, 0i 7−→ m
es una biyección, luego m +c 1 = m + 1.
Supongamos ahora que m +c n = m + n entonces
m +c Sn = m +c (n + 1)
= m +c (n +c 1) , por lema,
= (m +c n) +c 1 , por 5.21,
= (m + n) + 1 , por hipótesis y lema,
= m + (n + 1)
= m + Sn
Esto completa la inducción.
S
Corolario 5.23. Si A y B son finitos, entonces A B también lo es.
Demostración. Por 5.17, |A ∪ B| ≤ |A| +c |B| = |A| + |B| < ω.
Si I = 2, Xi∈I mi se escribe m0 ×c m1 .
En general si I = n, Xi∈I mi = m0 ×c m1 ×c · · · ×c mn−1 .
152
Como en el caso de la suma, el producto de cardinales no depende de los
conjuntos que empleemos para calcularlo, sólo de las cardinalidades de esos
conjuntos.
definida por
f (a)(i) = fi (a(i)),
Q
Para todo a ∈ i∈I Ai .
Veamos que f es inyectiva.
Si f (a) = f (b), entonces para todo i ∈ I f (a)(i) = f (b)(i), es decir
fi (a(i)) = fi (b(i)),
pero como para todo i ∈ I, las funciones fi son inyectivas, a(i) = b(i), es
decir, a = b. Q
Para verificar que f es sobreyectiva. Sea b ∈ i∈I Bi y sea a(i) =
fi−1 (b(i)). Tal a(i) existe por ser fQi biyectiva.
Q Es claro que f (a) = b.
Por lo tanto f es biyección y i∈I Ai ∼ i∈I Bi .
Q
Corolario 5.25. | i∈I Ai | = Xi∈I |Ai | y en particular |A × B| = |A| ×c |B|.
El próximo teorema resume algunas propiedades elementales de el pro-
ducto cardinal.
Teorema 5.26. i) Si mi = 0 para algún i ∈ I, entonces Xi∈I mi = 0.
ii) Xi∈∅ mi = 1.
iii) Xi∈I 1 = 1.
X
iv) m = |I| × m.
i∈I
153
Q
ii) i∈∅ mi = {0}
Q
iii) i∈I 1 = {f }, donde f (i) = 0, para todo i ∈ I.
v) En este caso Y Y
mi ⊆ ni .
i∈I i∈I
definida por
f (a)(i) = a(σ(i)).
154
Q Q Q
Definimos F : hi,ji∈I×J mij −→ i∈J ( j∈J mij )
n ×c ni ∼ {hi, α, βi : α ∈ m, β ∈ ni }.
Por último
[ [
F : m ×c {hi, βi : β ∈ ni } −→ {hi, α, βi : α ∈ m, β ∈ ni }
i∈I i∈I
hα, hi, βii 7−→ hi, α, βi
es obviamente biyectiva.
m ×c m = m
155
Demostración. Supongamos que esto es falso. Sea m el menor cardinal tal
que m ×c m 6= m. Definiremos un orden sobre el producto cartesiano m ×c m
y demostraremos que éste es un buen orden.
Para α, β, γ, δ ∈ m definimos
hα, βi 4 hγ, δi
si y sólo si
1. α = γ y β=δ ó
2. α ∪ β < γ ∪ δ ó
3. α ∪ β = γ ∪ δ y α<γ ó
4. α ∪ β = γ ∪ δ y α=γ y β ≤ δ.
Finalmente sea \
ε= {β : hδ, βi ∈ Γ}
Es fácil ver que hδ, εi es el menor elemento de Γ.
Luego, 4 es un buen orden con campo m ×c m y por lo tanto es isomorfo
a algún ordinal α .
Sea f : α −→ m ×c m el isomorfismo (i.e. si β < γ ∈ α, entonces
f (β) 4 f (γ)). Nótese que en particular, α ∼ m ×c m.
Supongamos que α ≤ m. Entonces
m ×c m = |m ×c m| = |α| ≤ m = m ×c 1 ≤ m ×c mc
156
f (m) = hβ, γi ∈ m × m
δ = (β ∪ γ) + 1.
Por lo tanto
f m : m −→ δ × δ
es inyectiva, luego,
m ≤ |δ × δ| = |δ| ×c |δ|.
ℵα + ℵβ = ℵα∪β = ℵα ×c ℵβ .
m +c n ≤ m +c m
= m ×c 2 por 5.26 iv),
≤ m ×c m
= m
≤ m +c n
Luego
m +c n = m = m ∪ n.
157
m ×c n ≤ m ×c m
= m
= m ×c 1
≤ m ×c n
Luego
m ×c n = m = m ∪ n.
La observación respecto de los ℵ ahora es obvia.
Demostración.
[ X
| Ai | ≤ |Ai |
i∈I i∈I
X
≤ m
i∈I
= |I| ×c m
≤ m ×c m
= m.
158
f (j) si i 6= j,
F (hi, αi)(j) =
α si i = j.
F es inyectiva. En efecto, supongamos que
Entonces, si i 6= j,
hi : {hi, αi : α ∈ mi } −→ ni
hi, αi 7−→ h(hi, αi)(i) .
159
Por último verificamos que el producto de cardinales finitos se comporta
como lo deseamos.
Teorema 5.35. Si m, n son naturales
m ×c n = m · n
m ×c Sn = |m × (n ∪ {n})|
= |m × n ∪ m × {n}|
m ×c Sn = m ×c n +c m
= m·n+m
= m · Sn .
mn = |n m|
160
Es decir la exponenciación de m por n es la cardinalidad del conjunto
de todas las funciones de m en n . Por simplicidad notacional, cuando el
exponente sea un ℵ no lo subrayaremos.
|A B| = |B||A|
f↓ ↑g
F (x)
|A| −→ |B|
Definimos
A |A|
F : B −→ |B|
x 7−→ g ◦ x ◦ f
Teorema 5.38. i) m0 = 1.
ii) Si m 6= 0, entonces 0m = 0.
iii) 1m = 1.
iv) m1 = m.
v) Xi∈I m = m|I| .
P
ni
Teorema 5.39. i) m i∈I = Xi∈I mni .
161
Demostración. i) Sea
S Y
F : i∈I {hi,αi:α∈mi } m −→ (ni m)
i∈I
f 7−→ F ◦ f
ii) Sea
Y Y
n
F : mi −→ (n mi )
i∈I i∈I
F (f )(i)(α) = f (α)(i)
Teorema 5.40.
(mn )p = mn×c p .
Demostración. La función
F : p (n m) −→ n×c p
m
definida por
F (f )(hα, βi) = f (β)(α)
es la biyección requerida.
|P(A)| = 2|A|
162
Demostración. Asociamos a cada conjunto de A su función caracterı́stica:
A
χ : P(A) −→ 2
B 7−→ χB ,
donde
1 si x ∈ B,
χB (x) =
0 si x 6∈ B .
Es claro que χ es biyectiva.
Demostración.
mn ≤ (2m )n
= 2m×c n
= 2n
≤ mn ,
Ejercicios.
a) 1 +c 2 +c 3 +c · · · = ℵ0 .
b) n +c n +c n +c · · · = ℵ0 .
163
c) ℵ0 +c ℵ0 +c ℵ0 +c . . . = ℵ0 .
8. Probar que:
P
a) β≤α ℵβ = ℵα .
P
b) Si α es ordinal lı́mite, entonces β∈α ℵβ
= ℵα .
S
c) Si (αiP
)i∈I es una familia de ordinales,
S con i∈I αi ⊆ α, entonces
ℵα = i∈I ℵαi si y sólo si α = i∈I αi .
a) (n +c 2)ℵ0 = ℵℵ0 0 = n +c c = n ×c c = cn = ℵ0 +c c = ℵ0 ×c c =
cℵ0 = c +c c = c ×c c = c2 = c.
b) (n +c 2)c = ℵc0 = cc = 2c .
c) ℵ0 6= c 6= 2c .
Q
12. Probar que si I = ω − 1, entonces i∈I i = c.
164
Q
20. Probar que si mi = c, entonces i∈ω mi = c.
Q |α|
21. Probar que β≤α ℵβ = ℵα , y si α es ordinal lı́mite, entonces
Q |α|
β∈α ℵβ = ℵα .
que [
f (γ) = α.
γ<β
165
Ejemplos
1. ω es regular.
Demostración. Supongamos
S que m regular y sea X ⊆ m tal que |X| <
m. Veremos que X 6= m. Para ello sea h : |X| −→ X una biyección y
definamos recursivamente f : |X| −→ m como sigue
\
f (β) = {γ ∈ X : f ∗ β ⊆ γ and h(β) ≤ γ},
166
[ X X
| |≤ |f (γ)| ≤ ℵα = |β| ×c ℵα ≤ ℵα ×c ℵα = ℵα .
γ<β γ<β γ<β
Ejercicios.
1. ¿Cuál es la cofinalidad de ω + ω, ω · ω, ω ω ?
6. Demuestre que cof (m) es el menor cardinal n tal que existe una
partición de m en n conjuntos cada uno de los cuales tiene cardinalidad
estrictamente menor que m.
2ℵ0 = ℵ1 .
Tal nombre se debe a que, como sabemos, el conjunto R de los números
reales, o continuo, es equinumeroso con el conjunto potencia de ω . En
otras palabras, HC dice que el segundo cardinal infinito es la cardinalidad
de los números reales. Como corolario se obtiene que todo subconjunto no
enumerable de números reales tiene la misma cardinalidad.
En la década del 30, K. Gödel demostró que HC es compatible con ZF C,
es decir, que si existe un modelo de ZFC, entonces existe un modelo en el
167
cual HC también es válido. En otras palabras, es imposible demostrar a
partir de ZF Cque HC es falsa. En la década del 60, P. Cohen demostró que
HC tampoco es demostrable a partir de ZFC. Estos dos resultados conjun-
tamente implican que HC es independiente de ZF Cy que tanto ella como su
negación pueden ser agregadas como nuevo axioma de la teorı́a obteniéndose
resultados muy distintos.
La Hipótesis Generalizada del Continuo (HGC) es la afirmación
2ℵα = ℵα+1 .
Los resultados de Gödel y Cohen también se aplican a HGC.
Es interesante también notar que con posterioridad a los trabajos de
Cohen, se ha demostrado que es consistente con ZFCque 2ℵ0 = ℵ1 , ℵ2 , . . . ,
pero como veremos a continuación, no puede tomar cualquier valor.
Lema.
ℵω < ℵℵω0 .
P
Demostración. Como sabemos, ℵω = n∈ω ℵm . Por la desigualdad de Zer-
melo 5.34, como ℵm < ℵω ,
Y
ℵω < = ℵℵω0 .
m∈ω
Corolario 5.45.
2ℵ0 6= ℵω .
168
Demostración.
S Sea F : cof (n) −→ n be such that
α<cof (n) F (α) = n. Entonces
[ X Y
n= F (α) ≤ |F (α)| < n = ncof (n) .
α<cof (n) α<cof (n) α<cof (n)
m ≤ = |n m|
n
[
≤ | α|
α<m
X
≤ |α|n
α<m
X
≤ (|α| ∪ n)|α|∪n
α<m
X
≤ (|α| ∪ n)+ , por 5.42 y HGC,
α<m
X
≤ m = m ×c m = m
α<m
Ejercicios.
169
1. Demuestre que HGC es equivalente con mcof (m) = m+ , para todo m
infinito.
170
Bibliografı́a
171
Índice alfabético
172
orden estricto 46 conjunto enumerable 126
relaciones isomorfas 46 suma cardinal 129
isomorfismo de orden 46 Teorema de Zermelo 139
preorden 47 cofinal 144
cota superior 48 cofinalidad 144
cota inferior 48 Hipótesis del Continuo 146
supremo 48 Hipótesis Generalizada del Continuo
ı́nfimo 48 147
elemento minimal 48
elemento maximal 48
relación bien fundada 49
buen orden 49
sucesor 57
conjunto Inductivo 58
números naturales 58
Principio de Inducción 58
Principio de Inducción Completa 61
∈–transitivo 64
ordinal 64
Principio de Inducción Transfinita 70
ordinal sucesor 70
ordinal 70
clausura transitiva 75
función no–decreciente 75
función estrictamente creciente 75
función continua 75
función normal 75
jerarquı́a acumulativa 101
universo de von Neumann 101
función de elección 105
equinumerosos 117
cardinal 117
cardinalidad 119
cardinal de un conjunto 119
Teorema de Cantor, Schroeder y Berns-
tein 119
Teorema de Cantor 122
ℵ 123
conjunto finito 125
conjunto infinito 126
173