线代 A1 笔记 第 4 部分(向量空间 3)

Last updated on November 15, 2023 12:05 AM

子空间的基与维数

若线性空间 VV 中有一组向量 α1,,αn\alpha_1, \cdots ,\alpha_n 满足条件

  1. α1,,αn\alpha_1, \cdots ,\alpha_n 线性无关;
  2. α1,,αn\alpha_1, \cdots ,\alpha_n 能表出 VV 中的每一个向量;

则称 α1,,αn\alpha_1, \cdots ,\alpha_nVV 的一组基,称 VV 为有限维(nn 维)线性空间。

注意到若存在另一组基 β1,,βs\beta_1, \cdots ,\beta_s,则 α1,,αn\alpha_1, \cdots ,\alpha_nβ1,,βs\beta_1, \cdots ,\beta_s 可以相互表出(等价),由其无关性知 n=sn=s

VV 的基是不唯一的,但每组基包含的向量个数是相等的,这个个数称作线性空间 VV 的维数,记作 dimV=n\operatorname{dim} V = n

ε1,,εn\varepsilon_1, \cdots ,\varepsilon_n 称作 KnK^n 的一组标准基。零空间的维数规定为 00

  • 在有限维线性空间中,任何线性无关的向量组都能被扩充至空间的基(依次添加不能被表出的向量)。
  • WWUU 为线性空间 VV 的两个子空间,若 WUW \subseteq U,则 dimWdimU\operatorname{dim} W\le \operatorname{dim} U
    证明:设 α1,,αr\alpha_1, \cdots,\alpha_rUU 的一组基,β1,,βs\beta_1, \cdots ,\beta_sWW 的一组基,既然 WUW \subseteq Uα1,,αr\alpha_1, \cdots ,\alpha_r 可以表出 β1,,βs\beta_1, \cdots ,\beta_s。于是 rsr\ge s,故 dimUdimW\operatorname{dim} U\ge \operatorname{dim} W
  • WWUU 为线性空间 VV 的两个子空间,WUW \subseteq U,且 dimW=dimU\operatorname{dim}W=\operatorname{dim}U,则 U=VU=V
    证明:证 UWU \subseteq W 即可。取 WW 的一组基 α1,,αr\alpha_1, \cdots ,\alpha_r,则 βU\forall \beta\in U,有 α1,,αr,βU\alpha_1, \cdots ,\alpha_r,\beta\in U。于是 rank{α1,,αr,β}dimU=dimW=r\operatorname{rank}\left\{ \alpha_1, \cdots ,\alpha_r,\beta \right\}\le \operatorname{dim} U = \operatorname{dim} W = r,所以 α1,,αr,β\alpha_1, \cdots ,\alpha_r,\beta 线性相关。所以 α1,,αr\alpha_1, \cdots ,\alpha_r 可以表出 β\beta,所以 βW\beta\in W,所以 UWU \subseteq W
  • 对向量组做初等变换,变换前后的向量组等价,生成的子空间不变秩不变

矩阵的秩

数域 KKs×ns\times n 矩阵 AA 的列向量组 α1,,αn\alpha_1, \cdots ,\alpha_n 生成的子空间称为 AA 的列空间,行向量组 γ1,,γs\gamma_1, \cdots ,\gamma_s 生成的子空间称为 AA 的行空间。列空间的维数称为列秩,行空间的维数称为行秩。

由于初等变换不改变向量组的生成子空间,所以矩阵 AArref(A)\operatorname{rref} (A) 的行秩和列秩都是相等的。下面说明对于 rref(A)\operatorname{rref}(A),其行秩等于列秩。

s×ns\times n 矩阵 J=rref(A)J = \operatorname{rref}(A)rr 个非零行,显然 rsr\le s,那么 JJ 形如

[00c1j1c1j2c1jrc1n000c2j2c2jrc2n0000crjrcrn000000000000]\begin{bmatrix} 0&\cdots&0&c_{1j_1}&\cdots&c_{1j_2}&\cdots& c_{1j_r}&\cdots&c_{1n}\\ 0&\cdots&0&0&\cdots&c_{2j_2}&\cdots&c_{2j_r}&\cdots& c_{2n}\\ \vdots&&\vdots&\vdots&&\vdots&&\vdots&&\vdots\\ 0&\cdots&0&0&\cdots&0&\cdots &c_{rj_r}&\cdots&c_{rn}\\ 0&\cdots&0&0&\cdots&0&\cdots&0&\cdots&0\\ \vdots&&\vdots&\vdots&&\vdots&&\vdots&&\vdots\\ 0&\cdots&0&0&\cdots&0&\cdots&0&\cdots&0 \end{bmatrix}

由于

c1j1c1j2c1jn0c2j2c2jn00cnjn=i=1nciji0\begin{vmatrix} c_{1j_1} & c_{1j_2} & \cdots & c_{1j_n} \\ 0 & c_{2j_2} & \cdots & c_{2j_n} \\ \vdots & \vdots & & \vdots \\ 0 & 0 & \cdots & c_{nj_n} \\\end{vmatrix} = \prod_{i=1}^nc_{ij_i} \ne 0

