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 bracket. This Lie algebra is a one-dimensional central extension of the commutative Lie algebra formula_57, isomorphic to the Lie algebra of the Heisenberg group. The general abstraction of a Heisenberg group is constructed from any symplectic vector space. For example, let ("V",ω) be a finite-dimensional real symplectic vector space (so ω is a nondegenerate skew symmetric bilinear form on "V"). The Heisenberg group H("V") on ("V",ω) (or simply "V" for brevity) is the set "V"×R endowed with the group law The Heisenberg group is a central extension of the additive group "V". Thus there is an exact sequence Any symplectic