You are on page 1of 128

COMBINATORIA.

un panorama de la teora
de Ramsey

Carlos Augusto Di Prisco


COMBINATORIA.
un panorama de la teora
de Ramsey

Carlos Augusto Di Prisco


Instituto Venezolano de Investigaciones Cientficas
y Universidad Central de Venezuela
Contenido

1 Teora de particiones, Teoremas de Ramsey y Schur 1


1.1 Principio del casillero . . . . . . . . . . . . . . . . . 1
1.2 El teorema de Ramsey . . . . . . . . . . . . . . . . 2
1.3 El teorema de Schur . . . . . . . . . . . . . . . . . 9

2 Topologa de la recta. El espacio de Baire 15


2.1 Repaso de topologa . . . . . . . . . . . . . . . . . 15
2.2 El espacio de Baire . . . . . . . . . . . . . . . . . . 20

3 Frentes, barreras y familias uniformes 27


3.1 Frentes y barreras . . . . . . . . . . . . . . . . . . . 27
3.2 Familias uniformes. . . . . . . . . . . . . . . . . . . 33
3.3 Los borelianos son Ramsey . . . . . . . . . . . . . . 41

4 Teoremas de Canonizacion 45
4.1 Coloraciones infinitas . . . . . . . . . . . . . . . . . 45
4.2 Coloraciones de barreras . . . . . . . . . . . . . . . 47

5 Particiones en cardinales no numerables 53


5.1 Resultados negativos . . . . . . . . . . . . . . . . . 53
5.2 Particiones y cardinales grandes . . . . . . . . . . . 55

6 Teorema de van der Waerden. 63


6.1 Elementos de dinamica topologica . . . . . . . . . . 63
6.2 Algunas equivalencias . . . . . . . . . . . . . . . . . 64
6.3 Teorema de van der Waerden multidimensional . . 67

i
ii CONTENIDO

7 Filtros, ultrafiltros y semigrupos topologicos. 73


7.1 Filtros y ultrafiltros . . . . . . . . . . . . . . . . . . 73
7.2 Semigrupos topologicos . . . . . . . . . . . . . . . . 75
7.3 Semigrupos de ultrafiltros . . . . . . . . . . . . . . 79

8 Teorema de Hindman 83
8.1 Sumas finitas, uniones finitas. . . . . . . . . . . . . 83
8.2 La demostracion de Baumgartner. . . . . . . . . . 85

9 Teorema de Hales-Jewett 91
9.1 Lneas combinatorias y palabras variables. . . . . . 91
9.2 Hales-Jewett infinitario. . . . . . . . . . . . . . . . 97

10 Teora de Ramsey para estructuras 101


10.1 Sistemas partitos. . . . . . . . . . . . . . . . . . . . 102
10.2 La construccion partita. . . . . . . . . . . . . . . . 106

11 Espacios metricos finitos 109


11.1 Sistemas partitos l-metricos y sus amalgamaciones . 112
11.2 Demostracion del Lema Principal . . . . . . . . . . 116
iii

Introduccion.
El objetivo principal de estas notas es presentar una introduccion a
la teora de Ramsey que muestre diversos aspectos de la teora y las
direcciones en las que ha evolucionado. Las notas estan organizadas
alrededor de varios teoremas, llamados los teoremas clasicos de la
teora, que han dado origen a desarrollos y aplicaciones de una
gran riqueza. Para algunos de estos teoremas y las generalizaciones
que se han obtenido de ellos, se han dado, en decadas recientes,
demostraciones que utilizan metodos topologicos que han entrado
a formar parte del cuerpo de la teora. Por eso, en algunos casos,
ademas de las demostraciones puramente combinatorias incluimos
tambien demostraciones que ilustran el empleo de estos metodos.
Las notas comienzan presentando el teorema de Ramsey, en sus
versiones finita e infinita. Para mostrar una aplicacion directa del
teorema de Ramsey, presentamos luego el teorema de Schur. En su
demostracion usamos, ademas del teorema de Ramsey, el famoso
teorema de van der Waerden sobre progresiones aritmeticas como
un adelanto de los temas que seran tratados mas adelante. Entre
las generalizaciones del teorema de Ramsey, tratamos dos: primero
particiones del espacio de conjuntos infinitos de numeros naturales,
para concluir con el teorema de Galvin y Prikry que establece la
propiedad de Ramsey para los conjuntos borelianos de ese espacio;
y en segundo lugar particiones canonicas y particiones de barreras.
En las secciones siguientes presentamos los teoremas de van der
Waerden, Hindman y Hales-Jewett, con demostraciones que uti-
lizan metodos de dinamica topologica y de la teora de semigrupos
topologicos.
Las secciones finales contienen algunos aspectos de la teora de
Ramsey para estructuras relacionales, y en particular uno de sus
desarrollos mas recientes: el resultado de Nesetril sobre espacios
metricos finitos.
Incluimos un repaso de las nociones basicas de topologa, con
una introduccion a la topologa del espacio de Baire, formado por
el conjunto de las sucesiones de numeros naturales con la topologa
iv

producto. Estas nociones son necesarias para la demostracion del


teorema de Galvin y Prikry, y por supuesto, para las demostra-
ciones que utilizan las ideas de dinamica topologica y la teora de
semigrupos topologicos. Para algunas partes del curso se supuso
familiaridad con las nociones de ordinales y cardinales, en partic-
ular la induccion transfinita sobre los ordinales numerables, que se
utilza para la definicion misma del concepto de familia uniforme.
La seccion sobre particiones de conjuntos no numerables requiere
conocimiento mas avanzado de ordinales y cardinales. Esta seccion
puede ser omitida sin afectar la lectura del resto de las notas.
La teora de Ramsey ha sido sumamente exitosa por sus aplica-
ciones a otras ramas de las matematicas, principalmente, en tiem-
pos recientes, a la teora de espacios de Banach. Aunque no trata-
mos aqu esas aplicaciones, tenemos la esperanza de que estas notas
puedan servir como iniciacion a los temas de la teora de Ramsey a
aquellas personas que deseen estudiar posteriormente estas aplica-
ciones al analisis funcional.
Estas notas fueron escritas como material de apoyo para un
curso dictado en la Universidad Simon Bolvar entre marzo y julio
de 2005. Quisiera dejar constancia de mi agradecimiento a los asis-
tentes al curso por la gran ayuda que me prestaron para hacer
posible la existencia de estas notas.
Para el dictado del curso consultamos una amplia bibliografa
que muestra la riqueza de la teora. Algunas de las obras con-
sultadas influyeron de forma determinante en el enfoque adoptado
para presentar los diversos temas. El libro de Mc Cutcheon [14]
contiene una excelente presentacion de los metodos de dinamica
topologica en teora de Ramsey introducidos principalmente por H.
Furstenberg, segun la cual abordamos los temas referentes a los
teoremas de Schur, de van der Waerden y de Hales-Jewett. El libro
de Todorcevic [25] es una importante obra unificadora de la teora
cuya influencia esta presente en todo el presente texto.

Caracas, julio de 2008


Captulo 1

Teora de particiones,
Teoremas de Ramsey y
Schur

1.1 Principio del casillero


El conjunto de los numeros naturales es N = {0, 1, 2, . . . }. Usare-
mos N para denotar el conjunto de los enteros positivos {1, 2, . . . }.
Como es usual en teora de conjuntos identificaremos cada numero
natural n con el conjunto de sus predecesores, n = {0, 1, . . . , n 1},
de modo que n es un conjunto de n elementos.
Se puede decir que la teora de particiones tiene su centro en
la siguiente observacion, bastante obvia, por cierto, comunmente
llamada el principio del casillero: si se parte el conjunto N de los
numeros naturales en un numero finito de partes, necesariamente al
menos una de las partes es infinita. Lo mismo vale para cualquier
conjunto infinito.
En terminos de coloraciones podemos enunciar este principio
diciendo que para toda coloracion finita c : N {0, 1, . . . r 1}
existe un conjunto infinito H N monocromatico, es decir, existe
un i {0, 1, . . . , r 1} tal que c1 {i} es infinito.
El fenomeno aparece tambien en el ambito de los conjuntos fini-

1
2 Captulo 1: Teora de particiones.

tos: Dado m N , existe un n N tal que si A es un conjunto


con n elementos, para toda coloracion

c:Ar

existe un conjunto monocromatico de tamano m.

Ejercicio 1.1.1 Demuestre que dados numeros enteros positivos


m, r, para toda coloracion c : (m 1)r + 1 r existe un conjunto
monocromatico de tamano m.

1.2 El teorema de Ramsey


Si se parte en dos clases el conjunto de subconjuntos de dos ele-
mentos de un conjunto infinito A, siempre existe un subconjunto
infinto H A cuyos subconjuntos de dos elementos estan todos en
la misma clase. Una manera mas grafica de enunciar este resultado
es la siguiente: Si tomamos un grafo infinito completo (es decir,
un conjunto infinito de vertices tal que todo par de vertices esta
conectado por un arco), y coloreamos los arcos, algunos de rojo
y los demas de azul, no importa cual sea la manera que hagamos
esto, siempre podemos hallar un conjunto infinito de vertices tal
que todos los arcos entre vertices de ese conjunto son del mismo
color. Dado un conjunto A, denotamos por A[n] la coleccion de
subconjuntos de A que tienen exactamente n elementos. Usando
esta notacion, el enunciado anterior se puede entonces expresar de
esta manera:

Teorema 1.2.1 Dado un conjunto infinito A, y dada una funcion


F : A[2] {0, 1}, existe un conjunto infinito H A y existe
i {0, 1} tales que F H [2] = {i}.

Para demostrarlo, usaremos un teorema referente a arboles in-


finitos.
1.2: El teorema de Ramsey. 3

Definicion 1.2.2 Un arbol es un conjunto parcialmente ordenado


tal que para cada elemento, el conjunto de predecesores esta bien
ordenado.
El primer nivel de un arbol esta formado por los elementos min-
imales, aquellos que no tienen predecesores, al que llamaremos el
nivel 0. El siguiente nivel, el nivel 1, esta formado por los sucesores
inmediatos de elementos del primer nivel, y as, inductivamente
podemos definir el nivel como la coleccion de elementos del arbol
cuyo conjunto de predecesores tiene tipo de orden .
Teorema 1.2.3 (Konig, D. 1927) Un arbol infinito cuyos niveles
son todos finitos tiene una rama infinita.
Demostracion. La demostracion es muy facil, la rama infinita
se halla por induccion en los niveles. Como el primer nivel del
arbol es finito, debe haber un elemento a0 del primer nivel con una
coleccion infinita de sucesores. Entre los sucesores inmediatos de ese
elemento (por hipotesis hay una cantidad finita de ellos, ya que son
miembros del segundo nivel del arbol) hay al menos uno que tiene
infinitos sucesores. Escogemos uno de estos sucesores inmediatos de
a0 y lo llamamos a1 . Continuando este proceso inductivamente se
halla una rama infinita. En efecto, supongamos que hemos definido
a0 , a1 , . . . , ak , y ak tiene infinitos sucesores en el arbol. Como ak
tiene una cantidad finita de sucesores inmediatos, al menos uno de
ellos tiene tambien infinitos sucesores en el arbol. Tomamos uno
de ellos y lo llamamos ak+1 . Como el arbol es infinito podemos
continuar para obtener una sucesion infinita a0 , a1 , . . . . Es claro
que esta sucesion es una rama del arbol. Notese que hemos usado
el principio de elecciones dependientes. 

Si A es infinito y F : A[2] {0, 1}, construimos un arbol de


la manera siguiente: los nodos del arbol seran elementos de A, y
el orden lo definimos por pasos. Tomamos un elemento a0 A y
lo colocamos en la base del arbol, es decir, a0 es el unico elemento
del primer nivel. El resto de A lo dividimos en dos partes, {a
A \ {a0 } : F ({a0 , a}) = 0} y {a A \ {a0 } : F ({a0 , a}) = 1}.
4 Captulo 1: Teora de particiones.

Sean a00 y a01 elementos de la primera y la segunda parte re-


spectivamente. Estos seran los sucesores inmediatos de a0 en el
arbol (a00 y a01 forman el segundo nivel del arbol). Lo que resta
de la primera parte, B00 = {a A : F ({a0 , a}) = 0} \ {a00 },
es el conjunto de sucesores potenciales de a00 , y analogamente,
B01 = {a A : F ({a0 , a}) = 1} \ {a01 } es el conjunto de suce-
sores potenciales de a01 . Continuando este proceso, los miembros
del nivel k estaran denotados por as donde s es una sucesion finita
de ceros y unos de longitud k y para cada nodo del arbol definimos
un conjunto de sucesores potenciales.
Supongamos que hemos definido el nivel k. Dado un miembro
as de ese nivel, sea Bs el conjunto de sus sucesores potenciales.
Dividimos Bs en dos partes: {a Bs : F ({as , a}) = 0} y {a Bs :
F ({as , a}) = 1}. Tomamos un elemento de cada parte, as_ 0 y as_ 1
respectivamente y definimos
Bs_ 0 = {a Bs : F ({as , a}) = 0} {as_ 0 }, y
Bs_ 1 = {a Bs : F ({as , a}) = 1} {as_ 1 }.
Notese que alguno de estos conjuntos, Bs_ 0 o Bs_ 1 , podra resultar
vaco, y en ese caso, el nodo correspondiente no tiene sucesores
en el arbol. Pero no puede ocurrir que ambos conjuntos resulten
vacos para todos los elementos de un nivel dado. Esto completa
la definicion inductiva de un arbol infinito cuyos niveles son finitos
(ya que cada nodo tiene a lo sumo dos sucesores inmediatos). Por
el teorema de Konig, existe una rama infinita bo < b1 < b2 < . . . .
Por construccion, si tomamos bi en esa rama, todos los bj con j > i
estan entre los sucesores potenciales de bi , luego, por construccion,
la funcion F toma un valor constante en los pares {bi , bj } (j > i).
Si ese valor es 0 diremos que bi es un 0-nodo y si es 1 diremos que bi
es un 1-nodo. As, tenemos dos tipos de nodos en la rama, como la
rama es infinita, debe haber un conjunto infinito de elementos del
mismo tipo. Ese es el conjunto H que buscabamos. Esto termina
la demostracion del teorema.
Lo que hemos hecho es probar un caso particular de un resultado
debido a F.P. Ramsey ([22]). Antes de enunciarlo, introduzcamos
1.2: El teorema de Ramsey. 5

una notacion que sera muy util. Dado n N y dados cardinales


, , , la notacion
()n
significa que para cualquier particion en partes del conjunto de
subconjuntos de n elementos de un conjunto A de cardinalidad ,
existe un subconjunto H A, de cardinalidad , cuyos subcon-
juntos de n elementos estan todos en la misma parte. Equivalente-
mente, para toda F : [n] existe H , |H| = y existe x
tales que F H [n] = {x}. Tal conjunto H se dice que es homogeneo
para F . Si = 2, omitimos el subndice y escribimos simplemente

()n .

La teora de particiones estudia una gran cantidad de variantes


del siguiente problema: dados , n y k, existe tal que ()nk ?
Por ejemplo se puede considerar el problema cuando y son tipos
de orden en lugar de cardinalidades, para mas informacion el lector
puede ver, por ejemplo, [5].
Usando esta notacion, y recordando que se usa para denotar
el primer cardinal infinito, es decir, la cardinalidad del conjunto de
los numeros naturales, podemos enunciar el Teorema de Ramsey de
la manera siguiente.

Teorema 1.2.4 (Ramsey [22]) Para todo n N y todo k N

()nk .

Demostracion. Consideremos primero el caso k = 2 (el caso


k = 1 es trivial). Para k = 2, demostraremos ()n por
induccion en n. Si n = 1 es claro que el resultado vale. (El caso
n = 2 fue considerado anteriormente). Supongamos que el teorema
vale para n, y probemos ()n+1 . Notese que basta considerar
particiones de N[n+1] , porque si A es cualquier conjunto numerable,
una particion de A[n+1] determina una particion de N[n+1] mediante
cualquier biyeccion entre A y .
6 Captulo 1: Teora de particiones.

Sea F : N[n+1] 2. Para encontrar el conjunto H homogeneo


para F seguiremos el procedimiento que usamos al principio de la
seccion, construiremos un arbol infinito de niveles finitos y extraer-
emos el conjunto homogeneo de una de sus ramas infinitas. Para
cada nodo del arbol, definiremos un conjunto de sucesores poten-
ciales.
Los primeros n niveles del arbol estan dados por 0, 1, 2, ..., n 1,
respectivamente. El conjunto de sucesores potenciales de n 1 es
N \ n (= {j N : j n}). Igual que antes, dividimos este conjunto
en dos clases:

{j n : F ({0, 1, ..., n 1, j}) = 0}, y

{j n : F ({0, 1, ..., n 1, j}) = 1}.


El nivel n + 1 del arbol estara formado por el menor elemento de
cada una de esas clases (luego n 1 tiene a lo sumo dos sucesores)
y el resto de la clase correspondiente es el conjunto de sucesores
potenciales de cada elemento de ese nivel. Supongamos que hemos
definido el nivel m del arbol, y para cada elemento de ese nivel, su
conjunto de sucesores potenciales. Definimos ahora el nivel m + 1
indicando cuales son los sucesores de cada elemento del nivel m.
Dado t en el nivel m, sea Ct el conjunto de predecesores de t en el
orden del arbol, incluyendo a t. Ct esta bien ordenado por el orden
del arbol, y tiene m elementos. Sea Bt el conjunto de sucesores
potenciales de t. Dividiremos al conjunto Bt en varias clases, y
para simplificar la notacion haremos esto definiendo una relacion
de equivalencia en Bt :

[n]
i j si y solo si F (x i) = F (x j) para todo x Ct .

Es facil verificar que esta es, en efecto, una relacion de equiva-


lencia. Los sucesores inmediatos de t son determinados tomando el
menor elemento de cada clase de equivalencia. Cada nodo del nivel
m
m tiene entonces a lo sumo 2( n ) sucesores inmediatos (ya que para
[n] [n]
para t del nivel m, m

n
= |Ct |, y para cada x Ct , F (x t)
1.2: El teorema de Ramsey. 7

puede ser 0 o 1). Para cada sucesor inmediato de t, el conjunto de


sus sucesores potenciales es el resto de la clase a la que pertenece.
Notese que si el conjunto Bt es infinito, alguna de las clases de
equivalencia debe ser infinita, por lo que al menos un sucesor in-
mediato de t tendra un conjunto infinito de sucesores potenciales.
As completamos la construccion inductiva de un arbol infinito a
niveles finitos. El teorema de Konig nos indica que existe una rama
infinita R. Por construccion, esa rama tiene la siguiente propiedad:
dado un x R[n] , el valor F (x j) es el mismo para todo j que
se encuentre en la rama por encima de x. Entonces para x R[n]
diremos que x es de tipo 0 si ese valor es 0, de lo contrario decimos
que x es de tipo 1. Esto nos da una particion de R[n] en dos clases,
y por hipotesis inductiva existe un subconjunto infinito H R tal
que todos los elementos de H [n] son del mismo tipo. Claramente
H es homogeneo para F . Esto completa la demostracion del caso
k = 2. Si suponemos que para k r vale ()nk para todo n, y
F : N[n] r+1, podemos definir una particion auxiliar G : N[n] 2
poniendo G(x) = 0 si F (x) = 0 y G(x) = 1 en caso contrario. Por
hipotesis inductiva G tiene un conjunto homogeneo infinito H, si
GH [n] = {0}, H es homogeneo para F . Si GH [n] = {1}, entonces
F  H [n] (F restringida a H [n] ) es una particion en r partes y por
hipotesis inductiva hay un conjunto H 0 H infinito homogeneo.
Este conjunto H 0 es homogeneo para F .

Ejercicio 1.2.5 Demuestre que si A es un conjunto infinito con


un orden parcial <, entonces A contiene un subconjunto infinito
{a0 , a1 , . . . } tal que a0 < a1 < . . . , o a0 > a1 > . . . , o los ai son
incomparables dos a dos.
A continuacion presentamos una consecuencia de caracter fini-
tista del Teorema de Ramsey.
Teorema 1.2.6 (Teorema de Ramsey finito) Dados numeros en-
teros positivos k,r y m existe un entero positivo n tal que
n (m)rk .
8 Captulo 1: Teora de particiones.

Demostracion. Dados m, r, k, supongamos que para todo n r,


existe alguna particion fn de n[r] en k partes para la que no hay
conjunto homogeneo de m elementos. El conjunto A = {fn  j [r] :
j n, n N}, con el orden dado por es un arbol infinito. Como
[j]
cada nivel de A es finito (ya que para cada j hay k ( r ) funciones
de j [r] en k), por el teorema de Konig existe una rama infinita F .
Si ponemos f = F , es claro que f : N[r] k. Por el teorema de
Ramsey, existe un conjunto H N infinito homogeneo para f . Sea
J H un subconjunto de H con m elementos. Si tomamos una
funcion g de la rama F tal que dom(g) = j [r] y J j, g = fn  j [r]
para algun n j, y J es un conjunto homogeneo para fn , lo que
contradice la definicion de fn . 

Otra forma de hacer la demostracion es definiendo g : N[r+1] k


por
g({a0 , . . . , ar }) = far ({a0 . . . . , ar1 }),
donde a0 < a1 < < ar . Por el teorema de Ramsey existe un H
infinito homogeneo para g. Si H = {h0 , h1 , . . . } en orden creciente,
entonces {h0 , . . . , hm1 } es un conjunto de m elementos homogeneo
para fhm , contradiccion.

Ejercicio 1.2.7 Demuestre que 6 (3)2 , pero no es cierto que


5 (3)2 .

Ejercicio 1.2.8 Del teorema de Ramsey finito sigue que para cada
k N existe un N tal que toda sucesion a1 , a2 , . . . , aN de N
numeros naturales distintos contiene una subsucesion de k+1 termi-
nos estrictamente creciente o estrictamente decreciente. Demuestre
que basta tomar N = k 2 + 1.

Ejercicio 1.2.9 De una demostracion topologica del teorema de


Ramsey finito (Sugerencia: Considere el espacio T de las funciones
de N[r] en k con la topologa producto. Este espacio es compacto, por
el teorema de Tychonov. Dado m, para cada conjunto finito F N,
considere el conjunto TF de todos los elementos de T para los cuales
1.3: Teorema de Schur. 9

no hay un subconjunto de F con m elementos que sea homogeneo.


Cada uno de estos TF es cerrado (y abierto), y si suponemos que
cada TF es no vaco, la interseccion de todos ellos es no vaca).

Paris y Harrington descubrieron en 1977 que una simple mod-


ificacion del teorema de Ramsey finito proporciona un ejemplo
de enunciado aritmetico verdadero pero no demostrable en la ar-
itmetica de Peano. Para enunciar el resultado, diremos que un
conjunto N N es relativamente grande si |N | min(N ), y dados
n, m, r, k N,

n (m)rk
expresa que toda particion de n[r] en k pedazos tiene un conjunto
homogeneo relativamente grande de cardinalidad al menos m.

Teorema 1.2.10 (ZFC) Para todo m, r, k N existe n N tal


que

n (m)rk .

Demostracion. Notese que la demostracion del teorema de Ram-


sey nos da un conjunto infinito del que se puede extraer un conjunto
homogeneo relativamente grande.

Teorema 1.2.11 (Paris-Harrington, 1977) El teorema anterior no


es demostrable en la aritmetica de Peano.

1.3 El teorema de Schur


Teorema 1.3.1 (Schur, 1916) Para cada particion finita de los
enteros positivos N , existen n, m N tales que {n, m, n + m} esta
contenido en una de las partes.

Demostracion. Un -conjunto es un conjunto de numeros nat-


urales de la forma {ai aj : i, j N, j < i}, donde a0 < a1 < <
an < . . . es una sucesion creciente de numeros naturales.
10 Captulo 1: Teora de particiones.

Demostraremos que para cada coloracion finita de un -conjunto


se puede hallar un subconjunto monocromatico de la forma {x, y, x+
y}. Obviamente esto implica el teorema ya que los enteros positivos
son un -conjunto.
Dada la sucesion a0 < a1 < < an < . . . y una r-coloracion
c : {ai aj : i < j} r (donde r N ), consideremos la coloracion
inducida en N[2] dada por d({i, j}) = c(ai aj ), si i < j.
Por el teorema de Ramsey, existe un conjunto H infinito tal que
d es constante en H [2] . Sean l, m, n H tales que l < m < n,
entonces {am al , an am , an al } es monocromatico respecto a
c, y an al es la suma de los otros dos elementos del conjunto. 

Ejercicio 1.3.2 Demuestre la siguiente version finitista del teo-


rema de Schur:
Para todo r N existe M N tal que para toda particion de
{1, 2, . . . , M } en r partes, una de las partes contiene un conjunto
de la forma {n, m, n + m}.
Schur demostro su teorema mientras trabajaba en problemas
relacionados con el ultimo teorema de Fermat. Veamos por ejemplo
la siguiente aplicacion del teorema de Schur.
Teorema 1.3.3 Para todo entero positivo m, si p es primo y sufi-
cientemente grande, entonces la ecuacion
xm + y m = z m
tiene una solucion no trivial en Zp .
Demostracion. Dado m, sea p suficientemente grande como para
que toda m-coloracion de {1, . . . , p1} admita un conjunto {a, b, c}
monocromatico con a + b = c.
Sea H = {xm : x Zp }. H es un subgrupo del grupo multi-
plicativo Zp .
Consideremos Zp /H, las clases de equivalencia respecto a la
relacion
x y si y solo si yx1 H.
1.3: Teorema de Schur. 11

