関数解析学においてレリッヒ＝ディキシミエの定理（レリッヒ＝ディキシミエの定理のていり、）とは、正準交換関係 (Canonical Commutation Relation, CCR) の表現の一意性に関する定理G. Emch (2009), chapter 3湯川、井上、豊田（1972年）16章。CCRの表現が一定の条件を満たせば、シュレディンガー表現と呼ばれる自己共役な掛算作用素と微分作用素の組による表現、またはその直和表現とユニタリ同値であることを主張する。定理の名はその証明を与えた数学者との名前に由来するF. Rellich, "Der Eindeutigkeitssatz für die Lösungen der quantenmechanischen Vertauschungsrelationnen," Nachrichten Akad. Wiss. Göttingen, Math.-Phys. Klasse, pp. 107–115 (1946)J. Dixmier, "Sur la relation i(PQ − QP) = 1," Compositio Math. 13 pp. 263–269 (1958)。ストーン＝フォン・ノイマンの定理と同様に、量子力学の数学的基礎付けを与える。
導入 量子力学における運動量と位置の関係のように、作用素 P, Q に対し、その交換子 [P, Q] = PQ − QP が満たす関係
を正準交換関係 (CCR) と呼ぶ。ただし、I は恒等作用素である。ヒルベルト空間 H として二乗可積分関数全体のなす L2(R) をとり、Q, P をそれぞれ自己共役な掛算作用素と微分作用素
として表現すると H の稠密な部分空間例えば、急減少関数のなす空間 S(R) (⊂ D(P) ∩ D(Q)).で P, Q はCCRを満たす。これをCCRのシュレディンガー表現と呼ぶ。
レリッヒ＝ディキシミエの定理はP、Q がヒルベルト空間上の線形作用素による、一定の条件を満たすCCRの表現であるとしたときに、それらがシュレディンガー表現、またはその直和表現とユニタリ同値の違いを除いて一意的であることを主張する。
定理の内容 (P, Q) を可分なヒルベルト空間 H における閉対称作用素の組とする。このとき、(P, Q) がシュレディンガー表現の直和表現とユニタリ同値であることと、次の条件は同値である。
定義域の共通部分 D(P) ∩ D(Q) に含まれる、H の稠密な部分空間 D で、以下を満たすものが存在する。
D は P, Q の作用に対し、不変 (P D ⊂ D, Q D ⊂ D) である。 P2 + Q2は D 上で本質的に自己共役である。 D 上で、P, Q は正準交換関係を満たす。
特に、この条件1.-3.が満たされるとき、P, Q は自己共役作用素であるともに、D への制限は本質的に自己共役となる。
脚注 注
出典
参考文献 Gérard G. Emch Algebraic methods in statistical mechanics and quantum field theory, Dover Publications (2009) ISBN 978-0486472096 湯川秀樹、井上健、豊田利之 『量子力学III (岩波講座現代物理学の基礎5) 』 岩波書店（1972年）
関連項目 正準交換関係 ストーン＝フォン・ノイマンの定理