Introduccin a la Teora de Grafos:

Teora de Ramsey

Ana Laura Gargantini contacto: aaairplane@gmail.com

Frank P. Ramsey public hacia 1930, el siguiente teorema, que forma parte de lo que se comenz a desarrollar entonces: la teora de Ramsey Teorema 1 (teorema de Ramsey): Dados existe un mnimo entero aristas de un grafo completo no dirigido de Adems Se omite la demostracin pues fue dada en clase. Este resultado es impactante: queda asegurada la existencia de los nmeros de Ramsey, para cualesquiera y . Es decir, hay un nmero mnimo de vrtices que permite la existencia de estructuras ordenadas (grafos completos monocromticos), dentro de la gran cantidad de posibles coloraciones. Se presentar una primera generalizacin de este teorema. Aqu se asegura la existencia de los nmeros de Ramsey para coloraciones de colores y la posibilidad de encontrar algn grafo completo , monocromtico. Teorema 2 (teorema de Ramsey, generalizacin): Sea . Dados con colores para algn , , existe un mnimo entero tal que toda coloracin de las aristas de grafo completo con vrtices contiene, , un subgrafo completo con vrtices, del color . Adems, . tal que toda coloracin rojo-azul de las vrtices contiene un rojo o un azul.

Obsrvese que el nmero que sirve como cota es un n de Ramsey para una coloracin con dos colores. Para la demostracin se procede por induccin. Demostracin: El teorema anterior es un caso particular de ste, con . Ahora supngase que vale para

Considero la coloracin del grafo de

vrtices con los colores

Cambio el color de las aristas coloreadas con por , Obteniendo una coloracin de dos colores del grafo completo de vrtices, . Luego hay un subgrafo completo con vrtices con todas sus aristas de color o hay un subgrafo completo con sus aristas de color . Si ocurre lo primero, el grafo completo con con vrtices de color . vrtices contiene un subgrafo completo

Si ocurre lo segundo, vuelvo a poner el color original a las aristas y obtengo un grafo completo con vrtices coloreado con los colores , que debe contener, por hiptesis inductiva un subgrafo completo de vrtices de color para algn .

As queda demostrado que

existe, y satisface

Es conocida la observacin de que si tenemos 15 palomas y 14 nidos, en algn nido dormirn al menos dos palomas. El teorema de Ramsey se puede ver una generalizacin de este Principio, ya que considera no solamente la clasificacin de los elementos de un conjunto dado sino la clasificacin de sus subconjuntos de 2 (o ms) elementos, es decir, aristas (o hiperaristas) del grafo (o hipergrafo). Teorema 3: Sean { i. ii. iii. iv. Demostracin: i. { } | es una unin disjunta, por lo tanto | | |
| | | |

dos conjuntos finitos no vacos, una relacin de }) y su inversa. Entonces se verifica: | | | | | | | |

| | | | | | | | | | | |

en

| | | |

| | | |

| | |
| | | |

| | |. Absurdo, | |

| |

| ,|

| |

| | , | |

que proviene de suponer que

| | | |

por lo tanto

ii. iii. iv.

Se procede anlogamente, cambiando por Se aplica i. a , teniendo en cuenta que | Se aplica ii. a

| |

