Heisenberg picture formulation of matrix mechanics in an arbitrary basis, in which the Hamiltonian is not necessarily diagonal. It further serves to define a third, hybrid, picture, the interaction picture. In the Heisenberg picture of quantum mechanics the state vectors, |"ψ("t")"〉, do not change with time, while observables satisfy where is the Hamiltonian and <nowiki>[•,•]</nowiki> denotes the commutator of two operators (in this case and ). Taking expectation values automatically yields the Ehrenfest theorem, featured in the correspondence principle. By the Stone–von Neumann theorem, the Heisenberg picture and the Schrödinger picture are unitarily equivalent, just a basis change in Hilbert space. In
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