1 极大线形无关组
在向量组 α 1 , α 2 , ⋯ , α s \boldsymbol{\alpha}_1,\boldsymbol{\alpha}_2,\cdots,\boldsymbol{\alpha}_s α1,α2,⋯,αs 中,若存在部分组 α i 1 , α i 2 , ⋯ , α i r \boldsymbol{\alpha}_{i_1},\boldsymbol{\alpha}_{i_2},\cdots,\boldsymbol{\alpha}_{i_r} αi1,αi2,⋯,αir 满足:
- α i 1 , α i 2 , ⋯ , α i r \boldsymbol{\alpha}_{i_1},\boldsymbol{\alpha}_{i_2},\cdots,\boldsymbol{\alpha}_{i_r} αi1,αi2,