极大线性无关组:
在向量组 α 1 , α 2 , . . . , α s \alpha_1,\alpha_2,...,\alpha_s α1,α2,...,αs中,若存在部分组 α i 1 , α i 2 , . . . , α i r \alpha_{i_1},\alpha_{i_2},...,\alpha_{i_r} αi1,αi2,...,αir满足:
① α i 1 , α i 2 , . . . , α i r \alpha_{i_1},\alpha_{i_2},...,\alpha_{i_r} αi1,αi2,...,αir线性无关;
②向量组中任一向量 α i ( i = 1 , 2 , . . . s ) \alpha_i(i=1,2,...s) αi(i=1,2,...s)均可由 α i 1 , α i 2 , . . . , α i r \alpha_{i_1},\alpha_{i_2},...,\alpha_{i_r} αi1,αi2,...,αir线性表出。
则称向量组 α i 1 , α i 2 , . . . , α i r \alpha_{i_1},\alpha_{i_2},...,\alpha_{i_r} αi1,αi2,...,αir是原向量组的极大线性无关组。
【注意】
1.向量组的极大线性无关组一般不唯一
2.只由一个零向量组成的向量组不存在极大线性无关组
3.一个线性无关向量组的极大线性无关组就是该向量本身
【张宇考研数学基础30讲 2021版】p345 eg.2.3.8 设向量组
α 1 = [ 1 , − 1 , 2 , 4 ] T , α 2 = [ 0 , 3 , 1 , 2 ] T , α 3 = [ 3 , 0 , 7 , 14 ] T , α 4 = [ 1 , − 2 , 2 , 0 ] T , α 5 = [ 2 , 1 , 5 , 10 ] T \alpha_1=[1,-1,2,4]^T,\alpha_2=[0,3,1,2]^T,\alpha_3=[3,0,7,14]^T,\alpha_4=[1,-2,2,0]^T,\alpha_5=[2,1,5,10]^T α1=[1,−1,2,4]T,α2=[0,3,1,2]T,α3=[3,0,7,14]