第3讲-实内积空间.docVIP

第3讲 实内积空间 内容：1. 实内积空间 2. 正交基及正交补与正交投影 3. 内积空间的同构 4. 正交变换与对称变换 在线性空间中，元素（向量）之间的运算仅限于元素（向量）的线性运算．但是，如果以向量作为线性空间的一个模型，则会发现向量的度量(即长度)与向量间的位置关系在线性空间的理论中没有得到反映，而这些性质在许多实际问题中却是很关键的．因此，将在抽象的线性空间中引进内积运算，导出内积空间，并讨论正交变换与正交矩阵及对称变换与对称矩阵． §1 内积空间 在解析几何中，向量的长度与夹角等度量性质都可以通过向量的数量积来表示，而向量的数量积具有以下的代数性质：对称性；可加性 ；齐次性；非负性，当且仅当时,．以数量积为基础,向量的长度与夹角可表示为： ，．可见数量积的概念蕴涵着长度与夹角的概念，将该概念推广至抽象的线性空间． 定义1.1 设是实线性空间，若对于中任意两个元素（向量）和，总能对应唯一的实数，记作，且满足以下的性质： (1) 对称性 (2) 可加性 (3) 齐次性 (4) 非负性 ，当且仅当时，． 则称该实数是中向量和的内积． 称内积为实数的实线性空间为欧几里得(空间，简称为欧氏空间．称定义了内积的线性空间为内积空间． 例1.1 在维向量空间中,任意两个向量：，，若规定： ， 则容易验证,这符合内积的定义，是中向量和的内积．另外，若规定:，，同样可验证，这也是中向量和的内积． 由此可见，在同一个实线性空间的元素之间，可以定义不同的内积，即内积不是唯一的．从而，同一个实线性空间在不同内积下构成不同的欧氏空间． 例1.2 在上连续的实函数的实线性空间中，对任意函数，定义：，则可以证明这是上与的一种内积． 欧氏空间中的内积具有如下的性质： (1) (2) (3) (4) 事实上，由定义1.1有：； ； ； 因此,性质(1)至(3)成立，再结合数学归纳法容易验证性质(4)也成立． 定义1.2 设是欧氏空间中的任一元素（向量），则非负实数称为元素（向量）的长度或模，记作．称长度为1的元素（向量）称为单位元素（向量），零元素（向量）的长度为0． 由定义1.2易知，元素（向量）的长度具有下列性质： (1) (2) 当时,即是一个单位元素（向量）．通常称此为把非零元素（向量）单位化． 定理1.1 (不等式)． 设是欧氏空间中的任意两个元素（向量），则不等式，对均成立，并且当且仅当与线性相关时，等号成立． 证明：当与至少有一个是零元素（向量）时，结论显然成立．现在设均为非零元素（向量），则 ， 因此有 ， 即．而且当且仅当，即与线性相关时，等号成立． 定义1.3 设与是欧氏空间中的任意两个元素（向量），则称为与的夹角，记作即 ． 例1.3 试证明欧氏空间中成立三角不等式． 证明 因， 由不等式，有 ， 即有 ． §2 正交基及正交补与正交投影 1 正交基 定义2.1 设是欧氏空间中的任意两个元素（向量），如果，则称元素（向量）与正交，记作． 由定义2.1易知，零元素（向量）与任何元素（向量）均正交．若由于所以非零元素（向量）不会与自身正交，即只有零元素（向量）才与自己正交． 例2.1 在中,对于任意两个向量与的内积，定义：(1)；(2) ，其中．由此所得的两个欧氏空间分别记为与，试判断向量与在与中是否正交？ 解 由于 ；． 故向量与在中正交,在中不正交． 说明：两元素（向量）正交与否由所在空间的内积确定． 此外，在欧氏空间中也有勾股定理，即当时,有 .可将其推广至多个元素（向量），即当两两正交时，有． 定义2.2 欧氏空间中一组非零元素（向量），若两两正交，则称其为一个正交元素（向量）组． 定理2.1 若是欧氏空间中一个正交元素（向量）组，则线性无关． 证明 设有一组数,使，在上式两边分别用作内积，可得 ， 由于时,故可得，又 时, , 从而有，所以线性无关． 推论：在维欧氏空间中，正交元素（向量）组所含元素（向量）的个数不会超过个． 定义2.3 在维欧氏空间中，由个元素（向量）构成的正交元素（向量）组称为的正交基；由单位元素（向量）组成的正交基叫作标准正交基． 定理2.2 (正交化方法) 设是维欧氏空间的任意一个基，则总可将其进行适当运算后化为的一个正交基，进而将其化为一个标准正交基． 证明 因为线性无关，所以． 首先, 取； 其次, 令，则可得两个正交元素（向量）； 再次, 令，则得到三个正交元素（向量） 依此进行下去，一般有 这样得到的一个正交基．再将其单位化，令 ，则可得的一组标准正交基． 例2.1 在中,将基,,, ,用正交化方法化为标准正交基． 解 先正交化 令 再单位化 令 则 就是所要求的标准正交基