La matrice structurée de type Toeplitz construite à partir des vecteurs de coefficients de deux polynômes univariés dont le déterminant est leur résultant. Les lignes sont des copies décalées des suites de coefficients des polynômes de sorte que la dépendance linéaire des colonnes correspond à une racine commune.

Principe

Traduire la multiplication polynomiale et le décalage de coefficients en un objet d'algèbre linéaire : aligner les vecteurs de coefficients décalés de f et g dans une matrice rectangulaire de sorte qu'un vecteur propre non trivial corresponde à un multiple polynomial commun, et que la déterminante de la matrice carrée de Sylvester soit le critère d'élimination.

Démonstration

Étant donné f de degré m et g de degré n, former une matrice avec n lignes de coefficients de f décalés et m lignes de coefficients de g décalés pour obtenir une matrice de Sylvester (m+n)×(m+n). Sa déterminante s'annule exactement lorsque f et g ont une racine commune ; une baisse de rang révèle le degré du pgcd.

Mauvaise application

Construire la matrice de Sylvester avec un ordre de décalage incorrect ou ignorer l'échelle des coefficients dominants conduit à des valeurs de déterminant erronées ; l'utiliser sans modification pour des systèmes multivariés au lieu d'employer les généralisations de Macaulay ou des résultants creux fausse la solvabilité.

Conséquence

La matrice de Sylvester convertit un problème de racine commune en problèmes de rang et de déterminant : le déterminant donne le résultant, la déficience de rang donne le degré du pgcd, et les vecteurs du noyau produisent des polynômes annihilateurs utiles pour l'extraction de facteurs.

Inversion

Contrastée avec les constructions de Bezout ou de Hankel : tandis que Sylvester organise des décalages de coefficients, les matrices de Bezout codent des formes bilinaires d'évaluation ; renverser la perspective revient à utiliser des encodages bilinaires duals plutôt que des lignes décalées pour capturer les facteurs communs.

Limite

Définie classiquement pour deux polynômes univariés ; pour plusieurs polynômes ou des cas multivariés on utilise les matrices de Macaulay ou les résultants creux. Sur des anneaux avec diviseurs de zéro, les implications algébriques-linéaires de l'annulation du déterminant exigent des hypothèses supplémentaires.

Tension sémantique

Tension entre matrices de Sylvester et de Bezout : les deux produisent des résultants mais diffèrent en conditionnement numérique, symétrie et façon dont l'information de multiplicité apparaît ; le choix dépend des objectifs computationnels (rang vs structure bilinéaire).

Synthèse

La matrice de Sylvester est un encodage explicite en algèbre linéaire des coefficients polynomiaux décalés dont le déterminant est le résultant : en convertissant l'élimination en calculs de rang et de déterminant, elle relie la solvabilité polynomiale à l'analyse matricielle classique.