Introduccin a la Topologa combinatoria El teorema de los cuatro colores

Lus Romn Boulais luisboulais@hotmail.com

Trabajo de Grado para Optar por el Ttulo de Matemtico

Director: Oscar Eduardo Gmez Rojas Matemtico Fundacin Universitaria Konrad Lorenz

Fundacin Universitaria Konrad Lorenz Facultad de Matemticas 10 de diciembre de 2008

AGRADECIMIENTOS Deseo manifestar mi agradecimiento al profesor Oscar Gmez por todo el seguimiento y ayuda prestada. A mi esposa Andrea Sotomonte por toda la paciencia mostrada hacia m mientras me dedicaba a hacer la investigacin para este proyecto y por todo como nos amamos. De igual forma a la universidad Konrad Lorenz por toda la ayuda que me prest.

ABSTRACT This work is an exploration of combinatorial topology, especially in the four color theorem which so far exists only shows the essence of which lies in the verification of the full potential through a computer program. RESUMEN Este trabajo consiste en una exploracin de la topologa combinatoria, en especial en el teorema de los cuatro colores del cual hasta el momento solo existen demostraciones cuya esencia radica en la verificacin de la totalidad de posibilidades mediante un programa de computador.

NDICE
1. Introduccin -------------------------------------------2. Planteamiento ------------------------------------------2.1. La proyeccin ---------------------------------5 6 7

3. Historia ---------------------------------------------------- 8 3.1. Fechas destacables ----------------------------- 8 3.2. Personas importantes en esta tesis ----------- 9 4. Inicio de la Topologa Combinatoria -----------------4.1. Mapeando Grafos ------------------------------4.2. Grafos de incidencia ---------------------------4.3. Consecuencias de esta frmula ---------------4.4. Teorema de Kuratowski -----------------------4.5. Minimales Criminales --------------------------4.6. Construccin de conjuntos inevitables -------15 19 22 26 27 27 29

5. Demostracin Fallida de Kempe ------------------------- 30 5.1 Aqu esta el fallo ---------------------------------- 34 6. El teorema de los 5 colores ------------------------------ 35 7. Cuatro colores no bastan en dimensin 3 --------------- 39 8. Otras figuras geomtricas ------------------------------- 40 9. Bibliografa ----------------------------------------------42

1. INTRODUCCIN Segn la disposicin de aparicin histrica se podran ordenar las materias que se dedican al estudio del espacio as: geometra euclidiana, geometra proyectiva y el anlisis situs o topologa combinatoria. La primera es esencialmente mtrica: se estudian todas las propiedades que implican medida o estn de alguna manera relacionadas con ella. Considera equivalentes solo las figuras que coinciden al ser sobrepuestas. La segunda tiene en cuenta la idea de proyeccin, en ella son equivalentes figuras que son, mutuamente, una la proyeccin de la otra. No distingue, por ejemplo, una elipse de una parbola. Y por ltimo la topologa combinatoria que considera equivalentes aquellas figuras para las cuales se puede ir de una a otra mediante una deformacin continua. En ella son equivalentes, por ejemplo, la circunferencia con cualquier curva simple cerrada. Un problema clsico de la topologa combinatoria es el teorema de los cuatro colores, el cual afirma que cualquier mapa puede colorearse empleando solo cuatro colores, cumpliendo la condicin de no quedar regiones vecinas con igual color. Hasta el momento solo existen demostraciones que se basan en la verificacin exhaustiva de todas las posibilidades mediante un programa de computador. Estas demostraciones emplean algunos de los resultados enunciados por Sir Alfred Bray Kempe quien logr una demostracin que se tuvo por vlida durante 10 aos. Una vez corregido el error la demostracin qued sirviendo pero ya no para cuatro colores sino para cinco. Se incluye una discusin sobre la demostracin, el error cometido, as como la demostracin del teorema de los cinco colores. El tema es rico en ideas que por lo general son extraas a otras reas de la matemtica, por mencionar un ejemplo: predominan sobremanera las propiedades cualitativas sobre las cuantitativas, estas ultimas acaso si aparecen.

2. PLANTEAMIENTO Bastan 4 colores para colorear un mapa geogrfico plano, de modo que dos pases con frontera comn tengan diferente color? Antes de comenzar dicho planteamiento aclaremos unos cuantos conceptos bsicos:

Figura 1 Un conjunto de puntos es conexo cuando dos puntos cualesquiera del conjunto se pueden unir por un arco de curva simple verificando que todos los puntos de dicha curva pertenecern al conjunto. En nuestra discusin se entender que los mapas, y las regiones que los conforman, son conjuntos conexos, es decir, no se admite la figura 1: una regin (un pas) no puede estar partido en dos como en este caso el pas E.

Figura 2 De igual forma no se consideran adyacentes dos regiones que se tocan slo en un punto (figura 2).

Es un problema topolgico: no importa la forma de las regiones, sino como estn colocadas unas respecto a otras.

Figura 3 Aunque vivimos en una esfera esta se puede proyectar estereogrficamente en un mapa de dos dimensiones, como observamos en la figura 3. La proyeccin estereogrfica es considerar que el foco de luz que est en el polo norte y esta luz se proyecte sobre un plano. El rasgo ms caracterstico es que la escala aumenta a medida que nos alejamos del centro. 2.1. La Proyeccin Paso de poliedros a mapas: se infla el poliedro sobre una esfera, se proyecta estereogrficamente y se tiene el poliedro proyectado sobre el plano.

Cubo

Cubo esfrico Figura 4

Proyeccin del cubo

Mapa

3. HISTORIA:

