Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Journal of Mathematical Physics

Dirac Formalism and Symmetry Problems in Quantum Mechanics. I. General Dirac Formalism

Jean-Pierre Antoine

Published Jan 1, 1969• 148 citations
Publisher

Abstract

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 Hilbert space to a rigged Hilbert space as introduced by Gel'fand, i.e., a triplet Φ⊂H⊂Φ′ where H is a Hilbert space, Φ a dense subspace of H 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.

DOI
10.1063/1.1664761

Related papers

Quantum Mechanics and Its Evolving Formulations

Jean-Pierre Antoine

In this paper, we discuss the time evolution of the quantum mechanics formalism. Starting from the heroic beginnings of Heisenberg and Schrödinger, we cover successively the rigorous Hilbert space formulation of von Neumann, the practical bra-ket formalism of Dirac, and the more recent rigged Hilbert space approach.

Entropy•Jan 19, 2021•9 citations

Conventional Quantum Theory: Fundamentals

Andrei Yu. Khrennikov

The aim of this chapter is to present (in a compact way) the fundamentals of conventional quantum theory. We select the for- mulation of QM as an axiomatic theory in the complete accordance with the Hilbert’s program on axiomatization of physical theories. We remark that the first step toward the present formulation of QM was done in the seminal work of Hilbert, Nordheim, and von Neumann [112]. This work was substantially extended, completed, and clarified in the book of von Neumann [296]. Another version of the rigorous mathematical approach to QM was presented in the book of Dirac [74]. From the mathematical viewpoint, the main difference between the approaches of von Neumann and Dirac is that the first one is based on the theory of self-adjoint operators in complex Hilbert space and the second one is based on the theory of self-adjoint operators acting (by using the modern mathematical terminology) in rigged Hilbert spaces. This theory operates with generalized eigenvectors belonging to the spaces of distributions. Although the von Neumann’s formalization of QM became dominant in quantum mathematical physics, the Dirac’s formalization is widely used in the works on the physical level of rigorousness. Moreover, the Dirac’s terminology, bra-and ket- vectors, became the standard for quantum information theory. However, since quantum information is based on the castrated version of QM, namely, QM in finite-dimensional Hilbert spaces, the so-called n-qubit spaces, the basic tool of the Dirac’s formalism, usage of generalized eigenvectors, is useless (since in the finite- dimensional case everything is reduced to manipulation with matrices). During the last 80 years, there were written hundreds of books on QM enlightening its foundational aspects. Unfortunately, the majority of these writings advertise exotic (and some of them really esoteric) views on QM and, in particular, on interpretation of the wave function. They are full of such terms as the collapse of the wave function, quantumnonlocality, manyworlds, thewave function of universe, the preparation of Schro¨dinger cats, influence of the future on the past, quantum teleportation. Of course, manipulations with such terminology create an atmosphere of mystery and a feeling that something unusual and impossible can happen. And this atmosphere plays a positive role in attracting young people to QM and especially to quantum foundations.

•Mar 19, 2014•0 citations

Dirac Formalism and Symmetry Problems in Quantum Mechanics. II. Symmetry Problems

Jean-Pierre Antoine

The quantum-mechanical formalism developed in a previous article and based on the use of a rigged Hilbert space Φ⊂H⊂Φ′ is here enlarged by taking into account the symmetry properties of the system. First, the compatibility of a particular symmetry with this structure is obtained by requiring Φ to be invariant under the corresponding representation U of the symmetry group in H. The symmetry is then realized by the restriction of U to Φ and its contragradient representation Ǔ in Φ′. This double manifestation of the symmetry is related to the so-called active and passive points of view commonly used for interpreting symmetry operations. Next, a general procedure is given for constructing a suitable space Φ out of the labeled observables of the system and the representation U describing its symmetry properties. This general method is then applied to the case where U is a semidirect product G=T[squared times]Δ, with T Abelian. Finally, the examples of the Euclidean, the Galilei, and the Poincaré groups are briefly studied.

