合作方知识内容精选

高等代数知识速查

只保留长期有效的知识内容:25 个核心知识点、10 张题型速通卡、7 张证明方法卡和 5 道精选综合例题。

第五章至第九章

核心知识卡

按教材主线组织,展开即可查看理解、结论、误区和知识联系。

第五章 · 二次型

二次型及其矩阵表示展开知识卡

一句话理解

二次型不是把每个交叉项孤立地计算,而是把全部系数组织成一个对称矩阵。这样,变量列向量 \(X\) 的代入、换元和正定性判断都可以转化为矩阵运算。注意交叉项 \(2a_{ij}x_ix_j\) 在矩阵中由对称位置 \(a_{ij}=a_{ji}\) 共同贡献。

核心定义与结论

二次型的矩阵表示

条件:设 \(f(x_1,\ldots,x_n)=\sum_{i,j=1}^n a_{ij}x_ix_j\),且 \(a_{ij}=a_{ji}\)。令 \(X=(x_1,\ldots,x_n)^T\)。

结论:有 \(f=X^TAX\),其中 \(A=(a_{ij})\) 是实对称矩阵。

检查:展开 \(X^TAX\),检查 \(x_i^2\) 的系数为 \(a_{ii}\),\(x_ix_j(i<j)\) 的系数为 \(2a_{ij}\)。

合同变换公式

条件:对变量作非退化线性替换 \(X=CY\),\(det C\ne0\)。

结论:\(f=X^TAX=Y^T(C^TAC)Y\),因此新二次型的矩阵为 \(B=C^TAC\)。

检查:顺序是先左乘 \(C^T\)、再右乘 \(C\);合同变换保持对称性。

关键问题

  • 怎样从二次型读出对称矩阵 \(A\)?
  • 为什么矩阵必须取对称形式?
  • 换元 \(X=CY\) 后矩阵为什么变成 \(C^TAC\)?

适用边界与常见误区

  • 二次型的矩阵表示要求 \(A=A^T\);同一个二次型的非对称表示可先取对称部分。
  • 二次型换元得到的是合同变换,不是相似变换。
  • \(C\) 必须可逆,才仍然是变量的非退化线性替换。
标准形展开知识卡

一句话理解

标准形的目标是把变量之间的耦合逐步消掉,最后只留下平方项。教材中的配方法和合同初等变换,本质上都是在寻找一个可逆的变量替换,使二次型的矩阵变成对角矩阵。

核心定义与结论

二次型标准形定理

条件:\(f\) 是数域 \(P\) 上 n 元二次型。

结论:存在非退化线性替换 \(X=CY\),使 \(f\) 化为 \(d_1y_1^2+\cdots+d_ry_r^2\),其中 \(d_i\ne0\),其余变量系数为 0。

检查:把替换写成可逆矩阵 \(C\),并验证 \(B=C^TAC\) 为对角矩阵。

实二次型规范形

条件:\(f\) 是实数域上的二次型,标准形中非零系数为 \(d_1,\ldots,d_r\)。

结论:再作非退化缩放,可化为 \(y_1^2+\cdots+y_p^2\)-\(y_{p+1}^2\)-\(\cdots\)-\(y_{p+q}^2\),其中 \(p+q=r\)。

检查:先区分正、负、零系数,再分别作平方根缩放。

关键问题

  • 当前是否存在一个非零平方项可以先配方?
  • 每次变量替换是否仍然可逆?
  • 得到对角形后,哪些系数决定符号结构?

适用边界与常见误区

  • 标准形允许系数为任意数;规范形还要继续把非零系数化为 1 或 -1。
  • 标准形的具体系数和变量会改变,但惯性指数不会改变。
  • 配方法中的每一步都要记录变量替换,不能只写最后结果。
唯一性展开知识卡

一句话理解

“唯一性”讨论的不是标准形中每个系数或变量名称都相同,而是继续归一化后,规范形的结构由哪些数决定。复数域只看秩;实数域还要记录正、负惯性指数。

核心定义与结论

复数域二次型规范形定理

条件:\(f\) 是复数域上的 n 元二次型,秩为 r。

结论:存在非退化复线性替换,使 \(f\) 化为 \(y_1^2+\cdots+y_r^2\);其规范形只由秩 r 唯一确定。

检查:复数域中每个非零系数都可用平方根归一为 1,最后数非零平方项的个数。

实数域二次型规范形定理

条件:\(f\) 是实数域上的 n 元二次型,秩为 r,正惯性指数为 p。

结论:存在非退化实线性替换,使 \(f\) 化为 \(y_1^2+\cdots+y_p^2\)-\(y_{p+1}^2\)-\(\cdots\)-\(y_r^2\);规范形由秩 r 和正惯性指数 p 唯一确定。

检查:先由标准形统计正、负、零系数,再分别用实平方根归一;负平方项的个数为 r-p。

备注

条件:同一个二次型可能通过不同的非退化替换得到不同标准形。

结论:复二次型的规范形由秩唯一确定;实二次型的规范形由秩和正惯性指数确定。

检查:不要把“标准形系数可能不同”误读为“规范形结构可以改变”。

合同不变量

条件:\(B=C^TAC\),且 \(C\) 可逆。

结论:\(A\) 与 \(B\) 的秩、正惯性指数和负惯性指数分别相同。

检查:合同变换保持二次型的符号结构;不要把相似变换的不变量直接套到合同变换上。

关键问题

  • 复二次型的规范形由什么决定?
  • 实二次型还需要记录哪一个惯性指数?
  • 标准形与规范形为什么不能混为一谈?

适用边界与常见误区

  • 标准形允许非零系数保留为任意数,因此具体系数一般不唯一。
  • 规范形是在标准形基础上把非零系数归一为 1 或 -1。
  • 实数域的结论依赖非退化实线性替换;复数域与实数域的归一化结论不同。
正定二次型展开知识卡

一句话理解

正定的意思是除了零向量以外,二次型在所有方向上都给出正值。标准形路径看符号,矩阵路径看主子式;两条路径判断的是同一件事,但适用的计算场景不同。

核心定义与结论

正定二次型的定义

条件:\(f(X)=X^TAX\) 为实二次型。

结论:若对任意非零实列向量 \(X\) 都有 \(f(X)>0\),则称 \(f\) 正定。

检查:必须排除 \(X=0\);对称矩阵表示可作为后续判据的入口。

惯性指数判据

条件:\(f\) 的规范形为 \(y_1^2+\cdots+y_p^2\)-\(y_{p+1}^2\)-\(\cdots\)-\(y_{p+q}^2\)。

结论:\(f\) 正定当且仅当 \(p=n\),即所有方向都是正平方项。

检查:只要存在一个负项或零项,就能构造非零向量使 \(f\le0\)。

顺序主子式判据

条件:\(A=A^T\) 为 n 阶实对称矩阵,\(\Delta_k\) 是 \(A\) 的前 k 阶顺序主子式。

结论:\(A\) 正定当且仅当 \(\Delta_1>0,\ldots,\Delta_n>0\)。

检查:先确认对称性,再依次计算左上角 1 阶到 n 阶主子式。

关键问题

  • 是否对每个非零 \(X\) 都有 \(X^TAX>0\)?
  • 标准形中是否全部为正平方项?
  • 实对称矩阵的顺序主子式是否全为正?

适用边界与常见误区

  • 正定二次型必须是实二次型,且讨论的是 \(X\ne0\)。
  • 只看主对角线元素为正并不足以推出正定。
  • 顺序主子式判据要求 \(A\) 为实对称矩阵。

第六章 · 线性空间

线性空间与子空间展开知识卡

一句话理解

子空间判定的核心是:集合必须继承大空间的运算,并且运算后不能跑出这个集合。实际证明时,通常把零向量、加法封闭和数乘封闭合并成一个线性组合条件。

核心定义与结论

子空间的判定定理(书本定理2)

条件:\(W\) 是线性空间 \(V\) 的非空子集。

结论:\(W\) 是 \(V\) 的子空间,当且仅当对任意 \(u,v\in W\) 和任意数域中的 \(\alpha,\beta\),都有 \(\alpha u+\beta v\in W\)。

检查:等价的操作清单是:1. 集合非空;2. 对大空间定义的加法和数乘运算封闭。

关键问题

  • 集合是否非空?
  • 加法和数乘是否使用大空间中的原运算?
  • 任意线性组合是否仍留在集合内?

适用边界与常见误区

  • 非空只是必要条件,不单独足以说明是子空间。
  • 必须使用大空间已经定义的加法和数乘。
  • 子空间判定不需要重新验证大空间的全部线性空间公理。
维数与基展开知识卡

一句话理解

维数与基把“有多少个独立方向”变成可计算的问题。先把空间写成生成子空间,再从生成向量中筛出极大无关组,剩下的向量只是冗余描述。

核心定义与结论

维数与基定理(书本定理1)

条件:\(W=L(\alpha_1,\alpha_2,\ldots,\alpha_s)\) 是有限维线性空间。

结论:从 \(\alpha_1,\alpha_2,\ldots,\alpha_s\) 中取出一个极大无关组,它就是 \(W\) 的一组基;该极大无关组所含向量的个数就是 dim W。

检查:计算方法:1. 写成生成子空间 \(W=L(\alpha_1,\ldots,\alpha_s)\);2. 求生成向量组的极大无关组。

关键问题

  • 怎样把 \(W\) 写成生成子空间?
  • 怎样从生成组中筛出极大无关组?
  • 极大无关组为什么同时给出基和维数?

适用边界与常见误区

  • 生成组可能含有冗余向量,不能直接把向量个数当维数。
  • 极大无关组的向量必须仍属于原空间。
  • 维数是基中向量的个数,秩是求极大无关组时的数量。
基与坐标、换基与相似矩阵展开知识卡

一句话理解

坐标是向量相对于一组基的唯一系数列。先确认基的排列顺序,再把向量表示成基向量的线性组合,所得系数按同一顺序组成坐标列。

核心定义与结论

基与坐标定理

条件:\(B=(e_1,\ldots,e_n)\) 是 \(V\) 的一组基,\(x\in V\)。

结论:存在唯一的数列 \(x_1,\ldots,x_n\),使 \(x=x_1e_1+\cdots+x_ne_n\);列向量 \((x_1,\ldots,x_n)^T\) 就是 x 在基 \(B\) 下的坐标。

检查:把求得的坐标重新代入线性组合,应恰好还原 x;唯一性来自基的线性无关性。

关键问题

  • 给定向量组是否确实是一组基?
  • 坐标分量的顺序与基的顺序是否一致?
  • 如何用线性组合回代坐标?

适用边界与常见误区

  • 坐标依赖所选基,向量本身不依赖基。
  • 坐标列中的第 j 个分量对应第 j 个基向量。
  • 换基矩阵属于后续专题工具,这里重点是基与坐标的定义和计算。
子空间的交与和展开知识卡

一句话理解

交集保留的是两个子空间共同拥有的向量,和空间收集的是来自两边的所有线性组合。维数公式的减项正是在扣除交集被重复计算的部分。

核心定义与结论

维数公式

条件:\(U\)、\(W\) 是有限维线性空间 \(V\) 的子空间。

结论:\(dim(U+W)=dim U+dim W\)-\(dim(U\cap W)\)。

检查:先求交空间的一组基,再把交空间基分别扩充到 \(U\)、\(W\) 的基,最后数出和空间的基。

关键问题

  • \(U\cap W\) 中的向量同时满足什么条件?
  • U+W 的一般向量如何写?
  • 维数公式中为什么要减去 \(dim(U\cap W)\)?

适用边界与常见误区

  • U+W 不是把两个集合简单拼接,而是 \({u+w}\) 的全体。
  • 交集和与直和是不同概念,交集为零还不代表覆盖 \(V\)。
  • 求交集常把两个子空间的参数表示联立。
