112 4 2 PDF

Un graphe sur
Pierre Bornsztein
1

Notes
... Bornsztein
1

Agrg de mathmatiques, professeur de terminales au lyce J ules Verne, Cergy. e-mail :
pbornszt@club-internet.fr

Partie 1
INTRODUCTION
Partie II
LE NOMBRE CHROMATIQUE DE
Partie III
La connexit
Bibliographie

Partie 1
INTRODUCTION
La question suivante est ouverte depuis plus de 40 ans :

Quel est le nombre chromatique du plan ?

Ou encore :

De combien, au minimum, doit-on disposer de couleurs pour qu'il soit possible de peindre
chaque point du plan, de sorte que deux points situs une distance unit soient toujours de
couleurs diffrentes ?

Plus rigoureusement et aussi plus gnralement, on peut formuler le problme ainsi :

Soit une partie de l'espace euclidien usuel , muni du repre othonorm
.
Quel est le nombre chromatique, not , du graphe dont les sommets sont les points de ,
deux quelconques et , tant relis par une arte si et seulement si ?

Page 1sur 15 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=395&Type=enonce&Num=0&Mode=...
Le graphe ci-dessus sera not , et le nombre sera appel le nombre chromatique de
.

Dans le cas correspondant question initiale, on sait juste que :

Ces deux ingalits sont trs classiques et se dmontrent lmentairement. Que l'on ne sache pas
faire mieux n'en est que plus surprenant.
La figure (a) montre une disposition de sept points qui n'est pas coloriable par trois couleurs (les
segments reprsents sont tous de longueur 1).
La figure (b) montre un recouvrement du plan par des hexagones rguliers de diamtre
pour lequel sept couleurs suffisent.

chaque couleur utilise, correspond la partie du plan forme par les points coloris avec .
Si l'on impose des conditions de rgularit ces parties, on peut parfois affiner l'estimation ci-
dessus. Par exemple ([1],[5],[9]) :
* Si chaque partie est Lebesgue-mesurable, on a :

* Si chaque partie est ferme, alors :

Et, pour les dimensions suprieures :


Et, pour tout : .
Notons qu'en particulier, on a fini.

Cet article pour but de dgager quelques proprits du graphe . En particulier, de
dterminer ou d'valuer pour certaines valeurs de , et d'tudier la connexit de .

Dans tout ce qui suit, un point rationnel (resp. entier) est un point dont toutes les coordonnes
sont rationnelles (resp. entires) dans .

Partie II
LE NOMBRE CHROMATIQUE DE
A. Le thorme d'Erds-De Bruijn
Le graphe est infini lorsque la partie choisie est elle-mme infinie, de plus il est
clairement simple (c..d. sans boucle ou artes multiples). Le thorme suivant va nous
permettre de nous ramener des graphes finis.
Thorme 1 (Erds et De Bruijn, 1951 [2]).
Soit un entier. Si tout sous-graphe fini d'un graphe simple infini possde un nombre
chromatique qui ne dpasse pas , alors le nombre chromatique de ne dpasse pas .
Toutes les preuves connues de ce thorme font appel d'une manire ou d'une autre l'Axiome
du Choix (par exemple, via le thorme de Tychonoff. En fait, ce thorme ncessite l'Axiome
du Choix). Pourtant, si est suppos dnombrable (i.e. ayant un nombre dnombrable de
sommets), ce qui est finalement le cas qui nous intresse, nous allons voir que l'on peut en
donner une preuve lmentaire.
On rappelle que, pour tout graphe, une coloration est une manire d'associer une couleur
chaque sommet du graphe de sorte que deux sommets adjacents soient toujours de couleurs
diffrentes.

On se donne donc un entier et un graphe infini (le cas fini est trivial, puisque est alors
un sous-graphe fini de lui-mme) simple dont tout sous-graphe fini possde un nombre
chromatique infrieur ou gal .
Dans tout ce qui suit, les colorations n'utilisent jamais plus de couleurs fixes.
Soient des sommets donns de , et une coloration des .
Pour un sous-graphe fini de qui contient les comme sommets, on dira que est -
compatible s'il existe une coloration de pour laquelle les sont colors selon . Dans le cas
contraire, on dira que est -incompatible.
Soient un sous-graphe fini de , et est un sous-graphe de qui contienne les comme
sommets. Il est vident que :
* Si est -incompatible alors est galement -incompatible.
* Si est -compatible alors est galement -compatible.

