向量的线性表示和线性相关

向量组的线性组合

Def 1. 向量

nnn个有次序的数字形成的所组成的数组称作nnn维向量。

Notes: 以下讨论习惯于将a\bold{a}a表示成列向量,而把aT\bold{a^T}aT表示成行向量。

Def 2. 向量的线性组合

对于向量组A=a1,...an\bold A = {\bold a_1, ... \bold a_n}A=a1,...an,任意一组实数k1,...kn{k_1, ...k_n}k1,...kn与向量组形成的表达式k1a1+...+knank_1\bold a_1 + ... + k_n\bold a_nk1a1+...+knan称作向量组A\bold AA的一个线性组合

特别地,如果存在b=k1a1+...+knan\bold b = k_1\bold a_1 + ... + k_n\bold a_nb=k1a1+...+knan,则向量b\bold bb是向量组A\bold AA的一个线性组合,也称b\bold bb可以被A\bold AA线性表示。

不难发现,b\bold bb能被A\bold AA线性表示的条件就是方程Ax=b\bold {Ax=b}Ax=b有解。立得定理1.

Th1. 向量线性表示的充要条件

向量b\bold bb能够被向量组A=a1,...an\bold A = {\bold a_1, ... \bold a_n}A=a1,...an线性表示的充分必要条件是r(A)=r(A,b)r(\bold A)=r(\bold {A, b})r(A)=r(A,b)

Notes: 线性表示是一种向量组对于向量的运算。这种运算具有传递性,没有自反和对称性。

Def 3. 向量组的等价

若向量组B=b1,...bt\bold B = {\bold b_1, ... \bold b_t}B=b1,...bt中的每一个向量都可以被向量组A=a1,...am\bold A = {\bold a_1, ... \bold a_m}A=a1,...am线性表示,那么称向量组B\bold BB可以被向量组A\bold AA线性表示。如果这两个向量组能够相互表示,那么称这两个向量组等价。

不难将刚才对于线性方程组的性质加强到矩阵方程组上。那么,B\bold BB可以被A\bold AA表示,就可以表述为方程AX=B\bold {AX=B}AX=B有解。

Th2. 向量组线性表示的充要条件

向量组B=b1,...bt\bold B = {\bold b_1, ... \bold b_t}B=b1,...bt可以被向量组A=a1,...am\bold A = {\bold a_1, ... \bold a_m}A=a1,...am线性表示的充要条件是r(A)=r(A,B)r(\bold A)=r(\bold {A, B})r(A)=r(A,B)

如此可以考虑,向量组的等价,应当是比矩阵等价更强的条件,因为两个矩阵等价,并不能表征方程组同解的条件;但是向量组的等价包含有方程组同解这个很强的条件。

Th3. 向量组等价的充要条件

由Th2的定义不难得到两个等式r(A)=r(A,B)r(\bold A)=r(\bold {A, B})r(A)=r(A,B)r(B)=r(B,A)r(\bold B)=r(\bold {B, A})r(B)=r(B,A)。而等式右边的两项是相等的。于是得到
A等价于B↔r(A)=r(B)=r(A,B) \bold A 等价于 \bold B \leftrightarrow r(\bold A) = r(\bold B) = r(\bold {A, B}) ABr(A)=r(B)=r(A,B)
最后我们来讨论向量组线性表示的一个必要条件。

承接刚才的讨论,B\bold BB可以被A\bold AA表示这个条件,可以表述为方程AX=B\bold {AX=B}AX=B有解。

进一步地,我们有,r(A)=r(A,B)r(\bold A)=r(\bold {A, B})r(A)=r(A,B)。但是,不难得到,r(B)≤r(A,B)r(\bold B) \le r(\bold {A, B})r(B)r(A,B)。综合以上,得到下面的定理:

Th4. 向量组线性表示的必要条件

B\bold BB可以被A\bold AA表示 →\rightarrow r(B)≤r(A)r(\bold B) \le r(\bold {A})r(B)r(A)

