Skip to main content
University Quantum Mechanics I

University Quantum Mechanics I · Dirac Notation and Quantum State Space · 10.04

Orthogonality, normalisation, and ⟨m|n⟩ = δₘₙ

Why eigenkets of one Hermitian operator with distinct eigenvalues are orthogonal, proved by evaluating ⟨m|A|n⟩ two ways rather than assumed, and why ⟨ψ|ψ⟩ = 1 is a choice of scale that fixes nothing physical.

Course-map guide · not a complete lesson or simulation

Scope & orientation

What this subsection covers

Why eigenkets of one Hermitian operator with distinct eigenvalues are orthogonal, proved by evaluating ⟨m|A|n⟩ two ways rather than assumed, and why ⟨ψ|ψ⟩ = 1 is a choice of scale that fixes nothing physical.

A strong response uses truncated basis sums drawn over ψ(x) 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

How fast does the partial sum of |n⟩⟨n| over infinite-well eigenkets approach the identity for a chosen state, and where does the missing norm show up in position space?

Read the complete note

How fast does the partial sum of |n⟩⟨n| over infinite-well eigenkets approach the identity for a chosen state, and where does the missing norm show up in position space? Useful evidence includes coefficients cₙ = ⟨n|ψ⟩ by numerical overlap, the running sum of |cₙ|² against N, truncated reconstructions drawn over ψ(x), the residual norm 1 minus that sum, and three test functions compared - smooth and vanishing at the walls, kinked, and deliberately not vanishing at the walls - with coefficients falling as 1/n³, 1/n² and 1/n and Gibbs overshoot appearing only at the genuine jump, never at the kink, where convergence is merely slower.

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 claimOrthogonality, normalisation, and ⟨m|n⟩ = δₘₙ

Why eigenkets of one Hermitian operator with distinct eigenvalues are orthogonal, proved by evaluating ⟨m|A|n⟩ two ways rather than assumed, and why ⟨ψ|ψ⟩ = 1 is a choice of scale that fixes nothing physical.

Read the complete note

Why eigenkets of one Hermitian operator with distinct eigenvalues are orthogonal, proved by evaluating ⟨m|A|n⟩ two ways rather than assumed, and why ⟨ψ|ψ⟩ = 1 is a choice of scale that fixes nothing physical. A degenerate eigenvalue fixes only a subspace, not a basis inside it, so Gram-Schmidt is done by hand.

02 · RepresentationThe subsection's claim

Model, evidence, and boundary

03 · TestPrediction before measurement

What must be stated before selecting an equation for Orthogonality, normalisation, and ⟨m|n⟩ = δₘₙ?

04 · Evidence & boundaryDecide, then qualify

How fast does the partial sum of |n⟩⟨n| over infinite-well eigenkets approach the identity for a chosen state, and where does the missing norm show up in position space?

Read the complete note

How fast does the partial sum of |n⟩⟨n| over infinite-well eigenkets approach the identity for a chosen state, and where does the missing norm show up in position space? Useful evidence includes coefficients cₙ = ⟨n|ψ⟩ by numerical overlap, the running sum of |cₙ|² against N, truncated reconstructions drawn over ψ(x), the residual norm 1 minus that sum, and three test functions compared - smooth and vanishing at the walls, kinked, and deliberately not vanishing at the walls - with coefficients falling as 1/n³, 1/n² and 1/n and Gibbs overshoot appearing only at the genuine jump, never at the kink, where convergence is merely slower.

Interactive diagram for Orthogonality, normalisation, and ⟨m|n⟩ = δₘₙ: 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 must be stated before selecting an equation for Orthogonality, normalisation, and ⟨m|n⟩ = δₘₙ?

Quick check

Test the reasoning, not recall

What must be stated before selecting an equation for Orthogonality, normalisation, and ⟨m|n⟩ = δₘₙ?

Choose an answer to test the model.