内积空间与希尔伯特空间讲稿

即对任何数组1, 2,…,n,有
n
n
x ckek x kek
k1
k1
机动 目录 上页 下页 返回 结束
第18页
2 正交投影的应用——最佳逼近问题
(1)最佳逼近问题的一般提法:设H是Hilbert空间,x, x1, x2, …, xnH,
要求寻找出n个数1,2,…,n, 使得
n
n
n
x
k1
kxk
定理14 (投影定理) 设M是希尔伯特空间H的闭线性子空间,则对
xH在M中存在唯一的正交投影x0, 使得
x =x0+x1
(其中x1M).
证 xH, 令x到M的距离 d(x,M )in||x fy| |0 y M
{yn}M, 使得||yn-x||d (n) (下确界定义)
机动 目录 上页 下页 返回 结束
定理3 设X是内积空间，则必存在一个Hilbert空间H，使X与H的稠 密子空间同构，而且在同构意义下，满足上述条件的Hilbert空间是 唯一的。
机动 目录 上页 下页 返回 结束
第11页
二、内积空间中的正交分解与投影定理
在解析几何中，有向量正交和向量投影的
概念，而且两个向量正交的充分必要条件是
L2[a,b]空间按照内积
x,y
bx(t)y(t)dt是内积空间。 a
L2[a,b]按照由内积导出的范数
x b x(t)2dt12
a
是Banach空间，因而是Hilbert空间。
L2[a,b]中由内积导出的距离为
(x ,y ) x y ,x y bx (t) y (t)2 1 2
a
机动 目录 上页 下页 返回 结束
当数域K为复数域C时，则称H为复的内积空间。
2 ) x y ,z x ,y x ,z;
3 ) x ,y z y z , x y , x z , x x , y x , z ;
机动 目录 上页 下页 返回 结束
第3页
2 由内积诱导的范数及由内积诱导的距离 定义2 (1) 范数 x x,x 称为由内积诱导的范数。
{xn}L, xnx, zM <x, z>=lim <xn, z>=0 xM M为H的闭子空间
机动 目录 上页 下页 返回 结束
第14页
2 正交分解与正交投影 定义10 (正交分解与正交投影) 设H是内积空间，MH是线性子
空间，xH,如果存在x0M, x1M, 使得
x = x0+x1
（1）
则称x0为x在M上的正交投影，而称(1)式为x关于M的正交分解。
机动 目录 上页 下页 返回 结束
第17页
注：1)由定理的证明过程易知,只要M是H的完备子空间,而H本身 不完备,定理结论也成立.从而上述正交分解式也唯一.
n
n
x0 ckek x,ekek
k1
k1
是x在内积空间H上的正交投影
2) 设{en}是内积空间H的标准正交系, xH, {ck}={<x,ek>}, 则
第1页
第五章 内积空间与希尔伯特空间
•内积空间与希尔伯特空间 •欧氏空间线性空间+内积内积空间 •内积空间+完备性希尔伯特空间
元素的长度（范数） •内积空间特点：
两向量夹角与正交
机动 目录 上页 下页 返回 结束
第2页
一、内积空间与希尔伯特空间的概念 1 内积与内积空间 定义1 设H是数域K上的线性空间，定义函数
kx k,x k x ,x k , (k 1 ,2 ,.n .). k 1
机动 目录 上页 下页 返回 结束
x1, x1 x, x1 xn, x1
k
x1, xn x1, x1
机动 目录 上页 下页 返回 结束
第4页
3 线性赋范空间成为内积空间（范数是由内积导出的范数）的 充分必要条件
定理1 线性赋范空间X是内积空间x,yX,有
||x+y||2 + ||x-y||2=2||x||2 + 2||y||2 (平行四边形公式或中线公式) 4 希尔伯特空间 定义3 设H是内积空间，若H按照由内积诱导的范数成为Banach 空间，则称H是希尔伯特空间。
2||ym-x||2+2||x-yn||2-4d 20 (m,n)
{xn}是基本列 2) 证明 {xn}在M中收敛 M 是Hilbert空间的闭线性子空间M是完备的
x0M, 使ynx0 ,||yn-x||||x0-x|| (n)
d||xx0| | iy M n||x fy| |0
机动 目录 上页 下页 返回 结束
其中的投影定理是一个理论和应用上都极其重要的定理，利用投影
定理可以将内积空间分解成两个字空间的正交和。这是内积看所特
有的性质，这个定理在一般的巴拿赫空间中并不成立（因为巴拿赫
空间中没有正交性的概念）。在实际应用中，投影定理还常被用来
判定最佳逼近的存在性和唯一性。
机动 目录 上页 下页 返回 结束
第12页
x
它们的内积等于0，而向量x在空间中坐标平
x1
面上的正交投影向量x0是将向量的起点移到 坐标原点，过向量的终点做平面的垂线所得 的垂足与原点之间的有向线段而得到的。且
x0
有x=x0+x1, 其中x1该坐标平面。这时称 x=x0+x1为x关于做表面的正交分解。
下面将把正交分解和正交投影的概念与推广到一般的内积空间中。
特取 xzx20,z z,xz2x0
|z,x x 0|2 0 |x x 0 ,z| 0 xx0,z0 xx0z x 1 x x 0 M x x 0 x 1 4) 证明x0 是唯一的，从而上述正交分解式也是唯一的 设 x0, x是0 x在M上的两个正交投影，则 |x |0 x 0 | |0 ,x 1 x 0 x 0 .
第6页
例2 l 2空间按照内积 x, y xkyk 是内积空间。 k1 (许瓦兹不等式)
l 2按照由内积导出的范数
x
x
2 k
k 1
是Banach空间，因而是Hilbert空间。
l 2中由内积导出的距离为
(x,y)xy,xy xiyi2 12
i 1
机动 目录 上页 下页 返回 结束
第7页
例3
<·,·>:HHK, 使得：对x,y,zH,K,满足
1 )x ,x 0 ,且 x ,x 0 x 0 ; 2) x,y y,x;
3) xy,z x,z y,z;
x,z x,z. 则称<x, y>为数域K中x与y的内积,而称定义了内积的空间H为 内积空间。 注：1) 当数域K为实数域时，称H为实的内积空间；
注：正交补的性质： (1)H {0}{0 ,}H ( 2 )M H ,M M { 0 } (3)MH,M是H的闭线性子空间，即H的 完备子空间.
事实上，x, yM及zM,有<x, z>=0,<y, z>=0
<x+y, z>= <x, z>+ <x, z> =0 <x+y, z>MM为H线性子空间
机动 目录 上页 下页 返回 结束
第5页
n
例1 n维欧氏空间Rn按照内积 x, y xkyk 是内积空间。 k1
Rn按照由内积导出的范数 x 因而是Hilbert空间。
n
x
2 k
是Banach空间，
k 1
Rn中由内积导出的距离为
(x,y)xy,xy i n 1xiyi2 12
机动 目录 上页 下页 返回 结束
(2) 距离函数 (x ,y)xyxy,xy
称为由内积诱导的距离。 注: (1) 内积与由内积诱导的范数的三角不等式关系——
许瓦兹不等式 x,y x y. (2) 内积与由内积诱导的范数的等式关系：
x ,y 1 ( x y 2 x y 2 ix i2 y ix i2 y ) 4
(3) 由内积诱导的范数满足范数公理内积空间按照由内积导 出的范数,是线性赋范空间。但反之不然
mix n
(1,..n .),
k1
kxk
即要求出 x0 kxksp{ax1,nx2,.x.n.}使得||x-x0||最小。
k1
(2)最佳逼近问题的几何解释：记M=span{x1, x2, …, xn}H,则
n
x k xk 表示x到M上某点的距离
k 1
n
n
表示x到M的最短距离 x k1
kxk
1 正交的概念 定义5 (正交) 设H是内积空间,x,yH, M,N H.
(1) xy <x,y>=0; (2) xM yM, 都有<x,y> =0;
(3) MNxM，yN,都有<x,y>=0. 定理4 (勾股定理)设H是内积空间,若x,yH, 且xy, 则
||x+y||2=||x||2+||y||2 注:1）在一般的内积空间中，若xy，则有勾股定理
第15页
1) 证明 {yn}是基本列
M是H的线性子空间ym,ynM,有
ymynM ymynxd
2
2
0 ||ym-yn||2 = ||(ym-x)+(x-yn)||2
= ||(ym-x)+(x-yn)||2+||(ym-x)-(x-yn)||2-||(ym-x)-(x-yn)||2
= 2||ym-x||2+2||x-yn||2-||(ym+ yn)-2x||2 (平行四边形公式)
第16页
3) 证明x0 是x在M中的正交投影
记x1=x-x0, zM, z, C x0+zM
|x | x 0 |2 |x | ( x 0 z ) |2 |x | x 0 |2 |z , x x 0 x x 0 , z || 2 |z |2 |
z,x x 0 x x 0 ,z ||2 |z ||2 | 0
||x+y||2=||x||2+||y||2成立，但反之不然。 事实上， ||x+y||2=||x||2+||y||2+2Re(x,y) 2）在实内积空间中，xy||x+y||2=||x||2+||y||2，即勾股定理成立
机动 目录 上页 下页 返回 结束
第13页
定义6 (正交补) 设H是内积空间,MH, 称集合 M={x| xy, yM} 为M在H中的正交补。
C[a,b]不是内积空间
机动 目录 上页 下页 返回 结束
第9页
5 内积空间中的极限 定义4 （极限）设X是内积空间，{xn}X, xX 及yX,
x n , x n l i m x n x ,y 0 n l i m x n ,y x ,y 定理2 设H是希尔伯特空间，则H中的内积<x,y>是x,y的连续函数, 即{xn}、{yn}H, x, yH, 若xnx, yny, 则<xn,yn><x,y>.
使得||x-x0||=inf ||x-y||, 且对yM, 有<x-x0,y>=0
<x-x0, xk> =0 (xkM, k =1,2,…,n) <x0, xk>=<x, xk> (xkM, k =1,2,…,n)
n
kx k,x k x ,x k , (k 1 ,2 ,.n .). k 1 n
mix n
(1,..n .),
k1
kxk
n
x0 k xk 表示x在M上的正交投影
k1
最佳逼近问题实际上就是求正交投影的问题
机动 目录 上页 下页 返回 结束
第19页
(2) 最佳逼近问题的求解步骤： 设{xn}M线性无关，记M=span{x1, x2, …, xn}H M是H的闭线性子空间
n
唯一的x0: x0 kxk M k1
（线性运算对内积的连续性） 证 xnx ||xn-x|| 0
yny ||yn-y|| 0 |<xn,yn> - < x,y> |<xn,yn> - <x,yn>| +|<x,yn> - <x,y>|
||xn-x|| ||yn|| + ||x|| ||yn-y||0 <xn,yn> <x,y> (n) 注：距离函数、范数、内积都是连续函数
第8页
例4
C[a,b]按照范数
x
max(t)是线性赋范空间， tБайду номын сангаасa,b]
但C[a,b]不是内积空间.
证 取x =1, y =(t-a)/(b-a)C[a,b] ||x||=1, ||y||=1 ||x+y||=max|1+(t-a)/(b-a)|=2, ||x-y||=max|1-(t-a)/(b-a)|=1 ||x+y||2+||x-y||2=54=2(||x||2+||y||2) C[a,b]中范数不满足平行四边形公式， 因而不是由内积导出的范数
机动 目录 上页 下页 返回 结束
第10页
6 内积空间的完备化 定义5 (内积空间的同构) 设X,Y是同一数域K上的内积空间，若存
在映射T: XY,保持线性运算和内积不变,即x,yX, , K,有 (1) T(x+y)=Tx+Ty, (2) <Tx,Ty>=<x,y>
则称内积空间X与Y同构,而称T为内积空间X到Y的同构映射。