量子力学の数学的定式化

本項では相対論的効果を考えない量子力学の数学的定式化（りょうしりきがくのすうがくてきていしきか）を厳密に述べる。本項では量子力学に対する最低限の知識を仮定する。
状態空間のヒルベルト空間による定式化.
量子力学において系 の（純粋）量子状態は、状態ベクトルと呼ばれる単位ベクトルによって表現され、状態ベクトルとその定数倍のなすベクトル空間を状態空間という。状態空間はヒルベルト空間という数学的概念によって定式化される。そこで本節ではヒルベルト空間の定義を述べる。
ヒルベルト空間.
定義.
ヒルベルト空間の概念を定義するため、まずは複素計量ベクトル空間を定義する：
複素計量ベクトルの元formula_1に対し、内積formula_2に対応するformula_3のノルムformula_4を
により定義し、formula_6の間の距離を
により定義するとformula_8はこの距離に関して距離空間の公理を満たす。
紛れがなければ以下内積formula_2を省略し、記号formula_8だけでヒルベルト空間を表すものとする。特に断りがない限り、本項ではヒルベルト空間として可分なもののみを考える。
上述の定義より、内積formula_11は、第二成分に関しては線形であるが、第一成分に対しては反線形性
が成立する。なお、ここで提示した内積の定義は量子力学では一般的なものだが、数学の文献では、ここに載せたのとは逆に、第一成分に対して線形、第二成分に対して反線形であるものを用いる事が多い。
ヒルベルト空間の一意性.
ヒルベルト空間formula_14、formula_15に対し、全単射線形写像formula_16で
が全てのformula_18に対して成立するものが存在するとき、formula_14とformula_15は同型であるという。
可分な無限次元ヒルベルト空間は同型を除いて１つしか存在しない。すなわち以下が成立する：
前述のように本項ではヒルベルト空間として可分なもののみを取り扱う。よって本項で登場するヒルベルト空間で次元が無限のものは全て同型である。
状態空間.
量子力学では以下の仮定を課す：
本節では以降、こうした量子力学の仮定を幾つか述べるが、新井の本やHallの本など多くの本ではこうした仮定の事を公理(axiom)と呼んでいる。しかしこうした仮定は数学的な意味での公理ではないH13ので、本項ではその事を明確化するため、F15に従い、「公理」と呼ばず「仮定 (postulate)」と呼ぶものとする。
"L2"空間.
すでに述べたように(可分な)無限次元ヒルベルト空間は全て同型なので、任意に一つ無限次元ヒルベルト空間を持って来れば、原理的にはそのヒルベルト空間を状態空間とみなした量子力学を定式化できる。しかし通常の量子力学では、物理的な解釈をわかりやすくするため、'空間というヒルベルト空間を用いて量子力学を展開する事が多い。そこで本節では空間の定義を述べる。
準備.
空間を定義するには、測度論の概念を必要とする。そこでまず測度論を直観的説明する。厳密な説明は当該項目を参照されたい。
測度空間とは、の部分集合の「大きさ」の概念が定義された空間で、「大きさ」の具体例としては元の個数、面積、体積などがある。測度空間上定義された「大きさ」のことを測度という。の全ての部分集合に測度が定義されている必要はなく、測度が定義可能な部分集合を可測な部分集合という。
測度空間上では積分を定義可能な事が知られている。ただし測度の場合と同様、全ての関数に対してその積分が定義できるわけではない。積分概念を定義可能な関数の事を可測関数という。
測度空間上の２つの可測関数、が
を満たすとき、とはほとんど至るところ等しいといい、
と表記する（「a.e.」は「almost everywhere」の略）。
定義.
を測度空間とする。量子力学の文脈でははformula_23の可測部分集合である事が多い。上の可測関数で
となるものを考え、こうした関数全体の集合に
という同値類を定義する。
粒子が個からなる系の場合、各粒子が3次元分の自由度を持つので、空間を利用すれば量子力学を自然に展開できる。また例えば（ポテンシャルの壁に遮られるなどして）粒子が有限の区間の内部しか動けないようなケースに対しても、の場合の"L2"空間を利用できる。
注意.
以上で述べたように、量子力学の数学的定式化にはヒルベルト空間、特に"L2"空間の概念が有効である。ただし、物理学者が量子力学で用いている議論の全てをヒルベルト空間上で数学的に正当化できる事を意味しているわけではない。
例えば物理学者が量子力学の記述に通常用いるデルタ関数は、そもそも通常の意味での関数ではないので、"L2"空間には属さない。後の章で"L2"空間にさらに元を添加する事でデルタ関数をも取り扱う数学的手法についても述べるが、この手法は万能ではなく、例えばデルタ関数同士の積が定義できないという欠点を抱える。よって特にデルタ関数同士の内積を定義できず、デルタ関数を添加した空間はヒルベルト空間にはならない。
こうした数学的な困難を避けるため、以降の議論は、基本的にデルタ関数のような「関数もどき」は慎重に排除した上で展開するものとする。
有界作用素.
ヒルベルト空間上で定義可能な関数のクラスとして最も自然なものの一つに有界作用素があり、量子力学における主要概念の一つであるユニタリ作用素は有界作用素の一つである。そこで本節では有界作用素の概念とユニタリ作用素の概念を定式化する。
次の事実が知られている：
したがって有界線形作用素とは、連続線形作用素と言い換えても良い。
有界線形作用素の例としてユニタリ作用素がある。後述するように量子力学ではユニタリ作用素は時間発展を記述するのに用いられる。
上記の条件をみたすときは、明らかには単射なので、は全単射である事になる。したがってユニタリ作用素とはformula_8から自分自身への同型写像（自己同型写像）である。
なお、formula_8が有限次元の場合には、単射性から全射性が従うため、ユニタリ作用素の定義において全射という条件は必要ない。しかしformula_8が無限次元の場合には、全射ではない単射線形作用素も存在するため、全射の条件は必須となる。
定義から明らかに次が成立する：
ブラベクトルとケットベクトル.
本節では共役ベクトル空間の概念を定義することでディラックのブラベクトル、ケットベクトルの概念を数学的に定式化し、さらにリースの表現定理を導入することで、ブラベクトルの概念を別の角度から再定式化する。
共役ベクトル空間.
ヒルベルト空間formula_8で使われている足し算「」、（スカラーとの）掛け算「」、および内積formula_11を明示して、formula_8をformula_32と書くことにする。
定義より、共役ベクトル空間は掛け算以外は元の空間と同一である。以下、掛け算を明示しなくても共役ベクトル空間を区別できるようにするため、formula_8の共役ベクトル空間をformula_34と表記する。またformula_35がformula_34の元である事が文脈から明らかな場合は、formula_37を略記して単にformula_38と表記する。
ブラベクトルとケットベクトル.
ヒルベルト空間formula_8上の内積formula_11は、第一成分に対して反線形、第二成分に対して線形であった。しかし内積の第一成分を共役ベクトル空間をformula_34とみなして
だとすれば、内積formula_11は、第一成分、第二成分双方に関して線形である事になるので便利である。そこで量子力学ではformula_8の元とformula_34の元とを区別して考え、以下のように呼ぶ：
リースの表現定理.
ブラベクトルformula_46に対し、線形作用素
を考えると、コーシー＝シュワルツの不等式
より、この作用素は有界作用素である。実は複素数値の有界線形作用素はこの形のものに限られる事が知られている：
なおformula_8が有限次元であれば上に述べた事実は自明であるが、無限次元であってもこの事実が成り立つ所にこの定理の主眼がある。以上の事実から、ブラベクトルを以下のように特徴づけられる事がわかる：
オブザーバブル.
既に述べたように作用素が有界である事はその作用素が連続である事を意味している為、有界性はヒルベルト空間上の作用素の最も自然な概念の一つである。しかし量子力学で用いられる作用素の多くは有界ではないし、しかもformula_8の部分領域でしか定義できない。この原因は、量子力学で用いられる作用素の多くが微分を用いて定義されており、微分作用素が有界でもなければformula_8全域で定義できるわけでもない事にある。
幸運な事に、これら量子力学で用いる作用素は「稠密に定義された可閉作用素」という、比較的扱いやすいクラスに属している事が知られている。そこで本節では、まず「稠密に定義された」という概念と「可閉」という概念を定式化する。
次に本節では、この「稠密に定義された可閉作用素」の概念をベースとして、量子力学におけるオブザーバブルの概念を定式化する。すなわち、稠密に定義された可閉作用素の共役作用素の概念を定式化し、共役作用素の概念を用いて自己共役作用素の概念を定式化し、最後に量子力学におけるオブザーバブルの概念を自己共役作用素により定式化する。
稠密に定義された作用素.
オブザーバブルは状態空間の全域で定義されているとは限らないが、状態空間の稠密部分集合上では定義が可能である。そこでまず、稠密に定義された作用素の概念を導入する。
紛れがなければformula_14上稠密に定義された作用素を単に
と書く
特にformula_54が成立しているとき、はformula_14の全域で定義されているという。
稠密に定義された作用素に対し以下の拡大の概念を定義できる：
有界作用素に関しては、次の重用な性質が知られている：
したがって有界作用素に限定すれば、稠密に定義されている事は全域で定義されている事と実質的な差がない。しかし量子力学で用いる作用その多くは有界ではないので、この定理を用いる事ができない。
可閉作用素.
が可閉作用素である必要十分条件は、任意の点列に対し、のときかつであればが成立する事である新井。
共役作用素.
formula_53を稠密に定義された線形作用素とする。ベクトルformula_57に対し、以下の性質を満たすformula_58を考える：
このようなformula_61は常に存在するとは限らないが、存在すれば一意である事を示せる新井。そこで共役作用素を以下のように定義する：
定義より明らかに
であるが、が有界とは限らない時、が稠密に定義されていたとしてもが稠密に定義されることもとの定義域が一致する事も無条件には保証されない新井が、が可閉であればこれらは保証される：
)=\mathrm{Dom}(\bar{T})</math>
自己共役作用素とオブザーバブル.
量子力学では以下の仮定を課す：
自己共役作用素とその関連概念の性質.
明らかに次が成立する：
しかし逆向きは一般には成り立たない。与えられた作用素が自己共役かどうかを決定する問題を自己共役性の問題といい、それだけで一冊の本が書けるほど難しい問題である新井。
自己共役作用素とその関連概念に対し以下が知られている：
上記定理の性質3はが可閉作用素である必要十分条件はが稠密に定義されることと性質2から従う新井。
性質1より、以下本項ではが本質的に自己共役な場合には、紛れがなければとformula_64を混用する。
自己共役作用素は必ず掛け算作用素として表現できる事が知られている：
オブザーバブルの具体例.
本節では
の場合に対して、オブザーバブルの具体例を述べる。
微分作用素.
量子力学で登場する代表的なオブザーバブルは、いずれも偏微分を用いて表現できるので、まず本節では微分作用素の定義と性質を述べる。
とする（この記法を多重指数表記という）。
の形で書ける作用素を次の微分作用素という。ここで添え字は非負整数の組で、和は有限和であり、は上の複素数値の局所自乗可積分な関数である。なおの定義において、の項formula_67は倍する演算子とみなす。
本節の目標は、微分作用素のうち性質の良いものをformula_65上定義されたオブザーバブルとみなす事である。しかしそもそも偏微分formula_69はformula_70が可微分でなければそもそも定義できないので、単純にをformula_65の元に作用させることはできない。そこで以下の事実を用いる：
微分作用素は上で明らかに定義可能であり、しかもの元をに写すので、以下の系が従う：
位置作用素.
上記の定理は以下のように証明できる。可測性から
なのでは稠密に定義された作用素であり、しかも明らかには対称作用素である。さらにformula_73とすれば、任意のformula_74に対し、formula_75をみたすので、
である。formula_74の任意性より、これはformula_79 a.eを意味する。の自乗可積分性との定義より、formula_80である。よってであり、掛け算作用素は自己共役作用素である。
運動量作用素、軌道角運動量作用素.
という形で書ける微分作用素は本質的に自己共役である新井。特に
の閉包として書ける軌道角運動量作用素も自己共役である。
()の形の微分作用素が自己共役である事の証明は本項の範囲を超えるため省略するが、が対称作用素である事は以下のように示すことができる。に対し、部分積分の公式から
である。()の形の微分作用素はformula_86の実数係数多項式であるので、
が成立する。の定義域はformula_65で稠密だったので、これはが対称作用素である事を意味する。
シュレディンガー作用素.
量子力学では時刻に依存するかもしれないポテンシャルと呼ばれる実数値局所可積分関数を固定し、シュレディンガー作用素と呼ばれる作用素
を考える。ここでは何らかの定数で、物理的には番目の粒子の質量を表す。または次元であり、物理学的なセッティングではである。各時刻に対しシュレディンガー作用素は常に対称作用素であるが新井、本質的に自己共役であるか否かはポテンシャルによる。
=\infty</math>となるものが存在する。　
また時間非依存かつ一粒子のハミルトニアンが以下の条件を場合もハミルトニアンは本質的に自己共役であるP01H13：
ここでformula_92はformula_93の元とformula_94の元の和で書ける関数の集合である。
超関数によるデルタ関数の定式化.
量子力学を定式化するため、ディラックはデルタ関数
を導入した。数学的に見た場合、このような「関数」は存在しないものの関数概念を一般化した「超関数」の概念を使う事でデルタ関数を数学的に定式化でき、これによりディラックの議論をある程度の部分まで数学的に正当化ができる（全ての議論を正当化できるわけではない。詳細後述）。そこで本稿では超関数の概念を導入し、デルタ関数を超関数の概念を使って定式化し、超関数の性質を調べる。
準備.
本節では超関数の概念を定式化するのに必要な概念を導入する。
性質.
明らかに
である。また前述したようにはの稠密部分空間なので、次の事実が成り立つ：
定義から明らかなようにformula_96は次を満たす
よって特に、位置作用素や運動量作用素はformula_96の元をformula_96の元に写す。
収束.
の元の列およびformula_96の元の列の収束性を定義する。
超関数の定義.
シュワルツ超関数の定義.
をの領域とし、を局所可積分関数とするとき、上の線形汎関数を
により定義することで、局所可積分関数に上の線形汎関数を対応させる事ができる。この対応関係が単射な事は容易に確かめられるので、とを自然に同一視することにすると、上の線形汎関数の集合は局所可積分関数の集合を部分集合として含むことになるので、上の線形汎関数を局所可積分関数よりも広いクラスの「関数」であるとみなせる。そこで上の線形汎関数で「連続」なものの事を「シュワルツ超関数」、あるいは単に「超関数」と呼ぶことにする。
</math>がの元formula_107に収束するときは常に
が成立する事を言うF15。
超関数全体の集合をformula_109と表記する。
２つの超関数に対してその線形和を自然に定義できるため、超関数全体の集合はベクトル空間をなす。同様に緩増加超関数を以下のように定義する：
以下、超関数と局所可積分関数に対し、
と表記する。緩増加超関数に対しても同様の表記を用いる。なお上述の表記は内積に似ているが、内積の定義では複素共役を取っている事が原因で、
となることに注意されたい。
超関数と緩増加超関数の関係.
を緩増加超関数とするとき、の定義域をformula_96の部分集合に制限した
は超関数になる。よって制限写像により緩増加超関数全体の集合formula_114から超関数全体の集合formula_115への写像
を考える事ができる。この写像は単射である事が知られているので、この写像により自然にformula_114をformula_115の部分集合とみなすことができる。
デルタ超関数.
ディラックのデルタ関数の概念は、緩増加超関数の概念を用いて定式化する事ができる。
内積の定義より、これは
を意味する。上式を空間における内積の定義と照らし合わせると、上式はディラックの議論における
を数学的に正当化したものとみなせる。
超関数の偏微分.
超関数に対する偏微分の概念を定義する為、まずはの元の偏微分に関して簡単な考察をする。、をの２つの元とするとき、の定義より、が0でないの集合は有界閉集合であるのに対し、をの開集合であるので、の境界上では、は0になる。よって微分積分学の基本定理から、
が成立する。よってライプニッツルールにより
が成立する。そこで上式を参考にして、超関数の偏微分を以下のように定義する：
の元は無限回微分可能なので、上記の定義は常に意味を持つ。より一般に微分作用素を
も定義可能である。
ここで注意すべきことは、局所可積分関数それ自身が偏微分不能な関数であっても、formula_126は定義可能な事である。これはの偏微分は通常の関数としては存在しなくとも、超関数の中には（と同一視される）の偏微分が存在する事が原因である。紛れがなければ以下formula_126の事を単にformula_128と書き、formula_128をの超関数としての偏微分と呼ぶ。
また通常の関数の場合、仮に二階偏微分可能であってもformula_130とformula_131が異なる関数になる場合があるが、超関数としての微分を考えた場合、formula_132とformula_133は必ず同一の超関数になる事を簡単に確認できる。
限界.
以上で示したように、超関数の概念を用いる事でディラックによるデルタ関数の議論の一部を数学的に正当化できるが、超関数を用いても全ての議論を正当化できるわけではない。例えば以下の議論は超関数では正当化されない：
弱微分.
関数の超関数としての微分が関数で書けるとき、その関数をの弱微分という：
フーリエ変換.
本節では、関数 のフーリエ変換
とその逆変換に当たるフーリエ逆変換
の厳密な定義を述べ、その性質を調べ、そして最後に位置作用素と運動量作用素が（換算プランク定数を除いて）フーリエ変換で移り合う関係にある事を見る。
フーリエ変換とその逆変換を定義する上で問題になるのは、やがどのようなクラスに属すればこれらの変換が定義でき、変換によってできあがる関数formula_137、formula_138がどのようなクラスに属するか、という事である。本節ではまずシュワルツ空間という関数空間のクラスを定義し、フーリエ変換がシュワルツ空間上の全単射になっている事を示す。次に本節では、シュワルツ空間上の線型汎函数である「緩増加超関数」に対してもフーリエ変換が定義可能なことを見る。そして最後にフーリエ変換が空間上の全単射になっている事を見る。
formula_96とformula_114の上のフーリエ変換.
formula_96上のフーリエ変換.
次が成立する事を簡単な計算で確かめることができる：
またこれらの変換は連続である：
シュワルツ関数の埋め込み.
formula_142に対し、超関数の時と同様
と定義する事で、シュワルツ関数formula_144に緩増加超関数を対応させることができる。
formula_114上のフーリエ変換.
formula_96の元、に対し、プランシュレルの定理
が成り立つので、formula_149とする事で、
となる事が分かる。これを参考にして緩増加超関数のフーリエ変換を以下のように定義する：
これらの変換は緩増加超関数全体の集合formula_114で逆写像の関係にある事を以下のように簡単に示すことができる：
formula_96上のフーリエ変換が連続であることから、上に定義したformula_114上のフーリエ変換も連続である事が従う。
空間上のフーリエ変換.
定義.
L2関数に緩増加超関数
を自然に対応させることで、L2空間をformula_114の部分集合とみなせる。よってformula_114上でフーリエ変換の定義域をL2空間に制限する事でL2空間にもフーリエ変換が定義できる。次の事実が成り立つことが知られている：
実はこのような性質を満たすフーリエ変換の拡張は一意である：
性質.
L2関数のフーリエ変換は
という形式で書くことがでるとは限らない。なぜならがL2関数の場合は上述の積分は一般には定義できるとは限らないからである。しかし
(の閉包作用素)を考え、多項式を
と定義すると、以下が成立することが知られている新井：
ここではを乗じる掛け算作用素である。よって特に運動量作用素
（の閉包作用素）は以下を満たす：
倍する掛け算作用素は位置作用素であったことから、上式は換算プランク定数を除いて位置作用素と運動量作用素が移り合うことを意味する。
スペクトル.
スペクトルとは、有限次元における固有値・固有ベクトルの理論の「無限次元版」であり、量子力学では物理量を観測する時に得られる値の集合となる。本節の目標は、ヒルベルト空間上定義された自己共役作用素のスペクトルの概略を述べる。
有限次元における固有値.
無限次元におけるスペクトル理論について述べる前に、まず有限次元の固有値の性質を調べる。がformula_165の固有値である事は明らかに
を意味し、これはは単射ではない事を意味する。formula_8が有限次元であれば線形写像が単射である事は全射である事と同値なので、がの固有値である事はが全単射でない事と同値である。したがってがの固有値ではない場合、は全単射である為、
が存在し、逆にが存在すればはの固有値ではない。
しかし無限次元の場合には
が存在するため、このような単純な関係は存在しない。スペクトル理論は、上述のような作用素の存在を考慮した上で、固有値・固有ベクトルの理論を適切に「無限次元化」したものである。
スペクトルの定義.
これまで同様formula_8をヒルベルト空間とし、formula_165を稠密に定義された（有界とは限らない）閉作用素とし、を複素数とする。恒等写像は全域で定義されているので、もと同一の定義域を持つ作用素として定義できる。
なお、本稿で述べているレゾルベント集合を狭義のレゾルベント集合と呼び、「レゾルベント集合」という語には別の意味を与えているテキストも存在するので注意されたい。
レゾルベント.
次の事実が知られている：
なお本稿ではが閉作用素の場合に限定してレゾルベント集合を定義したが、が閉作用素でない場合にレゾルベント集合の定義を拡張する際は、が全単射になり、しかもが有界になるの全体をレゾルベント集合と定義する新井。
点スペクトル.
スペクトルの定義より、がに属する場合、は全単射でない。すなわちは「全射でない」かもしくは「単射でない」事を意味する。
がの元であれば明らかに
であるので、
となるでないformula_173が存在する。すなわち点スペクトルの元はの固有値であるK12。の元に対し、formula_174のでない元をのに対応する固有ベクトルといい、formula_175をの多重度というK12。
有限次元の場合と違い、が単射であるにも関わらず、全射ではない事が起こりうる。よってformula_176は一般には空集合ではない。formula_176の詳細については後述する。
剰余スペクトル、連続スペクトル.
スペクトルに属するのうち、が単射でないもの全体が点スペクトルであった。それ以外のの元、すなわちが単射ではあるが全射でないものは２つのタイプに分類できる。
がの剰余スペクトルもしくは連続スペクトルに属していれば、は単射であるので、の像formula_178の上定義された逆写像formula_179を定義できる。この意味において、レゾルベント集合においてもの逆写像が定義できるので、この意味で剰余スペクトルや連続スペクトルはレゾルベント集合に類似しているが、違いは逆写像の定義域にある。レゾルベント集合においてはformula_179はformula_8の全域で定義され、しかも（が閉作用素であれば）formula_179は必ず有界である。それに対し連続スペクトルの場合はformula_179のformula_8の稠密部分空間で定義されているに過ぎず、しかもformula_179は有界ではない新井。さらに剰余スペクトルにおいてはformula_179の定義域はformula_8で稠密ですらない。
以上で定義した概念をまとめると次のようになる。
なお連続スペクトルは本稿で述べたのとは別の定義があり、その定義を採用した場合には連続スペクトルと剰余スペクトルは排他的になるとは限らないK12。
点スペクトル以外ではが単射になるので、の像の上で逆写像formula_179が定義できるが、剰余スペクトルではformula_179の定義域は有界ではなく、連続スペクトルでは稠密に定義されているが有界ではなく、レゾルベント集合では全域で定義されていてしかも有界である。
自己共役作用素のスペクトル.
本節では以下、formula_165を（稠密に定義された有界とは限らない）自己共役作用素とする。このときは実数体の閉部分集合である事が知られているH13。またの元は必ずしも点スペクトルではないため、formula_191がとなるが存在するとは限らないが、formula_191をいくらでもに近く取る事ができるH13：
なお上の後半の性質を満たす全体の集合をと書き、近似スペクトルというS12。したがって上述の事実は、自己共役作用素のスペクトルは近似スペクトルと一致する事を意味する。さらに次が成立する事が知られている：
以上をまとめると、以下が成立する。
スペクトル分解と観測.
スペクトル分解とは、有限次元ベクトル空間における線形作用素の固有値分解を無限次元に拡張したものであるが、単純に有限次元の固有値分解を無限次元に拡張することはできない。これは無限次元の場合、有限次元と違って連続スペクトルが存在し、連続スペクトルには点スペクトル（＝固有値）と違い、対応する固有ベクトルが存在しないことに起因する。
本稿では自己共役作用素をスペクトル分解する方法として、以下の３種類を紹介する：
これら３つのスペクトル分解のうちで、量子力学において通常用いられるスペクトル分解の定式化、すなわちデルタ関数を用いたスペクトル分解に最も近いのは最後にあげたゲルファントの三つ組によるものである。しかしこのゲルファントの三つ組によるスペクトル分解は、すべての自己共役作用素に対して適応できるわけではないという欠点を持つ上、この手法でスペクトル分解するには数学的な準備が必要となる。そこでこの手法によるスペクトル分解は後の節にまわし、本節では残り２つのスペクトル分解を紹介し、これらをもとに、量子状態の観測の概念を数学的に定式化する。
直積分によるスペクトル分解.
formula_8が有限次元の場合、formula_8を
のように直和として表記可能である。ここではformula_8上の自己共役作用素であり、formula_197は固有値に対応する固有空間である。さらに任意のformula_198に対し、
である。
一方formula_8が無限次元の場合には、は非可算無限個のスペクトル点を持ちうるので、単純に上式を無限次元に拡張する事はできない。しかしベクトル空間の「直和」の代わりに「直積分」という概念を用いる事で無限次元の場合も同種の公式が成立する事が知られており、これをの直積分によるスペクトル分解と呼ぶ。本節では直積分の概念を数学的に定式化し、直積分を用いて上式を無限次元の場合に拡張する。
直積分の定義.
直積分の概念を定式化するため、「切断」の概念を導入する：
さらに２つの切断formula_201、formula_202に対し、との内積を
により定義することができる。
直積分は前述した内積に関して完備であることが知られており、よって直積分はヒルベルト空間になるH13。
可測性の定義.
前節でペンディングしていたformula_201の可測性の定義を述べる。formula_201可測性を定義するには、formula_206に技術的な付加構造を加える必要がある（よって直積分はformula_206にこの付加構造を付け加えた場合のみ定義可能である）。まずその付加構造を定義する：
なお、写像formula_208が可測であるときは、formula_206は必ず同時正規直交基底を持つことが知られている。
スペクトル分解.
以上の準備のもと、直積分によるスペクトル分解を定式化する：
上述の定理はformula_8が無限次元の場合も、formula_8をの「固有空間」formula_197の直積分に分解でき、しかも直積分の元のによる像の「formula_197成分」であるはの「formula_197成分」を「固有値」倍したものになっている事を意味するように見えるので、formula_197をに対応するの一般化した固有空間、formula_197の元をに対応するの一般化した固有ベクトルであるとみなし得るH13。実際、スペクトル点においてであれば、formula_217に対し切断を
により定義すると、写像
は
を満たすので、formula_222の元はのでない固有ベクトルになる。しかしの場合にはが恒等的にである為、formula_217は通常の意味での固有空間にはならない。
直積分によるスペクトル定理は、前述した掛け算作用素によるスペクトル定理から容易に従う。実際、掛け算作用素によるスペクトル定理より、formula_8は何らかの空間formula_225と同型で、はformula_225上で実数値関数formula_227を乗じる作用素として表現できるので、の像である実数直線上に測度を入れれば、
と表記できる。formula_229がでないの集合がと一致する事を容易に確認できるので、上記の積分をに制限すれば、直積分によるスペクトル定理が従う。
スペクトル測度によるスペクトル分解.
本節の目標は、非有界作用素のもう一つのスペクトル分解方法であるスペクトル測度によるスペクトル分解を定式化する事である。まず、スペクトル測度の概念を定式化する動機を与える為に、有限次元における固有値分解を復習する。
formula_8を有限次元のヒルベルト空間とし、をformula_8上の自己共役作用素とする。有限次元の場合、自己共役作用素は必ず固有値分解可能な事が知られている。すなわちの固有値をとし、これらの固有値に対応する固有空間をとすると、formula_8の元は必ず
と表現でき、
が成立する。そこでformula_8の元のへの射影変換をとすると、明らかに
が成立する。
スペクトル測度は、以上の考察を無限次元に拡張する事を可能にする概念であり、のボレル可測部分集合に対し、formula_8の閉部分線形空間への正射影変換を対応させる。スペクトル測度の概念を直観的に説明するため、再び有限次元の場合を考えると、とスペクトルの共通部分がformula_237であるとき、スペクトル測度によるの像は、formula_8の元をformula_8の部分空間
に射影する射影変換である。
スペクトル測度.
スペクトル測度の概念を厳密に定式化する。なお、スペクトル測度の概念それ自身は、のスペクトルとは無関係に定義する。スペクトル測度の概念がのスペクトルと結びつくのは、後述するスペクトル定理においてである。formula_241をformula_8の元をformula_8の閉部分線形空間に対応させる正射影作用素全体の集合とする。すなわち
さらにformula_246を上のボレル加法族とする。直観的にはこのは、自己共役作用素のスペクトルやレゾルベントの取りうる値の集合である。
スペクトル分解.
formula_247をスペクトル測度とするとき、次の事実が成り立つことが知られているH13新井。ここでformula_248はformula_249の内積である：
上述のように定義される測度をformula_250と書くとき、次が成立する事が知られている：
 f(\lambda) \mathrm{d}\mu_\psi =\langle \psi,F_{f}\psi\rangle </math>　　　for formula_251、