子空间的直和展开知识卡

一句话理解

直和强调两件事同时成立:每个向量都能拆成两部分,而且拆法唯一。覆盖性解决‘能不能拆’,零交集解决‘会不会有两种拆法’。

核心定义与结论

直和判定定理(书本定理10)

条件:\(U\)、\(W\) 是 \(V\) 的子空间。

结论:\(V=U\oplus W\),当且仅当 \(V=U+W\) 且 \(U\cap W=\{0\}\)。

检查:覆盖性保证分解存在,交集为零保证分解唯一。

直和基定理(书本定理11)

条件:\(V=U\oplus W\),\(B_U\)、\(B_W\) 分别是 \(U\)、\(W\) 的基。

结论:把 \(B_U\) 与 \(B_W\) 中的向量按任意顺序拼接,所得向量组是 \(V\) 的一组基。

检查:分别利用直和分解的存在性和唯一性证明生成性与线性无关性。

关键问题

  • U+W 是否覆盖目标空间?
  • \(U\cap W\) 是否只有零向量?
  • 一个向量的分解如何验证唯一?

适用边界与常见误区

  • \(dim U+dim W=dim V\) 只有在 \(U+W\subseteqV\) 的背景下才有意义,仍需结合交集判断。
  • 正交不等于直和的定义,但正交子空间常能直接推出交集为零。
  • 直和中的分解是按子空间唯一的,不是按坐标形式唯一。
线性空间的同构展开知识卡

一句话理解

有限维线性空间的线性结构由维数刻画。同一数域上维数相同的两个空间可以把一组基逐一对应,从而得到线性同构。

核心定义与结论

有限维线性空间同构定理

条件:\(V\)、\(W\) 是同一数域上的有限维线性空间。

结论:\(V\cong W\) 当且仅当 \(dim V=dim W\)。

检查:同维时取 \(V\)、\(W\) 的基并建立一一对应,按对应基向量线性延拓即可。

关键问题

  • 两个空间是否在同一数域上?
  • 它们的维数是否相同?
  • 如何从两组基的对应直接得到同构?

适用边界与常见误区

  • 同构要求线性、单射和满射同时成立。
  • 这里使用有限维结论,不能直接推广到任意无限维空间。
  • 空间的元素可以是多项式、列向量或其他对象,形式不同不妨碍同构。

第七章 · 线性变换

线性变换的定义展开知识卡

一句话理解

线性变换是尊重线性组合的映射:先组合再变换,和先分别变换再组合,结果相同。因此只要知道一组基向量的像,整个变换就被完全确定。

核心定义与结论

线性变换定义

条件:\(T\):\(V\to W\) 满足 \(T(\alpha+\beta)=T(\alpha)+T(\beta)\),\(T(k\alpha)=kT(\alpha)\)。

结论:\(T\) 是线性变换,并自动满足 \(T(0)=0\)、T(-\(\alpha)=\)-\(T(\alpha)\) 以及保持任意有限线性组合。

检查:对题目给出的映射先代入零向量和一般线性组合;含常数平移时先检查 T(0)。

由基向量像确定变换

条件:\(B=(e_1,\ldots,e_n)\) 是 \(V\) 的一组基,给定 \(w_1,\ldots,w_n\in W\)。

结论:存在唯一线性变换 \(T\),使 \(T(e_i)=w_i\);且 \(T(\sum x_ie_i)=\sum x_iw_i\)。

检查:任意向量先按基展开,再利用线性性计算其像。

关键问题

  • 是否保持加法和数乘?
  • 零向量的像是什么?
  • 基向量的像是否能唯一确定任意向量的像?

适用边界与常见误区

  • 含常数平移的映射通常不线性,因为 \(T(0)\ne0\)。
  • 线性变换的定义域和值域必须说明数域。
  • 知道有限个点的像不一定能确定变换,除非这些点构成基。
线性变换与矩阵展开知识卡

一句话理解

线性变换的加法、数乘和复合可以逐一搬到矩阵上。复合要按动作顺序阅读:\(T\circ S\) 是先 S 后 \(T\),所以矩阵乘积中 \(A\) 写在 \(B\) 的左侧。

核心定义与结论

线性变换的运算

条件:S、\(T\) 是同一空间 \(V\) 上的线性变换,a,b 为标量。

结论:aS+bT 与 \(T\circ S\) 都是线性变换;在同一组基下,矩阵分别对应 aA+bB 与 AB。

检查:复合时先确认空间方向,再按“先右后左”检查矩阵乘法顺序。

可逆变换的逆

条件:\(T\):\(V\to V\) 可逆。

结论:\(T^{\)-\(1}\) 也是线性变换,且 \(T^{\)-\(1}T=TT^{\)-\(1}=I\)。

检查:把 \(T^{\)-\(1}\) 的定义代回加法和数乘即可验证线性。

复合不满足交换律

条件:\(T\)、S 是同一空间上的线性变换。

结论:一般有 \(T\circ S\ne S\circ T\);对应矩阵一般有 \(AB\ne BA\)。

检查:必须分别算出 AB 和 BA 后再比较,不能凭符号顺序猜测。

关键问题

  • 变换相加和数乘对应哪些矩阵运算?
  • \(T\circ S\) 与 \(S\circ T\) 的顺序有什么不同?
  • 为什么复合一般不满足交换律?

适用边界与常见误区

  • \(T\circ S\) 的含义是先 S 后 \(T\)。
  • 矩阵乘法可定义不等于矩阵乘法可交换。
  • 同一组基下,变换运算与矩阵运算才可直接逐项对应。
特征值与特征向量展开知识卡

一句话理解

特征向量是在线性变换下方向不变的向量,特征值是沿该方向的伸缩倍数。先求特征多项式找允许的伸缩倍数,再解齐次方程找对应方向。

核心定义与结论

特征值判定

条件:\(A x=\lambda x\) 存在非零解 x。

结论:(A-\(\lambda I)x=0\) 有非零解,当且仅当 \(det(A\)-\(\lambda I)=0\);其根是特征值。

检查:特征值求出后必须回到齐次方程求特征向量。

特征空间

条件:\(\lambda\) 是 \(A\) 的特征值。

结论:\(V_\lambda=\{x|(A\)-\(\lambda I)x=0\}\) 是子空间,且其中非零向量正好是属于 \(\lambda\) 的特征向量。

检查:特征空间包含零向量,特征向量集合本身通常不包含零向量。

不同特征值的特征向量

条件:\(\lambda_1,\ldots,\lambda_k\) 两两不同,\(x_i\) 是对应非零特征向量。

结论:\(x_1,\ldots,x_k\) 线性无关。

检查:这是判断可对角化和构造特征基的基础。

关键问题

  • 特征方程应写成 \(det(\lambda I\)-\(A)=0\) 还是 \(det(A\)-\(\lambda I)=0\)?
  • 每个特征值对应的齐次方程怎样化简?
  • 代数重数和几何重数分别从哪里来?

适用边界与常见误区

  • 特征向量必须非零,零向量不能作为特征向量。
  • 特征值可重复,但对应特征空间的维数必须另行计算。
  • 不同特征值的特征向量线性无关,不同特征向量不一定对应不同特征值。
对角化展开知识卡

一句话理解

对角化是在寻找一组最合适的基,使变换对每个基向量只做单独伸缩。这样的基必须由足够多的线性无关特征向量组成,\(P\) 的列就是这些特征向量。

核心定义与结论

对角化判定定理

条件:\(A\) 是 n 阶矩阵。

结论:\(A\) 可对角化当且仅当 \(A\) 有 n 个线性无关的特征向量;等价地,各特征空间维数之和为 n。

检查:对每个不同特征值求 \(dim V_\lambda\),再求和。

相似对角化公式

条件:\(P=(x_1,\ldots,x_n)\) 可逆,且 \(Ax_j=\lambda_jx_j\)。

结论:\(P^{\)-\(1}AP=D=diag(\lambda_1,\ldots,\lambda_n)\)。

检查:按列验证 \(AP=PD\),比直接求 \(P^{\)-\(1}\) 更稳妥。

互异特征值充分条件

条件:\(A\) 是 n 阶矩阵并有 n 个两两不同的特征值。

结论:\(A\) 必可对角化。

检查:由不同特征值的特征向量线性无关直接得到。

关键问题

  • 各特征空间维数之和是否达到 n?
  • \(P\) 的列与 \(D\) 的对角元是否一一对应?
  • 重复特征值时是否真的找够了特征向量?

适用边界与常见误区

  • 有 n 个特征值不等于一定有 n 个线性无关特征向量。
  • 互异特征值是充分条件,不是必要条件。
  • \(P\) 必须可逆,且第 j 列的特征值要放在 \(D\) 的第 j 个对角位置。
值域与核展开知识卡

一句话理解

核描述被变换压到零的方向,值域描述变换真正能到达的方向。它们分别回答‘哪些信息丢失了’和‘输出落在哪’,秩-零化度定理把二者与定义域维数连起来。

核心定义与结论

核与值域是子空间

条件:\(T\):\(V\to W\) 是线性变换。

结论:\(ker T=\{v|T(v)=0\}\) 是 \(V\) 的子空间,\(Im T=\{T(v)|v\in V\}\) 是 \(W\) 的子空间。

检查:用线性性验证零元、加法和数乘封闭。

秩-零化度定理

条件:\(T\):\(V\to W\),\(V\) 有限维。

结论:\(dim V=dim ker T+dim Im T\)。

检查:取 \(ker T\) 的基并扩充为 \(V\) 的基,后半部分的像构成 Im T 的基。

可逆性等价条件

条件:\(T\):\(V\to V\),\(V\) 有限维。

结论:\(T\) 可逆、\(ker T={0}\)、\(Im T=V\)、\(T\) 将一组基映成一组基彼此等价。

检查:有限维且定义域和值域相同是使用这组等价条件的前提。

关键问题

  • 核和像分别属于哪个空间?
  • 如何用齐次方程求核?
  • 秩和零化度之和是否等于定义域维数?

适用边界与常见误区

  • \(ker T\) 是定义域的子空间,Im T 是值域的子空间。
  • \(T\) 可逆需要定义域和值域相同且核为零。
  • 满射不等于矩阵行列式非零,必须结合空间维数和方阵条件。
不变子空间与直和展开知识卡

一句话理解

不变子空间是变换作用后仍留在原子空间中的‘封闭区域’。如果整个空间能拆成若干不变子空间的直和,变换就能分块研究;特征空间是最重要的例子。

核心定义与结论

不变子空间判定

条件:\(W\) 是 \(V\) 的子空间,\(T\):\(V\to V\)。

结论:\(W\) 对 \(T\) 不变当且仅当对任意 \(w\in W\) 有 \(T(w)\in W\),即 \(T(W)\subseteq W\);检查 \(W\) 的一组基即可。

检查:只检查一个向量或只检查 \(W\) 中的部分向量不够。

特征空间是不变子空间

条件:\(V_\lambda=\{v|T(v)=\lambda v\}\)。

结论:\(V_\lambda\) 对 \(T\) 不变,因为 \(T(v)=\lambda v\) 仍属于 \(V_\lambda\)。

检查:这里的零向量也在特征空间中。

不变子空间直和的分块表示

条件:\(V=V_1\oplus\cdots\oplus V_s\),且每个 \(V_i\) 对 \(T\) 不变。

结论:在拼接各子空间基后,\(T\) 的矩阵为分块对角矩阵。

检查:分别求 \(T\) 在每个 \(V_i\) 上的限制矩阵,再按块放置。

关键问题

  • 子空间中任意向量的像是否仍在该子空间?
  • 特征空间为什么自动是不变子空间?
  • 直和分解后矩阵为什么出现分块对角形?