因此对应的列向量组和行向量组都线性无关,延伸组线性无关,行秩和列秩都为 rr。记矩阵的秩 rank(A)=r\operatorname{rank}(A) = r

推论:rank(A)=rank(AT)\operatorname{rank}(A)=\operatorname{rank}(A^T)

接下来是很重要的定理:任一非零矩阵的秩等于其不为零的子式的最高阶数

证明的话令 rank(A)=r\operatorname{rank}(A) = r,取 rr 个线性无关的行,再在其中取 rr 个线性无关的列,交叉成的子式肯定不为 00。如果我取 m>rm>r 阶子式的话,行列式肯定是 00

下面是两个常见的和矩阵秩相关的不等式:

  • As×nA_{s\times n}Bl×mB_{l\times m},证明 rank[A00B]=rank(A)+rank(B)\operatorname{rank} \begin{bmatrix} A & 0 \\ 0 & B \\\end{bmatrix} = \operatorname{rank}(A)+\operatorname{rank}(B)
    证明的话考虑进行初等行变换,把他变成 [J10000J200][J100J20000]\begin{bmatrix} J_1 & 0\\ 0 & 0\\ 0 & J_2\\ 0 & 0 \end{bmatrix} \to \begin{bmatrix} J_1 & 0\\ 0 & J_2\\ 0 & 0\\ 0 & 0 \end{bmatrix}
  • As×nA_{s\times n}Bl×mB_{l\times m}Cs×mC_{s\times m},证明 rank[AC0B]rank(A)+rank(B)\operatorname{rank} \begin{bmatrix} A & C \\ 0 & B \\\end{bmatrix}\ge \operatorname{rank}(A) + \operatorname{rank}(B)
    考虑使用子式。令 rank(A)=r\operatorname{rank}(A) = rrank(B)=t\operatorname{rank}(B) = t,所以存在 AA 的一个 rr 级非零子式 A1|A_1|BB 的一个 tt 级非零子式 B1|B_1|。故 [AC0B]\begin{bmatrix} A & C \\ 0 & B \\\end{bmatrix} 存在一个 r+tr+t 级子式 A1C10b1=A1B10\begin{vmatrix} A_1 & C_1 \\ 0 & b_1 \\\end{vmatrix}=|A_1||B_1|\ne 0。得证。

然后是一个番外:主对角占优矩阵。

  1. 考虑 An×n=(aij)A_{n\times n} = (a_{ij}),若 aii>jiaij\displaystyle |a_{ii}|> \sum_{j\ne i}|a_{ij}|,则 detA0\det A\ne 0
    证明:我们只需证明列向量组 α1,,αn\alpha_1, \cdots ,\alpha_n 线性无关。反证,假设其线性相关,则存在系数 k1,,knk_1, \cdots,k_n s. t. i=1nkiαi=0\displaystyle \sum_{i=1}^nk_i\alpha_i = \boldsymbol{0}。令 kl=max{ki}k_l = \max\left\{ k_i \right\},考虑第 ll 个分量:i=1nkiali=0\displaystyle \sum_{i=1}^n k_ia_{li} = 0all=ilkiklalia_{ll} = \displaystyle -\sum_{i\ne l}\frac{k_i}{k_l}a_{li},放缩:allilkiklaliilali|a_{ll}|\le \displaystyle \sum_{i\ne l}\left\vert \frac{k_i}{k_l}a_{li} \right\vert \le \sum_{i\ne l} |a_{li}|,和题设矛盾,证毕。
  2. aii>jiaija_{ii} > \displaystyle \sum_{j\ne i}|a_{ij}|,证明 detA>0\det A > 0
    这题较为难。需要结合连续函数的性质。令 B(t)=[a11a12ta1nta21ta22a2ntan1tan2tann]B(t) = \begin{bmatrix} a_{11} & a_{12}t & \cdots & a_{1n}t \\ a_{21}t & a_{22} & \cdots & a_{2n}t \\ \vdots & \vdots & & \vdots\\ a_{n1}t & a_{n2}t & \cdots & a_{nn} \\\end{bmatrix},我们知道 detB(t)\det B(t) 为关于 tt 的多项式,其为 [0,1][0,1] 上的连续函数。由 11 的结论,t(0,1)t\in(0,1)detB(t)0\det B(t)\ne 0,又 detB(0)=i=1naii>0\det B(0) = \displaystyle \prod_{i=1}^na_{ii}>0,由连续函数性质知 detA=detB(1)>0\det A = \det B(1) > 0,证毕。

线代 A1 笔记 第 4 部分(向量空间 3)
https://blog.imyangty.com/note-linear-algebra-a1/4/
Author
YangTY
Posted on
November 15, 2023
Licensed under