This chapter employs the following notation and basic formulae of quantum mechanics; the units are such that h = c = 1. Observables are represented in quantum mechanics by Hermitian operators in Hilbert space. These operators are analogues of finite-dimensional Hermitian operators, but the infinite dimensionality requires some mathematical explanation. The physical fact that not all measurements (preparations) are compatible with each other corresponds to the fact that not all operators commute. The ‘state’ of a physical system is fully determined in one way or another if a complete set of compatible measurements has been carried through such that no further measurement exists which is compatible with, and which is not simply a calculable function of, those measurements already made. Since not all independent measurements are compatible, there exist several non-compatible ‘complete sets of measurements’ for a given physical system, which lead to different aspects of that system.
This chapter employs the following notation and basic formulae of quantum mechanics; the units are such that h = c = 1. Observables are represented in quantum mechanics by Hermitian operators in Hilbert space. These operators are analogues of finite-dimensional Hermitian operators, but the infinite dimensionality requires some mathematical explanation. The physical fact that not all measurements (preparations) are compatible with each other corresponds to the fact that not all operators commute. The ‘state’ of a physical system is fully determined in one way or another if a complete set of compatible measurements has been carried through such that no further measurement exists which is compatible with, and which is not simply a calculable function of, those measurements already made. Since not all independent measurements are compatible, there exist several non-compatible ‘complete sets of measurements’ for a given physical system, which lead to different aspects of that system.
There is a notational discrepancy in how mathematicians and physicists treat Hilbert spaces. In physics, one often works with finite-dimensional Hilbert spaces treated as ℂ n , and hence wants to write the Hermitian inner product as (x, y) = x ∗ y. This definition dictates the use of a Hermitian inner product that is antilinear in the first argument, the convention followed, for example, in Reed & Simon [246]. This is also the choice adopted in Dirac’s bracket notation, whose usage in quantum mechanics is very widespread. Our notation is chosen to extend-as closely as possible-the traditional notation of standard finite-dimensional matrix algebra to arbitrary complex inner product spaces and associated linear operators. In matrix algebra, column vectors and the corresponding matrices with one column are identical objects, row vectors are the linear functionals, and the adjoint is the conjugate transpose. For example, ℍ = ℍ × = ℂ n is the space of column vectors of size n, the dual space ℍ ∗ is the space of row vectors of size n, and the operator product ϕ ∗ ψ of a row vector ϕ ∗ and a column vector ψ is the standard Hermitian inner product of the column vectors ϕ and ψ. We use Greek lower case letters to write vectors, thus emphasizing their intended use as quantum state vectors in quantum mechanics. On the other hand, mathematicians working on reproducing kernel Hilbert spaces use an inner product (x, y) antilinear in the second argument, related to the physicist’s inner product (x, y) by (x, y) =( ). This is the convention followed, for example, in Rudin [252]. Although the two ways of defining the inner product lead to fully equivalent theories, all details look a bit different, a fact that has to be taken into account when reading the literature on the subject. For example, in the description based on the physical tradition, it is preferable to work with the antidual space in place of the dual space used in the mathematical tradition. In functional analysis, linear operators in Hilbert spaces are usually considered each with their own domain. But many computations in quantum mechanics require the consideration of algebras of operators with a common domain. The latter is a Euclidean space, a dense subspace of a Hilbert space. This space and its antidual play in many respects a more basic role in quantum physics than the Hilbert space itself. Therefore, and to avoid possible confusion caused by the different traditions, we give in the present chapter a self-contained introduction to Euclidean spaces and their associated spaces. All proofs are carried out in detail.
In this second chapter we will review the basic mathematical and physical facts about quantum mechanics and establish physical units and notation. Those readers already familiar with the subject can safely jump to the next chapter. An attempt has been made to make the presentation in this chapter as elementary as possible, and yet present the basic facts that will be needed later. There are many beautiful and important topics which will not be touched upon such as self-adjointness of Schrödinger operators, the general mathematical structure of quantum mechanics and the like. These topics are well described in other works, e.g.. Much of the following can be done in a Euclidean space of arbitrary dimension, but in this chapter the dimension of the Euclidean space is taken to be three-which is the physical case-unless otherwise stated. We do this to avoid confusion and, occasionally, complications that arise in the computation of mathematical constants. The interested reader can easily generalize what is done here to the R d , d > 3 case. Likewise, in the next chapters we mostly consider N particles, with spatial coordinates in R 3 , so that the total spatial dimension is 3 N . A Brief Review of the Connection Between Classical and Quantum Mechanics Considering the range of validity of quantum mechanics, it is not surprising that its formulation is more complicated and abstract than classical mechanics. Nevertheless, classical mechanics is a basic ingredient for quantum mechanics. One still talks about position, momentum and energy which are notions from Newtonian mechanics.
Abstract Chapter 9 begins laying a foundation for quantum statistical mechanics with a discussion of relevant topics in quantum mechanics. The fundamental postulates of quantum mechanics are reviewed, beginning with the definition of a quantum state and the introduction of the concept of a state vector in a Hilbert space. The representation of observables as Hermitian operators on Hilbert space vectors is described; it is shown that the eigenvalues of Hermitian operators are real and, therefore, constitute possible outcomes of measurements made on these observables. The notions compatible and non-compatible observables and implication for the measurement problem are presented. The time-dependent Schrödinger equation is introduced as generating the time-evolution of the state vector, and it is shown how to cast the Schrödinger equation into a coordinate basis to yield the wave equation of quantum mechanics. Coordinate and momentum bases and their properties are desribed. Several analytically solvable quantum systems are presented as illustrative examples. The chapter concludes with a discussion of spin and the treatment identical particles
The quantities in physics that can be measured are conventionally denoted observables : entities that can be observed (directly or indirectly) and to which a value in appropriate units can be assigned. Examples include position, momentum, and energy. Unlike in classical physics, the concept of an observable in quantum theory possesses a significance beyond that of the measurable: to each observable there corresponds a unique operator in an abstract, linear vector space. These operators (and others) govern all aspects of quantum systems. Quantum operators act on abstract vectors in the linear space. Especially important are the eigenvectors and eigenvalues of these operators, in particular because some of the eigenvectors are the quantum states mentioned in the preceding chapters. Furthermore, for any operator that is the mathematical image of an observable, its eigenvalues constitute the entire set of values that measurement of the observable can yield . Finally, from the quantum states one can obtain the probabilities for the occurrence of events in the microscopic world, for example, the most likely value that measurement of an observable will yield. The concepts of operators and eigenvalue problems, as well as those of quantal probabilities, of Hermiticity, and of complete sets, were encountered and exemplified in the preceding chapter using the language of differential equations. While much of quantum mechanics could be presented in terms of this language alone, certain fundamental concepts (spin, for instance) cannot be, and it eventually becomes necessary to consider quantum mechanics as a theoretical framework embedded in that abstract linear vector space known as a Hilbert space.
In Chapter 4 we saw that the canonical commutation relations force us to use a space of states of infinite dimension, in which rigor would require the use of advanced mathematical tools. Fortunately, physicists generally need only to carry the results for finite dimension over to infinite dimension with some simple modifications which we shall indicate here, without embarking on sophisticated mathematics. Nevertheless, it is useful to be aware of the lapses in rigor which are customarily made in physics in order to avoid possible unpleasant surprises. The objective of this chapter is, on the one hand, to present some concrete examples illustrating the new features which arise in infinite dimension and, on the other, to give the rules for practical calculations, in particular to write down the spectral decomposition of Hermitian and unitary operators. The mathematics we use is a bit more detailed than commonly found in most quantum mechanics textbooks. The reader interested purely in the practical aspects can proceed directly to Section 7.3, where the results essential for later on are summarized. Hilbert spaces Definitions The space of states of quantum mechanics is a Hilbert space ℌ, which in general is of infinite dimension. The axiomatic definition of a Hilbert space is the following. It is a vector space which, for the needs of quantum mechanics, is defined on complex numbers. The vectors of this space are denoted |ϕ〉. […]
From here, we start relaxing the constraints that we had imposed in the earlier chapters for simplicity, and start moving towards more general scenarios. First, measurements with inadequate resolution, employing insufficiently selective measurement devices have been introduced. In this book they have been termed imprecise measurements. Here, we admit for the first time that all measurements do not prepare quantum states. We argue how the description of imprecise observables requires the use of Hermitian operators with degenerate eigenvalues: degeneracy encodes insufficient selectiveness. The general law of state preparation, the standard jargon for which is “collapse postulate”, is described in its full glory here. We then move on to introduce the idea of compatibility of observables and demonstrate how certain groups of imprecise measurements can collaborate to prepare states. This leads to the important idea of “complete set of compatible observables” and the related concepts of “complete and incomplete measurements”. Subsequently, the association of compatible observables and commuting operators is established which also connects complete set of compatible observables and complete set of commuting operators (both of which are accronymed CSCO, without ambiguity). We also give an explicit illustration of the algebraic construction of a CSCO.