と書けるH13。
この線形作用素を
と表記し、スペクトル測度によるの作用素値積分("operator-valued integral")というH13。
なお任意の可測関数に対しはformula_249で稠密であることが知られているのでH13、作用素値積分はformula_249上稠密に定義された線形作用素である。またが実数値可測関数の場合は作用素値積分は必ず自己共役作用素になる事も知られているH13。
以上の準備のもと、スペクトル定理を定式化する：
 \lambda \mathrm{d}\mu </math>
なお、はのレゾルベント集合上でになる事が知られているのでH13、上述の積分を
と書き表す事もできる。
スペクトル分解定理は前述した有限次元の場合の固有値分解
の無限次元版である。実際、ディラック測度を
により定義し、スペクトル測度を
とすれば、両者が一致する事を確認できる。
直積分によるスペクトル分解との関係.
スペクトル測度によるスペクトル分解定理は直積分によるスペクトル定理から容易に従う。実際、直積分によるスペクトル定理からformula_8は直積分formula_261として表現できるので、に対してをformula_262とすればよい。ここではの特性関数である。
観測.
観測確率.
を何らかの物理量を表す自己共役作用素とし、をのスペクトル測度とする。量子力学では以下を仮定する：
直積分を使うと、上の仮定をより直観的に表現できる。状態空間formula_249をのスペクトルでスペクトル分解して
と直積分で書き表し、を直積分の切断として
と書き表すと、直積分とスペクトル測度の関係により、状態にある系でを観測した観測値がボレル集合formula_266に属している確率は
に一致する。
また簡単な計算により、を観測した観測値の期待値が
となる事を確かめられる新井。
波束の収縮.
量子力学では以下を仮定する：
上述の仮定では観測値が固有値、すなわち点スペクトルに属していた場合の事を述べているが、観測値が連続スペクトルに属していた場合については何も規定していない事に注意されたい。
ゲルファントの３つ組によるスペクトル分解.
前節までで見たように、状態空間formula_249が無限次元である場合のスペクトル分解においては連続スペクトルが生じるため、全てのスペクトル点に対して対応する「固有関数」が存在するわけではないという困難を抱える。そこでディラックは、状態空間formula_249にデルタ関数のような超関数を添加し、これら超関数を一種の固有関数だとみなす事でこの困難を解消する道筋を建てた。
本節では、このディラックのアイデアを拡張することで得られるゲルファントの三つ組の概念を用いて、自己共役作用素をスペクトル分解する方法を説明する。
ゲルファントの三つ組.
ゲルファントの三つ組の定義の基本的な雛形は、（緩増加）超関数の概念である。そこで、まず、緩増加超関数の定義を振り返る。今シュワルツ空間formula_96からヒルベルト空間formula_65へは自然な単射
が存在する。formula_274に対し、写像を
と定義すると、
なので、写像
を定義する事ができ、は反線形写像となる。
定義.
以上の議論を踏まえ、より一般に位相の定義されたベクトル空間formula_280からヒルベルト空間formula_8への連続な単射
があるとき、formula_280の双対空間formula_284を
と定義すると、シュワルツ空間formula_96のときと同様の方法により、反線形写像
を定義できる。
を、formula_289をformula_280に付随するもしくはrigged Hilbert spaceというM66BGF15。
ブラ-ケットベクトルによる解釈.
写像
は反線形な埋め込み写像なので、formula_8、formula_284の共役線形空間をそれぞれformula_34、formula_295とすると、
はいずれも線形な埋め込みとなる。
物理学的に見た場合、formula_8、formula_34はそれぞれブラベクトル、ケットベクトルの空間であったので、それを含んでいるformula_284、formula_295もやはり（一般化された意味での）ブラベクトル、ケットベクトルの空間とみなすことにする。
既に述べたように、連続スペクトルに対応する「固有ベクトル」はformula_8やformula_34の中には存在しなかった。そこでブラベクトル、ケットベクトルの空間をformula_8やformula_34より広い空間であるformula_284やformula_295へと拡張し、formula_284やformula_295から連続スペクトルに対応する「固有ベクトル」を探す、というのがゲルファントの三つ組の基本的なアイデアである。
とくにformula_310である場合は、formula_284は緩増加超関数の空間formula_114に一致するので、「固有ベクトル」としてformula_284からデルタ超関数を選ぶ事ができる。したがってこの場合は、ゲルファントの三つ組のアイデアはディラックの元々のアイデアと合致する。
ゲルファントの三つ組に関する諸概念.
先に進む前にゲルファントの三つ組に関する諸概念を定義する。
をformula_8の元とするとき、
となるので、上述した内積はformula_8上の内積と両立する。
言い換えるとこれは"formula_317にはweak-*位相を入れたものを考えるという事である。
一般化固有ベクトル.
ディラックがデルタ関数を量子力学に導入したそもそもの動機は、デルタ関数を位置作用素に対する「固有ベクトル」とみなすというものであった。すなわち、第方向の位置作用素
に形式的に
を代入すると、この関数は以外でになる事から、
であり、したがってはformula_321の「固有値」に対応する「固有ベクトル」であるとみなせるのである。数学的に見た場合、ヒルベルト空間formula_65において自己共役作用素formula_321はそもそも固有値を持たないし、当然それに対応する固有ベクトルも存在しない。しかしこれはそもそもデルタ関数がformula_65に属さない事に起因しており、ゲルファントの三つ組の概念を用いれば、こうしたデルタ関数による固有値・固有ベクトルの概念を正当化できる。本節ではまず、固有値概念の一般化であるスペクトルの概念を定式化し、ゲルファントの三つ組においてスペクトルに対応する固有ベクトル概念に相当する一般化固有ベクトルの概念を定式化する。
定義.
formula_289をゲルファントの三つ組とし、をformula_8上の自己共役作用素とする。本節の目標はformula_8よりも広い空間であるformula_284からの固有ベクトルを探す事にあるが、そもそもはformula_8上でしか定義されていないので、formula_284の元をの固有ベクトルとみなすには、まずの定義域をformula_284上に拡張する必要がある。
そこでとして以下の２性質を満たすものを考える"F15"。なおこの２性質を満たすとき、はformula_289に付随するゲルファントの三つ組と両立するという：
が上述の性質を満たす時、formula_335に対し、写像を
により定義すると、前述の２性質からこの定義はwell-definedであり、formula_337となる事を確かめられる。よってformula_284上の線形写像
が定義できる。
上述のように定義したは埋め込み写像と
という関係を満たすという意味での拡張になっている。実際、任意のformula_341に対し、の対称性から
であるので、の任意性から上述の事実が従う。
そこで一般化固有値・固有ベクトルを以下のように定義する：
なお、formula_335なので、ここでいう「一般化固有ベクトル」はブラベクトルであるが、共役線形空間を考えることで、ケットベクトルの空間formula_295上にも同様に一般化固有ベクトルの概念を考える事ができる。formula_340であったので、の通常の意味での固有ベクトルは一般化固有ベクトルでもある。
定義から明らかなように、一般化固有ベクトルの定義はformula_289に依存している。と両立するformula_289は複数考えられるので、formula_289の取り方に依存して異なる一般化固有ベクトルの概念が存在する事になる。
完全性.
有限次元のベクトル空間の場合、自己共役作用素の固有値分解を行うと、ベクトル空間上の任意のベクトルは、固有ベクトルの線形和として書き表す事ができる事が知られている。この性質を満たす時、自己共役作用素は固有ベクトルの完全系を持つというが、一般化固有ベクトルの場合も類似した完全系の概念を考える事ができる。
実数に対し、一般化固有値に属する一般化固有ベクトル全体の集合(すなわちの（一般化）固有空間)
を考える。formula_350に対し、との内積
のへの制限写像
はの双対空間の元である：
有限次元空間の場合であればformula_354は「の方向成分」に相当するものであるので、完全系の概念を以下のように定義する：
 </math>
