In
physics
Physics is the scientific study of matter, its Elementary particle, fundamental constituents, its motion and behavior through space and time, and the related entities of energy and force. "Physical science is that department of knowledge whi ...
, an observable is a
physical property
A physical property is any property of a physical system that is measurable. The changes in the physical properties of a system can be used to describe its changes between momentary states. A quantifiable physical property is called ''physical ...
or
physical quantity
A physical quantity (or simply quantity) is a property of a material or system that can be Quantification (science), quantified by measurement. A physical quantity can be expressed as a ''value'', which is the algebraic multiplication of a ''nu ...
that can be
measured. In
classical mechanics
Classical mechanics is a Theoretical physics, physical theory describing the motion of objects such as projectiles, parts of Machine (mechanical), machinery, spacecraft, planets, stars, and galaxies. The development of classical mechanics inv ...
, an observable is a
real-valued "function" on the set of all possible system states, e.g.,
position and
momentum
In Newtonian mechanics, momentum (: momenta or momentums; more specifically linear momentum or translational momentum) is the product of the mass and velocity of an object. It is a vector quantity, possessing a magnitude and a direction. ...
. In
quantum mechanics
Quantum mechanics is the fundamental physical Scientific theory, theory that describes the behavior of matter and of light; its unusual characteristics typically occur at and below the scale of atoms. Reprinted, Addison-Wesley, 1989, It is ...
, an observable is an
operator, or
gauge, where the property of the
quantum state
In quantum physics, a quantum state is a mathematical entity that embodies the knowledge of a quantum system. Quantum mechanics specifies the construction, evolution, and measurement of a quantum state. The result is a prediction for the system ...
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
automorphism
In mathematics, an automorphism is an isomorphism from a mathematical object to itself. It is, in some sense, a symmetry of the object, and a way of mapping the object to itself while preserving all of its structure. The set of all automorphism ...
s of the
state space
In computer science, a state space is a discrete space representing the set of all possible configurations of a system. It is a useful abstraction for reasoning about the behavior of a given system and is widely used in the fields of artificial ...
, that is
bijective
In mathematics, a bijection, bijective function, or one-to-one correspondence is a function between two sets such that each element of the second set (the codomain) is the image of exactly one element of the first set (the domain). Equival ...
transformations that preserve certain mathematical properties of the space in question.
Quantum mechanics
In
quantum mechanics
Quantum mechanics is the fundamental physical Scientific theory, theory that describes the behavior of matter and of light; its unusual characteristics typically occur at and below the scale of atoms. Reprinted, Addison-Wesley, 1989, It is ...
, observables manifest as
self-adjoint operators on a
separable complex
Complex commonly refers to:
* Complexity, the behaviour of a system whose components interact in multiple ways so possible interactions are difficult to describe
** Complex system, a system composed of many components which may interact with each ...
Hilbert space
In mathematics, a Hilbert space is a real number, real or complex number, complex inner product space that is also a complete metric space with respect to the metric induced by the inner product. It generalizes the notion of Euclidean space. The ...
representing the
quantum state space. Observables assign values to outcomes of ''particular measurements'', corresponding to the
eigenvalue of the operator. If these outcomes represent physically allowable states (i.e. those that belong to the Hilbert space) the eigenvalues are
real; however, the converse is not necessarily true. 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
Linear algebra is the branch of mathematics concerning linear equations such as
:a_1x_1+\cdots +a_nx_n=b,
linear maps such as
:(x_1, \ldots, x_n) \mapsto a_1x_1+\cdots +a_nx_n,
and their representations in vector spaces and through matrix (mathemat ...
for its description. In the
mathematical formulation of quantum mechanics
The mathematical formulations of quantum mechanics are those mathematical formalisms that permit a rigorous description of quantum mechanics. This mathematical formalism uses mainly a part of functional analysis, especially Hilbert spaces, whic ...
, up to a
phase constant,
pure states are given by non-zero
vectors in a
Hilbert space
In mathematics, a Hilbert space is a real number, real or complex number, complex inner product space that is also a complete metric space with respect to the metric induced by the inner product. It generalizes the notion of Euclidean space. The ...
''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. 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.
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
In physics, the special theory of relativity, or special relativity for short, is a scientific theory of the relationship between Spacetime, space and time. In Albert Einstein's 1905 paper, Annus Mirabilis papers#Special relativity,
"On the Ele ...
, 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
In mathematics, a Hilbert space is a real number, real or complex number, complex inner product space that is also a complete metric space with respect to the metric induced by the inner product. It generalizes the notion of Euclidean space. The ...
, 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
In Newtonian mechanics, momentum (: momenta or momentums; more specifically linear momentum or translational momentum) is the product of the mass and velocity of an object. It is a vector quantity, possessing a magnitude and a direction. ...
,
orbital angular momentum,
spin, and
total angular momentum
In quantum mechanics, the total angular momentum quantum number parametrises the total angular momentum of a given particle, by combining its orbital angular momentum and its intrinsic angular momentum (i.e., its spin).
If s is the particle's ...
are each associated with a
self-adjoint 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
In mathematics, a Hilbert space is a real number, real or complex number, complex inner product space that is also a complete metric space with respect to the metric induced by the inner product. It generalizes the notion of Euclidean space. The ...
. Then
This eigenket equation says that if a
measurement
Measurement is the quantification of attributes of an object or event, which can be used to compare with other objects or events.
In other words, measurement is a process of determining how large or small a physical quantity is as compared to ...
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
(and
and
are
unit vector
In mathematics, a unit vector in a normed vector space is a Vector (mathematics and physics), vector (often a vector (geometry), spatial vector) of Norm (mathematics), length 1. A unit vector is often denoted by a lowercase letter with a circumfle ...
s, and the
eigenspace
In linear algebra, an eigenvector ( ) or characteristic vector is a Vector (mathematics and physics), vector that has its direction (geometry), direction unchanged (or reversed) by a given linear map, linear transformation. More precisely, an e ...
of
is one-dimensional), then the eigenvalue
is returned with probability
, by the
Born rule.
Compatible and incompatible observables in quantum mechanics
A crucial difference between classical quantities and quantum mechanical observables is that some pairs of quantum observables may not be simultaneously measurable, a property referred to as
complementarity. This is mathematically expressed by non-
commutativity of their corresponding operators, to the effect that the
commutator
In mathematics, the commutator gives an indication of the extent to which a certain binary operation fails to be commutative. There are different definitions used in group theory and ring theory.
Group theory
The commutator of two elements, ...
This inequality expresses a dependence of measurement results on the order in which measurements of observables
and
are performed. A measurement of
alters the quantum state in a way that is incompatible with the subsequent measurement of
and vice versa.
Observables corresponding to commuting operators are called ''compatible observables''. For example, momentum along say the
and
axes are compatible. Observables corresponding to non-commuting operators are called ''incompatible observables'' or ''complementary variables''. For example, the position and momentum along the same axis are incompatible.
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.
See also
References
Further reading
*
*
*
*
*
*
*
*
*
{{Quantum mechanics topics
Control theory
Mathematical physics
Measurement
Physical quantities
Quantum mechanics
Statistics