线性代数-向量组的线性相关性习题

线性代数-向量组的线性相关性习题

向量组与矩阵

例1
image-20200927202411878
image-20200927203348612

(1)由于AP=PB, 即: \(A(x,Ax,A^2x)\\=(Ax,A^2x,A^3x)\\=(Ax,A^2x,3Ax-2A^2x)\\=(x,Ax,A^2x)\left[\begin{array}{c} 0& 0& 0\\ 1& 0& 3\\ 0& 1& -2\end{array}\right]\) , 从而: \(AP=P \left[\begin{array}{c} 0& 0& 0\\ 1& 0& 3\\ 0& 1& -2\end{array}\right]\) , 所以: \(B= \left[\begin{array}{c} 0& 0& 0\\ 1& 0& 3\\ 0& 1& -2\end{array}\right]\)

  1. \(|A|=|PAP^{-1}|\\ =|P|\cdot |B| \cdot |P^{-1}|\\ =|P|\cdot |B| \cdot |P|^{-1}\\ =|B| =0\)

向量组的线性表示

向量b可由向量组A线性表示的证明

例1
image-20200926165347373
  1. 要证: \(a_{1}\) 能由 \(a_{2}, a_{3}\) 线性表示\(\Leftrightarrow\) 即证\(a_1 = (a_2, a_3) \left(\begin{array}{c} k_1 \\ k_2 \end{array}\right)\)有解 \(\Leftrightarrow\) 即证\(R(a_2, a_3) = R(a_2, a_3, a_1)\)\(R\left(a_{2}, a_{3}, a_{4}\right)=3\)得,\(a_{2}, a_{3}, a_{4}\)线性无关,则\(a_{2}, a_{3}\)线性无关,则\(R(a_{2}, a_{3})=2\)\(R\left(a_{1}, a_{2}, a_{3}\right)=2\)\(R\left(a_{1}, a_{2}, a_{3}\right)=R(a_2, a_3)\),则\(a_1 = (a_2, a_3) \left(\begin{array}{c} k_1 \\ k_2 \end{array}\right)\)有解,则\(a_{1}\) 能由 \(a_{2}, a_{3}\) 线性表示

(2)要证\(a_{4}\) 不能由 \(a_{1}, a_{2}, a_{3}\) 线性表示\(\Leftrightarrow\) 即证\(a_4 = (a_1,a_2, a_3) \left(\begin{array}{c} x_1 \\ x_2 \\x_3 \end{array}\right)\)无解 \(\Leftrightarrow\) 即证\(R(a_1,a_2, a_3) < R(a_1,a_2, a_3,a_4 )\)

\(R(a_1,a_2, a_3,a_4 ) \ge R\left(a_{2}, a_{3}, a_{4}\right)=3 > R\left(a_{1}, a_{2}, a_{3}\right)=2\)\(a_4 = (a_1,a_2, a_3) \left(\begin{array}{c} x_1 \\ x_2 \\x_3 \end{array}\right)\)无解, 则\(a_{4}\) 不能由 \(a_{1}, a_{2}, a_{3}\) 线性表示

例2
image-20200927092132911
image-20200927092235953

解:由题意知,λbai1(a1+b)=λ2(a2+b) 其中,λdu1≠λzhi2,且两数不全为0

于是dao有:(λ2-λ1)b=λ1a1-λ2a2

b=a1λ1/(λ2-λ1)-a2λ2/(λ2-λ1)

令λ1/(λ2-λ1)=c,则:

λ2/(λ2-λ1)=1+c,(c∈R)

于是,b=ca1-(1+c)a2

例3
image-20200927165644688

证法一: 先证必要性(前推后),因为任意n+1个n维向量必线性相关。所以任意向量b与a1…an相关。存在不完全为0的n+1个数k1…kn,kn+1.使得k1a1+…knan+kn+1*b=0;若kn+1=0,a1…an相关,矛盾,所以kn+1不等于0.即b可以被a1…an线性表出。即表示为a1…an的线性组合。 充分性,n维单位向量e1…en可以被a1…an线性表出。a1…an也可以被e1…en线性表出。所以他们等价。所以a1…an的秩为n。所以a1…an线性无关。 证毕。