适用边界与常见误区

  • 子空间必须先满足线性空间条件,再检查 \(T(W)\subseteqW\)。
  • 特征子空间是不变子空间,但一般不变子空间不一定由特征向量生成。
  • 分块对角形需要每个分块对应的子空间都不变。

第八章 · λ-矩阵与标准形

λ-矩阵展开知识卡

一句话理解

λ-矩阵把数矩阵提升为多项式矩阵,用来研究矩阵或线性变换的结构。它的行列式和初等变换把‘解方程’推广为‘分析一个矩阵的整体标准形’。

核心定义与结论

λ-矩阵可逆判定

条件:\(M(\lambda)\) 是数域 \(P\) 上的 n 阶 λ-矩阵。

结论:\(M(\lambda)\) 在 \(P[\lambda]\) 上可逆,当且仅当 \(det M(\lambda)\) 是非零常数。

检查:先计算行列式;得到非零高次多项式时,直接判定它在 \(P[\lambda]\) 中不可逆。

关键问题

  • 元素属于哪个多项式环?
  • λ-矩阵何时可逆?
  • 初等变换会改变哪些量、保留哪些量?

适用边界与常见误区

  • λ 是不定元,不是先代入的某个特征值。
  • 可逆性在多项式环中要求行列式是非零常数,而不是只要求不为零多项式。
  • 行、列初等变换要区分作用对象和对应的等价关系。
史密斯标准形展开知识卡

一句话理解

λ-矩阵的初等变换是多项式版的高斯消元。通过交换、乘非零常数和加多项式倍数,可以把复杂矩阵逐步化成对角标准形。

核心定义与结论

史密斯标准形

条件:\(A(\lambda)\) 是 \(P[\lambda]\) 上的矩阵。

结论:存在可逆多项式矩阵 \(U(\lambda)\)、\(V(\lambda)\),使 \(U(\lambda)A(\lambda)V(\lambda)=diag(d_1(\lambda),\ldots,d_r(\lambda),0,\ldots,0)\),其中 \(d_i(\lambda)\) 是首项系数为 1 的多项式,且 \(d_1(\lambda)\mid\cdots\mid d_r(\lambda)\)。

检查:求法是最大公因式法:先求所有 \(a_{ij}(\lambda)\) 的最大公因式 \(d_1(\lambda)\),用初等变换把它调到 (1,1) 位置,再用 \(d_1(\lambda)\) 的多项式倍清零第一行和第一列;对剩余子矩阵重复。

关键问题

  • 当前应该用行变换还是列变换?
  • 主元多项式是否整除后面的对角元?
  • 每一步变换是否可逆?

适用边界与常见误区

  • 在 P[λ] 中不能随意除以非单位多项式。
  • 初等变换必须使用允许的单位操作,不能把多项式当普通非零数直接约掉。
  • 标准形中的零块反映秩亏,不是计算遗漏。
不变因子展开知识卡

一句话理解

不变因子是 λ-矩阵标准形里最稳定的一串多项式,它们按整除链排列,完整记录了矩阵在相抵意义下的结构。

核心定义与结论

不变因子的整除链

条件:A(λ) 的 Smith 标准形非零对角元为 \(d_1(λ),\ldots,d_r(λ)\)。

结论:\(d_1|d_2|\cdots|d_r\),且每个 \(d_i\) 取首一形式;这列多项式由相抵类唯一确定。

检查:若 \(d_i\) 不整除 \(d_{i+1}\),说明还没有得到标准形。

行列式因子关系

条件:\(\Delta_k(\lambda)\) 是矩阵 \(\lambda E\)-\(A\) 的所有 k 阶子式的首一最大公因式,\(\Delta_0(\lambda)=1\)。

结论:\(d_k(\lambda)=\Delta_k(\lambda)/\Delta_{k\)-\(1}(\lambda)\),并且非零不变因子的乘积等于最大非零子式的最大公因式。

检查:先列出 \(\lambda E\)-\(A\) 的各阶子式,求首一最大公因式,再按相邻商得到不变因子。

关键问题

  • 不变因子是否按整除链排列?
  • 各不变因子的乘积与行列式有什么关系?
  • 如何从标准形读出秩和特征多项式?

适用边界与常见误区

  • 不变因子依赖 λ-矩阵的相抵类,不能只看原矩阵某一个元素。
  • 零不变因子不计入非零整除链。
  • 不变因子相同讨论的是相抵等价;联系到数矩阵相似时要使用 λI-\(A\)。
初等因子展开知识卡

一句话理解

不变因子把结构按整除链排列,初等因子则把它们进一步拆成不可约多项式的幂。对复数域来说,不可约因子就是 λ-\(λ_i\),于是它们直接指向 Jordan 块大小。

核心定义与结论

初等因子分解

条件:不变因子 \(d_i(λ)\) 在 P[λ] 中分解为首一不可约因子幂。

结论:把每个 \(d_i\) 的不可约因子幂逐项列出,得到全部初等因子;初等因子的乘积等于特征多项式。

检查:同一不可约因子不同幂次要分别保留。

初等因子与结构

条件:\(A\)、\(B\) 的 λ-矩阵具有相同的初等因子。

结论:\(A\)、\(B\) 具有相同的有理相似结构;在复数域上,初等因子 (λ-\(λ_i)^k\) 对应 k 阶 Jordan 块。

检查:块的阶数是幂指数 k,不是特征值的个数。

关键问题

  • 不变因子如何分解为互素不可约因子的幂?
  • 同一个一次因子的不同幂次分别表示什么?
  • 初等因子和不变因子的乘积关系是什么?

适用边界与常见误区

  • 初等因子是一次因子幂或不可约多项式幂,不是任意因式。
  • 同一不可约因子的幂次要分别列出,不能先合并。
  • Jordan 标准形需要在特征多项式完全分裂的数域上讨论。
Jordan 标准形展开知识卡

一句话理解

Jordan 标准形是在特征向量不够时仍尽量把矩阵化简。每个 Jordan 块沿对角线放特征值,紧邻上方的 1 记录广义特征向量之间的串联关系;块长越大,越不能对角化。

核心定义与结论

Jordan 块定义

条件:\(\lambda\) 为特征值,k 为正整数。

结论:\(J_k(\lambda)\) 的主对角线为 \(\lambda\),紧邻上方为 1,其余元素为 0。

检查:确认 1 的位置和块的阶数,避免与对角矩阵混淆。

Jordan 标准形定理

条件:\(A\) 的特征多项式在数域中完全分裂。

结论:存在可逆 \(P\),使 \(P^{\)-\(1}AP\) 为若干 Jordan 块的分块对角矩阵,且除块排列外唯一。

检查:块的阶数总和等于 \(A\) 的阶数,所有块对角线特征值的重数与特征多项式一致。

对角化与 Jordan 块

条件:\(A\) 已写成 Jordan 标准形。

结论:\(A\) 可对角化当且仅当所有 Jordan 块都是 1 阶;出现大于 1 阶块时不可对角化。

检查:不要只看特征值是否重复,要看每个特征值的几何重数和块大小。

关键问题

  • 每个初等因子对应多大 Jordan 块?
  • 同一特征值有几个块?
  • 所有块的阶数之和是否等于矩阵阶数?

适用边界与常见误区

  • Jordan 标准形依赖特征多项式在所用数域中分裂。
  • Jordan 块排列顺序可变,但块的大小和对应特征值不能改变。
  • Jordan 形是相似标准形,不是 λ-矩阵相抵标准形本身。
相似矩阵与不变因子展开知识卡

一句话理解

数矩阵的相似问题可以转化成 λ-矩阵的相抵问题:把 \(A\) 换成 λI-\(A\) 后,矩阵相似所保留的结构就被不变因子记录下来。这条桥梁连接了线性变换、特征值和标准形。

核心定义与结论

相似矩阵与不变因子

条件:\(A\)、\(B\) 为同阶数域矩阵。

结论:\(A\sim B\),当且仅当 \(\lambda E\)-\(A\) 与 \(\lambda E\)-\(B\) 在 \(P[\lambda]\) 上相抵;等价地,\(A\)、\(B\) 的不变因子相同。

检查:相似矩阵还具有相同的特征多项式、最小多项式和初等因子;比较时要使用完整结构信息。

关键问题

  • 相似关系和 λ-矩阵相抵关系如何对应?
  • 应该研究 λI-\(A\) 还是 \(A\) 本身?
  • 不变因子相同是否足以判定相似?

适用边界与常见误区

  • 这里的 λ-矩阵通常是 λI-\(A\),而不是直接把 \(A\) 的元素当多项式。
  • 相似矩阵的过渡矩阵必须是常数可逆矩阵。
  • 只相同特征值不够,还要比较不变因子或等价的相似标准形。

第九章 · 欧氏空间

内积展开知识卡

一句话理解

内积把抽象向量空间重新装上长度和角度,使‘正交’有了代数定义。欧氏空间的后续内容都依赖这四条性质,尤其是正定性保证非零向量长度不为零。

核心定义与结论

内积定义

条件:\(V\) 是实数域上线性空间,函数 \((\alpha,\beta)\) 满足对称性、线性和正定性。

结论:\((\alpha,\beta)\) 是 \(V\) 上的内积;\(\lVert\alpha\rVert=\sqrt{(\alpha,\alpha)}\) 是范数;\(\alpha\perp\beta\) 表示 \((\alpha,\beta)=0\)。

检查:正交符号写作 \(\perp\);检查具体公式时要逐条验证内积的四条性质。

Cauchy-Schwarz 不等式

条件:\(V\) 是内积空间,\(\alpha,\beta\in V\)。

结论:\(|(\alpha,\beta)|\le\lVert\alpha\rVert\lVert\beta\rVert\),等号当且仅当两向量线性相关。

检查:用它可证明夹角定义合理以及正交分解的唯一性。

关键问题

  • 内积是否满足对称、线性和正定?
  • 范数如何由内积定义?
  • Cauchy-Schwarz 不等式何时取等?

适用边界与常见误区

  • 实内积对第一或第二个变量的线性约定要保持一致。
  • 长度是 sqrt((x,x)),不能直接把坐标和当长度。
  • 正交只表示内积为 0,不表示两个向量都非零或单位化。
正交变换展开知识卡

一句话理解

正交变换是欧氏空间中的刚性变换,保留内积、长度和角度。矩阵语言中,它的列向量组成标准正交组,所以逆矩阵可以直接用转置代替。

核心定义与结论

正交矩阵判定

条件:Q 为 n 阶实矩阵。

结论:Q 正交当且仅当 \(Q^TQ=I\);等价地,Q 的列向量构成标准正交基,且 \(Q^{\)-\(1}=Q^T\)。

检查:检查每列长度为 1、不同列内积为 0。

正交变换保持内积

条件:\(T\) 的矩阵 Q 为正交矩阵。

结论:\((Qx)^T(Qy)=x^Ty\),因此 \(T\) 保持内积、长度、夹角和正交关系。

检查:取 \(y=x\) 可得到长度保持。

关键问题

  • \(Q^TQ\) 是否等于 \(I\)?
  • 变换是否保持长度和内积?
  • 正交矩阵的列、行分别有什么几何意义?

适用边界与常见误区

  • \(Q^TQ=I\) 是实方阵的正交条件,必须是方阵才谈正交变换。
  • 正交矩阵不一定对称。
  • 行列式只能是 1 或 -1,但这个条件单独不足以判定正交。
实对称矩阵的标准形展开知识卡

一句话理解

实对称矩阵的正交标准形把第 9 章的链条完整串起来:先验证对称性,再求特征值和特征向量;重特征值的特征空间内部需要正交化,最后用标准正交特征向量组成正交矩阵。

核心定义与结论

实对称矩阵的正交标准形定理

条件:\(A=A^T\) 是 n 阶实对称矩阵。

