Chapter 1
Mathematical Tools of Quantum Mechanics
1.1Introduction
In classical mechanics the state of a particle is specified by its position and momentum as functions of time. These quantities are real numbers that can, in principle, be measured simultaneously with arbitrary precision. Equations of motion, such as Newton's second law or Hamilton's equations, are ordinary differential equations for these real variables.
In quantum mechanics the situation is fundamentally different:
A physical state is described by a state vector in an abstract complex Hilbert space .
Observable quantities such as position, momentum, and energy are represented by linear operators acting on .
The time evolution of a state is governed by the (linear) Schrödinger equation.
Because of this linear structure, the language of Hilbert spaces, Dirac bra–ket notation, and linear operators is the natural mathematical framework of quantum mechanics.
The goals of this chapter are:
to formulate the basic postulates of quantum mechanics;
to introduce the Hilbert–space structures that realize each postulate (states, operators, and representations);
to organize the material so that different representations (matrix, position, momentum) are seen as the same physics in different bases.
1.2Postulate I: States and Hilbert Space
1.2.1Statement of the Postulate
Postulate I (State Postulate). Every isolated physical system is associated with a complex Hilbert space . The physical state of the system at a given time is represented by a normalized ket :
The ket encodes all physically accessible information about the system. It is not directly observable; only probabilities and expectation values derived from it are measurable.
1.2.2Hilbert Space and Inner Product
A (complex) vector space is a set whose elements are kets , equipped with vector addition and multiplication by complex scalars satisfying the usual linear algebra axioms (closure, associativity, commutativity of addition, distributivity, and existence of and ).
An inner product on is a map
such that, for all kets and all :
Conjugate symmetry: .
Linearity in the second argument: .
Positive definiteness: and implies .
The inner product defines the norm
and two kets are orthogonal if .
A Hilbert space is a complex vector space with an inner product which is complete with respect to the norm ; i.e., every Cauchy sequence of kets in converges to a ket in .
with is a finite-dimensional Hilbert space (spin systems, few-level atoms).
, the space of square-integrable functions with
(1.4)and inner product
(1.5)describes nonrelativistic wave functions in position space.
1.2.3Bases, Orthonormality, and Completeness
A set of kets in is a basis if:
the kets are linearly independent;
every can be written uniquely as
(1.6)
If a basis has elements, is –dimensional; otherwise is infinite–dimensional.
A set of kets is orthonormal if
and complete if any can be expanded as
A complete orthonormal set is called an orthonormal basis.
Completeness can be written in operator form as
where is the identity operator on .
For a continuum of labels we instead have
1.2.4Dirac Notation and State Representations
A physical state is represented by a ket . To each ket we associate a bra via Hermitian conjugation:
The inner product is written as
Course notation convention. From this point onward (including atomic and molecular chapters), the abstract state vector is always written as a ket. Coordinate-space objects such as , , or molecular forms like are treated as representations of kets, never as a separate formalism:
We will switch representations when useful, but the state itself remains or .
Matrix (abstract) representation
In a discrete orthonormal basis , we define the components
We can represent the state as a column vector
and bras as row vectors (complex conjugate transpose)
This is the usual matrix representation used in finite-dimensional quantum systems (two-level atoms, spin-, etc.).
Position representation
The position basis satisfies
The position-space wave function of is
and
Normalization becomes
so is the probability to find the particle near .
Momentum representation
Similarly, the momentum basis satisfies
The momentum-space wave function is
with normalization
Connection between representations
The position and momentum bases are related by
so that
Thus:
Matrix representation: column vector of coefficients .
Position representation: wave function .
Momentum representation: wave function .
They are simply different representations of the same abstract state .
1.3Postulate II: Observables as Operators
1.3.1Statement of the Postulate
Postulate II (Observable Postulate). Every physical observable is represented by a linear Hermitian operator acting on the Hilbert space .
The mathematical objects we need here are:
linear operators on ;
adjoint (Hermitian conjugate) of an operator;
special classes of operators: Hermitian, unitary, projection, identity;
eigenvalues and eigenkets, and the spectral decomposition.
1.3.2Linear Operators and the Adjoint
An operator is a map that sends kets to kets:
It is linear if, for all complex numbers and kets ,
Given an operator , its adjoint is defined by
In a discrete orthonormal basis with matrix elements , the adjoint corresponds to the conjugate transpose:
1.3.3Hermitian Operators (Observables)
An operator is Hermitian (or self–adjoint) if
For Hermitian operators:
all eigenvalues are real;
eigenkets with different eigenvalues are orthogonal;
(under suitable conditions) eigenkets form a complete basis.
If has a discrete, nondegenerate spectrum with orthonormal eigenkets , then
In the presence of a continuous spectrum we write instead
with the corresponding completeness relation
The Hamiltonian , which governs time evolution, is one of the most important Hermitian operators.
1.3.4Identity and Projection Operators
The identity operator is defined by
In an orthonormal basis we have
and in a continuous basis ,
An operator is a projection operator (projector) if
Projectors represent “yes/no’’ questions. For example, if projects onto a subspace , then
is the component of inside ;
projects onto the orthogonal complement.
For a nondegenerate eigenvalue of , the projector onto the eigenspace spanned by is
The spectral decomposition can be written in terms of projectors:
Projectors will appear naturally in the measurement postulate (state reduction) and in decomposing dynamics into discrete and continuum contributions (Rydberg vs. ionization channels).
1.3.5Unitary Operators
An operator is unitary if
Properties:
Unitary operators preserve inner products:
(1.44)They preserve norms and probabilities: .
They represent reversible transformations: change of basis, time evolution of closed systems, symmetry transformations (rotations, translations).
Important examples:
Time-evolution operator generated by the Hamiltonian (Sec. 1.6);
Rotation operators generated by angular momentum;
Change-of-basis operators between different orthonormal bases.
1.3.6Representations of Operators
Just like states, the same abstract operator can be represented in different bases.
Matrix representation in a discrete basis
In an orthonormal basis , the matrix elements of are
If , then
In matrix form,
where and are column vectors of components and is the matrix representing .
Kernels in continuous bases
In the position basis , the kernel of is
and
Examples:
Potential operator :
(1.50)Momentum operator :
(1.51)
In the momentum basis we similarly define
Thus:
Matrix representation: in a discrete basis;
Position representation: kernel ;
Momentum representation: kernel .
1.3.7Functions of Operators
We often encounter functions of operators, such as or . For a Hermitian operator with spectral decomposition
we define
Important special case:
which is the time-evolution operator for a time-independent Hamiltonian.
This spectral calculus is crucial later when we work with mixed discrete (“Rydberg’’) and continuum (“ionization’’) states.
1.4Commutators and the Heisenberg Uncertainty Principle
1.4.1Commutators and Compatible Observables
Given two operators and , their commutator is
If , we say that and are compatible: there exists a basis of common eigenkets such that
Then and can be simultaneously measured with arbitrary precision.
If , no such complete common eigenbasis exists. The corresponding observables cannot, in general, be simultaneously sharp; this is quantified by the uncertainty principle.
Important example in one dimension:
1.4.2Uncertainties and Standard Deviations
For a normalized state and Hermitian operator , define
is the standard deviation of measurement outcomes of in state .
Similarly for :
1.4.3Heisenberg (Robertson) Uncertainty Relation
For any Hermitian operators and and any normalized state ,
Thus, the commutator sets a fundamental lower bound on the product of uncertainties in and .
For position and momentum in one dimension:
This is the standard Heisenberg uncertainty relation. It is a direct consequence of:
the Hilbert–space structure (inner products and norms),
non-commutativity of the corresponding operators.
Later, similar commutator structures appear in:
angular momentum algebra,
ladder operators for the harmonic oscillator,
generators of rotations and other symmetry transformations.
These will be built on top of the operator concepts introduced here.
1.5Postulate III and IV: Measurement and State Reduction
1.5.1Measurement Outcomes and Probabilities
Postulate III (Measurement Postulate). Let be the Hermitian operator associated with an observable , with spectral decomposition
If the system is in state , then a measurement of yields:
in the discrete case, outcome with probability ;
in the continuous case, outcome in with probability .
1.5.2State Reduction (Collapse)
Postulate IV (State Reduction). Immediately after an ideal measurement of yielding the value , the state of the system becomes the corresponding normalized eigenstate (or, more generally, the projection onto the eigensubspace for a degenerate eigenvalue).
This postulate introduces intrinsically probabilistic, non-unitary evolution associated with measurement, in contrast to the unitary evolution governed by the Schrödinger equation.
1.6Postulate V: Time Evolution
1.6.1Schrödinger Equation and Unitary Evolution
Postulate V (Time Evolution). The time evolution of a closed quantum system is governed by the time-dependent Schrödinger equation
where is the Hermitian Hamiltonian of the system.
The formal solution can be written as
where is a unitary operator satisfying
and
For time-independent ,
In the energy eigenbasis ,
so each energy component acquires only a phase factor.
Expectation values become time-dependent through
1.7Postulate VI: Composite Systems
Postulate VI (Composite Systems). For a composite system with subsystems and , whose state spaces are and , the state space of the total system is the tensor product
A general state of the composite system is a ket in . Only a subset of such states can be written as simple products of subsystem states.
1.7.1Tensor Product and Product Basis
Let be an orthonormal basis for and an orthonormal basis for . The tensor product space
has a natural product basis
which we often abbreviate as
If and , then
For example, two spin- particles each have a two-dimensional state space; the composite system has dimension .
The inner product on is defined by
and extended by linearity to arbitrary superpositions.
Any state can be expanded as
with complex coefficients satisfying
for a normalized state.
1.7.2Product States vs. Entangled States
A state of the composite system is called a product state (separable state) if it can be written as
where and are normalized subsystem kets.
Writing
we obtain
Thus, for a product state, the coefficient matrix factorizes as
A state that cannot be written in this form is called entangled. For such states the coefficients do not factorize into a product of a purely -dependent piece and a purely -dependent piece.
Let subsystem and each have basis . A product basis for the composite system is
with the shorthand , etc.
The state
(1.83)is a product state.
The state
(1.84)cannot be written as : it is an entangled state.
In later chapters, tensor-product structures appear when we treat:
multi-electron atoms (electrons );
molecule + radiation field (molecular states photon modes);
nuclear motion + electronic motion (Born–Oppenheimer separation).
1.7.3Operators on Composite Systems
If is an operator on and an operator on , we can define an operator on by
Its action on a product state is
and extended by linearity to superpositions.
Important special cases:
An observable acting only on subsystem :
(1.87)where is the identity on .
An observable acting only on subsystem :
(1.88)
In the product basis ,
At the matrix level, this corresponds to a Kronecker product of matrices.
Expectation values of composite observables are computed as
1.7.4Reduced Descriptions and Partial Trace (Minimal Use)
In many situations we are interested only in one part of a composite system (e.g. electron vs. ionized core, molecule vs. radiation field). To describe subsystem alone, we use a reduced state obtained by tracing over the unobserved subsystem .
A convenient language for this is the density operator. For a normalized pure state of the composite system,
The reduced density operator of subsystem is defined as the partial trace over subsystem :
In a product basis this can be written as
where the bra and ket refer only to subsystem .
Let
and . Using the basis for each subsystem, show that
Thus, although the total state is pure, the reduced state of subsystem is a statistical mixture.
For the present notes, we will use these concepts mainly in simple finite-dimensional examples (e.g. two-level systems, two spin- particles) to:
construct product bases,
distinguish product and entangled states,
interpret measurements on one part of a composite system.
A more systematic treatment of density operators and mixed states appears in advanced courses on quantum information or open quantum systems.
minimally in the present notes.
1.8Homework
The following problems are designed to test your understanding of the material in this chapter. They range from basic exercises to more conceptual questions. Unless stated otherwise, work in Dirac notation.
Hilbert Space, Inner Products, and Bases
Let be a complex vector space with inner product .
Show that for any kets and and any ,
(1.96)Prove the Cauchy–Schwarz inequality:
(1.97)Use the Cauchy–Schwarz inequality to show the triangle inequality for the norm:
(1.98)
Let be an orthonormal basis of a Hilbert space .
Show that any normalized state can be written as
(1.99)and identify in terms of and .
Prove the completeness relation
(1.100)by acting on an arbitrary state .
Suppose is orthogonal to . Express the orthogonality condition in terms of the coefficients and .
Consider a normalized state in with wave functions
(1.101)Write explicitly the Fourier transforms relating and using .
Show that normalization is preserved under the Fourier transform, i.e.,
(1.102)For the Gaussian wave function
(1.103)compute up to an overall phase and check normalization.
Let be an orthonormal basis of a three-dimensional Hilbert space.
Write the column-vector representation of a general state
(1.104)in this basis.
Suppose another orthonormal basis is related by
(1.105)Find the unitary matrix that transforms components from the basis to the basis.
Express the components of in the basis using .
Operators: Hermitian, Unitary, Projectors, and Functions
Let be a Hermitian operator and a normalized state.
Show that the expectation value is always real.
Suppose is an eigenket of with eigenvalue . Show that
(1.106)where .
Conversely, show that if in a normalized state , then must be an eigenket of .
In the basis , an operator is represented by the matrix
(1.107)Check whether is Hermitian.
Find its eigenvalues.
For each distinct eigenvalue, find a corresponding normalized eigenket in the given basis.
Let be a normalized state in and define the operator
(1.108)Show that is Hermitian and that .
For an arbitrary normalized state , interpret physically, and compute .
Show that is also a projector and interpret the subspace onto which it projects.
Let be a unitary operator, .
Show that preserves inner products, i.e.,
(1.109)Prove that if is an eigenket of a Hermitian operator with eigenvalue , then is an eigenket of with the same eigenvalue .
Explain how this shows that unitary transformations correspond to changes of representation that preserve the spectrum of observables.
Let be a Hermitian operator with discrete spectrum .
Define for a real-valued function .
Show that if is real-valued on the spectrum , then is Hermitian.
For the Hamiltonian with eigenvalues , write the spectral decomposition of the time-evolution operator .
Commutators and the Heisenberg Uncertainty Principle
For operators , and scalar , show:
.
.
.
.
In one dimension, the position and momentum operators act in the position representation as
(1.110)Compute and explicitly.
Use the results to show that
(1.111)
Let and be Hermitian operators and a normalized state.
Define and and show that , .
Consider the kets
(1.112)Use the Cauchy–Schwarz inequality to derive the Robertson inequality
(1.113)Apply this to and to obtain the standard Heisenberg uncertainty relation.
Measurement, Time Evolution, and Composite Systems
Let be an observable with nondegenerate discrete spectrum and normalized state .
Show that the probability to obtain the result in a measurement of is .
Show that immediately after obtaining the result , the state becomes (up to an overall phase).
Suppose instead that has a twofold degenerate eigenvalue with orthonormal eigenkets . Write the projector onto the degenerate eigenspace and describe the post-measurement state after observing .
Assume a time-independent Hamiltonian with discrete eigenvalues and eigenkets :
(1.114)A normalized initial state at is
(1.115)Find for using the time-evolution operator.
Show that is time-independent and interpret this physically.
Write the expectation value and verify that it is constant in time.
Consider a composite system made of two spin- particles. The single-particle Hilbert space is spanned by .
Write an orthonormal product basis for the two-particle Hilbert space .
Consider the state
(1.116)Show that cannot be written as a product of single-particle states.
Interpret the physical meaning of such a state in terms of quantum correlations (entanglement).