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 the special property that the exponential map is a one-to-one and onto map from the Lie algebra formula_16 to the group formula_1. More general Heisenberg groups formula_31 may be defined for higher dimensions in Euclidean space, and more generally on symplectic vector spaces. The simplest general case is the real Heisenberg group of dimension formula_32, for any integer formula_33. As a group of matrices, formula_31 (or formula_35 to indicate this is the Heisenberg group over the field formula_36 of real numbers) is defined as the group formula_37 matrices with entries in formula_36 and having the form: where This is indeed