结论:存在正交矩阵 Q,使 \(Q^TAQ=diag(\lambda_1,\ldots,\lambda_n)\),其中 \(\lambda_i\) 是 \(A\) 的实特征值;在正交变换 \(X=QY\) 下,\(X^TAX=\sum\lambda_i y_i^2\)。

检查:同时验证 \(A^T=A\)、\(Q^TQ=I\) 和 \(Q^TAQ=D\),并保证 Q 的列顺序与 \(D\) 的对角元一致。

实对称矩阵的特征向量性质

条件:\(A=A^T\),\(Ax=\lambda x\),\(Ay=\mu y\)。

结论:特征值为实数;当 \(\lambda\ne\mu\) 时,\(x\perp y\);重特征值的特征空间可以选取标准正交基。

检查:同一特征空间内部先取一组基,再用 Gram-Schmidt 正交化并单位化。

关键问题

  • 为什么必须先验证实对称性?
  • 二重特征值对应的特征向量为什么还要正交化?
  • 正交矩阵 Q 与标准形的对角元如何对应?

适用边界与常见误区

  • 普通可对角化矩阵不一定能正交对角化。
  • 正交对角化需要实对称矩阵和欧氏空间内积结构。
  • 不同特征值的特征向量自动正交,同一重特征值内选出的向量不一定自动正交。

10 张

题型速通

1. 由线性变换写矩阵列就是像 · 固定基 · 矩阵表示

看到什么:看到题干给出 \(T(e_i)\)、基向量的像、线性变换在某组基下的矩阵。

第一步:先固定基,把第 j 个基向量的像写成坐标列,按列放进矩阵 \(A\)。

解题路线

  1. 确认题目使用的是哪组基。
  2. 逐个计算或读取 \(T(v_j)\)。
  3. 把 \([T(v_j)]\) 写成第 j 列。
  4. 用 A[x] 验算一个简单向量。

关键公式

  • \(A=([T(v_1)]\ [T(v_2)]\ \cdots\ [T(v_n)])\)
  • \(\begin{pmatrix}y_1\\\)⋮\(\\y_n\end{pmatrix}=A\begin{pmatrix}x_1\\\)⋮\(\\x_n\end{pmatrix}\)

常见坑

  • 把列向量误写成行向量。
  • 没有说明基就直接写矩阵。
  • 新旧基坐标混在一起。

检查清单

  • 每一列都对应一个基向量的像。
  • 矩阵阶数等于空间维数。
  • 代入一个向量后 T(x) 与 A[x] 一致。
2. 换基矩阵与相似矩阵P 的列 · 相似不变量 · 新旧基

看到什么:看到新基、旧基、换基矩阵 \(P\)、同一线性变换在不同基下的矩阵。

第一步:先写清楚 \(P\) 的列:\(P\) 的第 j 列是新基向量在旧基下的坐标。

解题路线

  1. 写出 \(P=[v_1\ v_2\ \cdots\ v_n]\)。
  2. 先算 AP,再左乘 \(P^{\)-\(1}\)。
  3. 得到 \(B=P^{\)-\(1}AP\)。
  4. 检查 \(A\) 与 \(B\) 的特征多项式是否相同。

关键公式

  • \(\begin{pmatrix}x_1\\\vdots\\x_n\end{pmatrix}=P\begin{pmatrix}x\)'\(_1\\\vdots\\x\)'\(_n\end{pmatrix}\)
  • \(B=P^{\)-\(1}AP\)
  • \(p_A(\lambda)=p_B(\lambda)\)

常见坑

  • 把 \(P\) 写反导致使用 \(AP^{\)-\(1}\)。
  • 把坐标向量和实际向量混用。
  • 相似只改变表示,不改变特征值。

检查清单

  • \(P\) 的列来自新基在旧基下的坐标。
  • 公式方向是旧坐标等于 \(P\) 乘新坐标。
  • 相似后的特征多项式不变。
3. 特征多项式先写 λI-A先写矩阵 · 展开行列式 · 求根

看到什么:看到求特征值、特征多项式、判断根、矩阵特征系统。

第一步:按课本方法先写出 \(\lambda I\)-\(A\),再展开 \(det(\lambda I\)-A)。

解题路线

  1. 写出多项式矩阵 \(\lambda I\)-\(A\)。
  2. 展开行列式得到 \(p(\lambda)\)。
  3. 令 \(p(\lambda)=0\) 求根。
  4. 把根代回 (A-\(\lambda I)x=0\)。

关键公式

  • \(p(\lambda)=\det(\lambda I\)-A)
  • (A-\(\lambda I)x=0\)

常见坑

  • 直接凭观察猜根,漏掉展开过程。
  • 用 \(A\)-\(\lambda I\) 时符号前后不一致。
  • 求出特征值后忘记求特征向量空间。

检查清单

  • 特征多项式次数等于矩阵阶数。
  • 每个根都代回齐次方程。
  • 特征向量必须是非零向量。
4. 由特征值找特征向量解齐次方程 · 基础解系 · 几何重数

看到什么:看到已知特征值、求特征向量、求特征子空间、几何重数。

第一步:对每个特征值单独解齐次线性方程组 (A-\(\lambda I)x=0\)。

解题路线

  1. 把 \(\lambda\) 代入 \(A\)-\(\lambda I\)。
  2. 行化简求基础解系。
  3. 写出特征子空间 \(V_\lambda\)。
  4. 统计维数作为几何重数。

关键公式

  • \(V_\lambda=\ker(A\)-\(\lambda I)\)
  • \(\dim V_\lambda=n\)-r(A-\(\lambda I)\)

常见坑

  • 把任意解都当特征向量,忘记排除零向量。
  • 重根不代表一定有同样多的线性无关特征向量。
  • 不同特征值的特征向量可以合在一起判断无关。

检查清单

  • 每个特征值分别求空间。
  • 基础解系数量等于零空间维数。
  • 最后写成向量组或张成空间。
5. 判断可对角化总维数 · P 与 D 对应 · 重根

看到什么:看到判断是否可对角化、求 \(P\) 和 \(D\)、是否存在一组特征向量基。

第一步:先求所有特征值及其特征空间维数,看线性无关特征向量总数是否等于 n。

解题路线

  1. 求 \(p(\lambda)\) 并分解。
  2. 对每个特征值求 \(V_\lambda\)。
  3. 比较代数重数和几何重数。
  4. 若总维数为 n,把特征向量作 \(P\) 的列。

关键公式

  • \(\sum_i \dim V_{\lambda_i}=n\)
  • \(P^{\)-\(1}AP=D\)

常见坑

  • 只看特征值个数,不看特征空间维数。
  • 有重根时没有检查几何重数。
  • \(P\) 的列顺序要和 \(D\) 的对角线顺序对应。

检查清单

  • 所有特征值都处理完。
  • 几何重数之和等于阶数。
  • \(P\) 每一列对应 \(D\) 同位置的特征值。
6. 判断不变子空间封闭性 · 逐个基向量 · 限制变换

看到什么:看到 \(A(W)\subseteq W\)、子空间在变换下是否封闭、限制变换。

第一步:取 \(W\) 的一组基,分别乘 \(A\),检查结果能否由 \(W\) 的基线性表示。

解题路线

  1. 列出 \(W\) 的基向量。
  2. 计算 \(A w_1,A w_2,...\)。
  3. 把结果放进增广矩阵判断能否表示。
  4. 全部能表示才是不变。

关键公式

  • \(A(W)\subseteq W\)
  • \(Aw_j\in W\)

常见坑

  • 只验证一个向量就下结论。
  • 把 \(A\) 的列空间和子空间 \(W\) 混为一谈。
  • 没有说明 \(W\) 的基是否线性无关。

检查清单

  • \(W\) 的每个基向量都检查过。
  • 表示系数存在即可,不要求唯一之外的额外条件。
  • 结论写成 \(A(W)\subseteq W\) 或不成立。
7. 直和分解与分块矩阵不变+直和 · 拼基 · 分块对角

看到什么:看到 \(V=U\oplus W\)、不变子空间直和、分块对角矩阵。

第一步:先分别判断 \(U\)、\(W\) 是否不变,再判断 U+W 是否覆盖全空间且交只有零向量。

解题路线

  1. 检查 \(A(U)\subseteq U\)。
  2. 检查 \(A(W)\subseteq W\)。
  3. 验证 \(U+W=V\) 且 \(U\cap W=0\)。
  4. 若都成立,按 \(U\)、\(W\) 的基拼成 \(P\) 写分块矩阵。

关键公式

  • \(V=U\oplus W\)
  • \(P^{\)-\(1}AP=\begin{pmatrix}A_1\)&\(0\\0\)&\(A_2\end{pmatrix}\)

常见坑

  • 只证明直和,却忘记不变性。
  • 只证明不变,却忘记覆盖全空间。
  • 拼 \(P\) 时没有保持先 \(U\) 后 \(W\) 的顺序。

检查清单

  • \(U\) 和 \(W\) 都是不变子空间。
  • 维数相加等于 n 且交为零。
  • 分块矩阵的块顺序与 \(P\) 的列顺序一致。
8. Jordan 块从因子路线走行列式因子 · 不变因子 · 初等因子

看到什么:看到 Jordan 标准形、行列式因子、不变因子、初等因子、Jordan 块大小。

第一步:先写 \(\lambda E\)-\(A\),求各阶子式的首一最大公因式得到行列式因子,再求不变因子和初等因子。

解题路线

  1. 写出 \(\lambda E\)-\(A\)。
  2. 求 \(\Delta_k(\lambda)\)。
  3. 由 \(d_k=\Delta_k/\Delta_{k\)-\(1}\) 得不变因子。
  4. 分解初等因子,读出 Jordan 块。

关键公式

  • \(\Delta_k(\lambda)=\text{\)矩阵 \(}(\lambda E\)-\(A)\text{\) 的所有 \(}k\text{\) 阶子式的首一最大公因式\(}\)
  • \(d_k(\lambda)=\frac{\Delta_k(\lambda)}{\Delta_{k\)-\(1}(\lambda)}\)

常见坑

  • 直接从上三角外观猜 Jordan 块。
  • 漏掉某阶子式的最大公因式。
  • 初等因子的次数就是 Jordan 块大小。

检查清单

  • 每个 \(\Delta_k\) 都按最大公因式取。
  • 不变因子满足逐个整除。
  • 同一特征值的初等因子分别对应块。
9. 正交矩阵三种验法列向量 · 内积 · 长度保持

看到什么:看到正交矩阵、正交变换、保持长度、保持内积、\(Q^TQ\)。

第一步:优先检查列向量:每列长度为 1,不同列内积为 0。

解题路线

  1. 看每一列长度是否为 1。
  2. 看不同列是否两两正交。
  3. 需要时再算 \(Q^TQ\)。
  4. 解释为保持长度和夹角。

关键公式

  • \(Q^TQ=I\)
  • \(\langle Qx,Qy\rangle=\langle x,y\rangle\)
  • \(\det Q=\)±1

常见坑

  • 只看每列长度,忘记检查两两正交。
  • 把行正交和列正交混说但没有说明方阵条件。
  • 正交矩阵不一定只有旋转,也可能含反射。

检查清单

  • 列向量单位化。
  • 列向量两两正交。
  • \(Q^TQ\) 的结果是单位矩阵。
10. 对称矩阵与正交对角化转置判断 · 二次型 · 正交对角化

看到什么:看到对称矩阵、二次型、正交对角化、实特征值、不同特征值特征向量正交。

第一步:先判断 \(A^T=A\),再联系二次型和正交对角化结论。

解题路线

  1. 逐项比较主对角线两侧元素。
  2. 若 \(A^T=A\),可用实对称矩阵性质。
  3. 求特征值并取正交单位特征向量。
  4. 组成 Q,得到 \(Q^TAQ=D\)。