Journal of Mathematical Physics•Dec 1, 1969•48 citations

The Dirac Bra and Ket Formalism

J. E. Roberts

The place of the Dirac formalism in quantum theory is investigated using rigged Hilbert spaces. Emphasis is laid on the representation of observables by continuous linear operators and on the existence of sufficient eigenkets. Using the concept of labeled observables, a canonical procedure is given for constructing a rigged Hilbert space and the bra and ket spaces are constructed for nonrelativistic quantum systems of n interacting particles. Spectral theory is investigated in this framework and the results are compared with the Dirac formalism.

Journal of Mathematical Physics•Jun 1, 1966•120 citations

The role of the rigged Hilbert space in quantum mechanics

Rafael de la Madrid

There is compelling evidence that, when a continuous spectrum is present, the natural mathematical setting for quantum mechanics is the rigged Hilbert space rather than just the Hilbert space. In particular, Dirac's bra-ket formalism is fully implemented by the rigged Hilbert space rather than just by the Hilbert space. In this paper, we provide a pedestrian introduction to the role the rigged Hilbert space plays in quantum mechanics, by way of a simple, exactly solvable example. The procedure will be constructive and based on a recent publication. We also provide a thorough discussion on the physical significance of the rigged Hilbert space.

arXiv:quant-ph/0502053•European Journal of Physics•Feb 17, 2005•200 citations

Mathematical surprises and Dirac's formalism in quantum mechanics

François Gieres B

By a series of simple examples, we illustrate how the lack of mathematical concern can readily lead to surprising mathematical contradictions in wave mechanics. The basic mathematical notions allowing for a precise formulation of the theory are then summarized and it is shown how they lead to an elucidation and deeper understanding of the aforementioned problems. After stressing the equivalence between wave mechanics and the other formulations of quantum mechanics, i.e. matrix mechanics and Dirac's abstract Hilbert space formulation, we devote the second part of our paper to the latter approach: we discuss the problems and shortcomings of this formalism as well as those of the bra and ket notation introduced by Dirac in this context. In conclusion, we indicate how all of these problems can be solved or at least avoided. Dedicated to the memory of Tanguy Altherr (1963-94). I dedicate these notes to the memory of Tanguy Altherr who left us very unexpectedly in the mountains which he loved so much (and where I had some pleasant trips with him). As to the subject of these notes (which I had the pleasure to discuss with him), Tanguy greatly appreciated Dirac's formalism and certainly knew how to apply it to real physical problems (such as the ones he worked on with an impressive enthusiasm, energy and productivity). Even if he did not share my preoccupations in this field, he liked to discuss the problems related to the general formalism of quantum physics.