3.1 Fechas Destacables:

AO 1852 1878 1879 1890 1913 1960 1969 1976 1996

AUTOR Francis Guthrie Arthur Cayley Sir Alfred Bray Kempe Percy Heawood George Birkhoff Heinrich Heesch Heinrich Heesch Ken Appel y Wolfgang Haken N. Robertson, D.P. Sanders, P. Seymour y R. Thomas

HECHO Plantea el problema a su hermano Frederick y ste a Augustus de Morgan. Publica el enunciado de la conjetura Publica su demostracin. Descubre un error insalvable en la demostracin de Kempe. Formula la nocin de configuracin reducible. Mtodo de descarga. Avanza en reducibilidad y obtencin de conjuntos inevitables de configuraciones. Prueban con ayuda de un ordenador que sus 1.482 configuraciones son reducibles (50 das de clculo). Mejoran la demostracin con ayuda de ordenador (slo 633 configuraciones) y automatizan la prueba de la inevitabilidad.

3.2. Personas Importantes En Esta Tesis: Francis Guthrie (1839-1899) abogado y botnico, observa que puede colorear un mapa complejo de los cantones (provincias) de Inglaterra con 4 colores. En 1852, enuncia el problema a su hermano Frederick (University College London) y ste a Augustus de Morgan. Francis Guthrie l es quien observa que 3 colores no son suficientes, con el diagrama crtico (vase la figura 5)

Figura 5 Frederick Guthrie (1833 1886), fue un cientfico britnico, escritor y profesor. Ayud a fundar la Sociedad de Fsica de Londres (actualmente el Instituto de Fsica) en 1874 y fue presidente de la

Frederick Guthrie 9

sociedad a partir de 1876. Crea que la ciencia debe basarse en la experimentacin, ms que en el debate. Fue el primero en observar que el problema de los cuatro colores no se puede generalizar a dimensin 3. Peter Guthrie Tait (Dalkeith, 1831-Edimburgo, 1901), profesor de Filosofa Natural, fsicomatemtico de la Universidad de Edimburgo, da una prueba alternativa en 1880, tambin con un error. Uno de los ingleses victorianos que se divirti con el teorema de los 4 colores fue Charles Lutwidge Dodgson Lewis Carroll (18321898). A Carroll le encantaba inventar puzzles y juegos.

Augustus de Morgan (1806-1871) estaba muy interesado en la conjetura de los 4 colores y difundi entre sus colegas su importancia. Una de las primeras personas con las que habl fue con el matemtico y fsico irlands Sir William Rowan Hamilton (1805-1865), quien no comparta el inters de De Morgan por el problema. Le escribe una carta el 23 de octubre de 1852: Un estudiante de minas [de Guthrie] me pidi darle una razn sobre un problema que yo no supe resolver. l dice que solo hacen falta cuatro colores para poder dibujar un mapa de tal forma que cada pas fronterizo use colores diferentes Decepcionado por el desinters de Hamilton, De Morgan se puso en contacto con otros matemticos. En 1853, escribe al conocido filsofo William Whewell (1794-1866, Cambridge), describiendo su observacin como un axioma matemtico.
10

Charles Sanders Peirce (1839-1914), matemtico, filsofo y lgico que da un seminario sobre el teorema de los cuatro colores aunque nunca la escribi. Charles Sanders Peirce Pero, el problema no est del todo olvidado gracias a: Arthur Cayley (1821-1895) de la Universidad de Cambridge. Cayley ejerci de abogado, y contino durante esa poca con sus investigaciones matemticas, en particular es uno de los padres fundadores del lgebra de matrices. En junio de 1878 acude a un Encuentro de la London Mathematical Society, donde realiza la siguiente exposicin: Una solucin ha sido dada afirmativamente: La coloracin en un mapa de un pas, dividido en municipios requiere de tan slo cuatro colores, de modo que no haya dos municipios adyacentes que estn pintados del mismo color. En 1879 publica una nota donde explica las dificultades del tema. Entre otras, observa que cuando se intenta probar el teorema de los 4 colores, pueden imponerse condiciones ms restrictivas sobre los mapas a colorear; en particular, basta con limitarse a mapas cbicos, es decir, aquellos en los que hay exactamente 3 regiones en cada punto de encuentro: en efecto, supongamos un mapa en el que hay ms de 3 regiones en alguno de los puntos de encuentro. Sobre este punto puede pegarse un pequeo parche, que produce un mapa cbico. Si se puede colorear este mapa con cuatro colores, se obtiene un 4-coloreado del mapa original, simplemente reduciendo el parche a un punto.

11

Original

Quitamos el parche Alfred Bray Kempe (1849-1922) era un soberbio cantante. Aprendi matemticas de Cayley y se gradu con distincin en 1872. A pesar de su pasin por las matemticas y la msica, eligi la profesin de abogado (especializado en ley eclesistica), dejando las matemticas y la msica como pasatiempos. En 1872 escribi su primer trabajo matemtico sobre la solucin de ecuaciones por medios mecnicos. Cinco aos ms tarde, estimulado Alfred Bray Kempe por un descubrimiento del ingeniero Charles Nicholas Peaucellier (18321913) sobre un mecanismo para trazar lneas rectas, public su famosa memoria sobre mecanismos titulada Como trazar una lnea recta. Kempe se interesa por el problema de los 4 colores tras la pregunta de Cayley en la London Mathematical Society. En junio de 1879 obtiene su solucin del teorema de los 4 colores y lo publica en el Amer. Journal of Maths. En 1880, publica unas versiones simplificadas de su prueba, donde corrige algunas erratas de su prueba original, pero deja intacto el error fatal...

