Poemas.

AGRADECIMIENTOS

Agradecimientos.

RESUMEN

Resumen.

INDICE
CAPITULO 1: PRELIMINARES

1.1 Teora de Conjuntos

1.2 Categora

1.3 Categora en el espacio de Cantor

1.4 Teora de la Medida

1.5 Ideales

1.6 Relaciones de Galois-Tukey

1.7 Topologa en A

13

CAPITULO 2: TEOREMA DE ERDOS-SIERPINSKI

19

CAPITULO 3: EL DIAGRAMA DE CHICHON

26

CAPITULO 4: DIAGRAMA

40

BIBILIOGRAFIA

41

CAPITULO 1: PRELIMINARES
El objetivo de este captulo es reunir definiciones y resultados que usaremos iteradamente en el texto.

1.1

Teora de Conjuntos
La notaci
on conjuntista que usaremos sera la usual fijando las letras , , ... para car-

dinales, , , ... para ordinales y (X) para denotar al conjunto potencia del conjunto X.
A lo largo de la tesis usaremos para denotar subconjunto y para hablar de subconjuntos propios.
Si f es una funci
on con dominio A y B A, usaremos f  B para denotar la restricci
on
de f a B.
Definici
on 1.1. Sea X un conjunto y un cardinal.
[X]< denotar
a a la coleccion de todos los subconjuntos de X de cardinalidad menor
a .
[X] denotar
a a la coleccion de todos los subconjuntos de X de cardinalidad igual a
.
[X]6 denotar
a a la coleccion de todos los subconjuntos de X de cardinalidad menor
o igual a .
Definici
on 1.2. Sean A y B conjuntos. Denotaremos por

AB

al conjunto de todas las

S
funciones con dominio A y contradominio B. Ademas, si es un cardinal, < A = A.
En particular, es la coleccion de todas las funciones de los n
umeros naturales en los
n
umeros naturales y 2 es el conjunto de todas las funciones de en el ordinal 2 = {0, 1}.
Definici
on 1.3. Sea A un conjunto no vaco. Para cada n definimos la funci
on
proyecci
on n-esima, pn : A A, por pn (f ) = f (n).

1.2

Categora
En esta secci
on hacemos menci
on de resultados de categora que son relevantes al

trabajo. Presentaremos las definiciones para espacios topologicos en general pero en el

texto nos enfocaremos en la recta real R como espacio topologico con la topologa usual
(denotada por R , la topologa generada por los intervalos abiertos).
Dado un espacio topol
ogico X y E X, fijaremos la siguiente notacion:
X representar
a a la topologa de X.
+
X
:= X \ {}.

int E representar
a al interior de E en X si no hay lugar a confusion, en caso contrario
usaremos intX E.
a a la cerradura de E en X si no hay lugar a confusion, en caso contrario
E representar
usaremos clX E.
Definici
on 1.4. Sea X un espacio topologico.
1. Diremos que un subconjunto A de X es denso en ninguna parte si int A = .
2. Diremos que un subconjunto B de X es magro si existe una familia {Bn : n } de
S
subconjuntos densos en ninguna parte de X tal que B = n Bn .
Observaci
on. Todo conjunto denso en ninguna parte B de X es magro ya que B =

Bn

donde Bn = B para toda n .

La demostraci
on del siguiente resultado puede ser consultada a detalle en [2][Proposicion
2.30, (3), pagina 58]
Proposici
on 1.5. Sean X un espacio topol
ogico y E X. Los siguientes enunciados son
equivalentes:
1. E es denso en ninguna parte en X.
+
+
2. Para cada U X
existe V X
de tal modo que V U \ E.

3. X \ E contiene un abierto denso de X.

Proposici
on 1.6. Sean X un espacio topologico y sean E, G y F subconjuntos de X tales
que E y G son densos en ninguna parte en F . Entonces se cumple lo siguiente:
1. es denso en ninguna parte en X,
2. si F E, entonces F es denso en ninguna parte en X,
3. E G es denso en ninguna parte en X y
4. la uni
on de una cantidad finita de densos en ninguna parte en X, es denso en ninguna
parte en X.
Demostraci
on.

Como int = = , el inciso (1) es cierto. Con respecto a (2), basta

recordar que tanto el interior como la cerradura son operadores monotonos.

+
. Como E es denso en ninguna parte, existe
Ahora, para probar (3) tomemos O X
+
+
de tal suerte que V U \ G. En
con U O \ E. Del mismo modo, existe V X
U X

resumen, V O \ (E G).
Claramente, (4) se sigue de (3).

Lema 1.7. Sea Y un espacio topol

ogico y Z un subsespacio denso en Y . Se cumplen los
siguientes enunciados.
1. Si E es denso en ninguna parte en Z, entonces E es denso en ninguna parte en Y .
2. Si L es denso en ninguna parte en Y , entonces L Z es denso en ninguna parte en
Z.
Demostraci
on.
Procedamos por contrapositiva en ambos casos.
Sea E Z. Supongamos que E no es denso en ninguna parte en Y , luego, U =
intY clY E es no vaco, as U Y+ . Como Z es denso, clY Z = Y , lo cual implica que
U clY E. Lo anterior da lugar a U Z (clY E) Z = clY E, en conclusion, E no es
denso en ninguna parte en Z.

Sea L Y de tal suerte que L Z no es denso en ninguna parte en Z. Por definicion,

existe V Y+ tal que V Z clZ ( L Z) clY L. Dado que Z es subconjunto denso
de Y , sabemos que clY V Z = clY V . Por propiedades basicas del operador cerradura
sabemos que V Z clY L implica clY (V Z) clY L. En resumen V clY V clY L,
es decir, L no es denso en ninguna parte en Y .
La demostraci
on del resultado que presentamos a continuacion puede ser consultada a
detalle en [10, Secci
on 2.1].
Proposici
on 1.8. Los siguientes enunciados son equivalentes para cualquier espacio topol
ogico
X.
+
1. Ning
un U X
es magro en X.

2. El complemento de cualquier magro en X es denso en X.

3. La intersecci
on de cualquier familia numerable de abiertos densos en X es densa en
X.
Definici
on 1.9. Sea X un espacio topologico. Diremos que X es un espacio de Baire si
satisface cualquiera de las condiciones en la proposicion anterior.
Teorema 1.10 (Teorema de Categora de Baire). Sea X un espacio topol
ogico. Cada una
de las siguientes condiciones implica que X es un espacio de Baire.
1. X es completamente metrizable.
2. X es localmente compacto y de Hausdorff.
Ejemplo 1.11. Una aplicaci
on importante del Teorema de Categora de Baire es que R no
es magro en s mismo por ser un espacio completamente metrizable.
Definici
on 1.12. M denotar
a a la familia de conjuntos magros de R. Ademas, si X es un
espacio topol
ogico, M(X) denotar
a a la familia de todos los subconjunto magros de X.
Lema 1.13. Si X es un espacio de Baire, entonces los enunciados siguientes son ciertos.

1. X
/ M(X), M(X),
2. si S [M(X)]6 , entonces

S M(X) y

3. si E M(X) y F E, entonces F M(X).

Demostraci
on.

+
En vista la proposicion 1.8 y al hecho de que X X
, tenemos que

X
/ M(X). Por otro lado basta notar que es denso en ninguna parte en X y as, magro
en X.
Para cada E S sea SE una familia numerable de subconjuntos densos en ninguna
S
S
parte de X con E = SE . Luego, {SE : E S} es una familia numerable de densos en
S
ninguna parte cuya uni
on es igual a S.
Como E M(X), sea SE una familia numerable de subconjuntos densos en ninguna
parte de X cuya uni
on es E. En vista de la proposicion 1.6 y la contencion F E, la
familia numerable SF = {W F : W SE } consta de subconjuntos densos en ninguna
S
parte de X y cumple que SF = F . Por lo tanto F M(X).

1.3

Categora en el espacio de Cantor

Definici
on 1.14. Emplearemos el smbolo A = para abreviar la frase A es finito. Del
mismo modo, A 6= significar
a que A es infinito.
Definici
on 1.15. Diremos que un intervalo en es una conjunto de la forma n \ m = {k
: m 6 k 6 n}, donde m, n .
Definici
on 1.16. Diremos que es una particion de en intervalos si es una familia
ajena por pares de intervalos no vacos en cuya union es .
La frase {In : n } es una enumeracion adecuada de significara que = {In : n
} y que min In+1 = max In + 1, para todo n .
Definici
on 1.17. La colecci
on de particiones de intervalos en sera denotada por P .
Dadas 0 , 1 P , diremos que 0 domina a 1 y usaremos cualquiera de los smbolos
1 / 0 o 0 . 1 cuando {I 0 : J 1 (J I)} =
6 .

1.4

Teora de la Medida
En esta secci
on hacemos menci
on de resultados de Teora de la Medida que son rele-

vantes al texto.
Para los resultados de esta secci
on utilizaremos como texto base a [1] y todos los
terminos que no sean definidos explcitamente aqu deberan entenderse tal y como aparecen
en dicho libro.
Para cada intervalo I de R usaremos el smbolo `(I) para denotar su longitud. De este
modo, si I es un intervalo acotado en R, entonces `(I) = sup I inf I y en caso contrario,
`(I) = .
Sea E un subconjunto de R. La medida exterior de Lebesgue de E, (E), sera el nfimo
P
de todos los n
umeros de la forma
n=0 `(In ), donde {In }n es una familia de intervalos
que cubre a E. La medida interior de Lebesgue de E, (E), sera el supremo de todos
P
los n
umeros de la forma
n=0 `(In ), donde {In }n es una familia de intervalos tal que
S
n In E.
Diremos que E R es Lebesgue medible si se cumple que (E) = (E). La coleccion
de los subconjuntos Lebesgue medibles de R la denotaremos por L. La funcion  L es la
medida de Lebesgue y ser
a denotada por .
En particular si I R es un intervalo entonces se tiene que (I) = `(I).
Teorema 1.18. L es una -algebra en R, es decir:
L, R L;
L es cerrada bajo uniones numerables: si S [L]6 , entonces