Lemme 1 Soient (avec des sommets donns de .
Il existe une coloration des telle que tout sous-graphe fini contenant les comme sommets
soit -compatible.

Preuve
On note tout d'abord que le sous-graphe fini de dont les sommets sont les a un nombre
chromatique qui ne dpasse pas , et qu'il existe donc une coloration des .
Par l'absurde : supposons que, pour toute coloration des , il existe un sous-graphe fini qui
soit -incompatible, et dont l'ensemble des sommets, not , contienne les .
Notons qu'il n'y a qu'un nombre fini (pas plus de de colorations possibles des . Soit alors
le sous-graphe de dont l'ensemble des sommets est , la runion tant indexe
sur l'ensemble des colorations possibles des . Alors, est un sous-graphe fini de et, d'aprs
la remarque prliminaire, est -incompatible pour toute coloration des . Pourtant, par
hypothse, il existe une coloration de . Cette coloration induit alors une coloration des
pour laquelle est -incompatible. Contradiction.

Lemme 2 Soient et (avec des sommets distincts donns de .
Soit une coloration de telle que tout sous-graphe fini contenant les comme
sommets soit -compatible.
Alors il existe une coloration de telle que tout sous-graphe fini contenant
et tous les comme sommets soit -compatible, et pour laquelle la coloration des soit .

Preuve
Soient les couleurs disponibles. On note la coloration, si elle existe, qui donne
la couleur , et colorie les selon .
Notons qu'au moins une telle coloration existe d'aprs l'hypothse faite sur (utilise pour le
sous-graphe fini de sommets et les .
Par l'absurde : si pour tout il existe un sous-graphe fini dont l'ensemble des sommets,
not , contient et tous les et qui soit -incompatible.
Alors, en considrant le graphe dont l'ensemble des sommets est (la runion tant
indexe sur les pour lesquels existe), un raisonnement similaire celui du lemme
prcdent conduit une contradiction analogue.

On en dduit la version dnombrable du thorme d'Erds-De Bruijn :
Si est dnombrable, on peut numroter ses sommets
On colorie alors les sommets selon la procdure rcursive suivante :
On donne une couleur pour laquelle tout sous-graphe fini contenant comme sommet
sera -compatible. (Ici, c'est en fait superflu, puisqu'un coloriage n'est finalement dfini qu'
une permutation prs de l'ensemble des couleurs, mais bon...).
On note toujours les couleurs disponibles.
Pour , si ont t coloris selon une coloration dont le lemme 1 assure
l'existence, alors le lemme 2 assure l'existence d'une couleur qui permette de colorier de
sorte que, pour la coloration ainsi obtenue de , tout sous-graphe fini de
contenant les comme sommets (pour soit -compatible.
Parmi toutes les couleurs permettant cette construction, on choisit celle pour laquelle est
minimal.
Cette dernire condition et la dnombrabilit de , qui assure que l'ensemble des sommets
puisse tre bien ordonn, permettent d'viter le recours l'Axiome du Choix.

B. O l'on en dduit que
Puisque est fini, le nombre est fini lui aussi.
Il est clair que, si alors .
De plus, on a trivialement , pour tout .

D'aprs le thorme d'Erds-De Bruijn, pour dmontrer que , il suffit donc d'tudier
le cas des sous-graphes finis de . Or, il est bien connu ([3],[4]) qu'un graphe fini est
bicolorable si et seulement s'il ne possde pas de cycle de longueur impaire (Knig, 1936).

On va donc prouver le rsultat suivant :
Thorme 2 Soit impair. Dans , il n'existe pas de points rationnels
deux deux distincts tels que, pour tout , on ait (avec
.

Preuve
Soit impair. Dans tout ce qui suit, les indices sont considrs modulo .
Par l'absurde : supposons qu'il existe des points rationnels deux deux
distincts tels que, pour tout , on ait .
Nous dirons que les forment un -gone quilatral (ici, de ct 1).
Soit le ppcm des dnominateurs de toutes les coordonnes de tous les lorsqu'elles sont
mises sous forme irrductible.
L'homothtie de centre et de rapport transforme alors chacun des en un point entier
. Et, pour tout , on a .
On constate donc qu'il existe -gone quilatral sommets entiers et dont le ct est un entier
non nul. Parmi tous ces -gones quilatraux sommets entiers et cts entiers non nuls, on en
choisit un dont le ct, est minimal.
Quitte utiliser une translation de vecteur coordonnes entires, on peut supposer que l'origine
est un des sommets.
Soient donc des points entiers deux deux distincts, tels que , et
pour tout , avec .
Pour tout , on pose et .
On a donc : .

De plus, donc .
Par suite :

Donc est pair. Puisque est impair, c'est donc que est pair. Mais alors
.
Or, selon sa parit, un carr est toujours congru ou .
Il est alors facile de vrifier que si , c'est que et sont tous
les trois pairs. Comme ceci est vrai pour tout , on en dduit facilement que les ont tous la
mme parit. Et comme , c'est donc que tous les sont pairs.
On prouve de mme que les et les sont tous pairs.
Mais alors, en utilisant l'homothtie de centre et de rapport , on transforme chaque en un
point entier , avec pour tout , et , ce qui contredit la minimalit de et
achve la preuve du Thorme 2.

D'o la consquence annonce :
Thorme 3 On a .

Remarque
Et on en dduit immdiatement que .
C. Et qu'en est-il de ?
Il est facile de vrifier que sont les sommets
d'un ttradre rgulier de ct 1, inscrit dans (voir aussi III-C).
Il en dcoule que . En fait, comme on va le voir, on a l'galit.

Lemme 3 Soient des entiers, avec pgcd( .
Si et sont deux points rationnels avec et alors :
- soit est impair, et exactement un parmi est impair (cas 1),
- soit , et sont impairs (cas 2).

Preuve
Notons tout d'abord que les contraintes qui portent sur n'imposent rien sur les points
et (en particulier parce qu'il n'a pas t suppos que les coordonnes taient crites sous
forme irrductible).
La condition s'crit .
* Si est impair :
Alors (*) et, puisque pour tout entier , c'est
que est impair. Donc, il y a un nombre impair de termes impairs dans cette
somme.
Or, si trois exactement de ces termes sont impairs, on a , ce qui
contredit (*). Donc, un et un seul des nombres est impair.
* Si est pair :
Alors (**) et est pair. Donc, il y a un nombre pair
de termes impairs dans cette somme.
Ils ne peuvent tre tous pairs car pgcd( .
Et, si deux exactement de ces termes sont impairs, on a , ce qui
contredit (**). Donc, les nombres sont tous impairs. Mais alors
, et donc avec impair.

Thorme 4 On a .

Preuve
D'aprs ci-dessus, il suffit de prouver que , et pour cela on va construire un coloriage
adquat en quatre couleurs.
Tous les nombres utiliss sont des entiers.

Pour , on pose si et seulement si a des coordonnes de la forme
avec :
* Soit impair (Type I),
* Soit et tous impairs (Type II).

Il n'est pas difficile de vrifier que est une relation d'quivalence sur . Et, d'aprs le lemme
3, si alors et appartiennent une mme classe d'quivalence.
Il suffit donc de colorier chaque classe d'quivalence sparment. Nous allons donner le
raisonnement pour la classe qui contient , le cas gnral se traitant de la mme faon partir
d'une origine fixe dans la classe choisie (voir remarque ci-dessous).
Pour tout point appartenant cette classe,
* Si est du type I, on note , avec impair.
Et .
* Si est du type II, on note , avec impairs.
Mais, dans ce cas, , o et

Comme sont impairs, cela assure que est rationnel, appartient la
classe de , et que est de type I.

Il est clair que ces deux cas sont disjoints.

1) Si et sont de type I
On vrifie facilement que si alors satisfait les conditions du cas 1 (cf. lemme 3), et
donc que, modulo 2, les quadruplets et ne diffrent que sur un
et un seul terme.
On a alors .
Ainsi, en coloriant en rouge les points pour lesquels est impair, et en vert ceux pour
lesquels est pair, on colorie tous les points tels que soit du type I, de sorte que si
et sont deux de ces points tels que , on soit assur que et sont de couleurs
diffrentes.

2) Si et sont de type II
Alors et .
Et donc si et seulement si .
Ainsi, en coloriant en bleu les points pour lesquels est rouge, et en jaune ceux pour
lesquels est vert, on colorie tous les points tels que soit du type II, de sorte que si
et sont deux de ces points tels que , on soit assur que et sont de couleurs
diffrentes.

videmment, avec un tel coloriage, si et sont de type diffrents, on a et de
couleurs diffrentes, que ou non, ce qui achve la dmonstration.

Remarques
a) Comme est muni d'un bon ordre, les choix effectus dans chacune des classes pour fixer
une origine ne ncessitent pas le recours l'Axiome du Choix.
b) Zaks [6] a prouv que, pour tout coloriage de en quatre couleurs, et pour chacune des
couleurs, la partie du plan associe cette couleur est dense dans .
D. Que peut-on dire de pour ?
Il semble que, pour tout , la valeur de soit encore inconnue.
On sait juste que ([6],[7]) :
et donc ,
,
,
et de faon gnrale .

Partie III
La connexit
A. Le cas .
Thorme 5 Pour , le graphe n'est pas connexe.
Plus prcisment, il possde une infinit de composantes connexes.

Preuve
Tous les nombres utiliss sont des entiers.
On pose ,
non tous pairs si , impair, et pgcd( .
Et, pour :
, avec pgcd( .
Notons que les fractions ci-dessus ne sont pas supposes irrductibles.

On vrifie facilement que , que les sont deux deux disjoints, et que si
et avec , alors le point , dfini par , appartient
.

Soit , et .
Par l'absurde : supposons que .
Alors, avec les notations ci-dessus : .
Or, pour tout entier , on a si impair, et ou si pair.
Comme, par exemple, on a impair, c'est donc que .
Mais, d'aprs ce qui prcde, une somme de trois carrs n'est jamais congrue . D'o
la contradiction.
On en dduit que si avec , alors .

Soient des entiers tels que .
On va prouver que et sont inclus dans des composantes connexes distinctes de ,
ce qui assurera la conclusion dsire.
Par l'absurde : supposons qu'il existe et , qui soient connects dans .
Alors il existe un entier et des points rationnels tels que
et, pour tout .
De plus, pour tout , il existe un entier tel que .
Soit . Alors .
Soit . Alors car .
Et donc .
Soit le point tel que D'aprs ce qui prcde, on a donc , avec
et . Contradiction.

La preuve ci-dessus, pour le cas , s'adapte en tout point pour en ne
considrant que les premires coordonnes. La cl tant qu'une somme d'au plus trois carrs
n'est jamais congrue (et qu'un carr impair n'est jamais congru , dans le
cas ).
B. Le cas
Thorme 6 Pour tout , le graphe est connexe.

Preuve
Par transitivit, il suffit de prouver que tout point de est connect .
Notons tout d'abord que, si les points et sont connects alors les points et sont
galement connects, avec symtrique de par rapport (et les coordonnes de sont
opposes celle de ).
Soient , et des entiers.
Si est connect aux points et tels que et , alors par
translation de vecteur , le point et le point tel que sont connects. Par
transitivit, les points et sont donc connects, et on a .
Il suffit donc de prouver que, pour tout , le point est connect au point dans
le cas particulier o . Et, par symtrie des rles, il suffit de prouver ce rsultat pour la
premire coordonne.

Soit .
On va donc prouver que est connect au point
Or, d'aprs le thorme de Lagrange [8], tout entier est la somme de quatre carrs. Donc, il existe
des entiers tels que .
C..d. .
Ainsi, les points et d'une part,
et d'autre part,
sont relis par une arte dans . Par translation de vecteur , on en dduit que et
sont relis par une arte, et donc que et sont connects par un chemin de longueur 2. Ce
qui achve la dmonstration.
C. Cliques maximales
On rappelle qu'une clique d'un graphe donn est un sous-graphe complet (c..d. pour lequel
deux sommets distincts sont toujours relis par une arte). L'ordre (i.e. le nombre de sommets)
de la plus grande clique de , est not (en anglais, clique number).

Pour le graphe , nous le noterons simplement . Il reprsente donc le nombre
maximum de points rationnels qui sont deux deux une distance unit, en dimension .
Il est immdiat que pour tout , puisque deux sommets distincts d'une
clique, maximale ou non, ne peuvent avoir la mme couleur.
D'autre part, nous avons vu au II-C que .
Ainsi, d'aprs les rsultats du II, on a :
pour , et .

En fait, Chilakamarri [7] a prouv que :

* Pour pair :
si est un carr alors , sinon on a .

* Pour impair :
Si l'quation admet une solution en entiers et avec ,
alors ou , selon que est un carr ou non.
Sinon, on a .

Bibliographie
1 H.T. Croft, K.J . Falconer, R.K. Guy, Unsolved problems in Geometry, G.10, p.177-180,
Springer.
2 N.G. De Bruijn, P. Erds, A color problem for infinite graphs and a problem in the theory
of relations, Indag. Math., 13 (1951), p.369-373.
3 D. Lieutier, Graphe sur un ensemble fini de points, Quadrature n 42, p.13-18.
4 D.B. West, Introduction to Graph Theory, Prentice Hall, p.25.
5 D.R. Woodall, Distances realized by sets covering the plane, J ournal of Combinatorial
theory, A, 14 (1973), p.187-200.
6 J . Zaks, On four colorings of the rational four-space, Aequationes Mathematicae, 37
(1989), p.259-266.
7 K.B. Chilakamarri, On the chromatic number of rational five-space, Aequationes
Mathematicae, 39 (1990), p.146-148.
8 W. Sierpinski, Elementary theory of numbers, North-Holland, p.397-400.
9 K. Cantwell, Finite euclidean Ramsey theory, J ournal of Combinatorial theory, A, 73
(1996), p.273-285.


112 4 2 PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

112 4 2 PDF

Uploaded by

Copyright:

Available Formats

Un graphe sur

You might also like