Parcheado

Coloreamos

Percy John Heawood (naci el 8 de septiembre de 1861 en Newport Inglaterra y muere el 24 enero de 1955 en Durham, Inglaterra) Perci es el autor de la publicacin Map Colour Theorem en el J. Pure Appl. Maths en 1890. Encuentra, muy a su pesar, un caso para el que la prueba de Kempe no funciona.

12

Kempe admite su error en las pginas de los Procedings of the London Math. Soc. y el 9 de abril de 1891 dice lo siguiente en un encuentro de la London Mathematical Society: "Mi prueba consisti en un mtodo por el cual cualquier mapa puede ser coloreado con cuatro colores. Sr Heawood da un caso en que el mtodo falla, y, por tanto, la prueba demuestra ser errnea. No he logrado en la reparacin del defecto, aunque se puede demostrar que el mapa que da Sr Heawood puede ser coloreado con cuatro colores, y, por tanto, su crtica se aplica a mi prueba y no slo a s mismo el teorema

Hermann Minkowski (22 de junio de 1864 12 de enero de 1909) fue un matemtico alemn de origen judo que desarroll la teora geomtrica de los nmeros. Sus trabajos ms destacados fueron realizados en las reas de la teora de nmeros, la fsica matemtica y la teora de la relatividad. Minkowski imparti clases en las universidades de Bonn, Gttingen, Knigsberg y Zrich. En Zrich fue uno de los profesores de Einstein. Dijo en cierta ocasin a sus alumnos que l no haba resuelto el problema de los 4 colores, porque se trataba de un problema que slo haban atacado matemticos de tercera fila Si quiero, puedo probarlo algn tiempo ms tarde reconoci de manera sumisa: El cielo se ha enfadado por mi arrogancia: mi prueba es tambin errnea. Heinrich Heesch (1906- 1995), graduado en matemticas y Msica, este matemtico resolvi en 1932 uno de los 23 problemas de Hilbert de 1900, el regular parquet problem (construccin de un tipo particular de embaldosamiento del plano), que es parte del problema nmero 18 de Hilbert.

13

En 1969, Heinrich Heesch sistematiza la prueba de la reducibilidad, desarrollando un algoritmo que intenta implementar con ordenador: 1. Realiza diversos tests con el programa Algol 60 en un CDC1604A (en contacto ya en Amrica con su alumno Wolfgang Haken). Heinrich Heesch 2. Afirma que la conjetura puede resolverse considerando tan slo 8.900 configuraciones; 3. Da una manera de construir conjuntos inevitables (obstrucciones locales), a travs de su algoritmo de descarga. Martn Gardner (Tulsa, Oklahoma, 21 de octubre de 1914) es un divulgador cientfico y filsofo de la ciencia estadounidense, muy popular por sus libros de matemtica recreativa. Public el 1 de abril de 1975 un artculo, pretendiendo que se haba encontrado un mapa de 110 regiones, figura 2 (el mapa de William McGregor, especialista en teora de grafos segn Gardner), que Martn Gardner requera necesariamente 5 colores, dando as un contraejemplo, que invalidaba la an por entonces conjetura de los 4 colores. Pero esto solo fue una bonita broma. Figura 2 La prueba de Haken y Appel El progreso era lento, hasta que en 1976 Ken Appel y Wolfgang Haken dieron una prueba cuyos principales ingredientes eran los conceptos de descarga y reducibilidad (adems de cadenas de Kempe, etc.): una vez obtenida la larga lista de configuraciones inevitables, demostraron que eran reducibles, obteniendo una prueba inductiva del teorema.

14

4. INICIOS DE LA TOPOLOGA COMBINATORIA Histricamente se asocia el nacimiento de la Topologa Combinatoria con la solucin dada por Euler en 1736 al problema de los puentes de Knigsberg. El problema es el siguiente: a la altura de la ciudad de Knigsberg (actual Kaliningrado) hay dos islas dentro del ro Pregel. Estas islas estn unidas con tierra firme y entre s por siete puentes como aparece en la figura 1.

Figura 1 Los habitantes de Knigsberg se preguntaban si era posible idear un recorrido que, comenzando en tierra firme o en alguna de las islas, permitiera al caminante pasar por todos los puentes, pero empleando cada puente solo una vez. El modelo matemtico empleado por Euler para resolver el problema corresponde a lo que hoy se conoce como Teora de Grafos. Definicin 1. Un grafo G se puede definir como el par de conjuntos V(G) y E(G) donde V(G) es un conjunto finito, no vaco, de elementos denominados vrtices (o nodos, o puntos), y E(G) es un conjunto finito de elementos asociados con pares no ordenados de elementos de V(G) llamados aristas (o arcos).

15

Esta es obviamente una definicin puramente matemtica. Realmente la nocin de grafo es sumamente intuitiva. La relacin entre la definicin formal y la intuicin se ve en el siguiente ejemplo. Ejemplo 1. La figura 2 representa un grafo simple G.

Figura 2 Para este grafo se tiene V(G) = {a, b, c, d} y E(G) = {u, v w, z}. Existe una clara relacin entre vrtices y aristas, por ejemplo la arista u est relacionada con los vrtices a y b ya que u es la arista que une a con b. De que manera podemos emplear los grafos para resolver el problema de los puentes de Knigsberg? Si nombramos las regiones como aparece en la figura 3 notamos que en realidad la nica informacin importante es: dada una regin a cuales otras est conectada mediante puentes?

Figura 3 Por ejemplo la regin A est conectada con las regiones B y C. Con B mediante dos puentes y con C mediante uno solo. Podemos consignar esta informacin importante mediante el empleo de un grafo, figura 4.