SLy

L es cerrada bajo complementos: si E L, entonces R \ E L.

Adem
as es una medida en L, es decir, () = 0 y si {Ei }i L es ajena por pares,
S
P
entonces ( i Ei ) =
i=0 (Ei ).
Definici
on 1.19. Diremos que E R es nulo siempre que (E) = 0 o, equivalentemente, si
S
para todo  > 0 existe una familia de intervalos {In }n tal que E n In y n (In ) <
.
6

Definici
on 1.20. N denotar
a a la familia de conjuntos nulos de R. Ademas si S es una
-algebra para el conjunto X y es una medida en S, entonces N(X, S, ) (o simplemente
N(X) si el espacio de medida queda claro por el contexto) denotara a la coleccion {E S :
(E) = 0}.
Lema 1.21. Los enunciados siguientes son ciertos.
1. R
/ N, N,
2. si A [N]6 , entonces

AN y

3. si E N y F E, entonces F N.
Demostraci
on. Es un resultado bien conocido que (R) = .
S
P
Si A = {An : n } es un subconjunto de N, entonces 0 6 ( A) 6
n=0 (An ) = 0.
S
Por lo tanto A N.
El u
ltimo inciso se sigue de la monotona de la medida.
Mimetizando la construci
on de la medida de Lebesgue para R definiremos una medida
para .
Definimos F n(, 2) =

[]< 2.

Definimos [s] = {t

: s t} y B = {[s] : s

F n(, 2)}.
1
.
2|s|
Sea E 2. La medida exterior de E, (E), sera el nfimo de todos los n
umeros de la
S
P
forma n=0 0 (Bn ), donde {Bn }n es un subconjunto de B que cumple E n Bn . La
P
medida interior de E, (E), sera el supremo de todos los n
umeros de la forma
n=0 (Bn ),
S
donde {Bn }n es un subconjunto de B tal que n Bn E. Dichas funciones estan bien
Observaci
on. Definimos 0 ([s]) =

definidas ya que claramente [] = 2.

As, diremos que E es medible si y solo si (E) = (E). Haciendo A = {E 2 :
E es medible }, obtenemos que =  A es una medida en 2.

1.5

Ideales

Definici
on 1.22. Sean X un conjunto y I (X). Diremos que I es un ideal de X si
cumple lo siguiente:
7

1. I, X
/ I;
2. si E I y F E, entonces F I;
3. si E, F I, entonces E F I.
Si, adicionalmente, I es cerrado bajo uniones numerables (es decir,

S I siempre S

[I]6 ), entonces I ser

a llamado -ideal.
Ejemplo 1.23. Si X no es numerable, entonces [X]6 es un -ideal en X.
Teorema 1.24. Los conjuntos M y N son -ideales en R.
Demostraci
on. Se sigue directamente de los lemas 1.13 y 1.21.

1.6

Relaciones de Galois-Tukey
Recordemos que si R es una relacion binaria, entonces dom(R) = x : y ((x, y) R).
Una tripleta A = (A , A+ , A) que cumpla A A A+ y dom(A) = A sera llamada

relaci
on de Galois-Tukey. A ser
a llamado conjunto de retos de A y A+ conjunto de
respuestas de A.
A la propiedad (x, y) A la abreviaremos como x A y y se debera leer: la respuesta y
satisface el reto x.
Ademas diremos que S A+ es completo en A si para toda x A existe y S tal
que x A y. La condici
on dom(A) = A garantiza que A+ es completo en A por lo que la
definicion tiene sentido.
La norma de A, ||A||, es la menor cardinalidad de un conjunto completo en A.
Definici
on 1.25. Sean f, g , diremos que f 6 g si el conjunto {n : f (n) > g(n)}
es finito.
Definici
on 1.26. Sean f, g , diremos que g 6> f si el conjunto {n : f (n) > g(n)}
es infinito.
Ejemplo 1.27. Sea D = ( , , 6 ). Por definici
on S es completo en D si y s
olo si para
toda f existe g S tal que f 6 g, es decir, si S es un subconjunto dominante en .
Por lo tanto la norma de D es el n
umero de dominancia: d = ||D||.
8

Definici
on 1.28. Sea A = (A , A+ , A) una relacion de Galois-Tukey. Definimos el dual
de A como la tripleta A = (A+ , A , A ), donde A A+ A esta definida mediante la
formula (x, y) A si y s
olo si (y, x)
/ A.
En general, el dual de una relacion de Galois-Tukey no es necesariamente una relaci
on
de Galois-Tukey.
Ejemplo 1.29. Sea A un conjunto no vaco. Trivialmente la tripleta A = (A, A, B), con
B = A A, es una relaci
on de Galois-Tukey. Mientras que su dual, A , no lo es, debido a
que B = .
Ejemplo 1.30. Si D es como en el ejemplo 1.27, entonces D = ( , ,  ). Sea g ,
luego, g 6> g + 1, por lo que dom(6>) =

y as, D es una relaci

on de Galois-Tukey.

Ahora, S es completo en D si y s
olo si para toda f existe g S tal que f  g, es
decir, si S es no acotado en . Por lo tanto la norma de D es el n
umero de acotamiento:
b = ||D ||
Definici
on 1.31. Sea I un ideal sobre X con

I = X. Definimos las siguientes tripletas:

Cov(I) = (X, I, ) y
Cof(I) = (I, I, ).
Proposici
on 1.32. Sea I un ideal sobre X con

I = X. Se cumple lo siguiente.

1. Las tripletas Cov(I) y Cof(I) son relaciones de Galois-Tukey.

2. Los duales Cov(I) y Cof(I) son relaciones de Galois-Tukey.
Demostraci
on. Sea x X. Por hipotesis sabemos que

I = X, luego, existe I I tal que

x I. Por lo tanto Cov(I) es una relacion de Galois-Tukey.

El hecho de que Cof(I) es una relacion de Galois-Tukey se sigue directamente de la
reflexividad de la contenci
on.
Sea I I. Por definici
on de ideal, I 6= X. As existe x X de tal suerte que x
/ I;
S
adem
as como I = X, existe J I tal que x J, luego J * I. Lo anterior implica que
Cov(I) y Cof(I) son relaciones de Galois-Tukey.
9

Definici
on 1.33. Sea I un ideal sobre X con

I = X. Definimos los siguientes coeficientes

del ideal I. :
El n
umero de cubierta de I es el cardinal cov(I) = || Cov(I)|| .
El n
umero de homogeneidad de I es non(I) = || Cov(I) ||.
La cofinalidad de I es cf(I) = || Cof(I)||.
La aditividad de I es add(I) = || Cof(I) ||.
Proposici
on 1.34. Sea I un ideal sobre X con
1. cov(I) = min{|F| : F I

I = X. Los siguientes son ciertos.

F = X}.

2. non(I) = min{|E| : E X E
/ I}.
3. cf(I) = min{|F| : F I L IJ F(L J)}.
4. add(I) = min{|F| : F I

F
/ I}.

Sea F I un conjunto completo de Cov(I). Por definicion, para cada

S
y X existe L F tal que y L. Por lo tanto F = X.
Demostraci
on.

Sea E X un conjunto completo de Cov(I) . Por definicion, para cada L I existe

y E tal que y
/ L. Por lo tanto E
/ I.
Sea F I un conjunto completo en Cof(I). Por definicion, para cada L I existe J F
tal que L J. Siempre que F cumpla dicha propiedad se dira que F es un subconjunto
cofinal en I.
Sea F I un conjunto completo en Cof(I) . Por definicion, para cada L I existe
S
J F tal que L + J. Por lo tanto F
/ I.

10

Definici
on 1.35. Sean X, I un ideal de X y un cardinal. Diremos que I es de cofinalidad
, abreviado cf (I) = , si existe K I un subconjunto cofinal en I de cardinalidad .
Definici
on 1.36. Sean A = (A , A+ , A) y B = (B , B+ , B) un par de relaciones de GaloisTukey. Diremos que la pareja = ( , + ) es un morfismo de A en B si cumple lo siguiente:
1. : B A ,
2. + : A+ B+ y
3. para cualesquiera b B y a A+ , si ( b) A a, entonces b B + (a).
Al morfismo se le denotar
a : A B. Ademas, dado un morfismo de A en B define
= (+ , ). Observe que es un morfismo de B en A al que llamaremos el morfismo
dual de .
Proposici
on 1.37. Sean A = (A , A+ , A) y B = (B , B+ , B) un par de relaciones de
Galois-Tukey. Si existe un morfismo : A B, entonces ||B|| 6 ||A||. M
as a
un, si sus
duales son relaciones de Galois-Tukey, entonces ||A || 6 ||B ||.
Demostraci
on.

Sea X A+ completo en A de cardinalidad ||A||. Entonces definimos

Y = + [X]. As obtenemos que |Y | 6 ||A|| por lo que basta demostrar que Y es completo
en B.
Sea b B . Como X es completo en A, sabemos que existe a X A+ tal que
(b) A a y por la definici
on de morfismo tenemos que b B + (a) y, claramente, + (a) Y .
Por lo tanto Y es completo y por definicion de norma ||B|| 6 |Y | 6 ||A||.
La desigualdad restante es consecuencia de que : B A .

Proposici
on 1.38. Sean I y J un par de ideales en X. Si I J, entonces || Cov(J)|| 6
|| Cov(I)||.
Demostraci
on. En vista de la proposicion 1.37, basta construir un morfismo de Cov(I) en
Cov(J). Definimos como la funcion identidad en X y + como la inclusion de I en J.
Trivialmente = ( , + ) es un morfismo.

11

