Matrice de Sylvester

Matrice de Sylvester

En algèbre linéaire, la matrice de Sylvester de deux polynômes apporte des informations d'ordre arithmétique sur ces polynômes. Elle tient son nom de James Joseph Sylvester. Elle sert à la définition du résultant de deux polynômes.

Définition

Soient p et q deux polynômes non nuls, de degrés respectifs m et n.

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 de Sylvester associée à p et q est la matrice carrée (n+m)\times(n+m) définie ainsi :

  • la première ligne est formée des coefficients de p, suivis de 0
\begin{pmatrix} p_m & p_{m-1} & \cdots & p_1 & p_0 & 0 & \cdots & 0 \end{pmatrix} ;
  • la seconde ligne s'obtient à partir de la première par permutation circulaire vers la droite ;
  • les (n-2) lignes suivantes s'obtiennent en répétant la même opération ;
  • la ligne (n+1) est formée des coefficients de q, suivis de 0
\begin{pmatrix} q_n & q_{n-1} & \cdots & q_1 & q_0 & 0 & \cdots & 0 \end{pmatrix} ;
  • les (m-1) lignes suivantes sont formées par des permutations circulaires.

Ainsi dans le cas m=4 et n=3, la matrice obtenue est

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}.


Le déterminant de la matrice de p et q est appelé déterminant de Sylvester ou résultant de p et q.

Applications

L'équation de Bézout d'inconnues les polynômes x (de degré <n) et y (de degré <m)

x \cdot p + y \cdot q = 0

peut être réécrite matriciellement

(S_{p,q})^{t} \cdot\begin{pmatrix}\tilde x\\\tilde y\end{pmatrix} = \begin{pmatrix}0\\0\end{pmatrix}

dans laquelle t désigne la transposée, \tilde x est le vecteur de taille n des coefficients du polynôme x (dans l'ordre décroissant), et \tilde y le vecteur de taille m des coefficients du polynôme y.

Ainsi le noyau de la matrice de Sylvester donne toutes les solutions de cette équation de Bézout avec deg x < deg q et deg y < deg p.

Le rang de la matrice de Sylvester est donc relié au degré du PGCD de p et q.

\deg(\mathrm{pgcd}(p,q)) = m+n-\mathrm{rang}~S_{p,q}.

Notamment, le résultant de p et q est nul si et seulement si p et q ont un facteur commun de degré supérieur ou égal à un.

Voir aussi


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Matrice de Sylvester de Wikipédia en français (auteurs)

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • Matrice De Sylvester — En algèbre linéaire, la matrice de Sylvester de deux polynômes apporte des informations d ordre arithmétique sur ces polynômes. Elle tient son nom de James Joseph Sylvester. Elle sert à la définition du résultant de deux polynômes. Définition… …   Wikipédia en Français

  • Matrice de sylvester — En algèbre linéaire, la matrice de Sylvester de deux polynômes apporte des informations d ordre arithmétique sur ces polynômes. Elle tient son nom de James Joseph Sylvester. Elle sert à la définition du résultant de deux polynômes. Définition… …   Wikipédia en Français

  • Matrice De Hadamard — Une matrice de Hadamard, du nom du mathématicien français Jacques Hadamard, est une matrice carrée dont les coefficients sont tous 1 ou 1 et dont les lignes sont toutes orthogonales entre elles. Le nom retenu pour ces matrices rend hommage au… …   Wikipédia en Français

  • Matrice de hadamard — Une matrice de Hadamard, du nom du mathématicien français Jacques Hadamard, est une matrice carrée dont les coefficients sont tous 1 ou 1 et dont les lignes sont toutes orthogonales entre elles. Le nom retenu pour ces matrices rend hommage au… …   Wikipédia en Français

  • Matrice Définie Positive — En algèbre linéaire, la notion de matrice définie positive est analogue à celle de nombre réel strictement positif. On introduit tout d abord les notations suivantes ; si a est une matrice à éléments réels ou complexes : aT désigne la… …   Wikipédia en Français

  • Matrice definie positive — Matrice définie positive En algèbre linéaire, la notion de matrice définie positive est analogue à celle de nombre réel strictement positif. On introduit tout d abord les notations suivantes ; si a est une matrice à éléments réels ou… …   Wikipédia en Français

  • Matrice Hessienne — En mathématiques, la matrice hessienne d une fonction numérique f est la matrice carrée, notée H(f), de ses dérivées partielles secondes. Plus précisément, étant donnée une fonction f à valeurs réelles f(x1, x2, ..., xn), et en supposant que… …   Wikipédia en Français

  • Matrice de Hesse — Matrice hessienne En mathématiques, la matrice hessienne d une fonction numérique f est la matrice carrée, notée H(f), de ses dérivées partielles secondes. Plus précisément, étant donnée une fonction f à valeurs réelles f(x1, x2, ..., xn), et en… …   Wikipédia en Français

  • Matrice (algèbre) — Matrice (mathématiques) Pour les articles homonymes, voir Matrice. En mathématiques, les matrices servent à interpréter en termes calculatoire …   Wikipédia en Français

  • Matrice (mathematiques) — Matrice (mathématiques) Pour les articles homonymes, voir Matrice. En mathématiques, les matrices servent à interpréter en termes calculatoire …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”