- Percy John Heawood
-
Percy John Heawood Naissance 8 septembre 1861
Newport, Shropshire (Angleterre)Décès 24 janvier 1955 (à 93 ans)
Durham (Angleterre)Domicile Royaume-Uni Nationalité 
BritanniqueChamps Mathématiques Institution Université de Durham Diplômé de Collège d'Exeter modifier 
Percy John Heawood (1861-1955) était un mathématicien britannique. Il consacra l'essentiel de ses travaux mathématiques au théorème des quatre couleurs et montra en 1890 que la preuve d'Alfred Kempe était fausse. Celle-ci, publiée en 1879, avait été considérée comme valide pendant 11 ans[1]. Le théorème des quatre couleurs redevint ainsi une conjecture, mais Heawood montra que la partie correcte de la preuve de Kempe permettait d'établir le théorème des cinq couleurs. Le théorème des quatre couleurs dut attendre 1976 pour trouver une preuve de sa validité, utilisant l'informatique.
Sommaire
Contre-exemple à la preuve de Kempe
La preuve de Kempe du théorème des quatre couleurs consistait essentiellement en une technique de recoloriage des cartes grâce à une méthode originale, appelée chaîne de Kempe. Heawood montra qu'elle était incorrecte dans le cas de certaines cartes contenant un pays avec 5 frontières et donna un contre-exemple : le Graphe 4-chromatique de Heawood[2].
Théorème des cinq couleurs
Le théorème des cinq couleurs, démontré par Heawood en 1890, énonce que toute carte tracée dans le plan peut être coloriée avec au plus 5 couleurs en assurant que deux pays contigus sont toujours de couleur différente. C'est une version moins forte du théorème des quatre couleurs, mais nettement plus simple à démontrer.
On peut montrer grâce à la formule d'Euler que toute carte contient au moins un pays avec au plus 5 frontières. Le théorème des cinq couleurs s'obtient alors par récurrence sur le nombre de pays en déduisant le coloriage de toute carte à partir du coloriage d'une carte avec un pays de moins. Heawood montra que la technique utilisée pour déduire un coloriage de la carte complète à partir d'une carte avec un pays de moins n'était pas utilisable si on essayait de se restreindre à quatre couleurs seulement.
Conjecture de Heawood
Heawood s'intéressa au problème du coloriage des cartes sur d'autres surfaces que le plan ou la sphère, et montra en 1890 que l'on peut colorier toute carte tracée sur un tore comportant n trous avec au plus γ(n) couleurs :
où
est la partie entière.Ce résultat découle de la formule d'Euler étendue aux tores à n trous, ce qui utilise notamment la caractéristique d'Euler.
Heawood crut cependant à tort qu'il était facile de trouver un exemple nécessitant γ(n) couleurs pour chaque valeur de n, et sa démonstration ne garantit pas que γ(n) est le plus petit nombre de couleurs nécessaires pour colorier toute carte.
La conjecture de Heawood fut démontrée en 1968 par Ringel et Youngs (de).
Voir aussi
Liens internes
Liens externes
- (en) J J O'Connor et E F Robertson, Percy John Heawood (MacTutor History of Mathematics)
- (en) Eric W. Weisstein, Heawood Four-Color Graph (MathWorld)
Références
- Kempe, A. B. "On the Geographical Problem of Four-Colors." Amer. J. Math. 2, 193-200, 1879.
- P. J. Heawood, "Map colour theorem", Quart. J. Pure Appl. Math. 24 (1890), 332–338.
Catégories :- Mathématicien britannique
- Personnalité en théorie des graphes
- Naissance en 1861
- Décès en 1955
Wikimedia Foundation. 2010.
