本页使用了标题或全文手工转换

希尔伯特空间

维基百科,自由的百科全书
跳转至: 导航搜索
希爾伯特空間可以用來研究振動的弦的諧波。

数学领域,希尔伯特空间又叫完备的内积空间,是有限维欧几里得空间的一个推广,使之不局限于实的情形和有限的维数,但又不失完备性(而不像一般的非欧几里得空间那样破坏了完备性)。与欧几里得空间相仿,希尔伯特空间也是一个内积空间,其上有距离的概念(及由此引伸而来的正交性垂直性的概念)。此外,希尔伯特空间还是一个完备的空间,其上所有的柯西列等价于收敛列,从而微积分中的大部分概念都可以无障碍地推广到希尔伯特空间中。希尔伯特空间为基于任意正交系上的多项式表示的傅立叶级数傅立叶变换提供了一种有效的表述方式,而这也是泛函分析的核心概念之一。希尔伯特空间是公設化数学和量子力学的关键性概念之一。

简单介绍[编辑]

希尔伯特空间以大卫·希尔伯特的名字命名,他在对积分方程的研究中研究了希尔伯特空间。冯·诺伊曼在其1929年出版的关于无界自伴算子的著作中[1],最早使用了“希尔伯特空间”这个名词。冯·诺伊曼可能是最早清楚地认识到希尔伯特空间的重要性的数学家之一,他在进行对量子力学的基础性和创造性地研究的时候认识到了这一点。此项研究由冯·诺伊曼与希尔伯特[2]朗道展开,随后由尤金·维格纳Eugene Wigner)继续深入。“希尔伯特空间”这个名字迅速被其他科学家所接受,例如在外尔1931年出版的著作《群与量子力学的理论》[3]The Theory of Groups and Quantum Mechanics)中就使用了这一名词。

一个抽象的希尔伯特空间中的元素往往被称为向量。在实际应用中,它可能代表了一列复数或是一个函数。例如在量子力学中,一个物理系统可以表示为一个希尔伯特空间,其中的向量是描述系统可能状态的波函数。详细的资料可以参考量子力学的数学表述相关的内容。量子力学中由平面波和束缚态所构成的希尔伯特空间,一般被称为装备希尔伯特空间(rigged Hilbert space)。

定义[编辑]

在一个複數向量空间H上的给定的内积<.,.>可以按照如下的方式导出一个范数(norm)\Vert . \Vert

\Vert x \Vert = \sqrt{\langle x, x \rangle}

此空间称为是一个希尔伯特空间,如果其对于这个范数来说是完备的。这里的完备性是指,任何一个柯西列都收敛到此空间中的某个元素,即它们与某个元素的范数差的极限0。任何一个希尔伯特空间都是巴拿赫空间,但是反之未必。

任何有限维内积空间(如欧几里得空间及其上的点积)都是希尔伯特空间。但从实际应用角度来看,无穷维的希尔伯特空间更有价值,例如

  • 酉群(unitary group)的表示论。

内积可以帮助人们从“几何的”观点来研究希尔伯特空间,并使用有限维空间中的几何语言来描述希尔伯特空间。在所有的无穷维拓扑向量空间中,希尔伯特空间性质最好,也最接近有限维空间的情形。

傅立叶分析的一个重要目的是将一个给定的函数表示成一族给定的基底函数的和(可能是无穷和)。这个问题可以在希尔伯特空间中更抽象地描述为:任何一个希尔伯特空间都有一族标准正交基,而且每个希尔伯特空间中的元素都可以唯一地表示为这族基底中的元素或其倍数的和。

常见的例子[编辑]

在以下例子中,假设所有的希尔伯特空间都是複數,尽管实际应用中大多是實數

欧几里得空间[编辑]

\mathbb{C}^n及其上的内积

\langle x, y \rangle = \sum_{k=1}^n \overline{x_k} y_k

构成了一个希尔伯特空间,其中短横线表示一个复数的复共轭

序列空间[编辑]

更一般的希尔伯特空间都是无穷维的,假设B是一个任意集合,可以定义其上的\ell^2序列空间,记为

\ell^2(B) =\left\{ x:B \rightarrow \mathbb{C}\,\bigg|\,\sum_{b \in B} \left|x \left(b\right)\right|^2 < \infty \right\}

此空间在定义如下内积后,成为一个希尔伯特空间:

\langle x, y \rangle = \sum_{b \in B} \overline{x(b)} y(b)

其中xy\ell^2(B)中的任意元素。在这个定义中,B并非一定要是可数的,在B可数之情形下,\ell^2(B)不是可分(separable)的。在下面更具体的例子中,所有的希尔伯特空间在选定适当的B的情况下,都可以表示成为\ell^2(B)的一个同构空间。特别地,当B = \mathbb(N)的时候,可以将其简单记为\ell^2

勒贝格空间[编辑]

勒贝格空间是指与一个测度空间(X, m, \mu)相关的函数空间,其中M是一个Xσ代数的一个子集,而\muM上一个具有可数可加性测度

L^2(\mu(X))表示X上所有在几乎处处(almost everywhere)意义下平方可积(square-integrable)的复值可测函数的集合。平方可积表示该函数的绝对值的平方的积分有限的。几乎处处意义下指的是两个函数如果只在一个测度为0的集合上不相等,那么就认为其是该空间中相同的元素。

此时两个函数fg内积表示为

\langle f,g\rangle=\int_X \overline{f(t)} g(t) \ d \mu(t)

但需要证明的是:

这个证明可以在相关的书籍中找到,与此例相关的内容可以参看关于L^p空间的著作。

索伯列夫空间[编辑]

索伯列夫空间一般表示为H^s或者W^{s, 2}是希尔伯特空间的另一个重要实例,它多被应用于偏微分方程的研究。

希尔伯特空间的相互作用[编辑]

给定任意两个(或更多)希尔伯特空间,利用直和张量积的方式,可以给出一个更大的希尔伯特空间。

希尔伯特空间的基[编辑]

希尔伯特空间的一个中间概念是标准正交基,即其上的一族函数\{e_k\}_{k \in B}满足:

  • 所有元素都是单位化的:即对于任意x\Vert e_k \Vert = 1\forall k \in B
  • 所有元素彼此正交:若xy是这族基中的不同元素,那么<x, y> = 0
  • 其线性扩张稠密:即其中的所有元素的有限的线性组合H的一个稠密子集

有时也使用标准正交列标准正交集指代。

标准正交基的一些实例:

请参见[编辑]

注解和引用[编辑]

  1. ^ Von Neumann, John. Allgemeine Eigenwerttheorie Hermitescher Funktionaloperatoren. Mathematische Annalen. 1929, 102: 49–131. 
  2. ^ Hilbert, David; Lothar Nordheim and John von Neumann. Über die Grundlagen der Quantenmechanik. Mathematische Annalen. 1927, 98: 1–30. 
  3. ^ Weyl, Hermann. The Theory of Groups and Quantum Mechanics English edition (1950). Dover Press. 1931. ISBN 0-486-60269-9.