欧几里得空间.docxVIP

第九章 欧几里得空间设是欧氏空间的两个子空间，证明：。证：设即任取有从而即同理可证从而此即。设则且即且任取有于是，所以。由的任意性即于是，故得。以替换换代入上式得，故得.证明：正交矩阵的实特征值为。证：设为正交矩阵，为的实特征值，为对应的特征向量，即取共轭转置得再右乘有利用得由于所以故有证明：奇数维欧氏空间中的旋转一定以作为它的一个特征值。证明：设旋转所对应的正交矩阵为，那么。由于为奇数，且于是，故即为的一个特征值。证明：第二类正交变换一定以作为它的一个特征值。证明：设是第二类正交变换对应的矩阵，则由于，所以即是的一个特征值。设是欧氏空间的一个变换，证明:如果保持内积不变，即对于，那么它一定是线性的，因而它是正交变换。证明：先证。因为所以即。再证由于所以，故是正交变换。设是一实二次型，是的特征多项式的根，且。证明：对任一有。证明：因为存在正交矩阵使令则。又有，而故。设是两个实对称矩阵，且是正定矩阵。证明：存在一实可逆矩阵使同时为对角阵。证明：由于是正定矩阵，所以存在可逆矩阵，使。又由于仍为对称矩阵，所以存在正交矩阵使得令则为可逆矩阵，且，。求下面矩阵的列空间在中的正交补的一个标准正交基，其中。解：设的列向量为，则，列空间。，从而有，这表明： ；将改成，又可以得到 。以上是两个非常重要的结论，在很多地方都用的上。具体到本题：相当于求也就是求齐次线性方程组的解空间的一个标准正交基，这是一个标准问题。先求的一个基础解系：；任何将正交化、单位化得。设由向量生成的子空间为，求一个线性方程组，使得它的解空间为恰好。解：设矩阵，则。由，有。这样问题就归结为：求齐次线性方程组的解空间的一个基础解系，，这个基础解系生成的空间就是，而它的正交补也就是，恰好是和以上两个向量都正交的向量全体，这正好就是齐次线性方程组的解空间，因此就是要求的线性方程组。设线性方程组的解空间为。试求在（标准度量）中的正交补的一组标准正交基。解：设这个方程组的系数矩阵为，则解空间为。而由知，于是问题归结为求的一组标准正交基。而，将的3列作Gram-Schmidt正交化，然后单位化即可。这里还有小的技巧：就是列空间做初等列变换保持不变，这样可以先将做初等列变换（相当于对作初等行变换）化简到一定程度之后再作Gram-Schmidt正交化，结果不变，这样可以减少计算量。如取,,，将利用Gram-Schmidt正交化方法正交化，然后单位化为，，。那么即为的一组标准正交基。 设是个实数，证明：。证明：，在中取向量，则由Cauchy不等式得结论成立。设阶矩阵的元素为，对于，令。问：是不是上的一个内积，写出理由。解：容易验证是上的一个对称双线性函数，是否是内积只需验证是否正定。任给非零向量，有。注意 ，于是令，由 可得。 若，则，由于连续，必有与是非零向量矛盾，所以，即正定，从而是上的一个内积。设是维线性空间的子空间，且的维数小于的维数， 证明：中必有一个非零向量正交于中的一切向量。证明： 。显然，，且由已知条件，则，，所以存在，即，后者等价于正交于中的一切向量。设是欧氏空间的一个正交向量组， 且，，。证明：线性相关。证明：是正交向量组，所以必线性无关。将扩充成在一组标准正交基，则，。由已知条件，可得，，从而，线性相关。另证：，意味着，是正交向量组，所以必线性无关。从而有，因此由可推出线性相关。设是阶非奇异矩阵，证明：存在正交矩阵使得，其中。证明：由非奇异得是正定矩阵。不妨设的特征值为，那么存在正交矩阵使得。令，，于是有。令，就有，是正交矩阵，且由得，其中。假设是维线性空间上的线性变换，是上的变换，且对有。证明：（1）是上的线性变换；(2) 的核是的值域的正交补。证明 （1）有由的任意性，有。而由，由的任意性，有。所以是上的线性变换。（2）首先证明。若，，那么且存在使得。那么有，所以。再证若，则必有。由，那么，有。这时有。取代入上式得，即。根据正交补的定义知必是的正交补。设是欧氏空间的标准正交基，，求正交变换使得。证明：，，即 ，，令，相当于,则是一个正交变换，且使得。一般解法：不妨设，显然有。令，，相当于，，，容易验证是一个正交变换，且使得。设是一个欧氏空间。(1) 若是一个给定的非零向量，对于，定义证明： 是的一个正交变换，且是恒等变换。叫做一个镜面反射；(2) 对中任意两个单位向量，证明：存在一个镜面反射，使得；（3）设是内积空间，是中两个长度相等的向量，证明：必存在某个正交变换，将变到；(4) 中每个正交变换都可以表示成若干镜面反射的乘积。证明（1），有所以是的一个正交变换。又，所以是恒等变换。（2）若，则取为恒等变换。若，则。在(1)中取为得一个镜面反射，以下验证这个镜面反射即为所求。事实上，记，。由都是单位向量，有， 。那么有 。 （3）的证法与（2）一样，其实只需要两个