定理1 如果是的线性无关部分组,它是极大无关组的充分必要条件是中的每一个向量都可由线性表示.
证 必要性:如果是的一个极大无关组,则当是中的数时,显然可由线性表示;而当不是中的数时,线性相关,又线性无关,故可由线性表示.
充分性:如果可由线性表示,则中任何包含个向量的部分组都线性相关,于是是极大无关组.
注:向量组与其极大线性无关组可相互线性表示.