Professional Documents
Culture Documents
MAURIZIO MONGE
Sia data una funzione f : N N. In questa nota mostriamo come sia possibile
colorare i naturali con tre colori in modo che il colore di n sia differente da quello
di f (n) per ogni n tale che n 6= f (n).
Mostriamo inizialmente che `e possibile colorare gli interi {1, . . . , M } in modo che
il colore di a, b sia differente per ogni a, b M tali che f (a) = b. Per fare questo
useremo il seguente
Lemma 1. Sia un grafo diretto sullinsieme finito di vertici V e spigoli E V 2 ,
tale che ogni vertice `e connesso con al pi`
u uno spigolo uscente. Allora vale uno dei
seguenti fatti
esiste un vertice in cui non arriva nessuno spigolo entrante, oppure
il grafo `e ununione di cicli,
dove per ciclo si intendo un grafo su n vertici che possono essere numerati in modo
che dal vertice i-esimo parta precisamente una freccia che lo connette al vertice
(i + 1)-esimo (modulo n).
La dimostrazione del lemma `e immediata:
Dimostrazione. Siccome da ogni vertice parte al pi`
u una freccia, il numero totale di
frecce #E `e #V . Sia (v) il numero di frecce entranti nel vertice v V . Allora
X
(v) = #E #V.
vV
MAURIZIO MONGE
Lemma 2. E possibile colorare lintervallo {1, . . . , M } con tre colori in modo che
a, b abbiano colore differente ogni qual volta a, b M e f (a) = b.
Per passare a una colorazione su N possiamo ora costruire una tale colorazione
dellintervallo {1, . . . , M } con tre colori per ogni M N, e passare a una colorazione
su N in modo che la colorazione sui primi k interi sia la stessa di quella che si era
trovata una per lintervallo {1, . . . , M } per qualche M k.
Questo pu`
o essere fatto per raffinamenti successivi (precisamente come per il
lemma di Schur), o ad esempio prendendo un ultrafiltro non principale, e per ogni
k partizionando gli interi k in colori ci formati dagli M tali che la colorazione
dellintervallo {1, . . . , M } assegna il colore i a k, e assegnando a k il colore tale per
cui ci sta nellultrafiltro (come quanto fatto per passare dal caso infinito a quello
finito del teorema di Schur usando gli ultrafiltri).
Scuola Normale Superiore di Pisa - Piazza dei Cavalieri, 7 - 56126 Pisa
E-mail address: maurizio.monge@gmail.com