ein-handwerker.de

Resultante

16.05.2012 @ 11:15, MerlIwBot,

{{Dieser Artikel|behandelt den Begriff Resultante aus der Mathematik, für den Begriff aus der Mechanik siehe Resultierende}}

In der Mathematik ist die Resultante ein Werkzeug der kommutativen Algebra, um zwei Polynome auf das Vorhandensein gemeinsamer Nullstellen zu prüfen. In Erweiterung auf multivariate polynomiale Gleichungssysteme kann die Resultante dazu verwendet werden, nacheinander die Variablen des Systems zu eliminieren. Zu diesem Zweck wurde die Resultante und ähnliche Konstruktionen im Verlaufe des 19. Jahrhunderts untersucht, zuerst für Systeme mit Symmetrien, 1882 durch L. Kronecker auch für den allgemeinen Fall. In modernen Computeralgebrasystemen werden Resultanten bzw. deren mehrdimensionale Analoga benutzt, um aus einer vorher bestimmten Gröbner-Basis auf die Lösungen (bzw. deren Approximationen) eines Gleichungssystems zu schließen.

Umgangssprachlich ist eine „Resultante“ auch das Ergebnis kollidierender Entscheidungen oder sozialer Handlungen.

Definition

Seien $f$ und $g$ zwei Polynome von Grad $m$ bzw. $n$ aus $R[X]$, dem Polynomring in einer Unbestimmten über einem kommutativen unitären Ring $R$, ausgeschrieben

:$f=f\_\{0\}+f\_\{1\}X+\backslash ldots+f\_\{m\}X^\{m\}$ und $g=g\_\{0\}+g\_\{1\}X+\backslash ldots+g\_\{n\}X^\{n\}$.

Die Resultante dieser beiden Polynome ist die Determinante der Sylvester-Matrix.

:$\backslash operatorname\{Res\}(f,g)=\backslash det$
\begin{pmatrix}
f_m & f_{m-1} & \cdots & & f_0 & & & \\
& f_m & f_{m-1} & \cdots & & f_0 & & \\
& & \ddots & & & & \ddots & \\
& & & f_m & f_{m-1} &\cdots & & f_0 \\
g_n & g_{n-1} & \cdots & & g_0 & & & \\
& g_n & g_{n-1} & \cdots && g_0 & & \\
& & \ddots & & & & \ddots & \\
& & & g_n & g_{n-1} & \cdots & & g_0 \\
\end{pmatrix}

Die Matrix besteht aus $n$ Zeilen mit den Koeffizienten von $f$ und $m$ Zeilen mit den Koeffizienten von $g$. Alle in der obigen Matrix nicht beschrifteten Einträge sind Null. Die Sylvestermatrix ist also eine quadratische Matrix mit $m\; +\; n$ Zeilen und Spalten.

Eigenschaften

Die (Transponierte der) Sylvestermatrix ist die Systemmatrix der Gleichung $fp-gq=0$, aufgefasst als lineares Gleichungssystem in den Koeffizienten der Kofaktor-Polynome
:$p=p\_\{0\}+p\_\{1\}X+...+p\_\{n-1\}X^\{n-1\}$ und $q=q\_\{0\}+q\_\{1\}X+...+q\_\{m-1\}X^\{m-1\}.$

Haben die Polynome $f$ und $g$ einen gemeinsamen Faktor, so verschwindet die Resultante. Für die Aussage in der anderen Richtung benötigt man noch, dass der Ring R ein faktorieller Integritätsbereich, d.h. ohne Nullteiler und mit eindeutiger Primfaktorzerlegung ist. Das ist immer der Fall, wenn R ein Körper ist, z.B. die Körper der rationalen oder reellen Zahlen sowie Polynomringe darüber. Sind diese Bedingungen erfüllt, und gilt $\backslash operatorname\{Res\}(f,g)=0$, so enthalten f und g einen gemeinsamen Faktor mit positivem Grad.

Ist der Koeffizientenbereich ein algebraisch abgeschlossener Körper, wie der Körper der komplexen Zahlen, so zerfallen die Polynome f und g in Linearfaktoren
:$f(X)=f\_m\backslash cdot(X-a\_1)\backslash cdot\backslash dots\backslash cdot(X-a\_m)$ und $g(X)=g\_n\backslash cdot\; (X-b\_1)\backslash cdot\backslash dots\backslash cdot(X-b\_n)$.
In diesem Fall kann die Resultante als Ausdruck in den Nullstellen dargestellt werden, es gelten
:$$
\operatorname{Res}(f,g)=(f_m)^n\,g(a_1)\cdots g(a_m)=(-1)^{mn}(g_n)^m\,f(b_1)\cdots f(b_n)
=(f_m)^n\,(g_n)^m\prod_{i=1}^m\prod_{j=1}^n(a_i-b_j)

.

Mit Hilfe der cramerschen Regel kann man zeigen, dass es immer Polynome A und B mit Koeffizienten in R gibt, so dass
:$Af+Bg=\backslash operatorname\{Res\}(f,g)$

gilt. Die Koeffizienten von A und B ergeben sich aus der letzten Spalte der Komplementärmatrix der Sylvestermatrix.

Beziehung zum Euklidischen Algorithmus

Eine ähnliche Formel erhält man durch den erweiterten Euklidischen Algorithmus. In der Tat kann aus diesem ein effizientes Berechnungsverfahren für die Resultante abgeleitet werden, das Subresultanten–Verfahren.

Literatur

* Siegfried Bosch: Algebra, 7. Auflage 2009, Springer-Verlag, ISBN 3-540-40388-4, doi:10.1007/978-3-540-92812-6.

Kategorie:Kommutative Algebra

Kategorie:Algebraische Zahlentheorie

Resultant
es:Resultante
fi:Resultantti (matematiikka)
Résultant
ht:Reziltant
pl:Rugownik
pt:Resultante
ru:Результант
uk:Результант
zh:結式

weiter