📓 线性代数
第三章 线性方程组
3.1 线性方程组和高斯消元法
3.1.1 线性方程组的概念
称为一个线性方程组。称为这个方程组的系数,称为这个方程组的未知量,称为这个方程组的常数项。
常数项全为的方程组称为齐次线性方程组,常数项不全为的方程组称为非齐次线性方程组。
称为与原方程组相应的齐次线性方程组,或称为其的导出组。
令,,,则线性方程组可写成矩阵形式.
称是这个方程组的系数矩阵,是这个方程组的增广矩阵。
将解构成的向量称为线性方程组的解向量。
如果线性方程组有解,称这个线性方程组是相容的,否则称该线性方程组为不相容的。
3.1.2 高斯消元法
高斯消元法
对增广矩阵作初等行变换不会改变相应线性方程组的解,如果能将增广矩阵化成阶梯形矩阵则很容易判断线性方程组是否有解,进而求出其解。先用初等行变换将增广矩阵化成阶梯形矩阵在求解的办法称为高斯消元法。
判断解的个数
是方程组未知数的个数:
当,方程组有唯一解
当,方程组有无穷多解
当,方程组无解
3.2 齐次线性方程组
齐次线性方程组一定是相容的,令每个未知量均等于就是它的一组解,称为零解或平凡解,否则称为非零解或非平凡解。
3.2.1 有非零解的条件
齐次线性方程组有非零解当且仅当,也即构成的列向量线性相关。
如果,则任意含个未知量个方程的齐次线性方程组一定有非零解。
如果是方阵,则齐次线性方程组有非零解的充分必要条件是.
3.2.2 齐次线性方程组的解的结构
若都是齐次线性方程组的解,则也是的解。
若是是齐次线性方程组的解,是实数,则也是的解。
3.2.3 基础解系
如果为齐次线性方程组的一组解,如果这组解满足
(1) 是线性无关的
(2) 的每个解都可由线性表出
则称为方程组的基础解系。
的基础解系实际上就是这个齐次线性方程组的解空间的基。
方程组的通解可以写成,其中是任意常数,这种形式的通解称为方程组的一般解。
设含个未知量的齐次线性方程组的系数矩阵的秩为,若,则的任一基础解系中均含个解向量。
3.3 非齐次线性方程组
3.3.1 非齐次线性方程组的相容性
将系数矩阵写成按列分块矩阵,常数项列向量记为,则有非齐次线性方程组.
方程组是相容的,当且仅当可以由向量组线性表示。
非齐次线性方程组有解当且仅当它的系数矩阵与增广矩阵有相同的秩。
如果它们的秩均为,则方程组的通解中含有个自由未知量。
3.3.2 非齐次线性方程组的解的结构
若都是线性方程组的解,则是其导出组的解。
若是线性方程组的解,是其导出组的解,则是方程组的解。
设是线性方程组的特解,是其导出组的基础解系,则的通解可以写成形式,其中是任意常数,这种形式的通解称为非齐次线性方程组的一般解。
3.3.3 向量组的极大无关组的计算
初等行变换不改变矩阵的列向量间的线性关系。有
初等行变换 对于任意给定的,的列向量组是线性相关的当且仅当的相应列向量组是线性相关的。
如果矩阵
初等行变换 则对于任意给定的,的列向量是的列向量组的极大线性无关组当且仅当的相应列向量是的列向量组的极大线性无关组。
此时,对于的第个列向量,有满足当且仅当对于的第个列向量有.
在一个阶梯形矩阵中,非零首元所在的列向量是该矩阵的列向量组的一个极大线性无关组。
3.4 线性方程组的最佳近似解
设,定义和之间的距离为. 矩阵列向量构成的向量组生成的向量空间称为的列空间或像空间。
设有线性方程组,其中是矩阵。称为线性方程组的最佳近似解,是指向量和的距离达到最小值。求线性方程组的最佳近似解,就是要在矩阵的像空间中找一个向量,使得.
线性方程组是相容的当且仅当. 若相容,则. 若不相容,则.
考虑三维情况,设为一平面,为空间中一矢量,,则当且仅当(与中每个矢量都正交),这时,我们称是在上的正投影。
三维几何结论可以推广到一般的向量空间。对于线性方程组,求它的最佳近似解就相当于求在系数矩阵的像空间上的正投影。也就是说,在中找一个元素使得与中每个向量都正交。
将线性方程组的系数矩阵按列分块,,最佳近似解应满足与每个向量都正交,即要求满足
即
综上,线性方程组的最佳近似解就是线性方程组的的精确解,用这种方式求得的近似解称为线性方程组的最小二乘解。