向量空间fn的群.docxVIP

向量空间fn的群 1 wa与ba 将ax.b表示为fn个圆的非齐次线性方程组，其输出组为齐次线性方程组ax.0，其中。 A=(a11a12?a1na21a22?a2nam1am2?amn)?X=(x1x2?xn)?b=(b1b2?bm). 导出组AX=0的解(列)向量全体为集合WA,则WA是列向量空间Fn的n-r(A)维子空间,但AX=b的解列向量的全体(如果AX=b有解的话)却不是Fn的子空间.作为Fn的一个子集,它与Fn,WA的关系是什么?下面我们将向量空间Fn看作一个群,讨论一下WA看看有什么发现. 2 变式亚联法 定理1数域F上的n维向量空间Fn对于向量的加法运算作成一个交换群. 证首先,Fn作为一个向量空间非空,并且对于向量的加法这种代数运算封闭,满足结合律,而且零向量就是Fn的单位元.Fn中的任一向量α的负向量-α就是α的逆元,所以Fn对于向量的加法运算来说作成一个群.又因为向量的加法运算满足交换律,所以Fn是一个交换群. 定理2齐次线性方程组AX=0的解空间WA是Fn的一个不变子群. 证对于任意的两个n维向量X1,X2∈WA,有AX1=0,AX2=0,则 A(X1-X2)=AX1-AX2=0, 即X1-X2∈WA. 从而WA是Fn的一个子群.而Fn是一个交换群,所以WA是Fn的一个不变子群. 3 线性方程组的ax=b的解集 由于数域F上n元非齐次线性方程组AX=b(当b≠0时)的导出组AX=0的解空间WA是Fn的一个不变子群,所以可以定义WA的一个陪集为X0+WA={X0+X|X∈WA},其中X0∈Fn,那么以WA的所有陪集作为元素的集合构成了Fn的一个商群Fn/WA,WA的两个陪集X1+WA与X2+WA相等的充要条件是X1-X2∈WA. 定理3如果域F上一个有解的n元线性方程组AX=b的一个解为X0,则AX=b的解集一定是齐次线性方程组AX=0的解集WA的陪集X0+WA.反之,WA的任意一个陪集X0+WA一定是某个n元线性方程组AX=b(其中b=AX0)的解集.特别地,b=0当且仅当WA的陪集X0+WA=WA. 证先证明定理的前半部分.如果X1是AX=b的任意一个解,则A(X1-X0)=AX1-AX0=b-b=0,即X1-X0∈WA.由陪集X0+WA的定义可知X1∈X0+WA,从而说明AX=b的解集是陪集X0+WA的子集.反之,对于陪集X0+WA中的任意向量X1,有X1-X0∈WA,则AX1-AX0=A(X1-X0),即AX1=AX0=b,说明X1也是线性方程组AX=b的解,即陪集X0+WA是AX=b的解集的子集.总之,AX=b的解集即为陪集X0+WA. 由以上证明过程可以看出,定理的后半部分也成立.特别地,当b=0时,可取X0=0,由陪集的定义知0+WA=WA,即当且仅当b=0时,X0+WA=WA. 事实上,定理3说明了n元线性方程组AX=b的解集与AX=0的解集WA的陪集根本上就是同一个集合,只不过是看问题的角度不同,而陪集是群Fn的一个分类.那么,从向量空间的角度看,以A为系数矩阵的所有有解的线性方程组AX=b的解集就是Fn的一个分类,齐次线性方程组AX=0的解集WA是Fn的一个类,非齐次线性方程组AX=b(当b≠0时)的解集尽管不是Fn的一个子空间,但却也是Fn的一个类.对于线性方程组的解集又是陪集的这一性质,我们可以引入以下定义: 定义1n元线性方程组AX=b的解集称为它的解陪集,记作X0+WA={X0+X|X∈WA},其中X0是AX=b的某个解,WA是AX=0的解集.特别地,齐次线性方程组AX=0的解陪集就是WA,商群Fn/WA的元素就是所有有解的线性方程组AX=b的解陪集. 4 特定系数矩阵的解析法 A=(a11a12?a1na21a22?a2nam1am2?amn)?X=(x1x2?xn)?bi=(0?1?0)第i个分量, bi为F上第i个分量为1且其余分量都等于0的m维向量. 引理1数域F上n元非齐次线性方程组AX=bi有解的充要条件是,系数矩阵A的第i个行向量不能由A的其余的行向量线性表出. 证因为AX=bi有解的充要条件是r(A)=r([Ab]),而将增广矩阵[Ab]利用初等行变换为阶梯形矩阵时,当且仅当A的第i个行向量不能化为零向量,才能保证r(A)=r([Ab])成立,即必须A的第i个行向量不能由A的其余行向量线性表出. 引理2如果r(A)=m,则数域F上任意的n元线性方程组AX=b,其中 b=(k1,k2,…,km)T 的解陪集可表示为(k1X1+k2X2+…+kmXm)+WA,其中Xi是非齐次线性方程组AX=bi的一个特解(i=1,2,…,m). 证因为r(A)=m,AX=bi的系数矩阵A的行向量线性无关,由引理1,AX=bi(i=1,2,…,m)都有解,设AX=bi某个特解为X