Definici
on 1.39. Sean A y B un par de relaciones de Galois-Tukey. Definimos la composicion secuencial de A y B, A ; B, como la tripleta (A A+ B , A+ B+ , T ) donde
T (A A B ) (A+ B+ ) est
a definida por la formula siguiente.
Si x A y f A B , entonces (x, f ) T (a, b) si y solo si x A a y f (a) B b.
Proposici
on 1.40. Sean A y B un par de relaciones de Galois-Tukey. Entonces su composici
on secuencial A ; B = (A A+ B , A+ B+ , T ) es una relaci
on de Galois-Tukey.
Demostraci
on. Sean (x, f ) A A+ B . Como A es una relacion de Galois-Tukey, existe
a A+ tal que x A a. An
alogamente como B es una relacion de Galois-Tukey y f (a) B ,
existe b B+ de tal suerte que f (a) B b. Luego, (x, f ) T (a, b) y por ende, A ; B es una
relacion de Galois-Tukey.

Proposici
on 1.41. Sean A y B un par de relaciones de Galois Tukey con norma infinita y
tales que sus duales son relaciones de Galois-Tukey. Se cumplen los siguientes enunciados:
1. max{||A||, ||B||} = ||A ; B||.
2. min{||A ||, ||B ||} = ||(A ; B) ||.
Demostraci
on.

Dado que las normas de A y B son infinitas, se sigue max{||A||, ||B||} =

||A|| ||B|| y tanto A y B son no vacos. Mostremos que max{||A||, ||B||} = ||A ; B||
corroborando ambas desigualdades.
Sean A A+ y B B+ conjuntos completos de cardinalidad mnima para A y
B respectivamente. Probaremos que A B A+ B+ es un conjunto completo para
A ; B. Sea (x, f ) A

A B .

Como A es completo en A, existe a A de tal

suerte que x A a. Por otro lado, por definicion tenemos que f (a) B , luego, que B es
completo en B, existe b B tal que f (a) B b. En conclusion, (x, f ) T (a, b) y por ende,
||A ; B|| 6 max{||A||, ||B||}.
Sea C un conjunto completo de cardinalidad mnima para A ; B. Afirmamos que p1 [C]
y p2 [C] son conjuntos completos para A y B respectivamente. Sean x A y z B .
Definamos f = A+ {z}. As, (x, f ) A A+ B , dado que C es completo en A ; B,
existe (a, b) C tal que (x, f ) T (a, b), luego, x A a y z = f (a) B b. De x A a se sigue que

12

p1 [C] es completo en A, lo que implica ||A|| 6 ||A ; B||. Por otro lado, z B b implica que
p2 [C] es completo en B por lo que ||B|| 6 ||A ; B||. En suma, max{||A||, B||} 6 ||A ; B||, lo
que da por concluda la prueba de (1).
Para la prueba de (2) procedamos por reduccion al absurdo. Supongamos que ||(A ;
B) || < min{||A ||, ||B ||}, luego obtenemos ||(A ; B) || < ||A || y ||(A ; B) || < ||B ||.
Sea C completo en (A ; B) . Como |p1 [C]| 6 |C| < ||A ||, p1 [C] no puede ser completo
en A , luego, existe a A+ tal que para todo c p1 [C] se da (a A c), es decir, c A a.
Ahora, definamos D = {f (a) B : f p2 [C]}. As |D| 6 |p2 [C]| 6 |C| < ||B ||, lo que
implica que D no es completo en B , luego, existe b B+ tal que para toda f p2 [C]
se tiene (b B f (a)), que es lo mismo que f (a) B. Por definicion de relacion dual de
Galois-Tukey, ninguna respuesta en C satisface al desafio (a, b), lo cual es una contradicci
on
ya que supusimos el hecho de que C es completo en A ; B .

1.7

Topologa en A
Sea A un conjunto. Invocamos e : A A R la funcion definida por e(x, y) = 0 si

x = y y e(x, y) = 1 en otro caso. Es un hecho bien sabido que la funcion : A A R

tal que

(f, g) =

X
e(f (n), g(n))
n=0

2n+1

es una metrica en A acotada por 1.

A lo largo del texto cuando hagamos referencia a A visto como espacio topologico, lo
pensaremos equipado con la topologa generada por la metrica del parrafo anterior.
Recordardemos que, dado un conjunto A, si s < A, entonces [s] = {x A : s x}
y que los conjuntos de este tipo son una base para la topologa de A.
Proposici
on 1.42. M( ) y M( 2) son -ideales.
Demostraci
on. Es sabido que 2 es compacto y Hausdorff, por lo que es localmente compacto y Hausdorff, luego por el teorema 1.10 y por el lema 1.13 se obtiene que M( 2) es
-ideal.

13

Por otro lado si d es la metrica discreta en , d es completa y genera la topologa

discreta en , luego es completamente metrizable al ser producto numerable de espacios
completamente metrizables y separables, as por el teorema 1.10 y el lema 1.13 tenemos que
M( ) es un -ideal.

Lema 1.43. Sea h : 2 la funci

on dada por la f
ormula:
Para toda n , h(x)(n) = 1 si y s
olo si existe m tal que n =

Pm

i=0 x(i)

+ m.

Entonces h es un encaje topol

ogico y adem
as, 2 \ img(h) M( 2).
Demostraci
on.

Veamos que h es inyectiva. Sean x, y . Definimos n = min{m :

x(n) 6= y(n)} y sin perdida de generalidad supongamos que x(n) < y(n). Por eleccion de n
Pm
P
obtenemos para toda m < n la siguiente igualdad m
i=0 y(i) + m.
i=0 x(i) + m =
Pn
Definimos l = i=0 x(i) + n. Directo de la definicion sabemos que h(x)(l) = 1, luego,
basta verificar que h(y)(l) = 0 para concluir la inyectividad. Supongamos que h(y)(l) = 1.
Gracias a la argumentaci
on del p
arrafo anterior y por definicion tanto de h como de n,
P
existe r \ n + 1 con la propiedad l = ri=0 x(i) + r. Luego se sigue:

l=

n
X

x(i) + n <

i=0

n
X

y(i) + n 6

i=0

r
X

y(i) + n 6

i=0

r
X

y(i) + r = l

i=0

lo cual no es posible.
Sea D = {f : |f 1 [{1}]| < }. Veamos que 2 \ D = img(h).
Sea f img(h). As, existe x tal que h(x) = f . Definimos g por g(m) =
Pm

k=0 x(k)

+ m, la cual es claramente inyectiva por lo que |img(g)| = . Por definicion de

h se sigue que img(g) = f 1 [{1}], luego, f 2 \ D.

Sea f 2 \ D, luego, |f 1 [{1}]| = . Recursivamente definimos x por:
x(0) = min{m : f (m) = 1}
P
x(n + 1) = min{m : f ( ni=0 x(i) + n + 1 + m) = 1}
Sea f 1 [{1}] = {lk : k } una enumeracion estrictamente creciente. Probemos por
P
induccion sobre que para cada k se sigue lk = ki=0 x(i) + k. El caso base se obtiene
P
directamente de la definici
on de x. Para el sucesor, supongamos lk = ki=0 x(i) + k. Por
14

P
construcci
on x(k + 1) es el mnimo r tal que f ( ki=0 x(i) + k + 1 + r) = 1, as por
P
P
minimalidad tenemos que lk+1 = ki=0 x(i) + k + 1 + r = k+1
i=0 x(i) + k + 1. En resumen,
f 1 [{1}] = (h(x))1 [{1}] y por definicion de h obtenemos h(x) = f , luego, f img(h).
M
as a
un, el converso es trivialmente valido por lo que se infiere el enunciado h(x) = f
P
si y s
olo si {lk : lk = ki=0 x(i) + k} = f 1 [{1}] = (h(x))1 [{1}]. ()
Recordemos que existe una biyeccion, : () 2, al relacionar un subconjunto de
con su funci
on caracterstica, luego, |D| = |[D]| = |[A]< | = . En vista del lema 1.13
se concluye 2 \ img(h) = D M( 2).
Procedamos a verificar que h es un encaje topologico probando que h es abierta y
continua.
Sea s

< .

Veamos que h es abierta en img(h). Si s = , entonces [s] =

por lo que h[[s] ] = img(h), el cual es trivialmente abierto en img(h). Supongamos que
s es no vaco. Sea f h[[s] ] y z de tal suerte que h(z) = f y s z. Definimos
P
k = max dom(s) y n = ki=0 s(i) + k. Resta probar que img(h) [f  (n + 1)]2 h[[s] ].
Sea g img(h) [f  (n + 1)]2 . Luego, para todo r < n + 1 se tiene que f (r) = g(r) y existe
x tal que h(x) = g. Afirmamos que s x. Supongamos lo contrario, as existe l < k
P
mnimo con la propiedad x(l) 6= s(l), luego, t = li=0 x(i) + l < n por lo que f (t) = g(t).
Por otro lado, dado que s z, sabemos que:

t=

l
X
i=0

x(i) + l 6=

l
X

s(i) + l =

i=0

l
X

z(i) + l

i=0

as, por () y minimalidad de l, f (t) = h(y)(t) = 0 mientras que g(t) = h(x)(t) = 1, lo
que contradice el p
arrafo anterior. Por lo tanto g h[[s] ].
Para finalizar basta ver que h es continua. Procederemos probando que para cada
n , la funci
on pn h es continua. Sea n . Definimos U = (pn h)1 [{l}], con
P
l {0, 1}. Sea x U . Como el conjunto { ki=0 x(i) + k : k } es no acotado, existe
P
< .
m de tal suerte que n < m
i=0 x(i) + m = t. Hacemos s = x  m, luego, s
Veamos que [s] U . Sea y [s] . As, y  m = s = x  m y por ende para toda k < m
P
P
tenemos que ki=0 x(i) + k = ki=0 y(i) + k; mas a
un, para toda k < t, h(y)(k) = h(x)(k).
En particular, pn (h(y)) = h(y)(n) = h(x)(n) = pn (h(x)), luego, y U , lo que da por

