第三章内积空间与Hilbert空间
在线性空间上定义了范数之后,成为赋范空间.
赋范空间中有元素的范数(模),进一步有了两个元素之间
的距离等重要的概念.
我们知道,“长度”并不是欧氏距离R n 中唯一的可以数
量化的几何概念.
例如x=(x 1 ,x 2 ,x 3 )和y=(y 1 ,y 2 ,y 3 )是R 3 空间中
的向量,它们之间的角度可以用它们的内积
(x,y)=x 1 y 1 +x 2 y 2 +x 3 y 3 =∥x∥∥y∥cosθ
表示出来.其中
∥x∥=x 2 1 +x 2 2 +x 2 3 − − − − − − − − − − √ =(x,x) − − − − − √
∥y∥=(y,y) − − − − √
分别是x和y的长度(模).
本章目标:把n维欧氏空间中“角度”、“正交”以及内积
等概念引入到一般的线性空间,
建立起内积空间的一整套理论.
内积空间是一种特殊的赋范空间,从泛函分析发展的历史
上看,人们首先注意到的是内积空间而不是赋范空间.
内积空间特别是Hilbert空间是欧氏空间最自然的“推广”,
它们具有与欧氏空间十分相似的许多性质,
Hilbert空间迄今为止仍然是应用最广泛的一类空间.
在内积空间和Hilbert空间中使用的“几何”概念和述语,
与欧几里得几何的语言相似,它是由E.Schimidt在1908年引入的.
下面我们需要把n维欧氏空间内积具有的最基本的性质
抽象出来,在一般的线性空间引入内积的定义,建立起内积
空间、Hilbert空间理论.
§3.1内积空间的基本性质
3.1.1内积空间的定义
在R 2 中可以定义距离、范数、内积这些概念,
设a=(a 1 ,a 2 ),b=(b 1 ,b 2 )∈R 2 ,其内积定义为
(a,b)=a 1 b 1 +a 2 b 2 ,
于是
cos(a,b)=(a,b)∥a∥∥b∥ ,
∥a∥=(a,a) − − − − √ =a 2 1 +a 2 2 − − − − − − √ ,
a⊥b⟺(a,b)=0.
并且内积满足:
(1)(a,a)≥0;(a,a)=0当且仅当a=0;
(2)(a,b)=(b,a) ¯ ¯ ¯ ¯ ¯ ¯ ¯ ;
(3)(αa,b)=α(a,b);
(4)(a+b,c)=(a,c)+(b,c).
我们把这样的一些性质抽象出来,把它们作为内积需满足的基本性质.
定义3.1.1H是数域K上的线性空间,
如果对于任意x,y∈H,有K中的一个数(x,y)与它
们对应,使得对任意的x,y∈H,a∈K,满足
(1)(x,x)≥0;(x,x)=0当且仅当x=0;
(2)(x,y)=(y,x) ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ;
(3)(ax,y)=a(x,y);
(4)(x+y,z)=(x,z)+(y,z).
则称(⋅,⋅)是H上的一个内积,
定义了内积的空间H成为内积空间.
注1:(x,y)是一个二元函数,对于每一个固定的
y∈H,(x,y)是H上的一个线性函数(线性泛函).
注2:
(i)(x,y+z)=(y+z,x) ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ =(y,x) ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ +(z,x) ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯
=(x,y)+(x,z),
(ii)(x,ay)=(ay,x) ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ =a(y,x) ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ =a ¯ (x,y),
即内积对于后一个变量是共轭线性的.
注3:对于实数域上的线性空间,可以定义实的内积空间,
这时内积满足的第(2)条改为
(x,y)=(y,x).
例3.1.2对x=(x 1 ,⋯,x n );y=(y 1 ,⋯,y n )∈R n .
定义
(x,y)=∑ k=1 n x k y k (3.1.1)
容易验证它是一个内积,因此R n 是一个(实的)内积空间.
下面我们可以看到,有这个内积可定义(范数):
∥x∥=(x,x) − − − − − √ =(∑ k=1 n |x k | 2 ) 12 (x∈R n )(3.1.2)
例3.1.3在复的n维向量空间C n 中可以类似地定义内积:
(x,y)=∑ k=1 n x k y k ¯ ¯ ¯ (3.1.3)
其中x=(x 1 ,⋯,x n );y=(y 1 ,⋯,y n )∈C n .
在此内积下C n 成为一个内积空间.
3.1.2由内积生成的范数
在内积空间中,希望类似于在R 2 中,定义元素的范数
∥x∥,且
∥x∥=(x,x) − − − − − √
为验证这样定义的范数∥x∥满足范数的四个条件,首先要
证明以下的不等式.
定理3.1.4(Schwarz不等式)
设H是内积空间,对于∀x,y∈H,有
|(x,y)| 2 ≤(x,x)(y,y)(3.1.4)
证明思路:我们利用内积的定义,即四个条件来证明.
证明:任取λ∈C,则对任意的x,y∈H,
(x+λy,x+λy)
=(x,x)+λ ¯ (x,y)+λ(y,x)+|λ| 2 (y,y)(3.1.5)
≥0
设y≠0,令λ=−(x,y)(y,y) ,代入上式知
(x,x)−2|(x,y)| 2 (y,y) +|(x,y)| 2 (y,y) ≥0,
因此|(x,y)| 2 ≤(x,x)(y,y)
当y=0时,(x,y)=(y,y)=0,不等式显然成立.
注1:其中等号当且仅当x与y线性相关(x=−λy)时成立.
注2:结合例3.1.2((x,y)=∑ k=1 n x k y k )可知,Cauchy不等式
∑ k=1 n |x k y k |≤(∑ k=1 n |x k | 2 ) 12 (∑ k=1 n |y k | 2 ) 12
是Schwarz不等式的特殊情况.
定理3.1.5在内积空间H上,对于任意的x∈H,定义
∥x∥=(x,x) − − − − − √ (3.1.6)
则∥⋅∥是H上的一个范数.
实数上,(3.1.6)式显然满足范数的条件(i),(ii)和(iii).
对于(iv)三角不等式,由Schwarz不等式我们有
∥x+y∥ 2 =(x+y,x+y)
≤|(x+y,x)|+|(x+y,y)|
≤∥x+y∥∥x∥+∥x+y∥∥y∥
=∥x+y∥(∥x∥+∥y∥),
于是∥x+y∥≤∥x∥+∥y∥
故∥x∥=(x,x) − − − − − √ 是H上由内积产生的范数.
从而我们有下述结论:
定理3.1.6每个内积空间H按范数∥x∥=(x,x) − − − − − √ 成为一个赋范空间.
注:内积空间中定义了范数,由范数又可以定义距离,这样
就有了收敛性等距离空间中所具有的性质.
由内积定义了范数∥x∥=(x,x) − − − − − √ ,Schwarz不等式
|(x,y)| 2 ≤(x,x)(y,y)
可以写成:
|(x,y)|≤∥x∥∥y∥(3.1.7)
由Schwarz不等式我们可以得到:
定理3.1.7设H是内积空间,则内积(x,y)是关于x,y
的连续函数.即当x n →x,y n →y时
(x n ,y n )→(x,y)(n→∞)
分析:只要证明|(x n ,y n )−(x,y)|→0(n→∞)
注意到∥y n −y∥→0,∥x n −x∥→0,通过加一项,再
减掉这一项,利用Schwarz不等式来证明.
证明:由Schwarz不等式(3.1.7),我们有
|(x n ,y n )−(x,y)|
≤|(x n ,y n )−(x n ,y)+(x n ,y)−(x,y)|
≤∥y n −y∥∥x n ∥+∥x n −x∥∥y∥,
因为点列{x n }收敛,所以数列{∥x n ∥}有界,我们有
(x n ,y n )→(x,y)(n→∞)
定理3.1.8设集合M在内积空间H中稠密,若
x 0 ∈H,且有
(x,x 0 )=0,∀x∈M,
则x 0 =0.
分析:只要证(x 0 ,x 0 )=0.
证明:由M在H中稠,对于x 0 ∈H,存在
x n ∈M(n=1,2,⋯),使得
x n →x 0 (n→∞)
由内积的连续性
(x 0 ,x 0 )=(lim n→∞ x n ,x 0 )=lim n→∞ (x n ,x 0 )=0,
所以x 0 =0.
3.1.3内积和相应范数的关系
前面由内积引出范数,
下面讨论范数和内积的关系.
定理3.1.9设H是内积空间,对于任何的x,y∈H,有
(i)平行四边形法则
∥x+y∥ 2 +∥x−y∥ 2 =2(∥x∥ 2 +∥y∥ 2 )(3.1.8)
(ii)极化恒定式
(x,y)=14 (∥x+y∥ 2 −∥x−y∥ 2 +i∥x+iy∥ 2 −i∥x−iy∥ 2 )(3.1.9)
证明:有内积定义的范数,可知:
∥x+y∥ 2 =(x,x)+(x,y)+(y,x)+(y,y)(a)
∥x−y∥ 2 =(x,x)−(x,y)−(y,x)+(y,y)(b)
∥x+iy∥ 2 =(x,x)−i(x,y)+i(y,x)+(y,y)(c)
∥x−iy∥ 2 =(x,x)+i(x,y)+i(y,x)+(y,y)(d)
由第一式和第二式相加,得到平行四边形法则.
由(a)−(b)+i(c)−i(d)可得极化恒定式.
注1:平行四边形法则的几何解释为:
平行四边形对角线的平方和等于4条边的平方和,
∥x+y∥ 2 +∥x−y∥ 2 =2(∥x∥ 2 +∥y∥ 2 )
这是内积空间的特征性质.
在有了正交性的概念以后
如果x⊥y,平行四边形法则成为
∥x∥ 2 +∥y∥ 2 =∥x+y∥ 2 (勾股定理)
注2:由内积可定义一个范数⇒
内积空间必定是一个赋范空间.
再由范数诱导出的距离⇒它又可以成为一个距离空间.
问题:反之,是否每个线性赋范空间X都能赋以内积(x,y),
使原来的范数总可以表示成为(x,x) − − − − − √ .
答案:一般并非如此,而是有条件的,
X内赋以内积的充要条件是:X中的范数满足平行四边形法则.
定理3.1.10设X是赋范空间,如果范数满足平行四边形法则,
则可以在X中定义一个内积,使得由这个内积产生的范数正好
是X中原来的范数.
证明大意:在实的线性空间X中,对任意的x,y∈X,令
(x,y) 1 =14 (∥x+y∥ 2 −∥x−y∥ 2 )(3.1.10)
显然
(x,x) 1 =14 ∥2x∥ 2 =∥x∥ 2 ≥0,
(x,y) 1 =(y,x) 1 .
即(⋅,⋅) 1 满足内积定义3.1.1中的条件(1)和(2),
并且这个内积产生的范数就是X上原来的范数.
证明满足条件(4),考虑X上三个变元x,y,z的函数φ:
φ(x,y,z)=4((x+y,z) 1 −(x,z) 1 −(y,z) 1 ),
运用范数满足平行四边形法则,我们得到:对于任意的
x,y,z∈X,
φ(x,y,z)≡0,
即条件(4)成立.要证明满足内积的条件(3)(齐次),可从(4)
(x+y,z) 1 =(x,z) 1 +(y,z) 1
出发,先证明结论对正数成立,然后对有理数成立,
再加上(⋅,⋅) 1 的连续性,推出对所有的实数均有
(cx,y) 1 =c(x,y) 1
进一步复的赋范空间的内积,对于任意的x,y∈X,令
(x,y)=14 (∥x+y∥ 2 −∥x−y∥ 2 +i∥x+iy∥ 2 −i∥x−iy∥ 2 )
=(x,y) 1 +i(x,iy) 1
则由(⋅,⋅) 1 的性质,可以验证(⋅,⋅)是X上的内积,且
(x,x) − − − − − √ =∥x∥
注:范数是由内积产生的充要条件:平面四边形法则成立.
如果这个范数可以由内积产生,这个赋范空间即可以看作内积空间.
不是所有的范数均可以由内积产生.
例3.1.11在C[0,1]中,令
x(t)=1,y(t)=t,
则x+y=1+t,x−y=1−t,于是
∥x∥=1,∥y∥=1,∥x+y∥=2,∥x−y∥=1,
∥x+y∥ 2 +∥x−y∥ 2 =5,
但是∥x∥ 2 +∥y∥ 2 =2.
根据平行四边形法则,C[0,1](同样C[a,b])中的范数不是由内积产生的.
即在空间C[0,1]上不能定义一个内积,使它产生的范数
为C[0,1]中原来的范数(按最大值定义的范数).
3.1.4完备的内积空间
在赋范空间中我们看到空间是否完备是十分重要的,在内
积空间中,是否完备也是很重要的.
定义3.1.12完备的内积空间成为Hilbert空间.
内积空间是否完备是指内积产生的赋范空间是否完备.
由“完备空间的任何一个闭子空间也是完备的”,我们有:
定理3.1.13设H是一个Hilbert空间,Y⊂H是一个线性子空间,
那么Y是一个Hilbert空间当且仅当Y是闭的.
例3.1.14R n (C n )是Hilbert空间.
例3.1.15l 2 是Hilbert空间.
对任意x,y∈l 2 ,x=(ξ k ),y=(η k ),定义内积
(x,y)=∑ k=1 ∞ ξ k η k ¯ ¯ ¯ (3.1.11)
由Ho ¨ lder不等式知:
|(x,y)|≤(∑ k=1 ∞ |ξ k | 2 ) 12 ⋅(∑ k=1 ∞ |η k ¯ ¯ ¯ | 2 ) 12 ,
易证(x,y)满足内积的4个条件,由它产生的范数
∥x∥=(∑ k=1 ∞ ∥ξ i | 2 ) 12 (3.1.12)
是完备的(见本教材例2.2.15及(2.2.30)式).
例3.1.16L 2 [a,b]是Hilbert空间.
对任意x,y∈L 2 [a,b],定义
(x,y)=∫ b a x(t)y(t) ¯ ¯ ¯ ¯ ¯ ¯ dt(3.1.13)
由Ho ¨ lder不等式知:
|(x,y)|≤|∫ b a x(t)y(t) ¯ ¯ ¯ ¯ ¯ ¯ dt|
≤(∫ b a |x(t)| 2 dt) 12 (∫ b a |y(t)| 2 dt) 12
易证(x,y)是L 2 [a,b]上的内积.
由这个内积产生的范数
∥x∥=[∫ b a |x(t)| 2 dt] 12 (3.1.14)
是完备的(见本教材定理2.2.8及(2.2.28)式).
注:不是所有的内积空间都是Hilbert空间.
例3.1.17在全体连续函数组成的线性空间X上,定义
(x,y)=∫ b a x(t)y(t) ¯ ¯ ¯ ¯ ¯ ¯ dt(3.1.15)
X是一个内积空间,由此内积产生的范数为
∥x∥=[∫ b a |x(t)| 2 dt] 12 (3.1.16)
但X在范数∥⋅∥下不完备(见教材中例1.1.17和(1.4.6)、(2.2.4)式).
X是一个内积空间,但不是Hilbert空间.
注:空间是否完备是由全体Cauchy列是否都收敛决定的.
由距离空间完备化定理,
任何一个内积空间X都可以完备化(因为内积空间也是一个距离空间),即:
不完备的内积空间X,可以完备成为一个Hilbert空间H,
X等距同构于H中的一个稠子集.
在等距同构的意义下,这样的完备化空间是唯一的.
例3.1.17中的空间X,完备化以后成为L 2 [a,b].