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














1
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.


































2

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.





























3


NDICE

1. Introduccin -------------------------------------------- 5

2. Planteamiento ------------------------------------------- 6
2.1. La proyeccin ---------------------------------- 7

3. Historia ---------------------------------------------------- 8
3.1. Fechas destacables ----------------------------- 8
3.2. Personas importantes en esta tesis ----------- 9

4. Inicio de la Topologa Combinatoria ------------------ 15
4.1. Mapeando Grafos ------------------------------- 19
4.2. Grafos de incidencia ---------------------------- 22
4.3. Consecuencias de esta frmula ---------------- 26
4.4. Teorema de Kuratowski ------------------------ 27
4.5. Minimales Criminales --------------------------- 27
4.6. Construccin de conjuntos inevitables -------- 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












4


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.







5

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).

6
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 Proyeccin del cubo Mapa

Figura 4

7

3. HISTORIA:




3.1 Fechas Destacables:



AO AUTOR HECHO
1852 Francis Guthrie Plantea el problema a su hermano
Frederick y ste a Augustus de Morgan.
1878 Arthur Cayley Publica el enunciado de la conjetura
1879 Sir Alfred Bray
Kempe
Publica su demostracin.
1890 Percy Heawood Descubre un error insalvable en la
demostracin de Kempe.
1913 George Birkhoff Formula la nocin de configuracin
reducible.
1960 Heinrich Heesch Mtodo de descarga.
1969 Heinrich Heesch Avanza en reducibilidad y obtencin de
conjuntos inevitables de configuraciones.
1976 Ken Appel y
Wolfgang Haken
Prueban con ayuda de un ordenador que
sus 1.482 configuraciones son reducibles
(50 das de clculo).
1996 N. Robertson,
D.P. Sanders, P.
Seymour y
R. Thomas
Mejoran la demostracin con ayuda de
ordenador (slo 633 configuraciones) y
automatizan la prueba de la inevitabilidad.













8

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

rederick Guthrie (1833 1886),












F 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
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.

Frederick Guthrie
9
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 (1832-
1898). 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.

Original Parcheado Coloreamos Quitamos el
parche
11
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
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.
Alfred Bray Kempe
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. J ournal 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...





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.
En 1969, Heinrich Heesch sistematiza la
prueba de la reducibilidad, desarrollando un
13
Heinrich Heesch
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).
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
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.
Martn Gardner




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 Par Impar
Dentro Dentro Fuera
Fuera Fuera Dentro
Tabla 1

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 K
1
, K
2
, K
3
y K
4
(como veremos ms
adelante) son grafos planos dando una representacin de ellos sin
19
intersecciones, sin embargo esto no es posible para K
5
, con lo cul K
5
, no es
un grafo plano.





K
5












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 + C A =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
plano (como se realiza en la figura 9).
Figura 8
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 de 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 =A 1 y C =C 1
Figura 9

V A +C =1 V (A 1) +(C 1) =1 V A +C =1

Figura 10
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.
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 =A
IV)
+2 y C =C
IV)
+1

Figura 11
V A +C =1 (V
IV)
+1) (A
IV)
+2) +
(C
IV)
+1) =1 V
IV)
A
IV)
+C
IV)
=1

Figura 12
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)
A
n)
+C
n)
=3 3 +1 =1
Figura 13

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

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 K
n
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 K
4
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 K
5
ni a
K
3,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 4-
coloreable 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,
a adjunta. el verde), como muestra la figur

30
CASO 2:
31
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.

se
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
ponente rojo-verde
n el caso que nos ocupa en que v(X
ntorno de X es de la forma que aparece en la





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
pueden invertir los colores rojo y verde en una

Carta obtenida por inversin
de la com



E ) =4, un
e
figura de la derecha.
Y se distinguen entonces dos posibilidades:

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



L
m
r
para
poder
poner x
en
color



2) Si X3 est en la componente rojo-azul de X tonces, 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:
ambiamos


C
amarillo por
erde para
poder pintar

v
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 cas s: o


32
1) Supongamos que X
2
no pertenece a la componente amarilla-verde de X
5

o que X
2
no pertenece a la componente azul-verde de X
4
.

o
fijar idea
totalmen
s la primera de las opciones por
s, el otro caso se hace de manera
te anloga.
Elegim
Entonces, se invierten el amarillo y el
verde en ente amarilla-verde
de X
5
y se libera un color (el verde) para
X.

contrario, X
p
esta compon
2) En caso
2
ertenece a la componente
amarilla-verde de X
5
y X
2

ertenece a la componente
zul-verde de X
4
.
ntonces, se invierten las
omponentes roja-azul de X
1
y
p
a

