矩阵的转置和对称矩阵.pdf

§2.3 向量组的秩 一、向量组的极大无关组 二、向量组的等价 一、向量组的极大无关组 1023  ,,, 是否线性相关？ 引例向量组  0102  定义1 如果一个向量组的部分组满足 (1)线性无关， (2)向量组中的任一向量都可以用它线性表示， 则称该部分组为向量组的一个极大无关组. 定义1’ (1)线性无关， (2)从向量组中任取一个向量添加到该部分组 中, 新部分组都线性相关. 【注】由定义知, 向量组的一个极大无关组就是向量组 中含有向量个数最多的一个无关组。 【注】①两定义等价； ②仅含有零向量的向量组一定线性相关, 故没有极 大无关组； ③包含非零向量的向量组一定有极大无关组，因为 单个的非零向量一定是线性无关的； ④一个线性无关向量组的极大无关组就是其本身; ⑤如果向量组中含基本单位向量组, 它就是此向量组 的一个非常漂亮的极大无关组; ⑥一个向量组的极大无关组不一定唯一. 1023  例如 ,,,.  0102  二、向量组等价 ,,, L (2) ,,, L 定义2 有向量组 (1) 12 s 12 t 如果向量组(1)中的每一个向量都可以用向量组(2) 线性表示, 则称向量组(1)可以由向量组(2)线性表示. 如果向量组(1)、(2)可以互相线性表示, 则称 向量组(1)与向量组(2)等价. 记作 {,,,}{,,,}LL  1212 st (a),,, L 向量组等价的基本性质 ：设有向量组 12 s (b) ,,, L … 12 t 和 (c) � ,� , ,�， 1 2 k (1)反身性 (a)≌(a); (2)对称性 若(a)≌(b), 则(b)≌(a); (3)传递性 若(a)≌(b), (b)≌(c), 则(a) 例1 证明�=(1,2), �=(2,3) 与�=(1,0), �=(0,1) 等价. 1 2 1 2 证明： 因为任意n 维向量都可以由n 维基本单位向量组 线性表示, 故�, �分别可以由�, � 线性表示。 1 2 1 2 另一方面, 设xx , 11221 观察此方程组有无穷 多解, 即�可以由�, �线性表示。同理, 可证� 1 1 2 2 �, �线性表示。所以两个向量组等价。 1 2