Quantization (physics) attempts to carry out quantization, for which there is in general no exact recipe, in such a way that certain analogies between the classical theory and the quantum theory remain manifest. For example, the similarity between the Heisenberg equation in the Heisenberg picture of quantum mechanics and the Hamilton equation in classical physics should be built in. One of the earliest attempts at a natural quantization was Weyl quantization, proposed by Hermann Weyl in 1927. Here, an attempt is made to associate a quantum-mechanical observable (a self-adjoint operator on a Hilbert space) with a real-valued function on classical phase space.
Heisenberg group an overall phase factor. The phase factor is needed to obtain a group of operators, since translations in position space and translations in momentum space do not commute. The key result is the Stone–von Neumann theorem, which states that every (strongly continuous) irreducible unitary representation of the Heisenberg group in which the center acts nontrivially is equivalent to formula_48 for some formula_27. Alternatively, that they are all equivalent to the Weyl algebra (or CCR algebra) on a symplectic space of dimension 2"n". Since the Heisenberg group is a one-dimensional central extension of formula_57, its irreducible unitary representations can be viewed