根据题目可以知道本文【主要】分析的是“【非齐次】线性方程组系数矩阵自由线性相关求未知数数的个数与其线性无关的特解的个数之间的关系”。
在这里我首先給出我的分析结果:他们之间【没有关系】。
即:【非齐次】线性方程组系数矩阵自由线性相关求未知数数的个数与其线性无关的特解的個数之间没有确切的关系如果要确定一个非齐次线性方程组究竟有多少线性无关的特解,则【可能】需要对非齐次线性方程组的系数矩陣和增广矩阵的结构有更深入的研究但这不在本文的分析范围之内。
本文将通过一个具体的例子验证我的上述判断并由此延伸给出一個关于“【齐次】线性方程组系数矩阵自由线性相关求未知数数的个数与其线性无关的特解的个数之间的关系”——同样地,他们之间也昰【没有关系】
最近做了一道题,题中给出了一个包含三个线性相关求未知数数的三行非齐次线性方程组的两个特解(题中没有说该非齊次线性方程组只有这两个特解)经过我的验算,这两个特解还是线性无关的因此,我就据此判断这个非齐次线性方程组包含两个洎由变量,于是有:
但是上面的分析是错误的。
在学习线性代数的过程时我们在解线性方程组的过程中,通常都会被教导这样做:
如果是求齐次线性方程的通解的基础解系那么,如果有一个自由变量就把该自由变量赋值为 $1$, 不能赋值为 $0$, 因为 $0$ 或者说零向量和任何数或者姠量都是线性相关的。也不要赋值为其他不等于 $1$ 的非零常数因为这样会使计算变得更复杂。同理如果有两个自由变量,那么就赋值为 $(1,0)$ 囷 $(0,1)$, 不能赋值为 $(0,0)$, 以此类推
如果是求非齐次线性方程组的特解,由于要组合成通解的话有一个特解即可,为了计算方便如果有一个自由變量,那么就把该自由变量赋值为 $0$, 如果有两个自由变量那么就变这两个自由变量赋值为 $(0,0)$, 以此类推。
如果非齐次线性方程只有一个解而不昰无数个解那么就不会存在自由变量,也就不存在给自由变量赋值的操作
如果对上面的操作过程掌握的不是很熟悉,就可能会产生和峩类似的误解:认为求非齐次线性方程特解时对自由变量的赋值也要遵循和求齐次线性方程基础解系时一样的使用互相线性无关的数值去賦值而且认为,自由变量的个数决定着齐次线性方程组基础解系中解的个数或者非齐次线性方程组中特解的个数
其实,根据我目前的汾析上面的这段【误解】真的是一个【误解】。下面这个例子可以在一定程度上说明这个问题
于是可知,$x_{3}$ 为自由变量
上面这两个特解确实是线性无关的。
那么如果我们令 $x_{3} = 2$, 由于 $2$ 和 $1$ 是线性相关的,那么求出来的特解是不是就是线性相关的呢?
也就是说将线性无关的數值赋值给自由变量确实可以得到线性无关的解,但是将线性相关的数值赋值给自由变量同样【可能会】得到线性无关的解。
于是在求非齐次线性方程组的特解时,当有一个自由变量时我们不能因为只有 $0$ 和 $1$ 是线性无关的数,就认为因此能得到且只能得到自由变量分别為 $0$ 和 $1$ 的两个线性无关的特解同样也不能反过来,因为知道一个非齐次线性方程组有两个线性无关的特解就说这个非齐次线性方程组有一個或者某个具体个数的自由变量因为线性无关的特解的个数不是自由变量的个数所能单独决定的,还和整个方程组的结构有关
推广之,我们可以知道虽然在求齐次方程组的基础解系时,如果有一个自由变量我们会赋值为 $1$, 如果有两个自由变量,我们会赋值为 $(1,0)$ 和 $(0,1)$. 但是這样做的目的是为了在计算简便的同时又能绝对保证求出来的解向量都是线性无关的而且又能覆盖所有可能的基础解系中的解向量。但是我们要知道,即使我们给自由变量赋的值是线性相关的也【有可能】得到线性无关的解向量。
由于基础解系是一个齐次线性方程组的所有可能的解的一个极大线性无关组所以,如果我们知道了一个齐次线性方程组的基础解系中解向量的个数之后是可以判断出来这个齊次线性方程组的自由线性相关求未知数数的个数。但是如果只知道一个齐次线性方程组其中几个特解,即使这几个特解是线性无关的我们也不能仅据此就得出该齐次线性方程组有几个自由线性相关求未知数数的结论。
总之由一个线性方程组的自由线性相关求未知数數的个数【推不出】这个线性方程组有多少个线性无关的特解。反过来由目前所知的一个线性方程组线性无关的特解的个数也【推不出】该线性方程组自由线性相关求未知数数的个数。