Sylvestermatrix

In de algebra is de sylvestermatrix van twee polynomen in een variabele $x$ een matrix geconstrueerd met de coëfficiënten van deze polynomen. De matrix is genoemd naar James Joseph Sylvester en vindt z'n bestaansrecht in de resultante van de beide polynomen, gedefinieerd als de determinant van de sylvestermatrix.

Constructie

Stel men heeft twee polynomen in $x$ , $f (x)$ van graad $m \geq 1$ en $g (x)$ van graad $n \geq 1$ :

f (x) = f_{m} x^{m} + f_{m - 1} x^{m - 1} + \dots + f_{1} x + f_{0}

g (x) = g_{n} x^{n} + g_{n - 1} x^{n - 1} + \dots + g_{1} x + g_{0}

De sylvestermatrix van $f$ en $g$ is de $(m + n) \times (m + n)$ -matrix waarvan de eerste $n$ rijen worden gevuld met de coëfficiënten van $f$ en de volgende $m$ rijen met de coëfficiënten van $g$ , en wel zo, dat

de eerste rij uit de coëfficiënten bestaat van $f$ , beginnend bij die van de hoogste macht van $x$ , gevolgd door nullen.
De tweede rij is de eerste rij een plaats naar rechts opgeschoven, het eerste element is nul.
De volgende $n - 2$ rijen worden op dezelfde manier opgebouwd, totdat $f_{0}$ in de rechter kolom staat.
De $n + 1$ -e rij bestaat uit de coëfficiënten van $g$ , gevolgd door nullen.
De volgende rijen ontstaan op dezelfde manier als voor $f$ .

De structuur van een sylvestermatrix wordt aan de hand van een voorbeeld getoond. Zij

f (x) = 6 x^{4} - 2 x^{3} + x^{2} + 3 x + 2

g (x) = 7 x^{3} + 4 x^{2} + 5 x + 1

dus $m = 4$ en $n = 3$ .

De sylvestermatrix is:

S y l (f, g) = (\begin{matrix} 6 & - 2 & 1 & 3 & 2 & 0 & 0 \\ 0 & 6 & - 2 & 1 & 3 & 2 & 0 \\ 0 & 0 & 6 & - 2 & 1 & 3 & 2 \\ 7 & 4 & 5 & 1 & 0 & 0 & 0 \\ 0 & 7 & 4 & 5 & 1 & 0 & 0 \\ 0 & 0 & 7 & 4 & 5 & 1 & 0 \\ 0 & 0 & 0 & 7 & 4 & 5 & 1 \end{matrix})

De algemene vorm is:

S y l (f, g) = (\begin{matrix} f_{m} & f_{m - 1} & f_{m - 2} & \dots & f_{1} & f_{0} & 0 & \dots & 0 & 0 \\ 0 & f_{m} & f_{m - 1} & \dots & f_{2} & f_{1} & f_{0} & \dots & 0 & 0 \\ ⋮ & ⋮ & ⋮ & ⋱ & ⋮ & ⋮ & ⋮ & ⋱ & ⋮ & ⋮ \\ ⋮ & ⋮ & ⋮ & ⋱ & ⋮ & ⋮ & ⋮ & ⋱ & ⋮ & ⋮ \\ 0 & 0 & 0 & \dots & f_{m} & f_{m - 1} & f_{m - 2} & \dots & f_{1} & f_{0} \\ g_{n} & g_{n - 1} & g_{n - 2} & \dots & g_{1} & g_{0} & 0 & \dots & 0 & 0 \\ 0 & g_{n} & g_{n - 1} & \dots & g_{2} & g_{1} & g_{0} & \dots & 0 & 0 \\ ⋮ & ⋮ & ⋮ & ⋱ & ⋮ & ⋮ & ⋮ & ⋱ & ⋮ & ⋮ \\ ⋮ & ⋮ & ⋮ & ⋱ & ⋮ & ⋮ & ⋮ & ⋱ & ⋮ & ⋮ \\ 0 & 0 & 0 & \dots & g_{n} & g_{n - 1} & g_{n - 2} & \dots & g_{1} & g_{0} \end{matrix})

Merk op dat op de eerste $n$ plaatsen van de diagonaal $f_{m}$ staat en dat op de $m$ volgende plaatsen op de diagonaal $g_{0}$ staat.

Resultante

De resultante van twee polynomen is gedefinieerd als de determinant van de sylvestermatrix van de twee polynomen. Deze resultante is alleen dan gelijk aan nul, als de twee polynomen een gemeenschappelijk nulpunt hebben.

Websites

MathWorld. Sylvester matrix.

Sylvestermatrix

Constructie

Resultante

Websites

Navigatiemenu

Zoeken