实际上上面的讨论是对于有限的向量进行的,这些讨论是很容易从矩阵的结论直接得来的。

向量组的线性相关性

刚才一节对于向量组的线性表示的讨论,是对于任意两个向量之间关系的讨论。下面要进行的则是对于一个向量组本身的讨论,这个性质叫做线性相关。

Def 4 线性相关

对于向量组A=a1,...an\bold A = {\bold a_1, ... \bold a_n}A=a1,...an,若存在不全为零的一组数k1,...kn{k_1, ...k_n}k1,...kn,使得表达式k1α1+...+knαn=0k_1\bold\alpha_1+...+k_n\bold\alpha_n=0k1α1+...+knαn=0成立,则称向量组A\bold AA是线性相关的;否则是线性无关的。

不难发现线性相关和线性表示分别对应了线性方程组中对于齐次和非齐的一种表述。而线性相关的几何意义则是这组基底是不是能够完全表达一个空间的向量基底;线性表示则用于刻画两个向量集对空间的相同刻画能力。

注意特殊定义A=0A = \bold 0A=0,这个只含一个向量的向量组是线性相关的。这与几何意义符合的很好:零向量很明显不能够表达空间,它太弱了。

由刚才的讨论不难得出一个性质,即,A\bold AA是线性相关的等价于AX=0\bold{AX=0}AX=0存在非零解。于是得到定理:

Th5. 向量组线性相关的充要条件

A\bold AA是线性相关的↔\leftrightarrowr(A)<nr(\bold A) < nr(A)<n

去证明一个向量组是线性无关的,大体有以下三种做法:定义,同乘矩阵,秩。

以下对于向量组线性相关的性质进行一些讨论。

首先,不难想到,如果一个向量组A\bold AA本身是线性相关的,那么将它升维,即增加向量组中元素的个数,这个向量组依然是线性相关的。形式的证明如下:

Th6. 向量组线性相关的弱二分性质

若向量组A=a1,...,am\bold A = \bold{a_1, ..., a_m}A=a1,...,am线性相关,则B=a1,...,am,am+1\bold {B = a_1, ..., a_m, a_{m+1}}B=a1,...,am,am+1也线性相关。

由于r(B)≤r(A)+1<m+1r(\bold B) \le r(A) + 1 < m + 1r(B)r(A)+1<m+1即得。

其逆否也是一个很强的条件,即B\bold BB线性无关的话,A\bold AA也线性无关。

这个弱二分性质可以得到一些有趣的结论。

首先,如果向量组有一个子组是线性相关的,那么这个向量组本身也是线性相关的;特别地,如果向量组中含有零向量,这个向量组也是线性相关的。对于线性无关也有类似的性质,但是一般很难找到一个对应维度的基。

Th7. 向量组的维度性质

设向量组A\bold AAmmmnnn维向量。当m>nm > nm>n时,向量组一定线性相关。

r(A)<=n<mr(\bold A) <= n < mr(A)<=n<m立得。

此外还有升维的性质,即:

设向量组A\bold AAmmmnnn维向量,且A\bold AA线性无关。当维度变为n′>nn' > nn>n时,向量组一定线性无关。

Th8. 向量组的临界性

设向量组A=a1,...,am\bold {A = a_1, ..., a_m}A=a1,...,am线性无关,而B=a1,...,am,b\bold {B = a_1, ..., a_m, b}B=a1,...,am,b线性相关,那么b\bold {b}b一定能被A\bold AA线性表示。

问题转化为AX=b\bold {AX=b}AX=b的解的问题,由Th5得到r(A)=mr(\bold A) = mr(A)=mr(B)≥r(A)r(\bold B) \ge r(\bold A)r(B)r(A),且r(B)<m+1r(\bold B) < m + 1r(B)<m+1,立得r(A)=r(B)r(\bold A) = r(\bold B)r(A)=r(B),方程组有解。

这个性质可以引出后面类似于矩阵的秩中的定义,我们不难发现,任何一个极大的线性无关向量子组都可以表示出这个集合的所有向量。

向量组的秩

