Dirac's bra and ket formalism is investigated and incorporated into a complete mathematical theory. First the axiomatic foundations of quantum mechanics and von Neumann's spectral theory of observables are reviewed and several inadequacies are pointed out. These defects then are remedied by extending the usual Hubert space to a rigged Hilbert space as introduced by Gel'fand, i.e., a triplet Φ ⊂ ℋ ⊂ Φ′, where ℋ is a Hubert space, Φ a dense subspace of ℋ provided with a new (finer) topology, Φ′ the dual of Φ. It is shown that this mathematical structure, together with the Schwartz nuclear theorem, allows us to reproduce Dirac's formalism in a completely rigorous way, without losing its transparency; this makes the theory easier to handle. The temporal evolution of the system and the wave equation are considered. Finally the probabilistic interpretation and the physical aspects of the theory are discussed; Φ is identified with the set of all physically accessible states of the system, Φ′ with the set of all possible experiments (apparatus) to which it can be subjected; this provides a direct connection with Feynman's formulation of quantum mechanics.