证法二: 必要性: a1,a2,…an线性无关 => |a1,a2,…an| ≠ 0 => 对任一n维向量b, (a1,a2,…an)X = b 有解 => 任一n维向量b都可被a1,a2,…an线性表示 充分性: 因为任一n维向量都可被a1,a2,…an线性表示 所以n维基本向量组ε1,ε2,…,εn可由a1,a2,…an线性表示 所以 n = r(ε1,ε2,…,εn) <= r(a1,a2,…an). 所以 a1,a2,…an 线性无关.

例4 存在类的证明一般用反证法
image-20200927171454868

解: 设对任一\(a_k (2\le k \le m)\)都不能由\(a_1, a_2, ... , a_{k-1}\)线性表示, 则\((a_1, a_2, ... , a_{k-1})x = a_k\)无解, 则\(r(a_1, a_2, ... , a_{k-1}) < r(a_1, a_2, ... , a_{k-1}, a_k)\)\(1=r(a_1) < r(a_1, a_2)<...<r(a_1, a_2, ... , a_{k})\)\(r(a_1, a_2, ... , a_{k}) = k\)\(k=m\),得\(r(a_1, a_2, ... , a_{m}) = m\), 即有\(a_{1}, a_{2}, \cdots, a_{m}\)线性无关,这与已知矛盾。 所有假设不成立,所以存在某个向量 \(a_{k}(2 \leqslant k \leqslant m)\),使\(a_{k}\) 能由 \(a_{1}, \cdots, a_{k-1}\) 线性表示。

向量组B可由向量组A线性表示的证明

例1
image-20200926161823988
image-20200926161848654
image-20200926161905883

注意到:

B组能由A线性表示\(\Leftrightarrow\)B=AX有解\(\Leftrightarrow\) \(r(A)=r(A,B)\)

A组不能由B线性表示\(\Leftrightarrow\)A=BX无解\(\Leftrightarrow\) \(r(B)<r(A,B)\)

向量组B与向量组A等价的证明

例1
image-20200926162956189
image-20200926163010322
image-20200926163021868

注意到:

向量组B与向量组A等价\(\Leftrightarrow\) \(r(A) = r(B) = r(A,B)\)

例2
image-20200927175711215
image-20200927175724101

解: 根据已知:向量组\(\beta_1, \beta_2, ..., \beta_n\)可以由向量组\(\alpha_1, \alpha_2, ... \alpha_n\)表示,可以写成矩阵方程: \((\beta_1, \beta_2, ..., \beta_n) = (\alpha_1, \alpha_2, ... \alpha_n)\left[\begin{array}{c}0 & 1 &\cdots &1 \\1 & 0 & \cdots & 1 \\ \vdots & \vdots & \ddots& \vdots \\ 1 & 1 & \cdots & 0\end{array}\right]\)\(P=\left[\begin{array}{c}0 & 1 &\cdots &1 \\1 & 0 & \cdots & 1 \\ \vdots & \vdots & \ddots& \vdots \\ 1 & 1 & \cdots & 0\end{array}\right]\)\((\beta_1, \beta_2, ..., \beta_n) = (\alpha_1, \alpha_2, ... \alpha_n)P\) 由于\(|P| \neq 0\),则系数矩阵P可逆。 则\((\beta_1, \beta_2, ..., \beta_n) P^{-1}= (\alpha_1, \alpha_2, ... \alpha_n)\) 即向量组\(\alpha_1, \alpha_2, ... \alpha_n\)可由向量组\(\beta_1, \beta_2, ..., \beta_n\)表示。

则两个向量组可以互相表示,即两个向量组等价。

向量组的相关性

向量组的相关性的判断(根据秩)

向量组的线性相关性\(\Leftrightarrow\)\(Ax=0\)是否有非零解\(\Leftrightarrow\) \(R(A)<n\)是否成立

可以用行列式判断秩,也可以用矩阵初等变换来看秩

