第二章 内积空间-1.pptVIP

欧氏空间的正交分割 三 正交变换与正交矩阵 A=QR称为A的正交三角分解。 正交的性质 性质1：若向量组 的每一个向量与向量 正交，则 与 正交。 证明：因为 所以 由此得： 性质2：设V1是ｎ维欧氏空间Ｖ的一个子空间，向量ｙ与Ｖ１中每一个向量正交的充要条件是ｙ与Ｖ１的基中每一个向量正交。 定义1 ： 是欧氏空间V中的两个子空间， 如果对 恒有 则称子空间 为正交的,记作 对给定向量 定义2 ： 则称向量　与子空间 正交，记作 两两正交的子空间的和必是直和． 定义3 ：设W是欧氏空间V的子空间，记 定理1 设W是欧氏空间V的一个有限维子空间， 那么 因而V的每一个向量ξ可以唯一写成 这里 设 令 证明 当W = {0}时，定理显然成立，这时 设 由于 W的维数有限， 因而可以取到W的一个规范正交基 那么 而 由于 是W的基，所以ζ与W正交， 这就证明了 即 剩下来只要证明这个和是直和。这是显然的， 那么 从而 定理被证明。 因为如果 定义4：设W是欧氏空间V的有限维非平凡子空间， 为V到W的正交投影变换。 可以证明，正交投影变换是线性变换。 证明 由于 所以 定理2 设W是欧氏空间V 的一个有限维子空间， 是V 的任意向量， 是 在W 上的正交投影，那么对于W 中任意向量， 都有 由勾股定理 正交矩阵的定义：设Q是实方阵，如果 则称Q是正交矩阵。 * 1.3 两个特殊的线性空间 （1） （2） （3） （4） ，当且仅当 时等号成立。 欧氏空间的定义与性质 定义1 设 是实数域上的线性空间， 如果对于 中的任意两个向量 都有一实数与之对应，记为 且满足下列条件（ ）： 定义了内积的实线性空间称为欧氏空间（实内积空间） 例3 在全体n阶实方阵所构成的线性空间 中，对任意两个n阶矩阵A、B，规定其内积为 容易验证它满足内积定义的四个条件，因此 ,对于所定义的内积构成一个欧氏空间。 [注：此处如果将矩阵A看作一个长向量： 则和例1一样，它是欧氏空间这不难理解！] 直接由内积的定义,可得内积具有如下性质: 性质1 (x,ky)=k(x,y) 性质2 (x,0)=(0,x)=0 性质3 度量矩阵 的性质显然有 。 设 是 n维欧氏空间V 的一个基， 是V 中的任意两个向量。下面考察它们的内积： 如果令 ，则由内积 于是 利用矩阵的乘法，上式还可以表示为 其中 分别是 关于基 的坐标， 称G为基 的度量矩阵。 设矩阵 为n维欧氏空间V的一组基 的度量矩阵,则 也就是说：度量矩阵是实对称正定矩阵 定义:在欧氏空间V中,非负实数 称为V中的向量 的长度(范数),记为 ,即 向量范数的四个性质: (1) 非负性: (2) 齐次性: (4) 三角不等式: （3）Cauchy-Schwarz不等式： 证明：（3）式的证明： 由内积的定义可得： 因此，方程 无实根或只有一个实根，由此可得： 也就是： （4）式的证明： ，由内积的定义得： 例4 例5 设 与 分别是欧氏空间V的两个基，且V对于该二基分别是A与B，证明：A与B是合同的，即不同的基的度量矩阵是合同的。 证明：设 这里的 是过渡矩阵，则有： 从而有： 所以，由矩阵的乘法可得：B=CTAC 线性代数的结论：度量矩阵是实对称正定矩阵。对于实对称正定矩阵A，存在正交阵Q和对角线上的元素都是正数的对角阵D，使得：A=QTDQ 设 由此可得：若在例5中令 则： 从而有： 在V的基 下： 在V的基 下： 单位向量：若欧氏空间V中的向量 满足 ，则称为单位向量。 夹角的定义 在欧氏空间中也有勾股定理， 正交的定义：设V是欧氏空间， ，若 ，则称 与 正交，记为 若一个不含零向量的向量组 中的向量两两正交: , 则称该向量组为正交向量组. 又如果这些向量都是单位向量: ,则称该向量组为标