Quantum theory Basic notions and postulates Fact
Born rule
Builds on Density matrixObservableQuantum stateProjection-valued measureSpectral theorem for unbounded self-adjoint operatorsTrace class operatorProbability measureExpectation value
Statement
Let be a complex Hilbert space, and let be a density operator on . Let be an observable on with projection-valued measure on the Borel sets of . Then is a probability measure on with . The Born rule is the postulate that is the probability distribution of the result of a measurement of in the state . For a pure state with unit vector , . If moreover has an orthonormal basis of eigenvectors with eigenvalues , then the probability of the result is .
Remarks
Each is an orthogonal projection, so , and . Countable additivity follows from that of : write , so , a convex combination of probability measures. The support statement holds because . If , the mean of is the expectation value .
Example: on , let with eigenvectors , , and let . The result has probability and the result has probability ; the phase does not enter.
The rule was proposed by Max Born in 1926. It is a postulate of the theory, not a theorem; within the theory, Gleason's theorem shows that the trace form is the only possible one in dimension at least .
Going deeper
For a student
The rule combines two pieces of the formalism: the spectral measure of the observable, which splits the Hilbert space by measured value, and the state, which weighs the pieces. The mean of the resulting distribution is the expectation value , and its variance is the quantity in the uncertainty relations. For a position measurement on , the spectral projection of is multiplication by the indicator of , and the rule gives , the usual reading of the wave function. Generalised measurements replace the projection-valued measure by a positive operator-valued measure, with the same trace formula.
Reading path
To understand this page from the ground up, read these 25 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Adjoint of an unbounded operator concept
- Borel sigma-algebra concept
- Continuous functional calculus concept
- Densely defined operator concept
- Density matrix concept
- Expectation value concept
- Hilbert space concept
- Hilbert space adjoint concept
- Identity matrix object
- Matrix definition
- Observable concept
- Probability measure concept
- Projection-valued measure concept
- Quantum state concept
- Spectrum of an operator concept
- Trace class operator concept
- Unbounded operator concept
- Transpose definition
- Conjugate transpose definition
- Normal matrix definition
- Unitary matrix definition
- Spectral theorem for normal matrices statement
- Spectral theorem for bounded normal operators statement
- Spectral theorem for unbounded self-adjoint operators statement
- Born rule statement
Where this leads
5 pages build on this one.
Further reading
About this page
| Tag | MF4DYZ4YAX |
|---|---|
| URI | m2://MF4DYZ4YAX |
| Kind | statement, fact |
| Writing | W0 stub |
| MSC | 81P15, 81P16, 46N50 |
| Status | This copy of the site has no build data. Run m2 status MF4DYZ4YAX. |
| About | Observable, Quantum state |
| Uses | Density matrix, Observable, Quantum state, Projection-valued measure, Spectral theorem for unbounded self-adjoint operators, Trace class operator, Probability measure, Expectation value |
| Same as | |
| Changed | 3 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.