关键公式

  • \(A^T=A\)
  • \(x^TAx\)
  • \(Q^TAQ=D\)

常见坑

  • 矩阵不对称时不能直接套正交对角化。
  • 特征向量列要单位化后才能组成正交矩阵。
  • \(P^{\)-\(1}AP\) 与 \(Q^TAQ\) 的使用条件不同。

检查清单

  • \(A\) 与 \(A^T\) 完全相等。
  • 特征向量已正交单位化。
  • \(D\) 的对角线顺序与 Q 的列顺序一致。

7 张

证明方法

1. 矩阵相同推出线性变换相同基向量决定法

题目:设 \(T,S\) 是有限维线性空间 \(V\) 上的线性变换。证明:若它们在同一组有序基 \(B=(e_1,\ldots,e_n)\) 下的矩阵相同,则 \(T=S\)。

证明入口:固定一个基向量 \((e_j)\),解释相同的第 j 列分别表示什么。

关键中间步骤

  1. 比较矩阵列:矩阵相同给出 \([T(e_j)]_B=[S(e_j)]_B\)。
  2. 回到向量:由坐标唯一性得 \(T(e_j)=S(e_j)\)。
  3. 推广到任意向量:若 \(x=Σa_j e_j\),则 \(T(x)=Σa_jT(e_j)=Σa_jS(e_j)=S(x)\)。
  4. 闭合结论:对任意 x 都有 \(T(x)=S(x)\),故 \(T=S\)。

完整证明

  1. 设 \([T]_B=[S]_B\)。对每个 \(j=1,\ldots,n\),两矩阵第 \(j\) 列相同。
  2. 根据矩阵表示的定义,第 \(j\) 列分别为 \([T(e_j)]_B\) 与 \([S(e_j)]_B\),故 \([T(e_j)]_B=[S(e_j)]_B\)。
  3. 同一组基下坐标表示唯一,所以 \(T(e_j)=S(e_j)\)。
  4. 任取 \(x\in V\),写成 \(x=\sum_{j=1}^n a_je_j\)。由线性性,\(T(x)=\sum a_jT(e_j)=\sum a_jS(e_j)=S(x)\)。
  5. 因此对任意 \(x\in V\) 都有 \(T(x)=S(x)\),从而 \(T=S\)。

易错点

  • 不能只写“矩阵相同所以变换相同”
  • 必须说明任意向量为何也有相同的像
2. 推导换基公式 B=P⁻¹AP同一向量两种坐标法

题目:设线性变换 \(T\) 在旧基 \(E\) 下的矩阵为 \(A\),在新基 \(F\) 下的矩阵为 \(C\)。若 \(P\) 的列是新基向量在旧基下的坐标,证明 \(C=P^{-1}AP\)。

证明入口:\(P\) 的列是新基在旧基下坐标,先写任意 x 的两种坐标关系。

关键中间步骤

  1. 写坐标关系:\([x]_E=P[x]_F\)。
  2. 旧基下作用 \(T\):\([T(x)]_E=AP[x]_F\)。
  3. 新基下作用 \(T\):\([T(x)]_E=PC[x]_F\)。
  4. 比较并消去:\(PC=AP\),所以 \(C=P⁻¹AP\)。

完整证明

  1. 任取 \(x\in V\)。由 \(P\) 的列的定义,有 \([x]_E=P[x]_F\)。
  2. 在旧基下先作用 \(T\),得到 \([T(x)]_E=A[x]_E=AP[x]_F\)。
  3. 另一方面,\([T(x)]_F=C[x]_F\),再由新坐标转成旧坐标得 \([T(x)]_E=P[T(x)]_F=PC[x]_F\)。
  4. 因此对任意 \([x]_F\) 都有 \(AP[x]_F=PC[x]_F\),故 \(AP=PC\)。
  5. 过渡矩阵 \(P\) 可逆,左乘 \(P^{-1}\),得到 \(C=P^{-1}AP\)。

易错点

  • 不得直接背写公式
  • 必须交代 \(P\) 的方向和左右乘顺序
3. 不同特征值的特征向量线性无关归纳与消元算子法

题目:设 \(v_1,\ldots,v_m\) 分别是线性变换 \(T\) 属于两两不同特征值 \(\lambda_1,\ldots,\lambda_m\) 的特征向量。证明 \(v_1,\ldots,v_m\) 线性无关。

证明入口:对特征向量个数 m 作归纳,先说明 \(m=1\)。

关键中间步骤

  1. 归纳设定:\(m=1\) 时 v₁≠0,结论成立。
  2. 设线性组合为零:设 \(Σc_i v_i=0\)。
  3. 消去最后一项:得到 \(Σ_{i<m}c_i(λ_i\)-\(λ_m)v_i=0\)。
  4. 使用归纳假设:先得 \(c_i=0(i<m)\),再由 \(c_m v_m=0\) 得 \(c_m=0\)。

完整证明

  1. 对 \(m\) 作数学归纳法。\(m=1\) 时,特征向量 \(v_1\ne0\),故结论成立。
  2. 设结论对 \(m-1\) 个属于不同特征值的特征向量成立,并设 \(\sum_{i=1}^m c_iv_i=0\)。
  3. 对等式作用 \(T\),得 \(\sum_{i=1}^m c_i\lambda_i v_i=0\)。再减去 \(\lambda_m\sum_{i=1}^m c_iv_i=0\),得到 \(\sum_{i=1}^{m-1}c_i(\lambda_i-\lambda_m)v_i=0\)。
  4. 由归纳假设,\(v_1,\ldots,v_{m-1}\) 线性无关;又因 \(\lambda_i\ne\lambda_m\),故 \(c_i=0\ (i<m)\)。
  5. 代回原式得 \(c_mv_m=0\)。由于 \(v_m\ne0\),所以 \(c_m=0\)。全部系数均为零,故这些特征向量线性无关。

易错点

  • 不能把“特征值不同”直接当作线性无关
  • 不能除以向量或省略归纳基础
4. n 个不同特征值推出可对角化特征向量构造基

题目:证明:若 \(n\) 阶矩阵 \(A\) 有 \(n\) 个两两不同的特征值,则 \(A\) 可对角化。

证明入口:为每个特征值选择什么向量?

关键中间步骤

  1. 选取特征向量:取 \(Av_i=λ_i v_i\) 且 \(v_i\)≠0。
  2. 得到一组基:不同特征值对应的特征向量线性无关,n 个向量构成一组基。
  3. 组成可逆矩阵:\(P=(v\)₁,…\(,v_n)\) 的列线性无关。
  4. 计算矩阵关系:\(AP=PD\),故 \(P⁻¹AP=D\)。

完整证明

  1. 设 \(\lambda_1,\ldots,\lambda_n\) 是 \(A\) 的两两不同特征值,分别取非零特征向量 \(v_i\),使 \(Av_i=\lambda_i v_i\)。
  2. 属于不同特征值的特征向量线性无关,因此 \(v_1,\ldots,v_n\) 是 \(n\) 维空间的一组基。
  3. 令 \(P=(v_1,\ldots,v_n)\),则 \(P\) 的列线性无关,所以 \(P\) 可逆。
  4. 令 \(D=\operatorname{diag}(\lambda_1,\ldots,\lambda_n)\)。逐列比较可得 \(AP=(Av_1,\ldots,Av_n)=(\lambda_1v_1,\ldots,\lambda_nv_n)=PD\)。
  5. 左乘 \(P^{-1}\) 得 \(P^{-1}AP=D\),其中 \(D\) 为对角矩阵,故 \(A\) 可对角化。

易错点

  • 不能只写“特征值不同所以可对角化”
  • 必须构造 \(P\) 并说明其可逆
5. 直和分解的表示唯一性两种表示作差法

题目:设 \(V=U\oplus W\)。证明:每个 \(v\in V\) 都能唯一表示为 \(v=u+w\),其中 \(u\in U,w\in W\)。

证明入口:直和条件中的哪一部分保证每个 v 能写成 u+w?

关键中间步骤

  1. 证明存在:由 \(U+W=V\) 得到存在性。
  2. 假设两种表示:设 \(v=u\)₁+w₁\(=u\)₂+w₂。
  3. 把差放入交集:u₁-u₂\(=w\)₂-w₁∈\(U\)∩\(W\)。
  4. 使用交为零:两差为零,故 u₁\(=u\)₂ 且 w₁\(=w\)₂。

完整证明

  1. 任取 \(v\in V\)。因为 \(V=U\oplus W\),所以 \(V=U+W\),故存在 \(u\in U,w\in W\),使 \(v=u+w\)。
  2. 再证明唯一性。设 \(v=u_1+w_1=u_2+w_2\),其中 \(u_1,u_2\in U\),\(w_1,w_2\in W\)。
  3. 移项得到 \(u_1-u_2=w_2-w_1\)。左边属于 \(U\),右边属于 \(W\),所以这个向量属于 \(U\cap W\)。
  4. 由直和条件 \(U\cap W=\{0\}\),可得 \(u_1-u_2=0\) 且 \(w_2-w_1=0\)。
  5. 因此 \(u_1=u_2,w_1=w_2\),表示唯一。存在性与唯一性均成立。

易错点

  • 不能只证明存在性
  • 不能用维数相加替代交为零,除非完整说明条件
6. 正交矩阵保持内积与长度定义直接计算法

题目:设 \(Q\) 是实正交矩阵。证明:对任意向量 \(x,y\),有 \(\langle Qx,Qy\rangle=\langle x,y\rangle\),并说明它保持向量长度。

证明入口:把 ⟨Qx,Qy⟩ 写成矩阵乘法。

关键中间步骤

  1. 展开内积:⟨Qx,Qy⟩\(=(Qx)\)ᵀ(Qy)。
  2. 整理转置:得到 xᵀQᵀQy。
  3. 使用正交条件:Qᵀ\(Q=I\),所以结果为 xᵀy。
  4. 推出长度保持:令 \(y=x\) 得 \(||Qx||²=||x||²\),故 \(||Qx||=||x||\)。

完整证明

  1. 任取实向量 \(x,y\)。由内积定义,\(\langle Qx,Qy\rangle=(Qx)^T(Qy)\)。
  2. 利用转置乘法规则,\((Qx)^T(Qy)=x^TQ^TQy\)。
  3. 因为 \(Q\) 是正交矩阵,所以 \(Q^TQ=I\)。因此 \(x^TQ^TQy=x^TIy=x^Ty=\langle x,y\rangle\)。
  4. 令 \(y=x\),得到 \(\|Qx\|^2=\langle Qx,Qx\rangle=\langle x,x\rangle=\|x\|^2\)。
  5. 范数非负,所以 \(\|Qx\|=\|x\|\),即正交矩阵保持向量长度。

易错点

  • 不能只说“正交变换当然保长度”
  • 要区分 Qᵀ\(Q=I\) 与 Qᵀ\(=Q\)
7. 实对称矩阵不同特征值的特征向量正交转置桥接法

题目:设 \(A\) 是实对称矩阵,\(v,w\) 分别属于不同特征值 \(\lambda,\mu\)。证明 \(v\perp w\)。

证明入口:计算 (Av)ᵀw,并用 \(Av=λv\)。

关键中间步骤

  1. 从第一条特征关系出发:(Av)ᵀ\(w=λv\)ᵀw。
  2. 利用对称性换边:(Av)ᵀ\(w=v\)ᵀAw。
  3. 使用第二条特征关系:vᵀ\(Aw=\)μvᵀw。
  4. 利用特征值不同:(λ-μ)vᵀ\(w=0\),λ≠μ,故 vᵀ\(w=0\)。