16

Figura 4

Figura 5

La figura 5 representa el famoso juego escolar en el que se pide repetir el dibujo con dos condiciones: no se puede levantar el lpiz y no se debe repasar ninguna lnea. Si imponemos estas condiciones al grafo de la figura 4 notamos que el dibujo as obtenido constituir una solucin para el problema de los puentes. Esta se basa en la idea de grado de un vrtice. Definicin 2. El grado de un vrtice v de G es igual al nmero de aristas que inciden en v. Se representa como g(v). Por ejemplo en la figura 4 se tiene g(A) = 3 y g(B) = 5. Para resolver el problema es importante considerar nicamente la paridad del grado de un vrtice y no el grado en s.

Figura 6 Por ejemplo en la figura 6 aparecen dos vrtices de grados 2 y 4 (grados pares) respectivamente. Si comienzo el recorrido en el nodo de la izquierda: salgo empleando un vrtice. Luego, cuando vuelva a entrar, lo har empleando el vrtice restante y por lo tanto no podr moverme ms
17

del nodo. Si comienzo el recorrido en el nodo de la derecha: salgo y entro: estoy dentro del nodo y an dispongo de dos vrtices, por lo tanto estoy en el caso de la izquierda y ya s que debo terminar el recorrido en el mismo nodo en que comenc. Es fcil generalizar este resultado a nodos de grado par cualquiera: si comienzo el recorrido dentro del nodo necesariamente debo terminarlo en l. Por el contrario si comienzo el recorrido por fuera del nodo de la izquierda: en algn momento entro empleando uno de los vrtices, al salir agoto el vrtice restante y por lo tanto no podr retornar a este nodo. Si comienzo por fuera del nodo de la derecha en algn momento entro y salgo: quedo fuera del nodo y solo dispongo de los dos vrtices restantes: por lo tanto s que debo terminar por fuera de este. En resumen: si comienzo el recorrido por fuera de un nodo de grado par necesariamente debo terminarlo tambin por fuera de dicho nodo.

Figura 7 En el caso de nodos de grado impar (figura 7) se tiene lo siguiente: en el caso a comienzo dentro del nodo, salgo y debo necesariamente terminar por fuera. En el caso b salgo y entro y la situacin se reduce al caso a. Por lo tanto si comienzo dentro termino fuera. En el caso c comienzo afuera y necesariamente termino dentro. En el caso d entro y salgo y quedo en el caso c y por tanto termino dentro. Resumiendo: si comienzo afuera termino dentro y si comienzo dentro termino fuera.

18

La tabla 1 resume estos resultados. Dependiendo del tipo de nodo (par o impar) y de donde comienzo el recorrido (dentro o fuera) me indica donde termino.
Tipo de Nodo Donde comienzo

Dentro Fuera

Par Dentro Fuera Tabla 1

Impar Fuera Dentro

De esta informacin deducimos un resultado interesante: un grfico con tres o ms vrtices de grado impar es imposible de recorrer ya que, necesariamente, el recorrido comenzar por fuera de al menos dos de tales nodos y por lo tanto debera terminar, simultneamente, dentro de cada uno de ellos, lo cual es, obviamente, imposible. Por lo tanto el grafo de la figura 4 no puede ser recorrido y as se concluye que el problema de los siete puentes de Knigsberg no tiene solucin. En la solucin del problema de los puentes hemos abstrado lo esencial de la distribucin de las regiones y hemos consignado esta informacin en un grafo, este proceso corresponde a lo que se conoce como el mapeo de grafos, vemoslo ms a fondo: 4.1. MAPEANDO GRAFOS

Entre los tipos de grafos que existen podemos centrarnos en dos clases importantes: los completos y los bipartidos. Grafo completo de n vrtices: es aquel que contiene una, y solo una, arista en cada par de vrtices distintos. Notamos por K n a un grafo completo de n vrtices. Grafo bipartito: es aquel grafo simple en el cual podemos hacer una particin del conjunto de vrtices en dos conjuntos disjuntos, de manera que cada vrtice de un conjunto de la particin es adyacente exactamente con todos los vrtices del otro conjunto de la particin. Si p y q son el nmero de vrtices de cada uno de los conjuntos de la particin denotamos a este grafo por K p, q. Grafo plano: decimos que un grafo es plano cuando puede ser dibujado en el plano de forma que las aristas no presenten intersecciones salvo en sus vrtices. Podemos observar que K1, K2, K3 y K4 (como veremos ms adelante) son grafos planos dando una representacin de ellos sin
19

intersecciones, sin embargo esto no es posible para K5, con lo cul K5, no es un grafo plano.

K5

K 3, 3
Por otro lado los grafos bipartitos que son del tipo K p, q. con p o q menor estrictamente que 3 son claramente planos mientras que K 3 ,3 no lo es. Un mapa divide el plano en componentes conexas a las que denominamos regiones. Decimos que dos regiones son adyacentes si tienen una frontera comn (es importante observar que no son adyacentes si solo tienen un punto en comn). Podemos asociar a cada mapa su grafo dual que resulta ser siempre un grafo plano. A cada regin del mapa se asocia un vrtice y siempre que dos regiones tengan una arista en comn entenderemos que estas dos regiones son vecinas. Para grafos planos se verifica la frmula de Euler para poliedros.

20

Teorema: sean V, A y C respectivamente el nmero de vrtices, aristas y caras de cualquier poliedro simple (esto es que no tenga perforaciones). Entonces siempre se tiene que

