So I began skimming L. Takhatajan's Quantum Mechanics For Mathematicians, and saw the mathematical formulation of QM that he uses (page 51). (The PDF file is available here.)
I've only taken a basic physics-style quantum mechanics class and was wondering if someone could explain how the operator definition of states (Axiom 3) corresponds to what is typically taught in a physics class (e.g. the L2 functions).
I recently saw the post about the rigged Hilbert space formulation of QM and am also interested in how these axioms compare to Takhatajan's. Does Takhatajan's definition of states somehow include (or can be identified with) the eigenfunctions of the position and momentum operators?
Answer
A3. Set of states S of a quantum system with a Hilbert space H consists of all positive (and hence self-adjoint) M∈S1 such that TrM=1. Pure states are projection operators onto one-dimensional subspaces of H. For ϕ∈H, ||ϕ||=1, the corresponding projection is denoted by Pϕ. All other states are called mixed states.
The only thing that's different from what's taught in an introductory quantum mechanics class is the terminology, and it's actually not far from more advanced treatments.
In an introductory QM class, one would learn that the physical states are vectors in a Hilbert space over the field of complex numbers, being represented with kets |ϕ⟩. At the beginning one might get the impression that the only relevant Hilbert spaces are those that correspond to L2-space of square-integrable functions over some domain (in the position basis, the wavefunctions ϕ(x)=⟨x|ϕ⟩). But that is not really so, e.g., an electron state would have an ordinary square-integrable wavefunction and spinor components, so the Hilbert space is more complicated than that.
(Occasionally, one would see a footnote about "rigged Hilbert spaces", and that indicates that the vector definition is not quite right. The state kets are actually linear functionals, but as far as most physicists are concerned, that's just mathematician-talk for formally including things like the Dirac delta function and other distributions that are technically not functions. There are other issues that rigged Hilbert spaces address, e.g., restricting the space of states so that one can always apply momentum and position operators as much as necessary.)
Later, one learns that a more general system where the state is uncertain but statistically predictable is described by a density matrix: ρ=∑kpk|ϕk⟩⟨ϕk|,
What Takhtajan is doing is simply taking "mixed states" as primary, rather than something introduced fairly long into basic QM. For any state vector, there is a one-dimensional subspace consisting of all scalar multiples of that vector. Thus, this part:
Pure states are projection operators onto one-dimensional subspaces of H.
just means that the density matrix is in the form |ϕ⟩⟨ϕ|, which is the projection operator onto the subspace spanned by |ϕ⟩, exactly what one learns in physics class.
If this is unclear, recall from Euclidean vector algebra that ˆx⋅→y is the compomenent of →y that lies along a unit vector ˆx. So the projection of →y onto ˆx is the vector ˆx(ˆx⋅→y). In a general Hilbert space, the situation is analogous with the inner product replacing the dot product: the projection of |ψ⟩ onto a (normalized) |ϕ⟩ is |ϕ⟩⟨ϕ|ψ⟩.
No comments:
Post a Comment