Professional Documents
Culture Documents
un panorama de la teora
de Ramsey
4 Teoremas de Canonizacion 45
4.1 Coloraciones infinitas . . . . . . . . . . . . . . . . . 45
4.2 Coloraciones de barreras . . . . . . . . . . . . . . . 47
i
ii CONTENIDO
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
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
Teora de particiones,
Teoremas de Ramsey y
Schur
1
2 Captulo 1: Teora de particiones.
c:Ar
()n .
()nk .
[n]
i j si y solo si F (x i) = F (x j) para todo x Ct .
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.
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.
S1 = {n : fn (1) = i}
S2 = {n S1 : fn (2) = j}
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.
F S({x1 , . . . , xk }) {1, . . . , M }
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
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
(i) X T y T ,
15
16 Captulo 2: Topologa de la recta.
: X X [0, )
tal que
{x iI Xi : x(j) Uj },
(
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
[s] = {M N : s @ M },
Up,q = {M N[] : p M y q M = },
27
28 Captulo 3: Frentes, barreras...
en caso contario,
(s) = sup{(t) + 1 : t es sucesor inmediato de s}.
B = {t : s B(t v s)}
F = F0 Fk
30 Captulo 3: Frentes, barreras...
F0 N = o F N 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
F M = F\
M.
1. = 0 y F = {},
es -uniforme en A/n,
es n -uniforme en A/n.
34 Captulo 3: Frentes, barreras...
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
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}.
Teoremas de Canonizacion
45
46 Captulo 4: Teoremas de canonizacion.
g(s) = i si y solo si s = e i .
()rreg
()rreg .
(b) existe una funcion uno a uno : T N tal que para todo
s B, (s) = (f (s)).
48 Captulo 4: Teoremas de canonizacion.
n (s) = ({n} s)
Tn = Tm , y n Tm = m , o (4.1)
n00 (Tn ) 00 (Tm ) = .
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.
Captulo 5
Particiones en cardinales no
numerables
20 6 (1 )2 .
53
54 Captulo 5: Conjuntos no numerables.
Corolario 5.1.2
1 6 (1 )2 .
2 6 (+ )2 .
(
0, si < ( < g() < ),
F (, ) =
1 en caso contrario.
(
0, si < y f precede a f en el orden lexicografico,
F (, ) =
1 en caso contrario.
63
64 Captulo 6: Teorema de van der Waerden.
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
x, T d x, T 2d x, . . . , T (k1)d x
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
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.
(n1 , . . . , nk ) + nF Ci ,
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
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.
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 .
Filtros, ultrafiltros y
semigrupos topologicos.
73
74 Captulo 7: Ultrafiltros y semigrupos topologicos.
x 7 xs
A = {U S : A U}, donde A S.
U V = {A S : {x S : {y S : x y A} V} U}.
A/x = {y S : x y A}.
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.
Teorema de Hindman
83
84 Captulo 8: Teorema de Hindman.
U + V = {A : {n : {m : m + n A} V} U}.
[
[B] = { xi : F es un subconjunto finito no vaco de I}.
iF
86 Captulo 8: Teorema de Hindman.
2. bn [Bn ],
3. Xn es grande para Bn ,
4. {bn }
n=0 es una sucesion basica,
{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 .
Teorema de Hales-Jewett
o bien
xi (j) = i para todo i = 1, . . . , k.
Y la segunda posibilidad ocurre al menos para un j.
91
92 Captulo 9: Teorema de Hales-Jewett.
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).
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.
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.
es monocromatico.
98 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 .
101
102 Captulo 10: Teora de Ramsey para estructuras.
C (B)A
t
6 6p p p p p -
pp 6
X1 X2 Xa
C (B)A
t .
{(xk1 , . . . xkN ) : k = 1, . . . , ni } Oi
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.
E k+1 (Dk+1 )A
t .
C (B)A
t .
109
110 Captulo 11: Espacios metricos finitos.
C (B)A
2.
(iii) 0 f =
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
@
@
@
B0 B1
A C
@ B2
C
@
@
Fig. 3
119
120