Polynômes versus fonctions polynomiales

Nous avons commencé en insistant sur la différence entre polynômes et fonctions polynomiales ; il est temps de voir le rapport entre ces deux concepts.

Définition 15   Soit $ A$ un anneau commutatif. Une application $ f\colon A\to A$ est polynomiale lorsqu'il existe un entier $ n\geqslant 0$ et un $ (n+1)$-uplet $ (a_0,\ldots,a_n)$ d'éléments de $ A$ tel que pour tout $ x\in A$, $ f(x)=a_0+a_1x+\cdots+a_nx^n$.

On peut associer à chaque polynôme une fonction polynomiale, mais il n'est pas du tout évident d'associer un polynôme à une fonction polynomiale.

Définition 16   Soit $ A$ un anneau commutatif et $ P$ un polynôme de $ A[X]$. La fonction polynomiale associée à $ P$ est l'application $ f\colon A\to A$ définie de la façon suivante : si $ P$ s'écrit $ a_0+a_1X+\cdots+a_nX^n$, $ f$ est l'application définie par :

$\displaystyle f\colon A\to A,\quad x\mapsto f(x)=a_0+a_1x+\cdots+a_nx^n.
$

Les morceaux «évidents»  de la proposition suivante resteraient vrais sur des anneaux, mais on l'énonce sur des corps pour pouvoir prononcer des termes d'algèbre linéaire.

Proposition 13   Soit $ \mathbb{K}$ un corps commutatif et soit $ U\colon\mathbb{K}[X]\to\mathbb{K}^\mathbb{K}$ l'application définie par : $ U(P)$ est la fonction polynomiale associée à $ P$.

Alors $ U$ est une application linéaire. De plus, $ U(PQ)=U(P)U(Q)$ pour tous $ P$ et $ Q$ et $ U(1)=1$, où le deuxième $ 1$ désigne la fonction constante prenant la valeur $ 1$.

L'image de $ U$ est le sous-espace vectoriel de $ \mathbb{K}^\mathbb{K}$ formé des fonctions polynomiales.

Si $ \mathbb{K}$ est infini, l'application $ U$ est injective, donc induit une bijection entre l'espace des polynômes et celui des fonctions polynomiales.

Démonstration : Les deux premiers paragraphes sont totalement évidents : il faut juste déplier successivement la définition de $ U$, celle de fonction polynomiale associée à un polynôme et celle de valeur d'un polynôme en un point.

Le paragraphe intéressant est le dernier. Puisqu'il s'agit d'une application linéaire, on peut attaquer l'injectivité par l'étude du noyau. Soit $ P$ un élément de $ \ker(U)$. Cela signifie que l'application polynomiale associée à $ P$ est la fonction nulle, c'est-à-dire que pour tout $ a$ de $ A$, $ P(a)=0$. Ainsi tous les éléments de $ \mathbb{K}$ sont des racines de $ P$. Comme on a supposé $ \mathbb{K}$ infini, ceci entraîne que $ P$ a une infinité de racines. Mais on sait qu'un polynôme non nul n'a qu'un nombre fini de racines (leur nombre vaut au plus son degré). Donc $ P=0$ ce qui prouve que $ \ker(U)$ est réduit à $ \{0\}$ donc l'injectivité de $ U$.$ \square$

Remarque : Ce que dit en gros cette proposition, pour ceux qui la trouveraient trop abstraite, c'est que si on ne comprend pas la différence entre les polynômes et les fonctions polynomiales et qu'on travaille sur un corps infini, on ne s'expose pas à des déboires sérieux. Mais cette possibilité de relâchement ne doit pas être exploitée : une telle confusion sur un corps fini serait irrémédiable. Pour voir un exemple simple, contemplez le bête polynôme $ X+X^2$ de $ \mathbb{Z}/2\mathbb{Z}[X]$ ; si on le code en machine comme indiqué au début de ce chapitre, c'est la suite de bits $ 011$, qui n'est manifestement pas 0. Pourtant si on regarde non le polynôme mais la fonction polynomiale $ x\mapsto x+x^2$, sa valeur en $ \mathfrak{cl}(0)$ est $ \mathfrak{cl}(0)+\mathfrak{cl}(0)^2=\mathfrak{cl}(0)$ et sa valeur en $ \mathfrak{cl}(1)$ est $ \mathfrak{cl}(1)+\mathfrak{cl}(1)^2=\mathfrak{cl}(0)$ donc c'est bien la fonction polynomiale nulle. Ce n'est donc pas du tout de celle-ci que l'on parle quand on évoque le polynôme $ X+X^2$.

Pour vérifier qu'on a compris cet exemple, on résoudra les exercices (très simples) suivants.

Exercice 1   Énumérer toutes les applications de $ \mathbb{Z}/2\mathbb{Z}$ dans $ \mathbb{Z}/2\mathbb{Z}$.

Exercice 2   Soit $ \mathbb{K}$ un corps fini. Exhiber un polynôme $ P$ non nul de $ \mathbb{K}[X]$ tel que $ P(x)=0$ pour tout $ x$ dans $ \mathbb{K}$.


         © UJF Grenoble, 2011                              Mentions légales