线代笔记

行列式

乘法与余子式

同阶方阵:∣AB∣=∣A∣∣B∣|AB|=|A||B|。

  • 余子式 MijM_{ij}:划去第 ii 行第 jj 列后剩下的 n−1n-1 阶行列式(不乘 aija_{ij})
  • 代数余子式 Aij=(−1)i+jMijA_{ij}=(-1)^{i+j}M_{ij}

特殊行列式

副对角线:

∣0⋯a1n⋮⋅..⋮an1⋯0∣=(−1)n(n−1)2a1na2,n−1⋯an1\begin{vmatrix} 0&\cdots&a_{1n}\\ \vdots&\cdot^{..}&\vdots\\ a_{n1}&\cdots&0 \end{vmatrix} =(-1)^{\frac{n(n-1)}{2}}a_{1n}a_{2,n-1}\cdots a_{n1}

分块(拉普拉斯):

∣AOOB∣=∣A∣∣B∣,∣OABO∣=(−1)mn∣A∣∣B∣\begin{vmatrix}A&O\\O&B\end{vmatrix}=|A||B|,\qquad \begin{vmatrix}O&A\\B&O\end{vmatrix}=(-1)^{mn}|A||B|

(AA 为 mm 阶,BB 为 nn 阶。按对角块逐次展开时,符号由跨越的行数×列数的奇偶决定。)

范德蒙德:

∣11⋯1x1x2⋯xn⋮⋮⋮x1n−1x2n−1⋯xnn−1∣=∏1≤i<j≤n(xj−xi)\begin{vmatrix} 1&1&\cdots&1\\ x_1&x_2&\cdots&x_n\\ \vdots&\vdots&&\vdots\\ x_1^{n-1}&x_2^{n-1}&\cdots&x_n^{n-1} \end{vmatrix} =\prod_{1\le i<j\le n}(x_j-x_i)

克拉默法则

系数行列式 DD,把第 ii 列换成常数列得 DiD_i。

  • D≠0D\neq0:唯一解 xi=Di/Dx_i=D_i/D
  • D=0D=0:无解或无穷解
  • 齐次: D≠0D\neq0 仅零解;D=0D=0 有非零解

矩阵

矩阵多项式 · 分块幂

f(x)=a0+a1x+⋯+amxm⇒f(A)=a0E+a1A+⋯+amAmf(x)=a_0+a_1x+\cdots+a_mx^m\Rightarrow f(A)=a_0E+a_1A+\cdots+a_mA^m。

[AOOB]n=[AnOOBn],[OABO]2=[ABOOBA],[OABO]3=[OABABABO]\begin{bmatrix}A&O\\O&B\end{bmatrix}^{n} =\begin{bmatrix}A^{n}&O\\O&B^{n}\end{bmatrix},\quad \begin{bmatrix}O&A\\B&O\end{bmatrix}^{2} =\begin{bmatrix}AB&O\\O&BA\end{bmatrix},\quad \begin{bmatrix}O&A\\B&O\end{bmatrix}^{3} =\begin{bmatrix}O&ABA\\BAB&O\end{bmatrix}

转置 · 逆 · 对称类

(kA)T=kAT, (A+B)T=AT+BT, (AB)T=BTAT, [ABCD]T=[ATCTBTDT](kA)^{\mathrm{T}}=kA^{\mathrm{T}},\ (A+B)^{\mathrm{T}}=A^{\mathrm{T}}+B^{\mathrm{T}},\ (AB)^{\mathrm{T}}=B^{\mathrm{T}}A^{\mathrm{T}},\ \begin{bmatrix}A&B\\C&D\end{bmatrix}^{\mathrm{T}} =\begin{bmatrix}A^{\mathrm{T}}&C^{\mathrm{T}}\\B^{\mathrm{T}}&D^{\mathrm{T}}\end{bmatrix} (kA)−1=1kA−1, (AB)−1=B−1A−1, (AT)−1=(A−1)T, ∣A−1∣=∣A∣−1(kA)^{-1}=\frac1k A^{-1},\ (AB)^{-1}=B^{-1}A^{-1},\ (A^{\mathrm{T}})^{-1}=(A^{-1})^{\mathrm{T}},\ |A^{-1}|=|A|^{-1}