V+CA=2
Demostracin: Imaginemos que el poliedro simple dado es hueco, con una superficie hecha de caucho delgado (como en la figura 8). Entonces, si quitamos una de las caras del poliedro hueco, podemos deformar la superficie que queda hasta que se extienda en un Figura 8 plano (como se realiza en la figura 9). Con este proceso tendremos que el polgono sigue con el mismo nmero de aristas y vrtices, lo nico que habr cambiado es el nmero de caras que ser una menos: C = C + 1 donde C es el nuevo nmero de caras
V A + C = 2 V A + C + 1 = 2 V A + C = 1

Primero triangulamos la red plana deFigura 9 la siguiente manera: en algn polgono de la red que no sea ya un triangulo trazamos una diagonal. (Como se puede observar en la figura 10), la idea es aumentar en A y en C permaneciendo invariante la frmula de Euler, vamos a denotar como nueva arista A y como nueva cara C, quedando de la siguiente forma: A = A1 y C = C1 V A + C = 1 V (A1) + (C1) = 1 V A + C = 1 As seguiremos hasta que el polgono quede absolutamente triangulado. Ahora procedemos a eliminar tringulos: Tomamos cualquier triangulo con exactamente una arista en la frontera y le quitamos esta arista, que claramente no le pertenece a ningn otro triangulo. Por ejemplo de la figura 10, del triangulo ABC le quitamos la arista AC, dejando las otra aristas sin quitar.

Figura 10

21

Una vez ms realizando est tctica la frmula de Euler permanece invariable: Quitando este tipo de aristas hemos conseguido reducir en una unidad las aristas y por otro lado tambin hemos reducido una cara (el propio triangulo que desapareci) Quedando de la siguiente forma A = A + 1 y C = C + 1 V A + C = 1 V (A+1) + (C+1) = 1 V A + C = 1 Ahora eliminamos tringulos que tienen dos aristas en la frontera, por ejemplo en la figura 11 del triangulo DEF quitamos las aristas EF y DF. En este caso observamos que sigue invariante la frmula de Euler, pero porque V disminuye en 1, A disminuye en 2 y C disminuye en 1, quedando de la siguiente forma: V = V IV) + 1 , A = AIV) + 2 y C = C IV) + 1 V A + C = 1 (V + 1) (A + 2) + (C IV) + 1) = 1 V IV) AIV) + C IV) = 1
IV) IV)

Figura 11

Mediante una sucesin de estas operaciones, escogidas adecuadamente, podemos quitar tringulos con aristas en la frontera (la cual cambia con cada supresin), hasta que finalmente quede un nico tringulo, con sus tres aristas, tres vrtices y una cara (vase la figura 13) Para esta red sencilla se obtiene: V n) An) + C n) = 3 3 + 1 = 1 Ahora volviendo al estado inicial observamos que en ningn momento alteramos la frmula de Euler salvo cuando le quitamos una cara al poliedro inicial. Con esto damos por finalizada la demostracin. 4.2. GRAFOS DE INCIDENCIA

Figura 12

Figura 13

Un k-coloreado de un mapa consiste en asociar a cada regin del mapa un color de forma que las regiones adyacentes no reciban el mismo color y utilizando exactamente k colores. Cuando existe un k-coloreado de un mapa decimos que es k-coloreable.

22

Un k-coloreado de un grafo consiste en, utilizando exactamente k colores asociar a cada vrtice del grafo un color de forma que vrtices adyacentes no reciban el mismo color. Cuando existe un k-coloreado de un grafo decimos que es k-coloreable. En general pueden ser necesarios muchos colores para colorear un cierto grafo. Es claro que para colorear Kn se necesitan n colores exactamente. El proceso de k-colorear un mapa es equivalente al de k-colorear su grafo dual en sentido que uno se puede, si y solo si, se puede el otro. La restriccin que da el hecho de ser siempre plano el grafo dual de un mapa es el hecho crucial para determinar el nmero de colores que se necesitan. La idea hasta aqu expuesta se representa de la siguiente forma, en un mapa se marcan las capitales y estas se unen si corresponden a pases contiguos. As se obtiene un grafo de incidencia o dual del mapa, entonces a partir de ahora colorear un mapa equivale a colorear su grafo dual: De este mapa, marcamos las capitales (es decir un punto cualquiera), estas capitales son mis vrtices y estos los unimos a travs de aristas.

Desde este punto nos olvidamos del mapa obteniendo el grafo con el que trabajaremos a partir de ahora:

23

24

Los grafos de incidencia son siempre planos, es decir, se puede dibujar en el plano una representacin concreta del grafo, en la cual las aristas no se corten excepto en un eventual vrtice comn. Veamos que K4 es plano

Un mapa es cbico si y slo si su grafo de incidencia es triangulado (grafo planar en el que cada cara tiene exactamente tres aristas). El nmero de regiones vecinas se corresponde ahora con el grado de cada vrtice (nmero de aristas incidentes). Para los grafos de incidencia tambin se puede usar la frmula de Euler:

Vrtices Aristas + Caras = 2

25

Por ejemplo: en el caso es un grafo plano porque no tiene cortes entre s, adems tiene: 11 Vrtices (ciudades) 15 Aristas (carreteras) 6 Caras (Regiones incluida la exterior) Entonces verifica la frmula de euler: 11 15 + 6 = 2

