- 1、本文档共35页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
关于欧氏空间中与维数相关习题处理的注记.ppt
关于欧氏空间中与维数相关习题处理的注记 杨忠鹏 晏瑜敏 林志兴 戴培培 * * 莆田学院数学系 有限维线性空间是高等代数的最重要的研究对象,它是教学的重点。但是关于线性空间的不少重要定义并不是在有限维空间上定义,而是在一般情况下定义的,之后再转入以有限维线性空间为主讨论。虽然,在整体的教学过程中还是以有限维线性空间作为研究的重点,但是在教学中却又不可避免地要接触到无限维的情况。本文仅就欧氏空间中与维数相关习题的处理,谈我们的一些看法。 这里 为V中任意的向量,k是任意实数, 这样的线性空间V称为欧氏空间。 当且仅当 时 4) 定义1(见[1])设V是实数域R上的一个线性空间, 在V上定义了一个二元实函数,称为内积,记作 ,它具有以下性质: 1) 2) 3) [1]中还以具体的实例来认识欧氏空间,这 其中就有闭区间上所有实连续函数所成空间C(a,b), 对于函数 定义内积 构成的欧氏空间。 同时也指出实数域上一元多项式R[x]对于上述 内积也构成欧氏空间。这说明教材本身也要求将 无限维的欧氏空间作为学生熟悉的对象。 这类问题的研究特点正如[1,P363]所说“在…讨论中,我们对空间的维数并没有作任何限制”,而且对有限维空间的讨论应当要具体说明。这样在将把有限维空间作为研究主体和重点的情况下,应慎重地处理和对待没有指明欧氏空间维数的问题。 定义2(见[1])欧氏空间V的线性变换 称为正交 变换,如果它保持向量的内积不变, 对任意的 定义3(见[1])欧氏空间V的线性变换 若满足: 则称 为对称变换。 在北大数学系编的《高等代数》(第二版) 教材中有一道习题(见[2,P397习题23 ] ) : 命题1 如果 是正交变换,那么 的不变子空间 的正交补也是 的不变子空间。 题设中并没有限定 是有限维欧氏空间上的 线性变换。一般文献中给出的解答如下: 再扩充成V的一组标准正交基: 那么 又 是正交变换,故有 文献[3]中: 又 所以 是 的不变子空间。 任取 那么 设W是 任不变子空间,取 是W的一组标准正交基, 设W是 任不变子空间,取 是W的一组标准正交基, 文献[4]中: 再扩充成V的一组标准正交基: 那么 由 是正交变换,所以 也是V的标准正交基。 又由于W是 的不变子空间,所以 是W的一组标准正交基,而 任取 ,那么 所以 是 的不变子空间。 这些解法对于n维欧氏空间无疑是正确的,但对于一般欧氏空间来说却未必是正确的。事实上,对于无限维欧氏空间来说命题1的结论是不成立的。 且当 时,约定 例如 ,定义内积 显然 ,是V的一个正交变换。 令 则 所以W是 的一个不变子空间。 即 不是 的不变子空间。 ,进而 又 即 上例说明在目前一般教材的定义下,不仅文献[3]、[4]给出的解法是不妥的,更重要的是这个命题本身是有问题的。事实上文献[1]、[5]、[7]、[8]都已经注意到了这个问题。但[7]、[8] 仅通过反例指出当V及W皆为无限时结论可能不成立,并没有给出修正意见。[5]则指出[2]的结论“只适用于有限维欧氏空间,在无限维欧氏空间中并不成立”。而作为[2]的第三版的[1]中相应习题也确实作了变化(见[1,P396习题23]),即 在国内影响很大的[6,P341习题2]、[10,P296习题2],始终是以命题2的形式给出的,同时期北大数学系编高等代数第一版[11,P373习题23]和第二版[2,P397习题23]中都对维数没有限定(即是命题1的形式),而在其第三版[1]中就增加了有限维的条件,也就是命题2的形式. 命题2 如果 是n维欧氏空间的一个正交变换, 那么 的不变子空间的正交补也是 的不变子空间。 但是,我们认为[5]中关于命题1的结论“只适 用于有限维欧氏空间”的说法也是欠妥的。 命题3 设W是欧氏空间V的有限维子空间,则 W有唯一的正交补。 证明:设 为W的标准正交基,定义 则 且对于 所以 是V的一个子空间。 1 从 知 又 从而有 且 若还有 且 则对任意
文档评论(0)