Notese que el ndice de H en Zp es n = mcd(m, p 1) m.


Estas clases laterales definen una coloracion: (x) = (y) si y solo
si yx1 H. Por el teorema de Schur, existen a, b, c {1, . . . , p1}
tales que (a) = (b) = (c) y a + b = c. Por lo tanto, en Zp ,
1 + a1 b = a1 c
y 1, a1 b y a1 c son potencias m-esimas no nulas.

Sea X N , denotaremos por F S(X) al conjunto de sumas


finitas de elementos de X (sin repeticiones). Ademas, F S0 (X) =
F S(X) {0}.
Dado un conjunto A, denotamos por A[<] al conjunto de sus
subconjuntos finitos. Si X A[<] , F U (X) es la coleccion de todos
las uniones de colecciones finitas de elementos de X.
Considereremos las siguientes generalizaciones del teorema de
Schur.

(GS) ( Teorema de Folkman) Dado k N , para cada colo-


racion finita de N , existen x1 , x2 , . . . , xk N tales que el conjunto
F S({x1 , . . . , xk }) es monocromatico.

(GSf in ) (Version finitista) Dados k, r N , existe M = M (k, r)


N tal que para toda r-coloracion de {1, 2, . . . , M } existen x1 , x2 , . . . ,
xk tales que F S({x1 , . . . xk }) {1. . . . , M } y F S({x1 , . . . xk }) es
monocromatico.

(GScon ) (Version conjuntista) Dado k N , para toda col-


oracion finita de N[<] existen a1 , a2 , . . . , ak N[<] disjuntos dos
a dos tales que F U ({a1 , . . . ak }) es monocromatico.

Teorema 1.3.4 (GS) (GSf in ) (GScon ) (GS)

Demostracion.
(GS) (GSf in ). Supongamos que no vale GSf in , y para
cada n sea fn una r-coloracion de {1, . . . , n} que no admite un con-
junto monocromatico de la forma F S({x1 , . . . , xk }) con {x1 , . . . , xk }
{1, . . . , n}.
12 Captulo 1: Teora de particiones.

Definimos ahora una r-coloracion de N . Existe un i tal que

S1 = {n : fn (1) = i}

es infinito. Ponemos f (1) = i. Ahora, existe un j tal que

S2 = {n S1 : fn (2) = j}

es infinito. Ponemos f (2) = j.


Supongamos que hemos definido f (1), f (2), . . . , f (j 1) y con-
juntos infinitos S1 Sj1 de modo que para todo n Sj1 ,
f (i) = fn (i) para todo 1 i j 1. Para algun color m,
{n Sj1 : fn (j) = m} es infinito. Ponemos entonces f (j) = m, y
Sj = {n Sj1 : fn (j) = m}.
La coloracion f satisface que para todo j, f (i) = fn (i) para
todo i j y todo n Sj . Veamos que f no admite un con-
junto monocromatico de la forma F S({x1 , . . . , xk }). Supongamos,
para llegar a una contradiccion, que existen {x1 , . . . , xk } tales que
F S({x1 , . . . , xk }) es monocromatico respecto a f . Tomemos j sufi-
cientemente grande, de modo que F S({x1 , . . . , xk }) {1, . . . , j}, y
tomemos n Sj , n > j. Entonces F S({x1 , . . . , xk }) es un conjunto
monocromatico para fn , contradiciendo la propiedad de fn .
(GScon ) (GS): coloree cada conjunto finito de acuerdo al
color de su tamano.
(GSf in ) (GScon ). Dados r, k, sea c : N[<] r una col-
oracion. Sea A1 N un conjunto infinito tal que {{a} : a A1 }
es monocromatico. Por el teorema de Ramsey (para pares) existe
[2]
A2 A1 infinito tal que A2 es monocromatico. Supongamos in-
ductivamente que hemos escogido A1 A2 Ai1 tales
[j]
que para cada j = 1, . . . , i 1, Aj es monocromatico. Usando
[i]
el teorema de Ramsey (para i) hallamos Ai Ai1 tal que Ai es
monocromatico. As, definimos A1 AM tal que para todo
[i]
i = 1, . . . , M , Ai es monocromatico, y sea d : {1, . . . , M } r
[i]
dada por d(i) el valor constante de c en Ai , y donde M = M (k, r)
esta dado por GSf in .
1.3: Teorema de Schur. 13

Por la definicion de M , existen x1 , . . . , xk tales que

F S({x1 , . . . xk }) {1, . . . , M }

es monocromatico respecto a d.
Sean a1 , a2 , . . . , ak subconjuntos disjuntos de AM tales que para
todo i = 1, . . . , k, |ai | = xi . Tenemos entonces que F U ({a1 , . . . , ak })
es monocromatico respecto a c. 

Ejercicio 1.3.5 Demuestre (GScon ) (GS).

Ahora daremos una demostracion de (GS). Demostraremos


primero un lema a partir del teorema de van der Waerden, cuya de-
mostracion daremos posteriormente. El teorema de van der Waer-
den establece que para cada k, r N , existe un M N tal que
si se parte {1, . . . , M } en r partes, una de las partes contiene una
progresion aritmetica de longitud k.

Lema 1.3.6 Dados k, r N existe M = M (k, r) N tal que para


toda coloracion c : {1, . . . , M } r, existen x1 , . . . , xk tales que

F S({x1 , . . . , xk }) {1, . . . , M }

y tales que para 1 n1 nt k el color de xn1 + + xnt


depende solamente de nt .

Demostracion. Fijamos r y hacemos la demostracion por in-


duccion en k.
Para k = 1 no hay nada que demostrar. Supongamos el lema
valido para k, y sea M = M (k + 1, r) suficientemente grande para
que dada una r-coloracion de {1. . . . , M }, existe una progresion
aritmetica monocromatica de longitud 2M (k, r) + 1.
Fijamos entonces una r-coloracion de {1, . . . , M } y tomamos
una progresion aritmetica monocromatica

x, x+d, x+2d, . . . , x+M (k, r)d, x+(M (k, r)+1)d, . . . , x+(2M (k, r)+1)d,
14 Captulo 1: Teora de particiones.

con d > 0.
Consideremos la r-coloracion de {1, 2, . . . , M (k, r)} que se ob-
tiene dando a cada i en {1, 2, . . . , M (k, r)} el color de di (notese
que di {1, . . . , M }). Por hipotesis inductiva, existe {a1 , . . . , ak }
tal que
F S({a1 , . . . , ak }) {1, . . . , M (k, r)}
y tal que para 1 n1 < n2 < < nt k, el color de dan1 + +
dant depende solamente de nt .
Pongamos xi = dai para cada 1 i k, y xk+1 = x + M (k, r)d.
Entonces, el conjunto {x1 , . . . , xk , xk+1 } satisface lo requerido. El
color de un elemento xn1 + . . . xnt de F S({x1 , . . . , xk }) depende
solamente de nt ; y por otra parte, todas las sumas de elementos de
{x1 , . . . , xk+1 } donde aparece xk+1 esta en

{xk+1 } {xk+1 + u : u F S({x1 , . . . , xk })}

que es monocromatico. 

Demostracion de (GS).
Dada una r-coloracion de N , por el lema 1.3.6 existen y1 , . . . ,
y(k1)r+1 tales que para 1 n1 < < nt (k 1)r + 1, el color
de y1 + + ynt depende solo de nt . Esto induce una coloracion
de {1, . . . (k 1)r + 1}, a saber, le damos a j el color de cualquier
suma y1 + + ynt con nt = j. Por el principio del casillero existe
un subconjunto monocromatico {m1 , . . . , mk }. Poniendo xi = ymi
para 1 i k, se verifica que F S({x1 , . . . , xk }) es monocromatico.

Captulo 2

Topologa de la recta. El
espacio de Baire

2.1 Repaso de topologa


En esta seccion daremos un breve repaso de algunos conceptos
basicos de topologa, y estudiaremos algunos espacios topologicos
estrechamente ligados a la recta real cuyas propiedades combinato-
rias trataremos mas adelante.
Dado un conjunto X, una topologa en X es un conjunto T de
subconjuntos de X con las siguientes propiedades:

(i) X T y T ,

(ii) T es cerrado bajo intersecciones finitas,

(iii) T es cerrado bajo uniones arbitrarias.

Los elementos de T se llaman abiertos . Un subconjunto C de X es


cerrado si su complemento X \ C es abierto. La coleccion de con-
juntos cerrados es cerrada bajo uniones finitas y bajo intersecciones
arbitrarias. La clausura A de un conjunto A X es la interseccion
de todos los cerrados que lo contienen. Un espacio topologico es
un par (X, T ) donde X es un conjunto y T es una topologa en X.

15
16 Captulo 2: Topologa de la recta.

Si A X, la topologa inducida en A es la coleccion de todas las


intersecciones de elementos de T con A.
Recordemos algunas propiedades de la topologa usual de la
recta real. Un intervalo abierto de R, es un conjunto de la forma

{x R : a < x < b},

donde a, b R. Decimos que este es el intervalo abierto determi-


nado por a y b, y lo denotamos (a, b); si a < b el intervalo es no
vaco. El conjunto [a, b] = {x R : a x b} es el intervalo
cerrado determinado por a y b. Un conjunto A de numeros reales
es abierto si para cada x A, existe un intervalo abierto (a, b) tal
que x (a, b) A. Un conjunto es cerrado si su complemento es
abierto. Los conjuntos abiertos de numeros reales son uniones de
intervalos abiertos.
Todo intervalo no vaco tiene cardinalidad 20 , y por lo tanto
todo conjunto abierto no vaco tiene esa misma cardinalidad.
Los intervalos abiertos con extremos racionales forman una base
para la topologa de la recta, es decir, todo abierto es la union de
intervalos con extremos racionales. Mas precisamente, todo abierto
A de la recta es la union de todos los intervalos con extremos
racionales contenidos en A.
Recordemos que Q es un subconjunto denso de R: dados numeros
reales x, y, si x < y entonces existe un racional r tal que x < r < y,
y por lo tanto cada intervalo abierto de R (y en consecuencia, cada
abierto) contiene numeros racionales. Esto nos permite demostrar
que toda coleccion de abiertos disjuntos dos a dos es a lo sumo
numerable. En efecto, si O es una coleccion de abiertos disjuntos
dos a dos, sea Q = Q (O), el conjunto de los numeros racionales
contenidos an alguno de los abiertos de la coleccion O. Notese que
cada elemento de Q pertenece a exactamente uno de los abiertos
de O, y esto nos permite definir una funcion sobreyectiva de Q so-
bre O. Como Q es a lo sumo numerable, lo mismo vale para O.
En general, si un espacio topologico tiene un subconjunto denso
numerable, se dice que el espacio es separable.
Sea A un conjunto de numeros reales. Un numero real a es
2.1: Repaso de topologa. 17

un punto de acumulacion de A si para todo conjunto abierto O, si


