## [Sylvester-Matrix](/de/node/63524) Definition Die strukturierte, Toeplitz-ähnliche Matrix, aufgebaut aus Koeffizientenvektoren zweier univariater Polynome, deren Determinante ihre Resultante ist. Die Zeilen bestehen aus verschobenen Kopien der Koeffizientenreihen, sodass lineare Abhängigkeit der Spalten einer gemeinsamen Nullstelle entspricht. ## Prinzip Prinzip Polynomielle Multiplikation und Koeffizientenverschiebung in ein lineares Algebraobjekt übersetzen: verschobene Koeffizientenvektoren von f und g so anordnen, dass ein nichttrivialer Nullvektor einem gemeinsamen polynomialen Vielfachen entspricht und die Determinante der quadratischen Sylvester-Matrix das Eliminationskriterium liefert. ## Demonstration Demonstration Für f vom Grad m und g vom Grad n bildet man eine Matrix mit n Zeilen verschobener f-Koeffizienten und m Zeilen verschobener g-Koeffizienten, wodurch eine (m+n)×(m+n)-Sylvester-Matrix entsteht. Deren Determinante verschwindet genau dann, wenn f und g eine gemeinsame Nullstelle haben; Rangabfall zeigt den Grad des ggT an. ## Fehlanwendung Fehlanwendung Die Sylvester-Matrix mit falscher Verschiebungsordnung zu konstruieren oder führende Koeffizienten nicht korrekt zu skalieren führt zu falschen Determinanten; sie unkritisch für multivariate Systeme zu verwenden, statt auf Macaulay- oder sparse-Resultanten zurückzugreifen, verfälscht die Lösbarkeit. ## Konsequenz Konsequenz Die Sylvester-Matrix überführt ein Problem gemeinsamer Nullstellen in Rang- und Determinantenfragen: Determinante liefert die Resultante, Rangdefizit den ggT-Grad, und der Kern liefert annihilierende Polynome zur Faktorextraktion. ## Umkehrung Umkehrung Im Gegensatz zur Bezout- oder Hankel-Konstruktion: Während Sylvester Koeffizientenverschiebungen anordnet, kodieren Bezout-Matrizen bilineare Bewertungsformen; die umgekehrte Perspektive nutzt duale bilineare Encodierungen statt verschobener Zeilen zur Erfassung gemeinsamer Faktoren. ## Abgrenzung Abgrenzung Klassisch definiert für zwei univariate Polynome; für mehrere Polynome oder multivariate Fälle verwendet man Macaulay-Matrizen oder sparse-Resultanten. Über Ringen mit Nullteilern benötigen die linear-algebraischen Folgerungen aus dem Determinantenverschwinden zusätzliche Hypothesen. ## Semantische Spannung Semantische Spannung Es besteht Spannung zwischen Sylvester- und Bezout-Matrizen: Beide führen zu Resultanten, unterscheiden sich jedoch in numerischer Konditionierung, Symmetrie und Darstellung der Vielfachheitsinformationen; die Wahl hängt vom praktischen Rechenziel (Rang vs bilineare Struktur) ab. ## Synthese Synthese Die Sylvester-Matrix ist eine explizite lineare Algebra-Kodierung verschobener Polynomkoeffizienten, deren Determinante die Resultante ergibt: Sie übersetzt Eliminationsfragen in Rang- und Determinantenberechnungen und verbindet so polynomiale Lösbarkeit mit klassischer Matrizenanalyse.