例1
image-20200927003122343
image-20200927003046573

行列式判断秩比较简单

例2
image-20200927004552653
image-20200927004605037

行列式=0比较简单

例3
image-20200927152333868

解: \(e_{1}, e_{2}, \cdots, e_{n}\)能由\(a_{1}, a_{2}, \cdots, a_{n}\)线性表示,则\(n=r(e_{1}, e_{2}, \cdots, e_{n}) \le r(a_{1}, a_{2}, \cdots, a_{n})\)\(a_{1}, a_{2}, \cdots, a_{n}\)都是n维向量,则可以确定\(r(a_{1}, a_{2}, \cdots, a_{n})=n\), 则\(a_{1}, a_{2}, \cdots, a_{n}\)线性无关。

例4
image-20200927174154287

向量组B线性无关 <=> (b1,b2,…,br)X=0 只有零解 <=> (a1,a2,…,as)KX = 0 只有零解 –因为 向量组A线性无关 –所以 <=> KX = 0 只有零解 <=> r(K) = r (K的列数). https://zhidao.baidu.com/question/327222311.html?seed=0

例5
image-20200928172516564
image-20200928172538128

向量组的相关性的判断(反证法)

例1
image-20200927093619183
image-20200927093628977
image-20200927093703581

注意:0向量和任意向量都线性相关。

例2
image-20200927094901168

例3 涉及到后面线性方程组解的结构
image-20200928192846148

(1) 设非齐次线性方程组AX=b的特解为 X(0);导出组的一个基础解系为 X(1),X(2),……,X(n-r); 反设上述向量线性相关,则存在不全为零的数C(i)使得 C(0)X(0)+C(1)X(1)+C(2)X(2)+……+C(n-r)X(n-r)=0 等号两边同时乘以A,左边成为b,右边却是0。这与b不等于零向量矛盾。

(2)由(1)已知\(\eta^{*}, \xi_{1}, \cdots, \xi_{n-r}\)线性无关,则\(r(\eta^{*}, \xi_{1}, \cdots, \xi_{n-r})=n-r\), 则对应矩阵的秩也为n-r (矩阵的列向量组的秩等于矩阵的秩), 矩阵\((\eta^{*}, \eta^{*}+\xi_{1}, \cdots, \eta^{*}+\xi_{n-r})\)初等列变换可变为\((\eta^{*}, \xi_{1}, \cdots, \xi_{n-r})\),初等变换不改变矩阵的秩。 则矩阵的秩有\(r(\eta^{*}, \eta^{*}+\xi_{1}, \cdots, \eta^{*}+\xi_{n-r})=r(\eta^{*}, \xi_{1}, \cdots, \xi_{n-r})=n-r\) 则对应向量组的秩也为\(r(\eta^{*}, \eta^{*}+\xi_{1}, \cdots, \eta^{*}+\xi_{n-r})=n-r\)\(\eta^{*}, \eta^{*}+\xi_{1}, \cdots, \eta^{*}+\xi_{n-r}\)线性无关。

向量组的相关性的判断(代换法)

例1
image-20200927101618671

解: \(b_4 = a_4 + a_1 = b_3 - a_3 + b_1 - a_2 = b_3 + b_1 - (a_3 + a_2) = b_3 + b_1 - b_2\)\(b_1 - b_2+b_3 - b_4 = 0\) 则存在一组不全为零的系数(1,-1,1,-1)使得\(b_{1}, b_{2}, b_{3}, b_{4}\)的线性组合为0. 即\(b_{1}, b_{2}, b_{3}, b_{4}\)线性相关。

例2
image-20200927103041104

b1=a1,b2=a1+a2,…..,br=a1+a2a+….+ar 设常数k1,baik2……dukr满足k1b1+k2b2+……+krbr=0 把b1,b2,……br带入中 (k1+k2+……+kr)a1+(k2+k3+……+kr)a2+……+krar=0 向量组zhia1,a2…ar线性无关 则k1+k2+……+kr=0 k2+k3+……+kr=0 …… kr=0 解得k1=0,k2=0,……kn=0 即只有全为0的常数k才能使k1b1+k2b2+……+krbr=0 向量组b1,b2,…br线性无关

