欧氏空间 → 线性空间 + 内积 ⇒ 内积空间(元素的长度,元素的夹角和正交)
内积空间 + 完备性 ⇒ 希尔伯特空间
0. 欧几里得空间
欧氏空间是一个特别的度量空间,它使得我们能够对其的拓扑性质,在包含了欧氏几何和非欧几何的流形的定义上发挥了作用。
约在公元前300年,古希腊数学家欧几里得建立了角和空间中距离之间联系的法则,现称为欧几里得几何。欧几里得首先开发了处理平面上二维物体的“平面几何”,他接着分析三维物体的“立体几何”,所有欧几里得的公理已被编排到叫做二维或三维欧几里得空间的抽象数学空间中。
这些数学空间可以被扩展来应用于任何有限维度,而这种空间叫做 n 维欧几里得空间(甚至简称 n维空间)或有限维实内积空间。
这些数学空间还可被扩展到任意维的情形,称为实内积空间(不一定完备),希尔伯特空间在高等代数教科书中也被称为欧几里得空间。为了开发更高维的欧几里得空间,空间的性质必须严密地表达并被扩展到任意维度。尽管这样做的结果导致数学非常抽象,但却捕获了我们熟悉的欧几里得空间的根本本质,即平面性。还另存在其他种类的空间,例如球面则非欧几里得空间,相对论所描述的四维时空在重力出现的时候也不是欧几里得空间。
1. 希尔伯特空间
在数学中,希尔伯特空间是欧几里德空间的一个推广,其不再局限于有限维的情形。与欧几里德空间相仿,希尔伯特空间也是一个内积空间,其上有距离和角的概念(及由此引申而来的正交性与垂直性的概念)。
此外,希尔伯特空间还是一个完备的空间,其上所有的柯西序列等价于收敛序列,从而微积分中的大部分概念都可以无障碍地推广到希尔伯特空间中。希尔伯特空间为基于任意正交系上的多项式表示的傅立叶级数和傅立叶变换提供了一种有效的表述方式,而这也是泛函分析的核心概念之一。希尔伯特空间是公式化数学和量子力学的关键性概念之一。