15

terminada la prueba.
La prueba del siguiente lema puede ser consultada a detalle en [3, Proposicion 5.2,
pagina 13] .
Lema 1.44 (R.L. Baire).

es homeomorfo a P = R \ Q.

Lema 1.45. Sean X y Y un par de espacios topol

ogicos y f : X Y un encaje topol
ogico
tales que:
1. img(f ) = Z es denso en Y .
2. Y \ Z M(Y ).
Entonces:
1. Si E M(Z), entonces E M(Y ).
2. Si E M(Y ), entonces E Z M(Z).
3. M(Y ) = {f [L] E : L M(X) E Y \ Z}.
Demostraci
on. Observemos que (1) y (2) son consecuencias directas del lema 1.7.
Sean L M(X) y E Y \ Z. Como f es encaje topologico se sigue que f [L] M(Z),
luego, por (1), inferimos que f [L] M(Y ). Por hipotesis, Y \ Z M(Y ), as, gracias al
lema 1.13, E M(Y ) y f [L] E M(Y ).
Sea K M(Y ). En vista de (2), K Z M(Z), luego, f 1 [K] M(X). As
K = f [f 1 [K]] K \ Z.

Teorema 1.46. Sean X y Y un par de espacios topol

ogicos y f : X Y un encaje
topol
ogico tales que:
1. img(f ) = Z es denso en Y .
2. Y \ Z M(Y ).
Entonces M(X) y M(Y ) tienen los mismo coeficientes de ideales, es decir,
16

 cov(M(X)) = cov(M(Y )).

non(M(X)) = non(M(Y )).
cf(M(X)) = cf(M(Y )).
add(M(X)) = add(M(Y )).
Demostraci
on.

En consecuencia de la proposicion 1.34 basta comprobar por doble de-

sigualdad cada uno de los casos.

