最后更新: 2025-10-16 21:36 查看: 41 次纠错评论(0) 课件开VIP

在线性代数中的应用

## 在线性代数中的应用
上面所阐述的多项式的基本理论在线性代数中可以发挥重要的作用．设 $V$ 是数域 $K$ 上的有限维线性空间， $\boldsymbol{A}$ 是 $V$ 内一个线性变换．
对任意 $K$ 上多项式 $f(x)$ ，令

$$
M=\operatorname{Ker} f(\boldsymbol{A})=\{\alpha \in V \mid f(\boldsymbol{A}) \alpha=0\}
$$

在第四章已指出 $M$ 是 $V$ 的子空间．对任意 $\alpha \in M$ ，我们有

$$
f(\boldsymbol{A}) \boldsymbol{A} \alpha=\boldsymbol{A} f(\boldsymbol{A}) \alpha=\boldsymbol{A} \cdot 0=0
$$

即 $\boldsymbol{A} \alpha \in M$ ，故 $M$ 是 $\boldsymbol{A}$ 的不变子空间．这样，利用 $K[x]$ 内的多项式，我们按上述办法可以构造出 $\boldsymbol{A}$ 的各种不变子空间．我们有下面重要的事实．

1）若 $g(x) \mid f(x)$ ，则 $\operatorname{Ker} g(\boldsymbol{A}) \subseteq \operatorname{Ker} f(\boldsymbol{A})$ ．
这是因为 $f(x)=q(x) g(x)$ ，于是对任意的 $\alpha \in \operatorname{Ker} g(\boldsymbol{A})$ ，有

$$
f(\boldsymbol{A}) \alpha=q(\boldsymbol{A}) g(\boldsymbol{A}) \alpha=0
$$

$2)$ 若 $(f(x), g(x))=d(x)$ ，则

$$
\operatorname{Ker} d(\boldsymbol{A})=\operatorname{Ker} f(\boldsymbol{A}) \cap \operatorname{Ker} g(\boldsymbol{A}) .
$$

这是因为由 $d(x) \mid f(x)$ 有 $\operatorname{Ker} d(\boldsymbol{A}) \subseteq \operatorname{Ker} f(\boldsymbol{A})$ ，又由 $d(x) \mid g(x)$ 有 $\operatorname{Ker} d(\boldsymbol{A}) \subseteq \operatorname{Ker} g(\boldsymbol{A})$ ，于是 $\operatorname{Ker} d(\boldsymbol{A}) \subseteq \operatorname{Ker} f(\boldsymbol{A}) \cap \operatorname{Ker} g(\boldsymbol{A})$ ．另一方面，由于有 $u(x), v(x) \in K[x]$ ，使
另一方面，由于有 $u(x), v(x) \in K[x]$ ，使

$$
u(x) f(x)+v(x) g(x)=d(x)
$$

于是

$$
d(\boldsymbol{A})=u(\boldsymbol{A}) f(\boldsymbol{A})+v(\boldsymbol{A}) g(\boldsymbol{A}) .
$$

对任意 $\alpha \in \operatorname{Ker} f(\boldsymbol{A}) \cap \operatorname{Ker} g(\boldsymbol{A})$ ，有 $f(\boldsymbol{A}) \alpha=g(\boldsymbol{A}) \alpha=0$ ，于是

$$
d(\boldsymbol{A}) \alpha=u(\boldsymbol{A}) f(\boldsymbol{A}) \alpha+v(\boldsymbol{A}) g(\boldsymbol{A}) \alpha=0,
$$

这表明 $\alpha \in \operatorname{Ker} d(\boldsymbol{A})$ 。综合上述两方面即知上面的结论正确。
特别地，如果 $(f(x), g(x))=1$ ，则 $d(\boldsymbol{A})=\boldsymbol{E}, \operatorname{Ker} d(\boldsymbol{A})=\{0\}$ ，于是 $\operatorname{Ker} f(\boldsymbol{A}) \cap \operatorname{Ker} g(\boldsymbol{A})=\{0\}$ ，因而子空间之和 $\operatorname{Ker} f(\boldsymbol{A})+\operatorname{Ker} g(\boldsymbol{A})$是直和．

3）若 $f(x)=g(x) h(x)$ ，且 $(g(x), h(x))=1$ ，则