4.3 CONSECUENCIAS DE ESTA FRMULA: Si G es un grafo simple y plano con V vrtices y A aristas 1.- Si A 3, entonces A 3V 6C 2V 4 Si el borde de cada regin es un tringulo, como cada arista pertenece al borde de dos regiones resulta, 3C=2A. Por la frmula de Euler 3V 3A + 3C = 6, sustituyendo resulta A = 3V6 Anlogamente como 2V 2A + 2C = 4, sustituyendo resulta C = 2V 4. 2.- Si V 3 y G no tiene ciclos de longitud 3, entonces A 2V4 Ahora el borde de cada regin tiene, al menos, 4 aristas y cada arista pertenece al borde de dos regiones. As contando el nmero de aristas, resulta que 4C 2A Sustituyendo en la frmula de Euler 2V2A+2C = 4, A 2V4 3.- G tiene, al menos, un vrtice v con grado d(v) 5 Si para cada vrtice x, se tiene que d(x)6 entonces 2A=d(x) 6V, luego A 3V Propiedades: El grafo K 5 y el grafo K 3,3 No son planares y por tanto no pueden ser de incidencia. Demostracin: K 5 No es plano porque 5 vrtices y 10 aristas, si aplicamos la A 3V 6C, entonces 10 3*5 6 = 9 y por tanto no se verifica y concluimos que no es planar.
26

En el caso de K 3, 3 tampoco es plano porque V = 6, A= 9 que observando la frmula: A 2V 4, entonces, 9 2*6-4=8 y por tanto no se verifica y por ende no es planar. 4.4. TEOREMA DE KURATOWSKI Un grafo G es planar G no contiene subgrafos homeomorfos a K5 ni a K3,3

4.5. MINIMALES CRIMINALES Un acercamiento alternativo para resolver la conjetura de los cuatro colores es: imaginar que es falsa, es decir, existen algunos mapas (grafos) que no pueden 4-colorearse. Entre estos mapas (grafos) que necesitan 5 colores o ms, debe de haber alguno con el menor nmero posible de regiones. Estos ejemplos se llaman minimales criminales as un minimal criminal no puede 4-colorearse, pero un mapa (grafo) con menos regiones (vrtices) s. Para probar el teorema de los 4 colores hay que demostrar que no existen minimales criminales... y eso se consigue encontrando condiciones restrictivas sobre este tipo de mapas (grafos). Lo que Kempe demuestra con su argumentacin (en este nuevo lenguaje), es que un minimal criminal no puede contener digones, tringulos o cuadrados (aqu es donde usa su mtodo de cadenas),... y falla al intentar probar que tampoco puede contener pentgonos

27

Si hubiese conseguido esto ltimo, habra quedado establecida la conjetura, al no existir mniales criminales (pues cualquiera de ellos debe contener obligatoriamente una de las anteriores cuatro configuraciones). La demostracin (bien hecha) del teorema de los 4 colores toma la de Kempe, pero para la induccin, en vez de eliminar un nico vrtice, se elimina un determinado trozo del grafo (una configuracin). Un conjunto inevitable K es un conjunto finito de configuraciones (una configuracin es un ciclo con vrtices internos triangulados) tal que todo grafo contiene una copia conforme de una k de K: por ejemplo, Kempe demuestra que para mapas cbicos, el conjunto K = {digones, tringulos, cuadrados, pentgonos} es inevitable. K es una configuracin reducible, si se puede deducir el coloreado de cualquier grafo que contenga a k, a partir de un grafo menor. Plan de la prueba: encontrar un conjunto inevitable K (todo grafo no 4coloreable contiene una copia conforme de alguna k en K). Si K estuviese formado slo de configuraciones reducibles, la prueba del teorema de los 4 colores estara terminada: en efecto, en tal caso, no podra existir un minimal criminal.

28

4.6. CONSTRUCCIN DE CONJUNTOS INEVITABLES:

Para generar un conjunto inevitable de configuraciones, la idea de Heesch es considerar el grafo como una red elctrica, asociando a cada vrtice una carga inicial de 6 d(v), donde d(v) es el grado de v (nmero de aristas Incidentes con este vrtice). Usando la frmula de Euler, se demuestra que la suma de las cargas en un grafo triangulado es 12. Si ahora se desplazan las cargas elctricas sobre la red (con su algoritmo de descarga), la suma total seguir siendo 12: los vrtices cargados positivamente pueden ceder cargas, los cargados negativamente pueden recibir y los de carga nula no intercambian.

Al final del proceso, se eliminan los vrtices de carga negativa y se obtiene un conjunto de configuraciones, de vrtices de cargas nulas o positivas: como todo grafo triangulado es de carga total 12, debe contener al menos una de las configuraciones (cuya geometra depender del proceso de descarga elegido) del conjunto anterior, que forma entonces un conjunto inevitable.

29

5. DEMOSTRACION FALLIDA DE KEMPE Alfred Bray Kempe investig el teorema de los cuatros colores, diciendo que lo haba demostrado, el usa la frmula de Euler para mapas cbicos para obtener la llamada counting formula, que permite probar: Todo mapa cbico tiene al menos una regin con cinco o menos regiones vecinas, es decir, cada mapa contiene al menos un digon, un tringulo, un cuadrado o un pentgono:

DIGON

TRIANGULO

CUADRADO

PETAGONO