Sea F M(X) de cardinalidad mnima tal que X F. Definimos G = {f [E]
S
(Y \ Z) : E F}. Claramente G = Y . Por lema 1.45(3) obtenemos G M(Y ), luego,
cov(M(Y )) 6 |G| 6 |F| = cov(M(X). Sea G M(Y ) de cardinalidad mnima tal que Y G.
S
Definimos F = {f 1 [E] : E G}. Trivialmente, F = X. Por el lema 1.45(2) sabemos que
F M(X), as, cov(M(X)) 6 |F| 6 |G| 6 cov(M(Y )).
Sea E X de cardinalidad mnima tal que E
/ M(X). Veamos que f [E]
/ M(Y ). Si
f [E] M(Y ), por lema 1.45(2) f [E] M(Z), luego E M(X), lo cual es una contradicci
on.
Por lo tanto, non(M(Y )) 6 |f [E]| 6 |E| 6 non(M(X)). Sea E Y de cardinalidad mnima
tal que E
/ M(Y ). Afirmamos que f 1 [E]
/ M(X). Supongamos f 1 [E] M(X). Como
E \ Z Y \ Z, por 1.45(3) obtenemos E M(Y ), lo cual no es posible. En suma,
non(M(X) 6 |f 1 [E] 6 |E| 6 non(M(Y )).
Sea F M(Y ) un subconjunto cofinal de cardinalidad mnima.

Definimos G =

{f 1 [E] : E F}, por 1.45(2), G M(X). Veamos G es subconjunto cofinal en X. Sea

L M(X). Por 1.45(1), f [L] M(Y ), luego, existe S F de tal suerte que f [L] S, por lo
que aplicando f 1 en ambos lados de la contencion obtenemos L f 1 [S] pero f 1 [S] G,
as G es cofinal en X. Por lo tanto, cf(M(X)) 6 |G| 6 |F| 6 cf(M(Y )). Sea G M(X)
un subconjunto cofinal de cardinalidad mnima. Definimos F = {f [E] (Y \ Z) : E G},
por 1.45(3), F M(Y ). Verifiquemos que F es cofinal en Y. Sea L M(Y ). Por 1.45(2),
f 1 [L] M(X), luego, existe S G de tal suerte que f 1 [L] S y aplicando f en ambos
lados de la contenci
on obtenemos L Z f [S], as, L f [S] (Y \ Z). Por lo tanto,
cf(M(Y )) 6 |F| 6 |G| 6 cf(M(X)).
Sea F M(X) de cardinalidad mnima tal que

17

F
/ M(X). Definimos G = {f [E] :

S
S
E F}, por 1.45(3), G M(Y ). Comprobemos que G
/ M(Y ). Si G M(Y ), entonces,
S
S
S
por 1.45(2), f 1 [ G] M(X). Como f biyectiva obtenemos f 1 [ G] = F, lo que lleva
a una contradicci
on. Luego, add(M(Y )) 6 |G| 6 |F| 6 add(M(X)). Sea G M(Y ) de
S
cardinalidad mnima tal que G
/ M(Y ). Definimos F = {f 1 [E] : E G}, por 1.45(2),
S
S
S
F M(X). Demostremos que F
/ M(X). Si F M(X), por 1.45(1), f [ F] M(Y ).
S
S
Como G \ Z Y \ Z, por 1.13, G \ Z M(Y ). Por otro lado, por la naturaleza de f
S
S
sabemos que f [ F] = G \ Z, luego, por 1.45(3) conclumos G M(Y ), lo que es absurdo.
Por lo tanto, add(M(X)) 6 |F| 6 |G| 6 add(M(Y )).

Corolario 1.47. Las siguientes igualdades son ciertas.

1. cov(M) = cov(M( 2)) = cov(M( )).
2. non(M) = non(M( 2)) = non(M( )).
3. cf(M) = cf(M( 2)) = cf(M( )).
4. add(M) = add(M( 2)) = add(M( )).
Demostraci
on. Es una consecuencia directa del teorema 1.46 y los lemas 1.13, 1.43 y 1.44.

18

CAPITULO 2: TEOREMA DE ERDOS-SIERPINSKI

Lema 2.1. Existen M M y N N tales que M N = y M N = R.
Sea {qn }n una enumeracion de Q. Para cada n, j sea In,j = (qn
S
2(n+j+1) , qn + 2(n+j+1) ), as (In,j ) = 2(n+j) . Para cada n definimos Gn = i In,i
T
y N = n Gn .
Demostraci
on.

Es claro que para cualquier j se tiene que N Gj por lo que (N ) 6 (Gj ).

Sea  > 0, entonces existe j tal que  > 2j . Por otro lado tenemos las siguientes
S
desiguladades: (N ) 6 (Gn ) 6 ( In,j ) 6 j (In,j ) = j 2(n+j) = 2n < , as
como  es arbitrario, obtenemos que (N ) = 0 y N N.
Para finalizar basta notar que cada Gj es denso abierto por ser union de abiertos y
S
contener a Q, luego Fj = R\Gj es denso en ninguna parte, por lo que haciendo M = j Fj
tenemos que M M y por definicion M = R \ N y as se obtiene lo deseado.

Definici
on 2.2. Sea X un espacio topologico y E X.
Diremos que E es F si existe una familia de cerrados {En : n } tal que E =
S
n En .
Diremos que E es G si existe una familia de abiertos {En : n } tal que E =
T
n En .
Nota. Sean X un espacio topol
ogico y E X. Diremos que x X es punto de condensaci
on
de E si para todo U X se tiene que < |U E|
Proposici
on 2.3. Sea E R un G no numerable. Entonces existe C E no numerable
tal que C M N.
Demostraci
on.

Sean E =

Gn un G no numerable, B una base numerable de R y

F = {x E : x es de condensacion}.

F es no vaco, ya que de lo contrario para cada x E existe Bx B tal que x Bx y

S
|Bx E| 6 , por lo que T = {Bx : x E} B cubre a E pero |E| = | xE E Bx | 6 ,
lo cual es imposible, ya que E es no numerable.
F no tiene puntos aislados. Supongamos que x F es un punto aislado, as existe
V R tal que V F = {x}, como x F tenemos que < |V E| . Luego para cada y
V E \{x} existe By B tal que y By y |By E| 6 por lo que S = {By : y V E \{x}}
S
cubre a V E \ {x} pero < |V E| = |V E \ {x}| = | yV E\{x} By E| 6 , lo cual
es una contradicci
on.
Recursivamente definiremos una familia de intervalos {Is : s < 2} tales que:
1. Is G|s| ,
2. Is es un intervalo cerrado en R,
3. i < 2(Isa i Is ),
4. Isa 0 Isa 1 = ,
5. F int Is 6= y
6. (Is ) 6 3|s| .
Veamos el caso base. Notemos que por definicion F E G0 . Sea z F G0 ,
como G0 es abierto, existen a, b R tales que a < b y z [a, b] G0 . Definimos I =
[max{a, z 21 }, min{b, z + 21 ], las propiedades 1, 2 y 5 se cumplen por construccion
mientras que la 3 y 4 no se deben verificar porque 0 no tiene predecesor. Para la u
ltima
basta notar que como I [z 21 , z + 21 ] y por la monotona de tenemos que (I ) 6
([z 21 , z + 21 ]) = 1 = 30 .
Para el caso sucesor supongamos que tenemos definidos los intervalos {It : t n 2}
cumpliendo las 6 propiedades. Sea t n 2, por la propiedad 2 sabemos que F int It tiene
al menos un punto, por otro lado F no tiene puntos aislados por lo que existen x0 , x1
F int It G|t|+1 int It tales que x0 < x1 . Para cada i < 2 un Ji intervalo abierto tal que
xi Ji y Ji G|t|+1 int It , ya que G|t|+1 int It es abierto. Sabemos por la propiedad
6 que (It ) 6 3|t| , luego de forma analoga al caso base podemos encontrar intervalos
20

cerrados y ajenos Ita 0 y Ita 1 tales que para toda i < 2 se tiene que xi int Ita i Ita i Ji
y (Ita i ) 6 3(n+1) , lo cual da por terminada la recursion.
Notemos que si h 2 por la propiedad 3, {Ihn : n } es una familia de intervalos
T
cerrados anidados por lo que n Ihn es no vaco; por otra parte por la propiedad 6
T
obtenemos que n Ihn = xh ya que las medidas de los intervalos tienden a 0.
T
S
Sea C = n {Is : s n 2}. Afirmamos que es el conjunto deseado.
Veamos que para cada h 2, xh C. Sea n , basta observar que xh Ihn , ya
T
S
que xh m Ihm , y que Ihn {Is : s n 2}. Por otro lado si h, l 2 son funciones
distintas, existe n = min{r : h(r) 6= l(r)} y en vista de la propiedad 4 y la minimalidad
de n obtenemos que Ihn+1 Iln+1 = . De lo anterior se concluye que {xh : h 2} C
y < |{xh : h 2}| 6 C. Por lo tanto C es no numerable.
S
{Is : s n 2} es cerrado por ser union finita de cerrados, a su vez C es cerrado por ser
intersecci
on arbitrario de cerrados por lo que C = C. Observemos que para todo B B\{}
S
se tiene que B * C ya que existe m tal que (2/3)m < (B) pero C {Is : s m 2}
S
y por monotona, (C) 6 ( {Is : s m 2}) = (2/3)m . Por lo tanto int C = y (C) = 0,
que era lo requerido.

Lema 2.4. Sean M M y N N. Entonces existen F M y E N no numerables tales

que F R \ M y E R \ N .
Demostraci
on. En vista de la proposicion 2.3 basta encontrar F y E no numerables y G
contenidos en el complemento de M y N respectivamente.
S
Sea M M, as M = n Gn donde cada Gn es denso en ninguna parte en R.
Para cada n definimos Fn como el denso abierto contenido en R \ Gn brindado por
T
la proposici
on 1.6, as F = Fn R \ M es un G . Supongamos que F es numerable,
entonces F = {xi : i }, sabemos que si U R+ entonces U \ {xi : i < n} R+ por
lo que si definimos Hn = F \ {xi : i < n} tenemos que Hn R+ y Hn es denso ya que
U \ {xi : i < n} Fn 6= implica U Hn 6= . Debido al Teorema de Categora de Baire
T
tenemos que n Hn = es denso, lo cual es una contradiccion. Por lo tanto F es no
numerable.

21

Sean N N y  > 0, as por definicion existe una familia de intervalos abiertos

S
S
{In : n } tal que N n In n I n y n (In ) < , ademas (In ) = (I n ) por
T
lo que si definimos E = R \ I n = R \ I n R \ N , obtenemos un G de medida positiva,
lo cual implica que debe ser no numerable de lo contrario tendra medida cero.

Proposici
on 2.5. Sea I un -ideal en X tal que cf (I) = 1 y sea L I [X]1 . Entonces
existe G I tal que G = {G }1 es una cadena cofinal en I y G0 = L.
Demostraci
on.

Sea I un -ideal tal que cf (I) = 1 y L K [X]1 . Luego existe

F = {F }0<1 cofinal en K, as F0 = F {L} = {F }1 , donde F0 = L, es cofinal

S
en K. Definimos para cada 1 a G = 6 F , como I es -ideal obtenemos que
S
S
G = {G }1 I y si < < 1 entonces G = 6 F 6 F = G por lo que G
es una cadena. Sea E I, como F0 es cofinal, existe F F0 tal que E F G . Por lo
tanto G es cofinal en I.

Lema 2.6. Sean X y K tales que |X| = 1 y:

1. K es un -ideal en X,
2.

K = X,

3. cf (K) = 1 y
4. E KF K(E F = |F | = 1 ).
Entonces para cada L K [X]1 existe una familia {X : 1 } K de conjuntos
tal que:
1. X0 = L,
2.

X = X,

3. Si < < 1 , entonces X X = ,

4. < 1 (|X | = 1 ) y
5. E X(E K < 1 E

<

X .
22

Demostraci
on. Sean X, K como en las hipotesis y L K [X]1 . En vista del proposici
on
anterior, existe G = {G } una cadena cofinal en K tal que L = G0 . Para cada
S
definimos R = G \ < G .
Veamos que B = { 1 : < |R |} es no acotado, para lo cual basta ver que
|B| = 1 ya que cf (1 ) = 1 . Supongamos que B es numerable, as sup/B = < 1
S
por lo que si > entonces |R | 6 . Sea R = < R , as R K por ser -ideal, as
que por la propiedad 4 de las hipotesis, existe A K tal que A R = y |A| = 1 . Sea
= min{ < 1 : A G }, as 6 . Por otro lado, directo de la definicion obtenemos
S
S
que G = 6 R , luego A 66 R y aplicando el principio de casillas debe existir
< 1 tal que 6 6 y |R | = 1 ya que |A| = 1 lo cual implica que B lo cual es
una contradicci
on dado que > = sup B. Por lo tanto B es no acotado en 1 .
Sea : 1 B tal que () = min(B \ []), as como |B| = 1 y es estrictamente
creciente, tenemos que es cofinal.
Veamos que {G() : 1 } es cofinal en K. Sea E K, como G es cofinal en K,
existe 1 tal que E G ; por otro lado, como es cofinal en 1 , existe < 1 tal que
< () y como G es cadena obtenemos que E G G() .
S
Definimos para cada 1 a X = G() \ < G() , as por la propiedad 1 de las
hipotesis tenemos que {X }1 K.
Veamos que {X }1 cumple lo requerido:
Como R0 = G0 \ = G0 = L y L no numerable, entonces 0 B; por otro lado como
es estrictamente creciente, necesariamente (0) = 0 y asi se infiere que X0 = G(0) \ =
G0 = L
Sea x X, as por la propiedad 2 de las hipotesis, existe C K tal que x C
pero como {G() : 1 } es cofinal, existe < 1 tal que C G() por lo que
S
T = { < 1 : C G() } =
6 y as x Xmin T . Por lo tanto 1 X = X.
Sean , 1 tales que < , as directo de las definiciones obtenemos que X
S

<

G() X \ X . Por lo tanto {X }<1 es una familia de conjuntos ajenos por pares.

Sea 1 , como es cofinal en 1 y {() : < } { < 1 : < ()}

obtenemos que R X pero como () B, por definicion de B se da que |R() | = 1 .
Por lo tanto |X | = 1 .
23

S
Sea E X, si existe < 1 tal que E < X entonces como K es -ideal
S
S
< X K y como E
< X entonces E K. Por otro lado si E K, como
S
{G() : 1 } es cofinal, existe < 1 tal que E G() = < X .
Proposici
on 2.7. Sean X no numerable y dos -ideales K y J de X que cubran a X. Si
K K y J J son tales que K J = X y K J = , entonces K y J son no numerables.
Sean X, K K y J J como en las hipotesis. Supongamos que K es
S
numerable, as como K X J, para cada k K existe Jk J tal que k Jk . Por
S
S
hipotesis J es -ideal, por lo que kK Jk J y a su vez como K kK Jk , K J y
Demostraci
on.

de nuevo por propiedades de ideal obtenemos que X = K J J, lo cual contradice al

teorema 1.10. Un argumento an
alogo basta para verificar que J es no numerable.
Lema 2.8. Sean X un conjunto de cardinalidad 1 y dos clases, K y J, tales que cumplan
las hip
otesis del lema 2.6 . Supongamos adicionalmente que existen K K y J J tales que
K J = X y K J = . Entonces existe f : X X tal que f = f 1 y f [E] K E J.
Demostraci
on.

Sean X, K K y J J como en la hipotesis. As por la proposicion

anterior K y J son no numerables por lo que aplicando el lema 2.6 a las parejas K, K
y J, J obtenemos {X }1 y {Y }1 tales que cumplen las conclusiones del lema 2.6.
Luego, por la conclusi
on 1 tenemos que X0 = K y Y0 = J y por la conclusion 2 y 3 se
S
infiere que las familias son cubiertas de X ajenas por pares por lo que K = 0<<1 Y
S
S
S
y J = 0<<1 X pero por hip
otesis X = K J = 0<<1 Y 0<<1 X y como
K J = la colecci
on Z = {Z : (Z = X Z = Y ) \ 1} disjunta por pares y
cubre a X.
Por la conclusi
on 4 del lema 2.6, cada elemento de Z tiene cardinalidad 1 , as para cada
1 \ 1 fijamos f : X Y biyectiva. Sea F = {f : 1 \ 1} {f1 : 1 \ 1},
como Z es disjunta por pares concluimos que F es un sistema compatible de funciones
S
biyectivas por lo que f = F es funcion biyectiva, por otro lado como Z cubre a X y
S
dom(f ) = {dom(g) : g F} = Z , obtenemos que f : X X.
S
Veamos que f cumple lo deseado. Primero observemos que f 1 = {g 1 : g F} =
S 1
S
({f : 1 \ 1} {(f1 )1 : 1 \ 1}) = ({f1 : 1 \ 1} {f :
24

S
1 \ 1}) = F = f . En vista de la conclusion 5, si E X entonces E K 1 (E
S
S
S
S
< X ) f [E] f [ < X ] f [E]
< f [X ] f [E]
< Y f [E] J, lo
que da por terminada la prueba.

Teorema 2.9 (Teorema de Erdos Sierpinski). Suponiendo la Hip

otesis del Continu, existe
f : R R tal que f = f 1 y f [E] M E N.
Demostraci
on. Los unitarios son magros y nulos por lo que M y N cubren a X, as debido
a los lemas 2.1, 2.4 2.8 y el teorema 1.24 basta ver que cf (M) = 1 = cf (N)
Pendiente.

25


CAPITULO 3: EL DIAGRAMA DE CHICHON
Lema 3.1. Sea I un ideal sobre X con

I = X. Entonces se cumplen las siguientes

desigualdades:
1. add(I) 6 cov(I) 6 cf(I).
2. add(I) 6 non(I) 6 cf(I).
Demostraci
on. Definimos : X I mediante (x) = x para toda x X y + : I I
mediante + (E) = E para cada E I.
Afirmamos que : Cof(I) Cov(I) es morfismo. En efecto, si x X y E I
satisfacen (x) E, entonces x E, es decir, x + (E).
Por la proposici
on 1.37 obtenemos que

cov(I) = || Cov(I)|| 6 || Cof(I)|| = cf(I)

y
add(I) = || Cof(I) || 6 || Cov(I) || = non(I)
Ahora fijemos + : I X, una funcion de eleccion para {X \ E : E I} y denotemos
por : I I a la funci
on identidad correspondiente.
Veamos que = ( , + ) es un morfismo entre Cov(I) y Cof(I) . Si E, F I satisfacen
(E) F , entonces + (F ) X \ F X \ E y por ende, E 63 + (F ).
Analogamente, aplicando la proposicion 1.37 obtenemos las siguientes desigualdades

non(I) 6 || Cov(I) || 6 || Cof(I)|| = cf(I)

y
add(I) = || Cof(I) || 6 || Cov(I)|| = cov(I)

Veamos otra aplicaci

on de la proposicion 1.37.
Teorema 3.2. b 6 d
Demostraci
on.

Sea :

la funcion dada por (h) = h + 1, esto es, para

cada h (h) : esta definida mediante (h)(n) = h(n) + 1. Por otro lado,
denotemos por + : a la funcion identidad correspondiente.
Debido a la proposici
on 1.37 basta verificar que = ( , + ) es morfismo entre D y
D . Supongamos que h, g son tales que (h) 6 g. Entonces {i : h(i)+1 > g(i)}
es finito y, por ende, su complemento {i : h(i) < g(i)} es infinito, esto es, h 6> g. As,
h 6> + (g).

Proposici
on 3.3. Sea D0 = (P , P , /). Entonces D0 y D0 son relaciones de Galois-Tukey.
M
as a
un, ||D0 || = d y ||D0 || = b.
Demostraci
on. Primero veamos que trivialmente D0 es una relacion de Galois-Tukey dado
que para toda P se tiene que / . Sea 0 P y {In : n } una enumeraci
on
adecuada de 0 . Definimos 1 = {Jn = I2n I2n+1 : n }. Facilmente se corrobora que
1 P ; adem
as para toda n, m , Jm 6 In , luego, P i0 6 .1 . Por lo tanto, D0 es una
relaci
on de Galois-Tukey.
En vista del teorema 1.37 basta dar los morfismos en ambas direcciones para concluir
la igualdad de normas.
Definimos : D0 D como sigue:
+ : P tal que si = {In = [in , in+1 ) : n }, entonces + () = f donde
siempre que x In se da f (x) = in+2 1.
: P tal que si g , entonces (g) = g = {Jn = [jn , jn+1 ) : n }
cumple que si x 6 jn se da g(x) 6 jn+1 .
Veamos que en efecto es morfismo. Sean P y g tales que (g) / , es
decir, . g . Luego, si = {Jn = [jn , jn+1 ) : n } y g = {In = [in , in+1 ) : n },
27

entonces existe m tal que para toda k > m existe l con la propiedad Jl Ik . Por
S
otro lado como g = si r > in+1 1, existe p \ n tal que r Ip y por ser dominado
por existe s tal que Js Ip+1 por lo que r < js y por definicion de tenemos que
g(r) 6 js+1 6 im+2 1 = f (r) = + ()(r), que era lo requerido.
Para el morfismo de regreso basta definir : D D0 de la siguiente forma:
+ =
= +
Para verificar que es morfismo sean P y g tales que () = + () =
f 6 g, por lo que existe l tal que para toda k > l se tiene que f (k) 6 g(k). As, si
= {Jn = [jn , jn+1 ) : n } y g = {In = [in , in+1 ) : n }, por definicion tenemos que
para toda r si l < ir entonces f (ir ) 6 g(ir ) 6 ir+1 , luego si ir Jm y ir > l entonces
Jm+1 Ir . Por lo tanto g . y as / g , que era lo deseado.

Definici
on 3.4. Sean x, y 2 y P . Diremos que x es -compatible con y, denotado
x
= y, si el conjunto {I : x  I 6= y  I} es finito. Ademas el conjunto de todos los
puntos de 2 que son -compatibles con x sera denotado por [x, ] = {y 2 : x
= y}.
Lema 3.5. El conjunto { 2 \ [x, ] : (x, ) 2 P } es cofinal en M( 2).
Demostraci
on. Primero verifiquemos que efectivamente es un subconjunto de M( 2). Sea
(x, ) 2 P y sea {In }n la enumeracion adecuada de . Definamos, para cada k ,
Uk = {y 2 : n \ k (y  In = x  In )}.
Afirmamos que cada Uk es abierto. Sea y Uk . As existe n > k tal que x In = y In .
Si m = max In + 1, entonces [y  m] es un abierto en 2 que contiene a y; ademas, la
contencion In m implica que si z [y  m], entonces z  In = y  In = x  In , es decir,
z Uk .
Ademas cada Uk es denso. Debemos verificar que [s] Uk 6= para cada s

< 2.

Definimos y = s (x  \ |s|). Como P la coleccion {min In }n es un subconjunto

no acotado de , as existe m tal que min Im > |s| y haciendo n = m + k obtenemos

28

que |s| < min Im 6 min In , luego In \ |s| y en suma, x In = x \|s| = y In . Por lo
tanto y [s] Uk .
Un argumento rutinario muestra que
S

k ( 2

Uk [x, ] y de este modo, 2 \ [x, ]

\ Uk ) M( 2). As, [x, ] M( 2).

2.

Por definicion existe {Gn }n , una sucesi

on
S
de subconjuntos densos en ninguna parte en 2, con M = n Gn . Para cada n ,
S
S
Fn = i6n Gi es un subconjunto denso en ninguna parte de 2 y ademas, M = i Fi .
Sea M un subconjunto magro de

Adicionalmente, para cada m fijemos um

on de
i i<2m , una enumeraci

m 2.

Queremos definir x 2 y P tales que M 2 \ [x, ], para lo cual construiremos

por recursi
on dos sucesi
ones {ti : i } y {In : n } que cumplan lo siguiente para
cualquier n .
1. In es un intervalo finito no vaco en .
2. 0 I0 .
3. min In+1 = max In + 1.
4. si m(n) = sup

i<n Ii

+ 1, entonces existen {in : i < 2m(n) } y {tni : i < 2m(n) } de tal

modo que lo siguiente es cierto para cada i < 2m(n) .

(a) Jin es un intervalo finito no vaco en .
(b) 0 J00 y m(n) = min J0n siempre que n > 0.
n = max J n + 1.
(c) Cuando i + 1 < m(n) 2, se tiene la igualdad min Ji+1
i

(d) tni es una funci

on de Jin en 2.
(e) Ning
un elemento de Fn extiende a la funcion uni
5. In =

{Jin : i < 2m(n) } y tn =

n
j6i tj .

{tni : i < 2m(n) }.

Sea n de tal forma que tanto {Ii : i < n} como {ti : i < n} han sido construidos
S
satisfactoriamente y hagamos m = sup i<n Ii + 1.
Construiremos recursivamente a las sucesiones requeridas en (4). Para esto suponga
que k < 2m es tal que las sucesiones {Jin : i < k} y {tni : i < k} ya fueron obtenidas.
29

Como consecuencia de las condiciones (4a)-(4d) y de nuestra definicion de m se deduce que

S
n
< 2.
s = um
k i<k ti es un elemento de
Luego, podemos aplicar la proposicion 1.5(2) para fijar v

< 2

de tal forma que

[v] [s] \ Fn .
En particular, s v y, de hecho, podemos suponer que s v. Ahora, si n = k = 0
hacemos t00 = v y J00 = [0, |v|]. En caso contrario, definimos Jkn = [max m, |s|, |v|] y
tnk = v  Jkn . Esto completa nuestra construccion de las sucesiones {Jin : i < 2m } y
{tni : i < 2m }.
Naturalmente, el resto es definir a In y tn como lo dicta la propiedad (5). Esto nos
S
garantiza que existen {Ii : i } y {ti : i }. Observe que si hacemos x = i ti y
= {In }n , entonces (x, ) 2 P . Comprobemos que M [x, ] = .
Sean y M y n arbitrarios. Probaremos que y
/ [x, ] al mostrar que existe
k \ n tal que x  Ik 6= y  Ik . En primer lugar, y Fi para alg
un i . Como
la sucesion {m(j) : j } es estrictamente creciente, existe k de tal suerte que
i + n < k 6 m(k). Ahora fijemos l < 2m(k) con y  (m(k)) = um
l (k) e invoquemos la
i
h
S
condicion (4e) para obtener (y  (m(k)) j6k tkj Fk = .
Lo anterior, aunado a y Fi Fk , implica que existe j 6 k con y  Jjk 6= tkj = x  Jjk .
Finalmente, la contenci
on Jjk Ik nos dice que y  Ik 6= x  Ik .

Proposici
on 3.6. Para cualesquiera x, x0 2 y , 0 P se tiene que las condiciones
siguientes son equivalentes.
1. [x, ] [x0 , 0 ].
2. El conjunto {I : (J 0 (J I x  J = x0  J))} = .
Demostraci
on. Suponga que {In : n } y {Jm : m } son las enumeraciones adecuadas
de y 0 , respectivamente.
Hagamos A = {n : m (Jm In x  Jm = x0  Jm )}.
La implicaci
on directa ser
a abordada por contrapositiva. Supongamos que A es infinito
y definamos f : mediante f (i) = min A \ i, para cada i . Entonces, i 6 f (i) y
ademas, si m , se tiene que la contecion Jm If (i) implica que x  Jm 6= x0  Jm .
30

Hagamos, para cada i , Ei = {m : Jm If (i) } y sea E = {k : Ek 6= }.

Analizaremos dos casos.
Primeramente suponga que E es infinito, construya recursivamente {ei : i } E
de tal modo que f (ei ) < ei+1 < f (ei+2 ) para cada i y haga L = {f (ei ) : i }.
Note que si i < , entonces las desigualdades f (e2i ) < e2i+1 < f (e2(i+1) ) son ciertas y en
consecuencia.
Para todo j L, {j 1, j + 1} L = . ()
Denotemos por y al u
nico elemento de 2 que satisface y  Ik = (1 x0 )  Ik , para
cada k \ L, y y  Il = x  Il si l L. Como {f (e2i+1 ) : i } \ L, deducimos que
y [x, ]. Mostremos que y
/ [x0 , 0 ]. Sea m . Si l L satisface que Jm Il , entonces
nuestra definici
on de y produce: x  Jm = (x  Ij )  Jm = (y  Il )  Jm = y  Jm ; por otro
lado, la contenci
on L A implica que x  Jm 6= x0  Jm y as y  Jm = x0  Jm .
Ahora supongamos que Jm * Ik para cada k L. Afirmamos que existe n \ L
con Jm In 6= . En efecto, como es una particion de , Jm Ip 6= para alg
un p ;
naturalmente, si p
/ L, hacemos n = p, pero si p L, entonces observemos que, po nuestra
suposici
on, Jm * Ip y en consecuencia, Jm Iq 6= para alg
un q {p 1, p + 1}; luego, ()
implica que q
/ L y proponemos n = q.
Del p
arrafo anterior se sigue que existe i Jm In y as, y(i) = 1 x0 (i), es decir,
y  Jm 6= x0  Jm .
En resumen, {m : y  Jm = x0  Jm } = y por ende, y [x0 , 0 ]. Esto concluye el
caso en que E es infinito.
Cuando E es infinito, E 0 = {i : Ei = } es infinito. Analogamente al caso anterior,
existe {ei : i } E 0 de tal modo que f (ei ) < ei+1 < f (ei+2 ) para cada i . Hagamos
L0 = {f (e2i ) : i } y denotemos por y al u
nico elemento de 2 que satisface y  Ik = x  Ik
para todo k L0 y y  Ik = (1 x0 )  Ik siempre que k \ L0 . Note que si i < , entonces
las desigualdades f (e2i ) < e2i+1 < f (e2(i+1) ) son ciertas y en consecuencia.
Para todo j L0 , {j 1, j + 1} L = . ()
Note que la elecci
on de y implica que y [x, ]. Mostremos que y
/ [x0 , 0 ].
Sea m . Asuma que Jm Il 6= para alg
un l L0 . Como L0 E 0 , El = y as,
existen i Jm \ Il y k {l 1, l + 1} de tal modo que i Ik . Ahora, si k
/ L0 , entonces
31

y(i) = 1 x0 (i) y por ende, y  Jm 6= x0  Jm . Por otro lado, si k L0 , por () obtenemos

que l
/ L0 lo cual es una contradicci
on.
Si por el contrario, para toda l L0 se da que Jm Il = , como Jm es finito, existe
S
K [ \ L0 ]< tal que Jm kK Ik , pero para toda k K sabemos que y Ik = (1 x0 ) Ik
por lo que y Jm 6= x0 Jm . En conclusi
on, y
/ [x0 , 0 ]. Esto concluye nuestra prueba de que
(1) implica (2).
Conversamente, supongamos que A es finito. Sea y [x, ]. Luego B = {n :
y In = x In } es infinito, por lo que A B 6= . Por otro lado si s A B tenemos que
existe m tal que Jm Is y x0 Jm = x Jm = y Jm y as A B {n : y Jn = x0 Jn }.
Por lo tanto y [x0 , 0 ].

Corolario 3.7. Sean x, x0 2 y , 0 P . Si [x, ] [x0 , 0 ], entonces 0 . .

Demostraci
on.

Sean = {In : n } y 0 = {Jn : n } por la proposicion anterior

obtenemos que existe l y f : \ l tal que para toda n \ l se da que Jf (n) In ,

luego 0 . .

Definici
on 3.8. Denotaremos por CR al producto 2 P .
Definici
on 3.9. Definamos las relaciones binarias R CR CR y S 2 CR como
sigue.
Para cualesquiera (x, ), (x0 , 0 ) CR, (x, ) R (x0 , 0 ) si y solo si [x0 , 0 ] [x, ].
Si y 2 y (x, ) CR, entonces y S (x, ) si y solo si y
/ [x, ].
Lema 3.10. Con la notaci
on de la definici
on anterior, tanto Cof 0 (M) := (CR, CR, R) como
Cov0 (M) := ( 2, CR, S) son relaciones de Galois-Tukey. M
as a
un, sus duales tambien son
relaciones de Galois-Tukey.
Demostraci
on.

Sean (x, ) CR y z 2. El hecho de que [x, ] [x, ] nos otorga

inmediatamente que Cof 0 (M) es una relacion de Galois-Tukey. Por otro lado trivialmente
se tiene que (1 z) 2 y para toda P , z
/ [(1 z), ]. Por lo tanto, Cov0 (M) es una
relacion de Galois-Tukey.
32

Sea (x, ) CR. Claramente para cualquier y 2 y 0 P se tiene que y [y, 0 ],

en particular x [x, ], lo que implica que Cov0 (M) es relacion de Galois-Tukey. Por
el razonamiento anterior sabemos que (1 x) [(1 x), ] y (1 x)
/ [x, ], luego,
[x, ] 6 [(1 x), ]. Como ((1 x), ) CR, conclumos que Cof 0 (M) es una relaci
on de
Galois-Tukey.

Proposici
on 3.11. Las siguientes igualdades son v
alidas.
1. || Cof(M)|| = || Cof 0 (M)||
2. || Cov(M)|| = || Cov0 (M)||
3. || Cof(M) || = || Cof 0 (M) ||
4. || Cov(M) || = || Cov0 (M) ||
Demostraci
on. En vista de la proposicion 1.37 basta dar morfismos en ambas direcciones
para los casos (1) y (2) para terminar la prueba.
Gracias al lema 3.5 sabemos que para todo (x, ) CR se da que 2 \ [x, ] M y que
dado un M M existe (xM , M ) CR tal que M 2 \ [xM , M ]. Definimos el morfismo
: Cof 0 (M) Cof(M) como sigue:
+ : CR M donde + ((x, )) = 2 \ [x, ].
: M CR donde (M ) = (xM , M ).
Directamente, si [x, ] [xM , M ], se sigue que M 2 \ [xM , M ] 2 \ [x, ], lo
cual verifica que es morfismo.
Ahora definimos el morfismo faltante : Cof(M) Cof 0 (M) de la siguiente forma:
+ : M CR donde + (M ) = (xM , M ).
: CR M donde ((x, )) = 2 \ [x, ].
Basta observar que las contenciones 2\[x, ] M 2\[xM , M ] implican [xM , M ]
[x, ] para obtener que es morfismo. Por lo tanto || Cof(M)|| = || Cof 0 (M)||.
Para la igualdad siguiente definimos el morfismo : Cov(M) Cov0 (M) por:
33

 + : M CR donde + (M ) = (xM , M ).
: 2 2 como la identidad en 2.
Trivialmente se verifica que es morfismo pues si x M , entonces x
/ [xM , M ].
Para el morfismo de vuelta definamos : Cov0 (M) Cov(M) de la siguiente manera:
+ : CR M donde + ((x, )) = 2 \ [x, ].
: 2 2 nuevamente como la identidad en 2.
El hecho de que sea morfismo se deduce de que la pertenencia x [x0 , ] implica
x
/ 2 \ [x0 , ].

Proposici
on 3.12. ||D0 || 6 || Cof 0 (M)||
Demostraci
on. Gracias a la proposici
on 1.37 basta con definir un morfismo : Cof 0 (M) =
(CR, CR, R) D0 = (P , P , /) de la siguiente manera:
+ : CR P tal que si (x, ) CR entonces + ((x, )) = .
: P CR tal que si P entonces () = (1 , ).
Veamos que es morfismo. Sean P y (x, 0 ) CR tales que () = (1 , ) R
(x, 0 ), es decir, [x, 0 ] [1 , ] por que por corolario 3.7 obtenemos que / 0 .

Teorema 3.13. d 6 cf(M) y add(M) 6 b

Demostraci
on. Gracias a las proposiciones 1.37, 3.3, 3.11 y 3.12 obtenemos lo siguiente:

d = ||D|| = ||D0 || 6 || Cof 0 (M)|| = || Cov(M)|| = cov(M)

y

add(M) = || Cof(M) || = || Cof 0 (M) || 6 ||D0 || = ||D || = b.

34

Definici
on 3.14. Definimos K = {E : E es compacto en }.
Definici
on 3.15. Sea g . Definimos los siguientes conjuntos:
1. g = {f : f 6 g} =

n [0, g(n)].

2. g = {f : f 6 g}.
Proposici
on 3.16. G = {g : g } es un subconjunto cofinal en K .
Demostraci
on. Desde que un subespacio de un espacio discreto es compacto si y solo si es
finito, el teorema de Tychonoff implica que un subconjunto A es compacto si y s
olo
si es cerrado y cubierto en un producto de subconjuntos finitos de . Luego, los conjuntos
de la forma g , con g , son compactos y todo compacto esta contenido en un conjunto
de esta forma. Sea g . Definimos para cada s < , gs = s (g  ( \ |s|)). Luego,
S
gs es compacto en , por lo que {gs : s < } K . Como siempre que h 6
S
se da que existe s < tal que h gs , se sigue g = {gs : s < } y por ende,
{g : g } K . Sea N K . Por definicion existen {Kn : n } compactos en
S
de tal suerte que N n Kn . Sabemos que para toda n existe fn tal que
Kn fn . Como b > , existe h de manera que para toda n , fn 6 h, luego,
S

n fn h . En resumen, G = {g : g } K y G es cofinal en K .

Proposici
on 3.17. K es un -ideal.
Demostraci
on. Primero notemos que cada compacto en es denso en ninguna parte, en
vista de que cada compacto es cerrado basta verificar que su interior es vaco. Si K es
compacto de tal suerte que int K 6= , entonces existe s < tal que [s] K. Desde que [s]
Q
es cerrado y contenido en un compacto, [s] debe ser compacto. Por otro lado, [s] = i Ai ,
donde Ai = {s(i)} si i 6 |s| y Ai = si i > |s|, as, gracias al razonamiento de la prueba
anterior [s] no puede ser compacto, una contradiccion. Por la proposicion 1.42 sabemos que

es un espacio de Baire, luego, por el teorema 1.10,

/ K . Claramente es compacto

en , por lo que K .
Sean I K y L I. Luego, existe {In : n } de tal suerte que I =
S
Haciendo {Ln = In L : n }, obtenemos n Ln = J y por ende, L K .
35

n In .

Sea J = {Kn : n } K . Luego, para cada n existe Kn de tal suerte que

S
S
S
S
S
|Kn | = y Kn = Kn . As, J = n ( Kn ). Por lo tanto, J K .

Lema 3.18. Los siguientes son ciertos.

1. cov(K ) = d.
2. non(K ) = b.
Demostraci
on. Sea = cov(K ). Por la proposicion 1.34, existe F K de cardinalidad
S
de tal suerte que F = . Como G es cofinal en K , para cada L F existe fL tal
S
que L fL . Veamos que {fL : L F } es dominante. Sea g . Como F = , existe
N F tal que g N , luego, dado que N fN , tenemos g fN y por ende, g 6 fN .
Por lo tanto, d 6 |{fL : L F }| 6 |F | = .
Sea F de cardinalidad d, dominante. Sabemos que para cada f F , f K .
S
Veamos que {f : f F } = . Sea g . Como F es dominante, existe h F de tal
S
suerte que g 6 h, as, por definici
on tenemos que g h , por lo que {f : f F } = .
Por lo tanto, 6 |{f : f F }| 6 |F | = d.
Sea = non(K ). Por la proposici
on 1.34, existe L de cardinalidad de tal suerte
que L
/ K . Como L
/ K , tenemos que para todo N K , L 6 N , en particular para
toda f , X 6 f . Demostremos que L es no acotado. Si L es acotado, existe h
de modo que para toda f L, f 6 h, luego, por definicion, L h , una contradiccion.
Por lo tanto, b 6 |L| = .
Sea L no acotado en de cardinalidad b. Si L K , existe h de tal suerte que
L h y por definici
on, h acota a L, lo cual es un absurdo, luego, L
/ K . Por lo tanto,
6 |L| = b.

Lema 3.19. K M( )
36

Demostraci
on. Por la naturaleza de K , basta probar que para cada h , h es denso
en ninguna parte.
Sea h . Directo de su definicion se sabe que el conjunto h es cerrado, as, resta
verificar que int h = . Sea s < . Definimos g como sigue:
g  |s| = s
g(|s|) = h(|s|) + 1
g  \ (|s| 1) = h  \ (|s| 1)
Luego, g [s] y g 6< h, despues, g
/ h . Por lo tanto, [s] 6 h y por ende, int h = .

Corolario 3.20. b 6 non(M) y cov(M) 6 d

Demostraci
on. En vista de los lemas 3.18 y 3.19, las desigualdades se siguen de aplicar la
proposici
on 1.38 a K y .

Teorema 3.21. Los siguientes son ciertos.

1. cf(M) = max{non(M), d}
2. add(M) = min{cov(M), b}
Demostraci
on. Debido a los resultados del lema 3.1 y del teorema 3.13, nos resta comprobar
la desigualdad 6 de (1) y > de (2). Para dicho objetivo utilizaremos la proposicion 1.41,
por lo que basta definir un morfismo, , de (Cov0 (M)0 ; D0 en Cof 0 (M).
Definimos el morfismo mediante:
+ : 2 P = CR CR como la funcion identidad en CR.
: CR CR

P como (z) = ((z), (z)), con : CR CR es la identidad

en CR y donde si y 2 y z = (x, ), entonces : CR

casos:
Si y
/ [x, ], entonces (z)(y) = .
37

P queda definida por

 Si y [x, ], existen {In : n } de tal suerte que para toda n ,

x  In = y  In . Definimos recursivamente (z)(y) = {Jn : n } haciendo
J0 = [0, max I0 + 1) y, dado Jn , hacemos Jn+1 = [max Jn + 1, max In+1 + 1).
Corroboremos que efectivamente es morfismo. Sean z = (x, ) CR, y 2 y 0 P
de tal suerte que y [x, ] y 0 . (z)(y). Hagamos (z)(y) = 00 , para finalizar basta
probar que (x, ) R (y, 0 ), es decir, [y, 0 ] [x, ]. Por construccion de obtenemos que
para todo J 00 existe I tal que I J y x  I = y  I. Como 0 . 00 , el conjunto
{I 0 : J 00 (J I)} es infinito , y por ende, {I 0 : J (J I x  J = y  J)}
tambien lo es. Ahora, como y [x, ], se sigue que {I 00 : (J (J I y 
J = x  J))} es finito. Por lo argumentado anteriormente inferimos que {I 0 : (J
(J I y  J = x  J))} es finito (?), de modo que gracias a la proposicion 3.6 se sigue
[y, 0 ] [x, ].

Lema 3.22. Los siguientes son ciertos.

1. cov(N) 6 non(M).
2. cov(M) 6 non(N).
Demostraci
on.

Sea P tal que si {In : n } es una enumeracion adecuada de ,

entonces para toda m , |Im | = m + 1. Claramente es la u

nica particion con esa
propiedad.
Sea x

2.

Definamos para cada n , Bn = {y

: x  In = y  In }.

Recordando la observaci
on 1.4, (Bn ) = 2(n+1) para cada n . Entonces, haciendo
S
Ak = {y 2 : l \ k(y  Il = x  Il } obtenemos que Ak =
n=k , luego, (Ak ) 6
P
P (n+1)
P
n = 2k 21 = 2(k+1) .
= 2k
n=k (Bn ) =
n=k 2
n=1 2
T

Veamos que [x, ] =

k=0 Ak . Sea y [x, ]. Luego, el conjunto {m : y 
Im = x  Im } es infinito y por ende, no acotado, por lo que para toda k existe
l {m : y  Im = x  Im } de tal suerte que k < l. Por lo tanto y Ak para todo k .
T
Sea y
, para toda k existe l \ k de tal suerte que x  Il = y  Il ,
k=0 Ak . As
luego, el conjunto {m : y  Im = x  Im } es no acotado y por ende, infinito. Por lo
tanto y [x, ].
38

En consecuencia de las proposiciones 1.37 y 1.32 basta definir un morfismo de

Cov(N) en Cov(M).
Por lo argumentado al inicio de la prueba y el lema 3.5, sabemos que si x 2, entonces
[x, ] N y 2 \ [x, ] M. Definimos P si : Cov(N) Cov(M) mediante:
: 2 N, por (x) = [x, ].
+ : 2 M, por + (x) = 2 \ [x, ].
Veamos que es morfismo. Sean x, y 2 de tal suerte que y
/ [x, ]. Notemos que
x [y, ] si y s
olo si y [x, ], luego, x 2 \ [y, ], lo que da por terminada la prueba.

39

CAPITULO 4: DIAGRAMA

Precalibre 1


Numerable

- -centrado

@ Propiedad K
R


@
R
@

- c.c.c.

-ligado

Figura 4.1: Relaci

on entre algunas variaciones de la c.c.c.

41
BIBILIOGRAFIA

[1] G. Grabinsky, Teora de la medida, Facultad de Ciencias, U.N.A.M., 2013.

[2] F. Casarrubias, A. Tamariz Elementos de Topologa General,
Matem
aticas Vol. 37, Sociedad Matematica Mexicana.

Aportaciones

[3] J. Angoa, R. Escobedo, M. Ibara, Topologa y sus aplicaciones 4, Textos cientficos,

Benemerita Universidad Autonoma de Puebla, 2016.
[4] F. Hern
andez Hern
andez, Teora de Conjuntos (una introducci
on), Aportaciones
Matem
aticas, Serie Textos 13, Sociedad Matematica Mexicana, 1998.
[5] K. Kunen, Set theory. An introduction to independence proofs, Studies in Logic and
the Foundations of Mathematics, vol. 102, North-Holland Publishing Co., Amsterdam,
1980.
[6] J. R. Munkres, Topology, Prentice Hall, segunda edicion, 2000.
[7] J. C. Oxtoby, Measure and Category. A survey of the analogies between Topological
and Measure Spaces. Graduate texts in Mathematics vol. 2, Springer, 1970.
[8] H. L. Royden, Real Analysis. Macmillan, 1988.
[9] W. Weiss, Versions of Martins Axiom, en Handbook of Set-Theoretic Topology, K.
Kenneth y J.E. Vaughan (editores), North-Holland, 1984, pp. 827-886.
[10] M. A. Lopez Perez, Espacios pseudocompactos y de Oxtoby, Tesis que para obtener el
ttulo de Licenciatura en Matematicas, presenta Mario Alejandro Lopez Perez; Asesor
Roberto Pichardo Mendoza, Facultad de Ciencias, UNAM, 2014.