欧氏空间距离和内积_内积空间与Hilbert空间

内积空间是一种特殊的赋范空间，从泛函分析发展的历史上看，人们首先注意到的是内积空间而不是赋范空间。

内积空间特别是

空间(完备的内积空间)是对维欧氏空间最自然的“推广”，推广到无穷维空间(存在收敛性问题)。他们具有与欧氏空间十分相近的性质。

空间迄今为止仍然是应用最广泛的一类空间。

在内积空间和

空间中使用的“几何”概念和术语，与欧几里得几何中的语言相似，它是由E.Schimidt在1908年引入的。

内积空间的基本性质

内积空间的定义

在

中可以定义距离、范数、内积这些概念，设

，其内积定义为：

于是我们有：

定义1：

是数域

上的线性空间，如果对于任意

，有

中的一个数

与它们对应，使得对任意的

，满足：

当且仅当

(正定性)；

(共轭对称性)；

；

。

则称

是

上的一个内积，定义了内积的线性空间

称为内积空间。

注1：

是一个二元函数，对于每一个固定的

是

上的一个线性函数(线性泛函)。(因为满足3. 4. 两条)

由内积生成的范数

在内积空间中，希望定义元素的范数

，且

定理4：(Schwarz不等式)

设

是内积空间，对于

有

定理6：每个内积空间

按范数

成为一个赋范空间。

注：内积空间中定义了范数，由范数又可以定义距离，这样就有了收敛性等距离空间中所具有的性质。

不等式可以写成：

由

不等式我们还可以得到：

定理7：设

是内积空间，则内积

是关于

的连续函数，即当

时(

是点列)

内积和由其生成范数之间的关系

平行四边形法则：平行四边形对角线平方和等于其四条边平方和

特别地，在有了正交性的概念以后，平行四边形法则也成为了勾股定理。

注：由内积可定义一个范数

内积空间必定是一个