Name__________________________
Dirac Notation Basics
ο·
ο·
For all questions involving a generic operator πΜ corresponding to a physical observable π, assume that it only
depends on position π₯Μ and momentum πΜ .
For a hermitian operator πΜ , the notation β¨Ξ¨|πΜ|Ξ¨β© with πΜ between two vertical lines is the same as β¨Ξ¨|πΜ Ξ¨β©, i.e.,
β¨Ξ¨|πΜ|Ξ¨β© = β¨Ξ¨|πΜ Ξ¨β© since a hermitian operator can act forward or backwards on the state, i.e., β¨Ξ¨|πΜ|Ξ¨β© =
β¨πΜ β Ξ¨|Ξ¨β© = β¨πΜ Ξ¨|Ξ¨β©. If an operator is not hermitian (does not correspond to a physical observable), one should
assume that the operator acts on the state after it (to the right of the operator), even if β¨Ξ¨|πΜ |Ξ¨β© notation is used.
The goals of this tutorial are to help you learn that:
ο·
ο·
ο·
ο·
ο·
The state of a quantum system |πΏβͺ is a vector
o that lies in an π dimensional Hilbert space.
o that has all possible information about the quantum system.
Scalar products (or inner products) β¨π|πβ©
o are defined as the component of one state |πβͺ along another state |πβͺ.
o Are, in general, complex numbers (the number could have dimensions).
Hilbert Space
o A quantum state |Ξ¨βͺ is a vector in the Hilbert space.
o The dimensionality of the Hilbert space is given by the number of linearly independent vectors that span the
Hilbert space.
o The eigenstates of a non-degenerate hermitian operator can be chosen as the basis vectors for the Hilbert
space because they span the space.
Expansion of a state using a complete set of eigenstates
o A state |Ξ¨βͺ can be written in terms of a linear superposition of a complete set of eigenstates {|ππ βͺ, π =
1, 2, 3 β¦ π} of any hermitian operator πΜ .
o The coefficients in the expansion, β¨ππ |Ξ¨β©, are the components of the state |Ξ¨βͺ along the direction of the
eigenstates |ππ βͺ of a hermitian operator πΜ .
Μ in a generic state |Ξ¨βͺ
Probability of measuring an eigenvalue of a hermitian operator πΈ
o
ο·
ο·
2
is the probability
of measuring ππ for an observable π
For orthonormal eigenstates |πβͺ with continuous eigenvalues π, |β¨π|Ξ¨β©|2 ππ is the probability of measuring
the observable π in a narrow range between π and π + ππ.
Μ in a generic state |Ξ¨βͺ in terms of eigenstates and eigenvalues of πΈ
Μ
Expectation value of an operator πΈ
o The expectation value of a hermitian operator πΜ with eigenstates {|ππ βͺ, π = 1,2, β¦ π} and discrete
2
eigenvalues ππ in a generic state |Ξ¨βͺ is β¨Ξ¨|πΜ |Ξ¨β© = βπ
π=1 ππ |β¨ππ |Ξ¨β©| .
o The expectation value of a hermitian operator πΜ with eigenstates |πβͺ and continuous eigenvalues π in a
β
generic state |Ξ¨βͺ is β¨Ξ¨|πΜ |Ξ¨β© = β«ββ π|β¨π|Ξ¨β©|2 ππ
Completeness relation
Μ
o The completeness relation can be written as βπ
π=1|ππ βͺβ©ππ | = πΌ , where {|ππ βͺ, π = 1, 2, 3 β¦ π} form an
Μ
orthonormal basis for an N dimensional vector space. πΌ is the identity operator.
β
o The completeness relation can be written as β«ββ|πβͺβ©π|ππ = πΌΜ, where |πβͺ form an orthonormal basis for an
infinite dimensional vector space.
o The completeness relation is useful for decomposing a state vector into its components along each of the basis
vectors.
Projection operator
o The projection operator |ππ βͺβ©ππ | acting on a state |Ξ¨βͺ returns a vector in the direction of |ππ βͺ together with a
number β¨ππ |Ξ¨β©, which is the component of a state vector along the direction of the orthonormal basis vector
|ππ βͺ.
o The projection operator |πβͺβ©π| acting on a state |Ξ¨βͺ returns a vector in the direction of |πβͺ together with a
number β¨π|Ξ¨β©, which is the component of a state vector along the direction of the orthonormal basis vector
|πβͺ.
o
ο·
For orthonormal eigenstates {|ππ βͺ, π = 1, 2, 3 β¦ π} with discrete eigenvalues ππ , qn ο
State of the quantum mechanical system
1. Choose all of the following statements that are correct.
(I)
In Dirac notation, eigenstates of a physical observable are generally labeled by the corresponding
eigenvalue. For example, position eigenstates |π₯βͺ are labeled by eigenvalues π₯, and momentum
eigenstates |πβͺ are labeled by eigenvalues π.
(II)
The quantum state written in Dirac notation, |Ξ¨βͺ, lies in an abstract Hilbert space.
(III)
The state |Ξ¨βͺ contains all information one can obtain about the system at a given time.
(a)
(I) and (II) only
(b)
(II) and (III) only
(c)
(I) and (III) only
(d)
All of the above
2. Choose all of the following statements that are correct.
(I)
The state vector in Dirac notation, |Ξ¨βͺ, is an abstract vector without reference to a coordinate
system.
(II)
The infinite dimensional column vector β¨π₯|Ξ¨β© = Ξ¨(π₯) when considered as a function of x is the
wavefunction of the system at a given time. Ξ¨(π₯) = β¨π₯|Ξ¨β© is obtained when the position
eigenstates |π₯βͺ are chosen as the basis vectors to write state |Ξ¨βͺ.
(III)
The state vector |Ξ¨βͺ and wavefunction ο (x) have the same information, but ο (x) is a vector
with position eigenstates as the coordinate axes and ο (x) for each x denotes the component of
|Ξ¨βͺ along the direction of |π₯βͺ.
(a) (I) and (II) only
(b) (I) and (III) only
(c) (II) and (III) only
(d) All of the above.
Summary of state vectors:
ο·
ο·
ο·
ο·
ο·
The state of a quantum system is given by a vector |Ξ¨βͺ in an abstract Hilbert space.
The state |Ξ¨βͺ contains all possible information about the quantum system at a given time.
The state |Ξ¨βͺ makes no reference to a coordinate system until the basis vectors are chosen.
The infinite dimensional column vector β¨π₯|Ξ¨β© = Ξ¨(π₯) when considered as a function of π₯ is the wavefunction of
the system at a given time. Ξ¨(π₯) = β¨π₯|Ξ¨β© is obtained when the position eigenstates |π₯βͺ are chosen as the basis
vectors to write state |Ξ¨βͺ.
The State vector |Ξ¨βͺ and wavefunction ο (x) have the same information, but ο (x) is a vector with position
eigenstates as the coordinate axes and ο (x) for each x denotes the component of |Ξ¨βͺ along the direction of |π₯βͺ.
2
Scalar product (Inner product)
3. The scalar product, or inner product, gives the component of a state, e.g., |Ξ¨2 βͺ, along another state, e.g., |Ξ¨1 βͺ. Choose
all of the following notations that are correct for the scalar product that gives the component of state |Ξ¨2 βͺ along state
|Ξ¨1 βͺ?
β¨Ξ¨1 |Ξ¨2β©
(I)
|Ξ¨1 βͺβ©Ξ¨2 |
(II)
|Ξ¨1 βͺ|Ξ¨2 βͺ
(III)
(a) (I) only
(b) (II) only
(c) (III) only
(d) (I) and (II) only
4. Which one of the following equations is correct in general?
|Ξ¨1 βͺβ©Ξ¨2 | = β¨Ξ¨1|Ξ¨2 β©
(a)
β¨Ξ¨2 |Ξ¨1β© = β¨Ξ¨1|Ξ¨2 β©
(b)
β¨Ξ¨1 |Ξ¨2β© = β¨Ξ¨2|Ξ¨1 β©β , where * denotes complex conjugate.
(c)
|Ξ¨1 βͺβ©Ξ¨2 | = β¨Ξ¨2|Ξ¨1 β©β , where * denotes complex conjugate.
(d)
5. Since the wave function is normalizable, the scalar product of a normalized state vector |Ξ¨βͺ with itself gives
(a) β¨Ξ¨|Ξ¨β© = 1
(b) β¨Ξ¨|Ξ¨β© = 0
(c) β¨Ξ¨|Ξ¨β© can be any finite number depending on the state.
(d) β¨Ξ¨|Ξ¨β© = π ππ , where οͺ is a phase factor that depends on the state.
Summary of scalar products (inner products):
ο·
ο·
ο·
ο·
A scalar product of state |Ξ¨2 βͺ with |Ξ¨1 βͺ, β¨Ξ¨1|Ξ¨2 β© , is defined as the component of state |Ξ¨2 βͺ along state |Ξ¨1 βͺ.
A scalar product is not a vector. In general, the scalar product is a complex number.
Interchanging the βbraβ and βketβ states in a scalar product produces its complex conjugate: β¨Ξ¨2 |Ξ¨1 β© = β¨Ξ¨1 |Ξ¨2β©β .
The scalar product of a normalized state |Ξ¨βͺ with itself gives 1, i.e., β¨Ξ¨|Ξ¨β© = 1.
Hilbert Space
6. Which one of the following statements is true about the Hilbert space corresponding to a spin ½ system?
(a) The Hilbert space is two dimensional and the spin operator corresponding to each of the spin components has two
eigenstates that form a complete set of basis vectors.
(b) The Hilbert space is three dimensional because the physical laboratory space is three dimensional and Hilbert space is
a mathematical representation of the real world.
(c) The Hilbert space is infinite dimensional, because a finite dimensional space cannot be the Hilbert space for any
quantum mechanical system.
(d) None of the above.
3
7. Choose all of the following statements that are correct about the eigenstates of an operator in a Hilbert space.
(I)
An operator in a finite dimensional Hilbert space can have a finite number of discrete
eigenvalues.
(II)
An operator in an infinite dimensional Hilbert space can have infinitely many discrete
eigenvalues.
(III)
An operator in an infinite dimensional Hilbert space can have infinitely many continuous
eigenvalues.
(a) (I) and (II) only
(b) (I) and (III) only
(c) (II) and (III) only
(d) All of the above.
8. Suppose π is an observable for a given quantum system and its corresponding operator in the Hilbert space is πΜ .
Choose all of the following statements that are correct.
(I)
πΜ must be a hermitian operator.
(II)
πΜ = πΜ β
(III)
β¨π|πΜ πβ© = β¨πΜ π|πβ© for all states |πβͺ and |πβͺ in the Hilbert space.
A. 1 only B. 2 only C. 3 only D. 1 and 2 only E. all of the above
9. βAny state vector in a Hilbert space can be expanded as a linear combination of a complete set of eigenstates of a
hermitian operator.β Which one of the following does this statement imply? Note: Answer choices below may be
correct statements but may not be implied by the statement in this question.
(a) All hermitian operators commute with each other and have simultaneous eigenstates.
(b) Eigenstates of a Hermitian operator can be chosen to be the coordinates (basis vectors) in the Hilbert space.
(c) All hermitian operators have real eigenvalues that correspond to results of measurements in physical space.
(d) The given statement is incorrect. The correct statement should read βAny vector in Hilbert space can only be
expanded as a linear superposition of a complete set of energy eigenstates (eigenstates of the Hamiltonian operator).β
10. βAny state vector in the Hilbert space can be expanded as a linear superposition of a complete set of eigenstates of a
hermitian operatorβ is a correct statement. Choose all of the following that can be examples of the mathematical
representation of this statement.
|Ξ¨βͺ = βπ πΆπ |ππ βͺ, where |ππ βͺ are energy eigenstates for a given quantum system and πΆπ =
(I)
β¨Οπ |Ξ¨β© are appropriate expansion coefficients.
β
|Ξ¨βͺ = β«ββ πΆπ₯ |π₯βͺππ₯, where |π₯βͺ are position eigenstates and πΆπ₯ = β¨π₯|Ξ¨β© = Ξ¨(π₯) are appropriate
(II)
expansion coefficients.
|Ξ¨βͺ = βπ πΆπ β¨Ξ¨|ππ β©, where |ππ βͺ are energy eigenstates and πΆπ = β¨Οπ |Ξ¨β© are appropriate
(III)
expansion coefficients.
(a) (I) only
(b) (I) and (II) only
(c) (II) and (III) only
(d) All of the above.
Summary of Hilbert Space:
ο· Quantum state vectors are vectors in the Hilbert space.
ο· State vectors can be expanded as a linear superposition of a complete set of eigenstates of a hermitian operator.
ο· The dimensionality of the Hilbert space is given by the number of linearly independent vectors in the space. The
eigenstates of a hermitian operator span the space which means that they form a complete set of basis vectors for
the Hilbert space.
ο· When the measurement of an observable is performed in physical space, the values one measures are the
eigenvalues of the corresponding hermitian operator.
4
Checkpoint 1
Consider the following conversation between student A and student B:
ο· Student A: The Hilbert space for a particle interacting with a one dimensional infinite square well is
infinite dimensional. Also, the position eigenstates form a complete set of basis vectors for the space
and the position of the particle has infinitely many values within the width of the square well.
ο· Student B: I disagree. The Hilbert space for a particle interacting with a one dimensional infinite
square well is one dimensional, because the well is one dimensional and the particle is confined in one
dimension.
Which student, if either, do you agree with and why?
Expansion of a state vector in terms of a complete set of eigenstates
11. Earlier you learned that any vector in the Hilbert space can be expanded as a linear superposition of a complete set of
eigenstates of a hermitian operator πΜ . For an operator πΜ with eigenstates {|ππ β©, π = 1,2,3 β¦ π} (which form an
orthonormal basis for an π dimensional vector space) and discrete eigenvalues ππ , choose all of the following
statements that are correct about the coefficients πΆπ in the expansion
|Ξ¨βͺ = βπ πΆπ |ππ βͺ.
(I)
To find πΆπ , we take the scalar product with an eigenstate |ππ βͺ. Then,
β¨ππ |Ξ¨β© = βπ πΆπ β¨ππ |ππ β© = βπ πΆπ πΏππ = πΆπ .
(II)
To find πΆπ , we take the scalar product with an eigenstate |ππ βͺ. Then,
β¨ππ |Ξ¨β© = βπ πΆπ β¨ππ |ππ β© = βπ πΆπ .
(III)
The coefficient πΆπ for a particular eigenstate |ππ βͺ in the expansion |Ξ¨βͺ = βπ πΆπ |ππ βͺ is related to
the probability of measuring the corresponding eigenvalue ππ when a measurement of observable
π is made in the state |Ξ¨βͺ.
(a) (I) and (II) only
(b) (I) and (III) only
(c) (II) and (III) only
(d) All of the above.
5
12. Consider the following conversation between Student A and Student B.
ο· Student A: In the preceding question, statement (II) seems to make more sense than statement (I), because we are
using the expansion |Ξ¨βͺ = βπ πΆπ |ππ βͺ as opposed to |Ξ¨βͺ = βπ πΆπ |ππ βͺ.
ο· Student B: But m and n are just βdummyβ indices. They both can range from 1 to N, where N is the dimension of
the Hilbert space.
ο· Student A: What is the point of changing the label from π to π in the expansion of |Ξ¨βͺ (|Ξ¨βͺ = βπ πΆπ |ππ βͺ β
|Ξ¨βͺ = βπ πΆπ |ππ βͺ) in statement (I)?
ο· Student B: If you take the scalar product of |Ξ¨βͺ = βπ πΆπ |ππ βͺ with an eigenstate β¨ππ | with the same index π, like
in statement (II), you obtain β¨ππ |Ξ¨β© = βπ πΆπ β¨ππ |ππ β© = βπ πΆπ . You end up with a sum over all πΆπ βs. This is
incorrect. You must take the inner product with a different βdummyβ indexed state |Ξ¨βͺ = βπ πΆπ |ππ βͺ, so that you
get β¨ππ |Ξ¨β© = βπ πΆπ β¨ππ |ππ β© = βπ πΆπ πΏππ = πΆπ . Instead of β¨ππ |ππ β© = 1, you obtain β¨ππ |ππ β© = πΏππ which gets
rid of the summation. This is the correct answer, which is just a single coefficient πΆπ , not a sum βπ πΆπ .
ο· Student A: I see. If we choose a different dummy index for state |Ξ¨βͺ = βπ πΆπ |ππ βͺ when taking the inner
product, we get β¨ππ |ππ β© = πΏππ , which gets rid of the sum over π.
Do you agree with Student Bβs explanation? Explain why or why not.
13. Consider the following conversation between Student A and Student B.
ο· Student A: For an operator with a discrete eigenvalue spectrum, such as energy, we can talk about measuring each
of the eigenvalues. We can calculate the probabilities for measuring each of them individually.
ο· Student B: I agree. But for an operator that has a continuous eigenvalue spectrum, like position or momentum, we
should talk about measuring a value in a narrow range. For example, the probability of measuring position
between x and x ο« dx is |Ξ¨(π₯)|2 ππ₯.
Do you agree with Student A and/or Student B? Explain your reasoning.
14. For an arbitrary physical observable π with discrete eigenvalues ππ and eigenstates |ππ βͺ, where
π = 1,2, β¦ π, write the probability of measuring eigenvalue ππ as a result of a measurement of π performed when
the system is in the state |Ξ¨βͺ.
6
15. Earlier you learned that any vector in the Hilbert space can be expanded as a linear superposition of a complete set of
eigenstates of a hermitian operator πΜ . In the case of an operator πΜ with continuous eigenvalues π and eigenstates |πβ©
(which form an orthonormal basis for an infinite dimensional vector space), choose all of the following statements
that are correct about the coefficients πΆπ in the expansion
β
|Ξ¨βͺ = β«ββ πΆπ |πβͺππ? (Hint: This is similar to question 11, except the eigenvalues are continuous).
(I)
To find πΆπ , we take the scalar product with an eigenstate |πβͺ. Then,
β
β
β¨π|Ξ¨β© = β«ββ πΆπβ² β¨π|π β² β©ππ β² = β«ββ πΆπβ² πΏ(π β π β² )ππ β² = πΆπ .
(II)
Physically, the coefficient πΆπ is the component of the state |Ξ¨βͺ along the direction of the
eigenvector |πβͺ (with eigenvalue π).
β
(III)
The coefficient πΆπ = β¨π|Ξ¨β© in the expansion |Ξ¨βͺ = β«ββ πΆπ |πβͺππ is related to the probability of
measuring the eigenvalue π when observable π is measured in the state |Ξ¨βͺ.
(a) (I) and (II) only
(b) (I) and (III) only.
(c) (II) and (III) only
(d) All of the above.
16. Earlier, you learned that for an operator πΜ corresponding to a physical observable π with eigenstates {|ππ βͺ, π =
1,2, β¦ π} with discrete eigenvalues ππ
β¨ππ |Ξ¨β© is the probability amplitude for measuring ππ if we measure observable π
(I)
|β¨ππ |Ξ¨β©|2 is the probability for measuring ππ if we measure observable π.
(II)
Before Dirac notation was introduced, physicist Max Born interpreted the probabilistic nature of quantum mechanics and
proposed the following statements for the continuous case for observable π₯ which has a continuous eigenvalue spectrum:
(I)
(II)
(III)
Ξ¨(π₯) is the probability density amplitude for measuring position.
|Ξ¨(π₯)|2 is the probability density for measuring position.
|Ξ¨(π₯)|2 ππ₯ is the probability of finding the particle in the narrow range between x and x ο« dx when
position of the particle is measured.
Write each of these expressions (probability density amplitude, probability density, and probability of measuring position
in a narrow range between π₯ and π₯ + ππ₯) in Dirac notation.
(a)
Ξ¨(π₯) =
(b)
|Ξ¨(π₯)|2 =
(c)
|Ξ¨(π₯)|2 ππ₯ =
17. Dirac extended Bornβs interpretation to apply to measurements of not only position but any physical observable.
Keeping in mind your answers to the two preceding questions, for an arbitrary physical observable π with eigenstates
|πβͺ with continuous eigenvalues π, write the probability of measuring observable π between π and π + ππ as a
result of a measurement performed when the system is in the state |Ξ¨βͺ.
7
18. The expectation value of an operator is the average value of the observable measured over many identical
experiments performed on identically prepared systems in state |Ξ¨βͺ. For a general quantum mechanical hermitian
operator πΜ , the expectation value is represented by β¨Ξ¨|πΜ |Ξ¨β©. If πΜ has discrete eigenvalues ππ and eigenstates |ππ βͺ
where π = 1,2, β¦ π, letβs write β¨Ξ¨|πΜ |Ξ¨β© in terms of the eigenstates |ππ βͺ and eigenvalues ππ .
(a)
Write |Ξ¨βͺ as a linear superposition of the eigenstates of πΜ .
(b)
Consider the following conversation between two students:
ο· Student A: If we write |Ξ¨βͺ as a linear superposition of the eigenstates of πΜ , we obtain
|Ξ¨βͺ = βπ
π=1 ππ |ππ βͺ, where ππ is the expansion coefficient.
ο· Student B: I agree with you. But we know that the expansion coefficients, ππ , are the eigenvalues ππ
of the operator πΜ . So we can write |Ξ¨βͺ as a linear superposition of the eigenstates of πΜ like this:
|Ξ¨βͺ = βπ
π=1 ππ |ππ βͺ.
With whom do you agree? Explain your reasoning.
(c)
The linear superposition of |Ξ¨βͺ in terms of the eigenstates of πΜ can be written as
|Ξ¨βͺ = βπ
π=1 ππ |ππ βͺ, where ππ is the expansion coefficient and gives the component of the state |Ξ¨βͺ along the
direction of the nth eigenstate |ππ βͺ. Write ππ explicitly in terms of |Ξ¨βͺ and |ππ βͺ.
(d)
What is the probability of measuring ππ when you measure observable π in the state |Ξ¨βͺ?
(e)
Consider the following conversation between Student A and Student B:
ο· Student A: |β¨ππ |Ξ¨β©|2 is the probability of measuring ππ when you measure observable π in the state
ο . The expectation value is the average value of a large number of measurements performed on
identically prepared systems. Since we know the probability of measuring each eigenvalue ππ of the
2
operator πΜ , the expectation value is β¨Ξ¨|πΜ |Ξ¨β© = βπ
π=1 ππ |β¨ππ |Ξ¨β©| .
ο· Student B: No. You cannot think about expectation value physically as an average of a large number
of measurements on identically prepared systems. We must use our expansion |Ξ¨βͺ = βπ
π=1 ππ |ππ βͺ, to
calculate the expectation value β¨Ξ¨|πΜ |Ξ¨β©.
With whom, if either, do you agree? Explain your reasoning.
8
(f)
Student A is correct. The expectation value is the average value of a large number of measurements on
identically prepared systems, which can be represented mathematically by the equation β¨Ξ¨|πΜ |Ξ¨β© =
π
2
βπ
π=1 ππ |β¨ππ |Ξ¨β©| . But letβs follow Student Bβs method using the expansion |Ξ¨βͺ = βπ=1 ππ |ππ βͺ to prove that
2
Μ
the equation β¨Ξ¨|πΜ |Ξ¨β© = βπ
π=1 ππ |β¨ππ |Ξ¨β©| , suggested by Student A, is correct. Act with π on the state
π
|Ξ¨βͺ = βπ=1 ππ |ππ βͺ. What do you obtain?
(g)
So far, we have πΜ |Ξ¨βͺ = βπ
π=1 ππ ππ |ππ βͺ. Using your answer from part (c), insert what you obtained for ππ
|π
βͺ
into πΜ |Ξ¨βͺ = βπ
π
π
π=1 π π π .
(h)
π
Μ
We now have πΜ |Ξ¨βͺ = βπ
π=1 ππ |ππ βͺ β¨ππ |Ξ¨β©. Now take the inner product of π |Ξ¨βͺ = βπ=1 ππ |ππ βͺ β¨ππ |Ξ¨β© with
a βbraβ state β©Ξ¨| to find the expectation value β¨Ξ¨|πΜ|Ξ¨β©. Does your answer agree with Student Aβs statement
from part (e)? If not, go back and check your work with a partner to obtain the equation for the expectation
value of observable πΜ in terms of its complete set of eigenstates {|ππ βͺ, π = 1,2, β¦ π} and eigenvalues ππ , i.e.,
2
β¨Ξ¨|πΜ|Ξ¨β© = βπ
π=1 ππ |β¨ππ |Ξ¨β©| .
(i)
Repeat the calculation for the expectation value β¨Ξ¨|πΜ |Ξ¨β© of an operator πΜ with eigenstates |πβͺ (which form
a basis in an infinite dimensional vector space) with continuous eigenvalues π.
19. Suppose an operator πΜ corresponding to a physical observable π has eigenstates {|ππ βͺ, π = 1,2, β¦ π} with discrete
2
eigenvalues ππ . Which of the following are correct about the expression βπ
π=1|β¨ππ |Ξ¨β©| ?
π
2
βπ=1|β¨ππ |Ξ¨β©| = 1
(I)
2
βπ
(II)
π=1|β¨ππ |Ξ¨β©| is equal to a real number.
π
βπ=1|β¨ππ |Ξ¨β©|2 is equal to a complex number that does have an imaginary part.
(III)
(a)
(II) only
(b)
(III) only
(c)
(I) and (II) only
(d)
None of the above.
9
20. Consider the following conversation between two students about the preceding question:
2
ο· Student A: I donβt see how βπ
π=1|β¨ππ |Ξ¨β©| = 1.
ο· Student B: Let me show you.
1. We can start with β¨Ξ¨|Ξ¨β© = 1, since any state vector can be normalized to 1.
2. Insert the identity operator, written in terms of the eigenstates {|ππ βͺ, π = 1,2, β¦ π} of the operator πΜ , like
this: 1 = β¨Ξ¨|Ξ¨β© = βπ
π=1β¨Ξ¨|ππ β©β¨ππ |Ξ¨β©.
3. Using the fact that β¨Ξ¨|ππ β©β = β¨ππ |Ξ¨β©, we can write
π
2
1 = β¨Ξ¨|Ξ¨β© = βπ
π=1β¨Ξ¨|ππ β©β¨ππ |Ξ¨β© = βπ=1|β¨ππ |Ξ¨β©| .
ο· Student A: I see. Is there any physical significance to β¨ππ |Ξ¨β©?
ο· Student B: Yes. β¨ππ |Ξ¨β© is the probability amplitude and |β¨ππ |Ξ¨β©|2 is the probability for measuring ππ if we
measure observable π.
2
ο· Student A: So based on the mathematical expression βπ
π=1|β¨ππ |Ξ¨β©| = 1, the probabilities of measuring
different eigenvalues ππ when we measure the observable π must add up to 1.
Do you agree with Student A and Student B? Explain your reasoning.
Summary of the expansion of a state vector in terms of a complete set of eigenstates:
ο·
We can write the state vector in terms of a linear superposition of the energy eigenstates, position eigenstates, or
eigenstates of any other hermitian operator since each of them spans the space.
o If πΜ has eigenstates |ππ βͺ ( π = 1,2, β¦ π ) with discrete eigenvalues ππ , then
|Ξ¨βͺ = βπ
π=1 ππ |ππ βͺ, in which ππ is the component of the state |Ξ¨βͺ along |ππ βͺ, i.e., ππ = β¨ππ |Ξ¨β©.
β
Μ
o If π has eigenstates |πβͺ with continuous eigenvalues π, then |Ξ¨βͺ = β« ππ |πβͺ ππ, in which ππ is the
ββ
o
component of the state |Ξ¨βͺ along the eigenstate |πβͺ, i.e., ππ = β¨π|Ξ¨β©.
If a hermitian operator πΜ has a discrete eigenvalue spectrum, the expansion of a state vector |Ξ¨βͺ in terms
of the eigenstates |ππ βͺ of the hermitian operator is a sum. If a hermitian operator πΜ has a continuous
eigenvalue spectrum, the expansion of a state vector vector |Ξ¨βͺ in terms of the eigenstates |πβͺ of the
hermitian operator is an integral.
o
For discrete eigenvalues ππ , qn ο
2
is the probability of measuring ππ for an observable π when the
system is in the state ο .
For continuous eigenvalues π, |β¨π|Ξ¨β©|2 ππ is the probability of measuring an observable π in a narrow
range between π and π + ππ when the system is in the state |Ξ¨βͺ.
The expectation value of a hermitian operator πΜ in a generic state |Ξ¨βͺ is the average value of the observable π
measured over many identical experiments performed on identically prepared systems in state |Ξ¨βͺ.
o In a generic state |Ξ¨βͺ, the expectation value for an operator πΜ with eigenstates |ππ βͺ (π = 1, 2, β¦ π) with
2
discrete eigenvalues ππ is β¨Ξ¨|πΜ |Ξ¨β© = βπ
π=1 ππ |β¨ππ |Ξ¨β©|
o In a generic state |Ξ¨βͺ, the expectation value for an operator πΜ with eigenstates |πβͺ with continuous
β
eigenvalues π is β¨Ξ¨|πΜ |Ξ¨β© = β« π|β¨π|Ξ¨β©|2 ππ
o
ο·
ββ
10
Completeness Relation
The completeness relation can be written in terms of orthonormal eigenstates |ππ βͺ of an operator πΜ with discrete
Μ
eigenvalues ππ . Mathematically, the completeness relation is βπ
π=1|ππ βͺβ©ππ | = πΌ , where {|ππ βͺ, π = 1, 2, 3 β¦ π} is an
orthonormal basis for an N dimensional Hilbert space and IΛ is the identity operator which can be represented by an π ×
π identity matrix. Completeness (of a set of basis vectors, e.g., eigenstates of an operator corresponding to a physical
observable) means that an arbitrary state vector |Ξ¨βͺ can be written in terms of the complete set of basis vectors.
21. a) Act with the identity operator πΌΜ, written in terms of orthonormal eigenstates |ππ βͺ of an operator πΜ with discrete
eigenvalues ππ , on an arbitrary state vector |Ξ¨βͺ. What do you obtain?
b) Explain your results from part (a) in a sentence.
π
22. So far we have πΌΜ|Ξ¨βͺ = βπ
π=1|ππ βͺβ©ππ |Ξ¨βͺ. If |Ξ¨β© = βπ=1 ππ |ππ βͺ, which one of the following is the correct expression
for the coefficients ππ along the state |ππ βͺ in the expansion of |Ξ¨β©?
(a)
ππ = β¨ππ |Ξ¨β©
(b)
ππ = β¨ππ |ππ β©
(c)
ππ = |β¨ππ |Ξ¨β©|2
(d)
ππ = β¨Ξ¨|Ξ¨β©
π
The identity operator acting on an arbitrary state |Ξ¨βͺ is πΌΜ|Ξ¨βͺ = βπ
π=1|ππ βͺβ©ππ |Ξ¨βͺ = βπ=1 ππ |ππ βͺ. This shows that a
generic state |Ξ¨βͺ can be written in terms of a complete set of eigenstates which span the Hilbert space. We often use the
completeness relation to decompose a generic state |Ξ¨βͺ into its components along each of the basis vectors (eigenstates of
a hermitian operator can be chosen to be the basis vectors in the Hilbert space).
Μ
23. Re-calculate expectation value of πΜ in state |Ξ¨βͺ, β¨Ξ¨|πΜ |Ξ¨β©, by using the completeness relation βπ
π=1|ππ βͺβ©ππ | = πΌ
inserted into the expression β¨Ξ¨|πΜ |Ξ¨β© and compare to your answer for question 18 part (h).
11
24. The completeness relation can also be written in terms of the eigenstates of an operator πΜ with a continuous
eigenvalue spectrum. The completeness relation corresponding to a hermitian operator πΜ with eigenstates |πβͺ with
β
continuous eigenvalues π is β«ββ|πβ©β¨π|ππ = πΌΜ, where πΌΜ is an infinite dimensional identity matrix.
(a)
What is the result of πΌΜ (completeness relation written in terms of a complete set of eigenstates |πβͺ) acting
on |Ξ¨βͺ?
(b)
β
So far have |Ξ¨βͺ = πΌΜ|Ξ¨βͺ = β«ββ|πβ©β¨π|Ξ¨β©ππ. Explain whether β¨π|Ξ¨β© is a number, operator, or vector.
(c)
Consider the following conversation between Student A and Student B:
ο· Student A: The component of |Ξ¨βͺ along the basis vector |πβͺ is ππ = β¨π|Ξ¨β©, which is a number.
β
β
So we are free to move β¨π|Ξ¨β© in the integral |Ξ¨β© = πΌΜ|Ξ¨β© = β«ββ|πβ©β¨π|Ξ¨β©ππ = β«βββ¨π|Ξ¨β©|πβͺππ.
β
So |Ξ¨β© = β«ββ ππ |πβ©ππ.
ο· Student B: I disagree with you. We cannot simply move β¨π|Ξ¨β© around inside the integral, like
β
β
this β«ββ|πβ©β¨π|Ξ¨β©ππ β β«βββ¨π|Ξ¨β©|πβͺππ.
With whom, if either, do you agree? Explain your reasoning.
(d)
Using your answers to the preceding parts (a-c), what is the expression for an arbitrary state |Ξ¨β© written in
terms of continuous eigenstates |πβͺ of a hermitian operator πΜ and numbers ππ = β¨π|Ξ¨β©?
(e)
Use your answers to the preceding parts (a-d) to calculate the expectation value β¨Ξ¨|πΜ |Ξ¨β© in terms of
eigenstates |πβͺ with continuous eigenvalues π of a hermitian operator πΜ .
12
25. Which one of the following relations is correct about an operator πΜ with eigenstates {|ππ β©, π = 1,2,3 β¦ π} (which
form an orthonormal basis for an π dimensional vector space) and discrete eigenvalues ππ ?
(a)
πΜ = βπ
π=1 ππ |ππ βͺ
(b)
πΜ = βπ
π=1 ππ β©ππ |ππ βͺ
(c)
πΜ = βπ
π=1 ππ |ππ βͺβ©ππ |
Μ
(d)
π = ππ |ππ βͺ
26. To check your answer to the preceding question, you must show that the operator πΜ acting on any generic state gives
the same result as the right hand side of the expression in the preceding question.
(a)
Act with the operator πΜ on a generic state |Ξ¨β©, like this: πΜ |Ξ¨β©. Now insert the identity operator, written in
terms of the orthonormal eigenstates {|ππ β©, π = 1,2,3 β¦ π} of the operator πΜ , between the operator πΜ and
generic state |Ξ¨β©.
(b)
π
Μ
Μ
So far, you should have πΜ |Ξ¨β© = βπ
π=1 π |ππ βͺβ©ππ |Ξ¨βͺ = βπ=1 ππ |ππ βͺβ©ππ |Ξ¨βͺ . We can think of π |Ξ¨β© like this:
π
π
{πΜ }|Ξ¨β© = {βπ=1 πΜ |ππ βͺβ©ππ |}|Ξ¨βͺ = {βπ=1 ππ |ππ βͺβ©ππ |}|Ξ¨βͺ , such that the terms in the curly brackets must be
equal. So the operator πΜ = βπ
π=1 ππ |ππ βͺβ©ππ |.
(d)
Using your answers to the preceding parts (a)-(c), determine the expression for a hermitian operator πΜ with
eigenstates |πβͺ with continuous eigenvalues π in terms of the eigenstates |πβͺ and eigenvalues π.
Summary of the completeness relation:
ο· A complete set of orthonormal eigenstates of a hermitian operator πΜ with discrete or continuous eigenvalues can
be used to write the completeness relation.
ο· The completeness relation is useful for decomposing a state vector into its components along each of the basis
vectors.
Μ
o The completeness relation for basis vectors with a discrete eigenvalue spectrum is βπ
π=1|ππ βͺβ©ππ | = πΌ ,
where {|ππ βͺ, π = 1, 2, 3 β¦ π} is an orthonormal basis for an N dimensional vector space (e.g., formed
with a complete set of eigenstates |ππ βͺ with eigenvalues ππ of an operator πΜ corresponding to an
observable π).
o The completeness relation for basis vectors with a continuous eigenvalue spectrum is
β
β«ββ|πβ©β¨π|ππ = πΌΜ, where |πβͺ is an orthonormal basis for an infinite dimensional vector space (e.g.,
formed with a complete set of eigenstates |πβͺ with eigenvalues π of an operator πΜ corresponding to an
observable π).
ο· The identity operator doesnβt change the vector it acts on.
ο· An operator πΜ with a complete set of orthonormal eigenstates {|ππ β©, π = 1,2,3 β¦ π} with discrete eigenvalues
ππ can be written as πΜ = βπ
π=1 ππ |ππ βͺβ©ππ |.
ο· An operator πΜ with a complete set of orthonormal eigenstates |πβͺ with continuous eigenvalues π can be written
β
as πΜ = β«ββ π|πβͺβ©π|ππ.
13
Checkpoint 2
Choose all of the following statements which are correct for a given quantum system about an operator πΜ that
corresponds to a physical observable π with discrete eigenvalues ππ and eigenstates |ππ βͺ:
|Ξ¨βͺ = βπ πΆπ |ππ βͺ, where πΆπ = β¨ππ |Ξ¨β© are expansion coefficients.
(I)
β¨ππ |Ξ¨β© is the probability of measuring ππ in a generic state |Ξ¨β©.
(II)
|πΆπ |2 = |β¨ππ |Ξ¨β©|2 is the probability of measuring ππ in a generic state |Ξ¨β©.
(III)
(a)
(b)
(c)
(d)
(e)
(I) only
(II) only
(I) and (II) only
(I) and (III) only
None of the above.
Projection Operator
27. Which one of the following statements is correct about the expression |ππ βͺβ©ππ |, where {|ππ βͺ, π = 1,2,3, β¦ π} form an
orthonormal basis for an N dimensional vector space?
(a) |ππ βͺβ©ππ | is equal to the number 1.
(b) |ππ βͺβ©ππ | is a scalar, but one cannot determine what number it is equal to without knowing what |ππ βͺ is explicitly.
(c) |ππ βͺβ©ππ | is an outer product, so it is an operator.
(d) |ππ βͺβ©ππ | is a vector.
28. Act on a generic state |Ξ¨β© with the operator |ππ βͺβ©ππ |. That is, |ππ βͺβ©ππ |Ξ¨βͺ. Which one of the following statements
correctly describes what you obtain?
(a) You get back the same state |Ξ¨β©, because |ππ βͺβ©ππ | is the identity operator.
(b) You get the projection of |Ξ¨β© along the direction of |ππ βͺ. β©ππ |Ξ¨βͺ is the component of |Ξ¨β© along the direction of |ππ βͺ.
The vector |ππ βͺ, which multiplies the coefficient β©ππ |Ξ¨βͺ, gives the direction of the projected vector.
(c) You get the same state |Ξ¨β© back, with the corresponding eigenvalue.
(d) It cannot be determined from the given information. The state |Ξ¨β© has to be given explicitly in position representation
for a given quantum system to be able to calculate the answer.
29. Consider the following conversation between Student A and Student B.
ο· Student A: I thought that |ππ βͺβ©ππ | was equal to the identity operator. Wasnβt that what we had learned earlier in
this tutorial? How is it that the same expression is the identity operator and the projection operator at the same
time?
ο· Student B: The expression that was equal to the identity operator was βπ
π=1|ππ βͺβ©ππ |, where there is a sum over a
complete set of basis vectors. Applying that on a state |Ξ¨β© would give the same state back. An example of a
projection operator is |ππ βͺβ©ππ |. Acting with |ππ βͺβ©ππ | on a state |Ξ¨β© gives the projection of that state along the
direction of |ππ βͺ as follows:
|ππ βͺ
The vector
multiplying
the inner
product
β©ππ |Ξ¨βͺ
Inner product of |Ξ¨β© with
|ππ βͺ equals the component
of |Ξ¨β© along the direction
of |ππ βͺ
Do you agree with Student Bβs explanation? Explain why or why not.
14
Summary of the projection operator:
ο·
ο·
ο·
The projection operator |ππ βͺβ©ππ | returns the component of a state vector along the direction of a vector |ππ βͺ.
Unlike the identity operator, the projection operator acting on a state vector need not return the same state vector
back.
The projection operator formed with orthonormal eigenstates of a hermitian operator πΜ with discrete or
continuous eigenvalues has a similar affect on a generic state |Ξ¨βͺ as follows:
o |ππ βͺβ©ππ | is a projection operator, e.g., written in terms of orthonormal eigenstates |ππ βͺ with discrete
eigenvalues ππ of an operator πΜ . The projection operator |ππ βͺβ©ππ | projects a generic state |Ξ¨βͺ along the
direction of vector |ππ βͺ.
o |πβͺβ©π| is a projection operator, e.g., written in terms of orthonormal eigenstates |πβͺ with continuous
eigenvalues π of an operator πΜ . The projection operator |πβͺβ©π| projects a generic state |Ξ¨βͺ along the
direction of vector |πβͺ.
Checkpoint 3
Assume we have a generic vector |πΊβͺ = π|πβͺ + π|πβͺ + π|πβͺ in a three dimensional Hilbert space where
π, π, and π are complex numbers and |πβͺ, |πβͺ and |πβͺ form an orthonormal basis.
a. Write the projection operator that projects |πΊβͺ along the basis vector |πβ©.
b. Use the projection operator you constructed to find the components of state |πΊβͺ along the direction
|πβ©.
c. Act with the identity operator, written in terms of the basis vectors |πβͺ, |πβͺ, and |πβͺ on the vector
|πΊβͺ.
d. Write down, in your own words, the difference between a projection operator and the identity
operator based upon your answers to the preceding parts.
15
Answers to Checkpoints
Checkpoint 1:
Student A. There are an infinite number of values of position in a one dimensional infinite square well.
Checkpoint 2:
(d)
Checkpoint 3:
a. |πβͺβ©π|
b. |πβͺβ©π|πΊβͺ = π|πβͺ
c. |πβͺβ©π|πΊβͺ + |πβͺβ©π|πΊβͺ + |πβͺβ©π|πΊβͺ = π|πβͺ + π|πβͺ + π|πβͺ = |πΊβͺ
d. The identity operator acting on a state gives the same state back. A projection operator acting on a state gives
a component of the state along a basis vector times a basis vector.
16
© Copyright 2026 Paperzz