RREF 是结构透视镜
行最简形把秩、主元列、自由列和线性关系全部暴露出来，是后续一切讨论的出发点。
18.06 · 第 9 课
高斯消元把矩阵化到最简的行阶梯形（RREF, Reduced Row Echelon Form）。从这张"X 光片"里，我们能直接读出列之间的线性无关关系，并挑出列空间的一组基。
高斯-约当消元（Gauss–Jordan elimination）把矩阵 \(A\) 通过行变换化为行最简形 \(R\)。RREF 满足：
核心洞察。RREF 的行空间（row space）与原矩阵相同，但列空间变了——所以列的性质要回到原矩阵 \(A\) 去看，行空间的性质可以从 \(R\) 直接读出。
对矩阵
\[A = \begin{bmatrix} 1 & 2 & 2 & 2 \\ 2 & 4 & 6 & 8 \\ 3 & 6 & 8 & 10 \end{bmatrix}\]做行变换得到
\[R = \begin{bmatrix} 1 & 2 & 0 & -2 \\ 0 & 0 & 1 & 2 \\ 0 & 0 & 0 & 0 \end{bmatrix}.\]主元位于第 1 列和第 3 列，因此主元列是 1 和 3，第 2、4 列是自由列。主元个数即秩（rank）\(r=2\)。
RREF 的第 2 列是 \(\begin{bmatrix}2\\0\\0\end{bmatrix}\)，恰好是第 1 列的 2 倍；第 4 列是 \(\begin{bmatrix}-2\\2\\0\end{bmatrix}\)，等于 \(-2\) 倍第 1 列加上 \(2\) 倍第 3 列。这些线性关系原封不动地适用于原矩阵 \(A\) 的对应列：
\[\mathbf{a}_2 = 2\,\mathbf{a}_1,\qquad \mathbf{a}_4 = -2\,\mathbf{a}_1 + 2\,\mathbf{a}_3.\]这是因为行变换不改变列之间的线性关系。
向量 \(\mathbf{v}_1,\dots,\mathbf{v}_n\) 线性无关（linearly independent）当且仅当
\[c_1\mathbf{v}_1 + c_2\mathbf{v}_2 + \cdots + c_n\mathbf{v}_n = \mathbf{0}\]只有零解 \(c_1=c_2=\cdots=c_n=0\)。如果存在不全为零的系数使组合为零向量，则这组向量线性相关（linearly dependent）。
常见误区。"线性无关"不是"两两不成比例"。三个向量中任意两个不成比例，仍可能线性相关（例如 \(\mathbf{v}_3 = \mathbf{v}_1+\mathbf{v}_2\)）。必须检查整组的线性组合。
把向量作为列构成矩阵 \(A\)，线性无关等价于 \(A\mathbf{x}=\mathbf{0}\) 只有零解，也等价于没有自由列——即每列都是主元列。
列空间 \(C(A)\) 是 \(A\) 的所有列的线性组合构成的子空间。一个自然的候选基就是 \(A\) 的 \(r\) 个主元列：
因此主元列构成列空间的一组基，列空间的维数等于 \(r\)。
行空间同样如此。\(R\) 的非零行构成行空间 \(C(A^T)\) 的一组基。虽然 \(R\) 的列空间不同于 \(A\) 的列空间，但行空间在行变换下保持不变。
对每个自由变量取 1、其余自由变量取 0，解 \(R\mathbf{x}=\mathbf{0}\) 得到 \(n-r\) 个特解。例如上例中自由变量为 \(x_2, x_4\)：
\[\mathbf{x}_2 = \begin{bmatrix}-2\\1\\0\\0\end{bmatrix},\qquad \mathbf{x}_4 = \begin{bmatrix}2\\0\\-2\\1\end{bmatrix}.\]它们构成零空间 \(N(A)\) 的一组基，零空间维数为 \(n-r=2\)。
问题 1：下列哪个条件说明向量 \(\mathbf{v}_1,\mathbf{v}_2,\mathbf{v}_3\) 线性无关？
问题 2：若 \(R\) 是 \(A\) 的 RREF，且 \(R\) 的第 4 列等于 \(-2\) 倍第 1 列加上 \(2\) 倍第 3 列，那么原矩阵 \(A\) 的列有什么关系？
问题 3：上面的矩阵 \(A\) 的列空间维数是多少？
行最简形把秩、主元列、自由列和线性关系全部暴露出来，是后续一切讨论的出发点。
行变换改变列空间本身，但不改变列与列之间的线性依赖关系。
原矩阵的主元列线性无关且张成列空间，是列空间最自然的一组基。
每个自由列对应一个特解，\(n-r\) 个特解构成零空间的基。
lecture_slides/lecture_09.pdflecture_summaries/lecture_1_9_summary.pdf