线性方程组:\(m*n\) 的系数矩阵 \(A\) ,长度为 \(n\) 的解向量 \(x\) ,和长度为 \(m\) 的偏置为 \(b\) 。需要解 \(Ax=b\) 。
矩阵初等变换:
-
交换两行
-
某行倍加到另一行上
-
某行乘非 \(0\) 倍数
增广矩阵:把 \(A\) 和 \(b\) 拼到一起
阶梯型矩阵:从上到下,\(0\) 个数逐行严格增加,直到下方的全 \(0\) 行
最简阶梯型:在阶梯型的基础上,有两个条件:
-
每行第一个非 \(0\) 元是 \(1\)
-
每行第一个非 \(0\) 元所在的列,其他行全 \(0\)
(让我想到高斯-约旦消元法)