In physics, the principle of covariance emphasizes the formulation of physical laws using only those physical quantities the measurements of which the 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 ...
could unambiguously correlate.
Mathematically, the physical quantities must transform ''covariantly'', that is, under a certain
representation
Representation may refer to:
Law and politics
*Representation (politics), political activities undertaken by elected representatives, as well as other theories
** Representative democracy, type of democracy in which elected officials represent a ...
of the
group
A group is a number of persons or things that are located, gathered, or classed together.
Groups of people
* Cultural group, a group whose members share the same cultural identity
* Ethnic group, a group whose members share the same ethnic ide ...
of
coordinate transformations
In geometry, a coordinate system is a system that uses one or more numbers, or coordinates, to uniquely determine the position of the points or other geometric elements on a manifold such as Euclidean space. The order of the coordinates is sign ...
between admissible frames of reference of the physical theory.
[E.J.Post,
''Formal Structure of Electromagnetics: General Covariance and Electromagnetics'', Dover publications] This group is referred to as the
covariance group
In physics, a covariance group is a group of coordinate transformations between frames of reference (see for example Ryckman (2005)Ryckman 2005, p. 22.). A frame of reference provides a set of coordinates for an observer moving with that frame ...
.
The principle of covariance does not require invariance of the physical laws under the group of admissible transformations although in most cases the equations are actually invariant. However, in the theory of
weak interactions
In nuclear physics and particle physics, the weak interaction, which is also often called the weak force or weak nuclear force, is one of the four known fundamental interactions, with the others being electromagnetism, the strong interaction ...
, the equations are not invariant under reflections (but are, of course, still covariant).
Covariance in Newtonian mechanics
In
Newtonian mechanics
Newton's laws of motion are three basic Scientific law, laws of classical mechanics that describe the relationship between the motion of an object and the forces acting on it. These laws can be paraphrased as follows:
# A body remains at re ...
the admissible frames of reference are
inertial frames
In classical physics and special relativity, an inertial frame of reference (also called inertial reference frame, inertial frame, inertial space, or Galilean reference frame) is a frame of reference that is not undergoing any acceleration. ...
with relative velocities much smaller than the
speed of light
The speed of light in vacuum, commonly denoted , is a universal physical constant that is important in many areas of physics. The speed of light is exactly equal to ). According to the special theory of relativity, is the upper limit fo ...
. Time is then absolute and the transformations between admissible frames of references are
Galilean transformations
In physics, a Galilean transformation is used to transform between the coordinates of two reference frames which differ only by constant relative motion within the constructs of Newtonian physics. These transformations together with spatial rotati ...
which (together with rotations, translations, and reflections) form the
Galilean group
In physics, a Galilean transformation is used to transform between the coordinates of two reference frames which differ only by constant relative motion within the constructs of Newtonian physics. These transformations together with spatial rotati ...
. The covariant physical quantities are
Euclidean
Euclidean (or, less commonly, Euclidian) is an adjective derived from the name of Euclid, an ancient Greek mathematician. It is the name of:
Geometry
*Euclidean space, the two-dimensional plane and three-dimensional space of Euclidean geometry ...
scalars,
vectors, and
tensors
In mathematics, a tensor is an algebraic object that describes a multilinear relationship between sets of algebraic objects related to a vector space. Tensors may map between different objects such as vectors, scalars, and even other tens ...
. An example of a covariant equation is
Newton's second law
Newton's laws of motion are three basic Scientific law, laws of classical mechanics that describe the relationship between the motion of an object and the forces acting on it. These laws can be paraphrased as follows:
# A body remains at re ...
,
:
where the covariant quantities are the mass
of a moving body (scalar), the velocity
of the body (vector), the force
acting on the body, and the invariant time
.
Covariance in special relativity
In
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 admissible frames of reference are all inertial frames. The transformations between frames are the
Lorentz transformations
In physics, the Lorentz transformations are a six-parameter family of linear transformations from a coordinate frame in spacetime to another frame that moves at a constant velocity relative to the former. The respective inverse transformation i ...
which (together with the rotations, translations, and reflections) form the
Poincaré group
The Poincaré group, named after Henri Poincaré (1906), was first defined by Hermann Minkowski (1908) as the group of Minkowski spacetime isometries. It is a ten-dimensional non-abelian Lie group that is of importance as a model in our und ...
. The covariant quantities are four-scalars,
four-vectors
In special relativity, a four-vector (or 4-vector) is an object with four components, which transform in a specific way under Lorentz transformations. Specifically, a four-vector is an element of a four-dimensional vector space considered as a r ...
etc., of the
Minkowski space
In mathematical physics, Minkowski space (or Minkowski spacetime) () is a combination of three-dimensional Euclidean space and time into a four-dimensional manifold where the spacetime interval between any two events is independent of the ...
(and also more complicated objects like
bispinor
In physics, and specifically in quantum field theory, a bispinor, is a mathematical construction that is used to describe some of the fundamental particles of nature, including quarks and electrons. It is a specific embodiment of a spinor, specifi ...
s and others). An example of a covariant equation is the
Lorentz force
In physics (specifically in electromagnetism) the Lorentz force (or electromagnetic force) is the combination of electric and magnetic force on a point charge due to electromagnetic fields. A particle of charge moving with a velocity in an ele ...
equation of motion of a charged particle in an electromagnetic field (a generalization of Newton's second law)
:
where
and
are the mass and charge of the particle (invariant 4-scalars);
is the
invariant interval
In physics, spacetime is a mathematical model that combines the three dimensions of space and one dimension of time into a single four-dimensional manifold. Spacetime diagrams can be used to visualize relativistic effects, such as why differe ...
(4-scalar);
is the
4-velocity
In physics, in particular in special relativity and general relativity, a four-velocity is a four-vector in four-dimensional spacetimeTechnically, the four-vector should be thought of as residing in the tangent space of a point in spacetime, spacet ...
(4-vector); and
is the
electromagnetic field strength tensor (4-tensor).
Covariance in general relativity
In
general relativity
General relativity, also known as the general theory of relativity and Einstein's theory of gravity, is the geometric theory of gravitation published by Albert Einstein in 1915 and is the current description of gravitation in modern physics. ...
, the admissible frames of reference are all
reference frame
In physics and astronomy, a frame of reference (or reference frame) is an abstract coordinate system whose origin (mathematics), origin, orientation (geometry), orientation, and scale (geometry), scale are specified by a set of reference point ...
s. The transformations between frames are all arbitrary (
invertible
In mathematics, the concept of an inverse element generalises the concepts of opposite () and reciprocal () of numbers.
Given an operation denoted here , and an identity element denoted , if , one says that is a left inverse of , and that ...
and
differentiable
In mathematics, a differentiable function of one real variable is a function whose derivative exists at each point in its domain. In other words, the graph of a differentiable function has a non- vertical tangent line at each interior point i ...
) coordinate transformations. The covariant quantities are
scalar field
In mathematics and physics, a scalar field is a function associating a single number to every point in a space – possibly physical space. The scalar may either be a pure mathematical number ( dimensionless) or a scalar physical quantit ...
s,
vector fields,
tensor field
In mathematics and physics, a tensor field assigns a tensor to each point of a mathematical space (typically a Euclidean space or manifold). Tensor fields are used in differential geometry, algebraic geometry, general relativity, in the analys ...
s etc., defined on
spacetime
In physics, spacetime is a mathematical model that combines the three dimensions of space and one dimension of time into a single four-dimensional manifold. Spacetime diagrams can be used to visualize relativistic effects, such as why diffe ...
considered as a
manifold
In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an n-dimensional manifold, or ''n-manifold'' for short, is a topological space with the property that each point has a ...
. Main example of covariant equation is the
Einstein field equations
In the general theory of relativity, the Einstein field equations (EFE; also known as Einstein's equations) relate the geometry of spacetime to the distribution of matter within it.
The equations were published by Einstein in 1915 in the form ...
.
See also
*
Principle of relativity
In physics, the principle of relativity is the requirement that the equations describing the laws of physics have the same form in all admissible frames of reference.
For example, in the framework of special relativity the Maxwell equations h ...
*
Lorentz covariance
In relativistic physics, Lorentz symmetry or Lorentz invariance, named after the Dutch physicist Hendrik Lorentz, is an equivalence of observation or observational symmetry due to special relativity implying that the laws of physics stay the same ...
*
General covariance
In theoretical physics, general covariance, also known as diffeomorphism covariance or general invariance, consists of the invariance of the ''form'' of physical laws under arbitrary differentiable coordinate transformations. The essential idea i ...
References
{{DEFAULTSORT:Principle Of Covariance
Theory of relativity