基本矩阵的定义