Skip to main content
University Quantum Mechanics I

University Quantum Mechanics I · Operators and Observables · 3.07

Completeness: expanding any state on an eigenbasis

For a discrete spectrum, write psi as a sum of cₙ ψₙ and get cₙ = integral ψₙ* ψ dx by Fourier trick, orthonormality doing the work, so sum |cₙ|² = 1 and |cₙ|² is the probability of measuring aₙ; for p-hat, whose spectrum is continuous, that sum becomes a Fourier integral, named here and used later.

Course-map guide · not a complete lesson or simulation

Scope & orientation

What this subsection covers

For a discrete spectrum, write psi as a sum of cₙ ψₙ and get cₙ = integral ψₙ* ψ dx by Fourier trick, orthonormality doing the work, so sum |cₙ|² = 1 and |cₙ|² is the probability of measuring aₙ; for p-hat, whose spectrum is continuous, that sum becomes a Fourier integral, named here…

A strong response uses overlap integrals tabulated as a grid and states where the model stops being reliable.

Reasoning checklist

Evidence, assumptions and limits

01

Assumptions to state

State the system, observable, approximation, and conditions held fixed before using a model.

02

Evidence to collect

On a discretised line, is a central-difference momentum matrix Hermitian while a forward-difference one is not, and do a discretised Hamiltonian's eigenvalues come out real with orthogonal eigenvectors?

Read the complete note

On a discretised line, is a central-difference momentum matrix Hermitian while a forward-difference one is not, and do a discretised Hamiltonian's eigenvalues come out real with orthogonal eigenvectors? Useful evidence includes both momentum matrices with their Hermiticity residual max|M - M-dagger|; eigenvalues from numpy.linalg.eig, not eigh, with imaginary parts reported, because eigh assumes Hermiticity, reads only one triangle and returns real eigenvalues by construction, so it cannot test the claim; a pairwise overlap table for the lowest six Hamiltonian eigenvectors; ⟨x⟩ and σₓ for one of them; and the grid spacing, with discretisation named as the source of any residual.

03

Limits to state

This GioPhysics course map is an adaptable learning sequence, not academic credit, accreditation, or a universal university syllabus.

Read the complete note

This GioPhysics course map is an adaptable learning sequence, not academic credit, accreditation, or a universal university syllabus. It is a first dedicated quantum-mechanics course, distinct from University Physics V, which covers quantum mechanics alongside atomic, nuclear and particle physics in twenty units: this course is narrower, slower, and teaches the linear algebra it needs rather than assuming it. Hydrogen appears here as an introduction, with the full radial derivation belonging to a second course. A midterm examination is assumed around week 8. Follow your institution's published scope, notation, laboratory programme, and assessment rules. A result should be checked against units, signs, limiting cases, and the conditions under which its model was derived.

Diagram & examples

Work the claim before choosing an equation

Interactive concept map

Follow the model from claim to evidence.

01 · Physical claimCompleteness: expanding any state on an eigenbasis

For a discrete spectrum, write psi as a sum of cₙ ψₙ and get cₙ = integral ψₙ* ψ dx by Fourier trick, orthonormality doing the work, so sum |cₙ|² = 1 and |cₙ|² is the probability of measuring aₙ; for p-hat, whose spectrum is continuous, that sum becomes a Fourier integral, named here and used later.

Read the complete note

For a discrete spectrum, write psi as a sum of cₙ ψₙ and get cₙ = integral ψₙ* ψ dx by Fourier trick, orthonormality doing the work, so sum |cₙ|² = 1 and |cₙ|² is the probability of measuring aₙ; for p-hat, whose spectrum is continuous, that sum becomes a Fourier integral, named here and used later. Completeness is asserted, not proved, and holds in mean square only. That a measurement yielding aₙ leaves the system described by ψₙ is stated as a postulate; whether anything physically collapses is an interpretive question this course flags rather than settles.

02 · RepresentationThe subsection's claim

Model, evidence, and boundary

03 · TestPrediction before measurement

What is the strongest test of a claim about Completeness: expanding any state on an eigenbasis?

04 · Evidence & boundaryDecide, then qualify

On a discretised line, is a central-difference momentum matrix Hermitian while a forward-difference one is not, and do a discretised Hamiltonian's eigenvalues come out real with orthogonal eigenvectors?

Read the complete note

On a discretised line, is a central-difference momentum matrix Hermitian while a forward-difference one is not, and do a discretised Hamiltonian's eigenvalues come out real with orthogonal eigenvectors? Useful evidence includes both momentum matrices with their Hermiticity residual max|M - M-dagger|; eigenvalues from numpy.linalg.eig, not eigh, with imaginary parts reported, because eigh assumes Hermiticity, reads only one triangle and returns real eigenvalues by construction, so it cannot test the claim; a pairwise overlap table for the lowest six Hamiltonian eigenvectors; ⟨x⟩ and σₓ for one of them; and the grid spacing, with discretisation named as the source of any residual.

Interactive diagram for Completeness: expanding any state on an eigenbasis: follow the physical claim through its representation, proposed test, evidence, and model boundary.

modelModel, evidence, and boundary turns the stated idea into a representation that can make a prediction.

Example questions

Try the reasoning before revealing the structure.

Diagram check

What is the strongest test of a claim about Completeness: expanding any state on an eigenbasis?

Quick check

Test the reasoning, not recall

What is the strongest test of a claim about Completeness: expanding any state on an eigenbasis?

Choose an answer to test the model.