Indéterminée (mathématiques)

Indéterminée (mathématiques)

Indéterminée

Page d'aide sur l'homonymie Ne doit pas être confondu avec Forme indéterminée.
P = 4X^2 + 2X + 1 \;
Exemple de polynôme à coefficients entiers, d'indéterminée X

En mathématiques, une indéterminée est le concept permettant de formaliser des objets comme les polynômes formels, les fractions rationnelles ou encore les séries formelles. On la désigne en général par une lettre majuscule X. L'indéterminée permet de définir des structures algébriques parfois plus simples que leurs équivalents en analyse.

Sur l'anneau des entiers Z, l'anneau des fonctions polynômes est isomorphe à celui des polynômes formels, cette propriété n'est pas vraie sur un corps fini, qui n'admet qu'un nombre fini de fonctions polynômes et une infinité de polynômes formels. Sur tout anneau intègre, le corps des fractions rationnels, défini à l'aide de l'indéterminée, diffère de la structure équivalente des fonctions rationnelles. La fraction rationnelle X/X est exactement égale à 1, en revanche, la fonction rationnelle x/x n'est pas définie en 0. La série entière définie sur C, dont le nième coefficient vaut n! n'a pas grand sens, elle n'est définie qu'en zéro, elle ne diffère pas de la série entière dont le nième coefficient vaut 2.n!. Les séries formelles équivalentes, définies à l'aide de l'indéterminée, sont parfaitement définies et diffèrent. Comme ce ne sont pas des fonctions, la question de convergence ne peut se poser pour une série formelle.

L'indéterminée permet de définir de nouvelles structures algébriques, comme par exemple des extension finie de corps en théorie de Galois. Un exemple est donné dans l'article Corps fini. Les polynômes formels fournissent des ensembles utiles pour la résolution d'équations diophantiennes, un exemple est donné dans l'article démonstrations du dernier théorème de Fermat. Un exemple d'usage de l'indéterminée pour définir un corps à l'aide de fractions rationnelles est donné dans l'article corps parfait.

Cet article traite uniquement le cas d'une indéterminée, le cas général est abordé dans l'article Polynôme en plusieurs indéterminées.

Sommaire

Formalisme

Formellement, la puissance d'ordre n de l'indéterminée désigne la suite partout nulle sauf pour le terme d'indice n qui vaut 1. Un polynôme est, dans ce formalisme une suite presque nulle, c'est-à-dire nulle à partir d'un certain rang. L'addition est celle des suites. La multiplication est définie par :

\forall n,m \in \mathbb N \quad X^n\cdot X^m = X^{n+m}

Si les coefficients sont choisis dans un anneau, noté A, c'est spécifiquement l'ensemble A[X] des polynômes à coefficients dans A qui est l'objet d'étude.

L'ensemble A[X] est munis d'une addition et d'une multiplication qui suit les mêmes règles que celles des inconnues formalisées pour les équations :

\forall (a_i) \in \mathbb A^n\quad \forall (b_j) \in \mathbb A^m \quad \left(\sum_{i=0}^n a_iX^i\right)\left(\sum_{j=0}^m b_jX^j\right) = \sum_{k=0}^{n+m} \left(\prod_{i+j = k}a_ib_j\right)X^{i+j}

Polynôme formel

On peut se demander l'intérêt d'abandonner l'aspect fonctionnel du polynôme et de ne garder qu'une définition algébrique. L'usage fréquent[1] du polynôme formel en théorie des équations, c'est-à-dire la théorie traitant de la résolution d'une équation polynomiale, s'explique par plusieurs raisons, exposées dans la suite de ce paragraphe.

Une question importante associé à un polynôme est celle de la détermination de ses racines, elle est souvent étudiée à l'aide du polynôme formel. Pour cette raison, on parle parfois d'inconnue à la place d'indéterminée[2]. En dehors du contexte d'une équation, le terme inconnue est néanmoins un peu impropre et celui d'indéterminée plus précis.