E
c
roja-amarilla de X
3
, para liberar el rojo para X.
... Y, as, Kempe finaliza con xito la demostracin de la conjetura.





















33



5.1 Aqu esta el fallo
a
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

Percy J ohn Heawood (1861-1955) publica el
l

trabajo Map Colour Theorem en el Journ
componentes amarillaverde
de X
5
y azulverde de X
4

pueden cruzarse. Y si as
sucede, las componentes
rojoazul de X
1
y rojo
amarillo de X
3
no son
invertibles



simultneamente...












34
6. EL TEOREMA DE LOS CINCO COLORES

Con base en la frmula de Euler vam ostrar que todo mapa sobre la
esfera se puede colo n s cinco colores
diferentes.

s pases sean cerrados, simples y compuestos por
rcos simples, a este tipo de mapas lo llamaremos regular.
os vrtices mltiples estn
emplazados por un nmero de vrtices triples. El nuevo mapa tendr el
mismo nmero de regione



Figura 1

Este nuevo mapa r amente con cinco
olores, reduciendo los crculos a puntos tendremos la iluminacin deseada

Para comenza mostrar que
do mapa regular debe tener al menos un polgono con menos de 6 lados.
r;
es el nmero total de regiones.

(A) tiene dos extremos y en cada vrtice (V) concurren
xactamente tres arcos, entonces se verifica:

2A =3V.
tiene n vrtices y cada vrtice
osee tres regiones, entonces:

2A =
os a dem
rear adecuadame te utilizando a lo m
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 lo
a

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 l
re
s que el mapa original.


Original original+crculo
egular se podr colorear adecuad
c
para el mapa original.
r dicha demostracin tenemos primero que de
to
Denotamos C
n
al nmero de regiones de n lados en un mapa regula
entonces, si C

C =C
2
+C
3
+C
4
+
Cada arco
e
Adems, una regin limitada por n arcos
3V =2C
2
+3C
3
+4C
4
+
p
35

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
bteniendo:

ntonces:
=12

ovemos 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
enemos que 12 es un nmero positivo y que nicamente los coeficientes
e la derecha de C
2
, C
3
, C
4
y C
5
son positivos y el resto de coeficientes
on negativos, es por tanto que uno de estos primeros coeficiente deben de
er distinto de cero y por tanto concluimos que tenemos seguro una regin
on menos de seis lados.
in de los cinco colores.











o

4A 6A +6C =12 2A +6C =12
E

6(C
2
+C
3
+C
4
+) +(2C
2
+3C
3
+4C
4
+)
M


T
d
s
s
c

DEMOSTRACIN DEL TEOREMA DE LOS 5 COLORES:
Con estas demostraciones iniciales ya nos podemos encaminar a la
demostrac

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
lor para 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 co

As en cualquier caso, si M es un mapa regular con n regiones podemos
onstruir un nuevo mapa regular M con n 1 o n 2 regiones, y tal que si
puede colorearse con cinco colores, lo mismo se cumple para M. Este
c
M
37
proceso puede aplicarse de nuevo a M y repetirse sucesivamente
btenindose as a partir de M una sucesin de mapas
M, M, M,
omo el nmero de regiones en los mapas de esta sucesin es estrictamente
ecreciente, finalmente debemos obtener un mapa con cinco o menos
giones.
al mapa siempre puede colorearse a lo ms con cinco colores. Por lo tanto
gresando paso a paso hasta M, vemos que M mismo puede colorearse con
inco colores.




o


C
d
re

T
re
c



























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.

n contraejemplo posterior realizado por Heinrich Tietze, se puede U
observar de una forma clara que este teorema no se puede generalizar:



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




h
y
D
o
d









39
8. OTRAS FORMAS GEOMTRICAS

Para comenzar este tema veamos que es el gnero:
liedros de gnero g > 0 se debe a Simon
ntoine J ean Lhuilier (1750-1840) y dice que:
ientable
2g
o orientable
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:

ORO:
ara colorear mapas sobre el toro son necesarios 7
olores
[(7+(48g+1) )]=7










La frmula de Euler para po
A
Caso or
Caras Aristas +Vrtices =2-
Caso n

Caras Aristas +Vrtices =2-g

T
P
c





40

DOBLE TORO:
[(7+(48g+1)

)]=8

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

que su
N







Para la BANDA DE MBIUS



, que es
con borde, se necesitan
tambin 6 colores (aqu la frmula de



una superficie
Heawood no se puede aplicar).






41


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]

IRECCINES [D http://www.enseignement.polytechnique.fr
D

E 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