Matrice di Sylvester

Da Wikipedia, l'enciclopedia libera.

In matematica, una matrice di Sylvester è una matrice associata a due polinomi che permette di dare alcune informazioni sui polinomi stessi. Il nome è legato al matematico James Joseph Sylvester.

[modifica] Definizione

Siano p e q due polinomi aventi, rispettivamente, i gradi positivi m ed n che scriviamo:

$p(z)\,=\,p_0+p_1 z+p_2 z^2+\cdots+p_m z^m$

$q(z)\,=\,q_0+q_1 z+q_2 z^2+\cdots+q_n z^n$ .

La matrice di Sylvester associata a p e q, che denotiamo con S_p,q è la matrice di aspetto $(n+m)\times(n+m)$ ottenuta come segue:

la prima riga è:

$\begin{pmatrix} p_m & p_{m-1} & \cdots & p_1 & p_0 & 0 & \cdots & 0 \end{pmatrix}$ ;

la seconda riga è ottenuta dalla prima permutandola circolarmente a destra di una colonna (il primo componente della riga è zero).

le successive (n-2) righe sono ottenute nello stesso modo, permutando circolarmente a destra di una posizione la riga precedente;

la (n+1)-esima riga è:

$\begin{pmatrix} q_n & q_{n-1} & \cdots & q_1 & q_0 & 0 & \cdots & 0 \end{pmatrix}$ ;

le successive righe sono ottenute come in precedenza mediante rotazioni a destra della riga che le precede.

Ad esempio, se poniamo m=4 e n=3, la matrice cercata risulta essere:

$S_{p,q}=\begin{pmatrix} p_4 & p_3 & p_2 & p_1 & p_0 & 0 & 0 \\ 0 & p_4 & p_3 & p_2 & p_1 & p_0 & 0 \\ 0 & 0 & p_4 & p_3 & p_2 & p_1 & p_0 \\ q_3 & q_2 & q_1 & q_0 & 0 & 0 & 0 \\ 0 & q_3 & q_2 & q_1 & q_0 & 0 & 0 \\ 0 & 0 & q_3 & q_2 & q_1 & q_0 & 0 \\ 0 & 0 & 0 & q_3 & q_2 & q_1 & q_0 \\ \end{pmatrix}.$

[modifica] Applicazioni

Le matrici di Sylvester sono usate nell'algebra commutativa, per verificare se due polinomi hanno un fattore comune (non costante). In realtà, in questo caso, il determinante della matrice di Sylvester associata, che è chiamato risultante dei due polinomi, è uguale a zero. È vero anche il viceversa.

La soluzione delle equazioni lineari:

$S_{p,q}\cdot\begin{pmatrix}x\\y\end{pmatrix} = \begin{pmatrix}0\\0\end{pmatrix}$ ,

dove $x$ è un vettore di dimensione $n$ e $y$ è di dimensione $m$ , porta a tutti e soli i polinomi x e y, aventi rispettivamente i gradi n - 1 ed m - 1, che soddisfano la identità polinomiale

$x \cdot p + y \cdot q = 0$ .

Questo vuol dire che il nucleo della matrice di Sylvester dà tutte le soluzioni del teorema di Bézout dove $\deg\, x < \deg\, q$ e $\deg\, y < \deg\, p$ .