《线性代数》期末复习知识总结
线性相关与线性无关
核心知识点
1. 线性组合与线性表示
- 线性组合:设有 mmm 个 nnn 维向量 α1,⋯ ,αm\alpha_1,\cdots,\alpha_mα1,⋯,αm,有 mmm 个数 k1,⋯ ,kmk_1,\cdots,k_mk1,⋯,km,则 k1α1+⋯+kmαmk_1\alpha_1+\cdots+k_m\alpha_mk1α1+⋯+kmαm 称为 α1,⋯ ,αm\alpha_1,\cdots,\alpha_mα1,⋯,αm 的线性组合。
- 线性表示:给定向量组 A:α1,⋯ ,αmA:\alpha_1,\cdots,\alpha_mA:α1,⋯,αm 和向量 bbb,若存在一组数 λ1,⋯ ,λm\lambda_1,\cdots,\lambda_mλ1,⋯,λm,使得 λ1α1+⋯+λmαm=b\lambda_1\alpha_1+\cdots+\lambda_m\alpha_m=bλ1α1+⋯+λmαm=b,则称 bbb 能由向量组 AAA 线性表示。
- 判定定理:向量 bbb 能由 AAA 线性表示 ⇔r(A)=r(A∣b)\Leftrightarrow r(A)=r(A|b)⇔r(A)=r(A∣b)(AAA 为向量组构成的矩阵,A∣bA|bA∣b 为增广矩阵)。
2. 线性相关与线性无关
- 线性相关:对 nnn 维向量组 α1,⋯ ,αs\alpha_1,\cdots,\alpha_sα1,⋯,αs,若存在不全为零的数 k1,⋯ ,ksk_1,\cdots,k_sk1,⋯,ks,使得 k1α1+⋯+ksαs=0k_1\alpha_1+\cdots+k_s\alpha_s=0k1α1+⋯+ksαs=0,则称该向量组线性相关。
- 线性无关:若仅当 k1=⋯=ks=0k_1=\cdots=k_s=0k1=⋯=ks=0 时,k1α1+⋯+ksαs=0k_1\alpha_1+\cdots+k_s\alpha_s=0k1α1+⋯+ksαs=0 成立,则称该向量组线性无关。
3. 判定方法
(1)定义法
- 假设 k1α1+⋯+ksαs=0k_1\alpha_1+\cdots+k_s\alpha_s=0k1α1+⋯+ksαs=0,求解方程组,若有非零解则相关,仅有零解则无关。
(2)矩阵秩法
- 设 A=(α1,⋯ ,αs)A=(\alpha_1,\cdots,\alpha_s)A=(α1,⋯,αs)(列向量组),则:
- 向量组相关 ⇔r(A)<s\Leftrightarrow r(A)<s⇔r(A)<s。
- 向量组无关 ⇔r(A)=s\Leftrightarrow r(A)=s⇔r(A)=s。
- 特例:nnn 个 nnn 维向量组相关 ⇔∣A∣=0\Leftrightarrow |A|=0⇔∣A∣=0;无关 ⇔∣A∣≠0\Leftrightarrow |A|\neq0⇔∣A∣=0。
(3)性质法
- 含有零向量的向量组必相关。
- 单独的零向量相关,单独的非零向量无关。
- 成比例的两个向量必相关。
- n+1n+1n+1 个 nnn 维向量组必相关。
- 若 α1,⋯ ,αs\alpha_1,\cdots,\alpha_sα1,⋯,αs 无关,α1,⋯ ,αs,β\alpha_1,\cdots,\alpha_s,\betaα1,⋯,αs,β 相关,则 β\betaβ 可由 α1,⋯ ,αs\alpha_1,\cdots,\alpha_sα1,⋯,αs 唯一线性表示。
- 相关组添加向量仍相关;无关组减少向量仍无关。
向量组的秩和极大线性无关组
核心知识点
1. 向量组的等价
- 线性表示:若向量组 B:β1,⋯ ,β−nB:\beta_1,\cdots,\beta-nB:β1,⋯,β−n 中每个向量都可由向量组 A:α1,⋯ ,αmA:\alpha_1,\cdots,\alpha_mA:α1,⋯,αm 线性表示,则称 BBB 可由 AAA 线性表示。
- 等价定义:若 AAA 与 BBB 互相线性表示,则称 AAA 与 BBB 等价,记为 A≅BA\cong BA≅B。
- 判定定理:A≅B⇔r(A)=r(B)=r(A∣B)A\cong B\Leftrightarrow r(A)=r(B)=r(A|B)A≅B⇔r(A)=r(B)=r(A∣B)。
2. 极大线性无关组
- 定义:设向量组 AAA 的一个部分组 αi1,⋯ ,αir\alpha_{i1},\cdots,\alpha_{ir}αi1,⋯,αir 满足:
- 线性无关。
- 向量组 AAA 中任意 r+1r+1r+1 个向量(若存在)都线性相关,则称该部分组为 AAA 的极大线性无关组。
- 性质:
- 向量组与它的极大线性无关组等价。
- 同一向量组的极大线性无关组所含向量个数相同。
- 求法:将向量组构成矩阵,作行初等变换化为行阶梯形,主元所在列对应的原向量即为极大线性无关组。
3. 向量组的秩
- 定义:极大线性无关组中所含向量的个数称为向量组的秩,记为 r(α1,⋯ ,αm)r(\alpha_1,\cdots,\alpha_m)r(α1,⋯,αm)。
- 性质:
- r(α1,⋯ ,αm)=r(A)r(\alpha_1,\cdots,\alpha_m)=r(A)r(α1,⋯,αm)=r(A)(AAA 为向量组构成的矩阵)。
- 若 BBB 可由 AAA 线性表示,则 r(B)≤r(A)r(B)\leq r(A)r(B)≤r(A)。
- 若 A≅BA\cong BA≅B,则 r(A)=r(B)r(A)=r(B)r(A)=r(B)。
4. 向量空间
- 定义:全体 nnn 维向量连同向量的加法和数乘运算构成 nnn 维向量空间,记为 Rn\mathbb{R}^nRn。
- 基与维数:
- 基:若向量空间 WWW 中 mmm 个向量 α1,⋯ ,αm\alpha_1,\cdots,\alpha_mα1,⋯,αm 无关,且 ∀β∈W\forall\beta\in W∀β∈W 都可由其线性表示,则称 α1,⋯ ,αm\alpha_1,\cdots,\alpha_mα1,⋯,αm 为 WWW 的一个基。
- 维数:基中所含向量的个数,记为 dimW=m\dim W=mdimW=m。
- 坐标:设 α1,⋯ ,αm\alpha_1,\cdots,\alpha_mα1,⋯,αm 为 WWW 的基,β=k1α1+⋯+kmαm\beta=k_1\alpha_1+\cdots+k_m\alpha_mβ=k1α1+⋯+kmαm,则 (k1,⋯ ,km)T(k_1,\cdots,k_m)^T(k1,⋯,km)T 为 β\betaβ 在该基下的坐标。
- 过渡矩阵:设 α1,⋯ ,αn\alpha_1,\cdots,\alpha_nα1,⋯,αn 与 β1,⋯ ,βn\beta_1,\cdots,\beta_nβ1,⋯,βn 为 Rn\mathbb{R}^nRn 的两个基,若 (β1,⋯ ,βn)=(α1,⋯ ,αn)C(\beta_1,\cdots,\beta_n)=(\alpha_1,\cdots,\alpha_n)C(β1,⋯,βn)=(α1,⋯,αn)C,则 CCC 为从 α1,⋯ ,αn\alpha_1,\cdots,\alpha_nα1,⋯,αn 到 β1,⋯ ,βn\beta_1,\cdots,\beta_nβ1,⋯,βn 的过渡矩阵,且 CCC 可逆。
线性方程组(一)
核心知识点
1. 三种形式
(1)齐次线性方程组
- 方程形式:{a11x1+a12x2+⋯+a1nxn=0a21x1+a22x2+⋯+a2nxn=0⋮am1x1+am2x2+⋯+amnxn=0\begin{cases}a_{11}x_1+a_{12}x_2+\cdots+a_{1n}x_n=0\\a_{21}x_1+a_{22}x_2+\cdots+a_{2n}x_n=0\\\vdots\\a_{m1}x_1+a_{m2}x_2+\cdots+a_{mn}x_n=0\end{cases}⎩⎨⎧a11x1+a12x2+⋯+a1nxn=0a21x1+a22x2+⋯+a2nxn=0⋮am1x1+am2x2+⋯+amnxn=0
- 矩阵形式:Ax=0Ax=0Ax=0(AAA 为 m×nm\times nm×n 系数矩阵,x=(x1,⋯ ,xn)Tx=(x_1,\cdots,x_n)^Tx=(x1,⋯,xn)T 为未知数向量)。
- 向量形式:x1α1+x2α2+⋯+xnαn=0x_1\alpha_1+x_2\alpha_2+\cdots+x_n\alpha_n=0x1α1+x2α2+⋯+xnαn=0(αj\alpha_jαj 为 AAA 的列向量)。
(2)非齐次线性方程组
- 方程形式:{a11x1+a12x2+⋯+a1nxn=b1a21x1+a22x2+⋯+a2nxn=b2⋮am1x1+am2x2+⋯+amnxn=bm\begin{cases}a_{11}x_1+a_{12}x_2+\cdots+a_{1n}x_n=b_1\\a_{21}x_1+a_{22}x_2+\cdots+a_{2n}x_n=b_2\\\vdots\\a_{m1}x_1+a_{m2}x_2+\cdots+a_{mn}x_n=b_m\end{cases}⎩⎨⎧a11x1+a12x2+⋯+a1nxn=b1a21x1+a22x2+⋯+a2nxn=b2⋮am1x1+am2x2+⋯+amnxn=bm(b1,⋯ ,bmb_1,\cdots,b_mb1,⋯,bm 不全为0)。
- 矩阵形式:Ax=bAx=bAx=b(b=(b1,⋯ ,bm)Tb=(b_1,\cdots,b_m)^Tb=(b1,⋯,bm)T 为常数项向量)。
- 向量形式:x1α1+x2α2+⋯+xnαn=bx_1\alpha_1+x_2\alpha_2+\cdots+x_n\alpha_n=bx1α1+x2α2+⋯+xnαn=b。
2. 方程组有解定理
(1)非齐次线性方程组 Ax=bAx=bAx=b
- 无解 ⇔r(A)≠r(A‾)\Leftrightarrow r(A)\neq r(\overline{A})⇔r(A)=r(A)(A‾=(A∣b)\overline{A}=(A|b)A=(A∣b) 为增广矩阵)。
- 有唯一解 ⇔r(A)=r(A‾)=n\Leftrightarrow r(A)=r(\overline{A})=n⇔r(A)=r(A)=n(nnn 为未知数个数)。
- 有无穷多解 ⇔r(A)=r(A‾)<n\Leftrightarrow r(A)=r(\overline{A})<n⇔r(A)=r(A)<n。
(2)齐次线性方程组 Ax=0Ax=0Ax=0
- 必有零解。
- 有非零解 ⇔r(A)<n\Leftrightarrow r(A)<n⇔r(A)<n。
- 仅有零解 ⇔r(A)=n\Leftrightarrow r(A)=n⇔r(A)=n。
线性方程组(二)
核心知识点
1. 齐次方程组 Ax=0Ax=0Ax=0
(1)解的性质
- 若 ξ\xiξ 是解,则 kξk\xikξ(kkk 为常数)也是解。
- 若 ξ1,ξ2\xi_1,\xi_2ξ1,ξ2 是解,则 k1ξ1+k2ξ2k_1\xi_1+k_2\xi_2k1ξ1+k2ξ2(k1,k2k_1,k_2k1,k2 为常数)也是解。
- 解集合构成向量空间,称为解空间。
(2)基础解系
- 定义:解空间的一个基称为基础解系,设为 ξ1,⋯ ,ξn−r\xi_1,\cdots,\xi_{n-r}ξ1,⋯,ξn−r(r=r(A)r=r(A)r=r(A)),满足:
- 线性无关。
- 所有解都可由其线性表示。
- 个数:基础解系所含向量个数为 n−rn-rn−r。
(3)通解
- 通解公式:x=k1ξ1+k2ξ2+⋯+kn−rξn−rx=k_1\xi_1+k_2\xi_2+\cdots+k_{n-r}\xi_{n-r}x=k1ξ1+k2ξ2+⋯+kn−rξn−r(k1,⋯ ,kn−rk_1,\cdots,k_{n-r}k1,⋯,kn−r 为任意常数)。
2. 非齐次方程组 Ax=bAx=bAx=b
(1)解的性质
- 若 α,β\alpha,\betaα,β 是解,则 α−β\alpha-\betaα−β 是对应齐次方程组 Ax=0Ax=0Ax=0 的解。
- 若 α\alphaα 是 Ax=bAx=bAx=b 的解,η\etaη 是 Ax=0Ax=0Ax=0 的解,则 α+η\alpha+\etaα+η 是 Ax=bAx=bAx=b 的解。
- 若 x1,⋯ ,xsx_1,\cdots,x_sx1,⋯,xs 是 Ax=bAx=bAx=b 的解,且 k1+⋯+ks=1k_1+\cdots+k_s=1k1+⋯+ks=1,则 k1x1+⋯+ksxsk_1x_1+\cdots+k_sx_sk1x1+⋯+ksxs 也是 Ax=bAx=bAx=b 的解。
(2)通解结构
- 通解公式:x=x∗+k1ξ1+⋯+kn−rξn−rx=x^*+k_1\xi_1+\cdots+k_{n-r}\xi_{n-r}x=x∗+k1ξ1+⋯+kn−rξn−r,其中 x∗x^*x∗ 是 Ax=bAx=bAx=b 的一个特解,ξ1,⋯ ,ξn−r\xi_1,\cdots,\xi_{n-r}ξ1,⋯,ξn−r 是 Ax=0Ax=0Ax=0 的基础解系,k1,⋯ ,kn−rk_1,\cdots,k_{n-r}k1,⋯,kn−r 为任意常数。
特征值和特征向量
核心知识点
1. 特征值与特征向量
(1)概念
- 设 AAA 是 nnn 阶矩阵,若存在数 λ\lambdaλ 及非零 nnn 维向量 xxx,使 Ax=λxAx=\lambda xAx=λx,则称 λ\lambdaλ 为 AAA 的特征值,xxx 为 AAA 对应特征值 λ\lambdaλ 的特征向量。
- 几何意义:对某一方向上的非零向量只有伸缩作用。
(2)相关定义
- 特征多项式:f(λ)=∣A−λE∣=∣a11−λ⋯a1n⋮⋱⋮an1⋯ann−λ∣f(\lambda)=|A-\lambda E|=\begin{vmatrix}a_{11}-\lambda&\cdots&a_{1n}\\\vdots&\ddots&\vdots\\a_{n1}&\cdots&a_{nn}-\lambda\end{vmatrix}f(λ)=∣A−λE∣=a11−λ⋮an1⋯⋱⋯a1n⋮ann−λ。
- 特征方程:∣A−λE∣=0|A-\lambda E|=0∣A−λE∣=0,其根即为特征值 λ1,⋯ ,λn\lambda_1,\cdots,\lambda_nλ1,⋯,λn(可重根)。
(3)求法
- 解特征方程 ∣A−λE∣=0|A-\lambda E|=0∣A−λE∣=0,得所有特征值 λ1,⋯ ,λn\lambda_1,\cdots,\lambda_nλ1,⋯,λn。
- 对每个 λi\lambda_iλi,解方程组 (A−λiE)x=0(A-\lambda_i E)x=0(A−λiE)x=0,得基础解系,即为对应 λi\lambda_iλi 的线性无关特征向量,所有非零线性组合为全部特征向量。
2. 性质
-
特征值之和:λ1+λ2+⋯+λn=a11+a22+⋯+ann=tr(A)\lambda_1+\lambda_2+\cdots+\lambda_n=a_{11}+a_{22}+\cdots+a_{nn}=tr(A)λ1+λ2+⋯+λn=a11+a22+⋯+ann=tr(A)(tr(A)tr(A)tr(A) 为矩阵的迹)。
-
特征值之积:λ1λ2⋯λn=∣A∣\lambda_1\lambda_2\cdots\lambda_n=|A|λ1λ2⋯λn=∣A∣。
-
若 λ\lambdaλ 是 AAA 的特征值,xxx 是对应特征向量,则:
- kλk\lambdakλ 是 kAkAkA 的特征值,xxx 是对应特征向量。
- λm\lambda^mλm 是 AmA^mAm 的特征值,xxx 是对应特征向量。
- 若 AAA 可逆,则 λ≠0\lambda\neq0λ=0,1λ\frac{1}{\lambda}λ1 是 A−1A^{-1}A−1 的特征值,xxx 是对应特征向量;∣A∣λ\frac{|A|}{\lambda}λ∣A∣ 是 A∗A^*A∗ 的特征值,xxx 是对应特征向量。
-
不同特征值对应的特征向量必线性无关。
-
若 λ0\lambda_0λ0 是 kkk 重特征值,则其对应的线性无关特征向量个数不超过 kkk。

对角化
核心知识点
1. 相似对角化
(1)相似的概念
- 设 A,BA,BA,B 为 nnn 阶矩阵,若存在可逆矩阵 PPP,使得 P−1AP=BP^{-1}AP=BP−1AP=B,则称 AAA 与 BBB 相似,记为 A∼BA\sim BA∼B。
- 若存在可逆矩阵 PPP,使得 P−1AP=Λ=(λ1λ2⋱λn)P^{-1}AP=\Lambda=\begin{pmatrix}\lambda_1&&\\&\lambda_2&\\&&\ddots\\&&&\lambda_n\end{pmatrix}P−1AP=Λ=λ1λ2⋱λn(对角矩阵),则称 AAA 可相似对角化,记为 A∼ΛA\sim\LambdaA∼Λ。
(2)相似的性质
- 若 A∼BA\sim BA∼B,则 ∣A∣=∣B∣|A|=|B|∣A∣=∣B∣,tr(A)=tr(B)tr(A)=tr(B)tr(A)=tr(B),r(A)=r(B)r(A)=r(B)r(A)=r(B)。
- 若 A∼BA\sim BA∼B,则 Am∼BmA^m\sim B^mAm∼Bm,f(A)∼f(B)f(A)\sim f(B)f(A)∼f(B)(fff 为多项式)。
- 若 A∼BA\sim BA∼B,则 AAA 与 BBB 有相同的特征值。
(3)对角化的条件
- 充要条件:AAA 有 nnn 个线性无关的特征向量。
- 充要条件:对 AAA 的每个 kkk 重特征值 λi\lambda_iλi,对应有 kkk 个线性无关的特征向量(即 r(A−λiE)=n−kr(A-\lambda_i E)=n-kr(A−λiE)=n−k)。
- 充分条件:AAA 有 nnn 个不同的特征值。
- 充分条件:AAA 为实对称矩阵。
(4)相似对角化的步骤
- 求 AAA 的所有特征值 λ1,⋯ ,λn\lambda_1,\cdots,\lambda_nλ1,⋯,λn。
- 对每个特征值 λi\lambda_iλi,求 (A−λiE)x=0(A-\lambda_i E)x=0(A−λiE)x=0 的基础解系,得线性无关特征向量 α1,⋯ ,αn\alpha_1,\cdots,\alpha_nα1,⋯,αn。
- 令 P=(α1,⋯ ,αn)P=(\alpha_1,\cdots,\alpha_n)P=(α1,⋯,αn),则 P−1AP=ΛP^{-1}AP=\LambdaP−1AP=Λ,其中 Λ\LambdaΛ 的对角线元素为对应的特征值。
2. 正交相似对角化(实对称矩阵)
(1)实对称矩阵的性质
- 实对称矩阵的特征值均为实数。
- 实对称矩阵不同特征值对应的特征向量必正交。
- 实对称矩阵一定可相似对角化,且可正交对角化(存在正交矩阵 QQQ,使 QTAQ=ΛQ^T A Q=\LambdaQTAQ=Λ)。
(2)正交矩阵
- 定义:若 QTQ=EQ^T Q=EQTQ=E(或 QQT=EQ Q^T=EQQT=E),则 QQQ 为正交矩阵,且 Q−1=QTQ^{-1}=Q^TQ−1=QT。
- 性质:正交矩阵的列(行)向量组是两两正交的单位向量组。
(3)施密特正交化
- 正交化:设 α1,⋯ ,αs\alpha_1,\cdots,\alpha_sα1,⋯,αs 线性无关,令:
- β1=α1\beta_1=\alpha_1β1=α1。
- β2=α2−[α2,β1][β1,β1]β1\beta_2=\alpha_2-\frac{[\alpha_2,\beta_1]}{[\beta_1,\beta_1]}\beta_1β2=α2−[β1,β1][α2,β1]β1。
- β3=α3−[α3,β1][β1,β1]β1−[α3,β2][β2,β2]β2\beta_3=\alpha_3-\frac{[\alpha_3,\beta_1]}{[\beta_1,\beta_1]}\beta_1-\frac{[\alpha_3,\beta_2]}{[\beta_2,\beta_2]}\beta_2β3=α3−[β1,β1][α3,β1]β1−[β2,β2][α3,β2]β2。
- ⋮\vdots⋮
- βs=αs−∑k=1s−1[αs,βk][βk,βk]βk\beta_s=\alpha_s-\sum_{k=1}^{s-1}\frac{[\alpha_s,\beta_k]}{[\beta_k,\beta_k]}\beta_kβs=αs−∑k=1s−1[βk,βk][αs,βk]βk。
- 规范化(单位化):γi=βi∥βi∥\gamma_i=\frac{\beta_i}{\|\beta_i\|}γi=∥βi∥βi(i=1,⋯ ,si=1,\cdots,si=1,⋯,s)。
(4)正交对角化步骤
- 求 AAA 的特征值 λ1,⋯ ,λn\lambda_1,\cdots,\lambda_nλ1,⋯,λn。
- 求对应特征向量 α1,⋯ ,αn\alpha_1,\cdots,\alpha_nα1,⋯,αn。
- 对重特征值对应的特征向量作施密特正交化。
- 所有特征向量规范化,得 γ1,⋯ ,γn\gamma_1,\cdots,\gamma_nγ1,⋯,γn。
- 令 Q=(γ1,⋯ ,γn)Q=(\gamma_1,\cdots,\gamma_n)Q=(γ1,⋯,γn),则 QTAQ=ΛQ^T A Q=\LambdaQTAQ=Λ。
二次型
核心知识点
1. 二次型定义
(1)概念
- 含有 nnn 个变量 x1,⋯ ,xnx_1,\cdots,x_nx1,⋯,xn 的二次齐次多项式:f(x1,⋯ ,xn)=∑i=1n∑j=1naijxixjf(x_1,\cdots,x_n)=\sum_{i=1}^n\sum_{j=1}^na_{ij}x_ix_jf(x1,⋯,xn)=∑i=1n∑j=1naijxixj(aij=ajia_{ij}=a_{ji}aij=aji),称为 nnn 元二次型。
(2)矩阵形式
- f(x)=xTAxf(x)=x^T A xf(x)=xTAx,其中 A=(aij)n×nA=(a_{ij})_{n\times n}A=(aij)n×n 为实对称矩阵(称为二次型的矩阵),x=(x1,⋯ ,xn)Tx=(x_1,\cdots,x_n)^Tx=(x1,⋯,xn)T。
- 注:主对角线元素 aiia_{ii}aii 是平方项系数,交叉项系数 aij(i≠j)a_{ij}(i\neq j)aij(i=j) 是原交叉项系数的一半。
(3)标准形与规范形
- 标准形:只有平方项,无交叉项,即 f=λ1y12+λ2y22+⋯+λnyn2f=\lambda_1y_1^2+\lambda_2y_2^2+\cdots+\lambda_ny_n^2f=λ1y12+λ2y22+⋯+λnyn2。
- 规范形:平方项系数仅为 1,−1,01,-1,01,−1,0,即 f=y12+⋯+yp2−yp+12−⋯−yr2f=y_1^2+\cdots+y_p^2-y_{p+1}^2-\cdots-y_r^2f=y12+⋯+yp2−yp+12−⋯−yr2(rrr 为二次型的秩,ppp 为正惯性指数,r−pr-pr−p 为负惯性指数)。
2. 合同矩阵
- 定义:设 A,BA,BA,B 为 nnn 阶实对称矩阵,若存在可逆矩阵 CCC,使得 CTAC=BC^T A C=BCTAC=B,则称 AAA 与 BBB 合同,记为 A≃BA\simeq BA≃B。
- 判定定理:实对称矩阵 A≃B⇔AA\simeq B\Leftrightarrow AA≃B⇔A 与 BBB 有相同的正、负惯性指数。
- 关系:相似 ⇒\Rightarrow⇒ 合同(实对称矩阵),合同 ⇏\nRightarrow⇏ 相似。
3. 二次型标准化
(1)正交变换法
- 定理:存在正交矩阵 QQQ,使得 x=Qyx=Qyx=Qy,将二次型化为标准形 f=λ1y12+⋯+λnyn2f=\lambda_1y_1^2+\cdots+\lambda_ny_n^2f=λ1y12+⋯+λnyn2,其中 λ1,⋯ ,λn\lambda_1,\cdots,\lambda_nλ1,⋯,λn 为 AAA 的特征值。
- 步骤:
- 写出二次型矩阵 AAA。
- 求 AAA 的特征值 λ1,⋯ ,λn\lambda_1,\cdots,\lambda_nλ1,⋯,λn。
- 求特征向量并正交化、规范化,得 QQQ。
- 作正交变换 x=Qyx=Qyx=Qy,得标准形。
(2)配方法
- 含平方项:先对某变量的平方项及交叉项配方,消去该变量,重复操作直至化为标准形。
- 不含平方项:先作可逆线性变换构造平方项,再配方。
4. 惯性定理
- 二次型经任意可逆线性变换化为标准形,其正、负惯性指数不变(与变换无关)。
5. 矩阵正定性
(1)正定二次型与正定矩阵
- 定义:对任意 x≠0x\neq0x=0,总有 xTAx>0x^T A x>0xTAx>0,则称 fff 为正定二次型,AAA 为正定矩阵。
- 半正定:xTAx≥0x^T A x\geq0xTAx≥0;负定:xTAx<0x^T A x<0xTAx<0;半负定:xTAx≤0x^T A x\leq0xTAx≤0。
(2)正定的判定
- 充要条件:
- 正惯性指数 p=np=np=n。
- AAA 的所有特征值均为正数。
- AAA 的各阶顺序主子式均大于0。
- AAA 与 EEE 合同(存在可逆矩阵 CCC,使 A=CTCA=C^T CA=CTC)。
- 必要条件:aii>0a_{ii}>0aii>0(主对角线元素),∣A∣>0|A|>0∣A∣>0。
5. 矩阵正定性(补充延伸)
(1)各类型二次型的判定对比
| 类型 | 定义(对任意x≠0x \neq 0x=0) | 核心判定条件(实对称矩阵AAA) |
|---|---|---|
| 正定 | xTAx>0x^T A x > 0xTAx>0 | 1. 正惯性指数p=np=np=n;2. 所有特征值λi>0\lambda_i > 0λi>0;3. 各阶顺序主子式>0>0>0;4. A≃EA \simeq EA≃E |
| 半正定 | xTAx≥0x^T A x \geq 0xTAx≥0 | 1. 正惯性指数p=r(A)<np=r(A) < np=r(A)<n;2. 所有特征值λi≥0\lambda_i \geq 0λi≥0;3. 各阶主子式≥0\geq 0≥0 |
| 负定 | xTAx<0x^T A x < 0xTAx<0 | 1. 负惯性指数r−p=nr-p = nr−p=n;2. 所有特征值λi<0\lambda_i < 0λi<0;3. 奇数阶顺序主子式<0<0<0,偶数阶>0>0>0 |
| 半负定 | xTAx≤0x^T A x \leq 0xTAx≤0 | 1. 负惯性指数r−p=r(A)<nr-p = r(A) < nr−p=r(A)<n;2. 所有特征值λi≤0\lambda_i \leq 0λi≤0;3. 奇数阶主子式≤0\leq 0≤0,偶数阶≥0\geq 0≥0 |
| 不定 | 存在x1,x2≠0x_1,x_2 \neq 0x1,x2=0,使x1TAx1>0x_1^T A x_1 > 0x1TAx1>0且x2TAx2<0x_2^T A x_2 < 0x2TAx2<0 | 存在正、负特征值;正、负惯性指数均≥1\geq 1≥1 |
(2)正定矩阵的性质
- 若A,BA,BA,B均为nnn阶正定矩阵,则:
- A+BA+BA+B正定(xT(A+B)x=xTAx+xTBx>0x^T(A+B)x = x^T A x + x^T B x > 0xT(A+B)x=xTAx+xTBx>0,因xTAx>0x^T A x > 0xTAx>0且xTBx>0x^T B x > 0xTBx>0);
- kAkAkA正定(k>0k > 0k>0,xT(kA)x=k(xTAx)>0x^T(kA)x = k(x^T A x) > 0xT(kA)x=k(xTAx)>0);
- A−1,A∗,AkA^{-1}, A^*, A^kA−1,A∗,Ak(kkk为正整数)均正定(特征值均为正);
- CTACC^T A CCTAC正定(CCC为nnn阶可逆矩阵,因x≠0⇒Cx≠0x \neq 0 \Rightarrow Cx \neq 0x=0⇒Cx=0,故xT(CTAC)x=(Cx)TA(Cx)>0x^T(C^T A C)x = (Cx)^T A (Cx) > 0xT(CTAC)x=(Cx)TA(Cx)>0)。
补充:矩阵的等价、相似、合同关系对比
| 关系类型 | 定义(A,BA,BA,B为矩阵) | 核心条件 | 性质(若关系成立) | 适用范围 |
|---|---|---|---|---|
| 等价(≅\cong≅) | 存在可逆矩阵Pm×m,Qn×nP_{m \times m}, Q_{n \times n}Pm×m,Qn×n,使PAQ=BP A Q = BPAQ=B(Am×n,Bm×nA_{m \times n}, B_{m \times n}Am×n,Bm×n) | r(A)=r(B)r(A) = r(B)r(A)=r(B)且同型 | 秩相等;可通过初等变换互化 | 任意m×nm \times nm×n矩阵 |
| 相似(∼\sim∼) | 存在可逆矩阵Pn×nP_{n \times n}Pn×n,使P−1AP=BP^{-1} A P = BP−1AP=B(A,BA,BA,B为nnn阶方阵) | 1. 特征值相同;2. 可对角化时特征值完全一致(含重数) | $ | A |
| 合同(≃\simeq≃) | 存在可逆矩阵Cn×nC_{n \times n}Cn×n,使CTAC=BC^T A C = BCTAC=B(A,BA,BA,B为nnn阶实对称矩阵) | 正、负惯性指数相同;特征值符号分布一致 | r(A)=r(B)r(A)=r(B)r(A)=r(B);正、负惯性指数相等 | nnn阶实对称矩阵 |
| 关系推导 | 1. 相似(实对称矩阵)⇒\Rightarrow⇒ 合同;2. 合同/相似 ⇒\Rightarrow⇒ 等价;3. 等价/合同 ⇏\nRightarrow⇏ 相似 | - | - | - |
补充:向量空间的基与坐标变换(细化)
(1)基的判定
- nnn维向量空间Rn\mathbb{R}^nRn中,nnn个向量α1,α2,⋯ ,αn\alpha_1,\alpha_2,\cdots,\alpha_nα1,α2,⋯,αn是基的充要条件:
- 线性无关;
- 任意β∈Rn\beta \in \mathbb{R}^nβ∈Rn可由α1,⋯ ,αn\alpha_1,\cdots,\alpha_nα1,⋯,αn线性表示(等价于r(α1,⋯ ,αn)=nr(\alpha_1,\cdots,\alpha_n) = nr(α1,⋯,αn)=n)。
(2)坐标变换公式
设Rn\mathbb{R}^nRn的两个基:
- 旧基:α1,α2,⋯ ,αn\alpha_1,\alpha_2,\cdots,\alpha_nα1,α2,⋯,αn,过渡矩阵CCC(满足(β1,β2,⋯ ,βn)=(α1,α2,⋯ ,αn)C(\beta_1,\beta_2,\cdots,\beta_n) = (\alpha_1,\alpha_2,\cdots,\alpha_n)C(β1,β2,⋯,βn)=(α1,α2,⋯,αn)C);
- 新基:β1,β2,⋯ ,βn\beta_1,\beta_2,\cdots,\beta_nβ1,β2,⋯,βn。
若向量γ\gammaγ在旧基下坐标为X=(x1,x2,⋯ ,xn)TX=(x_1,x_2,\cdots,x_n)^TX=(x1,x2,⋯,xn)T,在新基下坐标为Y=(y1,y2,⋯ ,yn)TY=(y_1,y_2,\cdots,y_n)^TY=(y1,y2,⋯,yn)T,则:
- 坐标变换公式:X=CYX = C YX=CY 或 Y=C−1XY = C^{-1} XY=C−1X(因γ=(α1,⋯ ,αn)X=(β1,⋯ ,βn)Y=(α1,⋯ ,αn)CY\gamma = (\alpha_1,\cdots,\alpha_n)X = (\beta_1,\cdots,\beta_n)Y = (\alpha_1,\cdots,\alpha_n)C Yγ=(α1,⋯,αn)X=(β1,⋯,βn)Y=(α1,⋯,αn)CY,故X=CYX = C YX=CY)。
(3)过渡矩阵的求法
- 构造矩阵A=(α1,α2,⋯ ,αn)A = (\alpha_1,\alpha_2,\cdots,\alpha_n)A=(α1,α2,⋯,αn),B=(β1,β2,⋯ ,βn)B = (\beta_1,\beta_2,\cdots,\beta_n)B=(β1,β2,⋯,βn);
- 作增广矩阵(A∣B)(A|B)(A∣B),通过初等行变换化为(E∣C)(E|C)(E∣C),则C=A−1BC = A^{-1} BC=A−1B即为从旧基到新基的过渡矩阵。
补充:线性方程组解的结构(应用注意事项)
(1)齐次方程组Ax=0Ax=0Ax=0基础解系的选取技巧
- 对系数矩阵AAA作初等行变换化为行最简形,设自由变量为xr+1,xr+2,⋯ ,xnx_{r+1},x_{r+2},\cdots,x_nxr+1,xr+2,⋯,xn(r=r(A)r=r(A)r=r(A));
- 令自由变量取“单位坐标向量”(如xr+1=1,xr+2=⋯=xn=0x_{r+1}=1,x_{r+2}=\cdots=x_n=0xr+1=1,xr+2=⋯=xn=0;xr+1=0,xr+2=1,xr+3=⋯=xn=0x_{r+1}=0,x_{r+2}=1,x_{r+3}=\cdots=x_n=0xr+1=0,xr+2=1,xr+3=⋯=xn=0;⋯\cdots⋯;xr+1=⋯=xn−1=0,xn=1x_{r+1}=\cdots=x_{n-1}=0,x_n=1xr+1=⋯=xn−1=0,xn=1),代入行最简形方程,解得基础解系ξ1,ξ2,⋯ ,ξn−r\xi_1,\xi_2,\cdots,\xi_{n-r}ξ1,ξ2,⋯,ξn−r,确保线性无关。
(2)非齐次方程组Ax=bAx=bAx=b特解的选取技巧
- 优先令自由变量为000,代入行最简形方程求解非自由变量,得到特解x∗x^*x∗(计算简便,减少误差);
- 例:若行最简形为(102−1301−12−200000)\begin{pmatrix}1&0&2&-1&3\\0&1&-1&2&-2\\0&0&0&0&0\end{pmatrix}1000102−10−1203−20(对应方程x1+2x3−x4=3x_1+2x_3-x_4=3x1+2x3−x4=3,x2−x3+2x4=−2x_2-x_3+2x_4=-2x2−x3+2x4=−2),令自由变量x3=0,x4=0x_3=0,x_4=0x3=0,x4=0,得x1=3,x2=−2x_1=3,x_2=-2x1=3,x2=−2,特解x∗=(3,−2,0,0)Tx^*=(3,-2,0,0)^Tx∗=(3,−2,0,0)T。
(3)解的存在性与参数的关系
- 含参数的线性方程组(如A(λ)x=bA(\lambda)x = bA(λ)x=b),需通过讨论参数λ\lambdaλ的取值,分析r(A(λ))r(A(\lambda))r(A(λ))与r(A‾(λ))r(\overline{A}(\lambda))r(A(λ))的关系,确定无解、唯一解、无穷多解的参数范围:
- 无解:r(A(λ))<r(A‾(λ))r(A(\lambda)) < r(\overline{A}(\lambda))r(A(λ))<r(A(λ));
- 唯一解:r(A(λ))=r(A‾(λ))=nr(A(\lambda)) = r(\overline{A}(\lambda)) = nr(A(λ))=r(A(λ))=n(nnn为未知数个数);
- 无穷多解:r(A(λ))=r(A‾(λ))<nr(A(\lambda)) = r(\overline{A}(\lambda)) < nr(A(λ))=r(A(λ))<n。
901

被折叠的 条评论
为什么被折叠?