$$
\operatorname{Ker} f(\boldsymbol{A})=\operatorname{Ker} g(\boldsymbol{A}) \oplus \operatorname{Ker} h(\boldsymbol{A}) .
$$

证（i）由 $g(x)|f(x), h(x)| f(x)$ 推知 $\operatorname{Ker} g(\boldsymbol{A}) \subseteq \operatorname{Ker} f(\boldsymbol{A})$ ， $\operatorname{Ker} h(\boldsymbol{A}) \subseteq \operatorname{Ker} f(\boldsymbol{A})$ ，即 $\operatorname{Ker} g(\boldsymbol{A}), \operatorname{Ker} h(\boldsymbol{A})$ 均为 $\operatorname{Ker} f(\boldsymbol{A})$ 的子空间。
（ii）从上面 2）中的结果知 $\operatorname{Ker} g(\boldsymbol{A})+\operatorname{Ker} h(\boldsymbol{A})$ 为直和．
（iii）现在存在 $u(x), v(x) \in K[x]$ ，使 $u(x) g(x)+v(x) h(x)=$ 1 ，于是 $u(\boldsymbol{A}) g(\boldsymbol{A})+v(\boldsymbol{A}) h(\boldsymbol{A})=\boldsymbol{E}$ ，对任意 $\alpha \in \operatorname{Ker} f(\boldsymbol{A})$ ，我们有
$$
\alpha=\boldsymbol{E} \alpha=v(\boldsymbol{A}) h(\boldsymbol{A}) \alpha+u(\boldsymbol{A}) g(\boldsymbol{A}) \alpha .
$$

现在 $g(\boldsymbol{A})(v(\boldsymbol{A}) h(\boldsymbol{A}) \alpha)=v(\boldsymbol{A}) g(\boldsymbol{A}) h(\boldsymbol{A}) \alpha=v(\boldsymbol{A}) f(\boldsymbol{A}) \alpha=0$ ， $h(\boldsymbol{A})(u(\boldsymbol{A}) g(\boldsymbol{A}) \alpha)=u(\boldsymbol{A}) g(\boldsymbol{A}) h(\boldsymbol{A}) \alpha=u(\boldsymbol{A}) f(\boldsymbol{A}) \alpha=0$ ．这表明 $v(\boldsymbol{A}) h(\boldsymbol{A}) \alpha \in \operatorname{Ker} g(\boldsymbol{A}), u(\boldsymbol{A}) g(\dot{\boldsymbol{A}}) \alpha \in \operatorname{Ker} h(\boldsymbol{A})$. 于是

$$
\operatorname{Ker} f(\boldsymbol{A})=\operatorname{Ker} g(\boldsymbol{A})+\operatorname{Ker} h(\boldsymbol{A})
$$

综合上面三方面的结果知

$$
\operatorname{Ker} f(\boldsymbol{A})=\operatorname{Ker} g(\boldsymbol{A}) \oplus \operatorname{Ker} h(\boldsymbol{A}) .
$$

4）如果 $f(x) \in K[x]$ 是 $\boldsymbol{A}$ 的一个化零多项式，并且有 $f(x)= g(x) h(x)$ ，这里 $(g(x), h(x))=1$ ．那么我们有 $f(\boldsymbol{A})=\mathbf{0}$ ，从而

$$
V=\operatorname{Ker} f(\boldsymbol{A})=\operatorname{Ker} g(\boldsymbol{A}) \oplus \operatorname{Ker} h(\boldsymbol{A}),
$$

即 $V$ 分解为 $\boldsymbol{A}$ 的不变子空间 $\operatorname{Kerg}(\boldsymbol{A})$ 和 $\operatorname{Ker} h(\boldsymbol{A})$ 的直和．
5）如果 $f(x) \in K[x]$ 是 $\boldsymbol{A}$ 的一个化零多项式，且

$$
f(x)=f_1(x) f_2(x) \cdots f_k(x),\left(f_i(x), f_j(x)\right)=1(i \neq j),
$$

那么，应用数学归纳法立即推知

$$
V=\operatorname{Ker} f(\boldsymbol{A})=\operatorname{Ker} f_1(\boldsymbol{A}) \oplus \operatorname{Ker} f_2(\boldsymbol{A}) \oplus \cdots \oplus \operatorname{Ker} f_k(\boldsymbol{A}),
$$

