Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Topologia Combinatoria
Topologia Combinatoria
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 --------------------------------------------
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
42
1. INTRODUCCIN
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).
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
Mapa
Figura 4
3. HISTORIA:
AO
1852
AUTOR
Francis Guthrie
1878
1879
1890
Arthur Cayley
Sir Alfred Bray
Kempe
Percy Heawood
1913
George Birkhoff
1960
1969
Heinrich Heesch
Heinrich Heesch
1976
Ken Appel y
Wolfgang Haken
1996
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.
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
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
10
Original
Parcheado
Coloreamos
Quitamos el
parche
11
12
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
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
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
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
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
Dentro
Fuera
Par
Dentro
Fuera
Tabla 1
Impar
Fuera
Dentro
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
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
Figura 10
21
Figura 11
Figura 12
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.
Figura 13
22
23
24
25
27
28
29
DIGON
TRIANGULO
CUADRADO
PETAGONO
30
Carta original
31
Liberamos el
rojo
para
poder
poner x
en
color
rojo.
Cambiamos
amarillo por
verde para
poder pintar
a x de
amarillo.
32
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
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
Original
original+crculo
Figura 1
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.
38
39
40
DOBLE TORO:
[(7+(48g+1))]=8
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]
[DIRECCINES http://www.enseignement.polytechnique.fr
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