Last updated on November 15, 2023 12:05 AM
子空间的基与维数
若线性空间 V 中有一组向量 α1,⋯,αn 满足条件
- α1,⋯,αn 线性无关;
- α1,⋯,αn 能表出 V 中的每一个向量;
则称 α1,⋯,αn 为 V 的一组基,称 V 为有限维(n 维)线性空间。
注意到若存在另一组基 β1,⋯,βs,则 α1,⋯,αn 与 β1,⋯,βs 可以相互表出(等价),由其无关性知 n=s。
V 的基是不唯一的,但每组基包含的向量个数是相等的,这个个数称作线性空间 V 的维数,记作 dimV=n。
ε1,⋯,εn 称作 Kn 的一组标准基。零空间的维数规定为 0。
- 在有限维线性空间中,任何线性无关的向量组都能被扩充至空间的基(依次添加不能被表出的向量)。
- 设 W、U 为线性空间 V 的两个子空间,若 W⊆U,则 dimW≤dimU。
证明:设 α1,⋯,αr 为 U 的一组基,β1,⋯,βs 为 W 的一组基,既然 W⊆U 则 α1,⋯,αr 可以表出 β1,⋯,βs。于是 r≥s,故 dimU≥dimW。
- 设 W、U 为线性空间 V 的两个子空间,W⊆U,且 dimW=dimU,则 U=V。
证明:证 U⊆W 即可。取 W 的一组基 α1,⋯,αr,则 ∀β∈U,有 α1,⋯,αr,β∈U。于是 rank{α1,⋯,αr,β}≤dimU=dimW=r,所以 α1,⋯,αr,β 线性相关。所以 α1,⋯,αr 可以表出 β,所以 β∈W,所以 U⊆W。
- 对向量组做初等变换,变换前后的向量组等价,生成的子空间不变,秩不变。
矩阵的秩
数域 K 上 s×n 矩阵 A 的列向量组 α1,⋯,αn 生成的子空间称为 A 的列空间,行向量组 γ1,⋯,γs 生成的子空间称为 A 的行空间。列空间的维数称为列秩,行空间的维数称为行秩。
由于初等变换不改变向量组的生成子空间,所以矩阵 A 和 rref(A) 的行秩和列秩都是相等的。下面说明对于 rref(A),其行秩等于列秩。
令 s×n 矩阵 J=rref(A) 有 r 个非零行,显然 r≤s,那么 J 形如
⎣⎢⎢⎢⎢⎢⎢⎢⎢⎢⎢⎢⎡00⋮00⋮0⋯⋯⋯⋯⋯00⋮00⋮0c1j10⋮00⋮0⋯⋯⋯⋯⋯c1j2c2j2⋮00⋮0⋯⋯⋯⋯⋯c1jrc2jr⋮crjr0⋮0⋯⋯⋯⋯⋯c1nc2n⋮crn0⋮0⎦⎥⎥⎥⎥⎥⎥⎥⎥⎥⎥⎥⎤
由于
∣∣∣∣∣∣∣∣∣∣c1j10⋮0c1j2c2j2⋮0⋯⋯⋯c1jnc2jn⋮cnjn∣∣∣∣∣∣∣∣∣∣=i=1∏nciji=0
因此对应的列向量组和行向量组都线性无关,延伸组线性无关,行秩和列秩都为 r。记矩阵的秩 rank(A)=r。
推论:rank(A)=rank(AT)。
接下来是很重要的定理:任一非零矩阵的秩等于其不为零的子式的最高阶数。
证明的话令 rank(A)=r,取 r 个线性无关的行,再在其中取 r 个线性无关的列,交叉成的子式肯定不为 0。如果我取 m>r 阶子式的话,行列式肯定是 0。
下面是两个常见的和矩阵秩相关的不等式:
- As×n,Bl×m,证明 rank[A00B]=rank(A)+rank(B)。
证明的话考虑进行初等行变换,把他变成 ⎣⎢⎢⎢⎡J100000J20⎦⎥⎥⎥⎤→⎣⎢⎢⎢⎡J10000J200⎦⎥⎥⎥⎤。
- As×n,Bl×m,Cs×m,证明 rank[A0CB]≥rank(A)+rank(B)。
考虑使用子式。令 rank(A)=r,rank(B)=t,所以存在 A 的一个 r 级非零子式 ∣A1∣,B 的一个 t 级非零子式 ∣B1∣。故 [A0CB] 存在一个 r+t 级子式 ∣∣∣∣∣A10C1b1∣∣∣∣∣=∣A1∣∣B1∣=0。得证。
然后是一个番外:主对角占优矩阵。
- 考虑 An×n=(aij),若 ∣aii∣>j=i∑∣aij∣,则 detA=0。
证明:我们只需证明列向量组 α1,⋯,αn 线性无关。反证,假设其线性相关,则存在系数 k1,⋯,kn s. t. i=1∑nkiαi=0。令 kl=max{ki},考虑第 l 个分量:i=1∑nkiali=0,all=−i=l∑klkiali,放缩:∣all∣≤i=l∑∣∣∣∣∣klkiali∣∣∣∣∣≤i=l∑∣ali∣,和题设矛盾,证毕。
- 若 aii>j=i∑∣aij∣,证明 detA>0。
这题较为难。需要结合连续函数的性质。令 B(t)=⎣⎢⎢⎢⎢⎡a11a21t⋮an1ta12ta22⋮an2t⋯⋯⋯a1nta2nt⋮ann⎦⎥⎥⎥⎥⎤,我们知道 detB(t) 为关于 t 的多项式,其为 [0,1] 上的连续函数。由 1 的结论,t∈(0,1) 时 detB(t)=0,又 detB(0)=i=1∏naii>0,由连续函数性质知 detA=detB(1)>0,证毕。