希尔伯特空间

数学裡,希尔伯特空间英語:)即完备的内积空间,也就是一個帶有內積完備向量空間。內積的構造推廣了欧几里得空间距离的概念;完備則確保了其上所有的柯西序列會收敛到此空間裡的一點,从而微积分中的許多概念都可以推广到希尔伯特空间中。

希爾伯特空間可以用來研究振動的弦的諧波。

希尔伯特空间为基于任意正交系上的多项式表示的傅立叶级数傅立叶变换提供了一种有效的表述方式,而这也是泛函分析的核心概念之一。另外希尔伯特空间也是量子力学的重要數學基礎之一。

简介

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

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

在所有的无穷维拓扑向量空间中,希尔伯特空间性质最好,也最接近有限维空间的情形。例如

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

定义

若在複(或實)内积空间 取值的柯西序列,都收斂於 內的某個向量,那 就被稱為是希尔伯特空间,也就是說

希爾伯特空間的定義   是個複(或實)內積空間,若其上的向量序列 滿足 (注意 ,詳請參見 内积空间#范数

「對所有的正實數 ,存在正整數 使所有的正整數 ,只要有 就有

時,就存在向量 ,使得

「對所有的正實數 ,存在正整數 使所有的正整數 ,只要有 就有

這時稱 就被稱為複(或實)希尔伯特空间(Hilbert space)。

例子

欧几里得空间

及其上的内积

构成了一个複希尔伯特空间(其中短横线表示一个複數的复共轭。)

序列空间

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

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

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

勒贝格空间

勒贝格空间( 這裡指 空間 )是指定義在测度空间 上的函数空间,其中 代表函數的定義域, 的元素是 上的子集族,為 一個 代数,一般把 稱作可測空間(measurable space),而 上的测度

更仔細的說,( 簡寫做 ) 表示 上所有平方可积(square-integrable)的複數值的可测函数的集合。平方可积表示该函数的绝对值的平方的积分有限的。要注意的是在 空間裡,對於几乎处处( almost everywhere )相同的函数,也就是說如果兩函數只在一个测度为0的集合上不相等,我們把這兩函數當做在 中相同的元素。

此时两个函数内积定義为

  • 因為 ,所以這內積的定義沒有問題。

但需要证明的是:

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

索伯列夫空间

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

基本性質

有限維必完備

定理  有限维内积空间都是希尔伯特空间

證明

若複內積空間 維,那根據格拉姆-施密特正交化,存在一個有限集合

滿足

「對所有正整數 ,只要 就有

的正交基底,現在假設其上的序列 滿足

「對所有的正實數 ,存在正整數 使所有的正整數 ,只要有 就有

這樣,對每個正整數 存在唯一的一組複數 使得

這樣根據内积空间的勾股定理

,則有

所以

這樣的話,對每個正整數 实数数列 是柯西數列,這樣根據实数完备性,存在唯一的 使得

那這樣根據數列極限的定義,對每個正整數 ,和所有的正實數 ,存在正整數 使所有的正整數 ,只要有 就有

這樣的話,取 會有

這樣就證明了 裡的柯西序列必然收斂於 裡的向量,故 為希爾伯特空間。

內積為連續函數

在希爾伯特空間 H 中,若序列 {xn} 滿足對任意的 vH, 都有

則稱該序列弱收斂到向量 xH.

例如,任何正交序列 {fn} 都弱收斂到  0. 此為贝塞尔不等式的結果。根據一致有界原理,每個弱收斂序列 {xn} 都有界。

反之,希爾伯特空間中的每個有界序列,都有一個弱收斂子序列,此謂巴拿赫-阿拉奧盧定理[4] 這可用作證明某些連續凸泛函的最小值的存在性,正如波爾查諾-魏爾斯特拉斯定理適用於 d 上的連續函數。一個較簡單的結果是:[5]

f : H 為凸的連續函數,使得當 x 趨向於 時,就有 f(x) 趨向於 +∞,則 f 在某點 x0H 取得最小值。

此個結論(並其若干推廣)是变分法直接法的基礎。更抽象地說,凸泛函的最小值存在,也是因為希爾伯特空間 H 上的閉有界凸集均為弱緊集(因為 H 是自反空間)。弱收斂子序列的存在性是 Eberlein–Šmulian theorem 的特殊情況。

帕塞瓦尔恒等式(勾股定理)

在希爾伯特空間 H 中,若兩支向量 uv 滿足 u,v = 0,則稱它們正交,記為 uv. 更一般地,若 SH 的子集,則 uS 表示 uS 的每個元素都正交。

uv 正交時,就有

n 使用數學歸納法,上式可以推廣到對任意 n 支正交向量 u1, ..., un 成立,即

畢達哥拉斯恆等式對每個內積空間都成立,但希爾伯特空間具有完備性,故此恆等式可推廣到對級數成立。一列 正交 向量組成的級數 ukH 中收斂當且僅當各項範數平方組成的級數收斂,且此時

此外,正交向量的級數和與求和順序無關。

平行四邊形恆等式和極化恆等式

幾何上,平行四邊形恆等式給出 AC2 + BD2 = 2(AB2 + AD2). 換言之,兩對角線的平方和等於兩鄰邊平方和的兩倍。

由定義,每個希爾伯特空間都是巴拿赫空間。 而在每個希爾伯特空間中,以下平行四邊形恆等式成立:

反之,若一個巴拿赫空間滿足平行四邊形恆等式,則其亦為希爾伯特空間,因為它的內積可由極化恆等式唯一確定。[6] 對實希爾伯特空間,極化恆等式是

而對複希爾伯特空間,其為

由平行四邊形恆等式,可以推出任何希爾伯特空間都是一致凸巴拿赫空間[7]

投影定理

最佳逼近

根據希爾伯特射影定理,若 C 是希爾伯特空間 H 的非空閉凸子集,xH 的任一點,則存在唯一的 yC 使其到 x 的距離是各個 C 中的點到 x 的距離中最小的,即[8]

此等價於經平移的凸集 D = Cx 中有範數最小的元素。欲證之,可先證明對每個序列 (dn) ⊂ D,若各項範數趨向於D中範數的下確界,則其為柯西序列(利用平行四邊形恆等式),故由完備性知其收斂到D 的某點。此結論對任意一致凸巴拿赫空間均適用。[9]

當對 H 的閉子空間 F 應用此結論時,可以證明最靠近 x 的點 yF 滿足[10]

該點 y 稱為 xF 上的 正交射影 ,而這給出的映射 PF : xy 是線性的。此結論於應用數學有用,而數值分析尤甚,因這結論是最小二乘法的基礎。 [11]

特別到,當 F 不等於 H 時,可找到一支非零向量 vF 正交(選 xF 並考慮 v = xy)。由此得到一個有用的判定條件:

H 的子集 S 線性生成一個稠密的子空間當且僅當向量 0H 中與 S 正交的唯一向量。

對偶性

对偶空间 H* 是所有由H 到其系數域的連續線性函數組成的空間。 其具有一個自然的範數,由下式給出:

這滿足平行四邊形恆等式,故對偶空間亦為一個內積空間。同時它也是完備的,所以希爾伯特空間的對偶空間也是希爾伯特空間。

里斯表示定理 描述了這個對偶空間。 對每個 H 的元素 uH* 中有唯一的 φu 滿足

uφu 是從 HH*反线性映射。里斯表示定理說此映射是個反線性同構。 [12] 所以對每個 H* 的元素 φ,都存在唯一的 uφ ∈ H 使得

對任意 xH 都成立。 對偶空間 H* 上的內積滿足

注意右邊的次序反轉了,才使 uφ 的反線性變回上述內積對 φ 的線性。當 H 是實希爾伯特空間時,從 H 到其對偶的反線性同構實際上是一般的同構,所以實希爾伯特空間自然地與其對偶同構。

表示 φ 的向量 uφ 可藉下列方法找到。 當 φ ≠ 0 時, F = Ker(φ)H 的閉子空間,且不等於 H ,故存在非零向量 vF 正交。 取向量 uv 的純量倍 λv,於是條件 φ(v) = ⟨v,u 給出

物理學上廣泛應用的狄拉克符号正利用了φu 的對應關係。 物理學家通常約定,內積 x|y 對右邊的運算元線性,即

於是 x|y 可以視為線性泛函 x| (稱為 左矢 )作用在向量 |y (稱為 右矢 )的結果。

里斯表示定理要求空間的完備性。事實上,從定理可知任意內積空間的拓撲對偶都與其完備化空間同構。作為里斯表示定理的直接推論, 希爾伯特空間 H自反空间, 即由 H 到其對偶之對偶的自然映射是同構。

希尔伯特空间的基

希尔伯特空间的一个中间概念是标准正交基,即其上的一族函数满足:

  • 所有元素都是单位化的:即对于任意
  • 所有元素彼此正交:若是这族基中的不同元素,那么
  • 其线性扩张稠密:即其中的所有元素的有限的线性组合的一个稠密子集

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

标准正交基的一些实例:

  • 集合

希尔伯特空间的相互作用

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

请参见

参考文献

引用

  1. Von Neumann, John. . Mathematische Annalen. 1929, 102: 49–131.
  2. Hilbert, David; Lothar Nordheim and John von Neumann. . Mathematische Annalen. 1927, 98: 1–30.
  3. Weyl, Hermann. English edition (1950). Dover Press. 1931. ISBN 978-0-486-60269-1.
  4. Weidmann 1980,§4.5
  5. Buttazzo, Giaquinta & Hildebrandt 1998,Theorem 5.17
  6. Young 1988,第23頁.
  7. Clarkson 1936.
  8. Rudin 1987,Theorem 4.10
  9. Dunford & Schwartz 1958,II.4.29
  10. Rudin 1987,Theorem 4.11
  11. Blanchet, Gérard; Charbit, Maurice. . Digital Signal and Image Processing 1 Second. New Jersey: Wiley. 2014: 349–360. ISBN 978-1848216402.
  12. Weidmann 1980,Theorem 4.8

书目

  • Bachman, George; Narici, Lawrence; Beckenstein, Edward, , Universitext, Berlin, New York: Springer-Verlag, 2000, ISBN 978-0-387-98899-3, MR 1729490.
  • Bers, Lipman; John, Fritz; Schechter, Martin, , American Mathematical Society, 1981, ISBN 978-0-8218-0049-2.
  • Bourbaki, Nicolas, , Elements of mathematics, Berlin: Springer-Verlag, 1986, ISBN 978-0-201-00767-1.
  • Bourbaki, Nicolas, , Elements of mathematics, Berlin: Springer-Verlag, 1987, ISBN 978-3-540-13627-9.
  • Boyer, Carl Benjamin; Merzbach, Uta C, 2nd, John Wiley & Sons, Inc., 1991, ISBN 978-0-471-54397-8.
  • Brenner, S.; Scott, R. L., 2nd, Springer, 2005, ISBN 978-0-387-95451-6.
  • Buttazzo, Giuseppe; Giaquinta, Mariano; Hildebrandt, Stefan, , Oxford Lecture Series in Mathematics and its Applications 15, The Clarendon Press Oxford University Press, 1998, ISBN 978-0-19-850465-8, MR 1694383.
  • Clarkson, J. A., , Trans. Amer. Math. Soc., 1936, 40 (3): 396–414, JSTOR 1989630, doi:10.2307/1989630可免费查阅.
  • Courant, Richard; Hilbert, David, , Interscience, 1953.
  • Dieudonné, Jean, , Academic Press, 1960.
  • Dirac, P.A.M., , Oxford: Clarendon Press, 1930.
  • Dunford, N.; Schwartz, J.T., , Wiley-Interscience, 1958.
  • Duren, P., , New York: Academic Press, 1970.
  • Folland, Gerald B., Reprint of Wadsworth and Brooks/Cole 1992, American Mathematical Society Bookstore, 2009, ISBN 978-0-8218-4790-9.
  • Folland, Gerald B., , Annals of Mathematics Studies 122, Princeton University Press, 1989, ISBN 978-0-691-08527-2.
  • Fréchet, Maurice, , C. R. Acad. Sci. Paris, 1907, 144: 1414–1416.
  • Fréchet, Maurice, , Transactions of the American Mathematical Society, 1904, 5 (4): 493–499, JSTOR 1986278, doi:10.2307/1986278.
  • Giusti, Enrico, , World Scientific, 2003, ISBN 978-981-238-043-2.
  • Grattan-Guinness, Ivor, , Princeton Paperbacks, Princeton University Press, 2000, ISBN 978-0-691-05858-0, MR 1807717.
  • Halmos, Paul, , Chelsea Pub. Co, 1957
  • Halmos, Paul, , Springer-Verlag, 1982, ISBN 978-0-387-90685-0.
  • Hewitt, Edwin; Stromberg, Karl, , New York: Springer-Verlag, 1965.
  • Hilbert, David; Nordheim, Lothar Wolfgang; von Neumann, John, , Mathematische Annalen, 1927, 98: 1–30, S2CID 120986758, doi:10.1007/BF01451579可免费查阅.
  • Holevo, Alexander S., , Lecture Notes in Physics, Springer, 2001, ISBN 3-540-42082-7, OCLC 318268606.
  • Kac, Mark, , American Mathematical Monthly, 1966, 73 (4, part 2): 1–23, JSTOR 2313748, doi:10.2307/2313748.
  • Kadison, Richard V.; Ringrose, John R., , Graduate Studies in Mathematics 15, Providence, R.I.: American Mathematical Society, 1997, ISBN 978-0-8218-0819-1, MR 1468229.
  • Kadison, Richard V.; Ringrose, John R., , New York: Academic Press, Inc., 1983
  • Kakutani, Shizuo, , Japanese Journal of Mathematics, 1939, 16: 93–97, MR 0000895, doi:10.4099/jjm1924.16.0_93可免费查阅.
  • Kline, Morris, 3rd, Oxford University Press, 19721990, ISBN 978-0-19-506137-6.
  • Kolmogorov, Andrey; Fomin, Sergei V., Revised English edition, trans. by Richard A. Silverman (1975), Dover Press, 1970, ISBN 978-0-486-61226-3.
  • Krantz, Steven G., , Providence, R.I.: American Mathematical Society, 2002, ISBN 978-0-8218-2724-6.
  • Lanczos, Cornelius, Reprint of 1956 Prentice-Hall, Dover Publications, 1988, ISBN 978-0-486-65656-4.
  • Lebesgue, Henri, , Gauthier-Villars, 1904.
  • Levitan, B.M., , Hazewinkel, Michiel (编), , Springer, 2001, ISBN 978-1-55608-010-4.
  • Lindenstrauss, J.; Tzafriri, L., , Israel Journal of Mathematics, 1971, 9 (2): 263–269, ISSN 0021-2172, MR 0276734, S2CID 119575718, doi:10.1007/BF02771592可免费查阅.
  • Marsden, Jerrold E., , W. H. Freeman and Co., 1974, MR 0357693.
  • Murphy, Gerald J., , Academic Press, 1990, ISBN 0-12-511360-9.
  • von Neumann, John, , Mathematische Annalen, 1929, 102: 49–131, S2CID 121249803, doi:10.1007/BF01782338.
  • Template:Narici Beckenstein Topological Vector Spaces
  • von Neumann, John, , Proc Natl Acad Sci USA, 1932, 18 (3): 263–266, Bibcode:1932PNAS...18..263N, JSTOR 86260, PMC 1076204可免费查阅, PMID 16587674, doi:10.1073/pnas.18.3.263可免费查阅.
  • von Neumann, John, , Princeton Landmarks in Mathematics, 由Beyer, Robert T.翻译, Princeton University Press, 19551996, ISBN 978-0-691-02893-4, MR 1435976.
  • Nielsen, Michael A.; Chuang, Isaac L., 1st, Cambridge: Cambridge University Press, 2000, ISBN 978-0-521-63503-5, OCLC 634735192.
  • 約翰·J·奧康納; 埃德蒙·F·羅伯遜, , , 1996 (英语)
  • Peres, Asher, , Kluwer, 1993, ISBN 0-7923-2549-4, OCLC 28854083
  • Prugovečki, Eduard, 2nd, Dover, 19812006, ISBN 978-0-486-45327-9.
  • Reed, Michael; Simon, Barry, , Methods of Modern Mathematical Physics, Academic Press, 1980, ISBN 978-0-12-585050-6.
  • Reed, Michael; Simon, Barry, , Methods of Modern Mathematical Physics, Academic Press, 1975, ISBN 9780125850025.
  • Rieffel, Eleanor G.; Polak, Wolfgang H., , MIT Press, 2011-03-04, ISBN 978-0-262-01506-6 (英语).
  • Riesz, Frigyes, , C. R. Acad. Sci. Paris, 1907, 144: 1409–1411.
  • Riesz, Frigyes, , Acta Sci. Math. Szeged, 1934, 7: 34–38.
  • Riesz, Frigyes; Sz.-Nagy, Béla, , Dover, 1990, ISBN 978-0-486-66289-3.
  • Template:Rudin Walter Functional Analysis
  • Rudin, Walter, , McGraw-Hill, 1987, ISBN 978-0-07-100276-9.
  • Saks, Stanisław, 2nd Dover, Dover, 2005, ISBN 978-0-486-44648-6; originally published Monografje Matematyczne, vol. 7, Warszawa, 1937.
  • Template:Schaefer Wolff Topological Vector Spaces
  • Schmidt, Erhard, , Rend. Circ. Mat. Palermo, 1908, 25: 63–77, S2CID 120666844, doi:10.1007/BF03029116.
  • Shubin, M. A., , Springer Series in Soviet Mathematics, Berlin, New York: Springer-Verlag, 1987, ISBN 978-3-540-13621-7, MR 0883081.
  • Sobrino, Luis, , River Edge, New Jersey: World Scientific Publishing Co. Inc., 1996, Bibcode:1996lnrq.book.....S, ISBN 978-981-02-2386-1, MR 1626401, doi:10.1142/2865可免费查阅.
  • Stewart, James, 3rd, Thomson/Brooks/Cole, 2006.
  • Stein, E, 需要免费注册, Princeton Univ. Press, 1970, ISBN 978-0-691-08079-6.
  • Stein, Elias; Weiss, Guido, 需要免费注册, Princeton, N.J.: Princeton University Press, 1971, ISBN 978-0-691-08078-9.
  • Streater, Ray; Wightman, Arthur, , W. A. Benjamin, Inc, 1964.
  • Teschl, Gerald. . Providence: American Mathematical Society. 2009 [2022-09-19]. ISBN 978-0-8218-4660-5. (原始内容存档于2022-08-12)..
  • Titchmarsh, Edward Charles, , Oxford University: Clarendon Press, 1946.
  • Trèves, François, , Academic Press, 1967.
  • Warner, Frank, , Berlin, New York: Springer-Verlag, 1983, ISBN 978-0-387-90894-6.
  • Weidmann, Joachim, , Graduate Texts in Mathematics 68, Berlin, New York: Springer-Verlag, 1980, ISBN 978-0-387-90427-6, MR 0566954.
  • Weyl, Hermann, English 1950, Dover Press, 1931, ISBN 978-0-486-60269-1.
  • Young, Nicholas, , Cambridge University Press, 1988, ISBN 978-0-521-33071-8, Zbl 0645.46024.
  • Jean Dieudonné, Foundations of Modern Analysis, Academic Press, 1960.
  • B.M. Levitan, , Hazewinkel, Michiel (编), , Springer, 2001, ISBN 978-1-55608-010-4
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.