For finite degrees of freedom, the Weyl algebra codifies the experimental limitations on the measurements of position and momentum (Heisenberg uncertainty relations) and Schroedinger QM follows from the von Neumann uniqueness theorem.
The existence problem of the dynamics is related to the self-adjointness of the differential operator describing the Hamiltonian and solved by the Rellich–Kato theorems. Examples are discussed which include the explanation of the discreteness of the atomic spectra.
Because of the increasing interest in the relation between QM and stochastic processes, a final chapter is devoted to the functional integral approach (Feynman–Kac formula), the formulation in terms of ground state correlations (Wightman functions) and their analytic continuation to imaginary time (Euclidean QM). The quantum particle on a circle as an example of the interplay between topology and functional integral is also discussed in detail.