第一章预备知识-内积空间.ppt

1.3 内积空间 1.3.1 内积空间 在平面（二维欧氏空间）中，向量的长度的概念以及向量的长度所满足的基本性质加以抽象成为广义的线性空间中的元素的范数（模），以及定义范数所必需满足的范数公里，从而得到赋范线性空间。于是，二维欧氏空间作为赋范线性空间的模型，表明该空间的向量的范数就是向量的长度。（复习距离空间） 然而在二维欧氏空间中还有一个基本概念，即两个向量的夹角以及由此导出的两个向量的垂直（正交）的关系，未能反映在赋范线性空间得定义中，即在在赋范线性空间中没有两个元素正交的概念，因此需要定义一个空间使得在该空间中既有元素的范数，又可以表示两元素的正交，这样的空间将有更多的类似于欧氏空间的几何性质。 例如 在二维欧氏空间 R 2 中的向量 x = (x 1 , x 2), y = (y1,y2)的点积（内积）为： 用α表示 x 与 y 的夹角，则有： 同时任一向量 x 的长度可表示为： 特别地，当向量 x 与 y 的点积为零时，表明向量x与y垂直（正交），因此定义了点积的二维欧氏空间 正是要定义的内积空间的具体模型。 由二维欧氏空间，可推广到n维欧氏空间。对于 R n 中的两个向量，我们同样定义了内积，并引进了向量之间的夹角、正交等概念． 在这里，我们把这些概念推广到一般抽象线性赋范空间，建立Hilbort 空间。定义1.11 设 k 是数域（实数域或复数域）, E 是 k 上的线性空间．若对于 x , y∈ E 时都有唯一的数 x , y ∈ k 与之对应，且满足: 对称性： 线性： 正定性： 其中 α,β∈ k ，z ∈ E。则称 x , y 为 x 与y 的内积。 定义了内积的线性空间 E 称为内积空间． 　当K为实数域时，内积空间为实内积空间． 　　当K为复数域时，内积空间为复内积空间． 由内积定义，可得到以下结论： (1): 对第二变元有共轭线性： (2): 当 x 或 y 为零时， x , y = 0 　　由于内积的非负性，因而可由内积导出向量的范数作为矢量的长度。定义： 容易证明，此定义满足范数公理，这时，内积空间就成为赋范线性空间，可以讨论内积空间的完备性。 (复习赋范空间定义） 内积空间中所定义的内积 x , y 是 x , y 的二元连续函数，即当 x n →x, y n → y (n →∞)时，有x n ,y n →x, y (n →∞) 。 定义 1.12: 完备的内积空间称为Hilbert空间，记为 H 长度的定义意味着内积空间E中两个矢量x、y的距离为： ||x - y||，内积的正性还意味着当||x - y|| = 0时，只有 x = y 。 距离概念还导出序列{ xk ；k=1,2,…}收敛的意义，即： 如果 ||xk -x||→0，那么 xk → x。 换句话说，如果 xk 和 x 的距离随着k的变大而越来越小，那么xk → x 。 例1.15 :　在 R n 中定义内积，并由内积到出范数： 　　　　在 C n 中定义内积，并由内积到出范数： 例1.1６ :　在 L 2 [a,b] 中定义内积，并由内积到出范数： 第二变元取复共轭，是为了保证 x , x 是正实数． 例1.1７ :　在 l 2 中定义内积，并由内积到出范数： 内积的性质： 内积的两个最重要的性质是Schwarz 不等式和三角不等式。 1、施瓦茨（Schwarz）不等式： 设X是内积空间，对于任意x、y属于X，有： 当且仅当x与y线性相关时，等号成立。 在R3中，该不等式遵从余弦定理。 2、三角不等式：设X是内积空间 当且仅当x与y线性相关时，等号成立。 在R3中，该不等式描述为两点间直线距离最短。 由内积导出的范数满足三角不等式，很明显也满足正定和齐次两个范数公理，表明内积空间也构成赋范空间，而赋范空间却不一定构成内积空间。 3、平行四边形等式： 4、极化恒等式： 当X是实内积空间时，有： 当X是复内积空间时，有： 1.3.2 正交分解 对R3中的标准内积，余弦定律是： 其中θ是x、y之间的夹角，上式意味着：当 x , y =0时，向量x、y正交，我们把该式作为一般定义。 定义1.13 设E是内积空间。 1. E 中两个矢量x和y，若x , y＝0．则称x与y正交,记为 x⊥y。 2. V 是E 的子集，且x与V中每一元素正交，则称x与V正交 ，记为 x⊥V。 3. V1、V2是E的两个