我已经忘了这个概念中文如何翻译,但是其本质就是在Row-reduced的基础上,作行的对调,使得所有非零行在上面且每一行开头的1以从左至右自上而下的方式排列、所有零行在下面。这也是Theorem 5的结论,即任何 m × n m\times n m×n矩阵都和一个row-reduced echelon matrix是行等价的。
前两节讨论了如此多的row-reduced问题,目的是为了解方程组,因为row-reduced的形式使得解方程非常方便,并且如果非零行数比未知数的个数少,那么一定有非退化解(non-trivial solution),即不是0向量的解。Theorem 6是一个更强的假设和更弱一些的结论:如果 A A A是 m × n m\times n m×n矩阵且 m < n m<n m<n,那么 A X = 0 AX=0 AX=0一定有non-trivial solution。Theorem 7是一个特殊一点的结论: n × n n\times n n×n方阵行等价于单位矩阵的充要条件是 A X = 0 AX=0 AX=0只有0解。
以上已经讨论了足够多的关于homogeneous system的结论。如果将条件放松,即 A X = 0 AX=0 AX=0变为 A X = Y AX=Y AX=Y,那么需要考虑augmented matrix [ A Y ] \begin{bmatrix}A&Y\end{bmatrix} [AY], 在inhomogeneous system中,首先要考虑的是有没有解(不像homogeneous system里一定有0解),按照Theorem 4和Theorem 5可以将 A A A变为一个row-reduced echelon matrix A ′ A' A′,对应的会把 Y Y Y变成一个新的列向量 Z Z Z, 那么这个system有解的充要条件是 A ′ A' A′里全为零的最后几行对应的 Z Z Z的最后几个分量也都是0。
最后有一个看似很奇怪但确实正确的结论: A X = Y AX=Y AX=Y如果 A , Y A,Y A,Y都是在 F F F的一个subfield F 1 F_1 F1上,那么其在 F F F中有解可以推出其在 F 1 F_1 F1中有解。
Exercises
1.Find all solutions to the following systems of equations by row-reducing the coefficient matrix:
1 3 x 1 + 2 x 2 − 6 x 3 = 0 − 4 x 1 + 5 x 3 = 0 − 3 x 1 + 6 x 2 − 13 x 3 = 0 − 7 3 x 1 + 2 x 2 − 8 3 x 3 = 0 \begin{aligned}\frac{1}{3}&x_1+2x_2&-6x_3=0\\-4&x_1&+5x_3=0\\-3&x_1+6x_2&-13x_3=0\\-\frac{7}{3}&x_1+2x_2&-\frac{8}{3}x_3=0\end{aligned} 31−4−3−37x1+2x2x1x1+6x2x1+2x2−6x3=0+5x3=0−13x3=0−38x3=0
Solution: We have
[ 1 / 3 2 − 6 − 4 0 5 − 3 6 − 13 − 7 / 3 2 − 8 / 3 ] → [ 1 6 − 18 0 24 − 67 0 24 − 67 − 7 6 − 8 ] → [ 1 6 − 18 0 24 − 67 0 0 0 0 48 − 134 ] → [ 1 6 − 18 0 24 − 67 0 0 0 0 0 0 ] \begin{bmatrix}1/3&2&-6\\-4&0&5\\-3&6&-13\\-7/3&2&-8/3\end{bmatrix}\rightarrow\begin{bmatrix}1&6&-18\\0&24&-67\\0&24&-67\\-7&6&-8\end{bmatrix}\rightarrow\begin{bmatrix}1&6&-18\\0&24&-67\\0&0&0\\0&48&-134\end{bmatrix}\rightarrow\begin{bmatrix}1&6&-18\\0&24&-67\\0&0&0\\0&0&0\end{bmatrix} ⎣⎢⎢⎡1/3−4−3−7/32062−65−13−8/3⎦⎥⎥⎤→⎣⎢⎢⎡100−7624246−18−67−67−8⎦⎥⎥⎤→⎣⎢⎢⎡1000624048−18−670−134⎦⎥⎥⎤→⎣⎢⎢⎡100062400−18−6700⎦⎥⎥⎤
let x 3 = c x_3=c x3=c, then all solutions is of the form:
x 1 = 1062 67 c , x 2 = 24 67 c , x 3 = c , c ∈ R x_1=\dfrac{1062}{67} c,\quad x_2=\dfrac{24}{67} c,\quad x_3=c,\quad c\in R x1=671062c,x2=6724c,x3=c,c∈R
2. Find a row-reduced echelon matrix which is row-equivalent to
A = [ 1 − i 2 2 i 1 + i ] A=\begin{bmatrix}1&-i\\2&2\\i&1+i\end{bmatrix} A=⎣⎡12i−i21+i⎦⎤
What are the solutions of A X = 0 AX=0 AX=0?
Solution: We have
A = [ 1 − i 2 2 i 1 + i ] → [ 1 1 0 − i − 1 i 1 + i ] → [ 1 1 0 1 0 − i ] → [ 1 0 0 1 0 0 ] A=\begin{bmatrix}1&-i\\2&2\\i&1+i\end{bmatrix}\rightarrow\begin{bmatrix}1&1\\0&-i-1\\i&1+i\end{bmatrix}\rightarrow\begin{bmatrix}1&1\\0&1\\0&-i\end{bmatrix}\rightarrow\begin{bmatrix}1&0\\0&1\\0&0\end{bmatrix} A=⎣⎡12i−i21+i⎦⎤→⎣⎡10i1−i−11+i⎦