In this paper we briefly review the functional version of the Koopman-von Neumann operatorial approach to classical mechanics. We then show that its quantization can be achieved by freezing to zero two Grassmannian partners of time. This method of quantization presents many similarities with the one known as Geometric Quantization.
In this thesis we study several features of the operatorial approach to classical mechanics pionereed by Koopman and von Neumann (KvN) in the Thirties. In particular in the first part we study the role of the phases of the KvN states. We analyze, within the KvN theory, the two-slit experiment and the Aharonov-Bohm effect and we make a comparison between the classical and the quantum case. In the second part of the thesis we study the extension of the KvN formalism to the space of forms and Jacobi fields. We first show that all the standard Cartan calculus on symplectic spaces can be performed via Grassmann variables or via suitable combinations of Pauli matrices. Second we study the extended Hilbert space of KvN which now includes forms and prove that it is impossible to have at the same time a positive definite scalar product and a unitary evolution. Clear physical reasons for this phenomenon are exhibited. We conclude the thesis with some work in progress on the issue of quantization.
In a previous work by the author it was shown that the Koopman-von Neumann formulation of classical mechanics (KvN) exhibits quantum interference. As such it was there claimed that KvN ought to be considered as a proper quantum mechanical theory in a similar sense as ordinary non-relativistic quantum mechanics (OQM) is. In this article this claim is made manifest by showing that KvN and OQM can be taken as merely inequivalent representations resulting from one and the same quantization scheme. Of course, as the typical notion of quantization necessitates the canonical commutation relations (CCR) to hold, which they do not in KvN, the concept needs to be properly revised. To justify such a revision the typical reasons for necessitation the CCR, reductionism and quantization as 'turning brackets to commutators', are examined and found insufficient.