Aller au contenu

Polynôme

Un article de Wikipédia, l'encyclopédie libre.
Courbe représentative d'une fonction cubique.

En mathématiques, un polynôme est une expression formée uniquement de produits et de sommes de constantes et d'indéterminées (aussi appelées variables), habituellement notées , , , etc. Les polynômes sont largement utilisés en pratique, ne serait-ce que parce qu'ils donnent localement une valeur approchée de toute fonction dérivable (voir l'article Développement limité) et permettent de représenter des formes lisses (voir l'article Courbe de Bézier, décrivant un cas particulier de fonction polynomiale).

Un polynôme, en algèbre générale, à une indéterminée sur un anneau unitaire est une expression de la forme :

est un symbole appelé « indéterminée du polynôme », supposé être distinct de tout élément de l'anneau, les coefficients sont dans l'anneau et est un entier naturel.

Si, en mathématiques appliquées, en analyse et en algèbre linéaire, il est fréquent de confondre le polynôme avec la fonction polynomiale, il n'en est pas de même en algèbre générale. Cet article traite principalement du polynôme formel à une indéterminée.

Considérations historiques

[modifier | modifier le code]

L'histoire des polynômes est inséparable de celle de l'algèbre. Initialement créés pour résoudre des équations, ils se trouvent confondus avec les fonctions polynomiales. Au fur et à mesure que les recherches s'approfondissent, il se révèle nécessaire de distinguer plus nettement le polynôme formel de la fonction polynomiale. Cette évolution se fait conjointement avec le développement de l'algèbre générale. Les coefficients quittent alors le domaine des nombres usuels, comme les réels ou les complexes, pour appartenir à des anneaux commutatifs unitaires ou à des corps commutatifs quelconques. L'étude des polynômes formels ouvre la porte à celle des séries formelles.

Polynômes formels

[modifier | modifier le code]

Un polynôme à une indéterminée est défini comme une expression formelle de la forme

où les coefficients sont éléments d'un anneau A, et est un symbole formel appelé indéterminée du polynôme.

Plus formellement, on peut définir un polynôme comme une suite d'éléments, d'un anneau, qui s'annule à partir d'un certain rang. Ainsi, la formule précédente sera une conséquence immédiate (en faisant recours à des notations mathématiques classiques à savoir la notation de Kronecker). Dans ce cas, les coefficients du polynôme coïncident avec les éléments de la suite associée.

