8第八节 酉空间介绍.ppt

第八节 酉空间介绍 * 上页 下页 返回 欧氏空间是专门对实数域上的线性空间. 酉空间实际就是复数域上的欧氏空间. 这一节都是在复数域上讨论，下面不再重述. 在酉空间中有些概念与性质与欧氏空间一样，但是大部分概念与性质与欧氏空间是不完全一样的，但结论是平行的，主要是复数的特征所起的作用. 希望大家掌握与区分酉空间和欧氏空间的概念与本质. 上页 下页 返回 定义14 设V是复数域上的一个线性空间，在V上定义了一个二元复函数，称为内积，记作(α, β) ，它具有以下性质: 1) ，这里 是(β, α)的共轭复数; 2) (kα, β)=k(α, β); 3) (α+β, γ)=(α, γ)+(β, γ); 4) (α, α)≥0是非负实数 ，且(α, α)=0当且仅当α=0. 这里α, β, γ是V中任意的向量，k是任意复数，这样的线性空间称为酉空间. 上页 下页 返回 例1 在线性空间Cn，对向量 定义内积为 (1) 显然，内积(1)满足定义14中的条件. 这样Cn就成为一个酉空间. 由于酉空间的讨论与欧氏空间的讨论很相似，有一套平行的理论，因此在这只简单地列出重要的结论，而不详细论证. 上页 下页 返回 2) (α, β+γ)=(α, β)+(α, γ) 1) 4) 柯西–布涅柯夫斯基不等式仍然成立，即对于任意的向量α, β有 3) 叫做向量α的长度，记为|α|. |(α, β)|≤|α||β| 当且仅当α, β线性相关时，等式才成立. 首先由内积的定义可得到 和在欧氏空间中一样，因为(α, α)≥0，故可定义向量α的长度. 5) 向量α, β，当(α, β)=0时称为正交或互相垂直. 上页 下页 返回 在n维酉空间中，同样可以定义正交基和标准正交基，并且关于标准正交基也有下述一些重要性质： 6) 任意一组线性无关的向量可以用施密特过程正交化，并扩充为一组标准正交基. 注意：酉空间中的内积(α, β)一般是复数，故向量之间不易定义夹角，但我们仍引入 上页 下页 返回 7) 对n级复矩阵A，用 表示以A的元素的共轭复数作元素的矩阵. 如A满足 ，就把A叫做酉矩阵. 它的行列式的绝对值等于1. 两组标准正交基的过渡矩阵就是酉矩阵. 类似于欧氏空间的正交变换和对称矩阵，可以引进酉空间的酉变换和埃尔米特矩阵，它们分别具有正交变换和对称矩阵的一些重要性质，我们把它列举啊下面： 8) 酉空间V的线性变换A，满足 (Aα, Aβ)=(α, β), 就称为V的一个酉变换. 酉变换在标准正交基下的矩阵是酉矩阵. 上页 下页 返回 9) 如矩阵A满足 则叫做埃尔米特(Hermite)矩阵. 在酉空间Cn中令 A 则 A也是对称变换. (Aα, β)=(α, Aβ). 上页 下页 返回 10) V是酉空间，V1是子空间，V1⊥是V1的正交补，则 V=V1⊕V1⊥ . 又设V1是对称变换的不变子空间，则V1⊥也是不变子空间. 11) 埃尔米特矩阵的特征值为实数. 它的属于不同的特征值的特征向量必正交. 12) 若A是埃尔米特矩阵，则有酉矩阵C ，使 是对角形矩阵. 上页 下页 返回 13) 设A为埃尔米特矩阵，二次齐次函数 叫做埃尔米特二次型. 必有酉矩阵C ，当X=CY时 它可以叫做埃尔米特二次型的标准型. * *