由刚才的讨论我们发现了一个性质,即,向量组的极大的线性无关向量组似乎有和矩阵的秩类似的性质,即,它的数值大小是有二分性质的。下面我们对它进行一些讨论,一方面是为了使得线性方程解的理论更加完善,另一方面是由于秩是衡量一个向量组表达空间能力的有效度量,但是这个向量组很明显有可能不是一个有限集,所以对于无穷向量组的度量亟需一种有效的手段。

Def 5 极大无关向量组

一个向量组A\bold AA的极大无关向量组B\bold BB有如下性质:

  1. B\bold BB是线性无关的。
  2. B\bold BB的大小是mmm,那么任意m+1m+1m+1阶向量组都线性相关。

这样的向量组B\bold BB被称为A\bold AA的极大无关向量组。

与有限矩阵做类比我们可以得到,一个极大无关向量组可以对应到一个矩阵的极大非零子阵,那么自然地我们就会想到,任意两个极大无关向量组的大小应该是相同的。

Th9. 极大无关向量组的大小唯一

证明从略。

一个比较有趣的性质是,任何一个无关向量子组都一定包含于某一个极大无关向量组中。这个性质可以用反证法证明。

有了极大无关向量组的单调性质,我们可以立即给出秩的定义。

Def 6 向量组的秩

向量组的秩的大小等价于它的极大无关向量组的向量个数。

由Th8可以知道,一个极大向量组一定能表达出这个向量组中的所有向量。由此可以给出极大无关向量组的等价定义。

Def 7 极大无关组的等价定义
  1. B\bold BB是线性无关的。

  2. 对于任意不在B\bold BB中的向量a\bold aa,总可以由B\bold BB线性表示。

这实际上是极大无关组的几何刻画,用它可以证明一个方程组的任一不缺解的解向量组都是这个解空间的极大无关组。

前面我们一直在把向量组和矩阵进行对比。由此可以想到,一个向量组的秩和它对应的矩阵的秩是否相同呢?

Th10. 矩阵的秩等于它列向量组的秩,也等于它行向量组的秩。

只证列向量的情况,行向量类似。

设矩阵A\bold AA的秩r(A)=mr(\bold A) = mr(A)=m,那么一定存在mmm阶子阵其行列式不为0。对应地,这mmm列所在的列向量组组成的矩阵的秩r(A,B)>=r(A)r(\bold {A, B}) >= r(\bold A)r(A,B)>=r(A),故其秩为mmm。由Th5得到这是一个线性无关子阵。

再证任意m+1m+1m+1的列向量组都线性相关。任取m+1m + 1m+1阶子式(如果存在的话),它的行列式为0,那么其秩必不满。由Th5得到其线性相关。这即是极大线性无关组的定义。

至此,任何一个向量组的秩,都可以和它对应的矩阵划等号了。

从刚才的证明中可以看出,任何一个极大子式所在的列都可以做为一个极大无关向量组。下面对于求极大向量组的方法进行进一步讨论。

Th11. 初等变换不改变极大无关向量组的表示形式。

A\bold AA,以及可逆P\bold PP,于是有PA=B\bold {PA=B}PA=B

我们设A\bold AA的一个极大组是a1,a2,...,an\bold {a_1, a_2, ..., a_n}a1,a2,...,an

即有,k1a1+...+knan=0k_1\bold a_1 + ... + k_n\bold a_n = 0k1a1+...+knan=0.

两侧左乘P\bold PP,得,k1Pa1+...+knPan=0k_1 \bold {Pa_1} + ... + k_n\bold {Pa_n}=0k1Pa1+...+knPan=0

A,B\bold {A, B}A,B列分块后,不难发现这就是B\bold BB列向量的表达形式。

于是可以发现,A,B\bold {A, B}A,B的极大组的选取和其系数在左乘一个可逆矩阵,即,进行行变换后没有发生改变。

这样一来,求一个向量组的极大无关向量组就可以归结为对其变换为行初等形式后的一系列操作的讨论。

