线性空间线性空间的定义及性质知识预备集合笼统的说_第1页
线性空间线性空间的定义及性质知识预备集合笼统的说_第2页
线性空间线性空间的定义及性质知识预备集合笼统的说_第3页
线性空间线性空间的定义及性质知识预备集合笼统的说_第4页
线性空间线性空间的定义及性质知识预备集合笼统的说_第5页
已阅读5页,还剩5页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1、第一讲线性空间一、 线性空间的定义及性质知识预备集合:笼统的说是指一些事物(或者对象)组成的整体。集合的表示:枚举、表达式集合的运算:并(I),交(,|)另外,集合的“和”(+):并不是严格意义上集合的运算,因为 它限定了集合中元素须有可加性。数域:一种数集,对四则运算封闭(除数不为零)。比如有理 数域、实数域(R)和复数域(C)。实数域和复数域是工程上较常用 的两个数域。线性空间是线性代数最基本的概念之一,也是学习现代矩阵论的 重要基础。1 .线性空间的定义:设V是一个非空集合,其元素用X, 7,z等表示;K是一个数域, 其元素用k,l,m等表示。如果V满足如下8条性质,分两类:(I)在V中

2、定义一个“加法”运算,即当x, y g V时,有唯一的和 x + y g V (封闭性),且加法运算满足下列性质:(1)结合律 x + (y + z) = (x + y) + z ;(2)交换律 x + y = y + x ;(3)零元律 存在零元素O,使x + O = x ;(4)负元律 对于任一元素x e V,存在一元素y e V,使x + y = O, 且称y为x的负元素,记为(-x)。则有x + (-x) = 0。(II)在V中定义一个“数乘”运算,即当x e V,k e K时,有唯一 的kx e V (封闭性),且数乘运算满足下列性质:(5) 数因子分配律k(x + y) = kx

3、+ ky ;(6) 分配律(k +1)x = kx + lx ;(7) 结合律k(lx) = (kl)x ;(8) 恒等律1 x = x ;则称V为数域K上的线性空间。注意以下几点:1)线性空间是基于一定数域来的。同一个集合,对于不同数域, 就可能构成不同的线性空间,甚至对有的数域能构成线性空间,而对 其他数域不能构成线性空间。2)两种运算、八条性质。数域K中的运算是具体的四则运算, 而V中所定义的加法运算和数乘运算则是抽象的、形式的。3)除了两种运算和八条性质外,还应注意唯一性、封闭性是否 满足。当数域K为实数域时,V就称为实线性空间;K为复数域,V 就称为复线性空间。例1设R+=全体正实数

4、,其“加法”及“数乘”运算定义为xEy = xy ,k x = xk证明:R是实数域R上的线性空间。证明首先需要证明两种运算的唯一性和封闭性唯一性和封闭性唯一性显然若x 0,y 0, k e R,则有x 田y = xy e R +,k。x = xk e R + 封闭性得证。八条性质(1)xEE (y EEz) = x (yz) = (xy) z = (x 田y)田 z(2)x 田y = xy = yx = yEx(3) 1 是零兀素xEE 1 = x -1 = x xEEO = x T xO = x T O = 1(4) 1x是 x 的负元素x 田 1x = x . 1x = 1x + y =

5、 O(5) k。(xEEy) = (xy)k =xkyk = (k。x) (k。y)数因子分配律(6)(k +1)。 x = xk+1 = xkxi = (k。x)EE(l。x)分配律(7) k。(l。x) = (xi)k = xki = (kl)。x结合律(8)1。x = x 1 = x恒等律由此可证,R +是实数域R上的线性空间。2 .定理:线性空间具有如下性质(1)零元素是唯一的,任一元素的负元素也是唯一的。(2)如下恒等式成立:0 x = O,(-1)x = (-x)。证明(1)采用反证法:零元素是唯一的。设存在两个零元素O1和O2,则由于O1和O均为零元素,按零元律有2交换律O +

6、O 2 = O1= O + O = O 2所以O1 = O2即O和O相同,与假设相矛盾,故只有一个零元素。12任一元素的负元素也是唯一的。假设Vx e V,存在两个负元素j和z,则根据负元律有x + y = O = x + zy = y + O = y + (x + z) = (y + x) + z = O + z = z零元律结合律零元律即y和z相同,故负元素唯一。(2):设 w = 0 x,贝U x + w = 1 x + 0 x = (1 + 0)x = x,故 w = O。恒等律:设 w = (-1)x,则 x + w = 1 x + (-1)x = 0 x = O,故 w = -x。

