学年论文;向量空间中直和的构成条件与证明.docVIP

学年论文;向量空间中直和的构成条件与证明.doc

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
学年论文 学 院: 数学与信息科学学院 专 业: 数学与应用数学 学生姓名: 学 号: 指导教师: 向量空间中直和的构成条件与证明 万 (西北师范大学 数学与信息科学学院,甘肃 兰州 730070) 摘 要:本文对向量空间的多个子空间直和的构成给出了五个等价条件,并对这五个条件的等价性进行证明. 关键词:向量空间;直和;充要条件; 0 引言 我们在研究一个向量空间时,常常需要设法把它分解成两个(或者更多个)维数较低的子空间的和,并且希望这两个子空间的交是零子空间, 在这样的情况下产生了向量空间直和的概念. 关于向量空间直和的构成我们有如下定义: 定义1 设,是向量空间的两个子空间,,若, 则称是与的直和,记作 由定义1可以得到由两个子空间构成直和的等价条件: 定理1 设,都是向量空间的子空间,且,则是与的直和的充要条件是中零向量的表示法唯一,即一旦,,,必有. 定理2 向量空间的两个子空间, 的和是直和的充 要条件是中任一向量可以唯一的表示成 ,,. 定理3 向量空间的两个子空间, 的和是直和的充要条件是. 在明确了把一个向量空间分解成两个子空间直和的情况后,我们很自然的会思考把直和的概念推广至更多个子空间和的情况下向量空间直和的构成条件与相关性质.由前述定义与定理我们类似的可以得到如下条件 : 设是上向量空间的子空间,. 零向量表示法唯一且一旦 , 必有 对,, 的表示法唯一. 令为的基,则 为的基. , 若上述条件中的任一条成立,那么称是的直和.记为. 下面证明他们的等价性. 1. 证明 先证零向量表示法的唯一性. 反正法,不妨设零向量的表示法不唯一,则有两组不完全相同的向量组,使得 ① ② ①-②得 , 移项得 , 由于 且 故 因为 所以 , 即. 由的任意性可知因而零向量表示法唯一. 下证一旦 , 必有 已知 , 移项得 , 因为 且 所以, 又因为, 所以, 由的任意性可知, 因而一旦,, ,必有 , 综上,零向量表示法唯一且一旦, 必有 证毕. 2. 证明 反证法,不妨设对,表示为 , 的表示法不唯一, 则存在两组不完全相同的向量组,使得 ① ② 其中, ①-②得 , , 因为零向量表示法唯一且一旦 , 必有 , 所以, 即, 与假设矛盾. 故假设不成立. 因而对于,表示为,, 的表示法唯一. 证毕. 3. 证明 对于有, , 令为的基,则 所以可表示为 因而对于可由 线性表示; 下证线性无关. 反证法,不妨设线性相关,则存在一组不全为0的数 使得 令则 因为对,,,表示法唯一. 所以当且仅当时有, 故 因为为的基, 所以线性无关, 因而当且仅当 时, 成立. 故线性无关, 综上,为的基. 4. 证明 因为 为的基, 所以 又因为, , , 所以 证毕. 5. 证明 对于,令 则 由维数公式得 对, 令 则 由维数公式得 对 令 则. 由维数公式得 继续上述分解过程,直到 此时, 由维数公式得 已知 将上述等式代入 可得 移项得 在上述等式中,从最后一个等式开始重复代入到它的上一个等式中,最终由第一个等式得 移项得 因为 . 所以 . 又因为 所以 其中 . 即,. 故 , 证毕. 参考文献: [1] 刘仲奎, 杨永保. 高等代数[M]. 第四版. 北京: 高等教育出版社,2007. [2] 邱森. 高等代数[M]. 第一版. 湖北: 武汉大学出版社,2008.

文档评论(0)

baihuamei + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档