Heisenberg group of the Heisenberg group is fairly simple – later generalized by Mackey theory – and was the motivation for its introduction in quantum physics, as discussed below. For each nonzero real number formula_27, we can define an irreducible unitary representation formula_48 of formula_31 acting on the Hilbert space formula_50 by the formula: This representation is known as the Schrödinger representation. The motivation for the this representation is the action of the exponentiated position and momentum operators in quantum mechanics. The parameter formula_52 describes translations in position space, the parameter formula_53 describes translations in momentum space, and the parameter formula_54 gives
Heisenberg group of differential operators on ℝ with polynomial coefficients, since any such operator has a unique representation in the form This algebra is called the Weyl algebra. It follows from abstract nonsense that the Weyl algebra "W" is a quotient of formula_79. However, this is also easy to see directly from the above representations; viz. by the mapping The application that led Hermann Weyl to an explicit realization of the Heisenberg group was the question of why the Schrödinger picture and Heisenberg picture are physically equivalent. Abstractly, the reason is the Stone–von Neumann theorem: there is a unique unitary representation with