É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
Preuve : Elle 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\).