Ein Skalar, häufig dargestellt als Determinante einer entsprechend konstruierten Matrix (bei zwei univariaten Polynomen die Sylvester-Matrix), der genau dann verschwindet, wenn die Eingangs­polynome eine nichttriviale gemeinsame Nullstelle im projektiven Raum besitzen. Die Resultante ist ein Eliminationsobjekt: sie komprimiert die Bedingung „es existiert x mit f(x)=g(x)=0“ zu einem einzigen Polynom in den Koeffizienten.

Prinzip

Elimination mittels linearer Relationen zwischen verschobenen Koeffizientenvektoren: Konstruktion einer Determinante, deren Verschwinden äquivalent zur Existenz einer gemeinsamen Nullstelle ist. Algebraisch ist die Resultante ein Koeffizientenpolynom, das die Lösbarkeit des polynomialen Systems nach der Variablenelimination kodiert.

Demonstration

Für zwei univariate Polynome f und g mit Graden m und n bildet man die Sylvester-Matrix mit m+n Zeilen aus verschobenen Koeffizienten; deren Determinante ist Res(f,g). Ist g linear, so reduziert sich Res(f,g) (bis auf eine Einheit) auf die Auswertung von g an den Wurzeln von f, daher verschwindet die Determinante genau dann, wenn g und f eine gemeinsame Wurzel haben.

Fehlanwendung

Die Resultante über einem nichtintegren Ring (zum Beispiel mit Nullteilern) zu verwenden, ohne Sättigungsfragen zu prüfen, kann zu falschen Verschwindensschlüssen führen; numerische, schwebpunktbasierte Berechnung der Resultante als exakt anzusehen kann wegen numerischer Instabilität und Skalierungsproblemen spurious gemeinsame Nullstellen erzeugen.

Konsequenz

Eine ungleich null Resultante bescheinigt, dass die Polynome keine gemeinsame Nullstelle in einer algebraischen Abschluss besitzen, während eine verschwindende Resultante eine algebraische Bedingung liefert, die weiter untersucht werden kann (ggT-Berechnung, Faktordetektion, Liftung einer Nullstelle); Resultanten ermöglichen eliminationsbasierte Algorithmen zur Lösung und Entscheidungsfindung.

Umkehrung

Statt Variablen zu eliminieren und ein skalares Zertifikat für gemeinsame Nullstellen zu erzeugen, kann man umgekehrt explizite gemeinsame Lösungen konstruieren oder den größten gemeinsamen Teiler berechnen: Elimination gibt Existenzinformation, während explizite Faktorisierung die tatsächlichen gemeinsamen Wurzelfaktoren liefert.

Abgrenzung

Gilt sauber für univariate Polynome über Integritätsbereichen und lässt sich mit Vorsicht auf multivariate Resultanten (Macaulay, Sparse-Resultanten) erweitern. Sie liefert nicht unmittelbar die Vielfachheitsstruktur ohne weitere Verfeinerung und muss angepasst werden, wenn Koeffizienten in Ringen mit Torsion liegen oder spezialisiert werden.

Semantische Spannung

Eng verwandt mit dem ggT: Beide erkennen gemeinsame Faktoren, aber die Resultante ist ein einzelnes Eliminationspolynom in den Koeffizienten, während der ggT ein explizites Faktorpoynom ist; es steht also Verdichtung der Existenzinformation (Resultante) gegen konstruktive Faktordaten (ggT).

Synthese

Die Resultante ist eine Eliminationsdeterminante, die kodiert, ob Polynome gemeinsame Nullstellen besitzen: aus verschobenen Koeffizientenrelationen (Sylvester-ähnliche Konstruktionen) gebildet, bietet sie eine einzelne polynomiale Bedingung zur Entscheidbarkeit, die zu ggT- und Faktorisierungsverfahren komplementär ist.