ula_11 为 formula_1 的秩。
用向量组的秩定义.对于 formula_15 维线性空间 formula_16 中的一个向量组 formula_17，若 formula_18 中的 formula_11 个向量线性无关，且若 formula_20，formula_21 中 formula_12 个向量都线性相关，则称 formula_23 为 formula_24 的极大线性无关组，formula_11 为 formula_24 的秩。可以证明 formula_27