即 $V$ 分解为 $\boldsymbol{A}$ 的 $k$ 个不变子空间的直和．
因为 $\boldsymbol{A}$ 的特征多项式和最小多项式都是 $\boldsymbol{A}$ 的化零多项式，如果能把它们在 $K[x]$ 内分解为两两互素多项式的乘积，那就把 $V$ 分解为 $\boldsymbol{A}$ 的不变子空间的直和．如果遵循这个途径作进一步的探讨，我们将得到 $\boldsymbol{A}$ 的 Jordan 标准形的存在性的另一种证明方法．

下面我们就来讨论在 $K[x]$ 内把一个多项式 $f(x)$ 分解为一些两两互素多项式的乘积的问题．

## 本节解读
线性代数和抽象代数之间最富成果的交汇点之一。**K[x]（域 K 上的多项式环）在线性代数中的应用是深刻而强大的，它为我们理解线性变换的结构提供了一个系统性的代数工具。**

简单来说，核心思想是：**通过引入多项式环 K[x]，我们可以将一个向量空间 V 与一个线性变换 T 一起，“打包”成一个 K[x]-模。这使得我们可以运用环论和模论中强大的工具（如结构定理）来剖析线性变换 T 的内在结构。**

下面我们分步详解其应用。

---

### 1. 核心思想：从向量空间到 K[x]-模

设 V 是域 K 上的一个向量空间，T: V → V 是一个线性变换。

*   **通常视角**：V 只是一个 K-向量空间。我们只能用 K 中的标量（如实数、复数）去乘向量。
*   **升级视角**：我们定义多项式 **f(x) = a₀ + a₁x + ... + aₙxⁿ ∈ K[x]** 如何“作用”在向量 **v ∈ V** 上：
    `f(x) · v = f(T)(v) = a₀v + a₁T(v) + a₂T²(v) + ... + aₙTⁿ(v)`

在这个定义下，向量空间 V 就成为了一个 **K[x]-模**。这意味着，V 不仅支持 K 中元素的标量乘法，还支持整个多项式环 K[x] 的“标量”乘法，而乘法规则由线性变换 T 决定。

**这个简单的升级是革命性的**：现在，所有关于线性变换 T 的问题，都可以转化为关于这个 K[x]-模 V 的结构问题。

---

### 2. 核心应用：零化理想与极小多项式

在 K[x]-模 V 中，我们很自然地会问：哪些多项式 f(x) 会“归零”，即作用在任何向量上都得到零向量？

*   **零化理想**：考虑集合 `Ann(V) = { f(x) ∈ K[x] | f(T) = 0 }`。
    *   可以证明，这是一个 **K[x] 的理想**。
    *   根据凯莱-哈密顿定理，特征多项式 χ_T(x) 就在这个理想中，所以 Ann(V) 不是零理想。

*   **极小多项式**：由于 K[x] 是主理想整环，这个零化理想是由一个特殊的首一多项式生成的：
    `Ann(V) = (m_T(x))`
    这个生成元 **m_T(x)** 就是线性变换 T 的**极小多项式**。

**极小多项式 m_T(x) 的重要性**：
*   它是零化 T 的**次数最低**的首一多项式。
*   它的根恰好是 T 的**所有特征值**（尽管重数可能与特征多项式不同）。
*   它决定了 T 是否可对角化：**T 可对角化当且仅当 m_T(x) 在 K 上可分解为不同一次因式的乘积**。

---

### 3. 核心应用：模的分解与有理标准型

既然 V 是一个 K[x]-模，而 K[x] 是主理想整环，我们可以应用**主理想整环上有限生成模的结构定理**。这个定理告诉我们，V 可以分解为一系列**循环子模**的直和：

`V ≅ K[x] / (d₁(x)) ⊕ K[x] / (d₂(x)) ⊕ ... ⊕ K[x] / (d_k(x))`

其中，`d₁(x) | d₂(x) | ... | d_k(x)`，并且 `d_k(x)` 就是极小多项式 `m_T(x)`。

**这个抽象的分解具体意味着什么？**

