关于欧氏空间中与维数相关习题处理的注记-厦门大学高等代数.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 从 　　　知 又 从而有 且 若还有　　　　　　 且 则对任意