Otros resultados esenciales en la demostracin de la conjetura, y que obtiene utilizando la frmula de Euler, son: Un mapa cbico que no contiene digones, tringulos o cuadrados debe contener al menos doce pentgonos. Si todos los mapas se pueden colorear con cuatro colores, puede hacerse de manera que slo aparezcan tres colores en el borde exterior del mapa. DEMOSTRACIN: Si X es una regin del mapa cbico M, denotamos por v(X) el nmero de sus regiones vecinas. La propiedad probada por Kempe (que veremos en la demostracin del teorema de los cinco colores) Todo mapa cbico M tiene al menos una regin X con cinco o menos regiones vecinas se escribe con la anterior notacin del modo: Existe una regin X con v(X) 5. La prueba se hace por induccin sobre el nmero de regiones. As, la hiptesis de induccin es que M - X es 4-coloreable, y la prueba consiste en ver que M tambin lo es. Hay tres casos posibles: CASO 1: Supongamos que v(X) = 3 (el caso de v(X) = 2 lo consideraremos obvio a partir de observar las siguientes). Basta con colorear X con el cuarto color (en este caso, el verde), como muestra la figura adjunta.

30

CASO 2: Supongamos que v(Y) = 4. (Cuadrado) Si Y y Z son dos regiones, Y de color rojo y Z de color verde, en un mapa 4-coloreado, se llama cadena de Kempe rojo-verde de Y a Z a un camino que va de Y a Z, alternando los colores rojo y verde.

Una componente rojo - verde de Y es el conjunto de todas las regiones Z del mapa, tales que existe una cadena de Kempe rojo-verde de Y a Z. El inters de estas dos definiciones es que se pueden invertir los colores rojo y verde en una componente rojo-verde cualquiera de un grafo 4-coloreado, para obtener un nuevo coloreado del mapa respetando la regla de los cuatro colores:

Carta original

Carta obtenida por inversin de la componente rojo-verde

En el caso que nos ocupa en que v(X) = 4, un entorno de X es de la forma que aparece en la figura de la derecha. Y se distinguen entonces dos posibilidades:

31

1) si X3 no est en la componente rojo-azul de X1, se invierten el rojo y el azul en esta componente y se libera un color para X (el rojo):

Liberamos el rojo para poder poner x en color rojo.

2) Si X3 est en la componente rojo-azul de X1, entonces, X2 no est en la componente amarillo-verde de X4. Se hace un cambio en la componente amarillo -verde de X4, con lo que se libera un color (el amarillo) para X: Cambiamos amarillo por verde para poder pintar a x de amarillo.

CASO 3: Supongamos que v(X) = 5. Entonces, un entorno de X es de la forma que se muestra en la figura de la derecha: Y se distinguen otra vez dos casos:

32

1) Supongamos que X2 no pertenece a la componente amarilla-verde de X5 o que X2 no pertenece a la componente azul-verde de X4. Elegimos la primera de las opciones por fijar ideas, el otro caso se hace de manera totalmente anloga. Entonces, se invierten el amarillo y el verde en esta componente amarilla-verde de X5 y se libera un color (el verde) para X.

2) En caso contrario, X2 pertenece a la componente amarilla-verde de X5 y X2 pertenece a la componente azul-verde de X4. Entonces, se invierten las componentes roja-azul de X1 y roja-amarilla de X3, para liberar el rojo para X. ... Y, as, Kempe finaliza con xito la demostracin de la conjetura.

33

5.1 Aqu esta el fallo Percy John Heawood (1861-1955) publica el trabajo Map Colour Theorem en el Journal of Pure and Applied Mathematics, en 1890. Encuentra, muy a su pesar (como l mismo afirma), un contraejemplo a la prueba de Kempe. Se muestra a la derecha su configuracin original: En efecto, el problema consiste en que las

componentes amarillaverde de X5 y azulverde de X4 pueden cruzarse. Y si as sucede, las componentes rojoazul de X1 y rojo amarillo de X3 no son invertibles simultneamente...

34

6. EL TEOREMA DE LOS CINCO COLORES Con base en la frmula de Euler vamos a demostrar que todo mapa sobre la esfera se puede colorear adecuadamente utilizando a lo ms cinco colores diferentes. Nos restringiremos a la coloracin segn las condiciones expuestas al comienzo de esta tesis, es decir, que entre pases vecinos no tengan el mismo color y que los pases sean cerrados, simples y compuestos por arcos simples, a este tipo de mapas lo llamaremos regular. Podemos suponer que exactamente tres arcos interceptan a cada vrtice, pues si hay ms arcos, reemplazamos ese vrtice por un pequeo crculo, obteniendo un nuevo mapa en el que los vrtices mltiples estn reemplazados por un nmero de vrtices triples. El nuevo mapa tendr el mismo nmero de regiones que el mapa original.

Original

original+crculo Figura 1

Este nuevo mapa regular se podr colorear adecuadamente con cinco colores, reduciendo los crculos a puntos tendremos la iluminacin deseada para el mapa original. Para comenzar dicha demostracin tenemos primero que demostrar que todo mapa regular debe tener al menos un polgono con menos de 6 lados. Denotamos C n al nmero de regiones de n lados en un mapa regular; entonces, si C es el nmero total de regiones. C = C2 + C3 + C4 + Cada arco (A) tiene dos extremos y en cada vrtice (V) concurren exactamente tres arcos, entonces se verifica: 2A = 3V. Adems, una regin limitada por n arcos tiene n vrtices y cada vrtice posee tres regiones, entonces:

35

