齐次线性方程组

齐次线性方程组和非齐次线性方程组的区别
1、常数项不同：
齐次线性方程组的常数项全部为零，非齐次方程组的常数项不全为零。

2、表达式不同：
齐次线性方程组表达式：Ax=0；非齐次方程组程度常数项不全为零：Ax=b。

在一个线性代数方程中，如果其常数项(即不含有未知数的项)为零，就称为齐次线性方程。

线性方程也称一次方程式。

指未知数都是一次的方程。

其一般的形式是ax+by+...+cz+d=0。

线性方程的本质是等式两边乘以任何相同的非零数，方程的本质都不受影响。

因为在笛卡尔坐标系上每一个一次方程的表示都是一条直线。

组成一次方程的每个项须是常数或者是一个常数和一个变量的乘积。

且方程中须包含一个变量，因为如果没有变量只有常数的式子是代数式而非方程式。

第三节 齐次线性方程组定理 n 元齐次线性方程组Ax=0()R A n ⇔<(1) 有非零解秩 ()R A n ⇔=(2) 没有非零解秩一:齐次线性方程组Ax=0解的结构(一) 齐次线性方程组Ax=0解的结构记S={x |Ax =0}表示齐次线性方程组Ax =0解的全体，则集合S 具有如下性质 ： （1） 若ξ1，ξ2∈S ，那么ξ1＋ξ2∈S 。

即两个解的和还是方程组的解 （2） 若ξ∈S ，k ∈R ，那么 k ξ∈S 。

即一个解的倍数还是方程组的解定理1 ： n 个未知量的齐次线性方程组Ax=0的解向量集S 构成R n 的一个子空间 。

(二) 相关概念:解空间、基础解系、通解定义1: 称子空间S 是齐次线性方程组Ax=0的解空间。

解空间S 的任意一个基（即S 的极大无关组）称为齐次线性方程组Ax=0的基础解系。

注: (1) 齐次线性方程组Ax=0解的个数情况? 齐次线性方程组Ax=0有非零解,其解是否必有无穷个?(2) 设12,,,r ξξξ 是齐次线性方程组Ax=0的一个基础解系,则对任意常数12,,,r k k k ,其线性组合1122r r k k k ξξξ+++是方程的解,12,,,r ξξξ 的所有线性组合就为方程所有解.定义2: 称1122r r k k k ξξξ+++ 为齐次线性方程组Ax=0的通解,其中12,,,r ξξξ 是齐次线性方程组Ax=0的一个基础解系, 12,,,r k k k 为任意常数.(三) 齐次线性方程组Ax=0的主要定理定理2 设齐次线性方程组Ax=0的系数矩阵A 是m ×n 阶矩阵，且R(A)=r ，则方程组Ax=0的基础解系中有n-r 个向量，即解空间S 的维数dim S=n-r 。

证明 (1)对矩阵A 作初等行变换得到矩阵 A，两个方程组0Ax =与0Ax = 是同解的方程组 .(2) 因为R(A)=r ，利用矩阵的初等行变换将A 化为阶梯形矩阵，进一步化为简单阶梯形矩阵，不妨有111212121~n n m mn a a a a a A a a ⎛⎫ ⎪⎪= ⎪ ⎪⎝⎭ 111,212,1,100010010000000000n r n r r r n r b b b b b b ---⎛⎫⎪⎪⎪⎪⎪ ⎪⎪⎪ ⎪⎝⎭称简单阶梯矩阵每一行的第一个非零元所对应的未知数(这里为12,,r x x x 称为非自由变量),其余的成为自由变量.故方程组同解于11111221,22112222,1122, 0(3) 0r r n r n r r n r n r r r r r r n r n x b x b x b x x b x b x b x x b x b x b x ++-++-++-++++=⎧⎪++++=⎪⎨⎪⎪++++=⎩把上式改写为11111221,221122221122, (4) r r n r n r r ,n r nr r r r r r n r n x b x b x b x x b x b x b x x b x b x b x ++-++-++-=----⎧⎪=----⎪⎨⎪⎪=----⎩令12r r n x x x ++⎛⎫ ⎪ ⎪ ⎪ ⎪⎝⎭ 分别取n r -组数100010, , ....,001⎛⎫⎛⎫⎛⎫ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭代入(4)可依次确定12r x x x ⎛⎫ ⎪ ⎪ ⎪ ⎪⎝⎭ 为1,11122,2122,12, , ..., n r n r r n r r r b b b b b b b b b ------⎛⎫⎛⎫⎛⎫⎪ ⎪ ⎪---⎪ ⎪ ⎪ ⎪ ⎪ ⎪⎪ ⎪ ⎪ ⎪---⎝⎭⎝⎭⎝⎭从而得到0Ax =的n-r 个解1,11122,212212,12 - , , , 1 0 0 0 1 0 0 0 1n r n r r r r n r n r b b b b b b b b b ξξξ-----⎛--⎛⎫⎛⎫⎪ ⎪--- ⎪ ⎪⎪ ⎪⎪ ⎪-- ⎪ ⎪=== ⎪ ⎪⎪ ⎪⎪ ⎪⎪ ⎪⎪ ⎪⎪ ⎪⎝⎭⎝⎭⎝ ,⎫⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪ ⎪⎭显然12,,,n r ξξξ- 为齐次线性方程组Ax=0的n-r 个线性无关解 (3)最后，证明Ax=0的任意一个解都可由12,,,n rξξξ- 线性表示。