希尔伯特空间

完备的内积空间，n维欧几里得空间的推广。又称无穷维欧化空间。欧几里得空间Rⁿ最突出的特点是向量的内积，两个向量x＝（x₁，x₂…，x_n）∈Rⁿ，y＝（y₁，y₂，…，y_n）∈Rⁿ的内积是 ，由内积可导出两个向量的互相垂直成正交：x与y互相垂直（x，y）＝0，记作x⊥y，这与三维欧几里得空间中向量相互垂直的几何概念一致，有了正交概念就可进而引入正交投影、正交基等一系列概念，希尔伯特空间就是有限维内积空间向无限维线性空间的推广。R³中基本概念和研究方法也被相应地拓广到希尔伯特空间中，希尔伯特空间是泛涵分析研究的基本对象之一，并且成为量子力学、积分方程、正交级数理论等方面研究问题的重要工具 ，设 l²＝(x₁，x₂…x_n，…) ：每一x_n为实数 ( 或复数），对于x＝(x₁，x₂…，x_n，…)、y＝(y₁，y₂，…，y_n，…)∈l²， "a∈K，规定x＋y＝（x₁＋y₁，x₂＋y₂，…，x_n＋y_n ，…），ax＝（ax₁，ax₂，…，ax_n，…），则l²为一线性空间，规定内积，则l²成为一个希尔伯特空间。

    内积结构一旦建立，会直接诱导出一种性质良好的度量，就是范数(norm)，并且进而诱导出拓扑结构。一般来说，内积需要建立在线性空间的基础上，否则连一个二元运算是否是内积都无法验证。不过，kernel理论指出，对于一个空间，只要定义一个正定核(positive kernel)——一个符合正定条件的二元运算，就必然存在一个希尔伯特空间，其内积运算等效于核运算。这个结论的重要意义在于，我们可以绕开线性空间，通过首先定义kernel的方式，诱导出一个线性空间(叫做再生核希尔伯特空间 Reproducing Kernel Hilbert Space)，从而我们就自然获得我们所需要的度量结构和线性运算结构。这是kernel theory的基础。