Dada una sucesin de 5 nmeros reales, tres de ellos, en el mismo orden, forman una subsucesin montona creciente o montona decreciente. Podemos conseguir un resultado ms general, como hicieron Erds y Szekeres, segn indica el siguiente teorema, usando el anterior. Teorema 4: Sean . Cualquier sucesin de nmeros reales trminos) contiene una subsucesin montona creciente de subsucesin montona decreciente de trminos, o ambas. Demostracin: Supongamos que no tiene ninguna subsucesin montona creciente de trminos ni una subsucesin montona decreciente de trminos. (con trminos o contiene una

} { } { } tal que Definamos una funcin { , donde es la cantidad de trminos que tiene la ms larga de las subsucesiones montonas crecientes de que comienzan con y donde es la cantidad de trminos que tiene la ms larga de las subsucesiones montonas decrecientes de que comienzan con . Por el principio del palomar, existen e , pero esto es absurdo pues: tales que , es decir que

si , la subsucesin que tiene como primer trmino y los dems trminos son los de la subsucesin montona creciente ms larga que comienza con es montona creciente y tiene trminos, es decir que si , la subsucesin que tiene como primer trmino y los dems trminos son los de la subsucesin montona decreciente ms larga que comienza con , es montona decreciente y tiene trminos, es decir que

A partir de este momento, conviene empezar a expresar los resultados en trminos de conjuntos. Si es un conjunto, notemos
[ ]

el conjunto de todos los subconjuntos de dada por

elementos de . Definamos a la coloracin de [ ] con colores como una funcin [ ] [ ] { }. Un conjunto es homogneo para si , es decir, es constante en monocromtico.
[ ]

. Este

corresponde a un subgrafo completo

A travs de una extensin del teorema de Ramsey para conjuntos infinitos, se puede demostrar que toda sucesin infinita de nmeros reales contiene una subsucesin infinita montona creciente o montona decreciente. Veamos primero un caso particular. Teorema 5: Dado un conjunto infinito y dada una funcin homogneo para . Demostracin: Ser necesario demostrar previamente el siguiente lema. Lema (lema de Knig): Un rbol infinito Demostracin: Se halla una rama infinita por induccin. Como cada camino entre dos vrtices es nico, identificaremos a cada vrtice o nodo con la sucesin de todos sus predecesores en el orden del rbol y el mismo vrtice como ltimo elemento de la sucesin (sobre un conjunto infinito), a ramificacin finita tiene una rama infinita.
[ ]

}, existe un conjunto infinito

El nivel 0 (donde se ubica , la raz) est formado por la sucesin . Por hiptesis se puede asegurar que tiene un conjunto finito de sucesores inmediatos. Entre ellos, hay al menos un tendr infinitos sucesores. Entre los sucesores inmediatos, que los elemento tal que hay en cantidad finita, hay al menos uno que tiene infinitos sucesores. Elijo uno de esos y lo . Continuando con este proceso, una vez definida una sucesin llamo para el nivel , con su conjunto de sucesores inmediatos elijo entre ellos uno que tenga . infinitos sucesores. Lo llamo Como el rbol es infinito podemos obtener una sucesin infinita claramente determina una rama del rbol. Demostracin del Teorema 5:
[ ] { }. Contruyamos un rbol tomando Tenemos que es infinito y ponindolo en el nivel 0; ser la raz. El resto de A lo dividamos en dos clases, { { } }y{ { } { } }.

, que

y { }

Sean y elementos de la primera y segunda clase, respectivamente. Estos sern y ahora pertenecen al rbol, sucesores inmediatos de y las secuencias formando el nivel 1. Lo que resta de la primera parte es sucesores de y, anlogamente, sucesores de . { { { { } } } { } { } y es el conjunto de } es el conjunto de

