In
physics
Physics is the natural science that studies matter, its 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 which rel ...
, an observable is a
physical quantity
A physical quantity is a physical property of a material or system that can be quantified by measurement. A physical quantity can be expressed as a ''value'', which is the algebraic multiplication of a ' Numerical value ' and a ' Unit '. For examp ...
that can be measured. Examples include
position
Position often refers to:
* Position (geometry), the spatial location (rather than orientation) of an entity
* Position, a job or occupation
Position may also refer to:
Games and recreation
* Position (poker), location relative to the dealer
* ...
and
momentum
In Newtonian mechanics, momentum (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. If is an object's mass ...
. In systems governed by
classical mechanics
Classical mechanics is a physical theory describing the motion of macroscopic objects, from projectiles to parts of machinery, and astronomical objects, such as spacecraft, planets, stars, and galaxies. For objects governed by classical ...
, it is a
real-valued "function" on the set of all possible system states. In
quantum physics
Quantum mechanics is a fundamental theory in physics that provides a description of the physical properties of nature at the scale of atoms and subatomic particles. It is the foundation of all quantum physics including quantum chemistry, q ...
, it is an
operator
Operator may refer to:
Mathematics
* A symbol indicating a mathematical operation
* Logical operator or logical connective in mathematical logic
* Operator (mathematics), mapping that acts on elements of a space to produce elements of another ...
, or
gauge, where the property of the
quantum state
In quantum physics, a quantum state is a mathematical entity that provides a probability distribution for the outcomes of each possible measurement on a system. Knowledge of the quantum state together with the rules for the system's evolution in ...
can be determined by some sequence of
operations
Operation or Operations may refer to:
Arts, entertainment and media
* ''Operation'' (game), a battery-operated board game that challenges dexterity
* Operation (music), a term used in musical set theory
* ''Operations'' (magazine), Multi-Man ...
. For example, these operations might involve submitting the system to various
electromagnetic field
An electromagnetic field (also EM field or EMF) is a classical (i.e. non-quantum) field produced by (stationary or moving) electric charges. It is the field described by classical electrodynamics (a classical field theory) and is the classica ...
s 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
In physics and astronomy, a frame of reference (or reference frame) is an abstract coordinate system whose origin, orientation, and scale are specified by a set of reference points― geometric points whose position is identified both mathem ...
. These transformation laws are
automorphisms of the state space, that is
bijective
In mathematics, a bijection, also known as a bijective function, one-to-one correspondence, or invertible function, is a function between the elements of two sets, where each element of one set is paired with exactly one element of the other ...
transformations that preserve certain mathematical properties of the space in question.
Quantum mechanics
In
quantum physics
Quantum mechanics is a fundamental theory in physics that provides a description of the physical properties of nature at the scale of atoms and subatomic particles. It is the foundation of all quantum physics including quantum chemistry, q ...
, observables manifest as
linear operators on a
Hilbert space
In mathematics, Hilbert spaces (named after David Hilbert) allow generalizing the methods of linear algebra and calculus from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise natu ...
representing the
state space
A state space is 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 intelligence and game theory.
For instance, the t ...
of quantum states. The eigenvalues of observables are
real numbers
In mathematics, a real number is a number that can be used to measure a ''continuous'' one-dimensional quantity such as a distance, duration or temperature. Here, ''continuous'' means that values can have arbitrarily small variations. Every ...
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
In linear algebra, an eigenvector () or characteristic vector of a linear transformation is a nonzero vector that changes at most by a scalar factor when that linear transformation is applied to it. The corresponding eigenvalue, often denot ...
of the operator with respect to the system's measured
quantum state
In quantum physics, a quantum state is a mathematical entity that provides a probability distribution for the outcomes of each possible measurement on a system. Knowledge of the quantum state together with the rules for the system's evolution in ...
. 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 matric ...
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, which ...
, up to a phase constant, pure states are given by non-zero
vector
Vector most often refers to:
*Euclidean vector, a quantity with a magnitude and a direction
*Vector (epidemiology), an agent that carries and transmits an infectious pathogen into another living organism
Vector may also refer to:
Mathematic ...
s in a
Hilbert space
In mathematics, Hilbert spaces (named after David Hilbert) allow generalizing the methods of linear algebra and calculus from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise natu ...
''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. For the case of a system of
particle
In the physical sciences, a particle (or corpuscule in older texts) is a small localized object which can be described by several physical or chemical properties, such as volume, density, or mass.
They vary greatly in size or quantity, fro ...
s, the space ''V'' consists of functions called
wave function
A wave function in quantum physics is a mathematical description of the quantum state of an isolated quantum system. The wave function is a complex-valued probability amplitude, and the probabilities for the possible results of measurements m ...
s or
state vectors.
In the case of transformation laws in quantum mechanics, the requisite automorphisms are
unitary (or
antiunitary)
linear transformation
In mathematics, and more specifically in linear algebra, a linear map (also called a linear mapping, linear transformation, vector space homomorphism, or in some contexts linear function) is a mapping V \to W between two vector spaces that pr ...
s 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 regarding the relationship between space and time. In Albert Einstein's original treatment, the theory is based on two postulates:
# The law ...
, 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, Hilbert spaces (named after David Hilbert) allow generalizing the methods of linear algebra and calculus from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise natu ...
, 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
In physics, specifically statistical mechanics, an ensemble (also statistical ensemble) is an idealization consisting of a large number of virtual copies (sometimes infinitely many) of a system, considered all at once, each of which represents ...
. The
irreversible
Irreversible may refer to:
* Irreversible process, in thermodynamics, a process that is not reversible
*'' Irréversible'', a 2002 film
* ''Irréversible'' (soundtrack), soundtrack to the film ''Irréversible''
* An album recorded by hip-hop artis ...
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
In linear algebra and functional analysis, the partial trace is a generalization of the trace. Whereas the trace is a scalar valued function on operators, the partial trace is an operator-valued function. The partial trace has applications in ...
of the state of the larger system.
In quantum mechanics, dynamical variables
such as position, translational (linear)
momentum
In Newtonian mechanics, momentum (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. If is an object's mass ...
,
orbital angular momentum,
spin, and
total angular momentum are each associated with a
Hermitian operator that acts on the
state
State may refer to:
Arts, entertainment, and media Literature
* ''State Magazine'', a monthly magazine published by the U.S. Department of State
* ''The State'' (newspaper), a daily newspaper in Columbia, South Carolina, United States
* '' Our ...
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
In linear algebra, an eigenvector () or characteristic vector of a linear transformation is a nonzero vector that changes at most by a scalar factor when that linear transformation is applied to it. The corresponding eigenvalue, often denote ...
) of the observable
, with eigenvalue
, and exists in a
Hilbert space
In mathematics, Hilbert spaces (named after David Hilbert) allow generalizing the methods of linear algebra and calculus from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise natu ...
. 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
A physical quantity is a physical property of a material or system that can be quantified by measurement. A physical quantity can be expressed as a ''value'', which is the algebraic multiplication of a ' Numerical value ' and a ' Unit '. For examp ...
. 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.
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
In physics and mathematics, the dimension of a mathematical space (or object) is informally defined as the minimum number of coordinates needed to specify any point within it. Thus, a line has a dimension of one (1D) because only one coor ...
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
In mathematics, a real number is a number that can be used to measure a ''continuous'' one-dimensional quantity such as a distance, duration or temperature. Here, ''continuous'' means that values can have arbitrarily small variations. Every ...
is
uncountably infinite
In mathematics, an uncountable set (or uncountably infinite set) is an infinite set that contains too many elements to be countable. The uncountability of a set is closely related to its cardinal number: a set is uncountable if its cardinal num ...
. 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
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. Observables corresponding to non-commuting operators are called ''incompatible observables''. Incompatible observables cannot have a complete set of common
eigenfunction
In mathematics, an eigenfunction of a linear operator ''D'' defined on some function space is any non-zero function f in that space that, when acted upon by ''D'', is only multiplied by some scaling factor called an eigenvalue. As an equation, ...
s. Note that there can be some simultaneous eigenvectors of
and
, but not enough in number to constitute a complete
basis.
See also
*
Measure (physics)
*
Observable universe
The observable universe is a ball-shaped region of the universe comprising all matter that can be observed from Earth or its space-based telescopes and exploratory probes at the present time, because the electromagnetic radiation from these obj ...
*
Observer (quantum physics)
*
Table of QM operators
*
Unobservable
An unobservable (also called impalpable) is an entity whose existence, nature, properties, qualities or relations are not directly observable by humans. In philosophy of science, typical examples of "unobservables" are the force of gravity, caus ...
References
Further reading
*
*
*
*
*
*
{{Quantum mechanics topics
Quantum mechanics