【大一线性代数】行阶梯矩阵的定义