を対応させる写像
が単射になる時、はformula_289に関して一般化固有ベクトルの完全系を持つというF15。
なお、が運動量作用素である場合は、上述した写像formula_356は、フーリエ変換と自然に同一視できる事が知られている（詳細後述）。そこで上述した写像のことを一般化フーリエ変換というF15。
完全形の概念はweak-*位相の言葉を用いても定式化できることが知られている：
E(\lambda)\right) </math>がweak-*位相に関してformula_284で稠密である事であるF15
具体例.
formula_360の場合に対し、運動量作用素と位置作用素の一般化固有ベクトルを調べる。
運動量作用素.
運動量作用素
がformula_362と両立する事は既に述べた。formula_363に対し、
とすると、一般化固有値対するformula_365の一般化固有ベクトルformula_366は
を満たすので、任意のformula_368に対し、
となる。よって
という微分方程式の解がformula_366となる。したがって
という形のものは全て解となる。ここで上式右辺はformula_374を乗じて積分する超関数を表す。またこれ以外に解がない事も知られているF15。
以上の議論からformula_375の一般化固有値に対応する一般化固有空間は
である。これは一次元空間なので、formula_377である。したがってformula_378に対し、
は、
である。すなわちformula_381をformula_382倍する写像である。したがってformula_375に関するformula_378の一般化フーリエ変換
は自然に
と同一視できる。これはformula_378をフーリエ変換したものに相当する。これがformula_385を一般化フーリエ変換と呼ぶ理由であるF15。
位置作用素.
位置作用素
とformula_363に対し、
とすると、formula_392の一般化固有値対する一般化固有ベクトルformula_366は
を満たすので、
デルタ関数の定数倍
がこの解になる事を簡単に確認でき、しかもこれ以外に解がない事も知られているF15。
以上の議論からformula_397の一般化固有値に対応する一般化固有空間は
である。これは一次元空間なので、formula_377である。したがってformula_378に対し、
は、
である。すなわちformula_403をformula_404倍する写像である。したがってformula_405に関するformula_378の一般化フーリエ変換
は自然に
と同一視でき、これはformula_35それ自身と同一視できる。よってformula_405に関するformula_378の一般化フーリエ変換はformula_35それ自身である。
スペクトル定理.
本節ではformula_289に付随するゲルファントの三つ組に対するスペクトル定理について述べる。このスペクトル定理は、formula_280が核型フレシェ空間、もしくはより一般に核型局所凸空間の場合に対して成立するF15。核型局所凸空間の定義はテクニカルなものなので、本項ではその定義について述べるのは避けるが、重要なのは以下の集合がいずれも核型局所凸空間になるという事である：
\langle T_{k}(\lambda),\psi\rangle T_{k}(\lambda)\mathrm{d} \mu_k(\lambda)</math>、
である。さらに以下が成立する：
既に述べたように完全系は一般化フーリエ変換であるとみなせるが、このようにみなした場合最後の式はプランシュレルの定理に対応しているF15。
なお、スペクトル分解が固有値分解の「無限次元版」であったことを考えると、上述したスペクトル定理における積分区間を全体ではなくに置き換えたほうが自然である。しかしformula_284におけるのスペクトルはformula_8におけるのスペクトルより大きくなる事があるのでA97、積分区間のをに置き換えられない。をに置き換えられるとき、formula_289はにtightly riggingしているというA97。
時間発展.
本節では、ポテンシャルが時間に依存しない場合に対する系の時間発展について述べる。
シュレディンガー方程式.
formula_8を状態空間とし、formula_8上の自己共役作用素を任意に固定し、ハミルトニアンと呼ぶことにする。量子力学ではがformula_424という形で書き表せる場合を扱うが、本節の議論はが必ずしもこの形でなくとも成立する。
ここで微分は強微分の意味で考える。すなわち
を満たすformula_426が存在する時、formula_427をにおけるformula_428の強微分といい、
と書き表す。量子力学では、formula_274の時間発展がシュレディンガー方程式に従う事を仮定する。
が有界作用素の場合のシュレディンガー方程式の解.
が有界作用素であれば、シュレディンガー方程式を以下のように解くことができる。まず
と定義すると、右辺が一様作用素位相で収束する事をの有界性から示すことができるM16。そこで
と定義する。これを形式的に微分すると、
となり、シュレディンガー方程式を満たす事になる。詳細は省略するが、この形式的な議論は数学的にも正当化可能である。
しかしが有界作用素ではない場合はテイラー展開
は一般には意味を持たない。実際、たとえがformula_8で稠密に定義されていたとしてもformula_437はformula_8で稠密になるとは限らない為、上述のテイラー展開が意味を持つ集合は非常に小さくなってしまうかもしれない。またたとえがformula_439に入っていたとしても、formula_440が収束するとは限らないM16。
そこで本節ではテイラー展開に頼らずformula_441を定義する作用素解析という手法を導入し、formula_441に関するストーンの定理を導入する事で上述の問題を解決する。
作用素解析.
formula_8を状態空間とし、をformula_8上の（有界とは限らない）自己共役作用素とする。スペクトル測度によるスペクトル定理より、スペクトル測度が一意に存在し、formula_445が成立する。
そこで有界可測関数formula_446に対し、線形作用素を
により定義する事ができるH13新井。この手法により線形作用素を定義する手法を作用素解析新井("operational calculus")という。特に関数として指数関数を選ぶことで、
を定義できる。
ストーンの定理.
作用素解析により、
と定義すると、はユニタリ変換であり、しかも準同型性を満たす。すなわち任意のformula_450に対し、
が成立する事が知られているH13。さらにはに関して強連続である。すなわち任意のformula_274と任意のformula_453に対し、
であるH13。
一般にformula_8上のユニタリ変換の族formula_456で準同型性と強連続性とを満たすものを強連続１パラメータユニタリ群というH13。
実は強連続１パラメータ変換は、上述した指数関数のものに限られる事が知られている：
 </math>をformula_8上の強連続１パラメータユニタリ群とする。このとき、formula_456の無限小生成元(infinitesimal generator)を
