Observable: Difference between revisions
Rkieferbaum (talk | contribs) m v2.05 - Fix errors for CW project (Link equal to linktext) |
WP:BOTREQ: minor clean up, replaced: spin (physics) → Spin (particle physics) |
||
Line 2: | Line 2: | ||
{{About|the use in physics|the use in statistics|Observable variable|the use in [[control theory]]|Observability|the use in [[software engineering]]|Observer pattern}} |
{{About|the use in physics|the use in statistics|Observable variable|the use in [[control theory]]|Observability|the use in [[software engineering]]|Observer pattern}} |
||
{{ |
{{More footnotes|date=May 2009}} |
||
In [[physics]], an '''observable''' is a [[physical quantity]] that can be measured. Examples include [[Position (vector)|position]] and [[momentum]]. In systems governed by [[classical mechanics]], it is a [[real number|real]]-valued "function" on the set of all possible system states. In [[quantum physics]], it is an [[quantum operator|operator]], or [[gauge theory|gauge]], where the property of the [[quantum state]] can be determined by some sequence of [[operational definition|operations]]. For example, these operations might involve submitting the system to various [[electromagnetic field]]s and eventually reading a value. |
In [[physics]], an '''observable''' is a [[physical quantity]] that can be measured. Examples include [[Position (vector)|position]] and [[momentum]]. In systems governed by [[classical mechanics]], it is a [[real number|real]]-valued "function" on the set of all possible system states. In [[quantum physics]], it is an [[quantum operator|operator]], or [[gauge theory|gauge]], where the property of the [[quantum state]] can be determined by some sequence of [[operational definition|operations]]. For example, these operations might involve submitting the system to various [[electromagnetic field]]s and eventually reading a value. |
||
Physically meaningful observables must also satisfy [[linear map|transformation]] laws that relate observations performed by different [[observation|observer]]s in different [[frames of reference]]. These transformation laws are [[automorphism]]s of the state space, that is [[bijection|bijective]] [[transformation (mathematics)|transformation]]s that preserve certain mathematical properties of the space in question. |
Physically meaningful observables must also satisfy [[linear map|transformation]] laws that relate observations performed by different [[observation|observer]]s in different [[frames of reference]]. These transformation laws are [[automorphism]]s of the state space, that is [[bijection|bijective]] [[transformation (mathematics)|transformation]]s that preserve certain mathematical properties of the space in question. |
||
Line 12: | Line 12: | ||
In [[quantum physics]], observables manifest as [[linear operators]] on a [[Hilbert space]] representing the [[state space (physics)|state space]] of quantum states. The eigenvalues of observables are [[real numbers]] that correspond to possible values the dynamical variable represented by the observable can be measured as having. That is, observables in quantum mechanics assign real numbers to outcomes of ''particular measurements'', corresponding to the [[eigenvalue]] of the operator with respect to the system's measured [[quantum state]]. As a consequence, only certain measurements can determine the value of an observable for some state of a quantum system. In classical mechanics, ''any'' measurement can be made to determine the value of an observable. |
In [[quantum physics]], observables manifest as [[linear operators]] on a [[Hilbert space]] representing the [[state space (physics)|state space]] of quantum states. The eigenvalues of observables are [[real numbers]] that correspond to possible values the dynamical variable represented by the observable can be measured as having. That is, observables in quantum mechanics assign real numbers to outcomes of ''particular measurements'', corresponding to the [[eigenvalue]] of the operator with respect to the system's measured [[quantum state]]. As a consequence, only certain measurements can determine the value of an observable for some state of a quantum system. In classical mechanics, ''any'' measurement can be made to determine the value of an observable. |
||
The relation between the state of a quantum system and the value of an observable requires some [[linear algebra]] for its description. In the [[mathematical formulation of quantum mechanics]], up to a phase constant, pure states are given by non-zero [[vector (geometry)|vector]]s in a [[Hilbert space]] ''V''. Two vectors '''v''' and '''w''' are considered to specify the same state if and only if <math>\mathbf{w} = c\mathbf{v}</math> for some non-zero <math>c \in \Complex</math>. Observables are given by [[self-adjoint operator]]s on ''V''. Not every self-adjoint operator corresponds to a physically meaningful observable.<ref>{{cite book |last1=Isham |first1=Christopher |title=Lectures On Quantum Theory: Mathematical And Structural Foundations |date=1995 |publisher=World Scientific |isbn=191129802X |pages=87–88 |url=https://books.google.com/books?id=vM02DwAAQBAJ}}</ref><ref>{{Citation | last1=Mackey | first1=George Whitelaw | author1-link=George Mackey | title=Mathematical Foundations of Quantum Mechanics | publisher=[[Dover Publications]] | location=New York | series=Dover Books on Mathematics | isbn=978-0-486-43517-6 | year=1963}}</ref><ref>{{Citation | last1=Emch | first1=Gerard G. | title=Algebraic methods in statistical mechanics and quantum field theory | publisher=[[Wiley-Interscience]] | isbn=978-0-471-23900-0 | year=1972}}</ref><ref>{{cite web |title=Not all self-adjoint operators are observables? |url=https://physics.stackexchange.com/questions/373357/not-all-self-adjoint-operators-are-observables |website=Physics Stack Exchange |access-date=11 February 2022}}</ref> Also, not all physical observables are associated with non-trivial self-adjoint operators. For example, in quantum theory, mass appears as a parameter in the Hamiltonian, not as a non-trivial operator.<ref>{{cite book |last1=Isham |first1=Christopher |title=Lectures On Quantum Theory: Mathematical And Structural Foundations |date=1995 |publisher=World Scientific |isbn=191129802X |pages=87–88 |url=https://books.google.com/books?id=vM02DwAAQBAJ}}</ref> For the case of a system of [[Elementary particle|particle]]s, the space ''V'' consists of functions called [[wave function]]s or [[Quantum state|state vectors]]. |
The relation between the state of a quantum system and the value of an observable requires some [[linear algebra]] for its description. In the [[mathematical formulation of quantum mechanics]], up to a phase constant, pure states are given by non-zero [[vector (geometry)|vector]]s in a [[Hilbert space]] ''V''. Two vectors '''v''' and '''w''' are considered to specify the same state if and only if <math>\mathbf{w} = c\mathbf{v}</math> for some non-zero <math>c \in \Complex</math>. Observables are given by [[self-adjoint operator]]s on ''V''. Not every self-adjoint operator corresponds to a physically meaningful observable.<ref>{{cite book |last1=Isham |first1=Christopher |title=Lectures On Quantum Theory: Mathematical And Structural Foundations |date=1995 |publisher=World Scientific |isbn=191129802X |pages=87–88 |url=https://books.google.com/books?id=vM02DwAAQBAJ}}</ref><ref>{{Citation | last1=Mackey | first1=George Whitelaw | author1-link=George Mackey | title=Mathematical Foundations of Quantum Mechanics | publisher=[[Dover Publications]] | location=New York | series=Dover Books on Mathematics | isbn=978-0-486-43517-6 | year=1963}}</ref><ref>{{Citation | last1=Emch | first1=Gerard G. | title=Algebraic methods in statistical mechanics and quantum field theory | publisher=[[Wiley-Interscience]] | isbn=978-0-471-23900-0 | year=1972}}</ref><ref>{{cite web |title=Not all self-adjoint operators are observables? |url=https://physics.stackexchange.com/questions/373357/not-all-self-adjoint-operators-are-observables |website=Physics Stack Exchange |access-date=11 February 2022}}</ref> Also, not all physical observables are associated with non-trivial self-adjoint operators. For example, in quantum theory, mass appears as a parameter in the Hamiltonian, not as a non-trivial operator.<ref>{{cite book |last1=Isham |first1=Christopher |title=Lectures On Quantum Theory: Mathematical And Structural Foundations |date=1995 |publisher=World Scientific |isbn=191129802X |pages=87–88 |url=https://books.google.com/books?id=vM02DwAAQBAJ}}</ref> For the case of a system of [[Elementary particle|particle]]s, the space ''V'' consists of functions called [[wave function]]s or [[Quantum state|state vectors]]. |
||
In the case of transformation laws in quantum mechanics, the requisite automorphisms are [[unitary operator|unitary]] (or [[antiunitary]]) [[linear transformation]]s of the Hilbert space ''V''. Under [[Galilean relativity]] or [[special relativity]], the mathematics of frames of reference is particularly simple, considerably restricting the set of physically meaningful observables. |
In the case of transformation laws in quantum mechanics, the requisite automorphisms are [[unitary operator|unitary]] (or [[antiunitary]]) [[linear transformation]]s of the Hilbert space ''V''. Under [[Galilean relativity]] or [[special relativity]], the mathematics of frames of reference is particularly simple, considerably restricting the set of physically meaningful observables. |
||
Line 18: | Line 18: | ||
In quantum mechanics, measurement of observables exhibits some seemingly unintuitive properties. Specifically, if a system is in a state described by a vector in a [[Hilbert space]], the measurement process affects the state in a non-deterministic but statistically predictable way. In particular, after a measurement is applied, the state description by a single vector may be destroyed, being replaced by a [[statistical ensemble]]. The [[reversible process (thermodynamics)|irreversible]] nature of measurement operations in quantum physics is sometimes referred to as the [[measurement problem]] and is described mathematically by [[quantum operation]]s. By the structure of quantum operations, this description is mathematically equivalent to that offered by the [[Many-worlds interpretation|relative state interpretation]] where the original system is regarded as a subsystem of a larger system and the state of the original system is given by the [[partial trace]] of the state of the larger system. |
In quantum mechanics, measurement of observables exhibits some seemingly unintuitive properties. Specifically, if a system is in a state described by a vector in a [[Hilbert space]], the measurement process affects the state in a non-deterministic but statistically predictable way. In particular, after a measurement is applied, the state description by a single vector may be destroyed, being replaced by a [[statistical ensemble]]. The [[reversible process (thermodynamics)|irreversible]] nature of measurement operations in quantum physics is sometimes referred to as the [[measurement problem]] and is described mathematically by [[quantum operation]]s. By the structure of quantum operations, this description is mathematically equivalent to that offered by the [[Many-worlds interpretation|relative state interpretation]] where the original system is regarded as a subsystem of a larger system and the state of the original system is given by the [[partial trace]] of the state of the larger system. |
||
In quantum mechanics, dynamical variables <math>A</math> such as position, translational (linear) [[momentum]], [[angular momentum operator|orbital angular momentum]], [[ |
In quantum mechanics, dynamical variables <math>A</math> such as position, translational (linear) [[momentum]], [[angular momentum operator|orbital angular momentum]], [[Spin (particle physics)|spin]], and [[total angular momentum]] are each associated with a [[Hermitian operator]] <math>\hat{A}</math> that acts on the [[quantum state|state]] of the quantum system. The [[eigenvalues]] of operator <math>\hat{A}</math> correspond to the possible values that the dynamical variable can be observed as having. For example, suppose <math>|\psi_{a}\rangle</math> is an eigenket ([[eigenvector]]) of the observable <math>\hat{A}</math>, with eigenvalue <math>a</math>, and exists in a [[Hilbert space]]. Then |
||
<math display="block">\hat{A}|\psi_a\rangle = a|\psi_a\rangle.</math> |
<math display="block">\hat{A}|\psi_a\rangle = a|\psi_a\rangle.</math> |
||
Line 25: | Line 25: | ||
The above definition is somewhat dependent upon our convention of choosing real numbers to represent real [[physical quantities]]. Indeed, just because dynamical variables are "real" and not "unreal" in the metaphysical sense does not mean that they must correspond to real numbers in the mathematical sense.<ref>{{cite book |last1=Ballentine |first1=Leslie |title=Quantum Mechanics: A Modern Development |date=2015 |publisher=World Scientific |isbn=978-9814578578 |page=49 |edition=2 |url=https://books.google.com/books?id=2JShngEACAAJ}}</ref> |
The above definition is somewhat dependent upon our convention of choosing real numbers to represent real [[physical quantities]]. Indeed, just because dynamical variables are "real" and not "unreal" in the metaphysical sense does not mean that they must correspond to real numbers in the mathematical sense.<ref>{{cite book |last1=Ballentine |first1=Leslie |title=Quantum Mechanics: A Modern Development |date=2015 |publisher=World Scientific |isbn=978-9814578578 |page=49 |edition=2 |url=https://books.google.com/books?id=2JShngEACAAJ}}</ref> |
||
To be more precise, the dynamical variable/observable is a [[self-adjoint operator]] in a Hilbert space. |
To be more precise, the dynamical variable/observable is a [[self-adjoint operator]] in a Hilbert space. |
||
=== Operators on finite and infinite dimensional Hilbert spaces === |
=== Operators on finite and infinite dimensional Hilbert spaces === |
||
Line 40: | Line 40: | ||
* [[Observable universe]] |
* [[Observable universe]] |
||
* [[Observer (quantum physics)]] |
* [[Observer (quantum physics)]] |
||
* [[ |
* [[Operator (physics)#Table of QM operators|Table of QM operators]] |
||
* [[Unobservable]] |
* [[Unobservable]] |
||
Revision as of 22:13, 12 June 2023
This article includes a list of general references, but it lacks sufficient corresponding inline citations. (May 2009) |
In physics, an observable is a physical quantity that can be measured. Examples include position and momentum. In systems governed by classical mechanics, it is a real-valued "function" on the set of all possible system states. In quantum physics, it is an operator, or gauge, where the property of the quantum state can be determined by some sequence of operations. For example, these operations might involve submitting the system to various electromagnetic fields and eventually reading a value.
Physically meaningful observables must also satisfy transformation laws that relate observations performed by different observers in different frames of reference. These transformation laws are automorphisms of the state space, that is bijective transformations that preserve certain mathematical properties of the space in question.
Quantum mechanics
In quantum physics, observables manifest as linear operators on a Hilbert space representing the state space of quantum states. The eigenvalues of observables are real numbers that correspond to possible values the dynamical variable represented by the observable can be measured as having. That is, observables in quantum mechanics assign real numbers to outcomes of particular measurements, corresponding to the eigenvalue of the operator with respect to the system's measured quantum state. As a consequence, only certain measurements can determine the value of an observable for some state of a quantum system. In classical mechanics, any measurement can be made to determine the value of an observable.
The relation between the state of a quantum system and the value of an observable requires some linear algebra for its description. In the mathematical formulation of quantum mechanics, up to a phase constant, pure states are given by non-zero vectors in a Hilbert space V. Two vectors v and w are considered to specify the same state if and only if for some non-zero . Observables are given by self-adjoint operators on V. Not every self-adjoint operator corresponds to a physically meaningful observable.[1][2][3][4] Also, not all physical observables are associated with non-trivial self-adjoint operators. For example, in quantum theory, mass appears as a parameter in the Hamiltonian, not as a non-trivial operator.[5] For the case of a system of particles, the space V consists of functions called wave functions or state vectors.
In the case of transformation laws in quantum mechanics, the requisite automorphisms are unitary (or antiunitary) linear transformations of the Hilbert space V. Under Galilean relativity or special relativity, the mathematics of frames of reference is particularly simple, considerably restricting the set of physically meaningful observables.
In quantum mechanics, measurement of observables exhibits some seemingly unintuitive properties. Specifically, if a system is in a state described by a vector in a Hilbert space, the measurement process affects the state in a non-deterministic but statistically predictable way. In particular, after a measurement is applied, the state description by a single vector may be destroyed, being replaced by a statistical ensemble. The irreversible nature of measurement operations in quantum physics is sometimes referred to as the measurement problem and is described mathematically by quantum operations. By the structure of quantum operations, this description is mathematically equivalent to that offered by the relative state interpretation where the original system is regarded as a subsystem of a larger system and the state of the original system is given by the partial trace of the state of the larger system.
In quantum mechanics, dynamical variables such as position, translational (linear) momentum, orbital angular momentum, spin, and total angular momentum are each associated with a Hermitian operator that acts on the state of the quantum system. The eigenvalues of operator correspond to the possible values that the dynamical variable can be observed as having. For example, suppose is an eigenket (eigenvector) of the observable , with eigenvalue , and exists in a Hilbert space. Then
This eigenket equation says that if a measurement of the observable is made while the system of interest is in the state , then the observed value of that particular measurement must return the eigenvalue with certainty. However, if the system of interest is in the general state , then the eigenvalue is returned with probability , by the Born rule.
The above definition is somewhat dependent upon our convention of choosing real numbers to represent real physical quantities. Indeed, just because dynamical variables are "real" and not "unreal" in the metaphysical sense does not mean that they must correspond to real numbers in the mathematical sense.[6]
To be more precise, the dynamical variable/observable is a self-adjoint operator in a Hilbert space.
Operators on finite and infinite dimensional Hilbert spaces
Observables can be represented by a Hermitian matrix if the Hilbert space is finite-dimensional. In an infinite-dimensional Hilbert space, the observable is represented by a symmetric operator, which may not be defined everywhere. The reason for such a change is that in an infinite-dimensional Hilbert space, the observable operator can become unbounded, which means that it no longer has a largest eigenvalue. This is not the case in a finite-dimensional Hilbert space: an operator can have no more eigenvalues than the dimension of the state it acts upon, and by the well-ordering property, any finite set of real numbers has a largest element. For example, the position of a point particle moving along a line can take any real number as its value, and the set of real numbers is uncountably infinite. Since the eigenvalue of an observable represents a possible physical quantity that its corresponding dynamical variable can take, we must conclude that there is no largest eigenvalue for the position observable in this uncountably infinite-dimensional Hilbert space.
Incompatibility of observables in quantum mechanics
A crucial difference between classical quantities and quantum mechanical observables is that the latter may not be simultaneously measurable, a property referred to as complementarity. This is mathematically expressed by non-commutativity of the corresponding operators, to the effect that the commutator
This inequality expresses a dependence of measurement results on the order in which measurements of observables and are performed. Observables corresponding to non-commuting operators are called incompatible observables. Incompatible observables cannot have a complete set of common eigenfunctions. Note that there can be some simultaneous eigenvectors of and , but not enough in number to constitute a complete basis.[7][8]
See also
References
- ^ Isham, Christopher (1995). Lectures On Quantum Theory: Mathematical And Structural Foundations. World Scientific. pp. 87–88. ISBN 191129802X.
- ^ Mackey, George Whitelaw (1963), Mathematical Foundations of Quantum Mechanics, Dover Books on Mathematics, New York: Dover Publications, ISBN 978-0-486-43517-6
- ^ Emch, Gerard G. (1972), Algebraic methods in statistical mechanics and quantum field theory, Wiley-Interscience, ISBN 978-0-471-23900-0
- ^ "Not all self-adjoint operators are observables?". Physics Stack Exchange. Retrieved 11 February 2022.
- ^ Isham, Christopher (1995). Lectures On Quantum Theory: Mathematical And Structural Foundations. World Scientific. pp. 87–88. ISBN 191129802X.
- ^ Ballentine, Leslie (2015). Quantum Mechanics: A Modern Development (2 ed.). World Scientific. p. 49. ISBN 978-9814578578.
- ^ Griffiths, David J. (2017). Introduction to Quantum Mechanics. Cambridge University Press. p. 111. ISBN 978-1-107-17986-8.
- ^ Cohen-Tannoudji, Claude; Diu, Bernard; Laloë, Franck (2019-12-04). Quantum Mechanics, Volume 1: Basic Concepts, Tools, and Applications. Wiley. p. 232. ISBN 978-3-527-34553-3.
Further reading
- Auyang, Sunny Y. (1995). How is quantum field theory possible?. New York, N.Y.: Oxford University Press. ISBN 978-0195093452.
- von Neumann, John (1996). Mathematical foundations of quantum mechanics. Translated by Robert T. Beyer (12. print., 1. paperback print. ed.). Princeton, N.J.: Princeton Univ. Press. ISBN 978-0691028934.
- Varadarajan, V.S. (2007). Geometry of quantum theory (2nd ed.). New York: Springer. ISBN 9780387493862.
- Weyl, Hermann (2009). "Appendix C: Quantum physics and causality". Philosophy of mathematics and natural science. Revised and augmented English edition based on a translation by Olaf Helmer. Princeton, N.J.: Princeton University Press. pp. 253–265. ISBN 9780691141206.
- Moretti, Valter (2018). Spectral Theory and Quantum Mechanics: Mathematical Foundations of Quantum Theories, Symmetries and Introduction to the Algebraic Formulation (2 ed.). Springer. ISBN 978-3319707068.
- Moretti, Valter (2019). Fundamental Mathematical Structures of Quantum Theory: Spectral Theory, Foundational Issues, Symmetries, Algebraic Formulation. Springer. ISBN 978-3030183462.