Continuando con este proceso, los miembros del nivel estarn denotados por donde es una sucesin finita de ceros y unos de longitud . Supongamos que as hemos definido el nivel . Dado un elemento de ese nivel, sea el conjunto de sus sucesores. Dividimos { } }y{ { } }. Tomo un elemento de en dos partes: { cada parte: y respectivamente. Los conjuntos de sus sucesores son { { } } { }y { { } } { }. Alguno de estos { }. Pero no dos conjuntos podra resultar vaco: en ese caso no tendra sucesores, puede ocurrir que ambos sean vacos para todos los nodos, lo que asegura que se pueda continuar con el procedimiento. Esto fue la definicin inductiva de un rbol infinito con niveles finitos. Por Lema, debe tener . El rbol est construido de tal manera que si una rama infinita representada por tomo de esa rama, todos los con estn entre los sucesores de y toma un valor constante en los pares { }. Si ese valor es 0 diremos que es de tipo 0 y diremos que es de tipo 1 en caso contrario. Esto quiere decir que hay dos tipos de nodos en la rama, como es infinita, debe haber un conjunto infinito del mismo tipo. Ese es el conjunto homogneo que buscbamos. Teorema 6: Para todo y para todo , si A es un conjunto infinito numerable y { }, existe un conjunto infinito tal que es constante en [ ]
[ ]

Demostracin: Se procede por induccin en k si el resultado es trivial si , se procede por induccin en . - si , es evidente que se satisface el enunciado. - si , es el caso del Teorema 5 - supongamos que vale para demostrmoslo para
[ ]

, considerando particiones de
[ ]

, pues
[

es cualquier
]

conjunto infinito numerable, y una particin de mediante cualquier inyeccin de

determina una particin de

en . As puedo utilizar

{ }. Como en la demostracin anterior, se construir un rbol infinito con niveles finitos, de modo que sus primeros niveles estn dados por respectivamente. }. Divido este conjunto en Los sucesores de forman el conjunto { { } }y { { } }. dos clases: { Tomo el menor elemento de cada una de estas clases para formar el nivel n, as tendr a lo sumo dos sucesores inmediatos y el resto de la clase correspondiente ser el conjunto de sucesores de cada elemento del nivel n. Supongamos que el nivel fue definido de esa manera, junto con los sucesores de cada elemento. El nivel est compuesto por los sucesores inmediatos de cada elemento del nivel . Si est en el nivel , sean el conjunto de predecesores de , incluyendo a y el conjunto de sus sucesores. est bien ordenado segn el orden del rbol y tiene elementos. Para identificar los sucesores inmediatos de definir una relacin de equivalencia en y tomar como sucesores inmediatos el menor elemento de cada clase. . Es fcil verificar que sta es una relacin de equivalencia. De esto resulta que cada nodo en el nivel tiene a lo sumo |
[ ] ( ) [ ]

sucesores inmediatos, puesto que para cada se tiene que

[ ]

( ) y para cada

tiene dos valores posibles. Para cada

sucesor inmediato de , el conjunto de sucesores es el resto de la clase a la que pertenece. Si el conjunto es infinito, alguna de las clases de equivalencia debe ser infinita, por lo que al menos un sucesor inmediato de tendr infinitos sucesores. As se completa la construccin inductiva de este rbol infinito a ramificacin finita, y por el Lema, existe una rama infinita de ese rbol, a la que llamaremos . Si
[ ]

, por construccin

tiene el mismo valor para todo que se

[ ]

encuentra en

despus de . Digamos que

es de tipo 0 si ese valor es 0 y

[ ]

que es de tipo 1 en caso contrario, quedando definida una particin de

en dos

clases. Por hiptesis inductiva, existe un conjunto infinito , tal que est en la misma clase, es decir que es homogneo para . Queda demostrado el caso en que supongamos que el resultado vale para para todo

[ ]

demostrmoslo para [ ] { auxiliar

, con }

[ ]

}, definiendo una particin

{ Por hiptesis inductiva, si le asigna 0 a todo tiene un conjunto infinito

[ ] [ ]

homogneo para :

, ese mismo

es homogneo para

si le asigna 1 a todo , eso quiere decir que divide a [ ] en partes, y por hiptesis inductiva hay un , que ser homogneo tambin para Teorema 7: Toda sucesin infinita de nmeros reales contiene una subsucesin montona creciente infinita o contiene una subsucesin montona decreciente infinita. Demostracin: Nuestra sucesin ser { } } con cuatro colores segn la

Colorearemos sus subconjuntos de tres elementos { relacin de orden entre sus elementos. Si -Color 1: -Color 2: -Color 3: -Color 4: y y

Por el teorema anterior habr un subconjunto infinito monocromtico. Pero el color de este conjunto slo puede ser el 1 o el 4, lo que corresponde a una sucesin creciente o decreciente.