Skip to main content

高等代数

高等代数以多项式、矩阵和线性空间为三大支柱。从多项式理论和二次型出发，逐步深入到线性变换的不变子空间、Jordan 标准形和 λ-矩阵理论，最终在欧氏空间中融合几何直觉与代数结构。

章节导航​

一、多项式​

数域、带余除法、辗转相除法求最大公因式、因式分解唯一性定理、重因式判定，以及复/实/有理系数多项式的特殊性质（代数基本定理、Eisenstein 判别法）。

二、二次型​

二次齐次多项式与对称矩阵的一一对应。配方法和正交变换法化标准形，惯性定理（正负惯性指数唯一），正定性判定（顺序主子式、特征值）。

三、线性变换​

线性变换的结构理论：不变子空间与空间分解（准素分解）、Jordan 标准形（复矩阵相似最简形）以及最小多项式（次数最低的零化多项式）。

四、λ-矩阵​

以多项式为元素的矩阵，初等变换下的 Smith 标准形引出不变因子和初等因子。初等因子唯一决定数字矩阵的 Jordan 标准形——全程理论推导链。

五、欧几里得空间​

内积空间中的几何。标准正交基（施密特正交化）、正交变换与实对称矩阵的正交对角化，以及向量到子空间的最短距离（正交投影）与最小二乘法。

六、双线性函数​

内积的推广。线性函数与对偶空间、对称与反对称双线性函数，以及非退化反对称双线性函数引导出的辛空间概念。

重点模块深度解析​

不变因子 → 初等因子 → Jordan 标准形​

这是七八两章的核心逻辑链：

  1. λ-矩阵 → 初等变换 → Smith 标准形（对角形）
  2. 不变因子 di(λ)d_i(\lambda)：标准形对角元，有整除关系 d1∣d2∣⋯∣drd_1 \mid d_2 \mid \cdots \mid d_r
  3. 初等因子：每个 did_i 在复数域分解为 (λ−λj)eij(\lambda - \lambda_j)^{e_{ij}}，得到初等因子组
  4. Jordan 标准形：每个初等因子 (λ−λ0)k(\lambda - \lambda_0)^k 对应一个 kk 阶 Jordan 块

Jk(λ0)=(λ01λ0⋱⋱1λ0)k×kJ_k(\lambda_0) = \left(\begin{array}{cccc} \lambda_0 & 1 & & \\ & \lambda_0 & \ddots & \\ & & \ddots & 1 \\ & & & \lambda_0 \end{array}\right)_{k \times k}

初等因子组完全相同是矩阵相似的充要条件。

向量到子空间的距离​

几何意义：α\alpha 到子空间 WW 的最短距离 =∥α−β∥= \|\alpha - \beta\|，β\beta 是 α\alpha 在 WW 上的正交投影。

若有标准正交基 ε1,…,εm\varepsilon_1, \ldots, \varepsilon_m：

β=∑i=1m(α,εi)εi,d=∥α−β∥\beta = \sum_{i=1}^{m} (\alpha, \varepsilon_i)\varepsilon_i, \quad d = \|\alpha - \beta\|

应用：解不相容方程组 Ax=bAx = b 的最小二乘解，等价于 bb 在 AA 列空间上的正交投影，正规方程为 A⊤Ax=A⊤bA^\top A x = A^\top b。