Hilbert space
根据这个定理，任何对称性操作都是希尔伯特空间上的一个幺正变换或者。更准确的说，这个定理描述的是在一个复的希尔伯特空间formula_1 上，如果对任意的formula_2都有满射formula_3使得