向量组的线性相关与线性无关

1、向量组的线性相关与线性无关1.线性组合设，称为的一个线性组合。【备注1】按分块矩阵的运算规那么，。这样的表示是有好处的。2.线性表示 设，如果存在，使得那么称可由线性表示。，写成矩阵形式，即。因此，可由线性表示即线性方程组有解，而该方程组有解当且仅当。3.向量组等价设，如果中每一个向量都可以由线性表示，那么称向量组可以由向量组线性表示。如果向量组和向量组可以相互线性表示，那么称这两个向量组是等价的。向量组等价的性质：(1) 自反性 任何一个向量组都与自身等价。(2) 对称性 假设向量组I与II等价，那么向量组II也与I等价。(3) 传递性 假设向量组I与II等价，向量组II与III等价，那么向

2、量组I与III等价。证明：自反性与对称性直接从定义得出。至于传递性，简单计算即可得到。设向量组I为，向量组II为，向量组III为。向量组II可由III线性表示，假设，。向量组I可由向量组II线性表示，假设，。因此，因此，向量组I可由向量组III线性表示。向量组II可由I线性表示，III可由II线性表示，按照上述方法再做一次，同样可得出，向量组III可由I线性表示。因此，向量组I与III等价。结论成立！4.线性相关与线性无关设，如果存在不全为零的数，使得那么称线性相关，否那么，称线性无关。 按照线性表示的矩阵记法，线性相关即齐次线性方程组有非零解，当且仅当。线性无关，即只有零解，当且仅当。特别的

3、，假设，那么线性无关当且仅当，当且仅当可逆，当且仅当。例1. 单独一个向量线性相关即，线性无关即。因为，假设线性相关，那么存在数，使得，于是。而假设，由于，因此，线性相关。例2. 两个向量线性相关即它们平行，即其对应分量成比例。因为，假设线性相关，那么存在不全为零的数，使得。不全为零，不妨假设，那么，故平行，即对应分量成比例。如果平行，不妨假设存在，使得，那么，于是线性相关。例3.线性无关，且任意都可以由其线性表示，且表示方法唯一。事实上，5.线性相关与无关的性质(1) 假设一向量组中含有零向量，那么其必然线性相关。证明：设，其中有一个为零，不妨假设，那么因此，线性相关。(2) 假设一向量组线

4、性相关，那么增添任意多个向量所形成的新向量组仍然线性相关；假设一向量组线性无关，那么其任意局部向量组仍然线性无关。证明：设，线性相关。存在不全为零的数，使得这样，不全为零，因此，线性相关。 后一个结论是前一个结论的逆否命题，因此也正确。(3) 假设一个向量组线性无关，在其中每个向量相同位置之间增添元素，所得到的新向量组仍然线性无关。证明：设为一组线性无关的向量。不妨假设新的元素都增加在向量最后一个分量之后，成为，是同维的列向量。令那么。由向量组线性相关，可以得到。结论得证！(4) 向量组线性相关当且仅当其中有一个向量可以由其余向量线性表示。证明：设为一组向量。必要性 假设线性相关，那么存在一组

5、不全为零的数，使得不全为零，设，那么充分性 假设中某个向量可以表示成其余向量的线性组合，假设可以表示成的线性组合，那么存在一组数，使得也就是但不全为零，因此，线性无关。【备注2】请准确理解其意思，是其中某一个向量可以由其余向量线性表示，而不是全部向量都可以。(5) 假设线性无关，使得线性相关，那么可由线性表示，且表示方法唯一。证明：线性相关，因此，存在不全为零的数，使得，否那么，那么。由线性无关，我们就得到，这样，均为零，与其不全为零矛盾！这样，因此，可由线性表示。假设，那么由线性无关，有，即因此，表示法唯一。【备注3】 刚刚的证明过程告诉我们，如果向量可由线性无关向量组线性表示，那么表示法唯

6、一。事实上，向量可由线性无关向量组线性表示，即线性方程组有解。而线性无关，即。因此，假设有解，当然解唯一，即表示法唯一。(6) 假设线性无关向量组可由向量组线性表示，那么。证明：假设结论不成立，于是。可由线性表示。假设，.，任取，那么由于为一个阶矩阵，而，因此，方程组必有非零解，设为，于是。因此，存在一组不全为零的数，使得。因此，向量组线性相关，这与向量组线性无关矛盾！因此，。(7) 假设两线性无关向量组和可以相互线性表示，那么。证明：由性质(6)，因此，。【备注4】等价的线性无关向量组所含向量个数一样。(8) 设，为阶可逆矩阵，那么线性无关当且仅当线性无关。可由线性表示，当且仅当可由线性表示