完整证明

  1. 由 \(Av=\lambda v\),有 \((Av)^Tw=(\lambda v)^Tw=\lambda v^Tw\)。
  2. 另一方面,\((Av)^Tw=v^TA^Tw\)。由于 \(A\) 为实对称矩阵,\(A^T=A\),故 \((Av)^Tw=v^TAw\)。
  3. 再由 \(Aw=\mu w\),得到 \(v^TAw=\mu v^Tw\)。
  4. 比较以上等式,得 \(\lambda v^Tw=\mu v^Tw\),即 \((\lambda-\mu)v^Tw=0\)。
  5. 因为 \(\lambda\ne\mu\),所以 \(v^Tw=0\),从而 \(v\perp w\)。

易错点

  • 不可提前使用谱定理或正交对角化结论
  • 必须用到 λ≠μ

去重精选

综合例题

1. 综合例题:换基、核、值域与适应基综合例题

题目:设 \(\varepsilon_1,\varepsilon_2,\varepsilon_3,\varepsilon_4\) 是四维线性空间 \(V\) 的一组基,线性变换 \(A\) 在该基下的矩阵为 \(\begin{pmatrix}1&0&2&1\\-1&2&1&3\\1&2&5&5\\2&-2&1&-2\end{pmatrix}\)。令 \(\eta_1=\varepsilon_1-2\varepsilon_2+\varepsilon_4\),\(\eta_2=3\varepsilon_2-\varepsilon_3-\varepsilon_4\),\(\eta_3=\varepsilon_3+\varepsilon_4\),\(\eta_4=2\varepsilon_4\)。求:① \(A\) 在基 \((\eta_1,\eta_2,\eta_3,\eta_4)\) 下的矩阵;② \(A\) 的核与值域;③ 从核的一组基扩充出 \(V\) 的基并求矩阵;④ 从值域的一组基扩充出 \(V\) 的基并求矩阵。

思路:先用 \(P^{-1}AP\) 完成换基,再把 \(Ax=0\) 化成行最简形求核;由主元列确定值域。最后分别把核基、值域基扩充成整空间的基,并再次使用相似变换。四问共用同一个矩阵,前一步的结果会直接成为后一步的工具。

完整解答步骤

  1. 记原基为 \(E=(\varepsilon_1,\varepsilon_2,\varepsilon_3,\varepsilon_4)\),则 \([A]_E=\begin{pmatrix}1&0&2&1\\-1&2&1&3\\1&2&5&5\\2&-2&1&-2\end{pmatrix}\)。
  2. 把每个新基向量在原基下的坐标按列排列:\([\eta_1]_E=(1,-2,0,1)^T\),\([\eta_2]_E=(0,3,-1,-1)^T\),\([\eta_3]_E=(0,0,1,1)^T\),\([\eta_4]_E=(0,0,0,2)^T\)。
  3. 得到从新坐标到原坐标的过渡矩阵 \(P=\begin{pmatrix}1&0&0&0\\-2&3&0&0\\0&-1&1&0\\1&-1&1&2\end{pmatrix}\)。
  4. 计算 \(\det P=1\cdot3\cdot1\cdot2=6\ne0\),所以 \(\eta_1,\eta_2,\eta_3,\eta_4\) 确实构成一组基。
  5. 对 \((P\mid I)\) 作初等行变换,得到 \(P^{-1}=\begin{pmatrix}1&0&0&0\\\frac23&\frac13&0&0\\\frac23&\frac13&1&0\\-\frac12&0&-\frac12&\frac12\end{pmatrix}\)。
  6. 先算右侧乘法:\(AP=\begin{pmatrix}2&-3&3&2\\-2&2&4&6\\2&-4&10&10\\4&-5&-1&-4\end{pmatrix}\)。例如第一列是 \(A(1,-2,0,1)^T=(2,-2,2,4)^T\)。
  7. 再左乘 \(P^{-1}\):\([A]_{\eta}=P^{-1}AP=\begin{pmatrix}2&-3&3&2\\\frac23&-\frac43&\frac{10}3&\frac{10}3\\\frac83&-\frac{16}3&\frac{40}3&\frac{40}3\\0&1&-7&-8\end{pmatrix}\)。
  8. 求核时令 \([x]_E=(x_1,x_2,x_3,x_4)^T\),解齐次方程 \([A]_E[x]_E=0\)。
  9. 对系数矩阵作消元:\(R_2\leftarrow R_2+R_1\),\(R_3\leftarrow R_3-R_1\),\(R_4\leftarrow R_4-2R_1\),得到 \(\begin{pmatrix}1&0&2&1\\0&2&3&4\\0&2&3&4\\0&-2&-3&-4\end{pmatrix}\)。
  10. 继续作 \(R_3\leftarrow R_3-R_2\),\(R_4\leftarrow R_4+R_2\),\(R_2\leftarrow\frac12R_2\),得到行最简形 \(\begin{pmatrix}1&0&2&1\\0&1&\frac32&2\\0&0&0&0\\0&0&0&0\end{pmatrix}\)。
  11. 由行最简形得到 \(x_1=-2x_3-x_4\),\(x_2=-\frac32x_3-2x_4\),其中 \(x_3,x_4\) 是自由变量。
  12. 令 \(x_3=2,x_4=0\),得到第一组整数解 \((-4,-3,2,0)^T\),对应 \(\xi_1=-4\varepsilon_1-3\varepsilon_2+2\varepsilon_3\)。
  13. 令 \(x_3=0,x_4=1\),得到第二组解 \((-1,-2,0,1)^T\),对应 \(\xi_2=-\varepsilon_1-2\varepsilon_2+\varepsilon_4\)。因此 \(\ker A=L(\xi_1,\xi_2)\)。
  14. 行最简形有两个主元,所以 \(\operatorname{rank}A=2\)。原矩阵第 1、2 列是主元列,它们构成值域的一组基。
  15. 按矩阵列向量读出 \(A(\varepsilon_1)=\varepsilon_1-\varepsilon_2+\varepsilon_3+2\varepsilon_4\),\(A(\varepsilon_2)=2\varepsilon_2+2\varepsilon_3-2\varepsilon_4\)。
  16. 因此 \(\operatorname{Im}A=L(A(\varepsilon_1),A(\varepsilon_2))\),并检查 \(\dim\ker A+\dim\operatorname{Im}A=2+2=4=\dim V\)。
  17. 从核基扩充:取 \(B_1=(\varepsilon_1,\varepsilon_2,\xi_1,\xi_2)\),对应过渡矩阵 \(P_1=\begin{pmatrix}1&0&-4&-1\\0&1&-3&-2\\0&0&2&0\\0&0&0&1\end{pmatrix}\)。
  18. 计算 \(\det P_1=2\ne0\),所以 \(B_1\) 是 \(V\) 的一组基;同时第三、四个基向量属于核,故新矩阵的第三、四列必为零。
  19. 计算 \(AP_1=\begin{pmatrix}1&0&0&0\\-1&2&0&0\\1&2&0&0\\2&-2&0&0\end{pmatrix}\)。
  20. 由初等行变换得到 \(P_1^{-1}=\begin{pmatrix}1&0&2&1\\0&1&\frac32&2\\0&0&\frac12&0\\0&0&0&1\end{pmatrix}\)。
  21. 于是 \([A]_{B_1}=P_1^{-1}AP_1=\begin{pmatrix}5&2&0&0\\\frac92&1&0&0\\\frac12&1&0&0\\2&-2&0&0\end{pmatrix}\)。第三、四列为零,与 \(A\xi_1=A\xi_2=0\) 一致。
  22. 从值域基扩充:取 \(B_2=(A\varepsilon_1,A\varepsilon_2,\varepsilon_3,\varepsilon_4)\),对应 \(P_2=\begin{pmatrix}1&0&0&0\\-1&2&0&0\\1&2&1&0\\2&-2&0&1\end{pmatrix}\)。
  23. 计算 \(\det P_2=2\ne0\),所以 \(B_2\) 是 \(V\) 的一组基;前两个基向量正好是值域的一组基。
  24. 计算 \(P_2^{-1}=\begin{pmatrix}1&0&0&0\\\frac12&\frac12&0&0\\-2&-1&1&0\\-1&1&0&1\end{pmatrix}\)。
  25. 计算 \(AP_2=\begin{pmatrix}5&2&2&1\\4&0&1&3\\14&4&5&5\\1&2&1&-2\end{pmatrix}\)。
  26. 最终 \([A]_{B_2}=P_2^{-1}AP_2=\begin{pmatrix}5&2&2&1\\\frac92&1&\frac32&2\\0&0&0&0\\0&0&0&0\end{pmatrix}\)。后两行全为零,表示任意向量的像都落在 \(L(A\varepsilon_1,A\varepsilon_2)\) 中。

答案:\([A]_{\eta}=\begin{pmatrix}2&-3&3&2\\\frac23&-\frac43&\frac{10}3&\frac{10}3\\\frac83&-\frac{16}3&\frac{40}3&\frac{40}3\\0&1&-7&-8\end{pmatrix}\);\(\ker A=L(-4\varepsilon_1-3\varepsilon_2+2\varepsilon_3,-\varepsilon_1-2\varepsilon_2+\varepsilon_4)\);\(\operatorname{Im}A=L(A\varepsilon_1,A\varepsilon_2)\);\([A]_{B_1}=\begin{pmatrix}5&2&0&0\\\frac92&1&0&0\\\frac12&1&0&0\\2&-2&0&0\end{pmatrix}\);\([A]_{B_2}=\begin{pmatrix}5&2&2&1\\\frac92&1&\frac32&2\\0&0&0&0\\0&0&0&0\end{pmatrix}\)。

检查提示:依次检查四件事:过渡矩阵的列方向是否正确;核向量代回后是否满足 \(A\xi=0\);值域基是否取自原矩阵主元列;新矩阵是否分别出现核对应的零列和值域对应的零行。

2. 综合例题:换基与相似矩阵综合例题

题目:设 \((A=\begin{pmatrix}\)-2&-2&\(1\\2\)&x&-\(2\\0\)&0&-\(2\end{pmatrix})\),\((B=\begin{pmatrix}2\)&1&\(0\\0\)&-1&\(0\\0\)&0&\(y\end{pmatrix})\),且 \((A\sim B)\)。求 (x,y),并求可逆矩阵 (P),使 \((P^{\)-\(1}AP=B)\)。

思路:先用相似矩阵的迹和行列式求出参数 (x,y)。再设 \((P=(x_1,x_2,x_3))\),由 \((AP=PB)\) 按列得到三个方程组:\((Ax_1=2x_1)\)、\((Ax_2=x_1\)-\(x_2)\)、\((Ax_3=\)-\(2x_3)\)。这里的 \((x_i)\) 是方程组的向量未知量,满足相应的 \((Ax=\lambda x)\) 关系。