*   **循环子模**：每个直和分量 `K[x] / (d_i(x))` 对应 V 的一个 T-**循环子空间**。这个子空间由某个向量 v 及其在 T 下的迭代 `v, T(v), T²(v), ...` 张成。
*   **不变因子**：这些多项式 `d₁(x), ..., d_k(x)` 被称为 T 的**不变因子**。
*   **有理标准型**：如果我们为每个循环子空间选择一个特定的基（例如，`v, T(v), ..., T^{m-1}(v)`，其中 m = deg(d_i(x)))，那么在整个 V 的这个基下，线性变换 T 的矩阵表示是一个**分块对角矩阵**，每个块都是一个**友矩阵**，其对应的多项式就是不变因子 `d_i(x)`。

**这个分块对角矩阵就是 T 的 有理标准型（Frobenius标准型）**。它是线性变换 T 在相似关系下的一个不变量，不依赖于基的选取，并且在任何域 K 上都存在（不像若尔当标准型要求 K 是代数闭域）。

---

### 4. 核心应用：初等因子与若尔当标准型

如果域 K 是**代数闭域**（例如复数域 ℂ），那么所有多项式都可以分解成一次因式的乘积。我们可以将上述的不变因子进一步分解。

*   将每个不变因子 `d_i(x)` 在 K 上分解为 `(x - λ₁)^(e₁) · (x - λ₂)^(e₂) · ...`。
*   这些幂次因子 `(x - λ)^e` 被称为 **初等因子**。

根据模的结构定理，V 的分解现在可以写成关于所有初等因子的直和：

`V ≅ ⨁ K[x] / ((x - λ_j)^(e_ij))`

**这个分解又意味着什么？**

每个直和分量 `K[x] / ((x - λ)^e)` 也是一个循环子模。如果我们为它选择基，线性变换 T 在这个子空间上的限制的矩阵，恰好就是一个特征值为 λ、大小为 e×e 的**若尔当块**。

`J(λ， e) = [ [λ， 1, 0, ..., 0],
              [0, λ， 1, ..., 0],
              ...
              [0, 0, 0, ..., λ] ]`

将所有这样的若尔当块放在一起，就得到了我们熟悉的 **若尔当标准型**。

---

### 总结：K[x] 的应用全景图

**结论**：
**K[x] 在线性代数中扮演了一个“翻译官”和“武器库”的角色。** 它将一个具体的、矩阵层面的问题（研究线性变换），提升为一个抽象的、结构层面的问题（研究模）。通过这个提升，我们可以运用环论和模论中成熟而强大的工具（如理想、商模、结构定理），系统地推导出线性变换最深刻的结构性质——**极小多项式、有理标准型和若尔当标准型**。这无疑是线性代数理论皇冠上的明珠。

科数题库(单机版) 会议室预约系统(book)

今日还可看 0 篇未注册用户每天查看4篇，注册用户每天8篇，开通VIP会员无限制查看。

免费注册

《高等数学》难点解析

高数教程 泰勒公式切线与法线切平面与法平面驻点·拐点·极值点·零点间断点渐进线瑕积分欧拉方程伯努利方程 Abel 收敛定理偏导数的几何意义偏导数的几何意义梯度数量场与向量场多元函数极值拉格朗日算子通量与散度环流量与旋度格林公式高斯公式斯托克斯公式三大公式比较傅里叶级数极坐标微元点法式方程变上限定积分 X型计算面积 Y型计算面积微分的意义渐近线间断点 y''+py'+qy=f(x)方程高斯黎曼傅里叶变换(复数) 拉普拉斯变换(复数)

《线性代数》难点解析

线代教程 近世代数对数学的整体思考线性的意义矩阵乘法(列视角) 矩阵乘法(行视角) 矩阵左乘矩阵右乘逆矩阵求解方程组阶梯形矩阵的求法方程组解的判定四阶行列式的计算线性变换的意义线性空间向量组的等价线性空间的几何意义基础解系的求法施密特正交化特征值与特征向量的意义矩阵相似的几何意义矩阵可对角化的理解秩的意义(向量版) 秩的意义(方程版) 二次型的意义

《概率论与数理统计》难点解析

概率教程 置信区间与上a分位数概率中的“取”与“放” 贝叶斯公式全概率公式泊松分布指数分布伽玛分布二维密度图的意义卷积的意义相关系数的意义 k阶矩是与矩母函数卡方分布的作用单正态区间估计理解假设检验理解切比雪夫不等式中心极限定理

上一篇： K[x] 内的理想

下一篇：因式分解唯一定理

本文对您是否有用？有用 (0) 无用 (0)