r(AAT)=r(ATA)=r(A)r(AA^{\mathrm{T}})=r(A^{\mathrm{T}}A)=r(A)。

对称与奇(反)对称

定义要点
对称AT=AA^{\mathrm{T}}=A可正交对角化;不同特征值特征向量正交;同一个特征值对应的多个特征向量不一定正交,但一定无关
奇对称AT=−AA^{\mathrm{T}}=-A(aji=−aija_{ji}=-a_{ij},对角元 =0=0)见下

奇对称性质:

  • ∣A∣=(−1)n∣A∣|A|=(-1)^n|A| ⇒\Rightarrow nn 奇则 ∣A∣=0|A|=0(必奇异)
  • xTAx=0\boldsymbol x^{\mathrm{T}}A\boldsymbol x=0
  • 实奇对称:特征值是 00 或纯虚数;λ\lambda 是特征值则 −λ-\lambda 也是
  • nn 偶且可逆时,A−1A^{-1} 仍奇对称
  • 任意方阵 A=A+AT2+A−AT2A=\dfrac{A+A^{\mathrm{T}}}{2}+\dfrac{A-A^{\mathrm{T}}}{2}(对称 + 奇对称)

伴随矩阵 A∗A^{*}

有伴随不必可逆。A∗A^{*} 为代数余子式矩阵的转置:

AA∗=A∗A=∣A∣E,∣A∗∣=∣A∣n−1AA^{*}=A^{*}A=|A|E,\qquad |A^{*}|=|A|^{n-1} A∗=∣A∣A−1 (A 可逆),A−1=1∣A∣A∗,(A∗)∗=∣A∣n−2A (n≥2)A^{*}=|A|A^{-1}\ (A\text{ 可逆}),\quad A^{-1}=\frac1{|A|}A^{*},\quad (A^{*})^{*}=|A|^{n-2}A\ (n\ge2) (AT)∗=(A∗)T, (A−1)∗=(A∗)−1, (AB)∗=B∗A∗, (kA)∗=kn−1A∗(A^{\mathrm{T}})^{*}=(A^{*})^{\mathrm{T}},\ (A^{-1})^{*}=(A^{*})^{-1},\ (AB)^{*}=B^{*}A^{*},\ (kA)^{*}=k^{n-1}A^{*}

行和读行列式: Ae=keA\boldsymbol e=k\boldsymbol e、A∗e=meA^{*}\boldsymbol e=m\boldsymbol e(e\boldsymbol e 全 1 向量)⇒∣A∣=km\Rightarrow|A|=km(用 AA∗=∣A∣EAA^{*}=|A|E)。

初等矩阵与求逆

类型记号例转置 / 逆
倍乘Ei(k)E_i(k)自转置;Ei(1/k)E_i(1/k)
互换EijE_{ij}自转置;自身为逆
倍加Eij(k)E_{ij}(k)Eji(k)E_{ji}(k);Eij(−k)E_{ij}(-k)

三种初等变换的具体操作(k≠0k\neq0,i≠ji\neq j):

类型对单位阵做什么左乘 PAPA(行变换)右乘 AQAQ(列变换)
倍乘 Ei(k)E_i(k)第 ii 行(列)乘 kkAA 第 ii 行乘 kkAA 第 ii 列乘 kk
互换 EijE_{ij}第 i,ji,j 行(列)对调AA 第 i,ji,j 行互换AA 第 i,ji,j 列互换
倍加 Eij(k)E_{ij}(k)第 jj 行的 kk 倍加到第 ii 行AA 第 jj 行的 kk 倍加到第 ii 行AA 第 ii 列的 kk 倍加到第 jj 列

三阶的样子(倍加阵的 kk 在 (i,j)(i,j) 位,i≠ji\neq j):

E2(k)=[1000k0001],E13=[001010100],E13(k)=[10k010001]E_2(k)=\begin{bmatrix}1&0&0\\0&k&0\\0&0&1\end{bmatrix},\quad E_{13}=\begin{bmatrix}0&0&1\\0&1&0\\1&0&0\end{bmatrix},\quad E_{13}(k)=\begin{bmatrix}1&0&k\\0&1&0\\0&0&1\end{bmatrix}