完整解答步骤

  1. 相似矩阵的迹相等:\((\operatorname{tr}(A)=x\)-4),\((\operatorname{tr}(B)=1+y)\)。因此 (x-\(4=1+y)\),即 (x-\(y=5)\)。
  2. 相似矩阵的行列式相等。按第一行展开:\(\det A=(-2)\begin{vmatrix}x&-2\\0&-2\end{vmatrix}-(-2)\begin{vmatrix}2&-2\\0&-2\end{vmatrix}=(-2)(-2x)-(-2)(-4)=4x-8\)。
  3. 另一方面,\(\det B=2\cdot(-1)\cdot y=-2y\)。因此由 \(\det A=\det B\) 得 \(4x-8=-2y\)。
  4. 把迹方程和行列式方程联立:\(\begin{cases}x-y=5\\4x-8=-2y\end{cases}\),解得 \(x=3,\ y=-2\)。于是 \(A=\begin{pmatrix}-2&-2&1\\2&3&-2\\0&0&-2\end{pmatrix}\),\(B=\begin{pmatrix}2&1&0\\0&-1&0\\0&0&-2\end{pmatrix}\)。
  5. 设 \((P=(x_1,x_2,x_3))\)。计算 (PB) 的三列:\((PB=(2x_1, x_1\)-\(x_2,\) -\(2x_3))\)。
  6. 由 \((AP=PB)\),逐列比较得到:\((Ax_1=2x_1)\),\((Ax_2=x_1\)-\(x_2)\),\((Ax_3=\)-\(2x_3)\)。
  7. 先求 \((x_1)\)。设 \((x_1=(a,b,c)^T)\),则 \((Ax_1=2x_1)\) 给出 (-2a-\(2b+c=2a)\),(2a+3b-\(2c=2b)\),(-\(2c=2c)\)。
  8. 由 (-\(2c=2c)\) 得 \((c=0)\);代入前两式得 \((2a+b=0)\),所以可取 \((x_1=(1,\)-\(2,0)^T)\)。
  9. 再求 \((x_2)\)。设 \((x_2=(d,e,f)^T)\),由 \((Ax_2=x_1\)-\(x_2)\),右端为 \((x_1\)-\(x_2=(1\)-d,-2-e,-\(f)^T)\)。
  10. 比较第三个分量:(-\(2f=\)-f),所以 \((f=0)\);前两个分量分别给出 \((d+e=\)-1)、\((2d+e=\)-2),解得 \((d=\)-\(1,e=0)\)。
  11. 因此可取 \((x_2=(\)-\(1,0,0)^T)\),并且 \((x_1\)-\(x_2=(2,\)-\(2,0)^T)\)。直接计算 \((Ax_2=(2,\)-\(2,0)^T)\),验证无误。
  12. 最后求 \((x_3)\)。设 \((x_3=(g,h,k)^T)\),由 \((Ax_3=\)-\(2x_3)\) 得 (-2g-\(2h+k=\)-2g),(2g+3h-\(2k=\)-2h),(-\(2k=\)-2k)。
  13. 第一式化为 \((k=2h)\),第二式化为 \((g+\frac52h=0)\)。取 \((h=1)\),得 \((k=2,g=\)-\(\frac12)\),所以 \((x_3=(\)-\(\frac12,1,2)^T)\)。
  14. 把三个向量按列组成 (P):\((P=\begin{pmatrix}1\)&-1&-\(\frac12\\\)-2&0&\(1\\0\)&0&\(2\end{pmatrix})\)。
  15. 计算行列式:\((det P=1\begin{vmatrix}0\)&\(1\\0\)&\(2\end{vmatrix}\)-(-\(1)\begin{vmatrix}\)-2&\(1\\0\)&\(2\end{vmatrix}\)-\(\frac12\begin{vmatrix}\)-2&\(0\\0\)&\(0\end{vmatrix}=\)-\(4\ne0)\)。因此 (P) 可逆。
  16. 三列关系合并为 \((AP=(Ax_1,Ax_2,Ax_3)=(2x_1,x_1\)-\(x_2,\)-\(2x_3)=PB)\)。
  17. 左乘 \((P^{\)-\(1})\),得到 \((P^{\)-\(1}AP=B)\)。因此所求参数为 \((x=3,y=\)-2),所求可逆矩阵可取上面的 (P)。

答案:\((x=3, y=\)-2),可取 \((P=\begin{pmatrix}1\)&-1&-\(\frac12\\\)-2&0&\(1\\0\)&0&\(2\end{pmatrix})\),且 \((P^{\)-\(1}AP=B)\)。其中 (P) 的三列是 \((x_1,x_2,x_3)\),分别满足 \((Ax_1=2x_1)\)、\((Ax_2=x_1\)-\(x_2)\)、\((Ax_3=\)-\(2x_3)\)。

检查提示:不要把 \((x_1,x_2,x_3)\) 当成特征值;它们是组成 (P) 的列向量。只有第一列和第三列满足标准的 \((Ax=\lambda x)\),第二列对应的是 \((Ax_2=x_1\)-\(x_2)\),这是由 (B) 的非对角元决定的。

3. 综合例题:三阶矩阵的特征值与特征向量综合例题

题目:求矩阵 \(A=\begin{pmatrix}1&2&3\\2&1&3\\3&3&6\end{pmatrix}\) 的全部特征值及对应的特征向量。

思路:先由特征方程 \(|\lambda I-A|=0\) 求全部特征值。对每个特征值 \(\lambda_0\),再解齐次线性方程组 \((\lambda_0I-A)X=0\),其非零解就是对应的特征向量,解空间就是对应的特征空间。

完整解答步骤

  1. 写出特征矩阵:\(\lambda I-A=\begin{pmatrix}\lambda-1&-2&-3\\-2&\lambda-1&-3\\-3&-3&\lambda-6\end{pmatrix}\)。
  2. 特征方程为 \(\det(\lambda I-A)=0\),即 \(\begin{vmatrix}\lambda-1&-2&-3\\-2&\lambda-1&-3\\-3&-3&\lambda-6\end{vmatrix}=0\)。
  3. 对行列式作列变换 \(C_1\leftarrow C_1-C_2\),第一列变为 \((\lambda+1,-\lambda-1,0)^T\)。
  4. 此时行列式为 \(\begin{vmatrix}\lambda+1&-2&-3\\-\lambda-1&\lambda-1&-3\\0&-3&\lambda-6\end{vmatrix}\)。
  5. 再作行变换 \(R_2\leftarrow R_2+R_1\),得到 \(\begin{vmatrix}\lambda+1&-2&-3\\0&\lambda-3&-6\\0&-3&\lambda-6\end{vmatrix}\)。
  6. 沿第一列展开:\(\det(\lambda I-A)=(\lambda+1)\begin{vmatrix}\lambda-3&-6\\-3&\lambda-6\end{vmatrix}\)。
  7. 计算二阶行列式:\((\lambda-3)(\lambda-6)-(-6)(-3)=\lambda^2-9\lambda+18-18=\lambda^2-9\lambda\)。
  8. 所以 \(\det(\lambda I-A)=(\lambda+1)\lambda(\lambda-9)\)。
  9. 令特征多项式为零,得到三个特征值 \(\lambda_1=-1\)、\(\lambda_2=9\)、\(\lambda_3=0\)。
  10. 当 \(\lambda_1=-1\) 时,\(\lambda_1I-A=\begin{pmatrix}-2&-2&-3\\-2&-2&-3\\-3&-3&-7\end{pmatrix}\)。
  11. 先作 \(R_2\leftarrow R_2-R_1\),第二行变成零行;再作 \(R_3\leftarrow2R_3-3R_1\),第三行变为 \((0,0,-5)\)。
  12. 将第三行乘 \(-\frac15\),再用第三行消去第一行第三列,得到行最简形 \(\begin{pmatrix}1&1&0\\0&0&1\\0&0&0\end{pmatrix}\)。
  13. 对应方程为 \(x_1+x_2=0\)、\(x_3=0\)。令 \(x_2=t\),则 \(x_1=-t\)、\(x_3=0\)。
  14. 因此 \(X=t(-1,1,0)^T\)。取 \(t=1\),可取特征向量 \(\xi_1=(-1,1,0)^T\),对应特征空间 \(E_{-1}=\operatorname{span}\{(-1,1,0)^T\}\)。
  15. 当 \(\lambda_2=9\) 时,\(9I-A=\begin{pmatrix}8&-2&-3\\-2&8&-3\\-3&-3&3\end{pmatrix}\)。
  16. 第三个方程为 \(-3x_1-3x_2+3x_3=0\)。两边除以 3,得到 \(-x_1-x_2+x_3=0\),即 \(x_3=x_1+x_2\)。
  17. 把 \(x_3=x_1+x_2\) 代入第一个方程:\(8x_1-2x_2-3(x_1+x_2)=0\)。
  18. 合并同类项得 \(5x_1-5x_2=0\),所以 \(x_1=x_2\),进而 \(x_3=2x_1\)。
  19. 令 \(x_3=t\),则 \(x_1=x_2=\frac12t\),所以 \(X=t(\frac12,\frac12,1)^T\)。
  20. 取 \(t=1\),可取特征向量 \(\xi_2=(\frac12,\frac12,1)^T\),对应特征空间 \(E_9=\operatorname{span}\{(\frac12,\frac12,1)^T\}\)。
  21. 当 \(\lambda_3=0\) 时,\(0I-A=-A=\begin{pmatrix}-1&-2&-3\\-2&-1&-3\\-3&-3&-6\end{pmatrix}\)。方程 \((-A)X=0\) 与 \(AX=0\) 同解。
  22. 写出 \(AX=0\):\(x_1+2x_2+3x_3=0\),\(2x_1+x_2+3x_3=0\),\(3x_1+3x_2+6x_3=0\)。
  23. 用第二式减去第一式的 2 倍,得到 \(-3x_2-3x_3=0\),所以 \(x_2=-x_3\)。
  24. 把 \(x_2=-x_3\) 代入第一式,得到 \(x_1-2x_3+3x_3=0\),所以 \(x_1=-x_3\)。
  25. 令 \(x_3=t\),则 \(X=t(-1,-1,1)^T\)。取 \(t=1\),可取特征向量 \(\xi_3=(-1,-1,1)^T\),对应特征空间 \(E_0=\operatorname{span}\{(-1,-1,1)^T\}\)。
  26. 最后代回检查:\(A(-1,1,0)^T=-1(-1,1,0)^T\),\(A(\frac12,\frac12,1)^T=9(\frac12,\frac12,1)^T\),\(A(-1,-1,1)^T=0\)。三个结果均满足 \(A\xi=\lambda\xi\)。

答案:特征值为 \(-1,9,0\)。对应特征空间分别为 \(E_{-1}=\operatorname{span}\{(-1,1,0)^T\}\),\(E_9=\operatorname{span}\{(\frac12,\frac12,1)^T\}=\operatorname{span}\{(1,1,2)^T\}\),\(E_0=\operatorname{span}\{(-1,-1,1)^T\}\)。

检查提示:每个特征向量都可以乘任意非零常数,因此 \((\frac12,\frac12,1)^T\) 与 \((1,1,2)^T\) 表示同一个特征方向。最终应写出整个特征空间,并代回 \(A\xi=\lambda\xi\) 检查。

4. 综合例题:不变子空间、直和与分块矩阵综合例题

题目:设线性变换 \(T:\mathbb R^4\to\mathbb R^4\) 在标准基下的矩阵为 \(A=\begin{pmatrix}1&1&1&0\\1&2&-1&1\\1&0&1&1\\-1&1&1&2\end{pmatrix}\)。令 \(U=\operatorname{span}\{u_1,u_2\}\),\(W=\operatorname{span}\{w_1,w_2\}\),其中 \(u_1=(1,0,1,0)^T\),\(u_2=(0,1,0,1)^T\),\(w_1=(1,0,-1,0)^T\),\(w_2=(0,1,0,-1)^T\)。求:①证明 \(U,W\) 都是 \(T\) 的不变子空间;②证明 \(\mathbb R^4=U\oplus W\);③求 \(T\) 在基 \(B=(u_1,u_2,w_1,w_2)\) 下的矩阵,并说明其分块结构。

思路:判断不变性时,只需计算每个子空间的一组基向量的像,并把像重新表示为该组基的线性组合。证明直和时,把两组基拼成过渡矩阵并检查其行列式。最后将四个像在新基下的坐标按列排列,即可得到分块对角矩阵。

