- 1、本文档共18页,可阅读全部内容。
- 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
实用标准文案
PAGE
精彩文档
第六章 线性空间
§1 集合映射
一 授课内容:§1 集合映射
二 教学目的:通过本节的学习,掌握集合映射的有关定义、运算,求和号与乘积号的定义.
三 教学重点:集合映射的有关定义.
四 教学难点:集合映射的有关定义.
五 教学过程:
1.集合的运算,集合的映射(像与原像、单射、满射、双射)的概念
定义:(集合的交、并、差) 设是集合,与的公共元素所组成的集合成为与的交集,记作;把和B中的元素合并在一起组成的集合成为与的并集,记做;从集合中去掉属于的那些元素之后剩下的元素组成的集合成为与B的差集,记做.
定义:(集合的映射) 设、为集合.如果存在法则,使得中任意元素在法则下对应中唯一确定的元素(记做),则称是到的一个映射,记为
如果,则称为在下的像,称为在下的原像.的所有元素在下的像构成的的子集称为在下的像,记做,即.
若都有 则称为单射.若 都存在,使得,则称为满射.如果既是单射又是满射,则称为双射,或称一一对应.
2.求和号与求积号
(1)求和号与乘积号的定义
为了把加法和乘法表达得更简练,我们引进求和号和乘积号.
设给定某个数域上个数,我们使用如下记号:
, .
当然也可以写成
, .
(2)求和号的性质
容易证明,
,,.
事实上,最后一条性质的证明只需要把各个元素排成如下形状:
分别先按行和列求和,再求总和即可.
§2 线性空间的定义与简单性质
一 授课内容:§2 线性空间的定义与简单性质
二 教学目的:通过本节的学习,掌握线性空间的定义与简单性质.
三 教学重点:线性空间的定义与简单性质.
四 教学难点:线性空间的定义与简单性质.
五 教学过程:
1.线性空间的定义
(1)定义4.1(线性空间) 设V是一个非空集合,且V上有一个二元运算“+”,又设K为数域,V中的元素与K中的元素有运算数量乘法“”,且“+”与“”满足如下性质:
加法交换律 ,有;
加法结合律 ,有;
存在“零元”,即存在,使得;
存在负元,即,存在,使得;
“1律” ;
数乘结合律 ,都有;
分配律 ,都有;
分配律 ,都有,
则称V为K上的一个线性空间,我们把线性空间中的元素称为向量.注意:线性空间依赖于“+”和“”的定义,不光与集合V有关.
(2)零向量和负向量的唯一性,向量减法的定义,线性空间的加法和数乘运算与通常数的加、乘法类似的性质
命题4.1 零元素唯一,任意元素的负元素唯一.
证明:设与均是零元素,则由零元素的性质,有;
,设都是的负向量,则
,
于是命题得证.由于负向量唯一,我们用代表的负向量.
定义4.2(减法) 我们定义二元运算减法“-”如下:
定义为.
命题4.2 线性空间中的加法和数乘满足如下性质:
加法满足消去律 ;
可移项 ;
可以消因子 且,则;
.
(3)线性空间的例子
例4.1令V表示在上可微的函数所构成的集合,令,V中加法的定义就是函数的加法,关于K的数乘就是实数遇函数的乘法,V构成K上的线性空间.
4.1.2线性空间中线性组合和线性表出的定义,向量组的线性相关与线性无关的定义以及等价表述,向量组的秩,向量组的线性等价;极大线性无关组.
定义4.3(线性组合) 给定V内一个向量组,又给定数域K内s个数,称为向量组的一个线性组合.
定义4.4(线性表出) 给定V内一个向量组,设是V内的一个向量,如果存在K内s个数,使得,则称向量可以被向量组线性表出.
定义4.5(向量组的线性相关与线性无关) 给定V内一个向量组,如果对V内某一个向量,存在数域K内不全为零的数,使得,则称向量组线性相关;若由方程必定推出,则称向量组线性无关.
命题4.3 设,则下述两条等价:
1)线性相关;
2)某个可被其余向量线性表示.
证明同向量空间.
定义4.6(线性等价) 给定V内两个向量组
(Ⅰ),
(Ⅱ),
如果(Ⅰ)中任一向量都能被(Ⅱ)线性表示,反过来,(Ⅱ)中任一向量都能被(Ⅰ)线性表示,则称两向量组线性等价.
定义4.7(极大线性无关部分组) 给定V内一个向量组,如果它有一个部分组满足如下条件:
(i)、线性无关;
(ii)、原向量组中任一向量都能被线性表示,
则称此部分组为原向量组的一个极大线性无关部分组.
由于在向量空间中我们证明的关于线性表示和线性等价的一些命题中并没有用到的一些特有的性质,于是那些命题在线性空间中依然成立.
定义4.8(向量组的秩) 一个向量组的任一极大线性无关部分组中均包含相同数目的向量,其向量数目成为该向量组的秩.
例4.2 求证:向量组的秩等于2(其中).
证明:方法一:设∈R,满足,则,假若不全为零,不妨设,则有,而由于,等号左边为严格单调函数,矛盾于等号右边为常数.于是.
所以线性无
文档评论(0)