2A = 3V = 2C 2 + 3C 3 + 4C 4 + Por la frmula de Euler se tiene que: V A + C = 2 o mejor dicho 6V 6A + 6C = 12 Como sabemos que 2A = 3V o lo que es lo mismo 6V = 4A, sustituimos obteniendo: 4A 6A + 6C = 12 + 6C = 12 2A Entonces: 6(C 2 + C 3 + C 4 + ) + (2C 2 + 3C 3 + 4C 4 + ) = 12 Movemos esta ltima ecuacin y tenemos: (6 2)C 2 + (6 3)C 3 + (6 4)C 4 +(6 5)C 5 + (6 6)C 6 + + (6 7)C 7 + = 12 Tenemos que 12 es un nmero positivo y que nicamente los coeficientes de la derecha de C 2, C 3, C 4 y C 5 son positivos y el resto de coeficientes son negativos, es por tanto que uno de estos primeros coeficiente deben de ser distinto de cero y por tanto concluimos que tenemos seguro una regin con menos de seis lados. DEMOSTRACIN DEL TEOREMA DE LOS 5 COLORES: Con estas demostraciones iniciales ya nos podemos encaminar a la demostracin de los cinco colores. Sea M cualquier mapa regular con un nmero total de n regiones. Sabemos que al menos una de estas regiones tiene menos de 6 lados.

36

Caso 1: M contiene una regin A con 2,3 o 4 lados. Vamos a quitar una frontera entre A y una de las regiones adyacentes. (Como se muestra en la figura 1). El mapa resultante M ser un mapa regular con n 1 regiones. Si M puede colorearse adecuadamente con cinco colores, lo mismo ocurrir para M. Pues dado que a lo ms cuatro regiones de M tocan a la regin de A, siempre podemos utilizar un quinto color para esta.

Figura 2 Caso 2: M contiene una regin A con 5 lados. Considrese las cinco regiones adyacentes a la regin A y llmese a estas regiones B, C, D, E y F. siempre podemos encontrar un par de ellas que no se toquen entre s: ya que por ejemplo si B y D se tocan, impedirn que C toque a E o a F, pues cualquier camino que lleve de C a E o a F tendr que pasar a travs de al menos una de las regiones A, B y D. Por tanto podemos suponer, por ejemplo, que C y F no se tocan. Quitamos los lados de A adyacentes a C y a F, formando un nuevo mapa M con n 2 regiones, que tambin es regular. Si el nuevo mapa M puede iluminarse adecuadamente con cinco colores, lo mismo se cumple para M, Pues cuando se restauran las fronteras A estar en contacto con no ms de cuatro colores diferentes ya que C y F tienen el mismo color, y por tanto podemos utilizar un quinto color para A.

As en cualquier caso, si M es un mapa regular con n regiones podemos construir un nuevo mapa regular M con n 1 o n 2 regiones, y tal que si
37

M puede colorearse con cinco colores, lo mismo se cumple para M. Este proceso puede aplicarse de nuevo a M y repetirse sucesivamente obtenindose as a partir de M una sucesin de mapas M, M, M, Como el nmero de regiones en los mapas de esta sucesin es estrictamente decreciente, finalmente debemos obtener un mapa con cinco o menos regiones. Tal mapa siempre puede colorearse a lo ms con cinco colores. Por lo tanto regresando paso a paso hasta M, vemos que M mismo puede colorearse con cinco colores.

38

7. CUATRO COLORES NO BASTAN EN DIMENSIN 3 El teorema de los cuatro colores nos dice que podemos dibujar un mapa con slo con 4 colores, pero en dimensin 2. Ahora la pregunta sera Este teorema se puede generalizar a dimensin 3? La respuesta claramente es que no y esta demostracin la trabaj el profesor de matemticas y botnico Francis Guthrie en 1874. Un contraejemplo posterior realizado por Heinrich Tietze, se puede observar de una forma clara que este teorema no se puede generalizar:

DEMOSTRACIN: La propuesta consiste en tomar barras numeradas de 1 hasta n. Se sitan, ordenadas de manera horizontal como muestra la figura, y sobre ellas se colocan n barras numeradas de 1 hasta n en sentido vertical. De este modo, tenemos un mapa tridimensional con 2n pases, y es fcil observar que se necesita exactamente 2n colores, por tanto, tomando ms de 4 barras se puede observar que necesitamos 4 o ms colores.

39

8. OTRAS FORMAS GEOMTRICAS Para comenzar este tema veamos que es el gnero: La frmula de Euler para poliedros de gnero g > 0 se debe a Simon Antoine Jean Lhuilier (1750-1840) y dice que: Caso orientable Caras Aristas + Vrtices = 2-2g Caso no orientable Caras Aristas + Vrtices = 2-g En 1968, Gerhard Ringel y Ted Youngs prueban que para toda superficie sin borde orientable de gnero g > 0 o toda superficie sin borde no orientable distinta de la botella de Klein, N no es el mximo sino el nmero exacto. Por ejemplo para colorear un: TORO: Para colorear mapas sobre el toro son necesarios 7 colores [(7+(48g+1) )]=7

DOBLE TORO: [(7+(48g+1))]=8

40

Para la BOTELLA DE KLEIN se necesitan 6 colores (uno menos que su nmero N=7), J.L. Saaty, 1986.

Para la BANDA DE MBIUS, que es una superficie con borde, se necesitan tambin 6 colores (aqu la frmula de Heawood no se puede aplicar).

9. BIBLIOGRAFA [DIRECCINES http://math.ucalgary.ca/~laf/colorful/enseignm.html DE INTERNET] [DIRECCINES http://les.racailles.du.net.free.fr/ DE INTERNET] [DIRECCINES http://dept-info.labri.fr DE INTERNET] [DIRECCINES http://www.enseignement.polytechnique.fr
41

DE INTERNET] [DIRECCINES http://fourcolourtheorem.tripod.com/ DE INTERNET] [DIRECCINES http://www.emu.edu.tr/~cahit/ DE INTERNET] [DIRECCINES http://www.geocities.com/dharwadker/ DE INTERNET] [DIRECCINES http://www.math.gatech.edu/~thomas/FC/fourcolor.html DE INTERNET]

42