Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
On considère le groupe abélien comme un -espace
vectoriel,
via l’exponentiation coordonnée par coordonnée ; le choix
d’une base de logarithmes permet d’ailleurs de l’identifier à
l’espace .
Soit un tore. Nous noterons le -espace vectoriel ,
que l’on peut identifier à
une fois choisie une trivialisation de ,
ou à si l’on fixe en plus une base de logarithmes.
L’espace vectoriel est appelé tropicalisation du
tore .
Étant donné un point de , l’application qui applique
un caractère sur l’élément
est un élément de noté . L’application
ainsi définie est continue.
La formation de est fonctorielle : tout morphisme affine
entre tores induit une application affine telle que le diagramme