Percy John Heawood y el teorema de los cuatro colores

Published 24/01/2015 Aut.: M. Macho , Historia , Matemticas 2 Comments

Etiquetas:Alfred Kempe, cadenas de Kempe, conjetura de Heawood, contraejemplo, frmula de Euler, Gabriel Andrew Dirac, Gerhard Ringel, J.W.T. Youngs,
Kenneth Appel, Map Colour Theorem, n-toro, On the Geographical Problem of Four-Colors, Percy John Heawood, Solution of the Heawood Map-Coloring
Problem, teorema de los cinco colores, teorema de los cuatro colores, Wolfgang Haken

El matemtico Percy John Heawood (1861-1955) falleci hace 60 aos.

Consagr lo esencial de sus trabajos matemticos al teorema de los cuatro colores, y prob [Map Colour Theorem, Quarterly Journal
of Mathematics 24 (1890) 332-338] que la demostracin de este teorema dada por Alfred Kempe (1849-1922) era falsa. La prueba de
Kempe [On the Geographical Problem of Four-Colors, Amer. J. Math. 2 (1879) 193-200] haba sido dada como vlida durante 11
aos; as el teorema volvi a ser una conjetura.
De todos modos, Heawood demostr que la parte correcta de la prueba de Kempe permita establecer el teorema de los cinco
colores (todo mapa plano puede colorearse con cinco colores como mucho, de manera que dos pases contiguos no compartan color)

el de los cuatro colores tuvo que esperar hasta 1976, a la demostracin dada por Kenneth Appel (1932-2013) y Wolfgang Haken
(1928-).
La prueba de Kempe del teorema de los cuatro colores consista esencialmente en un sistema de recoloreado basado en una tcnica
original llamada cadenas de Kempe; Heawood mostr que era incorrecta en los casos de algunos mapas con cinco fronteras, dando un
contraejemplo.
Heawood se interes por el problema del coloreado de mapas sobre superficies diferentes del plano o la esfera, y demostr (en el
artculo de 1890) que se puede colorear un mapa sobre un n-toro con, como mucho, (n) colores, donde:

siendo x la parte entera de x. Este resultado se deriva de la frmula de Euler para n-toros.

Toro (con un agujero), 2-toro y 3-toro

La demostracin de Heawood no garantizaba que (n) fuera el menor nmero necesario para colorear el mapa: la conjetura de
Heawood fue demostrada por Gerhard Ringel (1919-2008) y J.W.T. Youngs (1910-1970) en 1968 [Solution of the Heawood MapColoring Problem, Proc. Nat. Acad. Sci. U.S.A. 60, 438-445], es decir, demostraron que (n) es el nmero exacto, no slo un mximo.
El tambin matemtico Gabriel Andrew Dirac (1925-1984) describa a Heawood de este modo en su obituario [Percy John Heawood,
Journal of the London Mathematical Society 38 (1963) 263-277]:
In his appearance, manners and habits of thought, Heawood was an extravagantly unusual man. He had an immense moustache and a
meagre, slightly stooping figure. He usually wore an Inverness cape of strange pattern and manifest antiquity, and carried an ancient

handbag. His walk was delicate and hasty, and he was often accompanied by a dog, which was admitted to his lectures. His
transparent sincerity, piety and goodness of heart, and his eccentricity and extraordinary blend of naivet and shrewdness secured for
him not only the fascinated interest, but also the regard and respect of his colleagues.
Ms informacin:

Percy John Heawood, MacTutor History of Mathematics Archive, St Andrews University

Marta Macho Stadler, Cuatro colores son suficientes?, Un paseo por la Geometra 2004/2005 (BI-2868/05), 97 114, 2005

Marta Macho Stadler, El teorema de los cuatro colores, Las matemticas en la vida cotidiana: Sociedad y cultura, Museo Arte e
Historia de Durango, 2011

Esta entrada participa en la edicin5.X: Sofia Kovalvskaya del Carnaval de Matemticas, cuyo blog anfitrin es ::ZTFNews.