arXiv:quant-ph/9907069•Reports on Progress in Physics•Nov 3, 2000•85 citations
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 Hilbert space to a rigged Hilbert space as introduced by Gel'fand, i.e., a triplet Φ⊂H⊂Φ′ where H is a Hilbert space, Φ a dense subspace of H 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.
The aim of this chapter is to present (in a compact way) the fundamentals of conventional quantum theory. We select the for- mulation of QM as an axiomatic theory in the complete accordance with the Hilbert’s program on axiomatization of physical theories. We remark that the first step toward the present formulation of QM was done in the seminal work of Hilbert, Nordheim, and von Neumann [112]. This work was substantially extended, completed, and clarified in the book of von Neumann [296]. Another version of the rigorous mathematical approach to QM was presented in the book of Dirac [74]. From the mathematical viewpoint, the main difference between the approaches of von Neumann and Dirac is that the first one is based on the theory of self-adjoint operators in complex Hilbert space and the second one is based on the theory of self-adjoint operators acting (by using the modern mathematical terminology) in rigged Hilbert spaces. This theory operates with generalized eigenvectors belonging to the spaces of distributions. Although the von Neumann’s formalization of QM became dominant in quantum mathematical physics, the Dirac’s formalization is widely used in the works on the physical level of rigorousness. Moreover, the Dirac’s terminology, bra-and ket- vectors, became the standard for quantum information theory. However, since quantum information is based on the castrated version of QM, namely, QM in finite-dimensional Hilbert spaces, the so-called n-qubit spaces, the basic tool of the Dirac’s formalism, usage of generalized eigenvectors, is useless (since in the finite- dimensional case everything is reduced to manipulation with matrices). During the last 80 years, there were written hundreds of books on QM enlightening its foundational aspects. Unfortunately, the majority of these writings advertise exotic (and some of them really esoteric) views on QM and, in particular, on interpretation of the wave function. They are full of such terms as the collapse of the wave function, quantumnonlocality, manyworlds, thewave function of universe, the preparation of Schro¨dinger cats, influence of the future on the past, quantum teleportation. Of course, manipulations with such terminology create an atmosphere of mystery and a feeling that something unusual and impossible can happen. And this atmosphere plays a positive role in attracting young people to QM and especially to quantum foundations.
The quantum-mechanical formalism developed in a previous article and based on the use of a rigged Hilbert space Φ⊂H⊂Φ′ is here enlarged by taking into account the symmetry properties of the system. First, the compatibility of a particular symmetry with this structure is obtained by requiring Φ to be invariant under the corresponding representation U of the symmetry group in H. The symmetry is then realized by the restriction of U to Φ and its contragradient representation Ǔ in Φ′. This double manifestation of the symmetry is related to the so-called active and passive points of view commonly used for interpreting symmetry operations. Next, a general procedure is given for constructing a suitable space Φ out of the labeled observables of the system and the representation U describing its symmetry properties. This general method is then applied to the case where U is a semidirect product G=T[squared times]Δ, with T Abelian. Finally, the examples of the Euclidean, the Galilei, and the Poincaré groups are briefly studied.
The place of the Dirac formalism in quantum theory is investigated using rigged Hilbert spaces. Emphasis is laid on the representation of observables by continuous linear operators and on the existence of sufficient eigenkets. Using the concept of labeled observables, a canonical procedure is given for constructing a rigged Hilbert space and the bra and ket spaces are constructed for nonrelativistic quantum systems of n interacting particles. Spectral theory is investigated in this framework and the results are compared with the Dirac formalism.
There is compelling evidence that, when a continuous spectrum is present, the natural mathematical setting for quantum mechanics is the rigged Hilbert space rather than just the Hilbert space. In particular, Dirac's bra-ket formalism is fully implemented by the rigged Hilbert space rather than just by the Hilbert space. In this paper, we provide a pedestrian introduction to the role the rigged Hilbert space plays in quantum mechanics, by way of a simple, exactly solvable example. The procedure will be constructive and based on a recent publication. We also provide a thorough discussion on the physical significance of the rigged Hilbert space.
By a series of simple examples, we illustrate how the lack of mathematical concern can readily lead to surprising mathematical contradictions in wave mechanics. The basic mathematical notions allowing for a precise formulation of the theory are then summarized and it is shown how they lead to an elucidation and deeper understanding of the aforementioned problems. After stressing the equivalence between wave mechanics and the other formulations of quantum mechanics, i.e. matrix mechanics and Dirac's abstract Hilbert space formulation, we devote the second part of our paper to the latter approach: we discuss the problems and shortcomings of this formalism as well as those of the bra and ket notation introduced by Dirac in this context. In conclusion, we indicate how all of these problems can be solved or at least avoided. Dedicated to the memory of Tanguy Altherr (1963-94). I dedicate these notes to the memory of Tanguy Altherr who left us very unexpectedly in the mountains which he loved so much (and where I had some pleasant trips with him). As to the subject of these notes (which I had the pleasure to discuss with him), Tanguy greatly appreciated Dirac's formalism and certainly knew how to apply it to real physical problems (such as the ones he worked on with an impressive enthusiasm, energy and productivity). Even if he did not share my preoccupations in this field, he liked to discuss the problems related to the general formalism of quantum physics.