例:E13(2)E_{13}(2) 左乘某矩阵,就是把该矩阵第 3 行的 2 倍加到第 1 行:

E13(2)[abcdefghi]=[a+2gb+2hc+2idefghi]E_{13}(2)\begin{bmatrix}a&b&c\\d&e&f\\g&h&i\end{bmatrix} =\begin{bmatrix}a+2g&b+2h&c+2i\\d&e&f\\g&h&i\end{bmatrix}

记法:倍加阵里只有一个非对角元 kk,它在 (i,j)(i,j) 位 → 左乘时”第 jj 行加进第 ii 行”,右乘时”第 ii 列加进第 jj 列”。看 kk 的位置最稳,不用死记方向。

  • 行变换 == 左乘初等阵;列变换 == 右乘初等阵
  • 可逆阵 == 有限个初等阵之积;[A∣E]→行[E∣A−1][A|E]\xrightarrow{\text{行}}[E|A^{-1}];[AE]→列[EA−1]\begin{bmatrix}A\\E\end{bmatrix}\xrightarrow{\text{列}}\begin{bmatrix}E\\A^{-1}\end{bmatrix}

分块矩阵的逆

[AOOB]−1=[A−1OOB−1],[OABO]−1=[OB−1A−1O]\begin{bmatrix}A&O\\O&B\end{bmatrix}^{-1} =\begin{bmatrix}A^{-1}&O\\O&B^{-1}\end{bmatrix},\quad \begin{bmatrix}O&A\\B&O\end{bmatrix}^{-1} =\begin{bmatrix}O&B^{-1}\\A^{-1}&O\end{bmatrix}
块阵逆
[BODC]\begin{bmatrix}B&O\\D&C\end{bmatrix}[B−1O−C−1DB−1C−1]\begin{bmatrix}B^{-1}&O\\-C^{-1}DB^{-1}&C^{-1}\end{bmatrix}
[BDOC]\begin{bmatrix}B&D\\O&C\end{bmatrix}[B−1−B−1DC−1OC−1]\begin{bmatrix}B^{-1}&-B^{-1}DC^{-1}\\O&C^{-1}\end{bmatrix}
[OBCD]\begin{bmatrix}O&B\\C&D\end{bmatrix}[−C−1DB−1C−1B−1O]\begin{bmatrix}-C^{-1}DB^{-1}&C^{-1}\\B^{-1}&O\end{bmatrix}
[DBCO]\begin{bmatrix}D&B\\C&O\end{bmatrix}[OC−1B−1−B−1DC−1]\begin{bmatrix}O&C^{-1}\\B^{-1}&-B^{-1}DC^{-1}\end{bmatrix}

(均假定出现的对角块可逆。)

矩阵等价与秩

A,BA,B 同型:PAQ=BPAQ=B(P,QP,Q 可逆)⇔A≅B\Leftrightarrow A\cong B。等价标准型:

A≅[ErOOO],r=r(A).A\cong\begin{bmatrix}E_r&O\\O&O\end{bmatrix},\quad r=r(A).

A≅B⇔A∗≅B∗A\cong B\Leftrightarrow A^{*}\cong B^{*}(相似、合同对伴随同样成立:A∼B⇔A∗∼B∗A\sim B\Leftrightarrow A^{*}\sim B^{*},A≃B⇔A∗≃B∗A\simeq B\Leftrightarrow A^{*}\simeq B^{*})。
相似与合同互不蕴含。

秩的常用结论

