希尔伯特空间

title: 简单介绍.
content: 希尔伯特空间以大卫·希尔伯特的名字命名,他在对积分方程的研究中研究了希尔伯特空间。冯·诺伊曼在其1929年出版的关于无界自伴算子的著作中,最早使用了“希尔伯特空间”这个名词。冯·诺伊曼可能是最早清楚地认识到希尔伯特空间的重要性的数学家之一,他在进行对量子力学的基础性和创造性地研究的时候认识到了这一点。此项研究由冯·诺伊曼与希尔伯特和朗道展开,随后由尤金·维格纳(英语:Eugene Wigner)继续深入。“希尔伯特空间”这个名字迅速被其他科学家所接受,例如在外尔1931年出版的著作《群与量子力学的理论》(英语:The Theory of Groups and Quantum Mechanics)中就使用了这一名词。  一个抽象的希尔伯特空间中的元素往往被称为向量。在实际应用中,它可能代表了一列复数或是一个函数。例如在量子力学中,一个物理系统可以表示为一个复希尔伯特空间,其中的向量是描述系统可能状态的波函数。详细的资料可以参考量子力学的数学表述相关的内容。量子力学中由平面波和束缚态所构成的希尔伯特空间,一般被称为装备希尔伯特空间(rigged Hilbert space)。
title: 定义.
content: 完备的内积空间称为希尔伯特空间(Hilbert space)。  这里的完备指:内积空间称为完备的(complete),若其中任意一个柯西序列都收敛。  任何。但从实际应用角度来看,无穷维的希尔伯特空间更有价值,例如  内积可以帮助人们从“几何的”观点来研究希尔伯特空间,并使用有限维空间中的几何语言来描述希尔伯特空间。在所有的无穷维拓扑向量空间中,希尔伯特空间性质最好,也最接近有限维空间的情形。  傅立叶分析的一个重要目的是将一个给定的函数表示成一族给定的基底函数的和(可能是无穷和)。这个问题可以在希尔伯特空间中更抽象地描述为:任何一个希尔伯特空间都有一族标准正交基,而且每个希尔伯特空间中的元素都可以唯一地表示为这族基底中的元素或其倍数的和。
title: 常见的例子.
content: 在以下例子中,假设所有的希尔伯特空间都是复数,尽管实际应用中大多是实数。
title: 欧几里得空间.
content: formula_1及其上的内积 构成了一个希尔伯特空间,其中短横线表示一个复数的复共轭。
title: 序列空间.
content: 更一般的希尔伯特空间都是无穷维的,假设formula_3是一个任意集合,可以定义其上的formula_4序列空间,记为  此空间在定义如下内积后,成为一个希尔伯特空间: 其中formula_7和formula_8是formula_9中的任意元素。在这个定义中,formula_3并非一定要是可数的,在formula_3不可数之情形下,formula_9不是可分(separable)的。在下面更具体的例子中,所有的希尔伯特空间在选定适当的formula_3的情况下,都可以表示成为formula_9的一个同构空间。特别地,当formula_15的时候,可以将其简单记为formula_4。
title: 勒贝格空间.
content: 勒贝格空间( 这里指 formula_17 空间 )是指定义在测度空间formula_18 上的函数空间,其中formula_19 代表函数的定义域,formula_20 的元素是 formula_19上的子集族,为 一个 formula_22 代数,一般把 formula_20 称作可测空间(measurable space),而 formula_24 是 formula_20 上的测度。  更仔细的说,formula_26( 简写做 formula_17 ) 表示 formula_19 上所有平方可积(square-integrable)的复数值的可测函数的集合。平方可积表示该函数的绝对值的平方的积分是有限的。要注意的是在 formula_17 空间里,对于几乎处处( almost everywhere )相同的函数,也就是说如果两函数只在一个测度为0的集合上不相等,我们把这两函数当做在 formula_17 中相同的元素。  此时两个函数formula_31和formula_32的内积定义为  但需要证明的是:  这个证明可以在相关的书籍中找到,与此例相关的内容可以参看关于formula_35空间的著作。
title: 索伯列夫空间.
content: 索伯列夫空间一般表示为formula_36或者formula_37是希尔伯特空间的另一个重要实例,它多被应用于偏微分方程的研究。
title: 希尔伯特空间的相互作用.
content: 给定任意两个(或更多)希尔伯特空间,利用直和或张量积的方式,可以给出一个更大的希尔伯特空间。
title: 性质.
title: 毕达哥拉斯恒等式.
content: 在希尔伯特空间 中,若两支向量 和 满足,则称它们正交,记为. 更一般地,若 是 的子集,则 表示 与 的每个元素都正交。  当 和 正交时,就有  对 使用数学归纳法,上式可以推广到对任意 支正交向量 成立,即  毕达哥拉斯恒等式对每个内积空间都成立,但希尔伯特空间具有完备性,故此恒等式可推广到对级数成立。一列 "正交" 向量组成的级数 在 中收敛当且仅当各项范数平方组成的级数收敛,且此时 此外,正交向量的级数和与求和顺序无关。
title: 平行四边形恒等式和极化恒等式.
content: 由定义,每个希尔伯特空间都是巴拿赫空间。 而在每个希尔伯特空间中,以下平行四边形恒等式成立: 反之,若一个巴拿赫空间满足平行四边形恒等式,则其亦为希尔伯特空间,因为它的内积可由极化恒等式唯一确定。 对实希尔伯特空间,极化恒等式是 而对复希尔伯特空间,其为 由平行四边形恒等式,可以推出任何希尔伯特空间都是一致凸巴拿赫空间。
title: 最佳逼近.
content: 根据希尔伯特射影定理,若 是希尔伯特空间 的非空闭凸子集,为 的任一点,则存在唯一的 使其到 的距离是各个 中的点到 的距离中最小的,即  此等价于经平移的凸集 中有范数最小的元素。欲证之,可先证明对每个序列,若各项范数趋向于中范数的下确界,则其为柯西序列(利用平行四边形恒等式),故由完备性知其收敛到 的某点。此结论对任意一致凸巴拿赫空间均适用。  当对 的闭子空间 应用此结论时,可以证明最靠近 的点 满足  该点 称为 到 上的 "正交射影",而这给出的映射 是线性的。此结论于应用数学有用,而数值分析尤甚,因这结论是最小二乘法的基础。  特别到,当 不等于 时,可找到一支非零向量 与 正交(选 并考虑 )。由此得到一个有用的判定条件:
title: 对偶性.
content: 对偶空间 是所有由 到其系数域的连续线性函数组成的空间。 其具有一个自然的范数,由下式给出:  这满足平行四边形恒等式,故对偶空间亦为一个内积空间。同时它也是完备的,所以希尔伯特空间的对偶空间也是希尔伯特空间。  里斯表示定理 描述了这个对偶空间。 对每个 的元素, 中有唯一的 满足  则 是从 到 的反线性映射。里斯表示定理说此映射是个反线性同构。 所以对每个 的元素,都存在唯一的 使得  对任意 都成立。 对偶空间 上的内积满足  注意右边的次序反转了,才使 的反线性变回上述内积对 的线性。当 是实希尔伯特空间时,从 到其对偶的反线性同构实际上是一般的同构,所以实希尔伯特空间自然地与其对偶同构。  表示 的向量 可藉下列方法找到。 当 时, 核 是 的闭子空间,且不等于,故存在非零向量 与 正交。 取向量 为 的纯量倍,于是条件 给出  物理学上广泛应用的狄拉克符号正利用了 的对应关系。 物理学家通常约定,内积 对右边的算子线性,即  于是 可以视为线性泛函 (称为 "左矢" )作用在向量 (称为 "右矢" )的结果。  里斯表示定理要求空间的完备性。事实上,从定理可知任意内积空间的拓扑对偶都与其完备化空间同构。作为里斯表示定理的直接推论, 希尔伯特空间 是 自反空间, 即由 到其对偶之对偶的自然映射是同构。
title: 弱收敛序列.
content: 在希尔伯特空间 中,若序列 满足对任意的, 都有  则称该序列到向量  例如,任何正交序列 都弱收敛到 0. 此为贝塞尔不等式的结果。根据一致有界原理,每个弱收敛序列 都有界。  反之,希尔伯特空间中的每个有界序列,都有一个弱收敛子序列,此谓巴拿赫-阿拉奥卢定理。 这可用作证明某些连续凸泛函的最小值的存在性,正如波尔查诺-魏尔斯特拉斯定理适用于 上的连续函数。一个较简单的结果是:  此个结论(并其若干推广)是变分法中直接法的基础。更抽象地说,凸泛函的最小值存在,也是因为希尔伯特空间 上的闭有界凸集均为弱紧集(因为 是自反空间)。弱收敛子序列的存在性是 Eberlein–Šmulian theorem 的特殊情况。
title: 希尔伯特空间的基.
content: 希尔伯特空间的一个中间概念是标准正交基,即其上的一族函数formula_53满足:  有时也使用"标准正交列"或"标准正交集"指代。  标准正交基的一些实例:

Summary: 在数学里,希尔伯特空间(英语:Hilbert space)即完备的内积空间,也就是说一个带有内积的完备向量空间。希尔伯特空间是有限维欧几里得空间的一个推广,使之不局限于实数的情形和有限的维数,但又不失完备性(而不像一般的非欧几里得空间那样破坏了完备性)。与欧几里得空间相仿,希尔伯特空间也是一个内积空间,其上有距离和角的概念(及由此引申而来的正交性与垂直性的概念)。此外,希尔伯特空间还是一个完备的空间,其上所有的柯西序列会收敛到此空间里的一点,从而微积分中的大部分概念都可以无障碍地推广到希尔伯特空间中。