基扩张定理、矩阵秩不等式、线性空间的维数公式、直和等价命题