A topic in the Open Knowledge Graph — a free, open map of 15,290 topics and the order to learn them in.

Dirac Notation (Bra-Ket Notation)

College Depth 79 in the knowledge graph ☐ I know this ☆ Set as goal
3,680topics build on this
350prerequisites beneath it
See this on the map →
Hilbert Space FormalismMatrix Operations+1 more→→Kets, Bras, and Hilbert Space DualityObservables and Quantum Operators+2 more
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

Understanding Zero → The Number Zero → Counting to Five → Counting to 10 → Counting to 20 → Counting a Set of Objects Up to 20 → Cardinality: The Last Number Counted → Matching Numerals to Quantities → Subitizing Small Quantities → Addition Within 10 → Number Bonds to 10 → Addition Within 20 → Doubles and Near Doubles → Doubles Facts Within 10 → Near Doubles Facts Within 20 → Mental Math Strategies for Addition → Mental Math: Adding and Subtracting Tens → Addition Within 100 → Repeated Addition as Multiplication → Multiplication as Equal Groups → Multiplication: Arrays → Basic Multiplication Facts (0s, 1s, 2s, 5s, 10s) → Multiplication Facts Within 100 → Division as Equal Sharing → Division as Grouping (Measurement Division) → Division: Grouping (Repeated Subtraction) Model → Division: Fair Sharing Model → Division as Equal Sharing → Division as Grouping → Basic Division Facts → Division Facts Within 100 → Multiplication and Division Fact Families → Relationship Between Multiplication and Division → Division Facts as Inverse of Multiplication → Remainders and Quotients in Division → Division Word Problems → Multi-Step Word Problems → Solving Multi-Step Word Problems → Multiplication Word Problems → Division Word Problems → Introduction to Long Division → Factors and Multiples → Prime and Composite Numbers → Equivalent Fractions → Relating Fractions and Decimals → Decimal Place Value → Integers and the Number Line → Comparing and Ordering Integers → Absolute Value → Adding Integers → Subtracting Integers → Multiplying Integers → Dividing Integers → Unit Rates → Proportions → Percent Concept → Converting Between Fractions, Decimals, and Percents → Operations with Rational Numbers → Two-Step Equations → Solving Multi-Step Equations → Equations with Variables on Both Sides → Angle Pairs: Complementary, Supplementary, and Vertical → Parallel Lines and Transversals → Corresponding Angles → Alternate Interior Angles → Triangle Angle Sum Theorem → Exterior Angle Theorem → Triangle Inequality Theorem → Similar Triangles: AA Similarity → Similar Triangles: SSS and SAS Similarity → Proportions in Similar Triangles → Right Triangle Trigonometry Introduction → Sine, Cosine, and Tangent Ratios → Trigonometric Ratios Review → Vectors in Two Dimensions → Vector Operations: Addition, Subtraction, and Scalar Multiplication → Dot Product (Inner Product in R^n) → Inner Product Spaces → Hilbert Space Formalism → Dirac Notation (Bra-Ket Notation)

Longest path: 80 steps · 350 total prerequisite topics

Prerequisites (3)

Leads To (4)