Observable
Builds on Hilbert spaceSelf-adjoint operatorUnbounded operatorDensely defined operatorSpectrum of an operatorSpectral theorem for unbounded self-adjoint operatorsProjection-valued measure
Definition
Let be the complex Hilbert space of a quantum system. An observable of the system is a self-adjoint operator on . Here may be unbounded: it is a linear map on a dense subspace , and self-adjoint means , with equal domains.
Remarks
The spectrum of an observable is a closed subset of ; its points are the possible results of a measurement of . By the spectral theorem, has a unique projection-valued measure on the Borel sets of with . The eigenvectors of are the states in which a measurement of gives one value with certainty.
Example: the matrix on is self-adjoint, so it is an observable. Its spectrum is , and .
Non-example: on is not an observable, since . It has the single eigenvalue but no basis of eigenvectors, so it has no projection-valued measure.
For unbounded operators, being symmetric, on , is weaker than self-adjoint, and only self-adjoint operators have a spectral theorem. Generalised measurements are described by positive operator-valued measures instead of single observables.
Reading path
To understand this page from the ground up, read these 20 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
- Hilbert space concept
- Hilbert space adjoint concept
- Identity matrix object
- Matrix definition
- Projection-valued measure concept
- Self-adjoint operator concept
- Spectrum of an 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
- Observable definition
Further reading
About this page
| Tag | VKGVCS860K |
|---|---|
| URI | m2://VKGVCS860K |
| Kind | definition |
| Writing | W0 stub |
| MSC | 81Q10, 47B25, 46N50 |
| Defines | Observable |
| Uses | Hilbert space, Self-adjoint operator, Unbounded operator, Densely defined operator, Spectrum of an operator, Spectral theorem for unbounded self-adjoint operators, Projection-valued measure |
| 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.
What links here
No page links to this page yet.