7、3.线性相关性线性空间中相关性概念与线性代数中向量组线性相关性概念类似。线性组合: Vx , x ,x e V, c , c ,c e K12 m12 mcx + c x + c x =Z cx112 2m mi ii=1称为元素组x 1,x2 .,xm的一个线性组合。线性表示:V中某个元素x可表示为其中某个元素组的线性组合,则称x可由该元素组线性表示。线性相关性:如果存在一组不全为零的数C1, c2 ., cm K,使得对 于元素x 1, X2,x G V有Y c X = 0 i i i=1则称元素组X 1,X2 .,xm线性相关,否则称其线性无关。线性相关性概 念是个非常重要的概念,有了线

8、性相关性才有下面的线性空间的维 数、基和坐标。4 .线性空间的维数定义:线性空间V中最大线性无关元素组所含元素个数称为V的维 数,记为dim V。本课程只考虑有限维情况,对于无限维情况不涉及。例2.全体mXn阶实矩阵的集合构成一个实线性空间(对于矩阵加 法和数对矩阵的数乘运算),求其维数。解一个直接的方法就是找一个最大线性无关组,其元素尽可能简 单。令气为这样的一个mXn阶矩阵,其(i,j)元素为1,其余元素为 零。显然,这样的矩阵共有mXn个,构成一个具有mXn个元素的 线性无关元素组E 1I,E 12,E 1 ;E21,E22 ,E2 ;.;E 1,E 2,E 。另 一方面,还需说明元素个

9、数最大。对于任意的A = (%)吨,都可由以 上元素组线性表示,A = a E t a E - A = 0i,j即Eli = 1,2,m;j = 1,2.,mJ构成了最大线性无关元素组,所以该空间 的维数为mXno二、线性空间的基与坐标基的定义:设V是数域k上的线性空间,七,七.,七(r 1)是属于V的r个任意元素,如果它满足(1)X1,七,七线性无关;(2)V中任一向量x均可由七,x2,七线性表示。则称X ,X,X为V的一个基,并称X ,X,X为该基的基元素。12 r12 r基正是V中最大线性无关元素组;V的维数正是基中所含元素的个数。基是不唯一的,但不同的基所含元素个数相等。例3考虑全体复

10、数所形成的集合。如果K = C (复数域),则该集 合对复数加法和复数的乘法构成线性空间,其基可取为1,空 间维数为1;如果取K = R (实数域),则该集合对复数加法及 实数对复数的数乘构成线性空间,其基可取为h,i,空间维数 为2o数域K两种运算基一般元素空间类 型维数复数域C(1)复数加法;(2)复数 对复数的数 乘4c = c 1复线性 空间1实数域R(1)复数加法;(2)实数 对复数的数 乘h, ic = a -1 + b - i实线性 空间22.坐标的定义:称线性空间Vn的一个基七,七. , X为Vn的一个坐标系,Vx e Vn,它在该基下的线性表示为: & x (& e K,x

11、e Vn,i = 1,2,n)i i iii=1则称& , & . , &为X在该坐标系中的坐标或分量,记为(& , g . , g)T12 n12 n讨论:(1) 一般来说,线性空间及其元素是抽象的对象,不同空间的 元素完全可以具有千差万别的类别及性质。但坐标表示却把它 们统一了起来,坐标表示把这种差别留给了基和基元素,由坐 标所组成的新向量仅由数域中的数表示出来。(2)更进一步,原本抽象的“加法”及“数乘”经过坐标表示 就演化为向量加法及数对向量的数乘。x + y = (g x +g x + + g x ) + (n x +n x + +n x )111 2 2n n 11 2 2n n=

12、(g 1 +n1) x1 +(g2 +n2) x 2 + +(g n +n n )xn正对应尤-(勺良 ,勺) t x+y = (& +n,& +n ,& +n )y -(七,七,七)1122 n n2。kx - k(女 + 女 + . + 6) - (kg 1)x 1 + (k2)x2 + + (kg )xt (kgkg2 .,kgn)正对应 x = (g ,g ,g ) t kx = (kg , kg ,kg )12 n123显然,同一元素在不同坐标系中的坐标是不同的。后面我们还要研究这一变换关系。三、基变换与坐标变换基是不唯一的,因此,需要研究基改变时坐标变换的规律。设x ,x .,x是心的旧基,y ,y .,y是Vn的新基,由于两者都是 12 n12 n基,所以可以相互线性表示y - c xi-1(i -1,2 ,n)y,y ,y J- x,x ,x12 n12 nc11c21c12c22c1nc2nc n1c n2cnn其中C称为过渡矩阵,上式就给出了基变换关系,可以证明,C是可 逆的。设x e Vn,它在旧基下的线性表示

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论