Eine strukturierte Matrix, die zwei univariate Polynomen zugeordnet ist und deren Einträge bilineare Formen in den Koeffizienten der Polynome sind; ihr Determinant (bis auf einen Skalar) ist das Resultat, und ihr Kern kodiert gemeinsame Nullstellen und ggt-Informationen.

Prinzip

Konstruktion der Bézoutschen Bilinearform B(f,g)(u,v) = (f(u)g(v) - f(v)g(u))/(u-v) und Darstellung in Monombasen zur Gewinnung der Bézout-Matrix; algebraische Eigenschaften von f und g (gemeinsame Nullstellen, Vielfachheiten) entsprechen Rang- und Kern-Eigenschaften dieser Matrix.

Demonstration

Für f(x)=a_0 + a_1 x + ... + a_m x^m und g(x)=b_0 + b_1 x + ... + b_n x^n hat die Bézout-Matrix der Größe max(m,n) Einträge, die aus den Koeffizienten der symmetrischen Erweiterung des Bézoutians entstehen. Ihr Determinant verschwindet genau dann, wenn f und g eine gemeinsame Nullstelle haben, und liefert damit das Resultat.

Fehlanwendung

Die Verwendung der Bézout-Matrix ohne Berücksichtigung numerischer Kondition kann zu instabilen Nullstellenberechnungen führen; sie mit der Sylvester-Matrix zu verwechseln oder sie naiv für multivariate Eliminationsprobleme zu verwenden, führt zu falschen Schlüssen.

Konsequenz

Richtige Anwendung liefert einen kompakten algebraischen Test auf gemeinsame Nullstellen, eine Methode zur Berechnung von Resultanten, zur Erkennung von Vielfachheiten und zur Bildung strukturierter Linearisierungen für numerische Eigenwertverfahren, die gemeinsame Nullstellen isolieren.

Umkehrung

Die Sylvester-Matrix ist eine andere Eliminationsmatrix, gebaut aus der Faltung der Koeffizienten, deren Determinante ebenfalls das Resultat ist; die Umkehrung der Wahl macht Trade-offs deutlich: Sylvester ist oft dünner, Bézout kodiert eine symmetrische Bilinearform mit anderen numerischen und algebraischen Eigenschaften.

Abgrenzung

Die Definition ist Standard für univariate Polynome über einem Körper oder Hauptidealbereich; Erweiterungen auf multivariate Polynome erfordern Eliminationsverfahren oder Projektionen und sind nicht direkt. Skalierung, Basiswechsel und führende Nullkoeffizienten müssen behandelt werden, um Rangdefekte zu vermeiden.

Semantische Spannung

Es besteht Spannung zwischen der Nutzung von Bézout-Matrizen als exakte symbolische Werkzeuge und ihrem Verhalten in numerischen Umgebungen, in denen Rundung und Konditionierung eine Rolle spielen; ebenso Spannung zwischen verschiedenen Resultantmatrizen (Sylvester, Dixon, Bézoutian), die dasselbe Resultat unterschiedlich repräsentieren.

Synthese

Die Bézout-Matrix ist die matrixielle Repräsentation der Bézoutschen Bilinearform aus zwei Polynomen; ihr Determinant liefert das Resultat und ihre lineare Algebra (Rang, Nullraum) spiegelt gemeinsam Nullstellen und Vielfachheiten wider, wodurch sowohl symbolische Eliminationsmethoden als auch strukturierte numerische Ansätze möglich werden.