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 group of a locally compact abelian group "K", equipped with a Haar measure. Such a group has a Pontrjagin dual formula_101, consisting of all continuous formula_102-valued characters on "K", which is also a locally compact abelian group if endowed with the compact-open topology. The Heisenberg group associated with the locally compact abelian group "K" is the subgroup of the unitary group of formula_103 generated by translations from "K" and multiplications by elements of formula_101. In more detail, the Hilbert space formula_103 consists of square-integrable complex-valued functions formula_106 on "K". The translations in "K" form a unitary representation of "K" as