第二篇 章 内积空间 矩阵理论课件.ppt

第二章 内积空间; 当向量元素在复数域内取值时，欧氏空间就被推广到了酉空间。许多欧氏空间中的定义和性质几乎可以“平滑地”推广到酉空间。欧氏空间和酉空间统称为内积空间。;§1、欧氏空间的基本概念;一、内积空间(Inner Product Space);注意到 中的内积显然具有如下性质：;例3 定义了标准内积的集合 称为希尔伯特空间，这里 是所有平方和收敛的实数列的集合，即;例 4 在向量空间 中，对任意 和实对称矩阵 ，定义实双线性型（Bilinear Form ）;由于函数也可以看成向量，所以内积也可以推广到函数。先考虑折线函数：;证明：;则 是定义了内积 的内积空间。;根据前面的分析，欧氏空间中内积还具有下列性质。;注意到3维空间中，;我们知道，平面几何中成立余弦定理，那么n维空间中余弦定理是否仍然成立呢？注意到;证明：;类似于高等数学，根据柯西-施瓦茨不等式，我们称;因此;定理9　如果 是数域 上的欧氏空间，则对 中的任意向量 ，具有下列三条性质（非负性、正齐性和三角不等式）：;定理10 如果 是数域 上的欧氏空间，则对 中的任意向量 ，有：;最后我们给出欧氏空间 的内积的坐标表示形式。;定义11 欧氏空间 的一个向量组 的度量矩阵或Gram 矩阵指的是矩阵;例 12 欧氏空间 的内积为：;解：;度量矩阵 是对称矩阵，所以所求为;拓扑空间;§2、标准正交基;说明此时内积是标准内积，因此用坐标计算内积的公式有最简单的形式。;定义1 欧氏空间 的一组基称为 的一个正交基，如果它们两两正交。如果此正交基的每个基向量又都是单位向量，则称此基为 的一个标准正交基。;从规范正交基的定义看，有三个要件： （1）是向量个数与维数相等的线性无关的向量组； （2）是两两正交的向量组，即正交向量组； （3）是每个向量都是单位向量的单位向量组。;定理3 欧氏空间 的向量组 线性无关的充要条件是矩阵 非奇异(可逆);证明：;这与 非奇异矛盾，所以 线性无关。;那么，向量组的正交性与线性无关性有什么联系呢？;根据定理4，规范正交基剩下两个要件： （1）是向量个数与维数相等的正交向量组； （2）是每个向量都是单位向量的单位向量组。;设 是定义了内积的线性空间（即欧氏空间） 的一个基， 是我们希望得到的 的一个正交基？;经验算，它满足;故可令;定理5 是定义了内积的线性空间 （即欧氏空间） 的一个基，则按式 构造出的 就是 的正交基。;对于向量空间，使用矩阵语言，上述正交化过程就是;因此;定理 6 （QR分解） 设矩阵 列满秩，则存在单位正交列矩阵 （各列都是单位列向量，且两两正交）和上三角可逆矩阵 ，使 ;线性无关。因此按施密特正交化过程，存在单位正交列向量组 ，使得;用矩阵表示，即为;二、标准正交基的几个性质;定理 8 是定义了内积的线性空间 （即欧氏空间） 的一组标准正交基，则对任意两个向量 仍然有 ;我们知道，在向量空间中，以标准正交基为列向量的矩阵是正交矩阵。在线性空间中，虽然基不一定能构成矩阵，但是两组基间的过渡矩阵是可逆矩阵。对于欧氏空间，虽然标准正交基同样不一定能构成矩阵，但标准正交基间的过渡矩阵肯定比可逆矩阵特殊。 ;显然矩阵 的各列就是 在标准正交基 下的坐标，所以;因此;由定理9可以想到，标准正交基 通过正交矩