Un ensemble de techniques algébriques pour supprimer des variables dans des systèmes d'équations polynomiales afin d'obtenir des relations entre les variables restantes, généralement mises en œuvre par résultants, idéaux d'élimination ou bases de Gröbner.

Principe

Projeter l'ensemble algébrique défini par un idéal sur un sous-espace de coordonnées en éliminant algébriquement des variables ; l'idéal d'élimination et des bases adaptées encodent les contraintes qui subsistent après projection.

Démonstration

Pour le système { f(x,y)=0, g(x,y)=0 }, éliminer y en calculant le résultant Res_y(f,g) ou en calculant une base de Gröbner avec un ordre d'élimination pour obtenir un polynôme en x que doit satisfaire toute coordonnée x d'une solution.

Mauvaise application

Appliquer l'élimination numériquement sans contrôle symbolique, ou éliminer des variables de façon à perdre la multiplicité ou à introduire des facteurs extrinsèques ; un mauvais choix d'ordre d'élimination en Gröbner peut masquer des relations nécessaires.

Conséquence

Une élimination correcte fournit des équations implicites pour des projections, identifie des dépendances entre variables, calcule dimensions et degrés des variétés projetées et soutient les algorithmes en géométrie algébrique effective et calcul symbolique.

Inversion

Au lieu d'éliminer des variables pour obtenir des relations implicites, on peut paramétrer la variété (introduire des paramètres) ou relever dans des représentations de dimension supérieure ; l'inversion transforme des relations implicites en systèmes paramétriques ou développés.

Limite

Concerne principalement les systèmes polynomiaux et les variétés algébriques ; les équations analytiques, transcendants ou différentielles exigent des cadres d'élimination différents ; la complexité croît rapidement avec le nombre de variables et le degré.

Tension sémantique

En tension avec la continuation numérique et les méthodes locales : l'élimination donne des relations symboliques exactes mais peut être coûteuse et produire des polynômes ingérables, tandis que les méthodes numériques fournissent des informations géométriques approximatives à moindre coût.

Synthèse

La Théorie de l'Élimination est le cadre symbolique qui convertit des systèmes d'équations polynomiales en relations réduites en projetant des idéaux et en calculant des idéaux ou bases d'élimination, permettant l'implicitation exacte, la détection de dépendances et le raisonnement algébrique sur les projections.