It was shown by Koopman how the dynamical transformations of classical mechanics, considered as measure preserving transformations of the phase space, induce unitary transformations on the Hilbert space of functions which are square integrable with respect to a density function over the phase space. This Hilbert space formulation of classical mechanics was further developed by von Neumann. It is to be noted that this Hilbert space corresponds not to the space of state vectors in quantum mechanics but to the Hilbert space of operators on the state vectors (with the trace of the product of two operators being chosen as the scalar product).