完整解答步骤

  1. 记 \(u_1=(1,0,1,0)^T\),\(u_2=(0,1,0,1)^T\)。因为 \(u_1,u_2\) 张成 \(U\),只需检查这两个向量的像是否仍在 \(U\) 中。
  2. 计算 \(T(u_1)=Au_1=\begin{pmatrix}1&1&1&0\\1&2&-1&1\\1&0&1&1\\-1&1&1&2\end{pmatrix}\begin{pmatrix}1\\0\\1\\0\end{pmatrix}\)。
  3. 逐行相乘得到 \(T(u_1)=(1+1,\ 1-1,\ 1+1,\ -1+1)^T=(2,0,2,0)^T\)。
  4. 因为 \((2,0,2,0)^T=2(1,0,1,0)^T=2u_1\),所以 \(T(u_1)=2u_1\in U\)。
  5. 计算 \(T(u_2)=Au_2=(1,3,1,3)^T\)。另一方面,\(u_1+3u_2=(1,0,1,0)^T+3(0,1,0,1)^T=(1,3,1,3)^T\)。
  6. 因此 \(T(u_2)=u_1+3u_2\in U\)。两个基向量的像都在 \(U\) 中,所以 \(T(U)\subseteq U\),即 \(U\) 是 \(T\) 的不变子空间。
  7. 记 \(w_1=(1,0,-1,0)^T\),\(w_2=(0,1,0,-1)^T\)。因为它们张成 \(W\),只需检查 \(T(w_1)\)、\(T(w_2)\)。
  8. 计算 \(T(w_1)=Aw_1=(1-1,\ 1+1,\ 1-1,\ -1-1)^T=(0,2,0,-2)^T\)。
  9. 因为 \((0,2,0,-2)^T=2(0,1,0,-1)^T=2w_2\),所以 \(T(w_1)=2w_2\in W\)。
  10. 计算 \(T(w_2)=Aw_2=(1,1,-1,-1)^T\)。又有 \(w_1+w_2=(1,0,-1,0)^T+(0,1,0,-1)^T=(1,1,-1,-1)^T\)。
  11. 因此 \(T(w_2)=w_1+w_2\in W\)。两个基向量的像都在 \(W\) 中,所以 \(T(W)\subseteq W\),即 \(W\) 是 \(T\) 的不变子空间。
  12. 把两组基按 \(B=(u_1,u_2,w_1,w_2)\) 排列,得到过渡矩阵 \(P=(u_1\ u_2\ w_1\ w_2)=\begin{pmatrix}1&0&1&0\\0&1&0&1\\1&0&-1&0\\0&1&0&-1\end{pmatrix}\)。
  13. 对 \(P\) 作行变换 \(R_3\leftarrow R_3-R_1\),得到第三行 \((0,0,-2,0)\)。
  14. 再作 \(R_4\leftarrow R_4-R_2\),得到第四行 \((0,0,0,-2)\)。此时矩阵为上三角形。
  15. 所以 \(\det P=1\cdot1\cdot(-2)\cdot(-2)=4\ne0\)。因此 \(u_1,u_2,w_1,w_2\) 线性无关,并构成 \(\mathbb R^4\) 的一组基。
  16. 四个向量张成 \(U+W\),又构成 \(\mathbb R^4\) 的一组基,所以 \(U+W=\mathbb R^4\)。
  17. 若 \(z\in U\cap W\),则 \(z=au_1+bu_2=cw_1+dw_2\)。于是 \(au_1+bu_2-cw_1-dw_2=0\)。由四个向量线性无关可得 \(a=b=c=d=0\),故 \(z=0\)。因此 \(U\cap W=\{0\}\),最终 \(\mathbb R^4=U\oplus W\)。
  18. 现在取有序基 \(B=(u_1,u_2,w_1,w_2)\)。新矩阵的第 \(j\) 列是第 \(j\) 个基向量的像在基 \(B\) 下的坐标。
  19. 由 \(T(u_1)=2u_1\),得到 \([T(u_1)]_B=(2,0,0,0)^T\),这是新矩阵的第一列。
  20. 由 \(T(u_2)=u_1+3u_2\),得到 \([T(u_2)]_B=(1,3,0,0)^T\),这是新矩阵的第二列。
  21. 由 \(T(w_1)=2w_2\),得到 \([T(w_1)]_B=(0,0,0,2)^T\),这是新矩阵的第三列。
  22. 由 \(T(w_2)=w_1+w_2\),得到 \([T(w_2)]_B=(0,0,1,1)^T\),这是新矩阵的第四列。
  23. 将四列依次排列,得到 \([T]_B=\begin{pmatrix}2&1&0&0\\0&3&0&0\\0&0&0&1\\0&0&2&1\end{pmatrix}\)。
  24. 它可以写成分块形式 \([T]_B=\begin{pmatrix}A_U&0\\0&A_W\end{pmatrix}\),其中 \(A_U=\begin{pmatrix}2&1\\0&3\end{pmatrix}\),\(A_W=\begin{pmatrix}0&1\\2&1\end{pmatrix}\)。
  25. 为了用换基公式复核,计算 \(P^{-1}=\begin{pmatrix}\frac12&0&\frac12&0\\0&\frac12&0&\frac12\\\frac12&0&-\frac12&0\\0&\frac12&0&-\frac12\end{pmatrix}\)。
  26. 代入换基公式可得 \(P^{-1}AP=\begin{pmatrix}2&1&0&0\\0&3&0&0\\0&0&0&1\\0&0&2&1\end{pmatrix}\),与按像向量坐标得到的结果完全一致。
  27. 两个非对角块都是零矩阵。这正表示 \(T\) 不会把 \(U\) 中的向量送到 \(W\) 分量,也不会把 \(W\) 中的向量送到 \(U\) 分量,因此可以分别研究限制变换 \(T|_U\) 与 \(T|_W\)。

答案:\(U,W\) 都是 \(T\) 的不变子空间,且 \(\mathbb R^4=U\oplus W\)。在基 \(B=(u_1,u_2,w_1,w_2)\) 下,\([T]_B=\begin{pmatrix}2&1&0&0\\0&3&0&0\\0&0&0&1\\0&0&2&1\end{pmatrix}=\begin{pmatrix}A_U&0\\0&A_W\end{pmatrix}\)。

检查提示:依次检查四件事:每个子空间的基向量的像是否仍在原子空间;两组基拼接后是否线性无关;直和是否同时满足覆盖与交为零;新矩阵的零非对角块是否与两个子空间的不变性一致。

5. 例题:二重特征值下的正交变换与二次型标准形综合例题

题目:设三元二次型 \(f=3x_1^2+3x_2^2+3x_3^2+2x_1x_2+2x_1x_3+2x_2x_3\)。求其对应矩阵 \(A\) 的特征值和特征向量,处理二重特征值的正交化,构造正交矩阵 \(P\),使 \(P^TAP\) 为对角矩阵,并写出正交变换下的标准形。

思路:先把二次型写成 \(X^TAX\),得到实对称矩阵;再求特征值。二重特征值对应的两个特征向量先用 Gram-Schmidt 正交化,单位化后与另一特征值的单位特征向量组成 \(P\)。

完整解答步骤

  1. 令 \(X=(x_1,x_2,x_3)^T\),则 \(f=X^TAX\),其中 \(A=\begin{pmatrix}3\)&1&\(1\\1\)&3&\(1\\1\)&1&\(3end{pmatrix}\)。显然 \(A^T=A\)。
  2. 特征矩阵为 \(A\)-\(\lambda I=\begin{pmatrix}3\)-\(\lambda\)&1&\(1\\1\)&3-\(\lambda\)&\(1\\1\)&1&3-\(\lambdaend{pmatrix}\)。令 \(a=3\)-\(\lambda\)。
  3. 按第一行展开,\(det(A\)-\(\lambda I)=a(a^2\)-1)-(a-1)+(1-\(a)=a^3\)-\(3a+2=(a\)-\(1)^2(a+2)\)。
  4. 代回 \(a=3\)-\(\lambda\),得 \(det(A\)-\(\lambda I)=(2\)-\(\lambda)^2(5\)-\(\lambda)\)。
  5. 所以特征值为 \(\lambda=2\)(二重)和 \(\lambda=5\)(单重)。
  6. 当 \(\lambda=2\) 时,\(A\)-\(2I=\begin{pmatrix}1\)&1&\(1\\1\)&1&\(1\\1\)&1&\(1end{pmatrix}\),特征方程为 \(x_1+x_2+x_3=0\)。
  7. 取两个线性无关但不正交的特征向量 \(\alpha_1=(1,\)-\(1,0)^T\),\(\alpha_2=(1,0,\)-\(1)^T\);有 \(\alpha_1^T\alpha_2=1\ne0\)。
  8. 用 Gram-Schmidt:\(\beta_1=\alpha_1\),\(\beta_2=\alpha_2\)-\(((\alpha_2^T\beta_1)/(\beta_1^T\beta_1))\beta_1=\alpha_2\)-\(1/2\beta_1\)。
  9. 将 \(\beta_2\) 乘以 2,不改变其方向,取 \(\beta_2=(1,1,\)-\(2)^T\);验证 \(\beta_1^T\beta_2=0\)。
  10. 单位化得 \(e_1=1/\sqrt{2}(1,\)-\(1,0)^T\),\(e_2=1/\sqrt{6}(1,1,\)-\(2)^T\)。
  11. 当 \(\lambda=5\) 时,解 (A-\(5I)X=0\),得到 \(x_1=x_2=x_3\);取单位特征向量 \(e_3=1/\sqrt{3}(1,1,1)^T\)。
  12. \(e_3\) 与 \(e_1\)、\(e_2\) 正交,因为 1-\(1+0=0\) 且 1+1-\(2=0\)。
  13. 把单位正交特征向量按列组成 \(P=\begin{pmatrix}1/\sqrt{2}\)&\(1/\sqrt{6}\)&\(1/\sqrt{3}\\\)-\(1/\sqrt{2}\)&\(1/\sqrt{6}\)&\(1/\sqrt{3}\\0\)&-\(2/\sqrt{6}\)&\(1/\sqrt{3}\end{pmatrix}\)。
  14. \(P^TP=I\),所以 \(P\) 是正交矩阵,\(P^{\)-\(1}=P^T\)。
  15. 由 \(Ae_1=2e_1\),\(Ae_2=2e_2\),\(Ae_3=5e_3\),得到 \(AP=Pbegin{pmatrix}2\)&0&\(0\\0\)&2&\(0\\0\)&0&\(5end{pmatrix}\)。
  16. 左乘 \(P^T\),得到 \(P^TAP=\begin{pmatrix}2\)&0&\(0\\0\)&2&\(0\\0\)&0&\(5end{pmatrix}=D\)。
  17. 作正交变换 \(X=PY\),即 \(\begin{pmatrix}x_1\\x_2\\x_3end{pmatrix}=Pbegin{pmatrix}y_1\\y_2\\y_3end{pmatrix}\)。
  18. 于是 \(f=X^TAX=Y^TP^TAPY=2y_1^2+2y_2^2+5y_3^2\)。
  19. 结论:二重特征值的特征空间内部必须完成正交化,最终正交矩阵的列必须与 \(D\) 的对角元逐一对应。

答案:\(A=\begin{pmatrix}3\)&1&\(1\\1\)&3&\(1\\1\)&1&\(3end{pmatrix}\),特征值为 2(二重)、5(单重);可取 \(P=\begin{pmatrix}1/\sqrt{2}\)&\(1/\sqrt{6}\)&\(1/\sqrt{3}\\\)-\(1/\sqrt{2}\)&\(1/\sqrt{6}\)&\(1/\sqrt{3}\\0\)&-\(2/\sqrt{6}\)&\(1/\sqrt{3}\end{pmatrix}\),且 \(P^TAP=diag(2,2,5)\),标准形为 \(f=2y_1^2+2y_2^2+5y_3^2\)。

检查提示:不同特征值的特征向量自动正交;同一重特征值内任取的特征向量不一定正交,必须在特征空间内用 Gram-Schmidt 处理。