Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Teoría de Conjuntos - Di Prisco
Teoría de Conjuntos - Di Prisco
92
Teorı́a de Conjuntos
Carlos Augusto Di Prisco
Teorı́a de Conjuntos
ISBN: 980-00-2364-X
Depósito Legal: 1f17520066204065
Cuidado de la Edición:
Yandra Araujo
Diagramación y Montaje:
Brı́gida Molina
Diseño de Carátula:
Elizabeth Cornejo
ISBN: 980-00-2364-X
D.L. 1f17520066204065
515.42
I68
Contenido
Prefacio 11
Capı́tulo 4. Ordinales 49
1. Conjuntos bien ordenados. 49
2. Definición y Propiedades de los ordinales 56
3. Principio de inducción para ordinales 60
4. Aritmética de ordinales 63
9
Capı́tulo 5. La jerarquı́a acumulativa de conjuntos y el
axioma de regularidad 71
Capı́tulo 6. Cardinales 77
Capı́tulo 7. El axioma de elección 83
Capı́tulo 8. Aritmética de cardinales 93
1. Cofinalidad. Cardinales regulares 95
2. Exponenciación de cardinales. La hipótesis del
continuo 97
Capı́tulo 9. Cardinales inaccesibles 105
Capı́tulo 10. El teorema de Ramsey y la teorı́a de
particiones 109
Capı́tulo 11. Particiones de conjuntos no numerables 117
Capı́tulo 12. Conjuntos estacionarios 127
Capı́tulo 13. Filtros, ultrafiltros y cardinales medibles 135
Capı́tulo 14. El espacio de Baire y otros espacios
relacionados a la recta real 143
1. Topologı́a de la recta 143
2. El espacio de Baire 145
3. Conjuntos analı́ticos 151
Capı́tulo 15. Exponentes infinitos: conjuntos de Ramsey 153
1. Particiones de [N]ω y la propiedad de Ramsey 153
2. Los conjuntos analı́ticos son Ramsey 160
Bibliografı́a 167
10
Prefacio
El objetivo principal de este libro es presentar una intro-
ducción a un área de la teorı́a de conjuntos conocida como teorı́a
combinatoria de conjuntos. En particular se tratan temas de la
teorı́a de particiones que tienen su origen en el famoso teorema
de Ramsey. Estos temas van precedidos de un desarrollo de la
teorı́a axiomática de conjuntos.
El libro puede ser usado como apoyo para un curso des-
tinado a estudiantes avanzados de matemáticas. Aunque los
conocimientos previos necesarios para iniciar el estudio de este
tema son mı́nimos, es conveniente que el estudiante tenga ya
una base sólida de análisis matemático, de topologı́a y de álge-
bra, lo que garantiza la madurez matemática necesaria para
asimilar adecuadamente los conceptos básicos de la teorı́a de
conjuntos. Se necesitarán nociones de topologı́a en el capı́tulo
sobre el axioma de elección, en particular para demostrar la
equivalencia de este axioma con el teorema de Tychonoff, y en
los dos capı́tulos finales.
Hemos escogido presentar la teorı́a axiomática de conjun-
tos sin mucho formalismo. Luego de presentar los axiomas
de la teorı́a de Zermelo-Fraenkel, salvo tres que se dejan para
más adelante, cuando son necesarios, se pasa a mostrar que
esta teorı́a puede servir de fundamentación para el resto de
las matemáticas. Ası́, se definen los números naturales, los
números enteros, los números racionales y los números reales
como conjuntos, y se demuestran sus propiedades básicas. Los
capı́tulos que siguen están dedicados al estudio del concepto de
equipotencia, y de números ordinales y cardinales. Para intro-
ducir el concepto de cardinalidad y las operaciones aritméticas
entre cardinales, hace falta el axioma de elección. Este se in-
troduce en el capı́tulo 7, donde se demuestran sus equivalencias
más importantes.
11
Los temas desarrollados en los capı́tulos siguientes reflejan
en buena medida los gustos del autor. Estos capı́tulos tratan
temas de la teorı́a de particiones y su relación con los cardinales
grandes, y son de un nivel de dificultad mayor al de los capı́tulos
anteriores.
Este libro es una revisión aumentada de [2]. Hemos incor-
porado correcciones, algunas de ellas sugeridas por colegas, y
hemos expandido algunos capı́tulos y añadido otros. Agradezco
especialmente a Carlos Uzcátegui su lectura cuidadosa del texto
y sus acertadas sugerencias.
12
CAPı́TULO 1
13
1. Axiomas de la teorı́a de conjuntos
14
Teorı́a de Conjuntos
15
1. Axiomas de la teorı́a de conjuntos
16
Teorı́a de Conjuntos
17
1. Axiomas de la teorı́a de conjuntos
18
Teorı́a de Conjuntos
19
1. Axiomas de la teorı́a de conjuntos
20
Teorı́a de Conjuntos
21
1. Axiomas de la teorı́a de conjuntos
es el conjunto
[a]E = {b ∈ A : (a, b) ∈ E}.
Cuando no haya posibilidad de confusión respecto a la rela-
ción de equivalencia considerada, escribimos simplemente [a]
para denotar la clase de equivalencia de a.
Ejercicio 1.9. Sea E una relación de equivalencia en un
conjunto A. Demuestre que dados a, b ∈ A, si [a] 6= [b], en-
tonces [a] ∩ [b] = ∅.
Ejercicio 1.10. (Cociente de un conjunto por una relación
de equivalencia) Dada una relación de equivalencia E en un
conjunto A, el cociente de A por E, denotado por A/E, es
el conjunto de las clases de equivalencia de elementos de A
respecto a la relación de equivalencia E. Demuestre que A/E
es, en efecto, un conjunto. Demuestre también que ∪(A/E) =
A.
Uno de los conceptos que jugará un papel central más ade-
lante es el de relación de orden.
Una relación binaria R en un conjunto A es una relación
de orden si es reflexiva, es decir si para todo a ∈ A se tiene
(a, a) ∈ R; transitiva, es decir, dados a, b, c ∈ A, si (a, b) ∈ R,
y (b, c) ∈ R, entonces (a, c) ∈ R; y antisimétrica, es decir, para
a, b ∈ A, si (a, b) ∈ R y (b, a) ∈ R, entonces a = b. A veces
estas relaciones se llaman relaciones de orden parcial. Se dice
que una relación de orden R es total (o lineal) si para cada
par de elementos distintos a, b ∈ A, se tiene que (a, b) ∈ R o
(b, a) ∈ R.
Si R es una relación de orden en A y B ⊆ A, un elemento
x ∈ B es un elemento minimal de B (respecto a la relación
R) si no existe y ∈ B, y 6= x tal que (y, x) ∈ R. Decimos que
x ∈ B es un menor elemento de B si (x, y) ∈ R para todo y ∈ B
(y 6= x).
22
Teorı́a de Conjuntos
9. AXIOMA DE ELECCIÓN
Ejercicio 1.12. (1) Muestre que si A ⊆ B entonces
P(A) ⊆ P(B).
(2) Si a, b ∈ B, entonces (a, b) ∈ PP(B).
(3) Dé ejemplos de conjuntos A y B tales que ∪A = ∪B
pero A 6= B.
(4) Muestre que si A ∈ B entonces P(A) ∈ PP(∪B).
Ejercicio 1.13. (Producto Cartesiano) Si A es un con-
junto, el producto cartesiano de sus elementos se define del
23
1. Axiomas de la teorı́a de conjuntos
Q
modo siguiente: A = {f : f es una función f : A → ∪A y pa-
ra todo a ∈ A, f (a) ∈ a}.
Demuestre:
Q
a) Para todo conjunto A, Q A es un conjunto.
b) Si A = {a, b} entonces
Q A = a × b.
c) Si ∅ ∈ A entonces Q A = ∅.
d) Si ∩A 6= ∅, entonces A 6= ∅. Q Q
e) Si A = {A1 , A2 , . . . } entonces A = i∈ω Ai = el
conjunto de las sucesiones a1 , a2 , . . . tales que ai ∈ Ai .
24
CAPı́TULO 2
1. Números naturales
En nuestra teorı́a todos los objetos matemáticos deben ser
conjuntos, y por ello identificaremos a los números naturales
con ciertos conjuntos especı́ficos.
0 es el conjunto ∅,
1 es el conjuntos {0},
2 es el conjunto {0, 1},
3 es el conjunto {0, 1, 2},
etc.
En general, el número n es el conjunto {0, 1, 2, . . . , n − 1}
de sus predecesores.
Definición 2.1. Dado un conjunto a. definimos a0 , el suce-
sor de a, como el conjunto a0 = a ∪ {a}.
Definición 2.2. Decimos que un conjunto A es inductivo
si ∅ ∈ A y para todo conjunto a, si a ∈ A, entonces a0 ∈ A.
Ninguno de los axiomas introducidos hasta ahora nos garan-
tiza la existencia de conjuntos inductivos, por eso necesitamos
el siguiente axioma.
25
2. Matemáticas basadas en conjuntos
26
Teorı́a de Conjuntos
27
2. Matemáticas basadas en conjuntos
4. Dados n, m ∈ ω si m0 = n0 entonces n = m.
Demostración: Como n y m son transitivos ∪n0 = n y
∪m = m. Por hipótesis, n0 = m0 luego n = m.
0
28
Teorı́a de Conjuntos
29
2. Matemáticas basadas en conjuntos
30
Teorı́a de Conjuntos
Demostración: Ejercicio.
31
2. Matemáticas basadas en conjuntos
32
Teorı́a de Conjuntos
5. Números enteros
Obtenemos los números enteros calculando diferencias entre
números naturales. Por ejemplo −1 = 3 − 4, −2 = 6 − 8,
3 = 8 − 5, etc. Esto indica que una manera de definir el número
negativo −1 es mediante el par (3, 4). El problema es que hay
muchos pares que servirı́an para esto, por ejemplo, (10, 11),
(13, 14), etc. Lo que haremos es identificar todos estos pares,
de modo que el −1 venga a ser la clase de todos los pares
(a, b) tales que a y b son números naturales y a − b = −1.
Hagamos ahora esto más formalmente (notemos que no hemos
definido todavı́a la operación a − b entre números naturales).
Definimos una relación de equivalencia ≈ entre pares ordenados
de números naturales de la manera siguiente.
(a, b) ≈ (p, q) si y sólo si a + q = p + b, y ponemos [(a, b)] =
{(p, q) : (a, b) ≈ (p, q)}.
Ejercicio 2.23. Demuestre que ≈ es una relación de equiv-
alencia y que para cada par de números naturales a y b, [(a, b)]
es un conjunto.
Definición 2.24. El conjunto Z de los números enteros es
la colección de clases de equivalencia ω × ω/ ≈.
33
2. Matemáticas basadas en conjuntos
34
Teorı́a de Conjuntos
Demostración: Ejercicio.
35
2. Matemáticas basadas en conjuntos
7. Números racionales
De la misma manera que extendimos los números naturales
a los enteros para obtener opuestos respecto a la suma (i.e.
soluciones a la ecuación n + x = 0), extenderemos ahora los
enteros para obtener inversos respecto a la multiplicación (es
decir, para obtener soluciones de a x = 1, a ∈ Z). Defini-
mos una relación de equivalencia en Z × (Z \ {0}) de la ma-
nera siguiente. El producto cartesiano anterior es el conjunto
{(a, b) : a ∈ Z, b ∈ Z, b 6= 0}. Definimos alli la relación ∼
poniendo
(a, b) ∼ (c, d) si y sólo si a d = c b.
36
Teorı́a de Conjuntos
37
2. Matemáticas basadas en conjuntos
38
Teorı́a de Conjuntos
9. Números reales
Hay varias maneras de construir los números reales. Usare-
mos para ello las llamadas Cortaduras de Dedekind.
Definición 2.47. Una cortadura de Dedekind es un sub-
conjunto x de Q tal que
(i) ∅ =
6 x 6= Q,
(ii) si q ∈ x y r < q entonces r ∈ x.
(iii) x no tiene máximo.
El conjunto R de los números reales es el conjunto de las
cortaduras de Dedekind. El orden de R es simple de definir:
x ≤R y ↔ x ⊆ y. En consecuencia, x <R y si y solamente si
x ⊂ y, y por lo tanto y \ x es no vacı́o.
Teorema 2.48. La relación <R es un orden lineal.
Demostración: Es fácil ver que <R es transitiva. Veamos
que satisface la ley de tricotomı́a. Dados x e y, una de las tres
posibilidades siguientes ocure: x < y, x = y o y < x. Si no se
tiene x < y, entonces existe r ∈ x \ y. Notemos que todo s ∈ y
es tal que s < r (porque si s = r o r < s se tendrı́a que r ∈ y)
y como x es ”cerrado hacia abajo” s ∈ x. Luego y ⊆ x.
39
2. Matemáticas basadas en conjuntos
40
Teorı́a de Conjuntos
41
2. Matemáticas basadas en conjuntos
42
CAPı́TULO 3
Conjuntos equipotentes
43
3. Conjuntos equipotentes
44
Teorı́a de Conjuntos
A ' $
' $
C
&
A %
1
& %
A0 = A \ C
45
3. Conjuntos equipotentes
46
Teorı́a de Conjuntos
47
3. Conjuntos equipotentes
48
CAPı́TULO 4
Ordinales
49
4. Ordinales
50
Teorı́a de Conjuntos
51
4. Ordinales
52
Teorı́a de Conjuntos
53
4. Ordinales
54
Teorı́a de Conjuntos
55
4. Ordinales
56
Teorı́a de Conjuntos
57
4. Ordinales
58
Teorı́a de Conjuntos
59
4. Ordinales
60
Teorı́a de Conjuntos
61
4. Ordinales
62
Teorı́a de Conjuntos
f (β) = F1 (f β) si β es sucesor,
f (λ) = F2 (f λ) si λ es lı́mite.
Análogamente se puede definir un Teorema de Recursión
modificado para obtenter relaciones funcionales definidas en
On. Dejamos al lector la tarea de dar el enunciado y de de-
mostrar esta versión del Teorema de Recursión.
4. Aritmética de ordinales
Definiremos suma y producto de ordinales usando ciertas
construcciones de buenos órdenes. Dados ordinales α y β sean
(A, R) y (B, S) conjuntos bien ordenados de tipo de orden α y
β respectivamente y tales que A ∩ B = ∅.
Definimos α + β como el tipo de orden del buen orden
(A ∪ B, R ⊕ S) donde R ⊕ S = R ∪ S ∪ (A × B).
Esto es, (R ⊕ S) es el orden que se obtiene poniendo B con
su orden, a continuación de A.
α β
Tipo de orden de α + β
63
4. Ordinales
Tipo de orden de α β
64
Teorı́a de Conjuntos
65
4. Ordinales
66
Teorı́a de Conjuntos
67
4. Ordinales
68
Teorı́a de Conjuntos
69
CAPı́TULO 5
71
5. La jerarquı́a acumulativa de conjuntos y el axioma
de regularidad
A
A
A
A α
A
A
A
A
A
A Vα
A
A
A
A
A
A ∅
La jerarquı́a acumulativa
72
Teorı́a de Conjuntos
73
5. La jerarquı́a acumulativa de conjuntos y el axioma
de regularidad
74
Teorı́a de Conjuntos
75
5. La jerarquı́a acumulativa de conjuntos y el axioma
de regularidad
76
CAPı́TULO 6
Cardinales
77
6. Cardinales
78
Teorı́a de Conjuntos
79
6. Cardinales
-
6
-
6
-
6
El orden en κ × κ
80
Teorı́a de Conjuntos
81
6. Cardinales
82
CAPı́TULO 7
El axioma de elección
83
7. El axioma de elección
84
Teorı́a de Conjuntos
(
g({F (β) : β < α}), si {F (β) : β < α} $ A,
F (α) =
x0 en caso contrario.
85
7. El axioma de elección
(
m({F (β) : β < α}), si {F (β) : β < α} ∈ C,
F (α) =
x0 en caso contrario.
86
Teorı́a de Conjuntos
87
7. El axioma de elección
88
Teorı́a de Conjuntos
89
7. El axioma de elección
90
Teorı́a de Conjuntos
91
CAPı́TULO 8
Aritmética de cardinales
93
8. Aritmética de cardinales
94
Teorı́a de Conjuntos
95
8. Aritmética de cardinales
96
Teorı́a de Conjuntos
S
δ<β f (δ), su cardinalidad es
[ X
| f (δ)| ≤ |f (δ)|
δ<β δ<β
X
≤ ℵα
δ<β
= |β| ℵα
≤ ℵα ℵα = ℵα .
Demostración: Ejercicio.
97
8. Aritmética de cardinales
98
Teorı́a de Conjuntos
99
8. Aritmética de cardinales
ℵβ ℵ
ℵα+1 = ℵαβ ℵα+1 .
100
Teorı́a de Conjuntos
ℵ ω
[
β
ℵα+1 β
= |ωα+1 |=| γ ωβ | ≤
γ<ωα+1
X X
≤ |γ ωβ | = |γ|ℵβ ≤
γ<ωα+1 γ<ωα+1
ℵ
X
≤ ℵαβ =
γ<ωα+1
ℵ
= ℵαβ ℵα+1 .
ℵ
Por otra parte, ℵαβ y ℵα+1 son ambos menores que o iguales
ℵβ ℵβ ℵ
ℵα+1 ,luego ℵα+1 = ℵαβ ℵα+1 .
ℵ ℵ ℵ ℵ
β
Si ℵα < ℵβ , entonces ℵα+1 ≤ ℵβ β = 2ℵβ ≤ ℵαβ ≤ ℵα+1
β
.
β ℵ ℵ
Luego, en este caso ℵα+1 = ℵαβ . Por otra parte, ℵα+1 ≤ ℵβ <
ℵ
2ℵβ = ℵαβ , y entonces también vale el enunciado.
101
8. Aritmética de cardinales
ω ω
Demostración: De la hipótesis sigue que ωαβ = γ<α ωγ β
S
ℵ ω ω
[
ℵαβ = |ωαβ | = | ωγ β | ≤
γ<α
ω ℵ
X X
≤ |ωγ β | = ℵγ β ≤
γ<α γ<α
ℵ ℵ ℵ
X
≤ ℵαβ = ℵαβ |α| = ℵαβ .
γ<α
ℵα
si ℵβ < cof (ℵα );
ℵ
ℵαβ = ℵα+1 si cof (ℵα ) ≤ ℵβ < ℵα ;
ℵβ+1 si ℵα ≤ ℵβ .
102
Teorı́a de Conjuntos
ℵ ℵβ
(b) Si α es lı́mite, por el lema anterior, ℵαβ =
P
γ<α ℵγ ,
entonces,
ℵ
X ℵβ
ℵα ≤ ℵαβ = ℵγ ≤
γ<α
X X
ℵγ ℵβ
≤ (2 ) = 2ℵγ ℵβ =
γ<α γ<α
X X
ℵγ∪β
= 2 = ℵ(γ∪β)+1 ≤
γ<α γ<α
X
≤ ℵα = ℵα |α| = ℵα .
γ<α
103
CAPı́TULO 9
Cardinales inaccesibles
105
9. Cardinales inaccesibles
106
Teorı́a de Conjuntos
107
CAPı́TULO 10
109
10. El teorema de Ramsey y la teorı́a de particiones
110
Teorı́a de Conjuntos
111
10. El teorema de Ramsey y la teorı́a de particiones
112
Teorı́a de Conjuntos
113
10. El teorema de Ramsey y la teorı́a de particiones
114
Teorı́a de Conjuntos
115
10. El teorema de Ramsey y la teorı́a de particiones
116
CAPı́TULO 11
117
11. Particiones de conjuntos no numerables
Corolario 11.2.
ℵ1 6→ (ℵ1 )2 .
Demostración. El corolario sigue del teorema anterior por
la simple observación de que si α → (β)nγ y α0 > α, entonces
α0 → (β)nγ .
118
Teorı́a de Conjuntos
119
11. Particiones de conjuntos no numerables
0,
si α < β y fα precede a fβ en el orden
F (α, β) = lexicográfico,
1 en caso contrario.
120
Teorı́a de Conjuntos
|Qγ | = 2<γ < κ (esta última desigualdad vale por ser κ regu-
lar). Tenemos entonces un orden total Lγ de cardinalidad κ con
un subconjunto denso de cardinalidad menor que κ. De aquı́
podemos obtener una contradicción como en la prueba de la
regularidad de κ, ya que usando la relación κ → (κ)2 podemos
demostrar que en Lγ existe una sucesión creciente de tipo de
orden κ o una sucesión decreciente con el tipo de orden de κ
invertido.
Corolario 11.6. En ZF C no se puede demostrar la exis-
tencia de un cardinal no numerable κ tal que κ → (κ)2 (supo-
niendo, por supuesto, que ZF C es consistente).
121
11. Particiones de conjuntos no numerables
122
Teorı́a de Conjuntos
123
11. Particiones de conjuntos no numerables
124
Teorı́a de Conjuntos
125
CAPı́TULO 12
Conjuntos estacionarios
127
12. Conjuntos estacionarios
128
Teorı́a de Conjuntos
129
12. Conjuntos estacionarios
130
Teorı́a de Conjuntos
131
12. Conjuntos estacionarios
132
Teorı́a de Conjuntos
133
CAPı́TULO 13
135
13. Filtros, ultrafiltros y cardinales medibles
136
Teorı́a de Conjuntos
137
13. Filtros, ultrafiltros y cardinales medibles
138
Teorı́a de Conjuntos
139
13. Filtros, ultrafiltros y cardinales medibles
140
Teorı́a de Conjuntos
>> κ es inaccesible.
141
CAPı́TULO 14
1. Topologı́a de la recta
En este capı́tulo estudiaremos algunos espacios topológicos
estrecha-mente ligados a la recta real que son de singular impor-
tancia en el desarrollo de los fundamentos de las matemáticas.
Recordemos primero algunas propiedades topológicas de la
recta real. Un intervalo abierto de R, es un conjunto de la
forma
{x ∈ R : a < x < b},
143
14. El espacio de Baire y otros espacios relacionados
a la recta real
144
Teorı́a de Conjuntos
2. El espacio de Baire
Consideremos el conjunto ω ω de las funciones de ω en ω, o
sucesiones infinitas de números naturales, dotado de la topologı́a
producto que resulta de dar a ω la topologı́a discreta. Este es-
pacio de llama el espacio de Baire, y será denotado por N .
Dada una sucesión finita s de números naturales, sea
Us = {x ∈ N : x(i) = s(i) para todo i ∈ dom(s)}.
Los conjuntos de la forma Us constituyen una base numerable
de la topologı́a de N ( es numerable ya que el conjunto de
sucesiones finitas de números naturales es numerable)
Ejercicio 14.1. Demuestre que {Us : s ∈<ω ω} es una base
para la topologı́a producto.
Con esta topologı́a, la convergencia en N es muy fácil de
describir. Una sucesión {xi : i ∈ ω} converge a x si y sólo si
∀n∃m∀k ≥ m(xk (n) = x(n)).
El espacio de Baire es metrizable por la métrica dada por
(
0 si x = y
(5) d(x, y) = 1
6 y.
si x =
( menor n tal que x(n)6=y(n))+1
Para demostrar que esta métrica dá la topologı́a del espacio
de Baire basta verificar que determina la convergencia que men-
cionamos anteriormente y esto es bastante obvio. Esta métrica
es completa, y dejamos al lector la tarea de verificarlo.
El espacio de Baire no es compacto. Por ejemplo, {Uhni :
n ∈ ω} es un cubrimiento que no admite ningún subcubrimiento
145
14. El espacio de Baire y otros espacios relacionados
a la recta real
146
Teorı́a de Conjuntos
147
14. El espacio de Baire y otros espacios relacionados
a la recta real
de la forma
[s, A] = {B ∈ [N ]ω : s < B ⊆ s ∪ A},
donde s ∈ [N ]<ω y A ∈ [N]ω . Es decir, el conjunto de todos
los B que tienen a s como segmento inicial y el resto de sus
elementos pertenecen a A.
Esta topologı́a no es metrizable ni tiene una base nume-
rable.
Ejercicio 14.6. Demuestre que la topologı́a exponencial es
más fina que la topologı́a métrica.
Definición 14.7. Un árbol sobre un conjunto X es un con-
junto S de sucesiones finitas de elementos de X parcialmente
ordenado por la relación de extensión de sucesiones y tal que
si s ∈ S y n es menor que la longitud de s, s n ∈ S. Una
rama de S es una sucesión infinita a ∈ω X tal que para todo n,
a n ∈ S.
Dado un árbol S, denotaremos por [S] al conjunto de las
ramas de S. El árbol completo sobre X es el conjunto <ω X de
todas las sucesiones finitas de elementos de X. Por ejemplo,
<ω ω es el conjunto de sucesiones finitas de números naturales,
148
Teorı́a de Conjuntos
149
14. El espacio de Baire y otros espacios relacionados
a la recta real
150
Teorı́a de Conjuntos
3. Conjuntos analı́ticos
En 1905, Lebesgue publicó un trabajo sobre funciones re-
presentables analı́ticamente el cual es considerado como el pri-
mer estudio sistemático de las funciones definibles y el inicio
de la llamada Teorı́a Descriptiva de Conjuntos. En ese trabajo,
escondido en una demostración, habı́a un error que fue des-
cubierto diez años más tarde por Suslin, quien para entonces
era un estudiante de Lusin en la Universidad de Moscú. El
error consistı́a esencialmente en suponer que la proyección a la
recta de un boreliano del plano es siempre un boreliano. Suslin
demostró que hay proyecciones de conjuntos borelianos que no
son borelianos, e inició ası́ el estudio de los conjuntos analı́ticos.
Definición 14.14. Sea X un espacio topológico comple-
tamente me-trizable y separable. Un subconjunto X de X es
analı́tico si es vacı́o o existe una función continua f : N → X
tal que X = im(f ).
Definición 14.15. (La operación de Suslin) Dada una co-
lección de conjuntos {As : s ∈ ω <ω }, definimos
[ \
A({As : s ∈ ω <ω }) = Axn .
x∈ω ω n∈ω
151
14. El espacio de Baire y otros espacios relacionados
a la recta real
152
CAPı́TULO 15
153
15. Exponentes infinitos: conjuntos de Ramsey
154
Teorı́a de Conjuntos
155
15. Exponentes infinitos: conjuntos de Ramsey
Lema 15.7. Sea M tal que decide cada uno de sus subcon-
juntos finitos. Si s ⊆ M , y M rechaza s, entonces M rechaza
s ∪ {n} para todo n ∈ M excepto un número finito.
Demostración: Supongamos que M rechaza s y que existen
infinitos n ∈ M tales que M no rechaza s ∪ {n}. Entonces,
N = {n ∈ M : M acepta s ∪ {n}} es infinito. En ese caso,
N ⊆ M y N acepta s, ya que cada N -extensión de s es una
M -extensión de s ∪ {n} para algún n ∈ N . Esto contradice el
hecho de que M rechaza s.
156
Teorı́a de Conjuntos
157
15. Exponentes infinitos: conjuntos de Ramsey
158
Teorı́a de Conjuntos
159
15. Exponentes infinitos: conjuntos de Ramsey
160
Teorı́a de Conjuntos
161
15. Exponentes infinitos: conjuntos de Ramsey
162
Teorı́a de Conjuntos
163
15. Exponentes infinitos: conjuntos de Ramsey
164
Teorı́a de Conjuntos
165
Bibliografı́a
167
[15] Levy, Azriel : Basic Set Theory. Springer Verlag, 1979
[16] Moore, G. H.: Zermelo’s axiom of choice. Its origins, development,
and influence. Springer Verlag, 1982.
[17] Mathias, A.R.D., Happy Families. Annals of Pure and Applied Logic
12 (1977) 59-111.
[18] Mendelson, E.: Introduction to Mathematical Logic. Fourth Edi-
tion. Chapman & Hall, 1997.
[19] Paris, J. y L. Harrington: A Mathematical Incompleteness in Peano
Arithmetic. Handbook of Mathematical Logic (J. Barwise, Ed.)
North Holland (1977).
[20] Ramsey, F. P., On a problem of formal logic. Proceedings of the
London Mathematical Society, 30 (1930), 264-286.
[21] Silver, J. Every analitic set is Ramsey. Journal of Symbolic Logic
35 (1970) pp 60-64.
[22] van Dalen, D., H.C. Doets y H. de Swart: Sets: Naive, Axiomatic
and Applied. Pergamon Press Ltd., 1978.
168