向量空间的基.ppt

目录后页返回*前页目录后页返回*前页--向量空间的基定义5.1.1非空集合称为域上的向量空间(vectorspace)或线性空间(linearspace),如果关于加法（记作“+”）运算构成一个交换群，并且对每个,在中可惟一地确定一个元素(称为与的标量乘法)，使得对所有的，,以下四个条件都满足：(M1);(M2);(M3);(M4).向量空间中的元素称为向量(vector).域中的元素称为标量或者纯量(scalar).注在高等代数课程中,我们涉及到的向量空间（或线性空间）的基域都是数域,是无限域,且是特征为零的域,但我们这里的基域可以是一般的域,它可以是有限域,且域的特征也可以是素数.例1集合是域上的向量空间,其加法运算和标量乘法运算分别为例2设是素数,则是一个域.系数在上的一元多项式环是上的向量空间.例3复数域是实数域上的向量空间,运算是通常的复数的加法和乘法运算.间如下矩阵的加法和标量乘法运算构成上的向量空例4域上的所有矩阵的集合关于例5（这个例子是例3的推广.虽然它看上去很平常,但却是域论中最重要的例子之一）设是域，是的子域,那么是上的向量空间.向量空间的运算就是域中的运算.因此,根据第三章定理3.6.5,每个域都可看成是某个素域上的向量空间.定义5.1.2设是域上的向量空间，是的非空子集.如果关于的运算也构成上的向量空间,则称为的子空间．例6集合是上的由所有系数在域上的多项式组成的向量空间的子空间.例7设是域上的向量空间，是中的向量(它们不必互不相同),那么子集称为的由张成的子空间.形如的元素称为的线性组合．．一般地,设是的任一非空子集.如果中任一成元素都是中有限多个元素的线性组合,则称张如果，那么我们称张成定义5.1.3向量组称为在上线性相关(linearlydependent),如果存在不全为零的元,使得.如果向量组在上不是线性相关的,则称为在上线性无关(linearlyindependent).例8设,则中的向量组，，在上是线性无关的.因为假设存在,使得那么,于是.定义5.1.4设是上的向量空间.是的一个非空子集.如果中任一有限子集都在线性无关,且张成,则称为的基.例9集合是上的向量空间.则我们可以证明是的基.首先我们来证明是线性无关的.假设有,使得因此,生成,即是的基.所以,,从而线性无关.其次,中任何那么有元素都具有形式目录后页返回*前页目录后页返回*前页