により定義すると、formula_8の稠密部分集合上で上式右辺はノルム位相に関して収束する。しかも無限小生成元は自己共役作用素であり、任意のformula_453に対し、
が成立する。
以上の事から、写像formula_463により、formula_8上の自己共役作用素に強連続１パラメータ変換を対応させる事ができ、逆にformula_456に対してその無限小生成元対応させる事で、強連続１パラメータ変換に自己共役作用素を対応させる事ができる。両者は逆写像の関係になっており、自己共役作用素と強連続１パラメータ変換は１対１に対応するH13：
一般の場合のシュレディンガー方程式の解.
formula_8を状態空間とし、をformula_8上の（有界とは限らない）自己共役作用素とする。このときformula_469を作用素解析の手法により定義し、
とすると次が成立する：
実際、前節で述べた事と強微分の定義から、
が成立する。さらに作用素解析の定義より、
である。最後の等号は作用素値積分の定義より従う。よって
となり、はシュレディンガー方程式の解となる。
ハイゼンベルク描像.
これまで我々はいわゆるシュレディンガー描像で時間発展を記述してきた。すなわち任意のオブザーバブルは時間に関して不変であり、状態ベクトルの方が
により
と時間発展するとみなしてきた。一方同じ時間発展をハイゼンベルク描像で記述することも可能である。この場合状態ベクトルは時間に対して不変であり、オブザーバブルの方が
と時間発展するとみなせる。
ハイゼンベルクの運動方程式.
をformula_8上の自己共役作用素とし、をformula_8上の自己共役作用素で、
を満たすものとし、
を取り、
とすると、これまでの議論から、formula_487が任意のformula_488に対して成立し、しかも
が成立する事が示せる新井。ここで上式左辺の時間微分は強微分である新井。
一般に自己共役作用素の族formula_490と、formula_8の元に対し、
という形のformula_490に関する方程式をハイゼンベルクの運動方程式という新井。上述したformula_494に関する議論は、ハイゼンベルクの運動方程式の解が存在する十分条件を示した事になる。
ネーターの定理.
１変数の場合.
formula_8を状態空間とし、formula_8上の（有界とは限らない）自己共役作用素をハミルトニアンとして固定し、
とする。
formula_498を強連続１パラメータユニタリ変換群とし、をその無限小生成元とする。
このとき以下が成立する：
これは以下に述べる理由により量子力学におけるネーターの定理M16であるとみなせる。
まず最初の条件formula_499は、ハミルトニアンが強連続１パラメータユニタリ変換群formula_498に対して不変である事を示している。すなわち、によって記述される系は対称性formula_498を持つ。
一方２番目の条件はformula_502の左辺はハイゼンベルク描像で見たときのの時間発展であるので、この条件は対称性formula_498を定義する無限小生成元が運動の不変量である事を意味している。
解析力学におけるネーターの定理は系の対称性の無限小変換が運動の不変量になり、その逆も成り立つというものだったので、上述した２条件の同値性は量子力学におけるネーターの定理であると解釈できる。なお３番目の条件は、時間発展してから対称性formula_504で系を動かす行為と、対称性formula_504で系を動かしてから時間発展する事とが同一である事を意味している。
なお、ほとんどの物理の教科書では、上述した量子力学におけるネーターの定理を時間微分と交換子を用いて記述しているがM16、そのような記述方法は作用素の定義域に関する多くの問題点を含むM16。
一般の場合.
formula_8上のユニタリ変換全体の集合をformula_507と表記すると、強連続１パラメータユニタリ変換群formula_498は実数にユニタリ変換を対応させる準同型写像
とみなす事ができる。解析力学におけるネーターの定理はこうした実数からの写像だけでなく、一般の有限次元リー群からの写像に対しても成立していた。そこで本節では量子力学における有限次元リー群のネーターの定理を見出す。有限次元リー群からformula_507への写像
で準同型性
と強連続性
とを満たすものをのformula_8上のユニタリ表現というH13。なおここで「強」連続と呼ぶのは、弱位相における連続性と区別するためである。
formula_516をのリー環とし、をformula_516の元とする時、
とすると（上式のexpはリー環の元にリー群の元を対応させる写像である）、formula_498は強連続１パラメータユニタリ変換群になるので、ストーンの定理より、
を満たす自己共役作用素が存在する（ここで左辺のexpは前述の通りリー環の元にリー群の元を対応させる写像、右辺のexpは自己共役作用素に1パラメータ変換を対応させる写像）。よってformula_516の元に自己共役作用素を対応させる写像
が定義可能である。
formula_8上の自己共役作用素をハミルトニアンとして固定し、
とすると、強連続１パラメータユニタリ変換群に関するネーターの定理から、以下の３つは同値である：
これが一般のリー群に関するネーターの定理であるが、強連続１パラメータユニタリ変換群に関するネーターの定理と違い、さらにformula_516のリー括弧に関しても、以下の性質が言える事であるH13：
なお、自己共役作用素の括弧積
はformula_533がformula_8の稠密部分集合になる場合にしか自己共役作用素ならないが、formula_8のユニタリ表現の場合には
を満たすformula_8の稠密部分集合が必ず存在する事が知られているので、括弧積は必ず自己共役作用素となるH13。
フォン・ノイマンの一意性定理.
位置作用素formula_538と運動量作用素formula_539は、状態空間formula_65の稠密部分集合formula_96で定義された作用素である。よってこれらの交換子もformula_8の稠密部分集合formula_96上で定義可能であり、以下の関係式（正準交換関係）を満たす。ここでは単位行列であり、formula_544はクロネッカーのデルタである：
なおBLT定理より、これらの交換子はformula_8の全域に拡張可能であり、上式はformula_8の全域で成立する。
'新井'（「ストーン＝フォン・ノイマンの定理」ともH13）は、正準交換関係のやや強いバージョンである「ヴァイルの関係式」を満たす有限個の「既約な」作用素の組は同型を除いて、位置作用素と運動量作用素に限られるというものである。
なお、フォン・ノイマンの一意性定理を示すには、「ヴァイルの関係式」をはじめとした正準交換関係よりも強い仮定を課す事が必須であり、正準交換関係を満たすにも関わらずフォン・ノイマンの一意性定理が成立しない反例で、物理的にも興味深い例が存在する新井。
定義.
フォン・ノイマンの一意性定理を定式化するために必要な概念を定義する。
ヴァイルの関係式.
formula_8上の自己共役作用素formula_550に対し、正準交換関係を指数関数の上に乗せた下記の式をヴァイルの関係式という新井'H13'：
通常の正準交換関係の場合には、formula_555の定義域の共通部分がformula_8で稠密でないとそもそも交換子が定義できないという問題を抱えていたが、ヴァイルの関係式の場合、formula_555を指数関数の上に乗せた結果出来上がるユニタリ変換を取り扱っており、しかもBLT定理よりこれらのユニタリ変換の定義域はformula_8全体であるので、こうした定義域の問題は起こらない。
正準交換関係をヴァイル関係式で表す事を、正準交換関係のヴァイル表現という。なお、一般には通常の正準交換関係よりもヴァイルの関係式の方が強い制約条件であり、両者は同値ではない。
規約性.
formula_8上の自己共役作用素formula_550がヴァイル表現として規約であるとは、formula_561の共通の不変真部分閉空間がformula_562のみである事をいう。すなわち閉部分空間formula_563が
をみたすなら
である事をいう。
定理.
次の事実をフォン・ノイマンの一意性定理という：
ハイゼンベルク群による表現.
フォン・ノイマンの一意性定理は、量子力学に重要なリー群であるハイゼンベルク群を用いる事でより簡潔に表現できる。
ハイゼンベルク群.
次のハイゼンベルク群とは、
に以下のような積を入れる事で定義されるリー群であるW：
ここでformula_569、formula_570はformula_23上の内積である。
ハイゼンベルクリー環.
ハイゼンベルク群が量子力学で重要なのは、対応するリー環（ハイゼンベルクリー環）が正準交換関係（でformula_572にしたもの）を満たすからである。すなわち、次のハイゼンベルクリー環は、
と表記でき、のとき、のとき、のときそれぞれ、座標軸formula_574の事をformula_575、formula_576、formula_577と書くと、これらのリー・ブラケットは
を満たすW。
ハイゼンベルク群によるフォン・ノイマンの一意性定理.
まずフォン・ノイマンの一意性定理の仮定をハイゼンベルク群を用いて表現する。formula_249をヒルベルト空間とし、formula_581をformula_249上のユニタリ作用素全体の集合とする。
を
を満たす強連続な写像とし、さらに
とする。するとフォン・ノイマンの一意性定理の条件であるヴァイルの関係式は、が準同型である事を意味している。すなわちヴァイルの関係式を満たすはハイゼンベルク群の強連続なユニタリ表現である。このように見た時、ヴァイル表現に関する規約性の条件は、このヴァイル表現が規約である事と同値である。なお、ハイゼンベルク群のニタリ表現の事をシュレディンガー表現というZ13。
一方、フォン・ノイマンの一意性定理の結論部分は、このユニタリ表現が同型を除いて一意であり、その唯一のユニタリ表現によるformula_586の像がそれぞれ
まとめると、以下の結論が得られるW：
Mackeyの定理.
Mackeyはより弱い条件のもとフォン・ノイマンの一意性定理を示しているM16：