レリッヒ＝ディキシミエの定理
関数解析学においてレリッヒ=ディキシミエの定理(レリッヒ=ディキシミエの定理のていり、英: Rellich–Dixmier theorem)とは、正準交換関係 (Canonical Commutation Relation, CCR) の表現の一意性に関する定理。CCRの表現が一定の条件を満たせば、シュレディンガー表現と呼ばれる自己共役な掛算作用素と微分作用素の組による表現、またはその直和表現とユニタリ同値であることを主張する。定理の名はその証明を与えた数学者フランツ・レリッヒ(英語版)とジャック・ディキシミエ(英語版)の名前に由来する。ストーン=フォン・ノイマンの定理と同様に、量子力学の数学的基礎付けを与える。