r(A−B)≥∣r(A)−r(B)∣,r(AB)≤min⁡{r(A),r(B)},r(A+B)≤r([A,B])≤r(A)+r(B),r(A)=r(AT)=r(ATA)=r(AAT),P,Q 可逆⇒r(A)=r(PA)=r(AQ)=r(PAQ),AB=O⇒r(A)+r(B)≤n(A 为 m×n 等相应阶),r(AB)≥r(A)+r(B)−n(Sylvester),r(A)=n(列满)⇒r(AB)=r(B); r(B)=n(行满)⇒r(AB)=r(A),r[AOBC]≥r(A)+r(C),r(ABC)≥r(AB)+r(BC)−r(B).\begin{aligned} &r(A-B)\ge|r(A)-r(B)|,\quad r(AB)\le\min\{r(A),r(B)\},\\ &r(A+B)\le r([A,B])\le r(A)+r(B),\\ &r(A)=r(A^{\mathrm{T}})=r(A^{\mathrm{T}}A)=r(AA^{\mathrm{T}}),\\ &P,Q\text{ 可逆}\Rightarrow r(A)=r(PA)=r(AQ)=r(PAQ),\\ &AB=O\Rightarrow r(A)+r(B)\le n\quad(A\text{ 为 }m\times n\text{ 等相应阶}),\\ &r(AB)\ge r(A)+r(B)-n\quad(\text{Sylvester}),\\ &r(A)=n\text{(列满)}\Rightarrow r(AB)=r(B);\ r(B)=n\text{(行满)}\Rightarrow r(AB)=r(A),\\ &r\begin{bmatrix}A&O\\B&C\end{bmatrix}\ge r(A)+r(C),\quad r(ABC)\ge r(AB)+r(BC)-r(B). \end{aligned} r(A∗)={n,r(A)=n1,r(A)=n−10,r(A)<n−1r(A^{*})=\begin{cases} n,&r(A)=n\\ 1,&r(A)=n-1\\ 0,&r(A)<n-1 \end{cases}

秩 1

A=αβT⇒r(A)=1A=\boldsymbol\alpha\boldsymbol\beta^{\mathrm{T}}\Rightarrow r(A)=1,且 An=[tr⁡(A)]n−1AA^{n}=[\operatorname{tr}(A)]^{n-1}A。一般 r(A)=1⇒An=[tr⁡(A)]n−1Ar(A)=1\Rightarrow A^{n}=[\operatorname{tr}(A)]^{n-1}A。


向量

内积 · 正交 · 正交矩阵

(α,β)=αTβ(\boldsymbol\alpha,\boldsymbol\beta)=\boldsymbol\alpha^{\mathrm{T}}\boldsymbol\beta;正交 ⇔\Leftrightarrow 内积为 00。 ∥α∥=∑ai2\|\boldsymbol\alpha\|=\sqrt{\sum a_i^2};单位向量 ∥α∥=1\|\boldsymbol\alpha\|=1。

规范正交组:αiTαj=δij\boldsymbol\alpha_i^{\mathrm{T}}\boldsymbol\alpha_j=\delta_{ij}。

正交矩阵: ATA=AAT=E⇔AT=A−1⇔A^{\mathrm{T}}A=AA^{\mathrm{T}}=E\Leftrightarrow A^{\mathrm{T}}=A^{-1}\Leftrightarrow 行(列)组为规范正交基;
AT,A−1,A∗A^{\mathrm{T}},A^{-1},A^{*} 亦正交;特征值满足 ∣λ∣=1|\lambda|=1(实正交时常见 ±1\pm1 或共轭单位复根成对)。

线性相关 / 无关

无关:不存在不全为 00 的 kik_i 使 ∑kiαi=0\sum k_i\boldsymbol\alpha_i=\boldsymbol0。

  1. 相关 ⇔\Leftrightarrow 至少有一个向量可由其余线性表示
  2. α1,…,αn\boldsymbol\alpha_1,\dots,\boldsymbol\alpha_n 无关而添 β\boldsymbol\beta 后相关 ⇒β\Rightarrow\boldsymbol\beta 可由它们唯一表示
  3. β1,…,βt\boldsymbol\beta_1,\dots,\boldsymbol\beta_t 可由 α1,…,αs\boldsymbol\alpha_1,\dots,\boldsymbol\alpha_s 表示且 t>s⇒t>s\Rightarrow 相关
  4. 相关 ⇔\Leftrightarrow 齐次有非零解 ⇔r(α1,…,αm)<m\Leftrightarrow r(\boldsymbol\alpha_1,\dots,\boldsymbol\alpha_m)<m;列数 << 向量个数时必相关
  5. β\boldsymbol\beta 可由组表示 ⇔\Leftrightarrow 非齐次有解 ⇔r([α])=r([α,β])\Leftrightarrow r([\boldsymbol\alpha])=r([\boldsymbol\alpha,\boldsymbol\beta])
  6. 部分相关 ⇒\Rightarrow 整体相关;整体无关 ⇒\Rightarrow 部分无关
  7. 相关组增加分量仍相关;无关组删去相同分量仍无关

极大无关组 · 等价 · 秩

极大线性无关组: 子集无关,且组中其余向量均可由它表示(不唯一)。向量组与其极大无关组等价。

等价向量组 I≅III\cong II:可互相线性表示 ⇔r(I)=r(II)=r(I,II)\Leftrightarrow r(I)=r(II)=r(I,II)(传递)。

r(A)=r(A)= 行秩 == 列秩。行变换不改变行秩,列相关性不变;列变换类似。
若 II 可由 IIII 表示,则 r(II)≥r(I)r(II)\ge r(I)。

求极大无关组:处理行向量用列变换;处理列向量用行变换。

基 · 坐标 · 基变换 · 正交化

I={ξ1,…,ξn}I=\{\boldsymbol\xi_1,\dots,\boldsymbol\xi_n\} 无关且张成 RnR^n 则为基;α=∑aiξi\boldsymbol\alpha=\sum a_i\boldsymbol\xi_i 中 [a1,…,an][a_1,\dots,a_n] 为坐标。

过渡矩阵:II=ICII=IC;坐标变换 x=Cy\boldsymbol x=C\boldsymbol y(II 下 x\boldsymbol x,IIII 下 y\boldsymbol y)。

Gram–Schmidt:

β1=α1,βk=αk−∑i=1k−1(βi,αk)(βi,βi)βi,γk=βk∥βk∥.\boldsymbol\beta_1=\boldsymbol\alpha_1,\quad \boldsymbol\beta_{k}=\boldsymbol\alpha_k-\sum_{i=1}^{k-1}\frac{(\boldsymbol\beta_i,\boldsymbol\alpha_k)}{(\boldsymbol\beta_i,\boldsymbol\beta_i)}\boldsymbol\beta_i,\quad \boldsymbol\gamma_k=\frac{\boldsymbol\beta_k}{\|\boldsymbol\beta_k\|}.

线性方程组

解的判定

A=[α1,…,αn]A=[\boldsymbol\alpha_1,\dots,\boldsymbol\alpha_n],增广 [A⋮b][A\vdots\boldsymbol b](Aˉ\bar A)。

齐次 Ax=0Ax=\boldsymbol0: r(A)=nr(A)=n 仅零解;r(A)=r<nr(A)=r<n 无穷解,基础解系含 n−rn-r 个无关解(须线性无关)。

非齐次:

r(A)r(A) 与 r(Aˉ)r(\bar A)结论
不等无解
=n=n唯一解
=r<n=r<n无穷解

y1,y2\boldsymbol y_1,\boldsymbol y_2 为 Ax=bAx=\boldsymbol b 解,η\boldsymbol\eta 为齐次解 ⇒y1−y2\Rightarrow\boldsymbol y_1-\boldsymbol y_2 齐次解;ky+ηk\boldsymbol y+\boldsymbol\eta 仍为非齐次解。

步骤: 齐次通解 + 非齐次特解。

同解与公共解

同解:r(A)=r(B)=r[AB]r(A)=r(B)=r\begin{bmatrix}A\\B\end{bmatrix}(或秩相等且解集互含)⇔\Leftrightarrow 行向量组等价。

  • 齐次公共非零解 ⇔[AB]x=0\Leftrightarrow\begin{bmatrix}A\\B\end{bmatrix}\boldsymbol x=\boldsymbol0 有非零解
  • 非齐次公共解 ⇔r[AB]=r[AβBγ]\Leftrightarrow r\begin{bmatrix}A\\B\end{bmatrix}=r\begin{bmatrix}A&\boldsymbol\beta\\B&\boldsymbol\gamma\end{bmatrix}

注意:r([A B])=r([A B]T)=r[ATBT]r([A\ B])=r([A\ B]^{\mathrm{T}})=r\begin{bmatrix}A^{\mathrm{T}}\\B^{\mathrm{T}}\end{bmatrix},一般 ≠r([AT BT])\neq r([A^{\mathrm{T}}\ B^{\mathrm{T}}])。

三平面几何(Aα=βA\boldsymbol\alpha=\boldsymbol\beta)

行向量 αi\boldsymbol\alpha_i,增广行 βi\boldsymbol\beta_i。

有解:
① 交于一点 r=r(Aˉ)=3r=r(\bar A)=3 唯一;② 交于直线 r=r(Aˉ)=2r=r(\bar A)=2(βi\boldsymbol\beta_i 两两无关);③ 两面重合+第三相交 r=r(Aˉ)=2r=r(\bar A)=2(βi\boldsymbol\beta_i 有两相关);④ 三面重合 r=r(Aˉ)=1r=r(\bar A)=1。

无解:
⑤ 交线平行 r(A)=2,r(Aˉ)=3r(A)=2,r(\bar A)=3(αi\boldsymbol\alpha_i 两两无关);⑥ 两面平行+第三相交(αi\boldsymbol\alpha_i 有两相关);⑦ 三面平行不重合 r(A)=1,r(Aˉ)=2r(A)=1,r(\bar A)=2;⑧ 两面重合+第三平行(同上秩)。


特征值和特征向量

定义与计算

Aξ=λξA\boldsymbol\xi=\lambda\boldsymbol\xi(ξ≠0\boldsymbol\xi\neq\boldsymbol0)⇔∣λE−A∣=0\Leftrightarrow|\lambda E-A|=0(特征多项式),再解 (λE−A)ξ=0(\lambda E-A)\boldsymbol\xi=\boldsymbol0。

整系数特征多项式试根:有理根为整数且为常数项因子。

与矩阵的关系: ∣A∣=∏λi|A|=\prod\lambda_i,tr⁡(A)=∑λi\operatorname{tr}(A)=\sum\lambda_i;二阶主子式之和 == 两两特征值乘积之和。

向量性质: kk 重特征值至多 kk 个无关特征向量;不同特征值的特征向量无关;同特征值非零组合仍是特征向量;不同特征值的非平凡组合一般不是特征向量;一向量不能属于两个不同 λ\lambda。

运算对 λ,ξ\lambda,\boldsymbol\xi 的影响

矩阵特征值特征向量
AAλ\lambdaξ\boldsymbol\xi
kAkAkλk\lambdaξ\boldsymbol\xi
AkA^k / f(A)f(A)λk\lambda^k / f(λ)f(\lambda)ξ\boldsymbol\xi
A−1A^{-1}1/λ1/\lambdaξ\boldsymbol\xi
A∗A^{*}∥A∥/λ\|A\|/\lambdaξ\boldsymbol\xi
P−1APP^{-1}APλ\lambdaP−1ξP^{-1}\boldsymbol\xi
aE+bAaE+bAa+bλa+b\lambdaξ\boldsymbol\xi

f(A)=O⇒f(λ)=0f(A)=O\Rightarrow f(\lambda)=0。ATA^{\mathrm{T}} 与 AA 特征值相同,特征向量一般不同。
AA 的特征向量是 A∗A^{*}、A2A^2 等的特征向量,反之不定。

解的写法:kk 能否为 0

题目在求什么kk 能否为 0原因
特征向量k≠0k\neq0定义非零
基础解系中的向量通常 k≠0k\neq0代表元非零
齐次通解kk 任意含零解
非齐次通解kk 任意k=0k=0 即特解

多重特征值全部特征向量:k1ξ1+k2ξ2k_1\boldsymbol\xi_1+k_2\boldsymbol\xi_2,系数不全为 0(允许个别为 0)。

相似

P−1AP=B⇔A∼BP^{-1}AP=B\Leftrightarrow A\sim B(自反、对称、传递)。

必要条件: ∣A∣=∣B∣|A|=|B|,rr、tr⁡\operatorname{tr}、λ\lambda 相同;r(λE−A)r(\lambda E-A) 相同(几何重数);各阶主子式之和相等;进而 Ak∼BkA^k\sim B^k,f(A)∼f(B)f(A)\sim f(B),A−1∼B−1A^{-1}\sim B^{-1}(可逆时),A∗∼B∗A^{*}\sim B^{*},AT∼BTA^{\mathrm{T}}\sim B^{\mathrm{T}};块对角同样可分块相似。
若 L(A)=af(A)+bA−1+cA∗L(A)=af(A)+bA^{-1}+cA^{*},则 A∼B⇒L(A)∼L(B)A\sim B\Rightarrow L(A)\sim L(B)。

仅特征值相同 ⇏\nRightarrow 相似;实对称且特征值相同 ⇔\Leftrightarrow 相似。A∼ΛA\sim\Lambda 且 B∼Λ⇒A∼BB\sim\Lambda\Rightarrow A\sim B。

相似对角化 · 实对称

不能相似对角化 == 无 PP 使 P−1AP=ΛP^{-1}AP=\Lambda 对角;仍可能相似于非对角阵。

充要: nn 个无关特征向量 ⇔\Leftrightarrow 每个 kk 重特征值有 kk 个无关特征向量。
充分: nn 个互异特征值;或实对称。

P−1AP=Λ⇒A=PΛP−1P^{-1}AP=\Lambda\Rightarrow A=P\Lambda P^{-1},Ak=PΛkP−1A^k=P\Lambda^k P^{-1},f(A)=Pf(Λ)P−1f(A)=Pf(\Lambda)P^{-1}。

实对称:不同特征值特征向量正交;存在正交 QQ 使 QTAQ=diag⁡(λi)Q^{\mathrm{T}}AQ=\operatorname{diag}(\lambda_i)(正交对角化)。


二次型

定义 · 合同 · 变换

f=xTAxf=\boldsymbol x^{\mathrm{T}}A\boldsymbol x(AA 对称),秩 =r(A)=r(A)。x=Cy\boldsymbol x=C\boldsymbol y(CC 可逆)⇒f=yT(CTAC)y\Rightarrow f=\boldsymbol y^{\mathrm{T}}(C^{\mathrm{T}}AC)\boldsymbol y。
CTAC=B⇔A≃BC^{\mathrm{T}}AC=B\Leftrightarrow A\simeq B(合同:自反、对称、传递;保秩;对称性保持)。

标准型 d1x12+⋯+dnxn2d_1x_1^2+\cdots+d_nx_n^2;规范型 ±x12±⋯±xn2\pm x_1^2\pm\cdots\pm x_n^2。

  • 合同对角化:存在可逆 CC,CTAC=ΛC^{\mathrm{T}}AC=\Lambda(对角为 did_i 或 ±1\pm1)——异于相似对角化
  • 正交变换:存在正交 QQ,QTAQ=diag⁡(λi)Q^{\mathrm{T}}AQ=\operatorname{diag}(\lambda_i);所得标准型系数唯一,即特征值

惯性定理 · 合同判定

正惯性指数 pp、负惯性指数 qq 在可逆变换下不变;r(A)=p+qr(A)=p+q。

合同 ⇔\Leftrightarrow p,qp,q 相同 ⇔\Leftrightarrow rr 同且 pp(或 qq)同 ⇔\Leftrightarrow 正/负特征值个数相同。

半正定与正定

y=ATx⇒yTy=xT(AAT)x≥0\boldsymbol y=A^{\mathrm{T}}\boldsymbol x\Rightarrow\boldsymbol y^{\mathrm{T}}\boldsymbol y=\boldsymbol x^{\mathrm{T}}(AA^{\mathrm{T}})\boldsymbol x\ge0,故 AATAA^{\mathrm{T}}、ATAA^{\mathrm{T}}A 半正定;正惯性指数 =r(A)=r(A)。

正定(x≠0⇒xTAx>0\boldsymbol x\neq\boldsymbol0\Rightarrow\boldsymbol x^{\mathrm{T}}A\boldsymbol x>0)⇔\Leftrightarrow p=n⇔p=n\Leftrightarrow 存在可逆 DD,A=DTD⇔A≃E⇔λi>0⇔A=D^{\mathrm{T}}D\Leftrightarrow A\simeq E\Leftrightarrow\lambda_i>0\Leftrightarrow 全部顺序主子式 >0>0。

正定 ⇒\Rightarrow aii>0a_{ii}>0,∣A∣>0|A|>0;A,BA,B 正定 ⇒A+B\Rightarrow A+B 与 diag⁡(A,B)\operatorname{diag}(A,B) 正定;
A−1,A∗,Am,kA (k>0),CTACA^{-1},A^{*},A^{m},kA\ (k>0),C^{\mathrm{T}}AC(CC 可逆)正定。