什么叫则非零行的首非零元所在列对应的向量即构成一个极大无关组

比如
(a1,a2,a3,a4,a5)
--> 用初等行变换化为
1 2 3 4 5
0 0 6 7 8
0 0 0 0 9
0 0 0 0 0
非零行共3行,首非零元分别是 1,6,9
分别位于第 1,3,5 列
则 a1,a3,a5 构成向量组的一个极大无关组.
PS.向量组的极大无关组一般不唯一,这只是找一个极大无关组的简便方法