标题：希尔伯特空间
简介
个人介绍希尔伯特，D.(Hilbert,David，1862～1943）德国数学家,生于东普鲁士哥尼斯堡(前苏联加里宁格勒）附近的韦劳。中学时代，希尔伯特就是一名勤奋好学的学生，对于科学特别是数学表现出浓厚的兴趣，善于灵活和深刻地掌握以至应用老师讲课的内容。1880年，他不顾父亲让他学法律的意愿，进入哥尼斯堡大学攻读数学。1884年获得博士学位，后来又在这所大学里取得讲师资格和升任副教授。1893年被任命为正教授，1895年，转入格廷根大学任教授，此后一直在格廷根生活和工作，于1930年退休。在此期间，他成为柏林科学院通讯院士，并曾获得施泰讷奖、罗巴切夫斯基奖和波约伊奖。1930年获得瑞典科学院的米塔格-莱福勒奖，1942年成为柏林科学院荣誉院士。希尔伯特是一位正直的科学家，第一次世界大战前夕，他拒绝在德国政府为进行欺骗宣传而发表的《告文明世界书》上签字。战争期间，他敢干公开发表文章悼念"敌人的数学家"达布。希特勒上台后，他抵制并上书反对纳粹政府排斥和迫害犹太科学家的政策。由于纳粹政府的反动政策日益加剧，许多科学家被迫移居外国，曾经盛极一时的格廷根学派衰落了，希尔伯特也于1943年在孤独中逝世。
概念最早产生希尔伯特空间以大卫·希尔伯特的名字命名，他在对积分方程的研究中研究了希尔伯特空间。冯·诺伊曼在其1929年出版的关于无界厄米算子的著作中，最早使用了“希尔伯特空间”这个名词。冯·诺伊曼可能是最早清楚地认识到希尔伯特空间的重要性的数学家之一，他在进行对量子力学的基础性和创造性地研究的时候认识到了这一点。此项研究由冯·诺伊曼与希尔伯特和朗道展开，随后由尤金·维格纳（Template:Lang）继续深入。“希尔伯特空间”这个名字迅速被其他科学家所接受，例如在外尔1931年出版的著作《群与量子力学的理论》（Template:Lang）中就使用这一名词。
应用一个抽象的希尔伯特空间中的元素往往被称为向量。在实际应用中，它可能代表了一列复数或是一个函数。例如在量子力学中，一个物理系统可以被一个复希尔伯特空间所表示，其中的向量是描述系统可能状态的波函数。详细的资料可以参考量子力学的数学描述相关的内容。量子力学中由平面波和束缚态所构成的希尔伯特空间，一般被称为装备希尔伯特空间（rigged Hilbert space）。
定义
在一个实向量空间或复向量空间H上的给定的内积 < x,y > 可以按照如下的方式导出一个范数（norm）：
||x|| = <x,x>开方。
此空间称为是一个希尔伯特空间，如果其对于这个范数来说是完备的。这里的完备性是指，任何一个柯西序列都收敛到此空间中的某个元素，即它们与某个元素的范数差的极限为0。任何一个希尔伯特空间都是巴拿赫空间，但是反之未必。
任何有限维内积空间（如欧几里德空间及其上的点积）都是希尔伯特空间。但从实际应用角度来看，无穷维的希尔伯特空间更有价值。
内积可以帮助人们从“几何的”观点来研究希尔伯特空间，并使用有限维空间中的几何语言来描述希尔伯特空间。在所有的无穷维拓扑向量空间中，希尔伯特空间性质最好，也最接近有限维空间的情形。
傅立叶分析的一个重要目的是将一个给定的函数表示成一族给定的基函数的和（可能是无穷和）。这个问题可以在希尔伯特空间中更抽象地描述为：任何一个希尔伯特空间都有一族标准正交基，而且每个希尔伯特空间中的元素都可以唯一地表示为这族基中的元素或其倍数的和。
希尔伯特空间详述
n维欧几里得空间的推广，可视为“无限维的欧几里得空间”，是泛函分析的重要研究对象之一。在三维欧几里得空间中，任何两个向量之间规定了一个内积，它是建立三维欧几里得几何学的基础。有了内积，就有向量的长度、两个向量的交角和向量到直线或平面上的投影等等。这些普通而重要的几何概念及相应的研究方法，不仅被推广到n维空间，而且在许多不同的领域，例如积分方程、数学物理、三角级数或更一般的正交级数等理论中，被推广到由函数构成的无限维空间上去，成为研究有关问题的有力工具。第一个具体的希尔伯特空间最早是由D.希尔伯特在研究积分方程时首先提出的。他在平方可和的无穷实数列{xn}全体所组成的空间l中规定了内积，把空间l看作欧几里得空间向无限维的推广，从而有效地解决了一类积分方程求解及其本征展开的问题。不久，人们就建立了一般的希尔伯特空间理论，到20世纪30年代已取得了丰富的成果。希尔伯特空间在分析数学的各个领域中有着深厚的根基，也是描述量子物理的基本工具之一，它已经被广泛地应用于数学和物理的各个分支，如积分方程、微分方程、
过程、函数论、调和分析、数学物理及量子物理学等等。关于希尔伯特空间及其上的算子理论仍然是泛函分析的重要课题之一。　
内积空间和希尔伯特空间设H是实数域或复数域C上的线性空间，如果对于H中任何两个向量x和y都对应着一个数（x,y）∈C，并且满足下列条件：①正定性，对一切x∈H，（x,x）≥0，而且（x,x)=0当且仅当x=0；②线性，对x，y，z∈H和α，β∈C，成立（αx+βy，z)=α（x,z)+β(y,z）；③（共轭）对称性，对x，y∈H成立（x,y）=(y,x)（实数域）或(x,y)=(y,x)的共轭（复数域）；则称（x,y）为H中x,y的一个内积。定义了  公式内积的空间H称为内积空间。在内积空间H中定义函数||x||=<x,x>的开方为x的范数（‖x‖即x的“长度”），这时，H成为一个赋范空间。如果作为赋范空间，H是完备的（见巴拿赫空间），就称H为希尔伯特空间。作为希尔伯特空间的例子，除了欧几里得空间和l空间以外，还有勒贝格平方可积函数空间 L^2[α,b]（其中内积规定为（f,g）=f(t)g(t)(实数域)或f(t)乘以g(t)的共轭（复数域）在(α，b）区间的积分，而α，b也可为无限大）。在数学物理中越来越多地使用各种类型的希尔伯特空间。
平行四边形公式和柯西-施瓦茨不等式在内积空间中，由内积导出的范数必满足类似于平面几何学中的平行四边形公式，即对H中任何x、y， 
||x+y||^2+||x-y||^2=2(||x||^2+||y||^2)；
反之，一个赋范线性空间H，若它的范数满足上述平行四边形公式，则这个范数必是由定义在H上的某个内积导出的范数。
内积还有重要的柯西-施瓦茨不等式：|(x,y)|<=||x||*||y||[1]。
正交与勾股定理在希尔伯特空间H中，如果x，y满足（x,y)=0，就称x和y正交（或直交），记为x⊥y。当x⊥y时，成立勾股定理：||x+y||^2=||x||^2+||y||^2。如果x和H的子集M中任何元都正交，就称x和M正交，记为x⊥M。与M正交的所有元素的集合记为M寑。
投影定理希尔伯特空间理论中的一个基本定理。设M是希尔伯特空间H的凸闭子集，则对H中每个向量x，必存在M中惟一的y，使得||x-y||取到y在M中变化时的最小值。这个性质称为变分定理。特别，当M是H的闭线性子空间时，z=x-y必与M正交，即对于闭线性子空间M，分解x=y+z不仅惟一，而且z⊥y。这就是投影定理。其中，y称为x在M中的投影（分量）。因为x在M上的投影y是达到极小值的惟一解，所以这个结果不仅在理论研究中，而且在很多应用性科学，如近似理论（包括有限元方法）、预测理论、最优化等多方面均有着广泛的应用。
正交系设{ek}是内积空间H中一族彼此不同的向量，如果其中任何两个向量都正交，即当k≠j时，（ek，ej)=0，则称{ek}是一正交系；如果其中每个向量的范数又都是1，即对一切k，（ek,ek)=1，则称{ek}是就范正交系。对于希尔伯特空间H的就范正交系{ek},如果包含{ek}的最小闭子空间就是H，就称{ek}为H的完备就范正交系。设{ek}是就范正交系，则H中任一向量 x在ek方向的投影，即x在{ek}生成的一维子空间上的投影，就是Σ（x,ek)ek；而x在{ek}生成的闭子空间M上的投影就是。显然有||x||^2<=Σ|(x,ek)|^2，即向量 x在某个子空间M上的分量“长度”永不超过x的长度，它称为贝塞尔不等式。如果{ek}是完备就范正交系，那么成立着 
x=Σ(x,ek)ek（傅里叶展式）， 
||x||^2=Σ|(x,ek)|^2（帕舍伐尔等式）。
傅里叶展开是古典分析中傅里叶级数或一般正交级数展开的推广。
里斯表示定理希尔伯特空间H上每个连续线性泛函F，对应于惟一的y∈H，使F(x)=(x,y），并且||F||=||y||，这就是里斯的连续线性泛函表示定理。因此，希尔伯特空间的共轭空间与自身（保持范数不变地）同构（实际上是一种共轭线性同构），即H=H*。这个结果在希尔伯特空间算子理论中具有很重要的作用。