Joint position-momentum observables are defined to be covariant POV measures on the group
openR3\ifmmode\times\else\texttimes\fi{}
openR3^ of space translations and boosts. For elementary or finite quantum systems, it is shown that there is no covariant PV measure on
openR3\ifmmode\times\else\texttimes\fi{}
openR3^ into the von Neumann algebra generated by average position and momentum. So these cannot be measured sharply at the same time. For an infinite quantum system, we construct a covariant PV measure on
openR3\ifmmode\times\else\texttimes\fi{}
openR3^ into the von Neumann algebra generated by average position and momentum. Therefore average position and momentum of an infinite quantum system can be measured sharply at the same time.
We generalize Koopman–von Neumann classical mechanics to poly symplectic fields and recover De Donder–Weyl’s theory. Compared with Dirac’s Hamiltonian density, it inspires a new Hamiltonian formulation with a canonical momentum field that is Lorentz-covariant with symplectic geometry. We provide commutation relations for the classical and quantum fields that generalize the Koopman–von Neumann and Heisenberg algebras. The classical algebra requires four fields that generalize spacetime, energy–momentum, frequency–wavenumber, and the Fourier conjugate of energy–momentum. We clarify how first and second quantization can be found by simply mapping between operators in classical and quantum commutator algebras.
We generalize Koopman-von Neumann classical mechanics to poly-symplectic fields and recover De Donder-Weyl theory. Comparing with Dirac's Hamiltonian density inspires a new Hamiltonian formulation with a canonical momentum field that is Lorentz covariant with symplectic geometry. We provide commutation relations for the classical and quantum fields that generalize the Koopman-von Neumann and Heisenberg algebras. The classical algebra requires four fields that generalize space-time, energy-momentum, frequency-wavenumber, and the Fourier conjugate of energy-momentum. We clarify how 1st and 2nd quantization can be found by simply mapping between operators in classical and quantum commutator algebras.