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 moreKets, 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 ZeroThe Number ZeroCounting to FiveCounting to 10Counting to 20Counting a Set of Objects Up to 20Cardinality: The Last Number CountedMatching Numerals to QuantitiesSubitizing Small QuantitiesAddition Within 10Number Bonds to 10Addition Within 20Doubles and Near DoublesDoubles Facts Within 10Near Doubles Facts Within 20Mental Math Strategies for AdditionMental Math: Adding and Subtracting TensAddition Within 100Repeated Addition as MultiplicationMultiplication as Equal GroupsMultiplication: ArraysBasic Multiplication Facts (0s, 1s, 2s, 5s, 10s)Multiplication 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 100Multiplication and Division Fact FamiliesRelationship Between Multiplication and DivisionDivision Facts as Inverse of MultiplicationRemainders and Quotients in DivisionDivision Word ProblemsMulti-Step Word ProblemsSolving Multi-Step Word ProblemsMultiplication Word ProblemsDivision Word ProblemsIntroduction to Long DivisionFactors and MultiplesPrime and Composite NumbersEquivalent FractionsRelating Fractions and DecimalsDecimal Place ValueIntegers and the Number LineComparing and Ordering IntegersAbsolute ValueAdding IntegersSubtracting IntegersMultiplying IntegersDividing IntegersUnit RatesProportionsPercent ConceptConverting Between Fractions, Decimals, and PercentsOperations with Rational NumbersTwo-Step EquationsSolving Multi-Step EquationsEquations with Variables on Both SidesAngle Pairs: Complementary, Supplementary, and VerticalParallel Lines and TransversalsCorresponding AnglesAlternate Interior AnglesTriangle Angle Sum TheoremExterior Angle TheoremTriangle Inequality TheoremSimilar Triangles: AA SimilaritySimilar Triangles: SSS and SAS SimilarityProportions in Similar TrianglesRight Triangle Trigonometry IntroductionSine, Cosine, and Tangent RatiosTrigonometric Ratios ReviewVectors in Two DimensionsVector Operations: Addition, Subtraction, and Scalar MultiplicationDot Product (Inner Product in R^n)Inner Product SpacesHilbert Space FormalismDirac Notation (Bra-Ket Notation)

Longest path: 80 steps · 350 total prerequisite topics

Prerequisites (3)

Leads To (4)