内积空间的基本概念汇总
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
第四章
Hilbert 空间
一 内积空间的基本概念
设H 是域K 上的线性空间，对任意H y ,x ∈，有一个中K 数
),(y x 与之对应，使得对任意H z ,y ,x ∈；K ∈α满足
1） 0)y ,x (≥；)y ,x (＝0，当且仅当 0x =； 2） )y ,x (＝_
__________)x ,y (；
3） )y ,x ()y ,x (αα=；
4）
)z ,y x (+＝)z ,x (＋)z ,y (；
称)(,是H 上的一个内积，H 上定义了内积称为内积空间。
定理1.1设H 是内积空间，则对任意H y x ∈,有：
|)y ,x (|2
)y ,y )(x ,x (≤。
设H 是内积空间，对任意H x ∈，命
),(||||x x x =
则||||⋅是H 上的一个范数。
例 设H 是区间],[b a 上所有复值连续函数全体构成的线性空间，对任意H y x ∈,，定义
dt t y t x y x b
a
⎰=________
)()(),(
则与],[2b a L 类似，),
(y x 是一个内积，由内积产生的范数为
2
12
)
|)(|(||||⎰=b
a
dt t x x
上一个内积介不是Hilbert 空间。
定理 1.2 设H 是内积空间，则内积),(y x 是y x ,的连续函数，即时x x n
→，y y n
→，),(),(y x y x n
n
→。
定理1.3 设H 是内积空间，对任意H y x ∈,，有以下关系式成立，
1） 平行四边形法则：
2
||
||y x +＋2
||
||y x -＝2)||||||(||2
2
y x +；
2） 极化恒等式：
),(y x ＝4
1
（2
||
||y x +－
2
||
||y x -＋
2
||
||iy x i +－
)||||2
iy x i -
定理1.4 设X 是赋范空间，如果范数满足平行四边形法则，则可在X 中定义一个内积，使得由它产生的范数正是X 中原来的范数。 二 正交性，正交系 1 正交性
设H 是内积空间，H y x ∈,，如果0),(=y x ，称x 与y 正交，记为y x
⊥。
设M 是H 的任意子集，如果H x ∈与M 中每一元正交，称x 与M 正交，记为M x ⊥；如果N M ,是H 中两个子集，
对于任意
,M x ∈,N y ∈y x ⊥，称M 与
N
正交，记
N M ⊥。设M 是H 的子集，所有H 中与M 正交的元的全体
称为M 的正交补，记为⊥
M 。
定理2.1 设H 是内积空间 1） 如果H z ,y ,x ∈，z y x
+=且z y ⊥，则2
||
||x ＝
2
||
||y ＋2
||
||z ；
2） 如果
L 是H 的一个稠密子集，即H L =__
，并且
L x ⊥，则0=x ；
3）
M 是H 的任意子集，则⊥
M 是H 的闭子空间。
定理 2.2 设M 是内积空间H 中的完备凸集，则对任意
H x ∈，存在M x ∈0
，使得
||||0
x x -＝),(M x d ||||inf y x M
y -=∈
定理2.3（正交分解）设M 是Hilbert 空间H 的闭子空间，则对任意H x ∈，存在唯一的M x ∈0及⊥
∈M y ，使得
y x x +=0
2 正交系
设}{αx ，I ∈α是内积空间H 中的子集，如果β
α
≠时
0),(=βαy x ，
称}{αx ,I ∈α是中的一个正交系。设}{αx ,I ∈α是一个正交系，如果对每一上I ∈α，
1||||=αx ,称}{αx ,I ∈α是
一个标准正交系。
设}{αx ，I ∈α是H 的一个正交系，如果包含它的最小闭子空间是全空间H ，称}{αx ,I ∈α是的正交基。
定理2.4 设}{n e 是内积空间H 中的标准正交系，H x ∈，
n
α
α,...,1
是n 个数，则当且当仅),(k
k
e x =α),...,1(n k =时，
||||1
∑-=n
k k
k
e x α取最小值。
定理2.5（Bessel 不等式）设}{n e 是内积空间H 中的标准正交系，则对任意H x ∈，有
∑≤∞
=1
2
2
||
|||),(|k k
x e x
定理2.6 设}{n e 是内积空间中的一个标准正交系，则}{n e 是完备的，当且仅当}{n e 张成的子空间L 在H 中稠密。
定理 2.7 设H 是Hilbert 空间，}{n e 是H 中的标准正交系，则}{n e 是完备的，当且仅当}{n e 是完全的。
定理 2.8 设H 是Hilbert 空间，}{n e 是H 中的标准正交系，2
}{l n ∈ξ，则存在H x ∈，使得
),(k
k
e x =ξ,...)2,1(=k
并且
2
1
2
||
||||x k k
=∑∞
=ξ
定理2.9（正交化定理）设}{n x 是内积空间H 中的可数子集，则在H 中存在标准正交系}{n e ，使得}{n x 与}{n e 张成的子空间相同。
3 可分空间的同构
定理2.10 设H 是任一可分的无穷维的Hilbert 空间，则存在
H 上到2
l
同构映射ϕ，且ϕ保持内积。