Teora de numeros 2.

Sesi
on 5: Panorama de la teora y el principio de compacidad.
Francisco Barrios P. - Yemile Chavez M.

5. El paisaje actual de la teora de Ramsey.

La teora de Ramsey bien podra pasar desapercibida si no hubiese un hilo con-
ductor com un a varios resultados y disciplinas al interior de la matematica moderna.
Para dejar constancia de esto, enunciaremos 6 teoremas de tipo Ramsey e invi-
tamos al lector a pensar en las relaciones que guardan estos resultados entre s, en
terminos de la teora que hemos desarrollado hasta el momento:
1. Para cualesquiera l, r, k N1 existe n0 N1 tal que para n n0 , si [n]k
esta r-coloreado entonces existe un [l]k monocromatico. [Teorema funda-
mental de la teora de Ramsey, que fue demostrado en la sesi on 4.]
2. Para cualesquiera l, r existe n0 tal que para todo n n0 , si [n] esta r-
coloreado entonces existe una progresion aritmetica monocromatica {a, a +
d, . . . , a + (l 1)d} [n] de longitud l. [Teorema de van der Waerden.]
3. Para todo r existe n0 := n0 (r) (que depende de r) tal que si [n0 ] esta r-
coloreado entonces existen x, y, z [n0 ], del mismo color y tales que x+y = z.
[Teorema de Schur. Podemos recuperar la formulacion dada en clase si,
como mencion o uno de ustedes, sustituimos el sentido de la desigualdad que
tenamos antes.]
Un sistema de ecuaciones L en las variables x1 , . . . , xm se dice que es regular si
para todo r existe n0 tal que para n n0 , si [n] esta r-coloreado entonces existen
x1 , . . . , xm [n], del mismo color, que satisfacen identicamente L.
4. La ecuaci on:
c1 x1 + c2 x2 + + cm xm = 0,
es regular si y solo si alg un subconjunto no vaco de las ci suman cero.
[Teorema de Rado.]
5. Para cualesquiera r, k existe n0 tal que para n n0 , si el cubo n-dimensional:
Ckn := {(x1 , . . . , xn ) : xi {0, 1, . . . , k 1}, 1 i n},
est
a r-coloreado entonces tiene una recta monocromatica. [Teorema de
Hales-Jewett.]
6. Sea F un campo finito de q elementos. Para cualesquiera k, l, r existe n0 tal
que la siguiente afirmacion es valida para n n0 : Sea V un espacio vectorial
de dimensi on n sobre F. Coloreese los subespacios k-dimensionales de V con r
colores. Entonces existe un subespacio l-dimensional de V cuyos subespacios
k-dimensionales son todos del mismo color. [Teorema de Graham-Leeb-
Rothschild.]
Es interesante recalcar que un enfoque muy u til (tan util que se justifica su
presentaci
on en un curso de teora de n umeros) para la teora de Ramsey utiliza el
lenguaje de las hipergraficas. Una hipergr afica H consta de un conjunto de vertices
V (H) y una familia E(H) de subconjuntos de V (H) llamados hiperaristas. Notese
que si para todo X E(H) se tiene |X| = 2, entonces recuperamos la definicion
usual de grafica.
Una r-coloraci on de H es una funcion:
: V (H) [r],
1
2

tal que ning un X E(H) es monocromatico. El n umero crom atico (H) de la

hipergr afica se define como el menor r tal que una r-coloracion de H existe. Para ver
la utilidad de todo esta terminologa, debemos mencionar que todos los teoremas de
tipo Ramsey son susceptibles de expresarse haciendo uso de la misma: tomaremos
el teorema de Hales-Jewett como ejemplo de esto.
Para k, n dados podemos construir una hipergrafica H := Hn,k cuyo conjunto
de vertices sea el cubo n-dimensional sobre [k], i.e., V (H) = Ckn , y que tenga
por hiperaristas al conjunto de lneas1 al interior de Ckn . De este modo, para
cualesquiera k, r, si n es lo suficientemente grande (Hn,k ) > r; o de otro modo:
lm (Hn,k ) = + para todo k.
n

6. El principio de compacidad.
En muchos teoremas de la teora de Ramsey (p. ej., en el de van der Waerden)
nos interesa probar que, para n lo suficientemente grande, una r-coloracion de
[n] (o de [n]k ) posee cierta propiedad. El llamado principio de compacidad (que
nos interesa probar aqu y que, como cabra esperar, guarda una relacion estrecha
con el Axioma de Elecci on) nos muestra que normalmente basta con demostrar que
cualquier r-coloracion de N o de [N]k posee la propiedad deseada. Fiel a lo que
mencionamos al final de la seccion anterior, formularemos y probaremos primero
el principio de compacidad al interior de la teora de hipergraficas, para despues
llevarlo a otros contextos.
Preguntas .
(i) El matem atico George Polya en su libro How to solve it dice que si nos es
imposible resolver un problema matematico en general, entonces existe una
versi
on particular del mismo problema que s podemos resolver y que nuestro
primer paso debera ser hallarlo. Siguiendo el consejo de Polya, elija uno de
los teoremas de tipo Ramsey del 2 al 6 y encuentre ese caso particular
que s puede resolver y resuelvalo: note que tiene muchos parametros en la
formulaci on de cada proposicion para ajustarlos en consecuencia.
(ii) Si lo desea puede consultar las fuentes originales donde aparecen los resul-
tados anteriores. El artculo de V. Rodl (1991) o el de Graham (1990), que
ya estan disponibles en la carpeta de Dropbox, contienen una amplia bi-
bliografa y su lectura es muy recomendable. Descubrira que existen muchos
enfoques equivalentes para los resultados anteriores y, naturalmente, no debe
amargarse ni deprimirse si no comprende todo el contenido de los mismos.
(iii) Tambien puede tratar de traducir el resto de los teoremas de tipo Ramsey
al lenguaje de la teora de hipergraficas, observando cuidadosamente el papel
que desempe na el n
umero cromatico de la hipergrafica en cuestion (H).

1La definici
on de lnea que usaremos ser
a dada pr
oximamente con todo detalle. Nuestra reti-
cencia actual obedece a que en este momento sera un detalle demasiado t
ecnico que obstruira
nuestra exposicion.