I start by briefly overviewing quantum mechanics as it is standardly formulated and by discussing the question of whether this standard formulation needs to be supplemented by an interpretation. The overview is based mainly on Von Neumann (1932, 1955) and its aim is not to give the reader a crash course in quantum mechanics, but to present those parts of the standard formalism which I use in this book. For a more complete treatment, the reader may consult the standard textbooks on quantum mechanics or, for instance, Sudbery (1986) or Redhead (1987). The standard formulation The standard formulation of quantum mechanics can be introduced in four steps. The first step is that in quantum mechanics one describesthe physics of a system by means of a Hilbert space ℋ. This Hilbert space is a complex linear vector space on which an inner product is defined. Let's adopt the convention (please consult the Glossary at the end of the book for notational conventions) that α refers to a system and that is the Hilbert space that is associated with this system. Let ∣ℋ α 〉 denote a vector in ℋ α and let 〈ψ α ∣φ α 〉 be the inner product between the vectors ∣ψ α 〉 and ∣φ α 〉.
Quantum mechanics is like a pot: it is almost indestructible and extremely rigid, but also very flexible because you can use any ingredients for your soup. Göran Lindblad Quantum mechanics Although our first four chapters have been very mathematical, quantum mechanics has never been very far away. Let us recall how the mathematical structure of quantum mechanics is usually summarized at the end of a first course in the subject. First of all the pure states are given by vectors in a Hilbert space. If that Hilbert space is finite dimensional it is simply the vector space equipped with a scalar product of the particular kind that we called a Hermitian form in Eq. (3.82). Actually a pure state corresponds to an entire equivalence class of vectors; this is usually treated in such a way that the vectors are normalized to have length one and afterwards vectors differing by an overall phase e iø are regarded as physically equivalent. In effect then the space of pure states is the complex projective space; as always in this book n = N – 1. The notation used in quantum mechanics differs from what we have used so far. We have denoted vectors in by Z α , while in quantum mechanics they are usually denoted by a ket vector. We can think of the index α as just a label telling us that Z α is a vector, and then these two notations are in fact exactly equivalent.
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.
From here, we take up the task of reformulating quantum mechanics in the language of inner product space. We start by introducing vector space through the familiar example of a set of finite dimensional, complex, column matrices under addition and multiplication by scalars. The inner product is then introduced as a dot product generalized to complex vectors leading to the idea of an inner product space . This is adequate to show how the concept of a quantum state can be described by a normalized vector in an inner product space so that the state space can be identified with the inner product space. Amplitudes are associated with inner products , and observables with orthonormal bases in this space. Hence the laws of quantum mechanics are reformulated. We then point out that the now reformulated laws are independent of the space of description and the reader is urged to contemplate an universality which would reflect the independence with respect to the representation space . This creates the stage for the introduction of the abstract inner product space and the formulation of quantum mechanics in this setting. The chapter concludes with this description. The transformed laws are now called postulatesof quantum mechanics .
This paper presents a generalization of quantum mechanics from conventional Hilbert space formalism to Banach space one. We construct quantum theory starting with any complex Banach space beyond a complex Hilbert space, through using a basic fact that a complex Banach space always admits a semi-inner product. Precisely, in a complex Banach space
X with a given semi-inner product, a pure state is defined by Lumer \cite{Lumer1961} to be a bounded linear functional on the space of bounded operators determined by a normalized element of
X under the semi-inner product, and then the state space
S(X) of the system is the weakly closed convex set spanned by all pure states. Based on Lumer's notion of the state, we associate a quantum system with a complex Banach space
X equipped with a fixed semi-inner product, and then define a physical event at a quantum state
ω∈S(X) to be a projection
P (bounded operator such that
P2=P) in
X satisfying the positivity condition
0≤ω(P)≤1, and a physical quantity at a quantum state
ω to be a spectral operator of scalar type with real spectrum so that the associated spectral projections are all physical events at
ω. The Born formula for measurement of a physical quantity is the natural pairing of operators with linear functionals satisfying the probability conservation law. A time evolution of the system is governed by a one-parameter group of invertible spectral operators determined by a scalar type operator with the real spectrum, which satisfies the Schrödinger equation. Our formulation is just a generalization of the Dirac-von Neumann formalism of quantum mechanics to the Banach space setting. We include some examples for illustration.