42 CHAPITRE III. POLYNÔMES, ENSEMBLES ALGÉBRIQUES AFFINES ET IDÉAUX
qui à tout (a1,...,an)∈Knassocie le scalaire f(a1,...,an)∈K, obtenu en remplaçant
dans l’expression de fl’indéterminée xipar ai, pour tout i.
Nous avons déjà vu en I.4.1 que les notions de polynôme et de fonction polynomiale
ne coïncident pas lorsque Kest un corps fini. Pour les corps infinis, tels que Q,Rou C,
on a cependant
III.2 Proposition. — Soit Kun corps infini et soit fun polynôme de K[x1,...,xn].
Alors fest le polynôme nul de K[x1,..., xn]si, et seulement si, la fonction polyno-
miale associée
f:Kn−→ Kest la fonction nulle.
Exercice 1. — L’objectif est de montrer la proposition III.2.
1. Montrer que la fonction polynomiale du polynôme nul est la fonction nulle.
2. Montrer la réciproque dans le cas où n=1 : si f∈K[x]possède une fonction poly-
nomiale nulle, alors fest nul.
3. Montrer la réciproque dans le cas général, par récurrence sur l’entier n.
Exercice 2. — On suppose que Kest le corps Z/2Z.
1. Considérons le polynômes f=x2y+y2xde K[x,y]. Montrer que la fonction polyno-
miale
fest nulle.
2. Trouver un polynôme non nul de K[x,y,z]à trois indéterminées, dont la fonction
polynomiale est nulle.
On déduit de la proposition III.2, le résultat suivant
III.3 Proposition. — Soit Kun corps infini et soient f,gdeux polynômes de
K[x1,. .. , xn]. Alors les polynômes fet gsont égaux si, et seulement si, les fonc-
tions polynomiales
f:Kn−→ Ket
g:Kn−→ Ksont égales.
Exercice 3. — Montrer la proposition III.3.
III.2.2. Espaces affines de dimension n.— Étant donné un corps Ket n≥1 un entier
naturel, on appelle espace affine de dimension nsur Kl’ensemble
Kn={(a1,. .. , an)|a1, . . . , an∈K}.
L’espace K1est appelé la droite affine, l’espace K2est appelé le plan affine .
III.2.3. Ensembles algébriques affines.— Soit Kun corps et soient f1,..., fsdes po-
lynômes de K[x1,. . . , xn]. On note
V(f1,. .. , fs)={(a1, . . . , an)∈Kn|fi(a1, . . .,an)=0,pour tout i∈1,s}