La différence entre un polynôme formel et la fonction polynôme équivalente se matérialise graphiquement par l'usage d'une majuscule X pour l'indéterminée du polynôme formel et d'une minuscule x pour désigner la variable de la fonction polynôme[3]. Parfois, pour plus de clarté, on utilise des symboles différents pour distinguer la fonction polynôme du polynôme formel[4].

Équation polynomiale à coefficients entiers

Traiter une équation polynômiale à l'aide d'une fonction polynôme ou d'un polynôme formel ne se résume pas à une question de formalisme. Les outils utilisés dans les deux cas ne sont en général pas les mêmes. La modélisation à l'aide de l'indéterminée se justifie surtout par l'usage d'outils qui se définissent de manière plus naturelle avec ce formalisme. Rechercher les racines d'un polynôme P, revient à le factoriser en polynômes unitaires du premier degré. On écrit P de la manière suivante, et x1,... ,xn sont les racines de P :

P = (X- x_1)\cdots (X - x_n)

Pour illustrer l'usage de ces outils, recherchons les racines du polynôme : P = X2 - 2X + 3 de Q[X], c'est-à-dire de l'anneau des polynômes formels à coefficients dans Q. Le polynôme P est irréductible, c'est-à-dire que dans Q[X] l'anneau des polynômes formels, P(X) ne se factorise pas en produit de deux polynômes du premier degré. Il devient nécessaire de construire un corps K, contenant à la fois Q et x1 une racine de P. Il serait possible de choisir K égal à C, le corps des complexes, mais l'algébriste préfère l'usage d'un corps le plus petit possible. L'équation P(x) = 0, pour x élément d'un corps L admet alors des racines si et uniquement si le corps L contient une copie du corps K. Pour construire ce corps, on utilise la même idée que celle de la congruence sur les entiers, mais cette fois ci sur l'anneau Q[X] modulo P. On obtient un anneau quotient composée de polynômes de degrés inférieurs ou égaux à 1, car la division euclidienne d'un polynôme par P donne un reste de degré strictement plus petit que celui de P. Si x1 désigne la classe modulo P de l'indéterminée X, alors toute congruence est de la forme a + b.x1. On note ce quotient Q[x1], cette structure est celle d'un corps commutatif (voir l'article Extension quadratique). Si P est maintenant considéré comme un polynôme à coefficients dans Q[x1], il admet une racine :

X^2 - 2X + 3 = \underbrace{(X^2 - 2X + 3)\cdot 1 + 0}_{\text{division euclidienne}} \quad \text{et}\quad  X^2 -2 X + 3 \equiv 0 \mod P\quad \text{ou encore}\quad x_0^2 - 2x_0 + 3 = 0

La logique est bien différente de celle d'une modélisation à l'aide de la fonction polynôme. Avec une fonction polynôme, la solution s'exprime par le calcul de l'image par la fonction polynôme d'un élément d'une extension de Q. Une extension de Q est un corps contenant Q, souvent C. Avec l'indéterminée et les polynômes formels, on construit un corps contenant une racine, appelé corps de rupture et la racine s'obtient par un passage au quotient et non par calcul d'une valeur par une fonction. Le corps Q[x1] est un bon candidat pour être le corps K recherché. Il contient bien une racine de P et tout élément de Q[x1] s'écrit a + bx1, où a et b sont deux nombres rationnels. Le corps Q[x1] est bien le plus petit contenant à la fois Q et une racine de P.

Une division euclidienne de P par le polynôme formel X - x1 montre que la deuxième racine est aussi élément de Q[x1]. Le développement de la forme factorisée de P donne de plus des relations :

X^2 - 2X + 3 = (X - x_1)(X - x_2)\quad\text{avec}\quad x_1 \in \mathbb Q[x_1]\quad\text{et}\quad x_1 + x_2 = 2,\; x_1\cdot x_2 = 3

Le corps K choisi n'est pas toujours Q[x1], parfois on préfère exprimer les racines par radicaux. Un radical est une racine du polynôme Xn - q. On la construit de la même manière et on la note parfois[5] : n√q. Ici q peut, sans ambiguïté désigner un nombre négatif. En effet, √q désigne la classe de X dans les congruences de Q[X] modulo Xn - q.

Le corps Q[x1] peut aussi être vu comme un espace vectoriel sur Q, de dimension 2 et de base (1, x1). L'objectif est de trouver un radical r dans Q[x1], ici un radical est irrationnel dont le carré est rationnel. La famille (1, r) est nécessairement libre car r est irrationnel et génératrice car Q[x1] est de dimension 2. Pour trouver ce radical, on considère les automorphismes du corps Q[x0], c'est-à-dire les applications qui respectent l'addition, la multiplication du corps et qui ont pour image de 1 la valeur 1. Ces automorphismes forment un groupe appelé groupe de Galois. Dans le cas considéré, il n'en existe que deux, l'un est l'identité; l'autre, noté σ est l'application linéaire qui à 1 associe 1 et à x1 associe x2. Comme la somme de x1 et x2 est égale à 2, on obtient la matrice S de σ, vu comme un endomorphisme d'espace vectoriel. La matrice est donnée dans la base (1, x1).

S = \begin{pmatrix} 1 & 2 \\ 0 & -1 \end{pmatrix}

L'endomorphisme σ est diagonalisable de vecteurs propres 1 et r = x1 - x2 de valeurs propres respectives 1 et -1. On remarque que (x1 - x2)2 est un vecteur propre de valeur propre 1, c'est donc une combinaison linéaire de 1, c'est-à-dire un nombre rationnel, r est bien le radical recherché. Un rapide calcul montre que r2 = -8. Il devient possible de définir K, ici égal à Q[√-2]. Si maintenant x1 et x2 désignent toujours les deux racines du polynôme P, mais cette fois dans K, on dispose des deux égalités :

x_0 + x_1 = 2\quad\text{et}\quad x_0 - x_1 = 2\sqrt {-2} \quad \text{donc}\quad x_0 = 1 + \sqrt {-2},\; x_1 = 1 - \sqrt {-2}

Il est possible de généraliser cette méthode pour venir à bout de toute équation polynomiale, résoluble par radicaux, elle entre dans une théorie dite de Galois. Il devient maintenant possible de résoudre l'équation polynomiale dans C. Le corps K est isomorphe, au sous-corps de C contenant les combinaisons linéaires à coefficients rationnels de 1 et de i.√2. Attention, dans C le symbole √-2 est ambiguë, il peut désigner à la fois i.√2 et -i.√2. Les deux racines dans C sont donc 1 + i.√2 et 1 - i.√2. La valeur √2 désigne dans C et dans R un être mathématique défini tout à fait différemment et à l'aide de la topologie. La fonction qui à x associe x2 est continue et de dérivée strictement croissante sur R+- {0}, c'est une bijection de R+ dans R+ et 2 admet un antécédent, nommé √2.

L'usage d'outils différents (le x de la variable dans la fonction polynôme x2 et le X désignant l'indéterminée) permet des résolutions différentes d'une même question : l'extraction des racines d'un polynôme. Les deux expressions des solutions n'ont pas la même signification.

Équation polynomiale dans un corps de caractéristique 2

On cherche maintenant à trouver les racines du polynôme P = X2 + X + 1 dans F2[X]. Ici, F2 désigne le corps fini à deux éléments 0 et 1, largement utilisé en théorie des codes et en informatique. La méthode usuelle, consistant à considérer les deux termes de plus haut degré comme le début d'une identité remarquable, ne fonctionne pas. En effet, il utilise le terme 2 = 1 + 1, or dans F2, 1 + 1 est égal à 0. L'usage des fonctions polynômes n'est pas très pratique non plus, un rapide calcul montre que si n est un entier strictement positif, les fonctions xn et x, sont confondues, ce qui montre que toute fonction polynôme est du premier degré au plus. La fonction polynôme associée à P est la fonction constante égale à 1.

En revanche, il est tout à fait possible de considérer les classes de polynômes formels modulo P, on obtient cette fois ci un corps de quatre éléments noté F4. Si la classe de X est noté j, j est comme précédemment une racine de P. Comme la somme des deux racines de P est égale à 1, l'autre racine est égal à j + 1. La division euclidienne de X3 par P donne X + 1 avec pour reste 1, ce qui indique que j est un radical, racine du polynôme formel X3 + 1.

Le passage au quotient donne directement les deux racines du polynôme, exprimées sous forme de radical. On en déduit la résolution de l'équation P(x) = 0 dans un corps L de caractéristique 2. Un tel corps est une structure telle que 1 + 1 est égal à 0. Le corps L contient nécessairement une copie de F2, en effet l'ensemble {0, 1} forme un sous-corps. Si K contient une racine cubique j non triviale de 1, l'équation admet 2 solutions j et j + 1. Si K n'en contient aucune, l'équation est sans solution.

A la différence du paragraphe précédent, l'usage de l'indéterminée et des polynômes formels est ici indispensable. Dans l'exemple précédent, l'anneau des fonctions polynômes est isomorphe à l'anneau des polynômes formels. Dans F2[X], ce n'est plus le cas.

Voir aussi

D. Ferrand Note sur les polynômes à plusieurs indéterminées Université de Rennes I (2005)

Notes et références

  1. Un livre sur la théorie de Galois traite en général essentiellement des polynômes formels. Voir, par exemple Adrien Douady et Régine Douady, Algèbre et théories galoisiennes [détail des éditions]
  2. Qu'est ce qu'un polynôme
  3. C'est par exemple la convention suivi par : N. Lancier Racines des polynômes à une indéterminée Université de Rouen
  4. Dans le texte présenté ici, la fonction polynôme est surmonté d'un tilde pour indiquer la différence, l'indéterminée est noté X et la variable parcourant C est notée z : Exercices : Polynômes à une indéterminée ESC 1 Dupuy de Lôme
  5. B. Edixhoven Théorie algébrique des nombres un cours de maîtrise de l'Université de Renne I.
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Ind%C3%A9termin%C3%A9e ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Indéterminée (mathématiques) de Wikipédia en français (auteurs)

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • indéterminée — ● indéterminée nom féminin La ou les variable(s) dans le cas des fonctions polynômes. ● indéterminé, indéterminée adjectif (bas latin indeterminatus) Qui n est pas fixé, défini avec exactitude : À une date indéterminée. Qu on ne peut pas définir… …   Encyclopédie Universelle

  • Indéterminée —  Ne doit pas être confondu avec Forme indéterminée. Exemple de polynôme à coefficients entiers, d indéterminée X En …   Wikipédia en Français

  • ISLAM - Les mathématiques et les autres sciences — «Et vous avez en ma personne le meilleur barbier de Bagdad, un médecin expérimenté, un chimiste très profond, un astrologue qui ne se trompe point, un grammairien achevé, un parfait rhétoricien, un logicien subtil, un mathématicien accompli dans… …   Encyclopédie Universelle

  • Degré (Mathématiques) — Pour les articles homonymes, voir Degré. De manière générale, un degré indique un incrément, une quantité définie qui s ajoute. On parle des degrés d une échelle ou d un escalier pour désigner les barreaux ou les marches (on monte d une quantité… …   Wikipédia en Français

  • Degré (mathématiques) — Pour les articles homonymes, voir Degré. De manière générale, un degré indique un incrément, une quantité définie qui s ajoute. On parle des degrés d une échelle ou d un escalier pour désigner les barreaux ou les marches (on monte d une quantité… …   Wikipédia en Français

  • Jet (mathématiques) — Pour les articles homonymes, voir Jet. En mathématiques, un jet est une opération qui, en chaque point de son domaine, associe à une fonction différentiable f un polynôme : la série de Taylor de f tronquée. Bien que ceci soit la définition d …   Wikipédia en Français

  • Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants  …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Monôme (mathématiques) — Pour les articles homonymes, voir Monôme. En mathématiques, le terme de monôme désigne une expression algébrique ne comportant qu un seul terme. Polynôme Article détaillé : Construction de l anneau des polynômes. En algèbre, un monôme est un …   Wikipédia en Français

  • Équation (mathématiques) —  Cet article concerne les équations mathématiques dans leur généralité. Pour une introduction au concept, voir Équation (mathématiques élémentaires).   …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”