利用极大无关组可以作为对于无穷向量组证明的过渡。下扩展Th4.

Th4’ 向量组的偏序关系

B\bold BB能被A\bold AA表示,那么r(B)≤r(A)r(\bold B) \le r(\bold A)r(B)r(A)

由于向量组的秩等价于极大无关组的向量个数,等价于极大无关组的秩,等价于这个矩阵的秩,由Th4的证明就有r(B极大)≤r(A极大)r(\bold B_{极大}) \le r(\bold A_{极大})r(B)r(A)。得证。

线性方程组解的结构

这一小节中,我们首先建立对于齐次方程组解的结构的相关理论,随后通过两条简单的性质拓展到非齐次线性方程组。

Th12. 齐次线性方程组解的基本性质

设线性方程AX=0\bold {AX=0}AX=0。设x=ξ1\bold x = \xi_1x=ξ1x=ξ2\bold x = \xi_2x=ξ2均为其的解,那么x=ξ1+ξ2\bold x = \xi_1 + \xi_2x=ξ1+ξ2也是它的一个解。

x=ξ\bold x = \xix=ξ是它的一个解,那么x=k ∗ ξ\bold x = k \space * \space \xix=k  ξ也是它的一个解。

上述性质可以概括为,任意多个齐次方程的解的线性组合仍是齐次方程的解。

从这个性质,联系到上一节我们拓展到无穷向量集合的秩的性质,我们猜想,是不是可以用一个向量组的极大无关组来表达它的所有解呢?毕竟,一个极大无关组可以线性表出所有向量,而所有的向量都是极大无关组的线性组合!下面进行简单的讨论。

任意一个方程组的系数矩阵都可以转化成如下的行最简矩阵。
(1⋯0b11⋯b1,n−r⋮⋮⋮⋮0⋯1br1⋯cr,n−r0⋯0⋮⋮0⋯0) \begin {pmatrix} 1 & \cdots & 0 & b_{11} & \cdots & b_{1, n - r} \\ \vdots & & \vdots & \vdots & & \vdots \\ 0 & \cdots & 1 & b_{r1} & \cdots & c_{r, n - r} \\ 0 & & & \cdots & & 0 \\ \vdots & & & & & \vdots \\ 0 & & & \cdots & & 0 \end{pmatrix} \quad 100001b11br1b1,nrcr,nr00
它对应的同解方程组为
x1=−b11xr+1−⋯−b1,n−rxn⋯⋯xr=−br1xr+1−⋯−br,n−rxn x_1 = -b_{11}x_{r+1}-\cdots-b_{1,n-r}x_n \\ \cdots\cdots \\ x_r = -b_{r1}x_{r+1}-\cdots-b_{r,n-r}x_n \\ x1=b11xr+1b1,nrxnxr=br1xr+1br,nrxn
如果我们令xr+1,⋯ ,xnx_{r+1}, \cdots, x_nxr+1,,xn都为自由变元的话,这个时候我们进行的是先求通解再求解系的操作;

如果我们令它们等价于n−rn - rnr个自然基向量的话,可以直接得到解系,然后再求通解。

立得如下定理:

Th13. 齐次线性方程组解的结构

R(A)+Rs=nR(\bold A) + R_s = nR(A)+Rs=n,其中RsR_sRsA\bold AA解集的秩。

应用这个定理我们可以证明另一个定理

AB=0→r(A)+r(B)≤n\bold {AB=0} \rightarrow r(\bold A) + r(\bold B) \le nAB=0r(A)+r(B)n

实际上左侧的条件即为AX=0\bold{AX=0}AX=0的问题,可以发现B\bold BBA\bold AA解系的一个子集。

由Th13, R(A)+Rs=nR (\bold A) + R_s = nR(A)+Rs=n,而r(B)<Rsr(\bold B) < R_sr(B)<Rs(矩阵和子矩阵的秩关系),得证。

Th14. 非齐次线性方程组解的基本性质

AX=b⋯(1)\bold {AX=b} \cdots (1)AX=b(1)AX=0⋯(2)\bold {AX=0} \cdots (2)AX=0(2)

