矩阵行最简形定义