人物简介
大卫·希尔伯特(David Hilbert,1862~1943)德国数学家,生于东普鲁士哥尼斯堡(前苏联加里宁格勒)附近的韦劳。中学时代,希尔伯特就是一名勤奋好学的学生,对于科学特别是数学表现出浓厚的兴趣,善于灵活和深刻地掌握以至应用老师讲课的内容。1880年,他不顾父亲让他学法律的意愿,进入哥尼斯堡大学攻读数学。1884年获得博士学位,后来又在这所大学里取得讲师资格和升任副教授。1893年被任命为正教授,1895年,转入哥廷根大学任教授,此后一直在哥廷根生活和工作,于1930年退休。在此期间,他成为柏林科学院通讯院士,并曾获得施泰讷奖、罗巴切夫斯基奖和波约伊奖。1930年获得瑞典科学院的米塔格-莱福勒奖,1942年成为柏林科学院荣誉院士。希尔伯特是一位正直的科学家,第一次世界大战前夕,他拒绝在德国政府为进行欺骗宣传而发表的《告文明世界书》上签字。战争期间,他敢于公开发表文章悼念"敌人的数学家"达布。希特勒上台后,他抵制并上书反对纳粹政府排斥和迫害犹太科学家的政策。由于纳粹政府的反动政策日益加剧,许多科学家被迫移居外国,曾经盛极一时的哥廷根学派衰落了,希尔伯特也于1943年在孤独中逝世。
希尔伯特空间以大卫·希尔伯特的名字命名,他在对积分方程的研究中研究了希尔伯特空间。冯·诺伊曼在其1929年出版的关于无界厄米算子的著作中,最早使用了“希尔伯特空间”这个名词。冯·诺伊曼可能是最早清楚地认识到希尔伯特空间的重要性的数学家之一,他在进行对量子力学的基础性和创造性地研究的时候认识到了这一点。此项研究由冯·诺伊曼与希尔伯特和朗道展开,随后由尤金·维格纳(Template:Lang)继续深入。“希尔伯特空间”这个名字迅速被其他科学家所接受,例如在外尔1931年出版的著作《群与量子力学的理论》(Template:Lang)中就使用这一名词。
定义希尔伯特空间是欧几里德空间的直接推广。对希尔伯特空间及作用在希尔伯特空间上的算子的研究是泛函分析的重要组成部分。
设H是一个实的线性空间,如果对H中的任何两个向量x和y,都对应着一个实数,记为(x,y)、满足下列条件:
①对H中的任何两个向量x,y,有(x,y)=(y,x);
②对H中的任何三个向量x、y、z及实数α、β,有(αx+βy,z)=α(x,z)+β(y,z);
③对H中的一切向量x,均有(x,x)≥0,且(x,x)=0的充分必要条件是x=0。则(x,y)称为是H上的一个内积,而H称为内积空间。
如果定义,则在‖0‖下,H构成一个线性赋范空间。
完备的内积空间称为希尔伯特空间,希尔伯特空间的概念还可以推广到复线性空间上。
欧几里德空间是希尔伯特空间的一个重要特例,希尔伯特空间的另一个最重要的特例是L(G),设G是n维欧几里德空间中的一个有界闭域, 定义在G上的满足⨜G|f(x)|dx 可以按照如下的方式导出一个范数(norm):
。
如果其对于这个范数来说是完备的,此空间称为是一个希尔伯特空间。这里的完备性是指,任何一个柯西序列都收敛到此空间中的某个元素,即它们与某个元素的范数差的极限为0。任何一个希尔伯特空间都是巴拿赫空间,但是反之未必。
任何有限维内积空间(如欧几里德空间及其上的点积)都是希尔伯特空间。但从实际应用角度来看,无穷维的希尔伯特空间更有价值。
内积可以帮助人们从“几何的”观点来研究希尔伯特空间,并使用有限维空间中的几何语言来描述希尔伯特空间。在所有的无穷维拓扑向量空间中,希尔伯特空间性质最好,也最接近有限维空间的情形。
傅立叶分析的一个重要目的是将一个给定的函数表示成一族给定的基函数的和(可能是无穷和)。这个问题可以在希尔伯特空间中更抽象地描述为:任何一个希尔伯特空间都有一族标准正交基,而且每个希尔伯特空间中的元素都可以唯一地表示为这族基中的元素或其倍数的和。4
相关换算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的“长度”),这时,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)|