x=ξ1\bold x = \xi_1x=ξ1x=ξ2\bold x = \xi_2x=ξ2均为(1)的解,那么x=ξ1−ξ2\bold x = \xi_1 - \xi_2x=ξ1ξ2是(2)的一个解。

x=ξ\bold x = \xix=ξ是(1)的一个解,x=ϕ\bold x = \phix=ϕ是(2)的一个解,那么x=ξ+ϕ\bold x = \xi + \phix=ξ+ϕ也是它的一个解。

于是得到

Th15. 非齐次线性方程组解的结构

AX=b⋯(1)\bold {AX=b} \cdots (1)AX=b(1)AX=0⋯(2)\bold {AX=0} \cdots (2)AX=0(2).

那么(1)的通解可以写为ϕ+ξ\phi + \xiϕ+ξ的形式,其中ξ\xiξ是(2)的通解,ϕ\phiϕ是(1)的任意一个特解。

向量空间

这一节来讨论向量集合的几何意义。

Def 8. 向量空间

nnn维向量组VVV。若任意两个向量组中的元素的加法和数乘都封闭,那么这个向量组形成了一个向量空间。

从几何意义上来看,向量空间总是用来表达1,2,⋯ ,n1, 2, \cdots, n1,2,,n维中所有点的集合。有如L=[x=λa+μb]L = [\bold {x = \lambda a+\mu b}]L=[x=λa+μb],当二者共线时退化成一维点集;不共线时表达了二维平面;L=[0,x1,⋯ ,xn]L=[0, x_1, \cdots, x_n]L=[0,x1,,xn]是退化成nnn维的点集。

两个向量组等价,那么它表达的向量空间等价。

Def 9. 子空间

设有向量空间V1,V2V_1, V2V1,V2,若V1⊆V2V_1 \subseteq V_2V1V2,称V1V_1V1V2V_2V2的一个子空间。

Def 10. 向量空间的基

等价于向量组的极大无关组,可以用来表示整个空间。

Def 10. 坐标

VVV向量空间有基底a\bold aa与实数序列b=(a1,⋯ ,an)\bold b = (a_1, \cdots, a_n)b=(a1,,an),那么,任意一个向量x\bold xx都可以表示成x=ab\bold {x = ab}x=ab的形式,这个序列b\bold bb为向量x\bold xx在基底a\bold aa下的坐标。

Def 11. 过渡矩阵和坐标变换公式

R3\R^3R3中有基A=(a1,a2,a3)\bold A= (\bold {a_1, a_2, a_3})A=(a1,a2,a3)B=(b1,b2,b3)\bold B = (\bold {b_1, b_2, b_3})B=(b1,b2,b3)。可以得到

$(\bold {a_1, a_2, a_3}) = \bold {(e_1, e_2, e_3)A} ,而,而(\bold {b_1, b_2, b_3}) = \bold {(e_1, e_2, e_3)B} = (\bold {a_1, a_2, a_3}) \bold A^{-1} \bold B$。

P=A−1B\bold P = \bold {A^{-1}B}P=A1B为过渡矩阵。

设向量x\bold xxA\bold AAB\bold BB中的坐标分别为(y1,y2,y3)(y_1,y_2,y_3)(y1,y2,y3)(z1,z2,z3)(z_1, z_2, z_3)(z1,z2,z3),那么有

x=A(y1,y2,y3)T=B(z1,z2,z3)T\bold x = \bold A (y_1, y_2, y_3)^T = \bold B (z_1, z_2, z_3)^Tx=A(y1,y2,y3)T=B(z1,z2,z3)T

即,(z1,z2,z3)T=B−1A(y1,y2,y3)T(z_1, z_2, z_3)^T=\bold B^{-1}\bold A(y_1, y_2, y_3)^T(z1,z2,z3)T=B1A(y1,y2,y3)T

其中B−1A=P−1\bold B^{-1}\bold A = \bold P^{-1}B1A=P1

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值