向量组的秩与极大线性无关组

计算向量组的秩与极大线性无关组以及用极大线性无关组表示其他向量

向量组的秩=对应矩阵的秩;对于列向量组,初等行变换不改变各列向量之间的比例关系。

可根据矩阵的初等变换来看向量组的秩; 但是确定极大线性无关组之后,用极大无关组表示其他向量,为保持各列向量之间的比例关系,矩阵变换只能用行变换。

注意:最大无关组不唯一。

例1
image-20200927105645033
image-20200927105658428
例2
image-20200927111604994
image-20200927111631289
image-20200927113654355

注意:最大无关组不唯一。

已知秩计算向量组中的参数

例1
image-20200927142512331
image-20200927142529127

解: 向量组对应的矩阵记为A, 对A进行初等行变换。 变换过程中需要讨论a是否为0, 当a=0时,有3阶子行列式不为0,与向量组的秩=矩阵的秩=2矛盾。 则\(a\neq 0\)。 继续初等行变换,应有两行对应成比例,或者对应位置为0, 从而得到\(a=2, b=5\)

向量组秩的证明

例1
image-20200928131719594

解: \(A^2 = A\)\((A-E)A = 0\), 根据矩阵秩的性质八知,若 \((A-E)A = 0\)\(R(\boldsymbol{A -E})+R(\boldsymbol{A}) \leqslant n\) 根据矩阵秩的性质六知,\(n=R(-E)= R[(A-E)+(-A)] \leqslant R(A-E) + R(A)\) 综上可知\(R(A-E) + R(A) = n\)

注: 矩阵秩的性质六:\(R(\boldsymbol{A}+\boldsymbol{B}) \leqslant R(\boldsymbol{A})+R(\boldsymbol{B})\) 矩阵秩的性质八:若 \(\boldsymbol{A}_{m \times n} \boldsymbol{B}_{n \times l}=\boldsymbol{O},\)\(R(\boldsymbol{A})+R(\boldsymbol{B}) \leqslant n\)

例2
image-20200928144834170

证明:(用到了矩阵秩的性质八:\(r(A)+r(A^*)\le n\),学完矩阵的秩和向量组之后再看这里的证明) 设A为n阶

若r(A)=n,则丨A丨不等于0,\(A^*=丨A丨A^{-1}\)可逆,推出\(r(A^*)=n\)

若r(A)=n-2,则\(丨A丨=0\)且n-1阶子式全为0,因此\(A^*=0\),即\(r(A^*)=0\)

若r(A)=n-1,则丨A丨等于0且存在n-1阶子式不为0,因此\(A^*\)不等于0,\(r(A^*)\ge 1\) 又因为 \(AA^*=丨A丨E=0\)\(r(A)+r(A^*)\le n\)\(r(A^*)\le n-r(A) = 1\) 就可以得到\(r(A^*)=1\)

线性方程组

齐次线性方程组

齐次线性方程组的通解与基础解系

例1
image-20200927222014489
image-20200927222039245
image-20200927222102460
例2
image-20200927225338909
image-20200927225352312
例3
image-20200927235212548
image-20200927235236463

设齐次线性方程组AX=0的基础解系为a1=(0,1,2,3)T,a2=(3,2,1,0)T 即a1=(0,1,2,3)T,a2=(3,2,1,0)T是齐次线性方程组AX=0的两个特解 设A=(A1 A2)^T,其中A1,A2为4维列向量,A为24阶矩阵 则(A1 A2)^T (a1 a2) = 0 等式两边同时转置得 (a1 a2)^T * (A1 A2) = 0 问题转化为求解新齐次线性方程组的基础解系 增广矩阵为 0 1 2 3 0 3 2 1 0 0 初等行变换 1 0 -1 -2 0 0 1 2 3 0 所以新齐次线性方程组的基础解系为A1=(1,-2,1,0)T,A2=(2,-3,0,1)T 所以所求的齐次线性方程组AX=0为 x1-2x2+x3=0 2x1-3x2+x4=0 原理: ξ是齐次线性方程组的解 的充要条件是 ξ与系数矩阵的行向量正交 所以只要寻找与a1,a2都正交的向量A1,A2,即可构成所求齐次线性方程组的系数矩阵 https://www.zybang.com/question/34bee07d0fbe4c454e4cf0bc4fa0f6e2.html

