线性方程组(五)- 线性方程组的解集
小结
- 齐次线性方程组的定义。
- 解集的参数向量形式。
- 非齐次线性方程组的解。
齐次线性方程组
线性方程组称为齐次的,若它可写成的形式,其中
是
矩阵而
是
中的零向量。这样的方程组至少有一个解,即
(
中的零向量),这个解称为它的平凡解。对给定方程
,重要的是它是否有非平凡解,即满足
的非零向量
。
齐次方程有非平凡解当且仅当方程至少有一个自由变量。
确定齐次方程组是否有平凡解,并描述它的解集。
解:令为该方程组的系数矩阵,用行化简算法把增广矩阵
化为阶梯形
~
~
因为是自由变量,故
有平凡解(对
的每一个选择都有一个解)。为描述解集,继续把
化为简化阶梯形:
的通解有向量形式
注意,非平凡解向量可能有些零元素,只要不是所有元素都是0即可。
描述齐次方程组的解集。
解:这里无须矩阵记号。用自由变量和
表示基本变量
。通解为:
齐次方程总可表示为Span{
},其中
是适当的解向量。若唯一解是零向量,则解集就是Span{
};若方程
仅有一个自由变量,则解集是通过原点的一条直线。若有两个或更多个自由变量,则解集是通过原点的平面。
上述方程是平面的隐式描述,解此方程就是要找这个平面的显示描述(
),就是说将它作为
和
的子集。
显示描述称为平面的参数向量方程,记为。当解集用向量显示表示,我们称之为解的参数向量形式。
非齐次方程组的解
描述的解,其中
,
解:对作行变换得
~
把每个基本变量用自由变量表示:
的通解可写成向量形式
方程,或用
表示自由变量,
就是用参数变量形式表示的
的解集。
注意:第一个例子齐次方程组的系数矩阵和上诉例子的系数矩阵是同一矩阵:
。两个方程的参数形式的
是相同的。故
的解可由向量
加上
的解得到,向量
本身也是
的一个特解。
为了从几何上描述的解集,我们可以把向量加法解释为平移。
设是通过
与
的直线。
的每个点加上
得到
表示的平移后的直线。注意
也在平移后的直线上。称
为通过
平行于
的直线方程。综上,
的解集是一条通过
而平行于
的解集的直线。
设方程对某个
是相容的,
为一个特解,则
的解集是所有形如
的向量的集,其中
是齐次方程
的任意一个解。
注意:仅适用于方程至少有一个非零解
的前提下。当
无解时,解集是空集。
把(相容方程组的)解集表示称参数向量形式:
- 把增广矩阵行化简为简化阶梯形矩阵。
- 把每个基本变量用自由变量表示。
- 把一般解
表示称向量,如果有自由变量,其元素依赖于自由变量。
- 把
分解为向量(元素为常数)的线性组合,用自由变量作为参数。