, ,
,
的秩和一个极大无关组.
设为阶矩阵, 则矩阵的任意个列向量线性无关.
设向量组线性无关,且可由向量组线性表示,则必有.
设为阶矩阵,如果矩阵的个列向量线性无关,那么.
如果向量组的秩为,则向量组中任一部分组都线性无关.
;
.
,,,;
;,,.