希爾伯特空間是一種向量空間,它在函式分析中起著關鍵作用,它是完備的,並且是一種更具體的巴拿赫空間。
內積空間或 IPS 是在域 F 上的向量空間 V,具有一個函式
,稱為內積,它符合三個公理。
1. 共軛對稱性:
對於所有
。請注意,如果域
是
,我們只有對稱性。
2. 第一項的線性性:
和
對於所有
和
。
3. 正定性:
對於所有
和
當且僅當
。
希爾伯特空間是一個內積空間,它關於其推斷的度量是完備的。
證明內積自然地與度量相關聯,因此所有內積空間都是度量空間。
是一個希爾伯特空間,其點是單位區間 I 上的無窮序列
,使得

收斂,並且是具有內積
的希爾伯特空間。
在同胚意義下,只有一個可分離的希爾伯特空間,它就是
.
(正在建設中)