齐次线性方程组的公共解

参考来源:https://www.zhihu.com/question/340362949/answer/885382762

假设有A B两个矩阵,有公共解是A的解里面有部分是可以当作B的解。而同解就是A的解就是B的解。

对于求公共解的问题有三种题型。

第一种是给出了两个方程组,依次的系数矩阵为A B,则需要对A B作联立求解,类似求非齐次的求解方法,但是非齐次是列的联立,求公共解是行的联立。

第二种题型是给出了一个方程组B,和另外的一个方程组B的通解。同样的把A的通解解出来,令两个解相等,构成了新的齐次方程组,这里的未知数是就是通解上面的k,解出k1 k2的通解在代入之前的通解即可。

第三种题型,跟第二种类似了,只是给出了两个通解,方法还是类似的。令解相等,再求解,再代入。

例1
image-20200928125015902
image-20200928125034540

非齐次线性方程组

计算非齐次方程的通解与基础解系

例1
image-20200928152522409
image-20200928152619425
例2
image-20200928154040946
image-20200928154049369
image-20200928154102666

解: 设该4元非齐次线性方程组为\(Ax=b\)\(A(\eta_2+\eta_3) = 2b\), \(A\eta_1 = b\)\(A(\eta_2+\eta_3 - 2\eta_1) = 0\)\(kA(\eta_2+\eta_3 - 2\eta_1) = 0\)\(k(\eta_2+\eta_3 - 2\eta_1)\)是对应的齐次线性方程\(Ax=0\)的解。 \(k(\eta_2+\eta_3 - 2\eta_1)= k\left(\begin{array}{c}-3\\-4\\-5\\-6\end{array}\right)\) 又对应的齐次线性方程\(Ax=0\)的秩\(R_s = n - r(A) = 4-3 = 1\)\(Ax=0\)的通解为:\(k\left(\begin{array}{c}-3\\-4\\-5\\-6\end{array}\right)=k_1\left(\begin{array}{c}3\\4\\5\\6\end{array}\right)\)\(Ax=b\)的通解为:\(\left(\begin{array}{c}2\\3\\4\\5\end{array}\right)+k_1\left(\begin{array}{c}3\\4\\5\\6\end{array}\right)\)

例3
image-20200928183352105
image-20200928183420454

\(a_{1}=2 a_{2}-a_{3}\), 即\((a_1,a_2,a_3,a_4) \left(\begin{array}{c}1\\-2\\1\\0\end{array}\right)=\left(\begin{array}{c}0\\0\\0\\0\end{array}\right)\)\(\left(\begin{array}{c}1\\-2\\1\\0\end{array}\right)\)是Ax=0的一个解, 则\(k\left(\begin{array}{c}1\\-2\\1\\0\end{array}\right)\)是Ax=0的解, 因为\(a_{1}=2 a_{2}-a_{3}\),即\(a_1\)能用\(a_{2}, a_{3}, a_{4}\)线性表示, 而\(a_{2}, a_{3}, a_{4}\)线性无关, 则\(a_{2}, a_{3}, a_{4}\)是A列向量组的极大线性无关组,\(r(A) = 3\) 根据齐次线性方程解的性质,齐次线性方程组解向量组的秩\(R_s = 4-r(A) = 1\)\(k\left(\begin{array}{c}1\\-2\\1\\0\end{array}\right)\)是Ax=0的通解。

\(b=a_1+a_2+a_3+a_4\), 即\((a_1,a_2,a_3,a_4) \left(\begin{array}{c}1\\1\\1\\1\end{array}\right)=b\)\(\left(\begin{array}{c}1\\1\\1\\1\end{array}\right)\)\(Ax=b\)的一个特解。 则非齐次线性方程组\(Ax=b\)的通解为:\(k\left(\begin{array}{c}1\\-2\\1\\0\end{array}\right)+\left(\begin{array}{c}1\\1\\1\\1\end{array}\right)\)

