量子力学の数学的基礎（りょうしりきがくのすうがくてききそ、）は、ジョン・フォン・ノイマン(ら)によってなされた、量子力学で扱う物理量や状態といった概念の基礎付け（形式化）の仕事、およびそれについて1932年に刊行した論文および書籍のタイトルである。これにより、ハイゼンベルク-ボルン-ジョルダンによる行列力学とシュレディンガーによる波動力学を抽象ヒルベルト空間のクラスに帰属する理論として統一が行なわれた。20世紀に発展した物理学の分野である量子力学は、数学的にはヒルベルト空間とその上の線型有界作用素や非有界な自己共役作用素などを用いて基礎づけた。この定式化は 1930 年代の初めにポール・ディラックやジョン・フォン・ノイマンらが達成し「量子力学の数学絵的基礎」として出版した。抽象ヒルベルト空間の一般論、量子力学の統計、理論の演繹的構成、熱力学的考察、測定の過程からなる。ヒルベルト空間のベクトルやそれらの内積を表すのに簡便な記法としてブラ-ケット記法がしばしば用いられる。量子力学系の状態は、（可分な）複素ヒルベルト空間の単位ベクトル（状態ベクトル）または、有界線形作用素のなす環 "B"("H") 上の単位的正値線型形式によって表される。観測可能な物理量（オブザーバブル）はそのヒルベルト空間の線形エルミート演算子によって表される。離散的な測定値を与える物理量 "a" は、"a" = "a" となっている状態が単位ベクトル "e" で表される ("k" ∈ N) として、自己共役作用素によって表すことができる。したがって、観測される物理量はエルミート作用素の固有値として表されることになる。連続的な値をとる物理量に対しては上の分解の拡張であるスペクトル分解が対応する。系が状態 |ψ〉であるとき、上の記号の下で、オブザーバブル "A" を測定すると測定値 "a" が観測される確率は |〈"e" | ψ〉| となる。これをボルンの規則という。"e" たちがヒルベルト空間の正規直交基底であることから、各々の場合の確率の和はとなることが保証される。測定によって実際に観測値 "a" が測定されたとすると、系の状態は |"e"〉に変化する。これを射影仮説、波束の収縮などという。この定式化の下では、ハイゼンベルクの不確定性原理は位置を表す作用素 "q" と運動量を表す作用素 "p" という 2 つの非可換な演算子の交換子の非自明性についての物理的な解釈となる。この関係式を正準交換関係という。物理的に特に重要なオブザーバブルとして、ハミルトニアンとよばれる系の全力学的エネルギーに対応する演算子 "H" がある。状態ベクトルの時間発展は次のシュレーディンガー方程式によって与えられる。第二量子化と呼ばれる一粒子系から多粒子系への移行はより関手的に定式化される。ヒルベルト空間 "H" に対し、その自由フォック空間 formula_7 や対称フォック空間 formula_8 を考えることができるが、このとき "H" 上の作用素 "X" に対してフォック空間上の作用素 "F"("X"), "F"("X")が対応する。さらに "H" の各ベクトル "a" は、テンソルに "a" をかける作用素 "a"（生成作用素）と、"a" との内積をとることによってテンソルを縮約する作用素 "a"（消滅作用素）という 2 つのフォック空間上の作用素を定める。

出典:wikipedia