L'ensemble des polynômes à une indéterminée à coefficients dans un anneau A, noté A, peut être construit à partir de l'ensemble des suites à support fini (donc nulles à partir d'un certain rang, appelées également suites presque nulles) d'éléments de A, en le munissant d'une structure d'anneau. Dans cette construction, un monôme est représenté par la suite qui est nulle partout, sauf en l'indice où elle vaut .

Le degré de ce polynôme est défini, si le polynôme est non nul (c'est-à-dire si ses coefficients ne sont pas tous nuls), par , c'est le plus grand exposant de devant lequel le coefficient n'est pas nul. Le coefficient dominant de ce polynôme est alors . On note généralement le degré d'un polynôme , ou . Selon une convention courante, le degré du polynôme nul vaut . Pourtant, si on souhaite que la relation de divisibilité sur les polynômes soit en accord avec la relation d'ordre sur leurs degrés, on doit définir le degré du polynôme nul comme . En pratique, surtout en réalisant des algorithmes algébriques, il peut être mieux de laisser le degré du polynôme nul indéfini et traiter son cas à part.

Deux polynômes sont égaux si et seulement si les suites de leurs coefficients sont égales. Les polynômes à coefficients dans A peuvent être ajoutés simplement par l'addition des coefficients correspondants, et multipliés en utilisant la distributivité de la multiplication par rapport à l'addition et la règle suivante :

pour tous les entiers naturels et .

On peut alors vérifier que l'ensemble de tous les polynômes à coefficients dans l'anneau A forme lui-même un anneau, et que l'application de A vers cet anneau qui envoie sur est un morphisme injectif. L'anneau des polynômes à coefficients dans A est noté A et on considère A comme sous-anneau de A par le morphisme mentionné.

Si A est commutatif, alors A est une algèbre associative sur A.

On peut engendrer l'anneau A à partir de A en adjoignant un nouvel élément à A et en exigeant que X commute avec tous éléments de l'ensemble A. Pour que l'ensemble obtenu devienne un anneau, toutes les combinaisons linéaires de puissances de doivent être aussi adjointes à l'ensemble.

Fonctions polynomiales

[modifier | modifier le code]

À tout polynôme de A, on peut associer une fonction polynomiale, d'ensemble de définition et d'arrivée A. On obtient la valeur de cette fonction pour un argument donné en remplaçant partout le symbole dans par . Les algébristes font une distinction entre un polynôme et une fonction polynomiale car, sur certains anneaux A (par exemple sur les corps finis), deux polynômes différents peuvent avoir la même fonction polynomiale associée. Ceci n'est pas le cas sur le corps des réels ou des complexes et donc les « analystes » ne séparent pas les deux concepts.

Par exemple, sur le corps fini , le polynôme est non nul, mais sa fonction polynomiale associée l'est.

Morphisme d'évaluation : plus généralement, dans un polynôme , on peut remplacer le symbole par n'importe quel élément e appartenant à une algèbre associative E sur A. L'application qui, à tout polynôme dans A, associe l'élément de E (défini comme ci-dessus) est appelée morphisme d'évaluation en e de A dans E. Un cas très fréquent est celui où A est un corps , et E l'algèbre des matrices sur , ou bien l'algèbre des endomorphismes d'un espace vectoriel sur . On définit ainsi des polynômes de matrices et d'endomorphismes :

 ;
.

Ainsi, pour tout polynôme d'indéterminée , est un « polynôme d'endomorphisme » pour chaque endomorphisme et est un « polynôme de matrice » pour chaque matrice .

Divisibilité

[modifier | modifier le code]

En algèbre commutative, et plus précisément dans un anneau intègre (toujours commutatif et unitaire par définition), une attention particulière est portée sur l'étude de la divisibilité entre les polynômes. Des résultats plus forts existent quand les coefficients sont pris dans un corps.

Coefficients dans un anneau intègre

[modifier | modifier le code]

Si et sont des polynômes dans A, on dit que divise s'il existe un polynôme dans A tel que .

On peut démontrer alors que « chaque racine engendre un facteur linéaire », ou plus formellement que : si est un polynôme dans A et est un élément de A tel que , alors le polynôme divise (la réciproque est immédiate). Le quotient peut être calculé en utilisant la méthode de Horner.

Certains polynômes aux propriétés particulières se détachent alors :

  • polynôme inversible : un polynôme est inversible s'il existe un polynôme tel que .
    Les seuls polynômes inversibles de A sont les polynômes constants dont la constante est inversible dans A ;
  • polynôme irréductible : est un polynôme irréductible s'il n'est ni nul, ni inversible, ni produit de deux polynômes non inversibles.
    Un polynôme du premier degré est donc irréductible si et seulement si et sont premiers entre eux (par exemple, tout polynôme unitaire du premier degré est irréductible, tandis que n'est pas irréductible dans ).
    Le polynôme est irréductible dans , mais pas dans .
    Si A est un anneau factoriel, alors tout polynôme se décompose de manière unique, à un inversible près, en produit de polynômes irréductibles. A est donc aussi factoriel ;
  • polynôme premier : est un polynôme premier s'il n'est ni nul ni inversible et si, pour tout produit divisible par , l'un des deux polynômes ou est divisible par .
    Dans un anneau factoriel (donc dans A si A est factoriel), les notions d'élément premier et d'élément irréductible sont équivalentes, mais dans un anneau quelconque on a seulement la propriété suivante : tout élément premier est irréductible ;
  • polynôme primitif : si A est un anneau factoriel, est un polynôme primitif si le PGCD de ses coefficients est inversible.
    Dans un anneau commutatif unitaire, un polynôme est dit primitif lorsque l'anneau est le plus petit idéal principal contenant les coefficients du polynôme ;
  • polynôme scindé : polynôme qui peut s'écrire comme produit de polynômes du premier degré.
    est scindé sur (il se décompose en , mais pas sur ;
  • polynôme séparable (sur un corps) : polynôme étant premier avec son polynôme dérivé ;
  • polynômes premiers entre eux : et sont premiers entre eux si les seuls polynômes qui divisent à la fois et sont les polynômes inversibles ;
  • polynôme unitaire : polynôme dont le coefficient du terme de plus haut degré est  ;
  • polynôme cyclotomique : pour tout entier , le -ième polynôme cyclotomique est le produit des , avec parcourant les racines complexes -ièmes primitives de l'unité ;
  • polynômes associés : on dit que deux polynômes et sont associés si divise et divise , autrement dit s'il existe inversible dans A tel que . Dans toutes les propriétés de divisibilité, un polynôme peut être remplacé par un autre polynôme associé. Ainsi, , et sont associés dans car on peut les écrire sous la forme d'un même polynôme multiplié par un scalaire inversible : , et .

Coefficients dans un corps commutatif

[modifier | modifier le code]

Si est un corps commutatif et et sont des polynômes dans avec , alors il existe des polynômes et dans avec : et tels que le degré de soit strictement plus petit que le degré de . Les polynômes et sont uniquement déterminés par et . C'est ce que l'on appelle la division euclidienne ou « la division suivant les puissances décroissantes » de par et cela montre que l'anneau est un anneau euclidien.

est donc un anneau euclidien (seuls les anneaux de polynômes à coefficients dans un corps sont des anneaux euclidiens) et cela permet alors de définir les notions de PPCM et de PGCD avec la mise en place d'un algorithme d'Euclide de recherche de PGCD. On retrouve aussi l'identité de Bézout sur les polynômes premiers entre eux : si et sont premiers entre eux, il existe deux polynômes et tels que .

Réductibilité des polynômes de

[modifier | modifier le code]

Un polynôme primitif de est irréductible si et seulement si, considéré comme polynôme de , il est irréductible dans . De plus, si dans , il existe un rationnel non nul tel que et soient dans .

Si des polynômes , , de vérifient et si est unitaire, alors et sont également unitaires (au signe près).

Constructions de nouvelles structures

[modifier | modifier le code]

Les constructions de nouvelles structures sont de deux types : extensions de l'anneau ou de l'anneau de départ.

Corps des fractions

[modifier | modifier le code]

Si A est un anneau intègre (donc commutatif et unitaire), il en est de même de son anneau de polynômes ; on peut donc construire le corps des fractions de , appelé corps des fractions rationnelles à coefficients dans et d'indéterminée .

Corps de rupture

[modifier | modifier le code]

La seconde structure conduit à tout le domaine des extensions.

Si est un anneau intègre et si est un polynôme premier de , on peut construire un anneau intègre contenant dans lequel possède une racine. Lorsque est un corps, aussi : c'est le corps de rupture de .

La construction se fait en considérant l'idéal engendré par . C'est un idéal premier de , et même un idéal maximal si est un corps. L'anneau quotient est donc un anneau intègre, et même un corps si en est un.

On plonge alors dans cet anneau par le morphisme injectif qui à tout élément associe sa classe. Si l'on note la classe de alors est la classe de . Comme est dans l'idéal , sa classe est nulle donc .

Il est possible de réitérer ce processus jusqu'à obtenir un corps contenant toutes les racines. Ce corps s'appelle le corps de décomposition.

Un corps est algébriquement clos quand il est inutile de chercher des corps de rupture, c'est-à-dire quand tous les polynômes sont scindés. C'est le cas en particulier de .

Autres opérations sur les polynômes

[modifier | modifier le code]

Polynôme dérivé

[modifier | modifier le code]

Sur , si est le polynôme défini par le polynôme défini par s'appelle le polynôme dérivé de (en particulier, da0 = 0).

L'application de dans est un morphisme de modules (et donc de groupes), vérifiant de plus . À ce titre, c'est une application de dérivation.

Une propriété importante du polynôme dérivé est le fait qu'une racine est multiple si et seulement si elle est aussi racine du polynôme dérivé. (Pour une démonstration et des énoncés plus précis, voir le § « Critère différentiel pour la multiplicité d'une racine » de l'article Racine d'un polynôme.)

Si est un corps commutatif, l'anneau dispose de deux divisions. La première est euclidienne et confère à l'ensemble des polynômes une structure d'anneau euclidien permettant d'y développer une arithmétique des polynômes un peu analogue à celle des entiers. Cette arithmétique s'avère importante pour la factorisation des polynômes. La deuxième est dite selon les puissances croissantes. Elle est utile dans la recherche d'une décomposition en éléments simples d'une fraction rationnelle ou d'un développement limité.

Polynôme en plusieurs indéterminées

[modifier | modifier le code]

Le cas de ces polynômes sera juste évoqué ici car l'anneau peut simplement être considéré comme l'anneau des polynômes de la variable à coefficients dans .

Le degré du polynôme sera alors la plus grande valeur obtenue en faisant les somme des exposants de chaque indéterminée dans chaque monôme.

est un polynôme de degré 4 à trois indéterminées.

Parmi les polynômes à indéterminées, l'étude des polynômes symétriques et de leur groupe de permutations est un domaine important de l'algèbre.

Ces polynômes sont également dits multivariés, par opposition aux polynômes univariés, à une seule variable.

Polynôme de Laurent

[modifier | modifier le code]

Il est également possible d'introduire les puissances négatives d'une variable et d'obtenir ainsi un anneau dit de Laurent. C'est l'algèbre du groupe sur l'anneau .

Sur les autres projets Wikimedia :

Liens externes

[modifier | modifier le code]