根据参数讨论非齐次线性方程的解

例1
image-20200928170603415
image-20200928170614779
image-20200928170727536

证明非齐次线性方程组的解

例1
image-20200928201842637

证: 已知\(x=k_{1} \eta_{1}+k_{2} \eta_{2}+\cdots+k_{s} \eta_{s}\)\(Ax = A(k_{1} \eta_{1}+k_{2} \eta_{2}+\cdots+k_{s} \eta_{s})\\ =A(\eta_{1}, \cdots, \eta_s)\left(\begin{array}{c}k_1\\ \vdots\\k_s\end{array}\right)\\ =(A\eta_{1}, \cdots,A \eta_s)\left(\begin{array}{c}k_1\\ \vdots\\k_s\end{array}\right)\\ =(b, \cdots, b)\left(\begin{array}{c}k_1\\ \vdots\\k_s\end{array}\right)\\ =k_1 b + ... + k_s b\\ =(k_1+...+k_s)b\\ =b\)\(x=k_{1} \eta_{1}+k_{2} \eta_{2}+\cdots+k_{s} \eta_{s}\)\(Ax=b\)的解。

例2
image-20200928214839820

注:这里说的题31在这里

证明: 对于非齐次方程组(这里未知数是\(k_1,\cdots,k_{n-r+1}\)): \(\boldsymbol{x}=k_{1} \boldsymbol{\eta}_{1}+\cdots+k_{n-r+1} \boldsymbol{\eta}_{n-r+1}\)\(x=(\eta_1, \cdots, \eta_{n-r+1})\left(\begin{array}{c}k_1\\ \vdots\\k_{n-r+1}\end{array}\right)\) 因为\(\eta_1, \cdots, \eta_{n-r+1}\)线性无关,则\(r(\eta_1, \cdots, \eta_{n-r+1})=n-r+1\) = 未知数个数 则该非齐次方程组有唯一解。 则对任意的(n-r+1)维向量x都可以用\(\eta_1, \cdots, \eta_{n-r+1}\)线性表示,且表示法唯一。

取满足\(Ax=b\)的向量x, 则\(b=Ax=A(\eta_1, \cdots, \eta_{n-r+1})\left(\begin{array}{c}k_1\\ \vdots\\k_{n-r+1}\end{array}\right)\\ =(b, \cdots, b)\left(\begin{array}{c}k_1\\ \vdots\\k_{n-r+1}\end{array}\right)\\ =k_1 b + \cdots + k_{n-r+1} b\)\(k_{1}+\cdots+k_{n-r+1}=1\)

综上,有\(Ax=b\)的任一解都可表示为\(\boldsymbol{x}=k_{1} \boldsymbol{\eta}_{1}+\cdots+k_{n-r+1} \boldsymbol{\eta}_{n-r+1}\),且\(k_{1}+\cdots+k_{n-r+1}=1\)

证明二: 网上找来的答案:(个人感觉答案中某些位置的\(Ax=b\)应该替换为\(Ax=0\)才对) image-20200928234606052

image-20200928234635703

向量空间

判断是否是向量空间

例1
image-20200929000722686
image-20200929000756627
例2
image-20200929004731370
image-20200929004810373
例3
image-20200929005249130

证明一: 对增广矩阵\((a_1,a_2|b_1,b_2)\)初等行变换,可得\(r(a_1,a_2) = r(b_1,b_2)=r(a_1,a_2,b_1,b_2)=2\) 则向量组\(a_1,a_2\)与向量组\(b_1,b_2\)等价 根据向量空间的性质,向量组等价,生成对应的向量空间相等,即\(L_1 = L_2\)

证明二: image-20200929010308313

image-20200929010331172
例4
image-20200929010716188
image-20200929010649810
例5
image-20200929011019772
image-20200929010940739
image-20200929010953802