Ordre monomial
![Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.](http://upload.wikimedia.org/wikipedia/commons/thumb/3/38/Info_Simple.svg/12px-Info_Simple.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a1/2017-fr.wp-orange-source.svg/45px-2017-fr.wp-orange-source.svg.png)
Certaines informations figurant dans cet article ou cette section devraient être mieux reliées aux sources mentionnées dans les sections « Bibliographie », « Sources » ou « Liens externes » ().
Vous pouvez améliorer la vérifiabilité en associant ces informations à des références à l'aide d'appels de notes.
En mathématiques, un ordre monomial est un ordre total sur l'ensemble des monômes d'un anneau de polynômes donné, compatible avec la multiplication, c'est-à-dire :
- Pour tout monôme , si deux monômes et satisfont selon l'ordre monomial, alors .
Les ordres monomiaux sont le plus souvent utilisés pour le calcul des bases de Gröbner et la division multivariée. En particulier, la propriété d'être une base de Gröbner est toujours relative à un ordre monomial spécifique.
Définition, détails et variantes
En plus d'être compatible avec la multiplication, les ordres monomiaux doivent souvent être de bons ordres, car cela garantit que l'algorithme de division multivariée termine. Il existe cependant des applications pratiques pour les relations d'ordre compatibles avec la multiplication, mais qui ne sont pas des bons ordres.
Dans le cas d'un nombre fini de variables, le fait qu'un ordre monomial soit un bon ordre équivaut à la conjonction des deux conditions suivantes :
- L'ordre est une ordre total.
- Si u est un monôme alors .
Ces conditions sont parfois préférées pour définir un ordre monomial, étant donné qu'il est parfois préférable de les vérifier pour un ordre monomial explicite, que de prouver directement qu'il s'agit d'un bon ordre.
L'ordre peut aussi être défini de manière équivalente sur les t-uple des coefficients de chacune des variables de l'anneau : si l'anneau des polynômes est (sans perte de généralité, l'anneau est construit sur deux variables et les polynômes sont alors bivariés en les variables et ), les monômes d'un polynôme sont de la forme avec les exposants et entiers positifs. La définition d'un bon ordre monomial sur les couples est alors :
- L'ordre est un ordre total.
- est l'élement minimal pour cet ordre.
Monômes, termes et coefficients de tête
Le choix d'un ordre total sur les monômes permet de trier les termes d'un polynôme. Le terme de tête d'un polynôme est alors le terme du plus grand monôme pour l'ordre monomial choisi.
Concrètement, soit R un anneau de polynômes quelconque. Alors l'ensemble M des monômes de R est une base de R, considérée comme un espace vectoriel sur le corps des coefficients. Ainsi, tout polynôme non nul p dans R a une expression unique comme une combinaison linéaire de monômes, où S est un sous-ensemble fini de M et les cu sont tous non nuls. Lorsqu'un ordre monomial a été choisi, le monôme de tête est le plus grand u de S, le coefficient de tête est le cu correspondant et le terme de tête est le cuu correspondant. Le monôme/coefficient/terme de tête est parfois appelé "dominant". Dans cet article, un monôme est supposé ne pas inclure de coefficient.
La propriété des ordres monomiaux implique que l'ordre des termes est conservé lors de la multiplication d'un polynôme par un monôme. De plus, le terme dominant d'un produit de polynômes est le produit des termes dominants des facteurs.
Ordres communs
Sur l'ensemble des puissances de la variable , les seuls ordres monomiaux sont l'ordre naturel et son opposé, mais ce dernier n'est pas un bon ordre. La notion d'ordre monomial ne devient intéressante que lorsqu'il y a plusieurs variables.
Lorsque les variables sont en nombre fini, l'ordre monomial donne un ordre sur celles-ci. On peut simplifier la classification des ordres monomiaux en supposant que les variables sont nommées , , … dans l'ordre décroissant de l'ordre monomial considéré, de sorte que . Avec cette convention, il existe encore de nombreux exemples d'ordres monomiaux différents.
Ordre lexicographique
L'ordre lexicographique (lex) compare d'abord les exposants de dans les monômes selon l'ordre naturel sur les entiers, et en cas d'égalité compare les exposants de , et ainsi de suite. Le nom est dérivé de la similitude avec l'ordre alphabétique habituel utilisé en lexicographie pour les dictionnaires, si les monômes sont représentés par le n-uplet des exposants des variables. Si le nombre de variables est fini (comme c'est généralement le cas), l'ordre lexicographique est un bon ordre. Pour les calculs de bases de Gröbner, cet ordre a tendance à être le plus coûteux; il faut donc l'éviter, dans la mesure du possible, sauf pour des calculs très simples.
Ordre lexicographique gradué
L'ordre lexicographique gradué (grlex pour graded lexicographic order, ou deglex pour degree lexicographic order) compare d'abord le degré total (somme de tous les exposants) des monômes, et en cas d'égalité applique l'ordre lexicographique. Cet ordre n'est pas seulement un bon ordre, il a aussi la propriété que tout monôme n'est précédé que d'un nombre fini d'autres monômes ; ce n'est pas le cas pour l'ordre lexicographique, où toutes les puissances de (en nombre infini) sont inférieures à (cet ordre lexicographique est néanmoins un bon ordre : il est impossible de construire une chaîne décroissante infinie de monômes). Bien que très naturel, cet ordre est rarement utilisé : la base de Gröbner pour l'ordre lexicographique inverse gradué est plus facile à calculer et fournit la même information sur l'ensemble de polynômes d'entrée.
Ordre lexicographique inverse gradué
L'ordre lexicographique inverse gradué (grevlex pour graded reverse lexicographic order ou degrevlex pour degree reverse lexicographic order) compare d'abord le degré total, puis utilise un ordre lexicographique inversé comme condition de départage, puis inverse ce résultat. Concrètement, l'ordre lexicographique inverse gradué consiste à comparer d'abord le degré total, puis à comparer les exposants de la dernière variable mais en inversant le résultat (donc le monôme avec le plus petit exposant est plus grand dans l'ordre), suivi (comme toujours uniquement en cas d'égalité) par une comparaison similaire de , et ainsi de suite en terminant par si nécessaire.
Les différences entre l'ordre lexicographique gradué et l'ordre lexicographique inverse gradué sont subtiles, puisqu'ils coïncident en fait pour 1 et 2 variables. La première différence vient pour les monômes de degré 2 en 3 variables, qui sont ordonnés par grlex comme mais ordonnés par grevlex comme .
Ordre d'élimination
L'ordre de blocs ou ordre d'élimination (lexdeg) peut être défini pour n'importe quel nombre de blocs mais, par souci de simplicité, nous ne considérons que le cas de deux blocs. Si le nombre de blocs est égal au nombre de variables, cet ordre est simplement l'ordre lexicographique. Pour cet ordre, les variables sont divisées en deux blocs et et un ordre monomial est choisi pour chaque bloc, généralement l'ordre lexicographique inverse gradué. Deux monômes sont comparés en comparant leur bloc de variables , et en cas d'égalité, en comparant leur bloc de variables . Cet ordre est important car il permet l'élimination, opération qui correspond à la projection en géométrie algébrique.
Ordre pondéré
L'ordre pondéré dépend d'un vecteur appelé vecteur de pondération. Il compare d'abord le produit scalaire des séquences d'exposants des monômes avec ce vecteur de pondération et, en cas d'égalité, utilise un autre ordre monomial.
Par exemple, les deux ordres gradués mentionnés ci-dessus sont des ordres pondérés pour le vecteur de pondération qui permet le calcul de la somme des degrés.
Si les sont des nombres rationnellement indépendants (donc en particulier aucun d'entre eux n'est nul et toutes les fractions sont irrationnelles), alors une égalité ne peut jamais se produire, et la pondération elle-même spécifie un ordre monomial. Dans le cas contraire, on pourrait utiliser une autre pondération pour rompre les égalités, et ainsi de suite ; après avoir utilisé n vecteurs de pondération linéairement indépendantes, il ne peut plus y avoir d'égalité. On peut en effet définir tout ordre monomial par une séquence de vecteurs de pondération (Cox et al. pp. 72–73), par exemple (1,0,0,...,0), (0,1,0,...,0), ... (0,0,...,1) pour lex, ou (1,1,1,...,1), (1,1,..., 1,0), ... (1,0,...,0) pour grevlex.
Exemple
Dans l'exemple, les variables sont nommées , et au lieu de , et .
Considérons les monômes , , , et ; les ordres monomiaux définis ci-dessus ordonnent ces quatre monômes comme suit :
- Lex : (la puissance de domine).
- Grlex : (le degré total domine ; la puissance supérieure de départage les deux premiers).
- Grevlex : (le degré total domine ; la puissance inférieure de départage les deux premiers).
- Un ordre pondéré avec vecteur de pondération (1,2,4) : (les produits scalaires 10 > 9 > 8 > 3 ne nécessitent pas de départages).
Notions associées
- Un ordre d'élimination garantit qu'un monôme impliquant l'une des variables d'un bloc sera toujours supérieur à un monôme n'impliquant que des variables des blocs suivants.
- Un ordre produit est l'exemple le plus simple d'un ordre d'élimination. Il consiste à combiner des ordres monomiaux sur des ensembles disjoints de variables en un ordre monomial sur leur réunion. Il compare simplement les exposants des variables du premier ensemble en utilisant le premier ordre monomial, puis départage les égalités en utilisant l'ordre monomial sur les variables du deuxième ensemble. Cette méthode se généralise évidemment à toute union disjointe d'ensembles de variables ; l'ordre lexicographique peut être ainsi obtenu à partir des ensembles de singletons {x1}, {x2}, {x3}, ... (avec l'ordre monomial naturel pour chaque singleton).
Lors de la recherche de bases de Gröbner, les résultats et la difficulté du calcul peuvent varier considérablement selon le choix de l'ordre monomial. Par exemple, l'ordre lexicographique inverse gradué a la réputation de produire, presque toujours, les bases de Gröbner qui sont les plus faciles à calculer (ceci est renforcé par le fait que, dans des conditions assez courantes sur l'idéal, les polynômes de la base de Gröbner ont une degré qui est au plus exponentiel dans le nombre de variables ; aucun résultat similaire n'existe pour les autres ordres). D'autre part, les ordres d'élimination sont requis pour les problèmes d'élimination et les problèmes associés.
Références
- David Cox, John Little et Donal O'Shea, Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra, Springer, (ISBN 978-0-387-35650-1)
Portail des mathématiques