This chapter outlines the formal rules of quantum mechanics. A formal mathematical object that possesses these properties was introduced by Dirac and called the Dirac delta function. It is discussed further in Appendix C. The association of wave functions with vectors is actually more than a mere analogy. It is possible to formulate quantum mechanics abstractly in the language of generalized vectors and to regard wave functions as simply one particular representation of the vector algebra. The chapter discusses that the wave functions that arise from the standard physical problems to be considered do form a complete set. In quantum mechanics one frequently deals with infinite-dimensional space and the question of completeness is mathematically delicate. In classical mechanics there is a well-known association between the existence of geometrical symmetries in a mechanical system and the constancy in time of certain dynamical quantities.
This chapter outlines the formal rules of quantum mechanics. A formal mathematical object that possesses these properties was introduced by Dirac and called the Dirac delta function. It is discussed further in Appendix C. The association of wave functions with vectors is actually more than a mere analogy. It is possible to formulate quantum mechanics abstractly in the language of generalized vectors and to regard wave functions as simply one particular representation of the vector algebra. The chapter discusses that the wave functions that arise from the standard physical problems to be considered do form a complete set. In quantum mechanics one frequently deals with infinite-dimensional space and the question of completeness is mathematically delicate. In classical mechanics there is a well-known association between the existence of geometrical symmetries in a mechanical system and the constancy in time of certain dynamical quantities.
This chapter gives a summary of the mathematical formalism used in quantum mechanics, with a short bibliography put directly at its end. It should be seen as a complement, to be used by readers who wish to know more than what has been recalled about the mathematical tools in the other chapters. Some results are given without explicit proofs; they can be found for instance in Chapters II and IV of [1] . Many quantum mechanics textbooks introduce its general formalism in a more complete way, for instance Chapter VII of [2] , Chapter 3 of [3] , or Chapter 2 of [4] . We first summarize the general formalism of quantum mechanics for any physical system (§11.1), with the Dirac notation; we then study how this formalism treats the grouping of several physical systems into one single quantum system (§11.2); finally, we study a few simple special cases (§11.3), for instance a single particle in an external potential, with or without spin; the reader who prefers wave functions to more abstract reasonings in spaces of states may begin with this section. General physical system The general formalism of quantum mechanics applies to all physical systems, whether they contain a single particle, many particles of various sorts, one or several fields, etc. Quantum space of states The physical state of a system at each time is defined in quantum mechanics by a state vector which, in Dirac notation, is written ∣ ψ 〈 – or ∣ ψ(t) 〈 if one wishes to make the time dependence explicit.
We have seen in the previous chapter how useful wave mechanics can be in solving physical problems. But wave mechanics has several limitations. It describes physical states by means of wave functions, which are functions of the positions of the particles of the system, but why should we single out position as the fundamental physical observable? For instance, we might want to describe states in terms of probability amplitudes for particles to have certain values of the momentum or energy rather than the position. A more fundamental limitation is that there are attributes of physical systems that cannot be described at all in terms of the positions and momenta of a set of particles. One of these attributes is spin , which will be a chief subject of Chapter 4. Another is the value of the electric or magnetic field at some point in space, treated in Chapter 11. This chapter will describe the principles of quantum mechanics in a formalism which is essentially the “transformation theory” of Dirac, mentioned briefly in Section 1.4. This formalism generalizes both the wave mechanics of Schrödinger and the matrix mechanics of Heisenberg, and is sufficiently comprehensive to apply to any sort of physical system. States The first postulate of quantum mechanics is that physical states can be represented as vectors in a sort of abstract space known as Hilbert space . Before getting into Hilbert space, I need to say a bit about vectors in general. In kindergarten we learn that vectors are quantities with both magnitude and direction. Later, when we study analytic geometry, we learn instead to describe a vector in d dimensions as a string of d numbers, the components of the vector. The latter approach lends itself well to calculation, but in some respects the kindergarten version is better, because it allows us to describe relations among vectors without specifying a coordinate system. For instance, a statement that one vector is parallel to a second vector, or perpendicular to a third, has nothing to do with how we choose our coordinate system. Here we will formulate what we mean by vector spaces in general, and Hilbert space in particular, in a way that is independent of the coordinates we use to describe directions in these spaces.
We have seen in the previous chapter how useful wave mechanics can be in solving physical problems. But wave mechanics has several limitations. It describes physical states by means of wave functions, which are functions of the positions of the particles of the system, but why should we single out position as the fundamental physical observable? For instance, we might want to describe states in terms of probability amplitudes for particles to have certain values of the momentum or energy rather than the position. A more fundamental limitation: There are attributes of physical systems that cannot be described at all in terms of the positions and momenta of a set of particles. One of these attributes is spin , which will be the subject of Chapter 4. Another is the value of the electric or magnetic field at some point in space, treated in Chapter 11. This chapter will describe the principles of quantum mechanics in a formalism which is essentially the “transformation theory” of Dirac, mentioned briefly in Section 1.4. This formalism generalizes both the wave mechanics of Schrödinger and the matrix mechanics of Heisenberg, and is sufficiently comprehensive to apply to any sort of physical system. States The first postulate of quantum mechanics is that physical states can be represented as vectors in a sort of abstract space known as Hilbert space . Before getting into Hilbert space, I need to say a bit about vectors in general. In kindergarten we learn that vectors are quantities with both magnitude and direction. Later, when we study analytic geometry, we learn instead to describe a vector in d dimensions as a string of d numbers, the components of the vector. This latter approach lends itself well to calculation, but in some respects the kindergarten version is better, because it allows us to describe relations among vectors without specifying a coordinate system. For instance, a statement that one vector is parallel to a second vector, or perpendicular to a third, has nothing to do with how we choose our coordinate system.
Abstract In this chapter we present the mathematical framework of describing wave functions as vectors in a Hilbert space and observables as Hermitian operators on such a vector space. We describe the mathematical formulation of these ideas for finite and infinite-dimensional cases via the Dirac notation, and discuss the example of the Hilbert space of photon polarization. Important classes of linear operators on Hilbert spaces are discussed, including projectors, Hermitian and self-adjoint operators, as well as unitary operators. As an important centre piece for the mathematical language of quantum mechanics we present the spectral theorem. We discuss the subtleties of this framework in infinite dimensions, giving a brief overview of the distributional aspects of quantum mechanics and the conceptually important problem of finding self-adjoint extensions via the Weyl-von Neumann theorem
We summarize below some of the postulates and definitions basic to our formalism, and present some important results based on these postulates. The formalism is purely mathematical in nature with very little physics input, but it provides the structure within which the physical concepts that will be discussed in the later chapters will be framed. State vectors It is important to realize that the Quantum Theory is a linear theory in which the physical state of a system is described by a vector in a complex, linear vector space. This vector may represent a free particle or a particle bound in an atom or a particle interacting with other particles or with external fields. It is much like a vector in ordinary three-dimensional space, following many of the same rules, except that it describes a very complicated physical system. We will be elaborating further on this in the following. The mathematical structure of a quantum mechanical system will be presented in terms of the notations developed by Dirac. A physical state in this notation is described by a “ket” vector, |〉, designated variously as |α〉 or |ψ〉 or a ket with other appropriate symbols depending on the specific problem at hand. The kets can be complex. Their complex conjugates, |〉 * , are designated by 〈| which are called “bra” vectors. Thus, corresponding to every ket vector there is a bra vector. These vectors are abstract quantities whose physical interpretation is derived through their so-called “representatives” in the coordinate or momentum space or in a space appropriate to the problem under consideration.
We review the postulates of quantum mechanics with respect to the representation of physical states and measurable quantities, their time evolution, and the interpretation of measurements. We first formulate the postulates in terms of wave functions and differential operators, and then reformulate them in the abstract Hilbert space of state vectors, using Dirac’s notations. Improper states subject to Dirac’s delta normalization are introduced, and the space of physical states is extended to include them. The postulates are rationalized by associating each Hermitian linear operator with a complete orthonormal system of its eigenvectors, where measurement probabilities depend on the projections of these eigenvectors on the system’s state vector. Particularly, wave functions are identified as projections of state vectors on the position operator eigenstates. State vectors representing multidimensional systems are formulated as tensor products of vectors in their subspaces. Finally, we address the general uncertainty relations in simultaneous measurements of different observables.