Ax=0
对A消元得到上三角矩阵
上三角矩阵中会有几个主列和自由列
通过这些自由列对应的分量分别取1并让其他分量取0构建基础解,他们组成的空间就是解空间
比如
A被消成
[
1
2
3
4
0
0
1
1
]
\begin{bmatrix} 1&2&3&4\\0&0&1&1 \end{bmatrix}
[10203141]
这里面有两个主元,它们对应的列就是主列,其他的就是自由列可以任意取值.
这里面的第二个和第四个分量就是自由分量,先取第二个分量为1,第四个0得到解x为
(
−
2
,
1
,
0
,
0
)
(-2,1,0,0)
(−2,1,0,0)
再取第四个分量为1,第二个0得到解x为
(
1
,
0
,
−
1
,
1
)
(1,0,-1,1)
(1,0,−1,1)这两个向量作为基向量构成的空间就是解空间
实际上不一定非要取01,只要自由列线性无关即可,01比较简单而已
这里面主变量就是主元非0对应的分量,而特解就是上面所举的两个例子,通解就是特解线性组合整个解空间
- 行秩等于列秩
- 秩和主元同数