二次型的矩阵表示
条件:设 \(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}\)。
合作方知识内容精选
只保留长期有效的知识内容: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\);合同变换保持对称性。
标准形的目标是把变量之间的耦合逐步消掉,最后只留下平方项。教材中的配方法和合同初等变换,本质上都是在寻找一个可逆的变量替换,使二次型的矩阵变成对角矩阵。
条件:\(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\)。
检查:先区分正、负、零系数,再分别作平方根缩放。
“唯一性”讨论的不是标准形中每个系数或变量名称都相同,而是继续归一化后,规范形的结构由哪些数决定。复数域只看秩;实数域还要记录正、负惯性指数。
条件:\(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\) 的秩、正惯性指数和负惯性指数分别相同。
检查:合同变换保持二次型的符号结构;不要把相似变换的不变量直接套到合同变换上。
正定的意思是除了零向量以外,二次型在所有方向上都给出正值。标准形路径看符号,矩阵路径看主子式;两条路径判断的是同一件事,但适用的计算场景不同。
条件:\(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 阶主子式。
子空间判定的核心是:集合必须继承大空间的运算,并且运算后不能跑出这个集合。实际证明时,通常把零向量、加法封闭和数乘封闭合并成一个线性组合条件。
条件:\(W\) 是线性空间 \(V\) 的非空子集。
结论:\(W\) 是 \(V\) 的子空间,当且仅当对任意 \(u,v\in W\) 和任意数域中的 \(\alpha,\beta\),都有 \(\alpha u+\beta v\in W\)。
检查:等价的操作清单是:1. 集合非空;2. 对大空间定义的加法和数乘运算封闭。
维数与基把“有多少个独立方向”变成可计算的问题。先把空间写成生成子空间,再从生成向量中筛出极大无关组,剩下的向量只是冗余描述。
条件:\(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. 求生成向量组的极大无关组。
坐标是向量相对于一组基的唯一系数列。先确认基的排列顺序,再把向量表示成基向量的线性组合,所得系数按同一顺序组成坐标列。
条件:\(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;唯一性来自基的线性无关性。
交集保留的是两个子空间共同拥有的向量,和空间收集的是来自两边的所有线性组合。维数公式的减项正是在扣除交集被重复计算的部分。
条件:\(U\)、\(W\) 是有限维线性空间 \(V\) 的子空间。
结论:\(dim(U+W)=dim U+dim W\)-\(dim(U\cap W)\)。
检查:先求交空间的一组基,再把交空间基分别扩充到 \(U\)、\(W\) 的基,最后数出和空间的基。
直和强调两件事同时成立:每个向量都能拆成两部分,而且拆法唯一。覆盖性解决‘能不能拆’,零交集解决‘会不会有两种拆法’。
条件:\(U\)、\(W\) 是 \(V\) 的子空间。
结论:\(V=U\oplus W\),当且仅当 \(V=U+W\) 且 \(U\cap W=\{0\}\)。
检查:覆盖性保证分解存在,交集为零保证分解唯一。
条件:\(V=U\oplus W\),\(B_U\)、\(B_W\) 分别是 \(U\)、\(W\) 的基。
结论:把 \(B_U\) 与 \(B_W\) 中的向量按任意顺序拼接,所得向量组是 \(V\) 的一组基。
检查:分别利用直和分解的存在性和唯一性证明生成性与线性无关性。
有限维线性空间的线性结构由维数刻画。同一数域上维数相同的两个空间可以把一组基逐一对应,从而得到线性同构。
条件:\(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\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 后再比较,不能凭符号顺序猜测。
特征向量是在线性变换下方向不变的向量,特征值是沿该方向的伸缩倍数。先求特征多项式找允许的伸缩倍数,再解齐次方程找对应方向。
条件:\(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\) 线性无关。
检查:这是判断可对角化和构造特征基的基础。
对角化是在寻找一组最合适的基,使变换对每个基向量只做单独伸缩。这样的基必须由足够多的线性无关特征向量组成,\(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\) 必可对角化。
检查:由不同特征值的特征向量线性无关直接得到。
核描述被变换压到零的方向,值域描述变换真正能到达的方向。它们分别回答‘哪些信息丢失了’和‘输出落在哪’,秩-零化度定理把二者与定义域维数连起来。
条件:\(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\) 将一组基映成一组基彼此等价。
检查:有限维且定义域和值域相同是使用这组等价条件的前提。
不变子空间是变换作用后仍留在原子空间中的‘封闭区域’。如果整个空间能拆成若干不变子空间的直和,变换就能分块研究;特征空间是最重要的例子。
条件:\(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\) 上的限制矩阵,再按块放置。
λ-矩阵把数矩阵提升为多项式矩阵,用来研究矩阵或线性变换的结构。它的行列式和初等变换把‘解方程’推广为‘分析一个矩阵的整体标准形’。
条件:\(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)\) 的多项式倍清零第一行和第一列;对剩余子矩阵重复。
不变因子是 λ-矩阵标准形里最稳定的一串多项式,它们按整除链排列,完整记录了矩阵在相抵意义下的结构。
条件: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\),于是它们直接指向 Jordan 块大小。
条件:不变因子 \(d_i(λ)\) 在 P[λ] 中分解为首一不可约因子幂。
结论:把每个 \(d_i\) 的不可约因子幂逐项列出,得到全部初等因子;初等因子的乘积等于特征多项式。
检查:同一不可约因子不同幂次要分别保留。
条件:\(A\)、\(B\) 的 λ-矩阵具有相同的初等因子。
结论:\(A\)、\(B\) 具有相同的有理相似结构;在复数域上,初等因子 (λ-\(λ_i)^k\) 对应 k 阶 Jordan 块。
检查:块的阶数是幂指数 k,不是特征值的个数。
Jordan 标准形是在特征向量不够时仍尽量把矩阵化简。每个 Jordan 块沿对角线放特征值,紧邻上方的 1 记录广义特征向量之间的串联关系;块长越大,越不能对角化。
条件:\(\lambda\) 为特征值,k 为正整数。
结论:\(J_k(\lambda)\) 的主对角线为 \(\lambda\),紧邻上方为 1,其余元素为 0。
检查:确认 1 的位置和块的阶数,避免与对角矩阵混淆。
条件:\(A\) 的特征多项式在数域中完全分裂。
结论:存在可逆 \(P\),使 \(P^{\)-\(1}AP\) 为若干 Jordan 块的分块对角矩阵,且除块排列外唯一。
检查:块的阶数总和等于 \(A\) 的阶数,所有块对角线特征值的重数与特征多项式一致。
条件:\(A\) 已写成 Jordan 标准形。
结论:\(A\) 可对角化当且仅当所有 Jordan 块都是 1 阶;出现大于 1 阶块时不可对角化。
检查:不要只看特征值是否重复,要看每个特征值的几何重数和块大小。
数矩阵的相似问题可以转化成 λ-矩阵的相抵问题:把 \(A\) 换成 λI-\(A\) 后,矩阵相似所保留的结构就被不变因子记录下来。这条桥梁连接了线性变换、特征值和标准形。
条件:\(A\)、\(B\) 为同阶数域矩阵。
结论:\(A\sim B\),当且仅当 \(\lambda E\)-\(A\) 与 \(\lambda E\)-\(B\) 在 \(P[\lambda]\) 上相抵;等价地,\(A\)、\(B\) 的不变因子相同。
检查:相似矩阵还具有相同的特征多项式、最小多项式和初等因子;比较时要使用完整结构信息。
内积把抽象向量空间重新装上长度和角度,使‘正交’有了代数定义。欧氏空间的后续内容都依赖这四条性质,尤其是正定性保证非零向量长度不为零。
条件:\(V\) 是实数域上线性空间,函数 \((\alpha,\beta)\) 满足对称性、线性和正定性。
结论:\((\alpha,\beta)\) 是 \(V\) 上的内积;\(\lVert\alpha\rVert=\sqrt{(\alpha,\alpha)}\) 是范数;\(\alpha\perp\beta\) 表示 \((\alpha,\beta)=0\)。
检查:正交符号写作 \(\perp\);检查具体公式时要逐条验证内积的四条性质。
条件:\(V\) 是内积空间,\(\alpha,\beta\in V\)。
结论:\(|(\alpha,\beta)|\le\lVert\alpha\rVert\lVert\beta\rVert\),等号当且仅当两向量线性相关。
检查:用它可证明夹角定义合理以及正交分解的唯一性。
正交变换是欧氏空间中的刚性变换,保留内积、长度和角度。矩阵语言中,它的列向量组成标准正交组,所以逆矩阵可以直接用转置代替。
条件:Q 为 n 阶实矩阵。
结论:Q 正交当且仅当 \(Q^TQ=I\);等价地,Q 的列向量构成标准正交基,且 \(Q^{\)-\(1}=Q^T\)。
检查:检查每列长度为 1、不同列内积为 0。
条件:\(T\) 的矩阵 Q 为正交矩阵。
结论:\((Qx)^T(Qy)=x^Ty\),因此 \(T\) 保持内积、长度、夹角和正交关系。
检查:取 \(y=x\) 可得到长度保持。
实对称矩阵的正交标准形把第 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 正交化并单位化。
10 张
看到什么:看到题干给出 \(T(e_i)\)、基向量的像、线性变换在某组基下的矩阵。
第一步:先固定基,把第 j 个基向量的像写成坐标列,按列放进矩阵 \(A\)。
看到什么:看到新基、旧基、换基矩阵 \(P\)、同一线性变换在不同基下的矩阵。
第一步:先写清楚 \(P\) 的列:\(P\) 的第 j 列是新基向量在旧基下的坐标。
看到什么:看到求特征值、特征多项式、判断根、矩阵特征系统。
第一步:按课本方法先写出 \(\lambda I\)-\(A\),再展开 \(det(\lambda I\)-A)。
看到什么:看到已知特征值、求特征向量、求特征子空间、几何重数。
第一步:对每个特征值单独解齐次线性方程组 (A-\(\lambda I)x=0\)。
看到什么:看到判断是否可对角化、求 \(P\) 和 \(D\)、是否存在一组特征向量基。
第一步:先求所有特征值及其特征空间维数,看线性无关特征向量总数是否等于 n。
看到什么:看到 \(A(W)\subseteq W\)、子空间在变换下是否封闭、限制变换。
第一步:取 \(W\) 的一组基,分别乘 \(A\),检查结果能否由 \(W\) 的基线性表示。
看到什么:看到 \(V=U\oplus W\)、不变子空间直和、分块对角矩阵。
第一步:先分别判断 \(U\)、\(W\) 是否不变,再判断 U+W 是否覆盖全空间且交只有零向量。
看到什么:看到 Jordan 标准形、行列式因子、不变因子、初等因子、Jordan 块大小。
第一步:先写 \(\lambda E\)-\(A\),求各阶子式的首一最大公因式得到行列式因子,再求不变因子和初等因子。
看到什么:看到正交矩阵、正交变换、保持长度、保持内积、\(Q^TQ\)。
第一步:优先检查列向量:每列长度为 1,不同列内积为 0。
看到什么:看到对称矩阵、二次型、正交对角化、实特征值、不同特征值特征向量正交。
第一步:先判断 \(A^T=A\),再联系二次型和正交对角化结论。
7 张
题目:设 \(T,S\) 是有限维线性空间 \(V\) 上的线性变换。证明:若它们在同一组有序基 \(B=(e_1,\ldots,e_n)\) 下的矩阵相同,则 \(T=S\)。
证明入口:固定一个基向量 \((e_j)\),解释相同的第 j 列分别表示什么。
题目:设线性变换 \(T\) 在旧基 \(E\) 下的矩阵为 \(A\),在新基 \(F\) 下的矩阵为 \(C\)。若 \(P\) 的列是新基向量在旧基下的坐标,证明 \(C=P^{-1}AP\)。
证明入口:\(P\) 的列是新基在旧基下坐标,先写任意 x 的两种坐标关系。
题目:设 \(v_1,\ldots,v_m\) 分别是线性变换 \(T\) 属于两两不同特征值 \(\lambda_1,\ldots,\lambda_m\) 的特征向量。证明 \(v_1,\ldots,v_m\) 线性无关。
证明入口:对特征向量个数 m 作归纳,先说明 \(m=1\)。
题目:证明:若 \(n\) 阶矩阵 \(A\) 有 \(n\) 个两两不同的特征值,则 \(A\) 可对角化。
证明入口:为每个特征值选择什么向量?
题目:设 \(V=U\oplus W\)。证明:每个 \(v\in V\) 都能唯一表示为 \(v=u+w\),其中 \(u\in U,w\in W\)。
证明入口:直和条件中的哪一部分保证每个 v 能写成 u+w?
题目:设 \(Q\) 是实正交矩阵。证明:对任意向量 \(x,y\),有 \(\langle Qx,Qy\rangle=\langle x,y\rangle\),并说明它保持向量长度。
证明入口:把 ⟨Qx,Qy⟩ 写成矩阵乘法。
题目:设 \(A\) 是实对称矩阵,\(v,w\) 分别属于不同特征值 \(\lambda,\mu\)。证明 \(v\perp w\)。
证明入口:计算 (Av)ᵀw,并用 \(Av=λv\)。
去重精选
题目:设 \(\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\) 化成行最简形求核;由主元列确定值域。最后分别把核基、值域基扩充成整空间的基,并再次使用相似变换。四问共用同一个矩阵,前一步的结果会直接成为后一步的工具。
答案:\([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\);值域基是否取自原矩阵主元列;新矩阵是否分别出现核对应的零列和值域对应的零行。
题目:设 \((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)\) 关系。
答案:\((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) 的非对角元决定的。
题目:求矩阵 \(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,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\) 检查。
题目:设线性变换 \(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)\) 下的矩阵,并说明其分块结构。
思路:判断不变性时,只需计算每个子空间的一组基向量的像,并把像重新表示为该组基的线性组合。证明直和时,把两组基拼成过渡矩阵并检查其行列式。最后将四个像在新基下的坐标按列排列,即可得到分块对角矩阵。
答案:\(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}\)。
检查提示:依次检查四件事:每个子空间的基向量的像是否仍在原子空间;两组基拼接后是否线性无关;直和是否同时满足覆盖与交为零;新矩阵的零非对角块是否与两个子空间的不变性一致。
题目:设三元二次型 \(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\)。
答案:\(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 处理。