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 case is the theta representation of the Heisenberg group, of which the discrete case gives the theta function. The Heisenberg group also occurs in Fourier analysis, where it is used in some formulations of the Stone–von Neumann theorem. In this case, the Heisenberg group can be understood to act on the space of square integrable functions; the result is a representation of the Heisenberg groups sometimes called the Weyl representation. The three-dimensional Heisenberg group "H"(R) on the reals can also be understood to be a smooth manifold, and specifically, a simple example of a sub-Riemannian manifold. Given a point "p"=("x","y","z")