Étude du cas où K est infini

Proposition

Étude de \(T_K\) lorsque \(K\) est infini

Soit \(K\) un corps infini.

Soit \(P\) est un polynôme de \(K[X]\) tel que :

\(\forall x\in K,~\tilde{P}(x)=0\)

Alors \(P\) est le polynôme nul.

Cela signifie que l'application \(T_K\) est injective

PreuveElle est basée sur la remarque précédente et se fait grâce à un raisonnement par l'absurde.

Supposons que le polynôme \(P\) ne soit pas nul. On peut alors considérer son degré, soit \(n\).

Il résulte de ce qui précède que \(P\) a au plus \(n\) racines.

Or l'hypothèse faite signifie que tout élément de \(K\) est racine de \(P\). Si \(K\) est infini, \(P\) aurait une infinité de racines, d'où la contradiction.

Comme l'application \(T_K\) est linéaire, cela signifie que son noyau est réduit à zéro, et donc qu'elle est injective.

Autrement dit, lorsque \(K\) est infini, l'égalité des fonctions polynômes associées à deux polynômes équivaut à l'égalité des deux polynômes.

  • Conséquence sur les notations

    Cela permet alors de simplifier les notations. La fonction polynôme \(x\mapsto \tilde{P}(x)\) peut être notée \(x\mapsto P(x)\) sans aucune ambiguïté.

    C'est en particulier le cas lorsque le corps \(K\) est égal à \(R\) ou \(C\).

Remarque

Le cas des polynômes à coefficients dans \(R\) ou dans \(C\) n'est pas étudié en détail dans cette ressource qui est consacrée aux propriétés générales.

Attention

Cette propriété est fausse si le corps \(K\) n'est pas fini comme le prouve l'exemple suivant.

Exemple

Soit le corps \(\frac{Z}{2Z}\).

Pourquoi " corps "

On a le résultat général suivant : Soit \(n\) un entier supérieur ou égal à 2. L'anneau quotient \(\frac{Z}{nZ}\) est un corps si et seulement si l'entier \(n\) est un nombre premier.

Comme 2 est un nombre premier, cela donne le résultat.

Le corps \(\frac{Z}{2Z}\) a deux éléments qui sont notés \(\bar{0}\) et \(\bar{1}\).

Soit \(P\) le polynôme de \(\frac{Z}{2Z}[X]\) défini par : \(P(X)=X^2-X\) c'est à dire \((\bar{1}X^2-\bar{1}X)\).

Alors \(\tilde{P}(\bar{0})=\bar{0}\) et \(\tilde{P}(\bar{1})=\bar{0}\). Donc : \(\forall x\in \frac{Z}{2Z},~\tilde{P}(x)=\bar{0}\). Donc la fonction polynôme \(\tilde{P}\) est nulle ce qui n'est évidemment pas le cas du polynôme \(P\).