Sylvester矩阵的应用——结式性质及其计算

书中玉

已于 2024-05-04 10:08:31 修改

阅读量973

点赞数 17

文章标签：矩阵线性代数

于 2024-05-04 10:07:44 首次发布

本文链接：https://blog.csdn.net/tianwangwxm/article/details/138435781

版权

【定义】

设 $F$ 是域，非 $0$ 多项式 $\in F\lbrack x\rbrack$ ，且 $\deg(f) = n、\deg(g) = m$ 。则 $S y l v es t er$ 矩阵 $S$ 定义如下：

$\begin{pmatrix} f_{n} & \ & \ & \ & g_{m} & \ & \ & \ & \ & \ \\ f_{n - 1} & f_{n} & \ & \ & g_{m - 1} & g_{m} & \ & \ & \ & \ \\ \vdots & \vdots & \ddots & \ & \vdots & \vdots & \ddots & \ & \ & \ \\ \vdots & \vdots & \ & f_{n} & g_{1} & \vdots & \ & \ddots & \ & \ \\ \vdots & \vdots & \ & f_{n - 1} & g_{0} & \vdots & \ & \ & \ddots & \ \\ \vdots & \vdots & \ & \vdots & \ & g_{0} & \ & \ & \ & g_{m} \\ f_{0} & \vdots & \ & \vdots & \ & \ & \ddots & \ & \ & \vdots \\ \ & f_{0} & \ & \vdots & \ & \ & \ & \ddots & \ & \vdots \\ \ & \ & \ddots & \vdots & \ & \ & \ & \ & \ddots & \vdots \\ \ & \ & \ & f_{0} & \ & \ & \ & \ & \ & g_{0} \end{pmatrix}$

其中 $f$ 部分有 $m$ 列， $g$ 部分有 $n$ 列。称 $\det(S)$ 为 $f 、 g$ 关于 $x$ 的结式，记作 $res (f, g, x)$

【定理】

设 $F$ 是域，非 $0$ 多项式 $\in F\lbrack x\rbrack$ ，且 $\deg(f) = n、\deg(g) = m$ ，则下面三个命题等价：

$\gcd(f,\ g) \neq 1$
存在非0多项式 $\in F\lbrack x\rbrack$ ，使得

$s f + t g = 0$ ， $\deg(s) < \deg(g)$ ， $\deg(t) < \deg(f)$

$res (f, g, x) = 0$

【证明】

$\Rightarrow 2$ ：

设 $\gcd(f,\ g)$ ，那么可以让 $\frac{g}{h}、\ t = - \frac{f}{h}$ ，满足2的结果。

$\Rightarrow 1$ ：

由于 $s f = - t g$ ，若 $\gcd(f,\ g) = 1$ ，那么 $f 、 g$ 互素，必然有 $f ∣ t$ ，但这与 $\neq 0$ 且 $\deg f > \deg t$ 矛盾，因此 $\gcd(f,\ g) \neq 1$

$\Rightarrow 3$ ：

令 $\overrightarrow{d} = \begin{pmatrix} s_{m - 1} \\ \vdots \\ s_{1} \\ s_{0} \\ t_{n - 1} \\ \vdots \\ t_{0} \end{pmatrix}$ ，那么必然有 $\bullet \overrightarrow{d} = \overrightarrow{0}$ 。因为 $\overrightarrow{d} \neq \overrightarrow{0}$ ，所以 $\det(S) = 0$ ，也就是 $res (f, g, x) = 0$ 。

$\Rightarrow 2$ ：

因为 $\det(S) = res(f,g,x) = 0$ ，所以存在 $\overrightarrow{d} \neq \overrightarrow{0}$ 使得 $\bullet \overrightarrow{d} = \overrightarrow{0}$ 。

将 $S$ 分为两部分：

$\begin{bmatrix} S_{f} & S_{g} \end{bmatrix}$

$S_{f} = \begin{pmatrix} f_{n} & \ & \ & \ \\ f_{n - 1} & f_{n} & \ & \ \\ \vdots & \vdots & \ddots & \ \\ \vdots & \vdots & \ & f_{n} \\ \vdots & \vdots & \ & f_{n - 1} \\ \vdots & \vdots & \ & \vdots \\ f_{0} & \vdots & \ & \vdots \\ \ & f_{0} & \ & \vdots \\ \ & \ & \ddots & \vdots \\ \ & \ & \ & f_{0} \end{pmatrix}$

$S_{g} = \begin{pmatrix} g_{m} & \ & \ & \ & \ & \ \\ g_{m - 1} & g_{m} & \ & \ & \ & \ \\ \vdots & \vdots & \ddots & \ & \ & \ \\ g_{1} & \vdots & \ & \ddots & \ & \ \\ g_{0} & \vdots & \ & \ & \ddots & \ \\ \ & g_{0} & \ & \ & \ & g_{m} \\ \ & \ & \ddots & \ & \ & \vdots \\ \ & \ & \ & \ddots & \ & \vdots \\ \ & \ & \ & \ & \ddots & \vdots \\ \ & \ & \ & \ & \ & g_{0} \end{pmatrix}$

则 $r\left( S_{f} \right) = m、r\left( S_{g} \right) = n$ 。

将 $\overrightarrow{d}$ 分为两部分：

$\overrightarrow{d} = \begin{bmatrix} \overrightarrow{d_{f}} \\ \overrightarrow{d_{g}} \end{bmatrix}$

其中 $\overrightarrow{d_{f}}$ 是 $m$ 维度的， $\overrightarrow{d_{g}}$ 是 $n$ 维度的。

由于 $\bullet \overrightarrow{d} = \begin{bmatrix} S_{f} & S_{g} \end{bmatrix} \bullet \begin{bmatrix} \overrightarrow{d_{f}} \\ \overrightarrow{d_{g}} \end{bmatrix} = \left\lbrack S_{f} \bullet \overrightarrow{d_{f}} + S_{g} \bullet \overrightarrow{d_{g}} \right\rbrack = \overrightarrow{0}$

当 $\overrightarrow{d_{f}} = \overrightarrow{0}$ 时， $S_{g} \bullet \overrightarrow{d_{g}} = 0$ ，同时又因为 $r\left( S_{g} \right) = n$ ， $S_{g}$ 的列向量线性无关，所以 $\overrightarrow{d_{g}} = \overrightarrow{0}$ ；同理，当 $\overrightarrow{d_{g}} = \overrightarrow{0}$ 时， $S_{f} \bullet \overrightarrow{d_{f}} = 0$ ，同时又因为 $r\left( S_{f} \right) = m$ ， $S_{f}$ 的列向量线性无关，所以 $\overrightarrow{d_{f}} = \overrightarrow{0}$ 。又因为 $\overrightarrow{d} \neq \overrightarrow{0}$ ，所以 $\overrightarrow{d_{f}} \neq \overrightarrow{0}、\overrightarrow{d_{g}} \neq \overrightarrow{0}$ 。让向量 $\overrightarrow{d_{f}}$ 组成 $s$ 的系数，向量 $\overrightarrow{d_{g}}$ 组成 $t$ 的系数，从而找到非0多项式 $\in F\lbrack x\rbrack$ ，满足2的结论。