Théorème de Stone–Von Neumann

Un théorème affirmant que, pour les systèmes canoniques à nombre fini de degrés de liberté, toutes les représentations irréductibles régulières des relations de commutation canoniques (forme de Weyl des CCR) sont unitaires équivalentes à la représentation standard de Schrödinger ; il établit l'unicité (à équivalence unitaire près) de la quantification sous des hypothèses de régularité.