7、。假设可以线性表示，表示的系数不变。证明：由于可逆，因此如此，结论得证！6.极大线性无关组定义1 设，如果存在局部向量组，使得(1) 线性无关；(2) 中每一个向量都可以由线性表示；那么称为的极大线性无关组。【备注5】 设，为其极大线性无关组。按照定义，可由线性表示。但另一方面，也显然可以由线性表示。因此，与等价。也就是说，任何一个向量组都与其极大线性无关组等价。向量组的极大线性无关组可能不止一个，但都与原向量组等价，按照向量组等价的传递性，它们彼此之间是等价的，即可以相互线性表示。它们又都是线性无关的，因此，由之前的性质(7)，向量组的任意两个极大线性无关组含有相同的向量个数。 这是一个固定

8、的参数，由向量组本身所决定，与其极大线性无关组的选取无关，我们称其为向量组的秩，即向量组的任何一个极大线性无关组所含的向量个数。【备注6】按照定义，向量组线性无关，充分必要条件即其秩为。定义2设，如果其中有个线性无关的向量，但没有更多的线性无关向量，那么称为的极大线性无关组，而为的秩。【备注7】 定义2生动地表达了极大线性无关组的意义。一方面，有个线性无关的向量，表达了“无关性，另一方面，没有更多的线性无关向量，又表达了“极大性。【备注8】两个定义之间是等价的。一方面，如果线性无关，且中每一个向量都可以由线性表示，那么，就没有更多的线性无关向量，否那么，假设有，设为，。当然可以由线性表示，且还

9、线性无关，按照性质(6)，这与假设矛盾！另一方面，假设为中个线性无关向量，但没有更多的线性无关向量，任取中一个向量，记为，那么线性相关。按照性质(5)，可有线性表示(且表示方法唯一)。【备注9】设向量组的秩为，那么其极大线性无关向量组含有个向量。反过来，其中任何个线性无关向量所成的向量组也是的一个极大线性无关组。这从定义即可得到。6.向量组的秩的矩阵的秩的关系称矩阵的列向量组的秩为的列秩，行向量组转置后所得到的列向量组的秩称为矩阵的行秩。定理1 任意矩阵的秩等于其行秩等于其列秩。证明：设，。将其按列分块为。存在阶可逆矩阵，使得为行最简形，不妨设为线性无关，且中其余列向量都可以由其线性表示，因此

10、，为的极大线性无关组，其个数为，因此，线性无关，且中其余列向量均可由其线性表示(且表示的系数不变)。因此，的列秩等于的秩。将按行分块，那么，因此，按照前面的结论，的行秩为的秩，而的秩等于的秩。至此，结论证明完毕！【备注10】证明的过程其实也给出了求极大线性无关组的方法。7.扩充定理定理2 设，秩为，为其中的个线性无关的向量，那么能在其中参加中的个向量，使新向量组为的极大线性无关组。证明：如果，那么已经是的一个极大线性无关组，无须再添加向量。如果，那么不是的一个极大线性无关组，于是，必有元素不能由其线性表示，设为，由性质(5)，向量组线性无关。如果，那么已经是的一个极大线性无关组，无须再添加向量

11、。如果，那么不是的一个极大线性无关组，于是，必有元素不能由其线性表示，设为，由性质(5)，向量组线性无关。同样的过程一直进行下去，直到得到个线性无关的向量为止。【备注11】证明的过程其实也给出了求极大线性无关组的方法。只是，这方法并不好实现。8.求极大线性无关组并将其余向量由极大线性无关组线性表示求向量组的极大线性无关组，可以按照下面的方法来实现。(1) 将合在一起写成一个矩阵；(2) 将通过初等行变换化成行阶梯形或者行最简形，不妨设化得的行阶形为，(3) 在上半局部找出个线性无关的列向量，设为列，那么为列向量组的极大线性线性无关组，也是列向量组的极大线性线性无关组，也就是的极大线性无关组。为了在上半局部寻找个线性无关向量，必须且仅须在上半局部寻找阶的非奇异子矩阵。阶非奇异子矩阵的列向量组线性无关。显而易见，上面矩阵第1到第列即向量组的一个极大线性无关组。其余情形同理。(4) 将其余向量组表示为极大线性无关组的线性组合。这时候得解方程组。我们将矩阵化为行最简形，那么一步就很容易完成了。不妨设行最简形为在中第1到第列为列向量组的极大线性无关组，而其余