a O entonces existe x 6= a tal que x O A. Un elemento a A
es un punto aislado de A si existe un abierto O que lo contiene y no
contiene otros elementos de A. Es facil verificar que un conjunto
de numeros reales es cerrado si y solamente si contiene sus puntos
de acumulacion.
Intersecciones finitas de abiertos son conjuntos abiertos, y uniones
finitas de cerrados son conjuntos cerrados.
Decimos que un conjunto A de numeros reales es acotado si
existen numeros reales x e y tales que A (x, y). En este caso,
x es una cota inferior de A y y es una cota superior de A. Todo
conjunto no vaco de numeros reales acotado superiormente tiene
un supremo (analogamente, si A es acotado inferiormente, tiene
infimo. Esta propiedad de la recta real es llamada completitud,
y caracteriza la recta real en el sentido siguiente: todo conjunto
linealmente ordenado, sin primer ni ultimo elemento, que contiene
un subconjunto denso numerable, y completo en el sentido definido
anteriormente, es isomorfo a los numeros reales.
Un conjunto K de numeros reales es compacto si de todo cubri-
miento de K por conjuntos abiertos se puede extraer un subcubrim-
iento finito. Un conjunto K de numeros reales es compacto si y
solamente si es cerrado y acotado.

Definicion 2.1.1 Una metrica en un conjunto X es una funcion

: X X [0, )

tal que

(i) (x, y) = 0 si y solo si x = y,

(ii) (x, y) = (y, x), y

(iii) para todo x, y, z X, (x, z) (x, y) + (y, z).

Si es una metrica en X, se dice que (X, ) es un espacio


metrico. Todo espacio metrico tiene una topologa natural definida
18 Captulo 2: Topologa de la recta.

por la metrica. Esta es la coleccion de todos los subconjuntos A


X tales que para todo elemento x A, existe un  > 0 tal que
B (x) = {y X : (x, y) < } A. Un espacio topologico (X, T )
se dice metrizable si existe una metrica en X tal que T coincide
con la topologa definida por la metrica .
Una sucesion {xn }n=0 de elementos de un espacio topologico
(X, T ) converge a x X si para todo abierto U que contiene a x,
existe m tal que xn U para todo n m. En este caso. se escribe
limn xn = x.
Un espacio topologico es compacto si para cada coleccion de
abiertos cuya union es X existe una subcoleccion finita cuya union
es tambien X. Esto generalmente se expresa diciendo que todo
cubrimiento de X por abiertos tiene un subcubrimiento finito.

Ejercicio 2.1.2 Demuestre que un espacio topologico X es com-


pacto si y solo si la coleccion de cerrados de X tiene la propiedad
de interseccion finita, es decir, si una subcoleccion de conjuntos
cerrados satisface que toda interseccion finita de elementos de la
coleccion es no vaca, entonces la interseccion de todos los elemen-
tos de la coleccion es no vaca.

Ejercicio 2.1.3 Demuestre que un espacio metrico X es compacto


si y solo si toda sucesion de elementos de X tiene una subsucesion
convergente. (Esta propiedad se llama compacidad secuencial).

Ejercicio 2.1.4 Demuestre que todo espacio metrico compacto


(X, ) es totalmente acotado, es decir, para todo  > 0, existe un
conjunto finito de elementos de X, x1 , . . . , xk X, tales que para
todo y X, existe i, 1 i k, tal que (y, xi ) < .

Si G es una familia de subconjuntos de un conjunto X, la topolo-


ga generada por G es la coleccion de todas las uniones de intersec-
ciones finitas de elementos de G. En este caso se dice que G es
una subbase de la topologa. Una base para una topologa T en
un conjunto X es una coleccion de subconjuntos de X tal que todo
abierto es union de elementos de esa coleccion.
2.1: Repaso de topologa. 19

Ejercicio 2.1.5 Demuestre que la coleccion de los intervalos abier-


tos no acotados de R, es decir, todos los intervalos de la forma
(, r) o (r, ), donde r es un numero real, es una subbase de la
topologa usual de la recta real.

Si X e Y son espacios topologicos, una funcion f : X Y


es continua si para cada abierto U Y , su preimagen f 1 U =
{x X : f (x) U } es un abierto en X. Se dice que f es un
homeomorfismo si es biyectiva, continua y f 1 tambien es continua.

Ejercicio 2.1.6 Demuestre que si f : X Y es una funcion con-


tinua y C X es compacto (en la topologa inducida), entonces la
imagen de C, f C = {f (x) : x C} es tambien compacto.

Ejercicio 2.1.7 Demuestre que toda funcion continua f : X Y


de un espacio metrico compacto (X, ) en un espacio metrico (Y, 0 )
es uniformemente continua (es decir, para todo  > 0, existe tal
que si x, y X son tales que (x, y) < , entonces 0 (f (x), f (y)) <
).

Sea I un conjunto, y para cada i I, sea Xi un conjunto. El


producto cartesianoSde los Xi es la coleccion iI Xi de todas las
funciones x : I iI Xi tales que x(i) Xi para todo i I.
Algunas veces escribiremos {x(i) : i I} para denotar una tal
funcion. Si cada Xi es un espacio topologico, la topologa producto
en iI Xi es la topologa generada por los conjuntos de la forma

{x iI Xi : x(j) Uj },

donde j I esta fijo y Uj es un abierto en Xj .


El teorema de Tychonov establece que si todos los Xi son es-
pacios compactos, entonces iI Xi es compacto con la topologa
producto. (El teorema de Tychonov es equivalente al axioma de
eleccion).
Si Xi = X para todo i I, escribimos X I en vez de iI Xi .
20 Captulo 2: Topologa de la recta.

Ejercicio 2.1.8 Demuestre que si X es un espacio topologico com-


pacto y el conjunto I es numerable, entonces X I es una espacio
topologico compacto y metrizable.
El Axioma de eleccion es (equivalente a ) el enunciado siguiente:
si cada Xi es no vaco, entonces iI Xi es no vaco. Este axioma es
tambien equivalente al Lema de Zorn: si es una relacion de orden
parcial en un conjunto Z, y cada subconjunto totalmente ordenado
T Z es acotado (por encima), entonces existe un elemento max-
imal en Z.

2.2 El espacio de Baire


Consideremos el conjunto NN de las funciones de N en N, o suce-
siones infinitas de numeros naturales, dotado de la topologa pro-
ducto que resulta de dar a N la topologa discreta. Este espacio se
llama el espacio de Baire, y sera denotado por N .
Dada una sucesion finita s de numeros 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 topologa de N ( es numerable ya que el conjunto de sucesiones
finitas de numeros naturales es numerable)
Ejercicio 2.2.1 Demuestre que {Us : s N< } es una base para
la topologa producto.
Con esta topologa, la convergencia en N es muy facil de de-
scribir. Una sucesion {xi : i N} converge a x si y solo si
nmi m (xi (n) = x(n)).
El espacio de Baire es metrizable por la metrica dada por

(
0 si x = y
d(x, y) = 1
6 y.
si x =
( menor n tal que x(n)6=y(n))+1
2.2: El espacio de Baire. 21

Para demostrar que esta metrica da la topologa del espacio


de Baire basta verificar que determina la convergencia que men-
cionamos anteriormente y esto es bastante obvio. Esta metrica es
completa, y dejamos al lector la tarea de verificarlo.
El espacio de Baire no es compacto. Por ejemplo, {Uhni : n N}
es un cubrimiento que no admite ningun subcubrimiento finito. Mas
adelante veremos que N ni siquiera es -compacto (es decir, no es
la union de una coleccion numerable de compactos).
El espacio de Baire es totalmente disconexo, es decir, tiene una
base de abiertos cerrados. (Cada vecindad basica Us es aSla vez
abierto y cerrado ya que si n es la longitud de s, N = {Ut :
t es de longitud n }. Ademas N es separable, ya que el conjunto
de las sucesiones eventualmente constantes es denso.
Si a0 , a1 , a2 , . . . es una sucesion de numeros naturales positivos,
definamos
1 1 1
b0 = , b1 = 1 , b2 = 1 , etc.
a0 a0 + a1
a0 + a1 + a1
2

Se tiene que b1 < b3 < b5 < < b4 < b2 < b0 , y se puede


probar que la sucesion {bn : n N} converge a un numero real a.
Este numero es la fraccion continua determinada por la sucesion
{an : n N}. El siguiente ejercicio requiere un cuidadoso analisis
de las propiedades de las fracciones continuas.

Ejercicio 2.2.2 Demuestre que el espacio de Baire es homeomorfo


al espacio de los irracionales del intervalo [0, 1]. (Considere la
funcion que asigna a cada a = ha0 , a1 , a2 , . . . i N , la fraccion
continua determinada por la sucesion a0 + 1, a1 + 1, a2 + 1, . . . ).

El espacio espacio de Cantor 2N es el conjunto de las sucesiones


de ceros y unos con la topologa producto. Obviamente el espacio
de Cantor esta incluido en el espacio de Baire, y su topologa esta
generada por los conjuntos Us , donde s 2< es una sucesion finita
de ceros y unos.
22 Captulo 2: Topologa de la recta.

Ejercicio 2.2.3 Pruebe que el espacio de Cantor es compacto. (Su-


gerencia: use el teorema de Tychonov. Mas adelante indicaremos
otra forma de obtener este resultado usando arboles).

Consideremos ahora el conjunto N[] de todos los subconjuntos


infinitos de N. Dotamos a este conjunto de la topologa generada
por los conjuntos de la forma

[s] = {M N : s @ M },

donde s N[<] y s @ M quiere decir que s es un segmento inicial


de M .
La siguiente proposicion explica por que este espacio es tambien
completamente metrizable y separable. Por eso, esta topologa sera
llamada la topologa metrica en N[] .
El conjunto 2N se puede identificar con P(N), ya que cada
funcion de N en 2 es la funcion caracterstica de n subconjunto
de N.
La topologa que acabamos de definir en N[] coincide con la
topologa que hereda este conjunto de 2N via la identificacion con
P(N).

Ejercicio 2.2.4 Demuestre que la topologa metrica en N[] esta


generada por los conjuntos de la forma

Up,q = {M N[] : p M y q M = },

donde p y q son subconjuntos finitos de N.

Proposicion 2.2.5 El espacio de Baire es homeomorfo a N[] .

Demostracion. El espacio de Baire es homeomorfo al subespacio


formado por las sucesiones estrictamente crecientes. P El homeomor-
fismo esta dado por la funcion x 7 x, donde x(n) = ni=0 x(i) para
cada n N. La funcion que asocia un subconjunto infinito de N
con su enumeracion creciente es un homeomorfismo entre N[] y
ese subespacio.
2.2: El espacio de Baire. 23

Estudiaremos otra topologa en N[] , llamada la topologa ex-


ponencial. Esta es la topologa generada por los conjuntos 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 topologa no es metrizable ni tiene una base numerable.

Ejercicio 2.2.6 Demuestre que la topologa exponencial es mas


fina que la topologa metrica.

Definicion 2.2.7 Un arbol sobre un conjunto X es un conjunto


S de sucesiones finitas de elementos de X parcialmente ordenado
por la relacion de extension 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
sucesion infinita a X N tal que para todo n, a  n S.

Dado un arbol S, denotaremos por [S] al conjunto de las ramas


de S. El arbol completo sobre X es el conjunto X < de todas
las sucesiones finitas de elementos de X. Por ejemplo, N< es el
conjunto de sucesiones finitas de numeros naturales, y [N< ] es el
espacio de Baire N . Todo subconjunto A N genera un arbol, a
saber, el arbol SA = {a  n : a A y n N}.

Teorema 2.2.8 Un subconjunto A N es cerrado si y solo si


A = [T ] para algun arbol T N< . Mas aun, A es cerrado si y
solo si A = [SA ].

Demostracion. Dado un arbol T , [T ] es siempre cerrado. En


efecto, sea {ai : i N} una sucesion de elementos de [T ] tal que
ai a, es decir, para todo n N existe k N tal que a  n = ai  n
para todo i k. Entonces a  n T para todo n, y por lo tanto
a [T ]. Para cualquier conjunto A N , se tiene que A [SA ].
Porque si a A, entonces a  n SA para todo n. Si A es cerrado,
y a [SA ], entonces para todo n N, a  n SA y por lo tanto,
24 Captulo 2: Topologa de la recta.

existe un ai A tal que a  n = ai  n. Tenemos entonces que


ai a, y como A es cerrado, a A. 

Ejercicio 2.2.9 Pruebe que para todo A N , [SA ] es la clausura


de A.

Observacion: Tambien podemos definir arboles de sucesiones


finitas de n tuplas para representar subconjuntos cerrados de un
espacio tipo Baire cualquiera.

Definicion 2.2.10 Un arbol T es un arbol a bifurcacion finita si


cada nodo tiene a lo sumo una cantidad finita de sucesores inmedi-
atos, es decir, si para cada s T , el conjunto {x : s _ hxi T } es
finito.

Teorema 2.2.11 Un conjunto cerrado A N es compacto si y


solo si SA es un arbol a bifurcacion finita.

Demostracion. Como A es cerrado, A = [SA ]. Sea {Oi : i I}


un cubrimiento abierto de A. Supongamos que no hay un sub-
cubrimiento finito. Entonces para algun k0 N tal que hk0 i SA ,
el conjunto Ak0 = {a A : a(0) = k0 } no es cubierto por un
numero finito de los abiertos Oi . De lo contrario, como SA es a
bifurcacion finita, obtendramos un subcubrimiento finito de A. De
la misma forma, existe k1 tal que hk0 , k1 i SA y para el cual el
conjunto Ahk0 ,k1 i = {a A : a(0) = k0 y a(1) = k1 } no se puede
cubrir con un numero finito de los Oi . Inductivamente construimos
una sucesion d = hk0 , k1 , k2 , . . . i en [SA ] tal que para cada n N,
el conjunto {a A : a  n = d  n} no es cubierto por un numero
finito de los Oi . Como d A, existe j I tal que d Oj . Y como
Oj es abierto, existe un n tal que Udn esta contenido en Oj . Pero
entonces, {a A : a  n = d  n} Udn Oj , contradiciendo la
propiedad de d. As, demostramos que A es compacto.
Supongamos ahora que SA no es a bifurcacion finita, y sea
s SA un nodo del arbol con infinitos sucesores inmediatos. El
2.2: El espacio de Baire. 25

conjunto As = {a A : s a} es cerrado ya que As = Us A. La


coleccion {Us_hni : n N} es un cubrimiento abierto de As para el
cual no existe subcubrimiento finito. Entonces esa coleccion, junto
con el complemento de As , forma un cubrimiento de A que no ad-
mite un subcubrimiento finito. 

Proposicion 2.2.12 El espacio de Baire no es -compacto.

Demostracion. Veamos que el espacio de Baire no es la union


de una familia numerable de compactos. Por el resultado anterior,
basta probar que el espacio de Baire no es la union de una familia de
la forma {[Ti ] : i N} donde cada arbol Ti es a bifurcacion finita.
En efecto, dada una tal familia, sea k0 N tal que hk0 i / T0 , lo que
es posible por ser T0 un arbol a bifurcacion finita. Tomamos ahora
k1 tal que hk0 , k1 i
/ T1 , lo cual es posible por la misma razon. Si
ya hemos definido kn1 , sea kn tal que hk0 , k1 , . . . , kn i
/ Tn . Como
resultado, tenemos que para todo n N, a = hk0 , k1 , . . . i / [Tn ].

Definicion 2.2.13 Sea X un espacio topologico. Un algebra de


subconjuntos de X es una coleccion de subconjuntos de ese espacio
cerrada bajo complementacion y uniones e intersecciones finitas.
Una -algebra es, ademas, cerrada bajo uniones numerables.
La clase de los subconjuntos borelianos de X es la menor -
algebra de conjuntos que contiene a los conjuntos abiertos.
26 Captulo 2: Topologa de la recta.
Captulo 3

Frentes, barreras y familias


uniformes

3.1 Frentes y barreras


El conjunto de los subconjuntos infinitos de N se denota por N[] , y
N[<] denota el conjunto de los subconjuntos finitos de N. Analoga-
mente, A[] y A[<] denotan respectivamente el conjunto de los
subconjuntos infinitos de A, y el conjunto de los subconjuntos fini-
tos de A.
Dados s, t N[<] y A N[] , s v t significa que s es un
segmento inicial de t, y ponemos s @ t cuando s v t y s 6= t.
Analogamente, s @ A significa que s es un segmento inicial de
A; usamos n < s y s < t como abreviaciones de n < min s y
max s < min t; A/n = {m A : n < m}.
Dados s N[<] y A N[] , [s, A] denota el conjunto de todos
los B N[] tales que s @ B s A.
Los conjuntos de la forma [s, N], o [s], para simplificar la no-
tacion, forman una base para la topologa metrica en N[] ; esta es
la topologa heredada de NN con topologa producto obtenida de la
topologa discreta en N.
Los conjuntos [s, A], con s N[<] y A N[] , forman una
base para una topologa mas fina en N[] , llamada la topologa

27
28 Captulo 3: Frentes, barreras...

exponencial (o tambien topologa de Ellentuck).


Si F es una familia de subconjuntos finitos de N y A N[] ,
entonces
F[s] = {t F : s @ t}
F(s) = {t \ s : t F[s] }
F  A = {s F : s A}
Escribimos simplemente F[n] yF(n) cuando s = {n}.
Para una familia F de conjuntos finitos, denotaremos por F su
clausura topologica en el espacio de Cantor 2N cuando se identifican
los subconjuntos de N con sus funciones caractersticas.
Consideraremos tambien la clausura hacia abajo de F, el con-
junto
F = {t : t s para algun s F}

Definicion 3.1.1 Dado un conjunto A N[] , una coleccion B


A[<] es un frente en A si

(i) B es una anticadena respecto al orden parcial dado por @ (ex-


tension final), es decir, s 6@ t para cada par s, t de elementos
distintos de B, y

(ii) B es infinito y cada B A[] tiene un segmento inicial en


S
B.

Si reemplazamos el orden @ por la inclusion , entonces se dice


que la coleccion B es una barrera en A. Obviamente, toda barrera
es un frente.

Ejercicio 3.1.2 El rango lexicografico de un frente. Utilizando


el orden usual de los numeros naturales, podemos ordenar lexi-
cograficamente los elementos de un frente. Verifique que este orden
lineal es un buen orden, y su tipo de orden es un ordinal numer-
able, llamado el rango lexicografico del frente. Muestre que para
cada ordinal numerable indescomponible , existe un frente cuyo
rango lexicografico es .
3.1: Frentes y barreras. 29

El rango de un arbol T con una unica raz y sin ramas infinitas


se define de la manera siguiente. Primero definimos inductivamente
el rango (s) de cada nodo s del arbol:

si s T no tiene sucesores, entonces (s) = 0.

en caso contario,
(s) = sup{(t) + 1 : t es sucesor inmediato de s}.

El rango de T es el rango de su raz.

Definicion 3.1.3 El rango de un frente B es el rango del arbol

B = {t : s B(t v s)}

con el orden dado por @ (extension final).

El rango de un frente siempre es un ordinal numerable.


Observemos que si B es un frente en N, dada una funcion f :
B N en un conjunto N discreto, f se puede extender a una
funcion continua f : N[] N . Para ello basta definir f(X) = f (s)
donde s es el unico elemento de B tal que s @ X. Tambien es facil
verificar que si g : N[] N es una funcion continua, respecto a la
topologa discreta en N , entonces g es de la forma f para alguna
funcion f : B N .

Definicion 3.1.4 Sea F una familia de conjuntos finitos de N

(i) F es fina si s 6v t para cada par s, t de elementos distintos de


F.

(ii) F es Sperner si s 6 t para cada par s, t de elementos distintos


de F.

(iii) F es Ramsey si para cada particion finita

F = F0 Fk
30 Captulo 3: Frentes, barreras...

existe un conjunto infinito M N tal que a lo sumo una de


las restricciones
F0  M, . . . Fk  M
es no vaca.

Ejemplo 3.1.5 Para cada k N, la familia N[k] de los conjun-


tos de k numeros naturales es una familia Ramsey, y obviamente
tambien es Sperner.

Lema 3.1.6 Sea F una familia de subconjuntos finitos de N,

(i) Si F es Ramsey, entonces existe un conjunto infinito M N


tal que F  M es Sperner.

(ii) Si F es Ramsey, entonces existe un conjunto infinito M N


tal que F  M es fina.

Demostracion. Para la parte (i), considerese la particion F =


F0 F1 donde F0 es la familia de todos los elementos -minimales
de F, y aplquese la propiedad de Ramsey. Para la parte (ii) se
procede analogamente, considerando la familia de los elementos v-
minimales de F.

Teorema 3.1.7 (Nash-Williams) Cada familia fina es Ramsey

Antes de dar la demostracion necesitamos algunas definiciones.

Definicion 3.1.8 Decimos que un conjunto D N[] es abierto si


N M y M D implica N D. Decimos que D es denso si para
todo M existe N M tal que N D. Mas generalmente, D es
denso bajo M si para todo N M existe un P N tal que P D.

Definicion 3.1.9 Una asignacion de conjuntos abiertos-densos en


M es una familia {Ds : s M [<] } tal que para todo s M [<] ,
Ds es denso bajo M/s
3.1: Frentes y barreras. 31

Lema 3.1.10 Para cada asignacion de conjuntos abiertos-densos


{Ds : s M [<] } en M , existe un N M tal que N/s Ds para
todo s N [<] .

Demostracion. Definimos inductivamente una sucesion Ni y una


sucesion ni . Sea N0 D , y n0 N0 . Supongamos que henmos
definido n0 < n1 < < nk y los conjuntos N0 N1
Nk . Sea Nk+1 Nk tal que para cada s {n0 , . . . , nk }, Nk+1
Ds , y sea nk+1 Nk+1 tal que nk < nk+1 . As obtenemos N =
{n0 , n1 , . . . } que satisface lo requerido, ya que dado s N [<] , por
construccion existe i suficientemente grande tal que Ni Ds , y
como N/s Ni tenemos que N/s Ds . 

Decimos que una funcion E : N[<] P(N[<] ) es un extensor


si s v t para cualquier s N[] y cualquier t E(s). Fijemos un
extensor E, del cual dependen la siguiente definicion y el siguiente
lema. Segun Todorcevic, esto constituye la primera aparicion de lo
que se llama forcing combinatorio (vease [1], parte B).

Definicion 3.1.11 Decimos que s es inextensible en M si E(s)


P(M ) = . Decimos que s es fuertemente extensible en M si E(s)
P(N ) 6= para todo N [s, M ]

Lema 3.1.12 Para cada M existe un N M tal que todo subcon-


junto finito de N es inextensible en N o fuertemente extensible en
N.

Demostracion. Dado M , si es fuertemente extensible en M ,


ponemos N0 = M , de lo contrario, existe N0 M tal que es
inextensible en M , sea n0 el primer elemento de N0 . Si hemos
definido n0 < n1 < < nk y los conjuntos N0 N1 Nk ,
sea Nk+1 Nk tal que para cada s {n0 , . . . , nk }, s es inex-
tensible en Nk+1 o fuertemente extensible en Nk+1 . El conjunto
N = {n0 , n1 , . . . } satisface lo requerido, ya que si s N [<] , s es
inextensible en N/s o fuertemente extensible en ese conjunto. 
32 Captulo 3: Frentes, barreras...

Demostracion del Teorema 3.1.7. Basta probar que para cada


par de familias finas F0 F de conjuntos finitos de N y cada M ,
existe un N M tal que

F0  N = o F  N F0 .

Dadas tales familias F0 F, definimos un extensor E poniendo

E(s) = {t : s @ t y t tiene un segmento inicial en F0 }.

Por el lema anterior, podemos suponer, tomando un subconjunto de


M si es necesario, que todo subconjunto finito de M es inextensible
o fuertemente extensible.
Para cada s M [<] , sea Ds la coleccion de todos los P M
tales que
(i) s {n} es inextensible en M para todo n P , o

(ii) s {n} es fuertemente extensible en M para todo n P .


Es claro que {Ds : s M [<] }es una asignacion de conjuntos
abiertos-densos en M , y por lo tanto existe un N M tal que
N/s Ds para todo s N [<] .
Caso 1. Si es inextensible en M , y por lo tanto en N , tenemos
que F0  N = .
Caso 2. Si es fuertemente extensible en M , y por lo tanto en
N , tenemos que por la definicion del extensor E, s es extensible en
M si y solamente si hay un n tal que s {n} es extensible en M .
Por la propiedad de N , entonces s N [<] es extensible en N si y
solo si para algun (para todo) n N/s, s {n} es extensible en N .
De aqu sigue que cada subconjunto finito s de N es fuertemente
extensible en N . Esto, junto con el hecho de que F es fina, implica
que no puede haber un subconjunto de N que sea elemento de
F \ F0 . 

Corolario
S 3.1.13 Para cada frente F existe un conjunto infinito
M F tal que F  M es una barrera en M .
3.2: Familias uniformes. 33

Ejercicio 3.1.14 Dada una familia F de conjuntos finitos de N, y


M un subconjunto infinito de N, sea F[M ] = {s M : s F}.
Demuestre que si F es una barrera en N , entonces para cada
subconjunto infinito M N se tiene

F  M = F\
 M.

En algunos casos tambien se tiene F  M = F[M ], por ejemplo


si N \ M es infinito.

3.2 Familias uniformes.


Como es usual en teora de conjuntos, el conjunto N de los numeros
naturales se identifica con , el primer ordinal infinito. El primer
ordinal no numerable se denota por 1 , y coincide con el conjunto
de todos los ordinales numerables.

Definicion 3.2.1 Por induccion en los ordinales numerables definire-


mos lo que es una familia -uniforme de conjuntos finitos de numeros
naturales. Una familia F N[<] es -uniforme en A N[] si

1. = 0 y F = {},

2. = + 1 y para cada n , la coleccion

F(n) = {t N[<] : n < t, {n} t F}

es -uniforme en A/n,

3. es un ordinal lmite y existe una sucesion estrictamente


creciente {n : n } de ordinales cuyo lmite es y para
cada n ,

F(n) = {t : n < t, {n} t F}

es n -uniforme en A/n.
34 Captulo 3: Frentes, barreras...

Decimos que F es uniforme en A si es -uniforme en A para


algun < 1 . Si no se especifica el conjunto A, es porque A = o
porque el conjunto en cuestion esta determinado por el contexto.

Ejemplo 3.2.2 1. {} es la unica familia 0-uniforme.


2. Para cada k , N[k] es la unica familia k-uniforme.
3. La familia de Schreier. La coleccion de todos los conjuntos
finitos de numeros naturales de la forma {n1 , n2 , . . . , nk } tales
que n1 < n2 < < nk y k = n1 + 1. Esta es una fa-
milia -uniforme. Mas generalmente, si {mi : i } es
una sucesion estrictamente creciente de numeros naturales,
la coleccion {{n1 , n2 , . . . , nk } : k = mn1 } es una familia -
uniforme.
4. Dada una sucesion estrictamente creciente {mi : i } de
numeros naturales, la familia {{n1 , . . . , nk } : k > i, k = mni }
es + i-uniforme

Ejercicio 3.2.3 De ejemplos de familias +-uniformes, ++1-


uniformes,  -uniformes,  + 1-uniformes, -uniformes.

Proposicion 3.2.4 Si F es una familia -uniforme, y A N[] ,


entonces F es -uniforme en A.

Demostracion. Por induccion en < 1 .

Proposicion 3.2.5 Toda familia -uniforme es un frente.

Demostracion. Por induccion en < 1 .

Ejercicio 3.2.6 Eliminar un segmento inicial. Dados un conjunto


A N[] y un frente B en A, sea r un conjunto finito de numeros
naturales que es un segmento inicial de algun elemento del frente.
Demuestre que la coleccion T = {s \ r : s B, r @ s} es un frente
en T .
3.2: Familias uniformes. 35

Ejercicio 3.2.7 Demuestre por induccion en el rango que todo frente


en A es uniforme en algun B A[] . Mas aun, si B es un frente
en A de rango , existe B A[] tal que B es uniforme en B para
algun .

Lema 3.2.8 Sea P (, ) una propiedad tal que para cada n y
X N[] se cumple
(i) P (n, X) P (n, Y ) para cada Y X [] , y

(ii) Y X [] tal que P (n, Y ).


Entonces, existe A N[] tal que P (n, A/n) vale para todo n A.

Demostracion. Sea A0 N[] tal que P (0, A0 ), y a0 = min(A0 ).


[]
Si hemos definido A0 , . . . , An y a0 , . . . , an , sea An+1 An tal que
P (an , An+1 ), y sea an+1 = min(An+1 /an ). Asi, obtenemos induc-
tivamente el conjunto A = {a0 , a1 , . . . } que satisface lo requerido.


Proposicion 3.2.9 Para cada familia F N[<] , y cada X


N[] , existe Y X [] tal que F  Y es vaco o incluye una familia
-uniforme para algun < 1 .

Demostracion. Tomando el conjunto de los elementos -minimales


de F, podemos suponer que F es una anticadena en el orden dado
por . Sea
F = {t : s F t v s}.
F es el arbol de los segmentos iniciales (propios o no) de ele-
mentos de F, con el orden dado por @.
Caso 1. Existe una rama infinita s1 @ s2 @ . .S. en F.
En este caso, como F es una anticadena, F  i si = .
Caso 2. El arbol (F, ) esta bien fundamentado (no hay ramas
infinitas).
En este caso, trabajamos por induccion en el rango del arbol.
Si el rango de F es 1, entonces F N[1] ; y al menos uno de los
36 Captulo 3: Frentes, barreras...
S S
conjuntos F y N \ F es infinito, y por lo tanto F es 1-uniforme
en el primer conjunto o es disjunta del segundo.
Supongamos inductivamente que tenemos el resultado para todo
< , y que F tiene rango . Para cada n , el rango de

F(n) = {t : n < t, {n} t F}

es menor que .
Consideremos la propiedad P (n, X) dada por Fn incluye una
familia uniforme en X o es disjunto de X [<] , por la Proposicion
3.2.4, P satisface la clausula (i) del Lema 3.2.8, y por la hipotesis
inductiva, satisface la clausula (ii). Por lo tanto, existe B tal que
para cada n B, vale P (n, B/n), es decir, para cada n, F(n)  B =
o F(n)  B es uniforme en B/n.
Si el conjunto {n B : F(n)  B = } es infinito, ponemos Y
igual a ese conjunto. En caso contrario, tomamos Y un subconjunto
infinito de B tal que para cada n Y , F(n)  Y es uniforme en Y /n,
y llamamos n el ordinal correspondiente. Claramente podemos
suponer que Y es tal que {n : n Y } es constante o estrictamente
creciente. En ambos casos, F  Y es -uniforme con = {n +1 :
n A}. 

Teorema 3.2.10 (Galvin) Sea F una familia de subconjuntos fini-


tos de N, entonces,

(a) existe B N[] tal que F  B es vaco, o

(b) existe B N[] tal que F  B contiene una barrera.

Demostracion. El teorema sigue de las proposiciones 3.2.5 y


3.2.9 y el corolario 3.1.13. Sin embargo, demostramos directamente
el teorema usando otra version del forcing combinatorio.
Fijemos una familia F de conjuntos finitos de numeros natu-
rales. Podemos suponer que F es una anticadena tomando sus
elementos minimales respecto a .
3.2: Familias uniformes. 37

Dados s N[<] y A N[] , diremos que A acepta s si todo


elemento de [s, A] tiene un segmento inicial en F; A rechaza s si
para ningun elemento B de A[] , [s, B] acepta s; y decimos que A
decide s si A acepta o rechaza s. De estas definiciones se obtienen
inmediatamente los siguientes hechos:

(i) Si A acepta (rechaza) s y B es un subconjunto infinito de A,


entonces B acepta (rechaza) s.
(ii) Dados s y A, existe B [s, A] que decide s.
(iii) Si A acepta s, entonces, A acepta s {n} para cada n A/s.

Proposicion 3.2.11 Si A rechaza s, entonces hay a lo sumo una


cantidad finita de n A/s tales que A acepta s {n}.

Demostracion. Supongamos por el contrario que el conjunto B


de todos los n A/s tales que A acepta s{n} es infinito. Entonces
B acepta s, lo que contradice la hipotesis.

Proposicion 3.2.12 Existe un conjunto infinito B que decide cada


uno de sus subconjuntos finitos.

Demostracion. Usando (ii), se construyen sucesiones N A1


A2 . . . y n1 < n2 < . . . tales que Am decide cada subconjunto
de {n1 , n2 , . . . , nm1 } y nm Am para cada m. Afirmamos que
B = {nm : m } decide cada uno de sus subconjuntos finitos.
Para verificarlo, sea s un subconjunto finito de B, y sea nm el
maximo elemento de s. Entonces, Am+1 decide s, y por (i), B
decide s tambien.

Para terminar la demostracion del teorema, sea B un conjunto


infinito que decide cada uno de sus subconjuntos finitos. Si B
acepta , entonces F contiene una barrera en B (parte (b) del teo-
rema).
Si B rechaza , sea n1 B tal que B rechaza {n} para todo
n B n n1 . Escojamos ahora n2 > n1 en B tal que B rechaza
38 Captulo 3: Frentes, barreras...

{n} y {n1 , n} para todo n B n n2 . Continuando asi, formamos


n1 < n2 < n3 < . . . , una sucesion de elementos de B tal que B
rechaza s {n} para cada s {n1 , n2 , . . . , nm1 } y n nm en B.
Veamos que el conjunto B = {nm : m } satisface la parte (a)
del teorema. Es claro que B rechaza cada uno de sus subconjuntos
finitos. Supongamos que algun a F esta incluido en B. Esto
implica que B acepta a, una contradiccion.

Corolario 3.2.13 (Teorema 3.2.10) Sea F una familia de subcon-


juntos finitos de N, entonces,

(a) existe B N[] tal que F  B es vaco, o

(b) existe B N[] tal que F  B contiene una barrera uniforme.

Demostracion. Si existe un B tal que F  B contiene una bar-


rera, entonces sea F 0 F tal que F 0  B es una barrera en B.
Existe un C B tal que F 0  C es una barrera uniforme en C (esto
se prueba por induccion en el rango de la barrera).

Corolario 3.2.14 (Teorema de Ramsey) Si N[k] = K1 K2 es una


particion de los subconjuntos de N con exactamente k elementos,
existe B N[] tal que B [k] esta contenido en Ki para algun i
{1, 2}

Demostracion. Aplicando el teorema 3.2.10 a K1 , obtenemos un


conjunto B tal que B [k] K2 o tal que cada subconjunto infinito
de B tiene un segmento inicial en K1 y por lo tanto B [k] K1 .

Corolario 3.2.15 (Teorema de Nash-Williams) Sea B una bar-


rera. Si B = T1 T2 es una particion de B, existen i {1, 2}
y B N[] tales que Ti es una barrera en B.
3.2: Familias uniformes. 39

Demostracion. Sea B = T1 T2 una particion. Aplicando el


Teorema 3.2.10 a la familia T1 , obtenemos un conjunto B tal que
T1  B = T1 B [<] es vaco o contiene una barrera. En el primer
caso, cada subconjunto infinito de B tiene un segmento inicial en
T2 (por ser B una barrera), y por lo tanto T2 es una barrera en B.
En el segundo caso, T1 es una barrera en B.

Teorema 3.2.16 ([20]) Los siguientes enunciados son equivalentes.


(1) F es Ramsey.
(2) Existe X tal que F  X es Sperner.
(3) Existe X tal que F  X es vaco o uniforme en X.
(4) Existe X tal que F  X es fina.
(5) Existe X tal que para ningun Y X existen F1 , F2 uniformes
en Y tales que F1 F2 = y F1 F2 F  Y .
Demostracion.
(1) implica (2). Sea F = F1 F2 donde
F1 = {s F : s es mnimo respecto a en F},
F2 = F \ F1 .
Sea X dado por la propiedad de Ramsey de F para la particion
F = F1 F2 . Si F1  X es vaco, entonces tambien lo es F2 . Por
lo tanto, F  F = F1  X en cualquiera de los casos.
(2) implica (3). Sigue de la Proposicion 3.2.9.
(3) implica (4). Toda familia uniforme es un frente, y por lo
tanto una familia fina maximal.
(4) implica (5). La union de dos familias uniformes en el mismo
conjunto no puede ser fina.
(5) implica (1). Si F = F0 Fr1 , por la Proposicion 3.2.4
y la Proposicion (3.2.9), podemos hallar X tal que para todo i < r,
Fi  X = o contiene una familia uniforme. Por la hipotesis (5), a
lo sumo uno de los Fi  X es no vaco.
40 Captulo 3: Frentes, barreras...

Definicion 3.2.17 Un conjunto S N[] es Ramsey si existe A


N[] tal que A[] S o A[] S = . Si la segunda opcion
siempre ocurre, decimos que S es Ramsey nulo. Se dice que S es
completamente Ramsey si para todo [s, A], existe B A[] tal que
[s, B] S o [s, B] S = . Analogamente, si la segunda opcion
ocurre siempre, se dice que S es completamente Ramsey nulo.

Corolario 3.2.18 (Galvin-Prikry) Todo abierto de N[] es Ram-


sey.

Mas adelante veremos que todo boreliano es Ramsey.


Demostracion. Dado S N[] abierto, existe una familia F
N[<] tal que X S si y solamente si X tiene un segmento inicial en
F. Esto se debe a que cada abierto es union de vecindades basicas
disjuntas dos a dos. Sea A tal que F  A es vaco o contiene una
barrera. En el primer caso, A[] S = ; en el segundo, A[] S.
En conclusion, S es Ramsey.

Las demostraciones del teorema 3.2.10 y del Corolario 3.2.18 se


pueden adaptar para mostrar que todo abierto S es completamente
Ramsey, es decir,

a N[<] , A N[] B A[] ([a, B] S = o [a, B] S).

Primero observemos que el Teorema 3.2.10 se puede relativizar


a un conjunto A N[] :

Corolario 3.2.19 Sea F una familia de subconjuntos finitos de N,


entonces, para todo A N[] ,

(a) existe B A[] tal que F  B es vaco, o

(b) existe B A[] tal que F  B contiene una barrera uniforme.

Corolario 3.2.20 (Galvin-Prikry) Todo abierto es completamente


Ramsey.
3.3: Los borelianos son Ramsey. 41

Demostracion. Sean a N[<] , A N[] , y un conjunto abierto


S dados. Si algun segmento inicial de a pertenece a la familia F,
entonces [a] S, y por lo tanto [a, A] S.
Si ningun segmento inicial de a pertenece a la familia F, tomemos
la familia F 0 = S{t \ a : t F} de conjuntos finitos , y consideremos
el abierto S 0 = {[s] : s F 0 }. Apliquemos el Corolario 3.2.19 a la
familia F 0 y al conjunto A, para obtener un B A[] tal que F 0  B
es vaco o contiene una barrera. En el primer caso, [a, B] S = .
En el segundo, [a, B] S.

Ejercicio 3.2.21 Demuestre que todo abierto en la topologa expo-


nencial es completamente Ramsey.
Corolario 3.2.22 (Ellentuck)
(a) En la topologa exponencial de N[] , las siguientes condiciones
son equivalentes:
(i) S es magro,
(ii) S es nunca denso,
(iii) S es Ramsey nulo.
(b) Un conjunto S N[] es completamente Ramsey si y solo si
tiene la propiedad de Baire en la topologa exponencial.

3.3 Los borelianos son Ramsey


El smbolo
()
expresa que para toda particion del conjunto N[] en dos pedazos,
digamos A y N[] \ A, existe un conjunto infinito H N tal que
todos los subconjuntos infinitos de H estan del mismo lado de la
particion, es decir, H [] A o H [] N[] \ A. En otras palabras,
el smbolo expresa que todo conjunto A N[] es Ramsey.
Del axioma de eleccion se deduce que esto es falso: hay conjuntos
que tienen la propiedad de Ramsey.
42 Captulo 3: Frentes, barreras...

Teorema 3.3.1 (AC)


6 () .

Demostracion. Usando el axioma de eleccion produciremos un


conjunto A que determina una particion de N[] para la cual no
existe conjunto infinito homogeneo.
Listemos en tipo de orden 20 todos los subconjuntos infinitos
de . De modo que N[] = {A : < 20 }. Definamos inducti-
vamente un conjunto A como sigue. Escogemos dos elementos de
[]
A0 , llamemoslos 0 y 0 . Supongamos que hemos definido y
[]
para todo < ( < 20 ), de modo que , A y todos los
[]
, (con < ) son distintos entre s. Entonces, como A tiene
cardinalidad 20 , podemos escoger dos de sus elementos, y ,
distintos entre s y distintos de todos los anteriores , ( < ).
Pongamos A = { : < 20 }. La particion determinada por A no
tiene conjunto homogeneo infinito, ya que cualquier H N[] es
H = A para algun < 20 y por lo tanto , H [] son tales
que A y N[] \ A. 

Sin embargo, la relacion () es consistente con una version


debil del axioma de eleccion llamada axioma de elecciones dependi-
entes (si la existencia de un cardinal inaccesible es consistente con
ZF C). Este resultado fue obtenido por Mathias, quien demostro
que () vale en el modelo de Solovay donde todo conjunto
de numeros reales es medible Lebesgue. (Ver [11, 13]).

Ejercicio 3.3.2 Considere la relacion de equivalencia en N[] dada


por A B si y solo si la diferencia simetrica AB es finita. Es-
cogiendo un representante de cada clase de equivalencia, se puede
definir una particion de N[] en dos pedazos que no admite ningun
conjunto homogeneo. (Sugerencia: defina f (A) = 0 si y solamente
si la diferencia simetrica entre A y el representante de su clase de
equivalencia tiene una cantidad par de elementos).
3.3: Los borelianos son Ramsey. 43

Ejercicio 3.3.3 Dado un A N[] , sea



[
Ao = [0, A(0)) [A(2i + 1), A(2i + 2)), y
i=0

[
Ae = [A(2i), A(2i + 1)).
i=0

Si U es un ultrafiltro no principal en N (vease la definicion mas


adelante), entonces el conjunto {A N[] : Ao U} no es Ramsey.

D. Scott planteo la posibilidad de que para particiones de N[]


definibles en formasencilla, se pudiese demostrar la existencia de
conjuntos homogeneos, lo cual es cierto. Hemos visto que los abier-
tos son Ramsey, y ahora completaremos la demostracion de que
todo boreliano es Ramsey debida a Galvin y Prikry. Para lograr
este resultado, Galvin y Prikry introdujeron el concepto de con-
junto completamente Ramsey y probaron que los conjuntos abiertos
tienen esta propiedad mas fuerte. Luego, dado que el complemento
de un conjunto completamente Ramsey es completamente Ramsey
y que la union de una familia numerable de conjuntos completa-
mente Ramsey es completamente Ramsey, sigue el resultado sobre
los conjuntos borelianos.
Claramente todo conjunto completamente Ramsey es Ramsey,
basta tomar p = y M = .

Lema 3.3.4 El complemento de un conjunto completamente Ram-


sey es completamente Ramsey.

Scada n N, An es un conjunto completamente


Lema 3.3.5 Si para
Ramsey , entonces n An es completamente Ramsey.

Demostracion. Sea p N[<] y M N[] . Como A0 es


completamente Ramsey, existe N0 M [] tal que [p, N0 ] A0
o [p, N0 ] A0 = . Sea a0 N0 . Supongamos que hemos definido
{a0 , a1 , . . . , an } y N0 , N1 , . . . , Nn tales que a0 < a1 < < an , y
44 Captulo 3: Frentes, barreras...

ai Ni para cada i n, y supongamos que para cada i < n y cada


subconjunto q de {a0 , a1 , . . . , ai } , [pq, Ni ] Ai o [pq, Ni ]Ai =
. Como An+1 es completamente Ramsey, usando esta propiedad un
numero finito de veces, podemos hallar Nn+1 Nn tal que para
cada subconjunto q de {a0 , a1 , . . . , an } , [p q, Nn+1 ] An+1 o
[p q, Nn+1 ] An+1 = . Sea an+1 Nn+1 tal que an < an+1 .
De esta manera construimos inductivamente un conjunto infinito
N = {a0 , a1 , . . . }.
Para cada n , el conjunto An es abierto en la topologa
relativa de [p, N ], es decir, An [p, N ] es abierto en [p, N ]. Esto es
as ya que

A0 [p, N ] = o A0 [p, N ] = [p, N ],


y para i 1,

Ai [p, N ] = ({[pq] : q {a0 , . . . , ai1 }, [pq, Ni ] Ai })[p, N ].


S
Por lo tanto, A = n An tambien es abierto en [p, N ], Es
decir, existe un abierto B tal que A [p, N ] = B [p, N ]. Como B
es completamente Ramsey por el Corolario 3.2.20, existe R N []
tal que [p, R] B o [p, R] B = , y por lo tanto [p, R] A o
[p, R] A = .

Teorema 3.3.6 (Galvin - Prikry [9]) Todo subconjunto boreliano


de N[] es Ramsey.

Demostracion. Por los resultados anteriores, todo boreliano es


completamente Ramsey, y de all sigue el teorema.

J. Silver [23] demostro, usando tecnicas metamatematicas, que


todo conjunto analtico es Ramsey, extendiendo el resultado de
Galvin y Prikry. Unos anos mas tarde, E. Ellentuck [4] publico
una prueba topologica del resultado de Silver.
Captulo 4

Teoremas de Canonizacion

4.1 Coloraciones infinitas


Ahora presentaremos una generalizacion del teorema de Ramsey
debida a Erdos y Rado.
Sea a = {x1 , . . . , xr } y sea X r, definimos a  X = {xi : i
X}.
Definicion 4.1.1 Una particion f : B [r] Ord de la coleccion de
los subconjuntos con r elementos del conjunto B es canonica en B
si existe un X r tal que para todo a, b B [r] ,
f (a) = f (b) si y solamente si a  X = b  X.
El conjunto X es unico si existe.
El smbolo de particion
()r
significa para cada f : [r] Ord, existe un conjunto B ,
|B| = , tal que f es canonica en B.
Teorema 4.1.2 ([6]) Para cada numero entero positivo r, vale la
propiedad
()r

45
46 Captulo 4: Teoremas de canonizacion.

Demostracion. Haremos la demostracion por induccion en r.


Para r = 1 el resultado es evidente. Supongamos que r > 1 y
fijemos una particion f : N[r] Ord. Para cada conjunto s =
{x0 , . . . x2r+1 } N[2r+2] , definimos una relacion de equivalencia s
en {0, 1, . . . , 2r + 1}[r] por

u s v si y solo si f ({xi : i u}) = f ({xi : i v}).

Sea {e0 , e1 , . . . , ek1 } una enumeracion de todas las relaciones


de equivalencia en {0, 1, . . . , 2r + 1}[r] , y definamos una particion
g : N[2r+2] k poniendo

g(s) = i si y solo si s = e i .

Aplicando el teorema de Ramsey obtenemos un conjunto B in-


finito homogeneo para g. Sea la relacion de equivalencia s
determinada por cualquier s B [2r+2] (por homogeneidad de B, es
la misma para todos).
Si la relacion es la igualdad, entonces tenemos el resultado
deseado con X = {0, 1, . . . , r 1}.
En caso contrario, existen x, y B [r] , x 6= y tales que f (x) =
f (y). Si x = {x0 , . . . , xr1 }, y = {y0 , . . . , yr1 } en el orden cre-
ciente, y j es el menor i tal que xi 6= yi , entonces para cualquier
par x, y B [r] , la relacion f (x) = f (y) no depende ni del elemento
xj de x ni del elemento de yj de y. De este modo queda reducido
el problema a subconjuntos de B de cardinalidad r j 1, para lo
cual podemos aplicar la hipotesis inductiva. 

Diremos que una particion f : [r] es regresiva si f (a) <


min a para todo a [r] . Un subconjunto B de se dice min-
homogeneo para f si f (a) = f (b) cuando min a = min b.
Expresaremos con el smbolo

()rreg

que para toda funcion regresiva f : [r] existe un conjunto B


min-homogeneo de cardinalidad .
4.2: Coloraciones de barreras. 47

Corolario 4.1.3 Para todo r N, se cumple

()rreg .

Demostracion. Aplicando el Teorema 4.1.2 de canonizacion a la


funcion f , obtenemos conjuntos X y B como en el enunciado. Vere-
mos que B es min-homogeneo. Demostremos primero que X {0}
(es decir, no contiene ningun numero mayor que 0). Si i > 0
pertenece a X, tomando b0 = min B podemos formar infinitos ele-
mentos de a B [r] , a = {a0 , . . . , ar1 }, todos con el mismo primer
elemento a0 = b0 , pero con diferentes ai . Las imagenes por f de
ellos tienen que ser todas distintas entre s, pero por la regresivi-
dad de f , todas deben ser menores que b0 , lo que es imposible. Si
X = , la funcion f es constante, si X = {0}, f (a) = f (b) siempre
que a y b tienen el mismo primer elemento.

4.2 Coloraciones de barreras


Ahora demostraremos un teorema de canonizacion de Pudlak y
Rodl ([20]) que generaliza el teorema 4.1.2 ya que se refiere a frentes
de cualquier rango, y no solamente de rango finito.

Definicion 4.2.1 Una funcion : S es una particion canonica


de S en X si S es una barrera uniforme en X y existe una barrera
uniforme T y una aplicacion f : S T tales que

(a) f (s) s para todo s S,

(b) para todo s, t S, (s) = (t) si y solo si f (s) = f (t).


La clausula (b) es equivalente a

(b) existe una funcion uno a uno : T N tal que para todo
s B, (s) = (f (s)).
48 Captulo 4: Teoremas de canonizacion.

Teorema 4.2.2 [20] Para cada barrera uniforme S en un conjunto


X N[] y cada funcion : S N, existe Y X [] tal que
 (S  Y ) es una particion canonica de S  Y en Y .
Proposicion 4.2.3 ([20]) Sea B una barrera uniforme en X, y
sea h : B N tal que h(s) / s para cada s B. Entonces, existe
[]
Y X tal que h(s)
/ Y para todo s B  Y .
Demostracion. Por induccion en < 1 . Si el rango de B es 0, el
resultado es trivial. Supongamos que vale para frentes de rango <
y sea B de rango . Sea n0 X arbitrario, definimos hn0 en B(n0 )
por hn0 (t) = h({n0 }t). Por la hipotesis inductiva, hay un conjunto
Y0 X [] tal que hn0 (t) / Y0 para todo t B(n0 )  Y0 . Notese que
para cualquier tal t, hn0 (t) 6= n0 . Ahora, sea n1 el primer elemento
de Y0 mayor que n0 . Repetimos el procedimiento con B(n1 ) e Y0 p[ara
obtener Y1 tal que hn1 (t) / Y1 para cada t B(n1 )  Y1 , y n2 Y1
mayor que n1 . Supongamos que hemos definido Yni y ni+1 Yni .
Aplicamos la hipotesis inductiva a B(ni+1 )  Yni y la funcion hni+1
definida en B(ni+1 ) por hni+1 (t) = h({ni+1 } t),, y obtenemos Yni+1
tal que hni+1 (t) / Yni+1 para todo t B(ni+1 )  Yni+1 , y tomamos
ni+2 el primer elemento de Yni+1 mayor que nni+1 .
Sea Z = {ni : i }. Por construccion, dado s = {ni0 , . . . , nik }
B, h(s) / Z \ ni0 . Pero h(s) puede pertenecer a {n0 , . . . ni0 1 }. Us-
ando esto, definimos una particion de B(ni0 ) en un numero finito de
partes, y por el Corolario 3.2.15, podemos suponer que hB(ni0 )
{n0 , . . . ni0 1 } tiene a lo sumo un elemento. Entonces, existe una
funcion f : Z tal que para todo s B  Z, si h(s) Z,
h(s) = f ( min s). Por el teorema de Ramsey, existe un conjunto
infinito Y Z tal que f Y Y = (considerese, por ejemplo, la
particion c : Z [2] 2 dada por c({a, b}) = 0 si y solo si f (a) = b o
f (b) = a). El conjunto Y satisface las propiedades requeridas. 

Proposicion 4.2.4 ([20]) Sean S1 y S2 barreras uniformes, y


1 : S1 N, 2 : S2 N
funciones inyectivas. Entonces, existe A N[] tal que
4.2: Coloraciones de barreras. 49

(i) S1  A = S2  A y 1 (s) = 2 (s) para todo s S1  A, o


(ii) 001 S1  A 002 S2  A = .
Proof. Partimos S1 en dos partes S1 = T1 T2 definidas como
sigue:
T1 = {s S1 : t S2 (1 (s) = 2 (t))} y T2 = S1 \ T1 .
Por el Corolario 3.2.15, existe un conjunto X0 N[] tal que
T1  X0 = S1  X0 es una barrera en X0 , o T2  X0 = S1  X0 es
una barera en X0 .
En el segundo caso, 001 S1  X0 002 S2  X0 = .
Supongamos entonces que ocurre el primer caso. Para cada
s S1  X0 existe solamente un ts S2 con 2 (ts ) = 1 (s).
Partimos S2  X0 de manera similar, es decir, S2  X0 = T10 T20 ,
donde T10 = {t S2  X0 : s S1 (1 (s) = 2 (t))}; y T20 = S2 \
[]
T10 . Como anteriormente, podemos suponer que existe X1 X0
tal que S2  X1 = T10  X1 es una barrera en X1 . Y para cada
t S2  X1 , hay un unico st S1 tal que 2 (t) = 1 (st ).
Ahora, partimos S1  X1 como sigue: S1  X1 = R1 R2 donde
R1 = {s S1  X1 : s = ts } y R2 = {s T1 : s 6= ts }. Como antes,
[]
existe X2 X1 tal que S1  X2 = R1  X2 es un frente en X2 o
S1  X2 = T2  X2 es un frente en X2 .
En el primer caso, S1  X2 S2  X2 , y por la propiedad
de maximalidad de los frentes, obtenemos S1  X2 = S2  X2 .
Claramente, 1 y 2 coinciden all, y por lo tanto tenemos (i).
Podemos suponer entonces que ocurre el segundo caso. Similar-
mente, trabajando con S2 , podemos suponer que S2  X2 es tal que
para cada t S2  X2 se tiene t 6= st
Definimos h : S1  X2 N escogiendo h(s) ts \ s en caso de
que ts \ s es no vaco, y en caso contrario, tomando h(s) un numero
arbitrario fuera de s. Definimos tambien g : S2  X2 N tomando
h(t) en st \ t si es posible, y cualquier numero fuera de t si no.
[]
Por la Proposicion 4.2.3 existe X3 X2 tal que para todo
s S1  X3 , h(s) / X3 , y para todo t S2  X3 , g(s) / X3 .
Tomemos s S1  X3 y t S2  X3 . Si h(s) ts , entonces
ts 6 X3 y por lo tanto 1 (s) 6= 2 (t). Si, por el contrario, h(s)
/ ts ,
50 Captulo 4: Teoremas de canonizacion.

es porque ts s, y en este caso, g(ts ) s \ ts (notese que sts = s).


Pero esto contradice que s X3 . En conclusion, 001 S1  X3 002 S2 
X3 = . 

Demostracion del Teorema 4.2.2. Tomemos S, X y como en


el enunciado del teorema. Podemos suponer que la funcion esta
definida en una familia uniforme. La prueba se hace por induccion
en el rango de la familia.
Para = 0 el resultado es trivial; supongamos entonces que ha
sido demostrado para todo < y sea B, el frente del enunciado,
de rango . Para cada n , definamos

n (s) = ({n} s)

para todo s B(n) . Por la hipotesis inductiva, podemos encontrar


Tn , fn and n , la familia uniforme y las funciones correspondientes
que canonizan n .
Mediante una diagonalizacion sencilla podemos suponer que para
todo n, la funcion n es canonizada por Tn , fn y n en X (n, ).
Tambien podemos suponer que los rangos de las familias Tn son
todos iguales o forman una sucesion creciente.
Notese que tambien se puede suponer que para todo n < m X,
vale lo siguiente si nos restringimos a X/m,

Tn = Tm , y n  Tm = m , o (4.1)
n00 (Tn ) 00 (Tm ) = .

Para probar esto, basta verificar que la propiedad P (m, Y ) de-


finida por para todo n < m la alternativa (4.1) vale relativizada
a Y satisface las hipotesis del Lema 3.2.8; claramente se tiene la
hipotesis (i), y la hipotesis (ii) sigue de la Proposicion 4.2.4.
Por el Teorema de Ramsey (para pares), podemos suponer que
la misma parte de la alternativa vale para todo n; y consideramos
los dos casos.
Caso 1. Para todo n < m, Tn  (m, ) = Tm , y n  Tm = m .
4.2: Coloraciones de barreras. 51

En este caso, definimos Y = X \ {n0 }, donde n0 es el primer


elemento de X, y T = Tn0 , f (s) = fn (s \ {n}) para s B y
n = mins, = n0 .
Claramente, T es un frente en Y , f (s) s para todo s B  Y ,
y es inyectiva. Tambien,

(s) = (n) (s\{n}) = n (fn (s\{n})) = n0 (fn (s\{n})) = (f (s)),

para todo s B  Y y n = min s.


Caso 2. Para todo n < m, n00 (Tn  (m, )) 00 (Tm ) = .
En este caso, el menor elemento de cada s juega un papel en la
canonizacion. Definamos

T = {{n} t : t Tn , n },
f (s) = {n} fn (s \ {n}) para todo s B con min s = n,
(t) = n (t \ {n}) para n = min t.

T es uniforme, ya que Tn es uniforme para cada n y la sucesion


{n : n } es constante o estrictamente creciente. Y es claro que
para todo s, f (s) s.
Para mostrar que es inyectiva necesitamos hacer un trabajo
adicional. Para todo n < m y todo u (n, m], definimos un
conjunto Tn,(u),m y una aplicacion n,(u),m como sigue

v Tn,(u),m si y solo si m < min v y u v Tn ;


y n,(u),m (v) = n (u v) para todo v Tn,(u),m .

Por induccion en la longitud de u se demuestra que Tn,(u),m es


una familia uniforme. Como anteriormente, podemos encontrar un
conjunto X tal que para todo n, m X con n < m y u (n, m]X,
una de las dos condiciones siguientes vale cuando nos restringimos
a X,

Tn,(u),m = Tm y n,(u),m = m , o (4.2)


00 00
n,(u),m Tn,(u),m m Tm = . (4.3)

Dados s, t T , s 6= t, consideramos los siguientes casos,


52 Captulo 4: Teoremas de canonizacion.

(i) si min s = n = min t, entonces (s) = n (s \ {n}) 6=


(t \ {n}) = (t), la desigualdad vale porque n es inyectiva;
(ii) is n =min s < min t = m, y s \ {n} (m, ), tenemos que
(s) 6= (t) por la hipotesis del Caso 2;
(iii) si min s = n < min t = m y s (n, m] es no vaco, sea
u = s (n, m]. Tn,(u),m es uniforme en X/m y

rango(Tn,(s),m ) < rango(Tn ) rango(Tm ).

Y esto implica que se debe cumplir (4.3) ya que (4.2) es imposi-


ble. Concluimos entonces que es inyectiva.
Las funciones y f se comportan tal como es deseado ya que
para todo s B con min s = n,

(s) = (n) (s\{n}) = n (fn (s\{n})) = ({n}fn (s\{n}) = (f (s)).


Captulo 5

Particiones en cardinales no
numerables

5.1 Resultados negativos


Cualquier intento de generalizar el teorema de Ramsey a cardinali-
dades no numerables nos lleva inmediatamente a enunciados nega-
tivos o a considerar algunos axiomas de cardinales grandes. Con-
sideremos una particion F : A[2] 2 donde A es un conjunto no
numerable. El teorema de Ramsey no indica nada sobre la existen-
cia de conjuntos homogeneos no numerables para F . Por supuesto
que el teorema garantiza la existencia de conjuntos homogeneos
infinitos, pero no podemos decir nada sobre su cardinalidad. Si ex-
aminamos la demostracion del teorema, veremos inmediatamente
que el conjunto homogeneo que nos proporciona la construccion
utilizada es numerable. Veamos que, por ejemplo, 1 6 (1 )2 ,
como se deduce del siguiente teorema.

Teorema 5.1.1 (Sierpinski, 1933)

20 6 (1 )2 .

Demostracion. Identificaremos los elementos de 2[2]


0
con suce-
0
siones numerables de ceros y unos. Definimos F : 2 2 por

53
54 Captulo 5: Conjuntos no numerables.

F ({, }) = 0 si y solo si < y la sucesion correspondiente a


es menor que la correspondiente a en el orden lexicografico.
Es decir, para el primer n en el que (las sucesiones correspon-
dientes a) y difieren, (n) = 0 y (n) = 1. Veamos que F
no tiene conjuntos homogeneos de cardinalidad 1 . Claramente,
lo que tenemos que mostrar es que el orden lexicografico de las -
sucesiones de ceros y unos no tiene cadenas de tipo de orden 1
ni cadenas descendientes de tipo de orden 1 invertido. Para ello,
supongamos que C = {f : < 1 } es una cadena de tipo de orden
1 en el orden lexicografico de las sucesiones de ceros y unos. Es
decir, para todo < 1 , f : 2 y si < < 1 entonces
f precede a f en el orden lexicografico. Para cada < 1 , sea
n el primer lugar en el que f y f+1 difieren. Entonces, claro
esta, f (n ) = 0 y f+1 (n ) = 1, y f (i) = f+1 (i) para i < n .
Como 1 es regular, existe n y una subcoleccion D C de
cardinalidad 1 , tal que n = n si f D. Es decir, para toda
f D, f (n) = 0 y f+1 (n) = 1, y f (i) = f+1 (i) para i < n.
Pero si < y f , f D, entonces f  n 6= f  n, ya que si
f  n = f  n, como f y f estan en D, f precedera a f+1
en el orden lexicografico, lo que es imposible. As obtenemos una
coleccion de 1 sucesiones distintas de ceros y unos de longitud n,
y esto es una contradiccion. Analogamente se demuestra que ese
orden lexicografico no tiene cadenas decrecientes de tipo de orden
1 .

Corolario 5.1.2
1 6 (1 )2 .

Demostracion. El corolario sigue del teorema anterior por la


simple observacion de que si ()n y 0 > , entonces tambien
0 ()n . 

Haciendo algunas modificaciones a la demostracion obtenemos


la siguiente generalizacion del teorema.
5.2: Cardinales grandes. 55

Teorema 5.1.3 (Sierpinski, 1933) Para todo cardinal infinito ,

2 6 (+ )2 .

Ejercicio 5.1.4 Demuestre el teorema 5.1.1 identificando 20 con


R. (Sugerencia: Dado un buen orden de R, se define una par-
ticion f : R2 2 poniendo para numeros reales r < s, f (r, s) = 0 si
y solamente si r s. Finalmente, muestre que en R no puede haber
una cadena creciente de tipo de orden 1 ni una cadena decreciente
de tipo de orden 1 invertido).

5.2 Particiones y cardinales grandes


Ahora veremos que la existencia de un cardinal no numerable tal
que ()2 es una hipotesis es bastante fuerte.

Definicion 5.2.1 Sea un cardinal. Un subconjunto A de es


cofinal en si para todo , existe A tal que La
cofinalidad de es el menor ordinal tal que existe una funcion
f : cuya imagen es cofinal en .

Definicion 5.2.2 Un cardinal es un cardinal regular si cof () =


.
es un lmite fuerte si para todo cardinal < se tiene que

2 < . Finalmente, decimos que es inaccesible si es regular y
lmite fuerte.

La cofinalidad de un cardinal es siempre un cardinal regular.

Teorema 5.2.3 (Erdos y Tarski, 1943) Si > y ()2 ,


entonces es fuertemente inaccesible.

Demostracion. Primero veamos que es un cardinal regular.


Supongamos, para llegar a una contradiccion, que = cof () < .
Sea g : una funcion monotona cuya imagen es no acotada en
. Definimos F : [2] 2 como sigue: Para < ,
56 Captulo 5: Conjuntos no numerables.

(
0, si < ( < g() < ),
F (, ) =
1 en caso contrario.

Sea H homogeneo para F , |H| = . Veamos que F H [2] =


{0}. En efecto, sea un elemento de H, como el rango de g es
no acotado en , podemos hallar < tal que < g(), y como
H es no acotado en existe H tal que g() < . Entonces
F (, ) = 0. Por ser H homogeneo, F toma valor 0 en cualquier
otro par de elementos de H. Ahora definimos f : H poniendo
f () = el menor < tal que < g(). Como F H [2] = {0}, f
es una funcion inyectiva de H en , lo que contradice que < .
Ahora probamos que es un lmite fuerte. Supongamos lo con-
trario, y sea < el menor ordinal (menor que ) tal que |2 | .
Fijemos, para cada ordinal < , una funcion f de en 2 de
modo que la asignacion 7 f sea inyectiva.
Definamos F : [2] 2 poniendo

(
0, si < y f precede a f en el orden lexicografico,
F (, ) =
1 en caso contrario.

Sea H un conjunto de cardinalidad homogeneo para F .


Veamos que para cada < existe un < tal que el conjunto
{f  : H, > } tiene un solo elemento. Es decir, todas las
f coinciden en su restriccion a , para los H mayores que .
Fijemos < . Como 2 < , y es regular, existe un conjunto
J H de cardinalidad tal que {f  : J} tiene un solo
elemento. Ahora, como H es homogeneo para F , si 1 < 2 son
dos elementos de J, entonces para cada H tal que 1 < < 2
se tiene f  = f1  . Basta poner igual al primer elemento
de J.
Sea = { : < }. Como < y es regular, entonces
< por ser el supremo de un conjunto acotado en . Entonces,
para cada , H, ambos mayores que , se tiene que para todo
5.2: Cardinales grandes. 57

< , f  = f  y por lo tanto f = f . Esto contradice que


la aplicacion 7 f es inyectiva. 

Otra manera de mostrar que ()2 implica que es lmite


fuerte utiliza propiedades de densidad del orden lexicografico de
2 . Sea L el orden lexicografico de los elementos de 2 que no son
eventualmente constantemente 0. Y sea Q el orden lexicografico de
los elementos de 2 que toman eventualmente valor constante 1. Es
claro que |L | = 2 , y |Q | = 2< < (esta ultima desigualdad
vale por ser regular). Tenemos entonces un orden total L de
cardinalidad con un subconjunto denso de cardinalidad menor
que . De aqu podemos obtener una contradiccion como en la
prueba de la regularidad de , ya que usando la relacion ()2
podemos demostrar que en L existe una sucesion creciente de tipo
de orden o una sucesion decreciente con el tipo de orden de
invertido.

Corolario 5.2.4 En ZF C no se puede demostrar la existencia de


un cardinal no numerable tal que ()2 (suponiendo, por
supuesto, que ZF C es consistente).

Se puede demostrar que si > y ()2 , no solo es


inaccesible, sino que hay muchos cardinales inaccesibles menores
que .
Ahora vamos a demostrar que la propiedad ()2 se puede
caracterizar mediante una propiedad de arboles.

Definicion 5.2.5 Sea un cardinal infinito. Un -arbol es un


arbol de tamano cuyos niveles son todos de cardinalidad menor
que .
Decimos que tiene la propiedad de arbol si todo -arbol tiene
una rama de cardinalidad .

El teorema de Konig (Teorema 1.2.3) dice exactamente que


tiene esta propiedad.
58 Captulo 5: Conjuntos no numerables.

Teorema 5.2.6 (Erdos y Tarski, 1961) Sea un cardinal inacce-


sible. Entonces ()2 si y solo si tiene la propiedad de arbol.

Demostracion. (a) Si ()2 y (A, <A ) es un -arbol en-


tonces podemos suponer que A = (los nodos de A son los ordi-
nales menores que relacionados por un orden <A ). Definimos la
siguiente extension < del orden <A a un orden total: < si y
solo si <A o en el primer nivel del arbol donde y tienen
predecesores distintos, digamos 0 y 0 respectivamente, se tiene
que 0 < 0 .
Ahora definimos F : [2] 2 poniendo, para < , F ({, }) =
0 si y solo si < . Sea H un conjunto homogeneo para F
con |H| = . Usando H definimos un conjunto R poniendo

R = { : tiene sucesores en el arbol pertenecientes a H}.

Es claro que R tiene al menos un elemento en cada nivel del arbol,


ya que si para algun nivel ninguno de sus elementos esta en R
entonces (como hay menos de nodos en ese nivel) H no podra
tener cardinalidad (aqu usamos la regularidad de ). Entonces
|R| = . Por otra parte, todos los elementos de R son comparables
(respecto a <A ) ya que si , R fuesen incomparables, entonces
hay un primer nivel donde y tienen predecesores diferentes, 0
y 0 respectivamente. Entonces como 0 y 0 tienen, cada uno,
sucesores en H, podemos hallar < < todos en H tales que
0 <A , 0 <A y 0 <A . Pero entonces F ({, }) 6= F ({, }) y
contradecimos la homogeneidad de H.
(b) Si tiene la propiedad de arbol y F : [2] 2, obtenemos
un conjunto homogeneo para F construyendo un -arbol como lo
hicimos para el teorema de Ramsey, pero ahora tenemos que usar
la inaccesiblidad de para los niveles del arbol que son lmites.
Como la demostracion es esencialmente la misma, aprovecharemos
para probar el siguiente resultado.

Lema 5.2.7 Si es inaccesible y tiene la propiedad de arbol, en-


tonces para todo n y todo < , ()n .
5.2: Cardinales grandes. 59

Demostracion del Lema. Seguimos el mismo esquema que en la


prueba del teorema de Ramsey, demostrando el lema por induccion
en n. La regularidad de implica que para n = 1 y para todo <
se tiene ()n . Supongamos que el resultado vale para n = m y
sea F : [m+1] una particion en pedazos donde < . Con-
struimos inductivamente un -arbol A = h, <A i. Los primeros m
niveles son 0 < 1 < ... < m 1, y C(m 1) = \ m es el conjunto
de los sucesores potenciales de m 1. Cada vez que pongamos
algun nodo x en el arbol definiremos tambien C(x) el conjunto de
sus sucesores potenciales. Supongamos que x ha sido situado en el
arbol y que C(x) es el conjunto de sus sucesores potenciales. De-
finamos los sucesores inmediatos de x en el arbol. Dividimos C(x)
en clases de equivalencia respecto a la relacion si y solo si
[m]
para todo s Bx se tiene F (s{}) = F (s{}) (donde Bx es el
conjunto formado por x y sus predecesores en A). Pongamos como
sucesor inmediato de x al menor elemento de cada clase; el resto de
la clase es el conjunto de sus sucesores potenciales. Notemos que x
tendra a lo sumo tantos sucesores inmediatos como hay funciones
[m] [m] [m]
de Bx en , es decir, |B | 2|Bx | < (por la inaccesibil-
idad de ). Entonces si el nivel ha sido definido (y tiene <
elementos) el nivel + 1 tendra tambien < elementos (otra vez
por regularidad de ). Sea ahora un ordinal lmite y supongamos
que hemos definido el nivel del arbol para todo < . Dado
un camino de longitud , es decir, un conjunto L linealmente orde-
nado que contiene exactamente un nodo de cada nivel menor que
, consideramos {C(x) : x L}. Si esta interseccion es vaca, L
no tiene un sucesor en el nivel , de lo contrario, ponemos al menor
elemento de la interseccion como el (unico) sucesor de los elemen-
tos de L en el nivel . El resto de {C(x) : x L} es el conjunto
de sus sucesores potenciales. El nivel as construido tiene a lo
sumo tantos elementos como caminos de longitud tiene el arbol
formado por los nodos de nivel menor que . Un poco de aritmetica
de cardinales nos indica que la cardinalidad del nivel es a lo sumo

< |A()|  {A() : < } <


60 Captulo 5: Conjuntos no numerables.

donde A() es el nivel del arbol A. La ultima desigualdad


sigue de que {|A() : < } < por ser < , regular y para
todo < , |A()| < . Esto termina la definicion inductiva de A.
El arbol A es entonces un -arbol y por hipotesis existe una rama R
de cardinalidad . De esta rama extraemos un conjunto homogeneo
como lo hicimos anteriormente para el teorema de Ramsey: Dada
s R[m] , para todo R que se encuentre por encima de s el valor
de F (s {}) es el mismo. As, R[m] queda dividido en partes,
como |R| = , la hipotesis inductiva nos da un H R, |H| = tal
que existe < para el cual, dada s H [m] , para todo R por
encima de s se tiene F (s {}) = . Entonces H es homogeneo
para F . As concluye la demostracion del lema y tambien la del
Teorema. 

Como corolario de la demostracion obtenemos:

Corolario 5.2.8 ()2 si y solo si para todo n y todo


< , ()n .

Existen otras maneras de caracterizar los cardinales inaccesibles


que satisfacen la relacion ()2 . Una de ellas, particularmente
interesante, se refiere a propiedades de compacidad de lenguajes
infinitarios. Esto requiere familiaridad con varios conceptos de la
logica; el lector puede consular [2] sobre este punto. Dados car-
dinales y , sea L el lenguaje que se obtiene anadiendo dos
nuevas operaciones a las reglas de construccion de formulas :

(i) Conjunciones (y disjunciones) infinitas de cardinalidad < ;

(ii) Cuantificacion infinita para bloques de variables de cardinal-


idad menor que .

Definicion 5.2.9 Un cardinal > es debilmente compacto si


para todo conjunto de sentencias de L , tal que || , tal
que todo subconjunto de de cardinalidad < tiene un modelo, se
tiene que tiene un modelo.
5.2: Cardinales grandes. 61

Notese que el teorema de compacidad para L indica que es


debilmente compacto, y por lo tanto, la definicion anterior es la
generalizacion de una propiedad de a cardinales no numerables.

Teorema 5.2.10 Si es inaccesible, entonces es debilmente com-


pacto si y solamente si ()2 
62 Captulo 5: Conjuntos no numerables.
Captulo 6

Teorema de van der


Waerden.

6.1 Elementos de dinamica topologica


Definicion 6.1.1 Un sistema dinamico es un par (X, T ) donde X
es un espacio metrico compacto y T : X X es un homeomor-
fismo.
Para algunas aplicaciones bastara tomar T : X X continua.
Tambien consideraremos sistemas del tipo (X, T1 , . . . , Tk ), donde X
es un espacio metrico compacto y los Ti son homeomorfismos que
conmutan entre s.
Definicion 6.1.2 Dado un sistema dinamico (X, T1 , . . . , Tk ), si Y
X satisface Ti1 Y Y para todo i = 1, . . . , k, decimos que Y es un
conjunto invariante.
Proposicion 6.1.3 Si (X, T1 , . . . , Tk ) es un sistema dinamico, ex-
iste un conjunto cerrado invariante no vaco minimal Y X. Para
un tal Y , y para cada i = 1, . . . , k, Ti  Y es un homeomorfismo en
Y.
Demostracion. Claramente X es un cerrado invariante no vaco.
La interseccion de una cadena decreciente de cerrados invariantes

63
64 Captulo 6: Teorema de van der Waerden.

no vacos es tambien cerrado invariante y no vaco, por lo tanto


por el lema de Zorn, existe un Y X invariante cerrado no vaco
minimal. Es decir, ningun subconjunto propio de Y cerrado es
invariante. En este caso, para cada i = 1, . . . , k, Ti1 Y = Y ya que
de lo contrario Tk1 . . . T11 Y sera un subespacio invariante. 

6.2 Algunas equivalencias


Teorema 6.2.1 (van der Waerden) Para todo r, k N , para toda
particion c : N r existe i < r tal que c1 {i} contiene una pro-
gresion aritmetica de longitud k.

Llamaremos vdW a este enunciado. Siguiendo [14] daremos


otras versiones del teorema antes de comenzar con su demostracion.

vdWf in (version finitista): dados k, r N , existe un N =


N (r, k) N tal que para toda particion c : {1, 2, . . . , N } r, para
algun i < r, el conjunto c1 {i} contiene una progresion aritmetica
de longitud k.

vdWaf (version afn) Para cada particion finita de N, una de las


partes contiene imagenes afines de cada conjunto finito. (Aqu, si
F N[<] es un conjunto finito de numeros naturales, el conjunto
a + bF = {a + bf : f F } es una imagen afn de F ).

vdWdin (Una version de dinamica topologica). Dado k N y


 > 0, para cada espacio metrico compacto (X, ) y toda aplicacion
continua T : X X, existen x X y n N tales que

(x, T in x) <  para cada 1 i < k.

Proposicion 6.2.2 Los enunciados vdWdin y vdW son equiva-


lentes.
6.2: Algunas equivalencias. 65

Demostracion.
vdW vdWdin .
Dado k y dado  > 0, sea T : X X. Tomemos una particion
c : X r en conjuntos de diametro <  (el diametro de cada c1 {i}
menor que , para lo cual hay que tomar r suficientemente grande,
por ejemplo r 1/).
Dado y X, consideremos y, T y, T 2 y, . . . . La particion c induce
una particion c0 en N definida por

c0 (j) = i si y solo si c(T j y) = i.

Sea i tal que c01 {i} contiene una progresion aritmetica a, a + d, a +


2d, . . . a + (k 1)d. Entonces, si ponemos x = T a y, tenemos que

x, T d x, T 2d x, . . . , T (k1)d x

es un conjunto monocromatico contenido en c1 {i}, cuyo diametro


es menor que .

vdWdin vdW .
Sea = {1, . . . , r}N , el conjunto de las particiones de N en r
partes, dotado de la topologa producto. es un espacio metrico
compacto. Consideremos el operador de traslacion (shift) T :
dado por T (n) = (n+1). Es facil verificar que T es una funcion
continua, y que para cada k, T k (n) = (n + k).
Como sabemos, la metrica usual tiene la siguiente propiedad:
1
(, ) < si y solo si (j) = (j) para todo 1 j n.
n

Dada una particion , sea X = {T m : m N}, la clausura


de la orbita de . Observese que T  X es una aplicacion continua
de X en X (la demostracion queda como ejercicio).
Aplicamos ahora vdWdin a (X, T ), para encontrar x X y
n N tales que (x, T in x) < 1 para 1 i < k. En particular,

x(1) = x(n + 1) = x(2n + 1) = = x((k 1)n + 1).


66 Captulo 6: Teorema de van der Waerden.

Como x X = {T m : m N}, existe m N tal que


1
(x, T m ) < .
(k 1)n + 1
De aqu sigue que
x(1) = T m (1) = T m (n + 1) = = T m ((k 1)n + 1),
es decir,

x(1) = (m + 1) = (m + 1 + n) = (m + 1 + 2n) = =
(m + 1 + (k 1)n).
Por lo tanto,
(m + 1), (m + 1) + n, (m + 1) + 2n, . . . , (m + 1) + (k 1)n
es una progresion aritmetica monocromatica de longitud k.

Ejercicio 6.2.3 Demuestre que la funcion T  X de la demostracion


es continua de X en X.
Ejercicio 6.2.4 Demuestre que vdW , vdWf in y vdWaf son equi-
valentes.
(vdWaf vdW es inmediato ya que para F = {0, 1, 2, . . . , k},
una imagen afn a + dF = {a, a + d, a + 2d, . . . , a + kd} es una
progresion aritmetica.
Para demostrar que vdW vdWaf , dado F finito, tomamos
n suficientemente grande para tener que F {0, 1, . . . , n}, y en-
tonces si a, a+d, . . . , a+nd es una progresion aritmetica monocroma-
tica, lo mismo vale para a + dF {a, a + d, . . . , a + nd}).
Ejercicio 6.2.5 Demuestre que si vdWf in vale para r = 2 y todo
k, entonces vale para todo r y k.
Ejercicio 6.2.6 Demuestre que vdW , y vdWaf son equivalentes
a las versiones que se obtienen reemplazando N por Z en sus enun-
ciados. (En una direccion basta considerar coloraciones simetricas
de Z).
6.3: van der Waerden multidimensional. 67

6.3 Teorema de van der Waerden mul-


tidimensional
El teorema de van der Waerden admite una generalizacion natural
multidimensional debida a Gallai. Quizas la forma mas facil de
enunciarla es generalizando vdWaf a varias dimensiones:

M vdWaf Para cada entero positivo k, y cada particion finita


de Zk , una de las partes contiene imagenes afines de cada subcon-
junto finito de Zk .

Notese que hemos usado Z en vez de N.


El siguiente enunciado de dinamica topologica es equivalente
([8]) :

M vdWdin . Sean k N , y  > 0. Si X es un espacio metrico


compacto y T1 , T2 , . . . , Tk son homeomorfismos de X que conmutan
entre s, existe x X y n N tales que (x, Tin x) <  para todo
1 i k.

Veamos que M vdWdin sigue de M vdWaf . Dados k N , y


 > 0, X espacio metrico compacto y T1 , T2 , . . . , Tk homeomorfismos
de X que conmutan entre s, tomamos U1 , U2 , . . . , Ur un cubrim-
iento de X por conjuntos disjuntos dos a dos de diametroSmenor
que . Fijamos y X y definimos una particion Zk = ri=1 Ci
poniendo

(n1 , . . . , nk ) Ci si y solo si T1n1 . . . Tknk y Ui .

Por M vdWaf , uno de los Ci contiene imagenes afines del con-


junto F = {(0, . . . , 0), (1, 0, . . . , 0), (0, 1, . . . , 0), . . . (0, . . . , 0, 1)}. es
decir, existen (n1 , . . . , nk ) Zk , y n Z, n 6= 0, tales que

(n1 , . . . , nk ) + nF Ci ,

esto es, {(n1 , . . . , nk ), (n1 + n, . . . , nk ), . . . , (n1 , . . . , nk + n)} Ci .


68 Captulo 6: Teorema de van der Waerden.

Sea x = T1n1 . . . Tknk y, entonces {x, T1n x, . . . , Tkn x} Ui , y como


el diametro de Ui es menor que , esto termina la demostracion.
Se pueden formular versiones multidimensionales M vdW y
M vdWf in del teorema de van der Waerden analogas a vdW y
vdWf in que resultan equivalentes a M vdWaf .

Ejercicio 6.3.1 Demuestre que M vdWdin implica M vdWaf

Ahora demostraremos M vdWdin


Consideremos los siguientes enunciados, tambien siguiendo la
demostracion de [14].
(Sk ) Para cada  > 0 y cada espacio metrico compacto (X, ),
si T1 , T2 , . . . , Tk son homeomorfismos de X en Xque conmu-
tan entre s, entonces existen x X y n N, tales que
(x, Tin x) <  para cada 1 i k.

(Tk ) Para cada  > 0 y cada espacio metrico compacto (X, ),


si T1 , T2 , . . . , Tk , R son homeomorfismos de X en Xque con-
mutan entre s, y (X, T1 , . . . , Tk , R) es un sistema dinamico
minimal, entonces para todo abierto U X no vaco, existe
n tal que

U T1n U T2n U Tkn U 6= .

En otras palabras, existen x y n tal que {x, T1n x, T2n x, . . . , Tkn x}


U.
Para demostrar M vdWdin basta probar Sk para todo k, y esto
lo haremos mostrando que para todo k N , Sk Tk , y Tk
Sk+1 .

Ejercicio 6.3.2 Demuestre el enunciado S1 . (Basta ver que la


orbita de cualquier x X tiene un punto de acumulacion).

Demostracion de Sk Tk .
Sea (X, T1 , . . . , Tk , R) un sistema dinamico minimal invariante,
y sea U X un abierto no vaco. Dado u U y  > 0 tales que
6.3: van der Waerden multidimensional. 69

B (u) U (donde B (u) es la bola de radio  con centro u), sea


V = B/2 (u).
Sea G el grupo de homeomorfismos generado por T1 , T2 , . . . , Tk , R.
Por la minimalidad del sistema (X, T1 , . . . , Tk , R), se tiene que
[
S 1 V = X.
SG

De hecho, el conjunto SG S 1 V es abierto, y si su complemento


S
en X fuese no vaco, sera un sistema invariante mas pequeno.
Por
S la compacidad de X, existen S1 , . . . , Sr G tales que X =
1
1ir S V . Tomemos tal que para todo 1 i r
(x, y) < (Si x, Si y) < /2.
Demuestre como ejercicio que tal existe.
Por Sk , existen y X y n N tales que (y, Tin y) < para 1
i k. Fijemos j {1, . . . , r} tal que y Sj1 V , y pongamos x =
Sj y. Entonces x V , y por la escogencia de , como (y, Tin y) < ,
tenemos que (x, Tin x) < /2 para 1 i k. De aqu sigue que
{x, T1n x, . . . , Tkn x} U , es decir, x U Tin U Tkn U .

Demostracion de Tk Sk+1 .
Daremos la demostracion para el caso k = 2, y dejamos al lector
la prueba del caso general.
Sea (X, T1 , T2 , T3 ) un sistema dinamico, es decir, (X, ) un es-
pacio metrico compacto y T1 , T2 , T3 homeomorfismos de X que con-
mutan entre s. Sin perdida de generalidad, podemos suponer que
(X, T1 , T2 , T3 ) es minimal, y en este caso, el sistema
(X, T1 T31 , T2 T31 , T3 )
es tambien un sistema minimal. En efecto, si existe Y X cerrado
invariante respecto a T1 T31 , T2 T31 , T3 , entonces Y es invariante
respecto a T1 , T2 , T3 . Para ver esto, tomamos x tal que T1 x Y .
Entonces, y = T3 x Y , ya que T1 T31 y = T1 x Y . Como y Y y
este conjunto Y es invariante bajo T3 , tenemos que x = T31 y Y .
Analogamente para T2 .
70 Captulo 6: Teorema de van der Waerden.

Sea entonces  > 0 dado, y sea U0 un abierto no vaco de


diametro menor que /2. Como (X, T1 T31 , T2 T31 , T3 ) es minimal,
por T2 existe n1 tal que

U0 (T1 T31 )n1 U0 (T2 T31 )n1 U0 6= .

Sea U1 un abierto no vaco de diametro < /2 tal que

U1 T3n1 (U0 (T1 T31 )n1 U0 (T2 T31 )n1 U0 ) =


= T1n1 U0 T2n1 U0 T3n1 U0 .

Supongamos que hemos escogido U0 , U1 , . . . , Ul abiertos no vacos


de diametro < /2, y n1 , n2 , . . . , nl tales que para 1 i < j l se
tiene

(nj +nj1 ++ni+1 ) (nj +nj1 ++ni+1 ) (nj +nj1 ++ni+1 )


Uj T1 Ui T2 Ui T3 Ui
(6.1)
Ahora escogeremos Ul+1 y nl+1 tales que la expresion anterior
vale para j tal que 1 i < j l + 1.
Por T2 existe nl+1 tal que

Ul (T1 T31 )nl+1 Ul (T2 T31 )nl+1 Ul 6= .

Sea Ul+1 un abierto no vaco de diametro < /2 tal que

nl+1
Ul+1 T3 (Ul (T1 T31 )nl+1 Ul (T2 T31 )nl+1 Ul ) =
nl+1 nl+1 nl+1
= T1 Ul T2 Ul T3 Ul .

Usando esto junto con el caso j = l, obtenemos

(nl+1 ++ni+1 ) (nl+1 ++ni+1 ) (nl+1 ++ni+1 )


Ul+1 T1 Ui T2 Ui T3 Ui
(6.2)
para todo 0 i l + 1.
6.3: van der Waerden multidimensional. 71

As, obtenemos sucesiones {Ui }


i=0 y {ni }i=0 tales que la ecuacion
(6.1) vale para todo l N.
Escojamos para cada n N, xn Un . Por compacidad, existen
i < j tales que (xi , xj ) < /2. Mas aun, la ecuacion (6.1) nos dice
que si n = nj + nj1 + + ni+1 , entonces

{T1n xj , T2n xj , T3n xj } Ui .

Tambien xi Ui , y por lo tanto, como el diametro de Ui es < /2,


se tiene que (xj , Tin xj ) <  para i = 1, 2, 3. Nuestro x es entonces
xj . 

Ejercicio 6.3.3 Demuestre que para todo k, Tk Sk+1

Notese que M vdWdin esta enunciado en terminos de homeo-


morfismos, en cambio vdWdin fue enunciado en terminos de fun-
ciones continuas. Para demostrar que vdWdin implica vdW us-
amos el shift T , que no es una funcion inyectiva en las r coloraciones
de N .
Para terminar la demostracion del Teorema de van der Waerden,
necesitamos verificar que M vdWdin implica vdWdin . Observemos
primero que de M vdWdin sigue inmediatamente una version de
vdWdin para homeomorfismos. El operador shift para coloraciones
de los enteros , T : rZ rZ s es un homeomorfismo, y por lo tanto,
de la version de vdWdin para homeomorfismos, podemos demostrar
como antes la siguiente version del teorema de van der Waerden;

Teorema 6.3.4 Dados r, k N , Para toda r-coloracion de Z, ex-


iste una progresion aritmetica ( en Z) monocromatica con k terminos.

Para pasar de aqu al teorema de van der Waerden tal como lo


enunciamos al principio de la seccion, basta considerar coloraciones
simetricas.
72 Captulo 6: Teorema de van der Waerden.
Captulo 7

Filtros, ultrafiltros y
semigrupos topologicos.

7.1 Filtros y ultrafiltros


Definicion 7.1.1 Una coleccion F de subconjuntos de un conjunto
no vaco I es un filtro si
i) I F
ii) Si A F y A B, entonces B F
iii) Si A, B F entonces A B F.

Notese que si F entonces F = P(I), y en ese caso decimos


que el filtro es trivial.
Ejemplos:
a) Consideremos un conjunto infinito I, el conjunto de los sub-
conjuntos de I cuyo complemento es finito forma un filtro (llamado
el filtro de Frechet).
b) Sea I un conjunto no vaco y A I. La coleccion {B I :
A B} es un filtro, y se llama el filtro generado por A.

Definicion 7.1.2 Un filtro U sobre un conjunto I se llama un ul-


trafiltro si para todo A I se tiene A U I \ A
/ U.

73
74 Captulo 7: Ultrafiltros y semigrupos topologicos.

Ejercicio 7.1.3 i) Demuestre que un ultrafiltro es siempre un


filtro no trivial.

ii) Demuestre que un filtro F es un ultrafiltro si y solo si F es un


filtro maximal no trivial (es decir, el unico filtro que contiene
propiamente a F es el filtro trivial).

Sea I un conjunto no vaco. El filtro generado por un subcon-


junto unitario de I es un ultrafiltro, en otras palabras, si a I,
{A I : a A} es un ultrafiltro, y se llama el ultrafiltro princi-
pal generado por a. La existencia de ultrafiltros no principales en
conjuntos infinitos es una consecuencia del Axioma de Eleccion .

Teorema 7.1.4 (AE) Existe un ultrafiltro no principal sobre N.

Demostracion. Usando el lema de Zorn, extendemos el filtro de


Frechet sobre N a un filtro maximal no trivial.

Notese que de la misma manera se demuestra la existencia de


ultrafiltros no principales en cualquier conjunto infinito I.
A continuacion damos una demostracion del teorema de Ramsey
usando ultrafiltros.

Teorema 7.1.5 (Ramsey) Dado k N, para toda particion finita


de N[k] existe un conjunto H N infinito tal que H [k] esta contenido
en una de las partes de la particion.

Demostracion. Fijemos un ultrafiltro no principal U en N. Para


cada k, definimos un ultrafiltro no principal en N[k] como sigue:
para X N[k] , X U k si y solo si

{n0 : {n1 : . . . {nk1 : {n0 , n1 , . . . , nk1 } X} U . . . } U} U.

Por ejemplo, para k = 2, X U 2 si el conjunto de los ns tales que la


seccion Xn de X esta en el ultrafiltro U es, a su vez, un elemento del
ultrafiltro U. Aqu, la seccion Xn es el conjunto {m : {n, m} X}.
Es facil demostrar que U k es un ultrafiltro no principal en N[k] .
7.2: Semigrupos topologicos. 75

Para evitar complicaciones de notacion demostramos el teorema


solo para el caso k = 2. Dada una particion finita de N[2] , una de
las partes, llamemosla P , pertenece a U 2 .
Como A = {n : Pn U} U, este es un conjunto infinito. Sea
n0 su primer elemento. Sea ahora n1 el primer elemento de A Pn0
mayor que n0 . Si suponemos que hemos definido inductivamente
T0j < n1 , < nj , tomamos como nj+1 el primer elemento de A
n
i=0 Pni mayor que nj . Esto es posible ya que para cada i = 0, . . . j,
la seccion Pni U y por lo tanto la interseccion tambien lo esta y
por lo tanto es un conjunto infinito. El conjunto H = {n0 , n1 , . . . }
satisface la propiedad deseada: dados ni , nj , con i < j, por la
construccion de H, nj Pni , luego {nj , ni } P .

Ejercicio 7.1.6 Demuestre que si U es un ultrafiltro no principal


en N, entonces para cada k, U k es un ultrafiltro no principal en
N[k] .
Denotemos por N el conjunto de todos los ultrafiltros en N.
Para cada A N, sea A = {U N : A U}. La coleccion de
los subconjuntos de N de la forma A, con A N, es una base
N
para la topologa de N considerado como subespacio de 22 con
N
la topologa producto. Como el espacio 22 es compacto (con la
N
topologa producto) y N 22 es un cerrado, N es por lo tanto
un espacio de Hausdorff compacto.
Para cada n N, el conjunto {n} consiste de un solo ultrafiltro,
el ultrafiltro principal generado por n. De modo que los ultrafiltros
principales son puntos aislados en N. Por otra parte, es facil ver
que el conjunto de los ultrafiltros principales en N es denso en N.
Lo mismo vale para el espacio I de ultrafiltros en un conjunto
infinito I.

7.2 Semigrupos topologicos


Un semigrupo es un conjunto S con una operacion binaria : S
S S asociativa, es decir para x, y, z S, x (y z) = (x y) z.
76 Captulo 7: Ultrafiltros y semigrupos topologicos.

Algunas veces escribiremos simplemente xy en vez de x y.


Un semigrupo compacto, es un semigrupo S con una topologa
de Hausdorff compacta, para la cual la funcion

x 7 xs

es continua para cada s S.

Ejemplo 7.2.1 Si X es un espacio de Hausdorff compacto, en-


tonces X X es tambien compacto por el teorema de Tychonov, y es
un semigrupo respecto a la operacion de composicion ya que para
cada g X X , la operacion f 7 f g es continua. Notese que la
composicion por la derecha f 7 g f no es necesariamente con-
tinua, a menos que g sea una funcion continua.

Teorema 7.2.2 (Ellis) Cada semigrupo compacto posee un idem-


potente.

Demostracion. Sea S un semigrupo compacto. Usando el Lema


de Zorn, podemos hallar un subsemigrupo compacto R S mini-
mal. Sea s R un elemento arbitrario. Claramente, Rs es tambien
un subsemigrupo compacto de S, y Rs R. Por la minimalidad
de R tenemos que Rs = R. Sea P = {x R : xs = s}. El conjunto
P no es vaco, ya que s R = Rs y entonces existe x R tal que
xs = s. Notese que P es tambien un subsemigrupo compacto de S,
y por la minimalidad de R, P = R. Tenemos entonces que s P ,
y entonces s2 = s.

Sea S un semigrupo compacto. Un ideal izquierdo de S es un


subconjunto no vaco I de S tal que SI I. Un ideal derecho es
un subconjunto no vaco I S tal que IS I. Un ideal bilateral
de S es un subconjunto de S que es a la vez un ideal izquierdo y
un ideal derecho.

Lema 7.2.3 Todo ideal izquierdo de S contiene un ideal izquierdo


minimal.
7.2: Semigrupos topologicos. 77

Demostracion. Sea I un ideal izquierdo de S. Consideremos el


conjunto

J = {J I : J es un ideal izquierdo compacto }.

Notese que J 6= ya que si a I entonces Sa es compacto. Si C es


una cadena en J , entonces C es cerrado y es un ideal izquierdo.
Por el lemma de Zorn, J tiene un elemento minimal J0 . Veamos
que J0 es un ideal izquierdo minimal. Supongamos que K J0 es
un ideal izquierdo, y sea a K. Entonces S a es un ideal izquierdo
cerrado, y por lo tanto compacto, de S. Pero S a K J0 . Por
minimalidad de J0 , Entonces K = J0 .

Ejercicio 7.2.4 Demuestre que para cada x S, Sx es un ideal


izquierdo cerrado. Concluya que cada ideal izquierdo minimal es
cerrado; y que si un ideal izquierdo es minimal entre los ideales
izquierdos cerrados, entonces es minimal entre todos los ideales
izquierdos.

Definimos una relacion transitiva y antisimetrica en S del modo


siguiente
x y si y solo si xy = yx = x.
Notese que x x si y solo si x2 = x. Luego, es un orden
parcial en los idempotentes de S.

Lema 7.2.5 Todo idempotente perteneciente a un ideal izquierdo


minimal es minimal en el orden de los idempotentes de S.

Demostracion. Sea y un idempotente que pertenece a un ideal


izquierdo minimal I de S, y sea x y un idempotente. Como
xy = x, tenemos que x I, y por lo tanto, Ix = I. Tomemos z I
tal que zx = y. Entonces, yx = zx2 = zx = y. Pero como x y,
tenemos que yx = x, y por lo tanto x = y.
78 Captulo 7: Ultrafiltros y semigrupos topologicos.

Lema 7.2.6 Si y es un idempotente en S, entonces existe un ideal


izquierdo minimal I y un idempotente x I tal que x y.
Demostracion. Sabemos que Sy es un ideal izquierdo cerrado.
Sea I Sy un ideal izquierdo minimal. Por el teorema 7.2.2, existe
un idempotente w I Sy. Sea v S tal que w = vy. Pongamos
x = yw(= yvy). Notese que x I, ya que w I. Entonces,
x2 = yvyyvy = yvyvy = yw2 = yw = x.
y por lo tanto x es un idempotente.
Veamos que x y. Por una parte,
yx = yyw = yw = x,
y por la otra,
xy = yvyy = yvy = x.


Corolario 7.2.7 Un idempotente es minimal en el orden si y


solamente si pertenece a algun ideal izquierdo minimal.
Demostracion. El lema 7.2.5 es la implicacion de derecha a izquierda,
asi que solamente falta demostrar la implicacion de izquierda a
derecha. Sea y un idempotente minimal. De acuerdo con el lema
7.2.6 existe un idempotente x y perteneciente a un ideal izquierdo
minimal I. Pero como y es minimal en el orden , se tiene que
x = y, y por lo tanto y I.

Corolario 7.2.8 Si J es un ideal bilateral de S, todo idempotente


minimal pertenece a J.
Demostracion. Sea J un ideal bilateral de S, y sea y un idempotente
minimal. Existe un ideal izquierdo minimal I tal que y I. JI
I J, y por lo tanto I J 6= . Observemos que I J es un ideal
izquierdo contenido en I, y por la minimalidad de I, I J = I, y
entonces I J. Concluimos que y J.
7.3: Semigrupos de ultrafiltros. 79

Corolario 7.2.9 Si y es un idempotente de S y J es un ideal bi-


lateral, existe un idempotente minimal x J tal que x y.

Demostracion. Sea y un idempotente. Por los lemas 7.2.5 y 7.2.6,


existe un idempotente minimal x y. Por el corolario 7.2.8, x
J.

7.3 Semigrupos de ultrafiltros


Si S es un semigrupo, sea S el espacio de todos los ultrafiltros en
S
S. Notese que S es un subespacio cerrado de 22 , y por lo tanto
es un espacio compacto de Hausdorff con la topologa generada por
los conjuntos de la forma

A = {U S : A U}, donde A S.

Extendemos la operacion del semigrupo S a una operacion en


S poniendo

U V = {A S : {x S : {y S : x y A} V} U}.

Sera conveniente usar la siguiente notacion:

A/x = {y S : x y A}.

De modo que U V = {A S : {x S : A/x V} U}.

Lema 7.3.1 U V S para todo U, V S

Demostracion. Es claro que / U V. Notese que si A B,


entonces A/x B/x y {x S : A/x V} {x S : B/x V}.
Luego, si A U V, {x S : A/x V} U, y tambien {x S :
B/x V} U. Por lo tanto B U V,
Notese que A/x B/x = (A B)/x, por lo que {x : A/x
V} {x : B/x V} = {x : A/x B/x V} = {x : (A B)/x V}.
Si A, B U V, sigue que A B U V.
80 Captulo 7: Ultrafiltros y semigrupos topologicos.

Si A / U V, entonces {x S : A/x V} / U, y luego


{x S : A/x / V} = {x S : S \ A/x V} U. Pero
S \ A/x = (S \ A)/x, y por lo tanto S \ A U V.

Lema 7.3.2 U (V W) = (U V) W
Demostracion. A (U V) W si y solo si {x S : A/x W}
U V si y solo si {y S : {x S : A/x W}/y V} U.
Por otra parte, A U (V W) si y solo si {x S : A/x
V W} U, si y solo si {x S : {y S : (A/x)/y W} V} U,
Ahora, (A/x)/y = {z : z y x A}, y {z : A/z W}/x =
{y : x y {z : A/z W} = y : {z : x y z A} W}. Por lo
tanto A U (V W) si y solo si {x S : {y S : A/y W}/x
V } U. 

Lema 7.3.3 Para cada V S, la funcion U 7 U V es continua


de S en S.
Demostracion. Basta verificar que para cada A S, el conjunto
O = {U S : A U V} es abierto. Sea U {U S : A
U V}, entonces B = {x : A/x V} U. Veamos que la vecindad
B esta contenida en O. Sea W tal que B W, entonces A W V,
y luego W O.

Corolario 7.3.4 Para cada semigrupo (S, ), el espacio (S, ) es


un semigrupo compacto.
Corolario 7.3.5 Para cada semigrupo (S, ), existe un ultrafiltro
U S tal que U U = U.
Dados con juntos infinitos X e Y , cualquier funcion f : X Y
se puede extender a una funcion f : X Y de la manera
siguiente: dado U X, si B Y ,
B f (U) si y solo si f 1 B U.
Si X y Y son semigrupos, y f : X Y es un homomorfismo,
entonces f : X Y es tambien un homomorfismo.
7.3: Semigrupos de ultrafiltros. 81

Ejercicio 7.3.6 Sea S un semigrupo y sea I S un ideal izquierdo


(derecho). Demuestre que I es un ideal izquierdo (derecho) de S.
82 Captulo 7: Ultrafiltros y semigrupos topologicos.
Captulo 8

Teorema de Hindman

8.1 Sumas finitas, uniones finitas.


El teorema de Hindman es una version infinitaria del teorema de
Schur generalizado, y tambien se puede expresar en terminos de
sumas finitas o de uniones finitas.

Teorema 8.1.1 (Hindman) Para toda coloracion finita de N , ex-


iste una sucesion infinita {x1 , x2 , . . . } tal que F S({x1 , x2 , . . . }),
el conjunto de sumas finitas sin repeticiones de elementos de la
sucesion, es monocromatico.

Notese que este teorema implica el teorema de Schur general-


izado (teorema de Folkman)
El siguiente enunciado es una version conjuntista del teorema
de Hindman.

Teorema 8.1.2 Para toda coloracion finita de N[<] existe una


coleccion infinita {a1 , a2 , . . . }de conjuntos finitos disjuntos dos a
dos tal que el conjunto F U ({a1 , a2 . . . . }) de las uniones finitas de
elementos de la coleccion, es monocromatico.

Para demostrar que este enunciado implica el teorema 8.1.1 , s


e puede usar la biyeccion entre N y N[<] dada por la funcion

83
84 Captulo 8: Teorema de Hindman.

que a cada P conjunto finito a de numeros naturales le asigna el


i
numero ia 2 . Notese que a la union de dos conjuntos disjun-
tos le corresponde por esta biyeccion la suma de los numeros que
le corresponden a cada uno de los conjuntos. Dada una coloracion
finita de N , definimos una coloracion auxiliar de N[<] asignandole
a cada conjunto finito a el color del numero de le corresponde
por la biyeccion. Si {a1 , a2 , . . . } es una sucesion de conjuntos
finitos disjuntos dos a dos tal que el conjunto F U ({a1 , a2 . . . . })
es monocromatico, usando la biyeccion obtenemos una sucesion
{x1 , x2 , . . . } tal que F S({x1 , x2 , . . . }) es monocromatico. La im-
plicacion recproca es menos obvia, y la dejamos como ejercicio.

Ejercicio 8.1.3 Demuestre que el teorema de Hindman para sumas


finitas implica la version para uniones finitas.

A continuacion daremos una demostracion del Teorema de Hind-


man debida a Glazer. Esta demostracion utiliza la teora de semi-
grupos compactos.

El conjunto de funciones de 2N en 2 con la topologa producto
es un espacio compacto. Y el espacio N de los ultrafiltros en N ,
es un subespacio cerrado y por lo tanto compacto. Los conjuntos
{U : A U}, con A N constituyen una base para la topologa.
Extendemos la operacion + en N al espacio de ultrafiltros del modo
siguiente:

U + V = {A : {n : {m : m + n A} V} U}.

Con esta operacion, el conjunto de los ultrafiltros en N es un


semigrupo compacto, y por lo tanto existe un ultrafiltro U idempo-
tente.
Para cada A N , definamos A0 = {n : A n U}
Sea c : N r una coloracion finita. Como U es un ultrafiltro,
existe un conjunto A0 U monocromatico. Como A0 U = U + U,
se tiene que A0 0 U, y por lo tanto tambien A0 A0 0 U. Sea
a0 A0 A0 0 , y pongamos A1 = (A0 (A0 a0 )) \ {a0 }. Notese que
A1 A0 y tambien a0 + A1 A0 . Sea a1 A1 A1 0 , y pongamos
8.2: Demostracion de Baumgartner. 85

A2 = (A1 (A1 a1 )) \ {a1 }. Tenemos entonces que A2 A1 y


tambien a1 +A2 A1 . Supongamos que ya hemos definido An , y sea
an An An 0 . Pongamos An+1 = (An (An an )) \ {an }. Tenemos
que An+1 An , y an + An+1 An . Tomamos an+1 An+1 An+1 0 .
Asi terminamos la definicion inductiva de las sucesiones {An } n=0 y
{an }
n=0 .
Pongamos X = {a0 , a1 , a2 , . . . }, entonces F S(X) A0 . Para
mostrar esto, notese primero que si i < j, entonces Aj Ai Ai 0 .
Luego, si a Aj , entonces ai +aj Ai . Si tomamos an1 , an2 , . . . ank ,
con n1 < n2 < < ak , entonces ank1 + ank Ank1 , y ank2 +
ank1 + ank Ank2 , e inductivamente llegamos a an1 + + ank
An1 A0 . 

8.2 La demostracion de Baumgartner.


La demostracion original del teorema de Hindman es de caracter
combinatorio, y aunque elemental, es bastante complicada. James
Baumgartner dio una demostracion simplificada de la version del
teorema con uniones finitas que presentamos a continuacion.
Primero necesitamos introducir algo de notacion y algunas defini-
ciones.
Decimos que un conjunto B N[<] es una sucesion basica si
B = {xi }i=0 y para cada i, max xi < min xi+1 . Analogamente
definimos sucesiones basicas finitas. En general para x, y N[<] ,
escribiremos x < y para abreviar max x < min y.
Dada una sucesion basica B = {xi } (finita o infinita), usaremos
[B] para denotar el conjunto F U (B) de uniones finitas de B, ex-
cluyendo la union vaca, es decir, si I es el conjunto de ndices de
B,

[
[B] = { xi : F es un subconjunto finito no vaco de I}.
iF
86 Captulo 8: Teorema de Hindman.

Definicion 8.2.1 Sea B N[<] una sucesion basica infinita.


Decimos que X N[<] es grande para B si X [B 0 ] 6= para
cada sucesion basica infinita B 0 [B].

De la definicion sigue inmediatamente lo siguiente.

1. Si X es grande para B, y B 0 [B], entonces X es grande


para B 0 .

2. Para toda sucesion basica B, [B] es grande para B. En par-


ticular, N[<] es grande para N[1] .

3. Si X es grande para B, entonces tambien lo es X/n = {x


X : n < x} para cualquier n N.

4. Si X es grande para B, y X X 0 , entonces X 0 es grande


para B.

5. X es grande para B si y solo si X [B] es grande para B.

6. Si X es grande para B y X = Y Z, entonces uno de los


conjuntos Y o Z es grande para algun B 0 [B]. Mas gen-
eralmente, si X = X1 Xn , entonces existe un Xi grande
para algun B 0 [B].

La demostracion del teorema seguira de una serie de lemas.

Lema 8.2.2 Supongamos que X es grande para B. Existe un con-


junto finito F [B] tal que para cada x [B] tal que b < x para
todo b F , existe un b F tal que b x X

Demostracion. Suponiendo lo contrario construimos una sucesion


0
B = {x0 , x1 , . . . } tal que bxn+1 / X para todo b [{x0 , . . . , xn }].
Sea B = {b0 , b1 , . . . }, y supongamos que para todo conjunto
finito F [B] existe x [B] tal que para todo b F , b < x y
bx / X.
Ponemos x0 = b0 . Sea x1 [B] tal que x0 < x1 , x0 x1 / X.
Si ya se han definido x0 , . . . , xn , aplicamos nuestra suposicion para
8.2: Demostracion de Baumgartner. 87

el conjunto F = [{x0 , . . . , xn }] para hallar un elemento xn+1 de [B]


tal que xn < xn+1 y para todo b [{x0 , . . . , xn }], b xn+1
/ X. De
la sucesion basica B es facil obtener otra sucesion basica B 00 [B 0 ]
0

tal que [B 00 ] X = , contradiciendo que X es grande para B.

Lema 8.2.3 Supongamos que X es grande para B. Entonces existe


un b [B] tal que Xb = {x X : b < x, b x X} es grande para
algun B 0 [B].

Demostracion. Sea F como en el lema 8.2.2. Tomemos B 0 B


tal que para todo b B 0 y f F , f < b. Por el lema 8.2.2, se tiene
que X [B 0 ] bF Xb . En efecto, para cada x X [B 0 ], existe
S
b F tal que b x X, y por lo tanto x Xb . Ademas, X [B 0 ]
es grande para B 0 . Esto induce una descomposicion de X [B 0 ] en
un numero finito de partes. Aplicando los hechos enumerados mas
arriba, obtenemos un b F y un B 00 [B 0 ] tales que Xb es grande
para B 00 .

Lema 8.2.4 Si X es grande para B, entonces existe un B 0 [B]


tal que [B 0 ] X.

Demostracion. Aplicamos el lema 8.2.3 repetidas veces para


construir sucesiones {bi }
n=0 , {Xi }n=0 , {Bi }n=0 con las propiedades
siguientes:

1. B0 = B, X0 = X, Xn+1 Xn y Bn+1 [Bn ], para todo n,

2. bn [Bn ],

3. Xn es grande para Bn ,

4. {bn }
n=0 es una sucesion basica,

5. bn x Xn para todo x Xn+1 .


88 Captulo 8: Teorema de Hindman.

Ahora construimos una sucesion basica B 0 = {xn } n=0 como



sigue. Sea x0 [{bn }n=0 ]X. Supongamos que tenemos x0 , . . . xn1 ,
y sea kn = max{k : bk x0 xn1 }. Tomamos xn
Xkn +1 [{bi : kn < i}].
Para terminar la demostracion, veamos que [B 0 ] X. Sea
x [B 0 ], digamos x = xi1 . . . xin xl con i1 < < in < l.
Expresamos xi1 xin = bj1 bjm con j1 < < jm .
Notese que jm < kl por el modo como se hizo la construccion.
Como xl Xkl +1 , entonces xl Xjm +1 , y por las propiedades de
la sucesion {bn }, bjm xl Xjm . Luego, bjm xl Xjm1 +1 , y
por lo tanto bjm1 bjm xl Xjm1 . Continuando de este modo,
finalmente obtenemos bj1 bjm xl Xj1 X.

Demostracion del Teorema 8.1.2.


Dada una coloracion finita de N[<] , dado que N[<] es grande para
N[1] , por la consecuencia 6 de 8.2.1, existe un conjunto monocromatico
X grande para algun B [N[1] ]. Por el lema anterior, existe
B 0 [B] tal que [B 0 ] X.

Ejercicio 8.2.5 Dada una coloracion finita de una sucesion basica


A, existe una sucesion basica B [A] tal que [B] es monocromatico.

Para finalizar esta seccion, daremos una demostracion mas del


teorema de Hindman, esta vez utilizando herramientas de dinamica
topologica.
[<]
Sea X = rN el espacio de las r-coloraciones de N[<] . Con
la metrica dada por

(, ) = 1/1 + ( max {n : (a) = (a)a {0. . . . , n}}),

X es un espacio metrico compacto. El espacio X X de las funciones


de X en X, con la topologa producto, es un espacio topologico
compacto, y la topologa esta generada por los conjuntos de la forma

{T X X : T x O},
8.2: Demostracion de Baumgartner. 89

donde O es un abierto en X y x X.
Podemos sumergir N[<] en X X del modo siguiente: a cada
a N[<] le asignamos Ta : X X, definida por Ta x(b) = x(ab).
Dado A N[<] , {Ta : a A} es la clausura de {Ta : a A}
en X X .

Ejercicio 8.2.6 Demuestre que para toda sucesion basica {a1 , a2 , . . . }


N[<] , el conjunto

\
{Ta : a [{ai }
i=k ]}
k=1

con la composicion de funciones, es un semigrupo compacto.

Demostracion topologica del teorema 8.1.2.


[<]
Dada una coloracion c : NT r en X, y dada una sucesion

basica {a1 , a2 , . . . }, sea S = k=1 {Ta : a [{ai } i=k ]}. Por el teo-
rema 7.2.2, existe un idempotente S. Obtendremos una sucesion
basica {bi }
i=1 [{ai }i=1 ] tal que [{bi }i=1 ] es monocromatico.
Sea b1 [{ai } i=1 ] tal que Tb1 aproxima tanto como para que
se cumpla
c(b1 ) = Tb1 c() = c(), y
(c(b1 )) = Tb1 c() = c() = c().
Sea b2 [{ai }
i=1 ] tal que b1 < b2 y tal que Tb2 aproxima tanto
como para tener

c(b2 ) = Tb2 c() = c(),


c(b1 b2 ) = Tb2 c(b1 ) = c(b1 ) = c(),
c(b2 ) = Tb2 c() = (c() = c(),
c(b1 b2 ) = Tb2 c(b1 ) = c(b1 ) = c().
Entonces c(b) = c(b) = c() para todo b [{b1 , b2 }].
Supongamos que hemos fijado b1 < b2 < < bk1 en [{ai }
i=1 ]
tal que
c(b) = c(b) = c()
90 Captulo 8: Teorema de Hindman.

para todo b [{b1 , . . . , bk1 }]. Tomamos bk [{ai }


i=1 ], bk1 < bk
tal que

c(bk b) = Tbk c(b) = c(b) = c(), y


(c(bk b)) = Tbk c(b) = c(b) = c(b) = c().
para todo b [{b1 , . . . , bk1 }] {}.
As completamos la construccion inductiva de ls sucesion basica
{b1 , b2 , . . . } [{ai }
i=1 ]. Ahora es facil verificar que [{b1 , b2 , . . . }] es
monocromatico.
Captulo 9

Teorema de Hales-Jewett

9.1 Lneas combinatorias y palabras va-


riables.
Sea k N y sea k = {1, 2, . . . , k}. Dado n N, nk es el conjunto
de n-tuplas de elementos de k , o palabras de longitud n en el
alfabeto k .

Definicion 9.1.1 Una lnea combinatoria en nk es un conjunto


{x1 , x2 , . . . , xk } de elementos de nk tales que en cada coordenada
j, 1 j n, se tiene

x1 (j) = x2 (j) = = xk (j)

o bien
xi (j) = i para todo i = 1, . . . , k.
Y la segunda posibilidad ocurre al menos para un j.

Otra manera de definir lneas combinatorias es mediante pala-


bras variables. Una palabra variable es una palabra en el alfabeto
{1, . . . , k, x} donde x aparece al menos una vez. El smbolo x actua
como una variable. Dada una palabra variable w(x), escribimos

91
92 Captulo 9: Teorema de Hales-Jewett.

w(i) para denotar la palabra (del alfabeto k ) que resulta de susti-


tuir x por i en w(x). Si w(x) es una palabra variable, la lnea
combinatoria asociada a w(x) es {w(1), w(2), . . . , w(k)}.

Teorema 9.1.2 (Hales-Jewett)


Para cada k, r N, existe un numero n = n(k, r) tal que para
toda r-coloracion de nk existe una lnea combinatoria monocromatica.

Demostracion. Daremos primero una demostracion combinato-


ria del teorema ([14]). Lo haremos por induccion en k. Para k = 1
el resultado es inmediato. S Supongamos que k > 1 y que el resultado
vale para k 1. Sea W = i
i=0 k el conjunto de todas las palabras
sobre el alfabeto k .
Dado r, y una coloracion c : W = i
S
i=0 k r. Pongamos
(r1)
n1 = n(k 1, r(k )
)
(n1 +r2) )
n2 = n(k 1, r(k )
(n1 +n2 +r3) )
n3 = n(k 1, r(k )
..
.
(n1 +n2 ++nr2 +1)
nr1 = n(k 1, r(k )
)
(n1 +n2 ++nr1 )
nr = n(k 1, r(k )
)
Existe una palabra variable wr (x) de nr letras, en el alfabeto
k1 , tal que para cada palabra w de n1 + + nr1 letras (en k ),
el conjunto
{wwr (1), wwr (2), . . . , wwr (k 1)}
es monocromatico.
Para ver esto, dadas u, v nk1 r
, pongamos u v si c(wu) =
c(wv) para cada w de n1 + + nr1 letras en k .
La relacion es una relacion de equivalencia en nk1r
con a lo
sumo
(n1 +n2 ++nr1 )
rk
clases. Por la definicion de nr , existe una wr (x) cuya linea combi-
natoria asociada es monocromatica.
9.1: Lneas combinatorias. 93

Dejamos al lector verificar que si hemos escogido para cada j =


r, r 1, . . . , i + 1, una palabra variable wj (x) de nj letras (con 1
i < r), es posible hallar una palabra variable wi (x) de ni letras tal
que para cada palabra w de n1 + +ni1 letras, y cada palabra v de
ni+1 + ni+2 + + nr letras, de la forma v = wi+1 (mi+1 ) . . . wr (mr ),
donde 1 mi+1 , . . . , mr k, el conjunto

{wwi (1)v, wwi (2)vw, . . . , wwi (k 1)v}

es monocromatico.
Pongamos ahora
v0 = w1 (k)w2 (k)w3 (k) . . . wr1 (k)wr (k)
v1 = w1 (1)w2 (k)w3 (k) . . . wr1 (k)wr (k)
v2 = w1 (1)w2 (1)w3 (k) . . . wr1 (k)wr (k)
..
.
vr1 = w1 (1)w2 (1)w3 (1) . . . wr1 (1)wr (k)
vr = w1 (1)w2 (1)w3 (1) . . . wr1 (1)wr (1)
Por el principio del casillero existen i, j con 0 i < j r tales
que c(vi ) = c(vj ).
Definimos, para finalizar, una palabra variable w(x) poniendo

w(x) =
w1 (1) . . . wi (1)wi+1 (x)wi+2 (x) . . . wj (x)wj+1 (k)wr1 (k) . . . wr (k).

La lnea combinatoria asociada a w(x),

{w(1), w(2), . . . , w(k)},

es monocromatica.
Esto termina la demostracion ya que si tomamos n = n(k, r) =
n1 +n2 + +nr , dada una
Sr-coloracion de nk , la extendemos a una
i
coloracion del conjunto i=0 k y obtenemos una palabra variable
w(x) de longitud n con la propiedad deseada. 
94 Captulo 9: Teorema de Hales-Jewett.

Ejercicio 9.1.3 Demuestre directamente el teorema de Hales-Jewett


para k = 2.

El teorema de Hales-Jewett es la esencia combinatoria del teo-


rema de van der Waerden.
En efecto, el teorema de van der Waerden se puede obtener como
colorario del teorema de Hales-Jewett. Identificamos los enteros a,
0 a < tn con las tuplas (a0 . . . . , an1 ) dadas por los coeficientes
de la representacion de a en base t:
n1
X
a= ai ti .
i=0

Una r-coloracion de {0, 1, . . . , tn 1} induce una coloracion de


nt , y si n es suficientemente grande, existe una lnea combinatoria
monocromatica.

Ejercicio 9.1.4 Demuestre que los numeros cuyos coeficientes en


la representacion base t son tuplas en una lnea combinatoria for-
man una progresion artimetica.

Veamos que el teorema de Hales-Jewett implica vdWdin .


Sea (X, ) un espacio metrico compacto y sea T una funcion
continua de T en T . Dados k N , y  > 0, partimos el es-
pacio
Sr X en r de partes, cada una de diametro menor que , X =
i=1 Xi . Tomemos n = n(k, r) dado por el teorema de Hales-Jewet,
y definimos una r-coloracion de nk del modo siguiente: Fijemos
y X, y pongamos c(m1 , . . . , mn ) = i si y solo si T m1 . . . T mn y
Xi . Sea w(x) una palabra variable tal que la lnea combinatoria
{w(1), . . . , w(k)} es monocromatica. Sea d el numero de veces que
la variable x aparece en w(v), y sea j la suma de los numeros
(no variables) que aparecen en w(x). Sea x = T j y. Entonces
x, T d x, T 2d x, . . . , T (k1)d x Xi para algun i, 1 i r, y por lo
tanto la distancia entre ellos es menor que .

Ejercicio 9.1.5 Demuestre que el teorema de Hales-Jewett implica


M vdWdin .
9.1: Lneas combinatorias. 95

Ejercicio 9.1.6 Demuestre que el teorema de Hales-Jewett implica


M vdWaf . Sugerencia: Dada una coloracion c : Zk r y un
conjunto V Zk finito, V = {v1 , v2 , . . . , vt }, sea N el numero dado
por el teorema de Hales-Jewett para t y r. Definamos : N V Z
k

por
XN
(x1 , . . . , xN ) = k i xi ,
i=1
donde k1 , . . . , kN son constantes. Tales constantes se pueden hal-
lar de modo que resulte inyectiva (pueden estas constantes ser
enteros?). Esto induce une coloracion en N V , y por el teorema de
Hales-Jewett existe una palabra w(x) tal que la lnea combinatoria
asociada es monocromatica.

Ahora presentamos una demostracion del teorema de Hales-


Jewett que usa la teora de semigrupos compactos.
Podemos enunciar el teorema de Hales-Jewett de la forma sigu-
iente.

S n 9.1.7 Dado r N , y un alfabeto finito, sea W =
Teorema
i=0 el conjunto de las palabras en , y sea V el conjunto de
las palabras variables en . Para toda coloracion c : W r, existe
v(x) V tal que {v(i) : i } es monocromatico.

Este enunciado sigue inmediatamente del teorema de Hales-


Jewett, y la implicacion recproca se obtiene por compacidad.

Demostracion (del teorema 9.1.7). Sea W (x) el conjunto de


las palabras en el alfabeto {x}, de modo que V = W (x) \
W . Tanto W como W (x) son semigrupos con la operacion _ de
concatenacion, y V es un ideal bilateral de W (x).
Extendemos la operacion _ a W (x): para A W (x),
A U _ V {v W (x) : {w W (x) : v _ w A} V} U.
Con esta operacion, (W (x), _) es un semigrupo topologico com-
pacto, y W es un subsemigrupo topologico cerrado (en efecto,
96 Captulo 9: Teorema de Hales-Jewett.

{U : V U} es un abierto en W (x) disjunto de W ), por lo tanto


W es compacto. Ademas, V es un ideal bilateral de W (x)
(vease el Ejercicio 7.3.6).
Ejercicio 9.1.8 Explique la relacion entre V y {U W (x) :
V U}, y demuestre que este conjunto es un ideal bilateral de
W (x). (Sugerencia: Notese que que cada ultrafiltro U V se
puede identificar con el ultrafiltro de todos los subconjuntos A de
W (x) tales que A V U).
Para cada a , sea sa : W (x) W la funcion dada por
sa (w(x)) = w(a) (evaluacion en a). Extendemos esta funcion a
sa : W (x) W . Si A W y U W (x), entonces
A sa (U) s1
a A U.

Para cada a, la funcion sa es un homomorfismo, ya que sa (v _


w) = sa (v) _ sa (w), y por lo tanto su extension sa es un ho-
momorfismo de W (x) en W . Como sa es la identidad en W ,
sa (U) = U para todo U W .
Sea W W un idempotente perteneciente a un ideal izquierdo
cerrado minimal de W (y por lo tanto, W es minimal en W ).
Segun el corolario 7.2.9, existe un idempotente V minimal en el
ideal bilateral {U W (x) : V U} tal que V W.
Afirmamos ahora que para todo a , sa (V) = W. Para
demostrarlo notemos que como para todo a, sa es un homomorfismo
de W (x) en W que deja fijo W, se tiene que sa V W; pero
por minimalidad de W, sa V = W.
Hemos mostrado entonces que para todo a, sa (V) = W,
Sea A1 Ar = W una particion finita de W . Sea A el
unico Ai que pertenece al ultrafiltro W. Como para T todo a, W =
1 1
sa (V), entonces para todoT a, sa (A) V. Luego a sa (A) V.
Sea v V tal que v a s1 a (A), entonces {v(a) : a } es
monocromatico.

La demostracion del teorema 9.1.7 se puede adaptar para dar


una prueba directa del teorema de van der Waerden.
9.2: Hales-Jewett infinitario. 97

Sea = {a}, un alfabeto con un unico smbolo. Definamos W ,


W (x) y V como arriba. Notese que W = {a, aa, aaa, . . . } se puede
identificar con N = {1, 2, 3, . . . }. Para cada n, sea an = aaa . . . a (n
veces ). La aplicacion san : W (x) W dada por san (v(x)) = v(an )
es un homomorfismo que manda W (x) en W y es la identidad en W .
Si tomamos ultrafiltros W y V escogidos como en la demostracion
del teorema 9.1.7, tenemos que san (V) = W.
Dada una coloracion finita de W , si P W es T un conjunto
monocromatico, entonces para cada n, la interseccion 1kn s1 ak
P
pertenece a V, y por lo tanto no es vaca. Si v(x) es una palabra vari-
able en esa interseccion, entonces v(a), v(a2 ), . . . , v(an ) son elemen-
tos de W todos en P . Es facil ver que este conjunto representa una
progresion aritmetica de n terminos: u, u+d, u+2d, . . . , u+(n1)d,
donde u es el numero de smbolos en v(x) y d es el numero de veces
que aparece la variable x en v(x).

9.2 Hales-Jewett infinitario.


Una modificacion del argumento de la demostracion del teorema
9.1.7 se puede usar para demostrar una version infinitaria del teo-
rema de Hales-Jewett debida a Carlson y Simpson.

Teorema 9.2.1 (Teorema de Hales-Jewett S infinitario) Dado r


n
N , y un alfabeto finito, sea W = i=0 el conjunto de las
palabras en , y sea V el conjunto de las palabras variables en .
Para toda coloracion c : W (x) r, existe una sucesion infinita
{vn (x)}
n=0 de palabras variables tal que

{vn0 (l0 )vn1 (l1 ) . . . vnk (lk ) : k N, n0 < < nk , li (i = 1, . . . k)}

es monocromatico, y tambien el conjunto

{vn0 (l0 )vn1 (l1 ) . . . vnk (lk ) : k N, n0 < < nk , li {x}


(i = 1, . . . k)}

es monocromatico.
98 Captulo 9: Teorema de Hales-Jewett.

Demostracion ([25]). Extendemos el semigrupo (W (x), _) a su


compactificacion (W (x), _). Trabajaremos con el subsemigrupo
S = W (x) \ W (x) de los ultrafiltros no principales. Notese que

SW = {U S : W U} es un subsemigrupo cerrado de S , y
SV = {U S : V U} es un ideal bilateral de S . Como antes,

podemos encontrar un idempotente W en SW , y un idempotente

minimal V SV tal que V W (es decir, V _ W = W _ V = V).
Como antes, la aplicacion Sa (v(x)) = v(a) de V en W se ex-
tiende a Sa de SV en SW
, y para cada a , sa V = W.
Sea P1 Pr = W (x) una particion finita de W (x). Sea PW
el unico Pi que pertenece al ultrafiltro W. Y sea PV el unico Pj que
pertenece al ultrafiltro V. Por induccion definimos una sucesion
{vn }n=0 de palabras variables y sucesiones decrecientes {PW } y
n
n
{PV } de elementos de los ultrafiltros W y V respectivamente, tales
que
(a)n vn PVn
(b)n a v PVn (v(a) PW n

(c)n {y V : {x}vn _ y PVn } V


(d)n {t W : vn _ t PVn } W.
0
Sea PW = PW W , y PV0 = {v PV V : v() PW 0
}.
0 0
Notese que PW W y Pv V, por ser una interseccion finita de
elementos de V.
Ahora veamos que podemos hallar v0 que satisface (a)0 , (b)0 , (c)0 ,
(d)0 . Como PV0 V = W _ V = s V _ V, para cada ,
{v : {y : {x}v() _ y PV0 } V} V.
Del mismo modo, como PV0 V _ W, tenemos
{x : {t : x _ t PV0 } W} V.
Por lo tanto podemos escoger v0 Pv0 con las propiedades deseadas.
Supongamos inductivamente que hemos hecho la construccion hasta
n+1 n n
n, ponemos PW = {t PW : vn _ t PW }, este conjunto esta
en W por la condicion (d)n . Por (c)n el conjunto QnV = {y PVn :
( {x})vn () _ y PVn } pertenece a W.
9.2: Hales-Jewett infinitario. 99

Usando los mismos argumentos que mas arriba, el conjunto

PVn+1 = {v Qnv : ( )v() P W n+1 }

pertenece a V. As, podemos escoger vn+1 de un conjunto en V de


palabras que satisfacen (c)n+1 y (d)n+1 .
Ahora demostraremos las siguientes afirmaciones.

1. vn0 (0 ) _ _ vnk1 (k1 ) _ y PVn0 para todo k > 0,


n0 < < nk , i {x} (i < k), y PVnk .

2. vn0 _ vn1 (1 ) _ _ vnk (k ) PVn0 para cada k 0,


n0 < < nk , i {x} (i k).
n0
3. vn0 (0 ) _ vn1 (1 ) _ _ vnk (k ) PW para cada k 0,
n0 < < nk , i {x} (i k).

La prueba es por induccion en k. Notese que de la construccion


inductiva de n0 a n0 + 1 sigue que si n0 < n1 , PVn1 PVn0 +1 QnV0 .
Supongamos (1) para k y probemoslo para k + 1. Dados n0 <
n
< nk+1 , i {x} (i < k), y PV k+1 . Sea y 0 = vn1 (1 ) _
_ vnk (k ) _ y. Por la hipotesis inductiva, y 0 PVn1 , y como
PVn1 PVn0 +1 QnV0 , entonces y 0 QnV0 , por lo que vn0 (0 ) _ y
PVn0 .
La afirmacion (3) sigue de la (1) y de (b)n0 con y = vnk .
Para demostrar (2), fijemos k 0, n0 < < nk+1 , i {x}
(i k + 1), y sea t0 = vn1 (1 ) _ _ vnk+1 (k+1 ). Por (3),
n1 n1 n0 +1 n0
tenemos que t0 PW , pero PW PW = {t PW : vn0 _ t
n0 0 n
PV }. Luego, vn0 _ t PV , y terminamos la demostracion de (2).
0

Para terminar la demostracion del teorema veamos que la suce-


sion {vni }i=0 satisface las propiedades del enunciado. La primera
conclusion es exactamente la afirmacion (3). Para demostrar la
segunda, sea v = vn0 (0 ) _ _ vnk (k ), con n0 < < nk ,
i {x} (i k), y con al menos un i = x. Sea m =
max {i k : i = x}. Por la afirmacion (2),

w = vnm (m _ vnm+1 (m+1 _ _ vnk (k ) PVnm .


100 Captulo 9: Teorema de Hales-Jewett.

Entonces,
v = vn0 (0 ) _ _ vnm1 (m1 ) _ w
es una expresion que satisface las condiciones de la afirmacion (1),
y por lo tanto v PVn0 PV . 

Con una pequena modificacion, la demostracion precedente se


puede usar para demostrar una generalizacion del teorema anterior
al caso de alfabetos
S infinitos como se indica a continuacion.
Sea = n=0 n un alfabeto descompuesto en una cadena cre-
ciente de alfabetos finitos n ; y sea x una variable distinta de todos
los smbolos de . Sea W (o simplemente W ) el conjunto de pa-
labras sobre , y sea W (v) (o sumplemente W (v)) el conjunto de
palabras variables sobre , es decir, el conjunto de palabras sobre
{x} donde x ocurre al menos una vez. Para s = s[x] W (x)
y a {x}, s[a] denota la palabra que se obtiene reemplazando
cada ocurrencia de x en s por a. Esta palabra s[a] pertenece a W
o a W (s), dependiendo de si a 6= v o a = x.
Dada una sucesion finita o infinita X = hv0 , v1 , . . . i de elementos
de WL (x), [X]W denota el subsemigrupo parcial de W generado
por X, definido como sigue.

[X]W = {vn0 [0 ] _ _ vnk [k ] W : n0 < < nk , i ni


(i k)}.
Analogamente, [X]x denota el subsemigrupo parcial de W (v)
generado por X, definido por

[X]x = {vn0 [0 ] _ _ vnk [k ] W (x) : n0 < < nk , i


ni {x}(i k)}.
Teorema 9.2.2 Para cada coloracion finita de W W (v) existe
una sucesion infinita X = hv0 , v1 , . . . i de elementos de W (x) tal
que los subsemigrupos parciales [X]W y [X]x son ambos monocroma-
ticos.
Captulo 10

Teora de Ramsey para


estructuras

Consideraremos estructuras relacionales definidas de la manera si-


guiente. Un tipo es una sucesion = (i : i I) de numeros
naturales, donde I es un conjunto finito.
Dado un tipo , una estructura de tipo es un par (X, M) tal
que

(i) Xes un conjunto linealmente ordenado,

(ii) M = (Mi : i I), y Mi X [i ]

El orden lineal de X es llamado el orden estandar.


Rel() denota la clase de estructuras de tipo . Notese que
estas estructuras relacionales son hipergrafos etiquetados.
Dadas estructuras A = (X, M) y B = (Y, N ) de tipo , una
funcion f : X Y es una inmersion de X en Y si

(i) f es inyectiva y monotona con respecto a los ordenes lineales


estandar de X y de Y , y

(ii) para cada i I y cada subconjunto M de X [i ] , M Mi si


y solo si {f (x) : x M } Ni .

101
102 Captulo 10: Teora de Ramsey para estructuras.

Si la funcion es ademas sobreyectiva, entonces se dice que es un


isomorfismo y que las estructuras son isomorfas.
Escribimos A B para expresar que hay una inmersion de A
en B, y A = B cuando A y B son estructuras isomorfas.
Dadas estructuras A y B, B A
denota el conjunto de las sube-
structuras de B que son isomorfas a A.
Si A B C, el smbolo

C (B)A
t

expresa que para cada coloracion c : CA t, existe B 0 C


 
B
tal
0
que la coleccion BA is monocromatica.

Teorema 10.0.3 Dado un tipo , y dadas estructuras A, B en


Rel() con A B, y un entero positivo t, existe una estructura C
en Rel() tal que B C and C (B)A t .

Se dice entonces que la clase Rel() es una clase de Ramsey.


Para demostrar este teorema definiremos los sistemas partitos
y usaremos la tecnica de amalgamacion, siguiendo las ideas de [15].
Esto lo haremos en las proximas dos secciones.

10.1 Sistemas partitos.


Definicion 10.1.1 Dado un tipo = (i : i I) y a N, un
sistema a-partito de tipo es un par ((Xj )aj=1 , M) donde

(a) X = ai=1 Xi es un conjunto linealmente ordenado que cumple


S
X1 < X2 < < Xa , esto es, para cada i, j {1, . . . , a} con
i < j, si x Xi y j Xj , entonces x < y.

(b) M = (Mi : i I), y Mi X [i ]

(c) |M Xj | 1 para cada M Mi , j = 1, . . . , a, i I.


10.1: Sistemas partitos. 103

6 6p p p p p -
pp 6

X1 X2 Xa

Fig. 1 Sistema partito

Dado un subconjunto Y X, denotamos con tr(Y ) la traza de


Y , es decir, el conjunto {j : Xj Y 6= }.
Un sistema A es transversal si |Xj | = 1 para cada j = 1, . . . , a.
El sistema A es un subsistema de B = ((Yk )bk=1 , N ) si existe una
inyeccion monotona h : {1, . . . , a} {1, . . . , b} tal que Xj Yh(j)
para cada j = 1, . . . , a y Mi = Ni X [i ] para i I. Un isomorfismo
es un isomorfismo de estructuras, monotono respecto a los ordenes
estandar, que tambien preserva partes.

Lema 10.1.2 ( Lema de los sistemas partitos) Sean A y B sis-


temas a-partitos de tipo , con A transversal, y sea t un entero
positivo, existe un sistema a-partito C de tipo tal que

C (B)A
t .

Demostracion. Pongamos A = ((Xj )aj=1 , M) y B = ((Yj )aj=1 , N ).


Como S A es transversal, podemos suponer, sin perder generalidad,
que iI Mi es el conjunto de los subconjuntos de X. Podemos
suponer tambien que todo vertice y Y pertenece a una copia
de A, ya que de lo contrario trabajamos con B , el subsistema
de B inducido por B , que tiene esa propiedad, y si C satisface

A
A
C (B )t , entonces podemos obtener C tal que C (B)A t ex-

pandiendo cada copia de B in C a una copia de B.
Fijamos un entero N suficientemente grande , y definimos un
sistema a-partito C = ((Zj )aj=1 , O), O = (Oi : i I) tal que
Zj = Yj Yj (N veces), es decir, Zj = YjN . Cada elemento
104 Captulo 10: Teora de Ramsey para estructuras.

de Zj tiene la forma (xl : l = 1, . . . , N ) con cada xl Yj . Diremos


mas sobre el numeroSaN mas adelante.
Pongamos Z = j=1 Zj . Para cada l = 1, . . . , N , la proyeccion
l : Z Y esta dada por l (xk : k = 1, . . . , N ) = xl . Para cada l,
l es una aplicacion de Zl enYl .
Podemos definir ahora O = (Oi : i I). Pongamos primero
Ni = Ni0 Ni00 , donde Ni0 es el conjunto de aristas de Ni que
pertenecen a una copia de A en B, y Ni00 = Ni \ Ni0 .
Ponemos

{(xk1 , . . . xkN ) : k = 1, . . . , ni } Oi

si tr({xkj : k = 1, . . . , ni }) = tr({xkj0 : k = 1, . . . , ni }) para todo


j, j 0 N , y una de las siguientes posibilidades ocurre:

1. {xkj : k = 1, . . . , ni } Ni0 para cada j = 1, . . . , N ,

2. existe un conjunto no vaco {1, . . . , N } tal que


{xkj : k = 1, . . . , ni } = {xkj0 : k = 1, . . . , ni } Ni00 for all
j, j 0 , y
{xkj : k = 1, . . . , ni } Nm0 for all j
/

En general, m 6= i, pero m esta unvocamente determinado por


tr(xkj : k = 1, . . . , ni ).
Ahora demostramos que C (B)A t siempre que N sea suficien-
temente grande. Esto seguira de las dos afirmaciones enunciadas a
continuacion.
Afirmacion 1. A0 CA si y solo si l (A0 ) B
 
A
para cada
l = 1, . . . , N .
Esto es una
0 B
 consecuencia inmediata de la definicion de O. 0 Si
l (A ) A para cada l = 1, . . . , N , entonces, claramente, A
C
. Recprocamente, sea A0 = {(xk1 , . . . , xkN ) : k = 1, . . . , a} una

A
subestructura de C que forma una copia de A, y supongamos que

{(xk1 , . . . , xkN ) : k = k1 , . . . , kni } Oi .


10.1: Sistemas partitos. 105

Entonces, para cada j = 1, . . . , N , la proyeccion


{xkj : k = k1 , . . . , kni } Ni .
Esto es as por la definicion de Oi : si {(xk1 , . . . , xkN ) : k = k1 , . . . , kni }
Oi debido al primer caso de la definicion, es claro que cada proyeccion
{xkj : k = k1 , . . . , kni } Ni . Si ocurre el segundo caso de la
definicion, entonces para cada j o bien {xkj : k = k1 , . . . , kni }
pertenece a Ni00 y por lo tanto a Ni , o esta en Nm0 para algun m,
pero como esta arista es parte de una copia de A (porque esta en
Nm0 ) y en A = {x1 , . . . , xa } la tupla {xk1 , . . . , xkni } Ni , tambien
{xkj : k = k1 , . . . , kni } esta en Ni . Notese que una arista de A0 en
Oi debe provenir entonces de la primera clausula de la definicion
de Oi .
Listemos B

A
= {A1 , . . . , Ar }, y sea R = {1, . . . , r}. Dado =
(1 , . . . , N ) RN , denotemos por V () el conjunto de todos los
vertices x Z que satisfacen j (x) Aj . Si L es una lnea
combinatoria en RN , pongamos
[
V (L) = V ().
L

Por la Afirmacion 1, el conjunto CA esta en correspondencia uno a




uno con RN .
Afirmacion 2. Sea L una lnea combinatoria de RN . Entonces,
V (L) induce una copia de B en C.
Esto sigue de la definicion de C. Sea {1, . . . , N } el conjunto
de ndices donde aparece la variable en la lnea combinatoria L.
Podemos definir una inmersion de B en C del modo siguiente: Dado
b B, su imagen por la inmersion sera (xi1 , . . . , xiN ) donde xij = b
si j , y xij es el i-esimo elemento de la copia correspondiente de
A en caso contrario. Entonces, si en B, {b1 , . . . , bni } Ni , se tiene
que si j , {x1j , . . . , xnj i } Ni , y si j / , entonces {x1j , . . . , xnj i }
pertenece a alguna copia de A en B, y por lo tanto, por lo que
hemos supuesto sobre A, {x1j , . . . , xnj i } Nm0 para algun m. En
conclusion, {(x11 , . . . , x1N ), . . . , (x1ni , . . . , xnNi )} Oi . La implicacion
recproca se verifica facilmente.
106 Captulo 10: Teora de Ramsey para estructuras.

Por el teorema de Hales-Jewett, si N es suficientemente grande,


para cada particion de RN en t clases, hay una lnea combinatoria
contenida en una de las clases. Esto implica que C (B)A t . En
efecto, una particion CA = A1 At induce una particion
RN = A01 A0t definida del modo siguiente: A0i si V ()
induce una copia de A que esta en Ai . Por el teorema de Hales-
Jewett, hay una lnea combinatoria monocromatica L que, por la
00 C B 00

Afirmacion 2, induce una estructura B B , tal que A esta
contenido en una de las clases Ai . 

10.2 La construccion partita.


Para demostrar el teorema 10.0.3, usamos una tecnica de amalga-
macion llamada la construccion partita, usada originalmente por
Nesetril y Rodl (vease [18] , [15]).

Demostracion del teorema 10.0.3. Tomemos t y A, B como en


el enunciado del teorema 10.0.3. Consideramos A como un sistema
a-partito transversal y B como un sistema b-partito transversal.
Pongamos B = ((y  1 , . . . , yb ), N ). Sea p el mnimo n tal que n
(b)at , y sea q = ap . Pongamos
 
{1, . . . , p}
= {M 1 , . . . , M q }.
{1, . . . , a}

Definiremos una sucesion P 0 , P 1 , . . . , P q de imagenes, la ultima


de las cuales , P q , sera el sistema C deseado.
Sea P 0 = ((Xi0 )pi=1 , O) un sistema p-partito tal que para cada
escogencia de b partes de P 0 , Xi01 , . . . , Xi0b , el subsistema de P 0
inducido por ellas contiene una copia de B. Esto se puede obtener
tomando una union disjunta de copias de B.
Si la imagen P k = ((Xik )pi=1 , Ok ) ha sido definida, consideremos
M k+1 y el sistema a-partito Dk+1 inducido en P k por las partes Xik
con i perteneciente a M k+1 . Por el Lema Partito 10.1.2, existe un
10.2: La construccion partita. 107

sistema a-partito E k+1 tal que

E k+1 (Dk+1 )A
t .

Extendemos cada copia de Dk+1 in E k+1 a una copia de P k de


modo que las distintas copias de P k se intersectan solamente en
vertices de E k+1 . El sistema a-partito resultante es P k+1 . Final-
mente, C = P q . Afirmamos que C tiene las propiedades deseadas.
Mediante una induccion en reverso, verificamos que

C (B)A
t .

En el paso inductivo de k + 1 a k, mediante el uso del lema


partito en la construccion de P k+1 , podemos encontrar una copia
de P k in P k+1 en la cual todas las copias de A con traza M k tienen
el mismo color.
As, terminamos con una copia P de P 0 tal que el color de
una copia deA en P depende solo de su traza. Esto induce una
t-coloracion de p[a] , la coleccion de los subconjuntos de p con a
elementos: el color de s se define como el color de cualquier copia
de A cuya traza es s. Como p (b)at , existe un subconjunto de p
monocromatico de tamano b. Por construccion, el subsistema de P0
inducido por cuales quiera b elementos de p contiene una copia de
B, y por lo tanto existe una copia de B en P cuyas subestructuras
isomorfas a A son todas del mismo color.. 

Ejercicio 10.2.1 Demuestre que dado un tipo , si para cada par


de estructuras A, B de tipo tales que B tiene subestructuras iso-
morfas a A, existe una estructura C de tipo tal que C (B)A 2,
entonces para cada entrero positivo r, y cada par A, B de estruc-
turas con las mismas propiedades mencionadas mas arriba, existe
C tal que C (B)A r.
108 Captulo 10: Teora de Ramsey para estructuras.
Captulo 11

Espacios metricos finitos

En este captulo presentamos la demostracion debida a J. Nesetril


de la propiedad de Ramsey para la clase de los espacios metricos
finitos linealmente ordenados. Este resultado responde una pre-
gunta de [12], y da informacion sobre el grupo de automorfismos
del espacio de Urysohn (vease [12]).
Un espacio metrico finito puede ser visto como un grafo finito
completo etiquetado. A saber, un par de elementos forma una arista
etiquetada por la distancia entre ellos. Estos grafos son, a su vez,
casos especiales de estructuras relacionales.
Denotaremos con Rel la clase de todas las estructuras rela-
cionales finitas ordenadas (de todos los tipos posibles).
Dados d, D R, con d < D, Rel(d, D)es la subclase de Rel
formada por todos los sistemas A = (X, (Ri ; i I)) con I un
subconjunto finito del intervalo [d.D], y tales que para todo i I,
Ri X [2] .
Recordemos que dadas estructuras A = (X, (Ri ; i I)) y B =
(Y, (Si ; i J)), una funcion f : X Y es una inmersion si

(i) f es inyectiva y monotona con respecto a los ordenes lineales


estandar de X e Y , y

(ii) para cada i I y cada par {x, y} de elementos de X, {x, y}


Ri si y solamente si {f (x), f (y)} Si (thus, I J).

109
110 Captulo 11: Espacios metricos finitos.

Si la inmersion f es una biyeccion, decimos que es un isomorfismo.


B

Dadas estructuras A, B, A denota el conjunto de todas las sube-
structuras de B isomorfas a A.
Como consecuencia del teorema 10.0.3 tenemos el siguiente teo-
rema que sera usado en la demostracion del resultado para espacios
metricos finitos ordenados.

Teorema 11.0.2 (Nesetril, [18]) Para cada par de numeros reales


d, D, 0 < d < D, la clase Rel(d, D) es Ramsey.

Sean 0 < d < D numeros reales, y sea l un entero positivo.


Consideremos una estructura A = (X, (Ri : i I)) donde I es
un subconjunto finito del intervalo [d, D] y cada Ri es una relacion
binaria simetrica. Decimos que una arista {x, y} Ri de A es l-
metrica si para cada camino x = x0 , x1 , . . . , xt = y, con t l tal
que {xk1 , xk } Rik (i.e. la distancia entre xk1 y xk es ik ), se
tiene que i i1 + i2 + + it .
Para cada entero positivo l, y cada par de numeros reales 0 <
d < D, la clase Rell (d, D) es la subclase de Rel(d, D) formada por
la estructuras A = (X, (Ri : i I)) que satisfacen:

(i) para cada i I, Ri X [2] , en particular cada Ri es simetrica


y anti-reflexiva, como antes, y las siguientes propiedades adi-
cionales,

(ii) Ri Rj = siempre que i 6= j for i, j I,

(iii) cada arista de A es l-metrica.

Los objetos de Rell (d, D) son estructuras relacionales de tipo


= (i : i I), donde para cada i I, i = 2. Dado un par
{x, y} Ri , el ndice i I es un numero real llamado la longitud, o
el paso , del par. Algunas veces esto se expresa escribiendo (x, y) =
i.
Notese que Rel1 (d, D) es la subclase de Rel(d, D) formada por
las estructuras que tienen relaciones binarias disjuntas dos a dos.
11.0: La construccion partita. 111

Si una arista (x, y) es l-metrica para cada l, decimos que es una


arista metrica. Si para un sistema A cada par (x, y) de vertices es
una arista y es una arista metrica, entonces A es el espacio metrico
(A, ).
Observese que si todo par de vertices de A es una arista, en-
tonces si toda arista es 2-metrica se tiene que toda arista es metrica.
Los objetos de Rell (d, D) no tienen por que que ser espacios
metricos, pero como la longitud de (x, y) no se puede minorar por
caminos l, entonces, mientras mayor sea l tenemos una mejor
aproximacion a un espacio metrico.
El siguiente lema generaliza el teorema 10.0.3.

Lema 11.0.3 (Lema Principal) Para cada entero positivo l, y cada


par 0 < d < D de numeros reales, si A es metrico en Rel(d, D),
entonces la clase Rell (d, D) es A-Ramsey, es decir, para cada B
Rell (d, D) tal que A B, existe C Rell (d, D) tal que B C y
en Rell (d, D) vale la relacion

C (B)A
2.

Antes de dar la demostracion necesitamos considerar sistemas


l-metricos partitos y sus amalgamaciones. Eso lo haremos en la
proxima seccion. Ahora mostraremos que del lema 11.0.3 podemos
derivar que la clase de los espacios metricos finitos ordenados es
una clase de Ramsey.

Teorema 11.0.4 la clase de los espacios metricos finitos ordena-


dos es una clase de Ramsey.

Proof. Sean (X, ) y (Y, ) espacios metricos finitos ordenados,


y supongamos que (Y, ) contiene una copia isometrica de (X, ).
Sea d = min{(x, y) : x, y Y }, y D = max{(x, y) : x, y Y }, y
tomemos l D/d. Consideremos los sistemas relacionales binarios
A = (X, (Ri : i I)) y B = (Y, (Sj : j J)) que corresponden a
los espacios metricos (X, ) y (Y, ). es claro que todas las aristas
en A y B son metricas.
112 Captulo 11: Espacios metricos finitos.

Por el lema 11.0.3 existe un sistema relacional binario C =


(Z, (Tk : k K)) tal que C (B)A2 en la clase Rell (d, D).
Definimos una metrica en Z poniendo

(x, y) = min{D, SP (x, y)},

donde SP (x, y) (el camino mas corto de x a y) es el menor valor


de i1 + + it donde x = x0 , x1 , . . . , xt = y es un camino tal que
para cada r t, (xr1 , xr ) Tir . Todos los valores tomados por
estan en el intervalo [d, D], y como ld D, para cada arista
(x, y) de C, (x, y) Ti si y solo si (x, y) = i. (Supongamos que
(x, y) Ti , y x = x0 , x1 , . . . , xt = y es un camino de x a y y para
todo r < t, (xr , xr+1 ) Tir . Si t l, entonces, como (x, y) es
l-metrico, i i1 + i2 + + it . Y si t > l, i1 + i2 + + it > ld D.
Por lo tanto i es la longitud del camino mas corto. Recprocamente,
si (x, y) = i, como (x, y) es una arista de C, (x, y) Tj para
algun j K, y i j. Si i < j, es porque hay un camino x =
x0 , x1 , . . . , xt = y de x a y de longitud i, pero, como antes, cualquier
camino x = x0 , x1 , . . . , xt = y debe tener longitud j, y luego
j = i.)
De aqu sigue que cualquier inmersion de A en C (en Rell (d, D))
es una isometra (una inmersion isometrica) de (X, ) en (Z, ), y
similarmente, cualquier inmersion de B en C es una isometra de
(Y, ) en (Z, ). De aqu concluimos que Z (Y )X 2 . 

11.1 Sistemas partitos l-metricos y sus


amalgamaciones
Definiremos ahora las clases partitas de aproximacion que denotare-
mos P artiRell (d, D). Un objeto en P artiRell (d, D) es una terna
(B, A, ) dondeA y B son estructuras relationales binarias orde-
nadas, A Rell1 (d, D) y B Rell (d, D) . Mas explcitamente,

A = (X, (Ri : i I)) y B = (Y, (Sj : j J)),


11.1: Sistemas l-metricos. 113

con I, J conjuntos finitos de reales contenidos en el intervalo [d, D],


y : B A un homomorfismo monotono que satisface:

(i) Si (x, y) Sj , entonces ((x), (y)) Rj (por lo tanto, J I),

(ii) para cada x A, el conjunto 1 (x)es u intervalo en el orden


de Y .

Una inmersion de (B, A, ) en (B 0 , A0 , 0 ) es un par (f, ) tal que

(i) : A A0 es una inmersion en la clase Rell1 (d, D)

(ii) f : B B 0 es una inmersion en la clase Rell (d, D)

(iii) 0 f =

Si para (B, A, ), la aplicacion es inyectiva, decimos que (B, A, )


es un sistema transversal.
Todo B Rell (d, D) puede ser visto como un sistema trnasver-
sal (B, B, ) en P artiRell (d, D) donde es la identidad.

Lema 11.1.1 ( Lema de amalgamacion)


Sea C Rell (d, D), y A un subsistema metrico de C (en la
clase Rell (d, D)), con 1 : A C la aplicacion de inclusion .
Para i = 1, 2, sean (Bi , C, i ) sistemas en P artiRell+1 (d, D). Sea
(B0 , A, 0 ) un sistema en P artiRell (d, D), con inmersiones (fi , 1) :
(B0 , A, 0 ) (Bi , A, i ) en P artiRell (d, D), para i = 1, 2.
Entonces , existe (B3 , C, 3 ) P artiRell+1 (d, D), y existen in-
mersiones (gi , 1) : (Bi , c, i ) (B3 , C, 3 ) en P artiRell+1 (d, D)
tales que g1 f1 = g2 f2 , 3 g2 = 2 y 3 g1 = 1 . En otras
palabras, (B3 , C, 3 ) es una amalgama de los sistemas (B1 , C, 1 ) y
(B2 , C, 2 ).
114 Captulo 11: Espacios metricos finitos.

0
B0 - A
@ @
f2 R
@ 1 1 @
R
@
2
f1 B2 - C

? g2
1
?
B1 - C 1

@ @
g1 R
@ ? 1 @
R ?
@
3
B3 - C

Fig.2 Amalgama

Demostracion. Sean dados sistemas (B1 , C, 1 ) y (B2 , C, 2 ), que


pueden ser representados como en la Figura 3 (donde las dos lneas
marcadas con C deben ser identificadas); y el subsistema partito
(B0 , A, 0 ) sumergido en ambos (B1 , C, 1 ) y (B2 , C, 2 ).

@
@
@
B0 B1

A C
@ B2
C
@
@

Fig. 3

Sea (B3 , C, 3 ) la amalgama libre de (B1 , C, 1 ) y (B2 , C, 2 ). Pro-


baremos que (B3 , C, 3 ) pertenece a P artiRell+1 (d, D). Dea {x, y}
11.2: Lema principal. 115

una arista en B3 , y P = {x0 = x, x1 , . . . , xt = y} un camino en B3


de x a y de l + 1 pasos. Queremos demostrar Pt que la longitud
(x, y) de la arista {x, y} es a lo sumo (P ) = i=1 (xi1 , xi ).
Considerese la proyeccion de P , i3 (P ) = {i3 (x0 ), i3 (x1 ), . . . , i3 (xt )}.
Para cada j = 1, . . . , t, (xj1 , xj ) = (i3 (xj1 ), i3 (xj )).
3 (P ) es una sucesion en C, en la cual algunos vertices y aristas
de P pueden ser identificados por 3 . Si esto realmente ocurre,
el largo de i3 (P ), (3 (P )) = (P ) esta acotado por el largo de
un subcamino P 0 of 3 (P ) de l pasos. Entonces, como C
Rell (d, D), tenemos que (x, y) = (i3 (x), i3 (y)) (P 0 ) (P ).
Podemos entonces suponer que 3 (P ) es un camino en C de l + 1
pasos.
Si 3 (P ) es un camino en A, entonces (3 (x), 3 (y)) es una arista
metrica, ya que A es metrico, y por lo tanto (x, y) = (3 (x), 3 (y))
(P ).
Si P es un subconjunto de B1 o de B2 , entonces tambien (x, y) =
(3 (x), 3 (y)) (P ), porque (B1 , C, 1 ) y (B2 , C, 2 ) estan en la
clase P artiRell+1 (d, D).
Necesitamos entonces examinar el caso en el que hay xj1 B1 \A
y xj2 B2 \ A. Como B3 es una amalgama libre, no hay aristas
con un vertice en B1 \ A y el otro en B2 \ A, y por lo tanto hay por
lo menos dos vertices xk1 y xk2 para los cuales 3 (xk1 ) i3 (xk2 ) estan
en A y {xk1 , xk2 } no son consecutivos en el camino P .
Cualquier camino en A entre 3 (xk1 ) y 3 (xk2 ) suma por lo menos
(3 (xk1 ), 3 (xk2 )), ya que A es metrico. Ahora, (P ) (P 0 ) donde
P 0 es el camino de 3 (x) a 3 (y) que pasa por {xk1 , xk2 }, es decir,

P 0 = {3 (x) = 3 (x0 ), 3 (x1 ), . . . , 3 (xk1 ), 3 (xk2 ), . . . , 3 (xt ) = 3 (y)},

y (P 0 ) (3 (x), 3 (y)) = (x, y), porque P 0 tiene a lo sumo l


pasos y C esta en Rell (d, D). 
116 Captulo 11: Espacios metricos finitos.

11.2 Demostracion del Lema Principal


Demostracion del lema 11.0.3: La demostracion es por induccion
en l. Para l = 1 el lema sigue del teorema 11.0.2. Recordemos
que Rel1 (d, D) es la subclase de Rel(d, D) formada por aquellas
estructuras cuyas relaciones binarias Ri son disjuntas dos a dos.
El teorema 11.0.2 nos da una estructura C en Rel(d, D), de la
que podemos extraer una en Rel1 (d, D) tomando la subestructura
inducida por las copias de B en C. Mas precisamente, tomamos
solo los vertices que pertenecen a una copia de B en C, y las aristas
que yacen en una copia de B. De acuerdo con la definicion de
inmersion, una copia de B no puede tener un par que pertenezca
a dos relaciones binarias distintas (ningun par tiene mas de una
etiqueta).
Supongamos que el lema vale para l, y sea B Rel(l+1) (d, D).
Veamos A y B como sistemas transversales en P artiRel(l+1) (d, D),
y sea R Rel(l) (d, D) un sistema que satisface R (B)A 2 en
Rel(l) (d, D). Fijemos R, y consideremoslo como un sistema transver-
sal en la clase P artiRell (d, D). Ahora construimos una  sucesion
P 0 , P 1 , . . . , P a , de sistemas R-partitos, donde a = | R A
|. El sis-
a
tema P sera el que satisface las condiciones deseadas.
(P 0 , R, 0 ) es el levantamiento de R obtenido al separar todas
las copias de B contenidas en R. En otras palabras, P 0 es la union
R
disjunta de B = {B 1 , B 2 , . . . , B b } con la proyeccion natural a R.
Notese que P 0 P artiRell+1 (d, D), ya que B Rell+1 (d, D).
Sea {A1 , . . . , Aa } la lista de los elementos de R

A
. Para el
paso inductivo de i a i + 1, sea (P i , R, i ) un sistema R-partito
en P artiRell+1 (d, D), y sea (Di , A, i ) el subsistema de (P i , R, i )
inducido por el conjunto (i )1 (Ai ). Es claro que (Di , A, i )
P artiRell+1 (d, D), y por la hipotesis inductiva, existe un sistema
(E i , A, i ) tal que
E i (Di )A
2.

Sea (P i+1 , R, i+1 ) una amalgama libre de copias de (P i , R, i )


tal que cada copia de (Di , A, i ) en (E i , A, i ) es extendida a una
11.2: Lema principal. 117

unica copia de (P i , R, i ). Segun el lema 11.1.1, sabemos que

(P i+1 , R, i+1 ) P artiRell+1 (d, D).

Ponemos (C, R, ) = (P a , R, a ) P artiRell+1 (d, D). Resta


demostrar que
C (B)A 2.

Esto se hace por induction en reverso de a hasta 0 del mismo modo


que al final de la demostracion del teorema 10.0.3.
118 Captulo 11: Espacios metricos finitos.
Bibliografa

[1] S. A. Argyros and S. Todorcevic, Ramsey Methods in


Analysis. Centre de Recerca Matematica, Birkhauser,
2005.

[2] Drake, Frank R., Set Theory, an introduction to large car-


dinals. North Holland, 1974

[3] Di Prisco, Carlos A., Una introduccion a la teora de con-


juntos y los fundamentos de las matematicas. Colecao
CLE. Centro de Logica, Epistemologia e Historia da
Ciencia - UNICAMP, 1997.

[4] Ellentuck, E. A new proof that Analytic sets are Ramsey.


Journal of Symbolic Logic 39 (1974) pp163-165.

[5] Erdos, P., A. Hajnal, A. Mate and R. Rado, Combina-


torial set theory: partition relations for cardinals. North
Holland, 1984.

[6] Erdos, P. and R. Rado, A combinatorial theorem. J. Lon-


don Math. Soc. 25 (1950) 249-255.

[7] Frasse, R., Theory of relations. Springer Verlag, 2000.

[8] Furstemberg,H. and B. Weiss. Topological dynamics and


combinatorial number theory. J. dAnalyse Math.34
(1978), 61-85.

119
120

[9] Galvin, F. and K. Prikry, Borel sets and Ramseys theo-


rem, Journal of Symbolic Logic 38 (1973), 193-198.

[10] Graham, R. L., B. L. Rothschild and J. H. Spencer, Ram-


sey Theory. Wiley, 1990.

[11] Jech, Thomas: Set Theory. Academic Press, 1978.

[12] Kechris, A., V. Pestov and S. Todorcevic, Fraisse lim-


its, Ramsey Theory, and Topological Dynamics of Auto-
mophism Groups. Geometric and Functional Analysis 15
(2005), 106-189.

[13] Mathias, A.R.D., Happy Families. Annals of Pure and Ap-


plied Logic 12 (1977) 59-111.

[14] R. McCutcheon, Elemental methods in Ergodic Ramsey


Theory. Springer Verlag, 1999.

[15] Nesetril, J., Ramsey Theory. In, Handbook of Combina-


torics (R. Graham, M. Grotschel and L. Lovasz, eds.) El-
sevier Science BV and MIT Press, 1995.

[16] Nesetril, J., Metric spaces are Ramsey. European Journal


of Combinatorics 28 (2007), 457-468.

[17] J. Nesetril and V. Rodl, Mathematics of Ramsey Theory.


Springer Verlag, 1990.

[18] Nesetril, J. and V. Rodl, Partitions of finite relational and


set systems. Journal of Combinatorial Theory Ser. A 22
(1978) 289-312.

[19] Pouzet, M., Sur les premeilleurordres. Ann. Ins. Fourier


Grenoble 22 (1972) 1-19.

[20] Pudlak, P. V. Rodl, Partition theorems for systems of finte


subsets of the integers. Discrete Mathematics 39 (1982)
67-73.
11.2: Lema principal. 121

[21] Promel, H. J. and B. Voigt, Canonical forms of Borel-


Measurable Mappings : [] R. Journal of Combi-
natorial Theory, Series A 40 (1985) 409-417.

[22] Ramsey, F. P. , On a problem of formal logic. Proceedings


of the London Mathematical Society 30 (1930), 264-286.

[23] Silver, J. Every analitic set is Ramsey. Journal of Symbolic


Logic 35 (1970) pp 60-64.

[24] Todorcevic, S., Topics in topology, Lecture Notes in Math-


ematics 1652, Springer Verlag, 1997.

[25] Todorcevic, S., Introduction to Ramsey Spaces (en


preparacion).
122