Dirac Notation (Bra-Ket Notation)

College Depth 58 in the knowledge graph I know this Set as goal
Unlocks 3507 downstream topics
notation hilbert-spaces foundations

Core Idea

Dirac notation compactly represents quantum states and operations using kets |ψ⟩ (column vectors) and bras ⟨ψ| (row vectors). The notation separates abstract state space from coordinate representation and elegantly expresses inner products, operators, and expectation values. It is the standard language of quantum mechanics.

Explainer

From linear algebra, you know that vectors can be represented as column matrices, and that row vectors pair with column vectors to produce scalars via the dot product. Dirac notation extends this idea to the abstract, infinite-dimensional spaces that quantum mechanics requires. A ket |ψ⟩ is an abstract state vector — think of it as a column vector that lives in a Hilbert space rather than ordinary three-dimensional space. Its bra partner ⟨ψ| is the corresponding row vector (the conjugate transpose). The inner product of two states is written ⟨φ|ψ⟩, which is just the abstract version of the dot product you've seen before — a complex number that measures the "overlap" between two states.

The power of the notation becomes clear when you write a basis expansion. If {|n⟩} is an orthonormal basis (⟨m|n⟩ = δ_mn), then any state can be written |ψ⟩ = Σ_n cₙ|n⟩, where cₙ = ⟨n|ψ⟩ are the components. This is exactly the vector-decomposition you did in linear algebra — Dirac notation just strips away the coordinate system, letting you manipulate states without committing to a specific representation. The same state |ψ⟩ can be expressed in the position basis (giving a wavefunction ψ(x) = ⟨x|ψ⟩), the momentum basis, the energy basis, or any other, simply by choosing different bra vectors.

Operators in Dirac notation act on kets from the left to produce new kets: Â|ψ⟩ = |φ⟩. A sandwich like ⟨φ|Â|ψ⟩ is a matrix element — a complex number. This is the inner product of |φ⟩ with the vector Â|ψ⟩, and it corresponds to a single entry in the matrix representation of Â. Expectation values take the form ⟨ψ|Â|ψ⟩, which is the average value of observable A in state |ψ⟩. Notice that the entire apparatus of quantum mechanics — wavefunctions, operators, eigenvalue equations, measurement — can be stated in these terms without ever writing an integral or picking a coordinate system.

A useful mnemonic: bra on the left, ket on the right, the bracket ⟨·|·⟩ is the inner product. The notation is designed so that complex conjugation is handled automatically — ⟨ψ|φ⟩ = ⟨φ|ψ⟩*, just as in linear algebra. Learning to read expressions like ⟨a|Â|b⟩ fluidly — "the matrix element of  between states a and b" — is the key skill that unlocks the rest of quantum mechanics. Everything that follows, from observables to commutation relations to perturbation theory, is written in this language.

Practice Questions 5 questions

Prerequisite Chain

Counting to 10Counting to 20Understanding ZeroThe Number ZeroCounting to FiveOne-to-One CorrespondenceCombining Small Groups Within 5Addition Within 10Addition Within 20Two-Digit Addition Without RegroupingTwo-Digit Addition with RegroupingAddition Within 100Repeated Addition as MultiplicationMultiplication Facts Within 100Division as Equal SharingDivision as Grouping (Measurement Division)Division: Grouping (Repeated Subtraction) ModelDivision: Fair Sharing ModelDivision as Equal SharingDivision as GroupingBasic Division FactsDivision Facts Within 100Two-Digit by One-Digit DivisionDivision with RemaindersRemainders and Quotients in DivisionDivision Word ProblemsIntroduction to Long DivisionFactors and MultiplesPrime and Composite NumbersEquivalent FractionsRelating Fractions and DecimalsDecimal Place ValueIntegers and the Number LineOpposites and Additive InversesAbsolute ValueAdding IntegersSubtracting IntegersMultiplying IntegersDividing IntegersUnit RatesProportionsPercent ConceptConverting Between Fractions, Decimals, and PercentsOperations with Rational NumbersTwo-Step EquationsSolving Multi-Step EquationsEquations with Variables on Both SidesLiteral EquationsSlope-Intercept FormPoint-Slope FormWriting Linear EquationsParallel and Perpendicular Line SlopesGraphing Linear EquationsSystems of Equations — Graphing MethodSystems of Equations — Elimination MethodSystems of Three VariablesMatrices IntroductionMatrix OperationsDirac Notation (Bra-Ket Notation)

Longest path: 59 steps · 232 total prerequisite topics

Prerequisites (2)

Leads To (4)