希尔伯特空间是一种向量空间,它在函数分析中起着关键作用,它是完备的,并且是一种更具体的巴拿赫空间。
内积空间或 IPS 是在域 F 上的向量空间 V,具有一个函数
,称为内积,它符合三个公理。
1. 共轭对称性:
对于所有
。请注意,如果域
是
,我们只有对称性。
2. 第一项的线性性:
和
对于所有
和
。
3. 正定性:
对于所有
和
当且仅当
。
希尔伯特空间是一个内积空间,它关于其推断的度量是完备的。
证明内积自然地与度量相关联,因此所有内积空间都是度量空间。
是一个希尔伯特空间,其点是单位区间 I 上的无穷序列
,使得

收敛,并且是具有内积
的希尔伯特空间。
在同胚意义下,只有一个可分离的希尔伯特空间,它就是
.
(正在建设中)