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 laws o ...
, a four-vector (or 4-vector) is an object with four components, which transform in a specific way under
Lorentz transformation
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 ...
s. Specifically, a four-vector is an element of a four-dimensional
vector space
In mathematics and physics, a vector space (also called a linear space) is a set whose elements, often called ''vectors'', may be added together and multiplied ("scaled") by numbers called '' scalars''. Scalars are often real numbers, but can ...
considered as a
representation space of the
standard representation
In mathematics, the classical groups are defined as the special linear groups over the reals , the complex numbers and the quaternions together with special automorphism groups of symmetric or skew-symmetric bilinear forms and Hermitian or ske ...
of the
Lorentz group
In physics and mathematics, the Lorentz group is the group of all Lorentz transformations of Minkowski spacetime, the classical and quantum setting for all (non-gravitational) physical phenomena. The Lorentz group is named for the Dutch physicis ...
, the (,) representation. It differs from a
Euclidean vector
In mathematics, physics, and engineering, a Euclidean vector or simply a vector (sometimes called a geometric vector or spatial vector) is a geometric object that has magnitude (or length) and direction. Vectors can be added to other vectors ac ...
in how its magnitude is determined. The transformations that preserve this magnitude are the Lorentz transformations, which include
spatial rotations and
boosts (a change by a constant velocity to another
inertial reference frame
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. ...
).
Four-vectors describe, for instance, position in spacetime modeled as
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 inerti ...
, a particle's
four-momentum
In special relativity, four-momentum (also called momentum-energy or momenergy ) is the generalization of the classical three-dimensional momentum to four-dimensional spacetime. Momentum is a vector in three dimensions; similarly four-momentum is ...
, the amplitude of the
electromagnetic four-potential
An electromagnetic four-potential is a relativistic vector function from which the electromagnetic field can be derived. It combines both an electric scalar potential and a magnetic vector potential into a single four-vector.Gravitation, J.A. Whe ...
at a point in spacetime, and the elements of the subspace spanned by the
gamma matrices
In mathematical physics, the gamma matrices, \left\ , also called the Dirac matrices, are a set of conventional matrices with specific anticommutation relations that ensure they generate a matrix representation of the Clifford algebra Cl1,3(\ma ...
inside the
Dirac algebra
In mathematical physics, the Dirac algebra is the Clifford algebra \text_(\mathbb). This was introduced by the mathematical physicist P. A. M. Dirac in 1928 in developing the Dirac equation for spin-½ particles with a matrix representation of t ...
.
The Lorentz group may be represented by 4×4 matrices . The action of a Lorentz transformation on a general
contravariant four-vector (like the examples above), regarded as a column vector with
Cartesian coordinates
A Cartesian coordinate system (, ) in a plane is a coordinate system that specifies each point uniquely by a pair of numerical coordinates, which are the signed distances to the point from two fixed perpendicular oriented lines, measured in t ...
with respect to an
inertial frame
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. ...
in the entries, is given by
(matrix multiplication) where the components of the primed object refer to the new frame. Related to the examples above that are given as contravariant vectors, there are also the corresponding
covariant vector
In physics, especially in multilinear algebra and tensor analysis, covariance and contravariance describe how the quantitative description of certain geometric or physical entities changes with a change of basis. In modern mathematical notation ...
s , and . These transform according to the rule
where denotes the
matrix transpose
In linear algebra, the transpose of a matrix is an operator which flips a matrix over its diagonal;
that is, it switches the row and column indices of the matrix by producing another matrix, often denoted by (among other notations).
The tr ...
. This rule is different from the above rule. It corresponds to the
dual representation
In mathematics, if is a group and is a linear representation of it on the vector space , then the dual representation is defined over the dual vector space as follows:
: is the transpose of , that is, = for all .
The dual representation i ...
of the standard representation. However, for the Lorentz group the dual of any representation is
equivalent
Equivalence or Equivalent may refer to:
Arts and entertainment
*Album-equivalent unit, a measurement unit in the music industry
*Equivalence class (music)
*''Equivalent VIII'', or ''The Bricks'', a minimalist sculpture by Carl Andre
*''Equivale ...
to the original representation. Thus the objects with covariant indices are four-vectors as well.
For an example of a well-behaved four-component object in special relativity that is ''not'' a four-vector, see
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 ...
. It is similarly defined, the difference being that the transformation rule under Lorentz transformations is given by a representation other than the standard representation. In this case, the rule reads , where is a 4×4 matrix other than . Similar remarks apply to objects with fewer or more components that are well-behaved under Lorentz transformations. These include
scalar
Scalar may refer to:
*Scalar (mathematics), an element of a field, which is used to define a vector space, usually the field of real numbers
* Scalar (physics), a physical quantity that can be described by a single element of a number field such ...
s,
spinor
In geometry and physics, spinors are elements of a complex vector space that can be associated with Euclidean space. Like geometric vectors and more general tensors, spinors transform linearly when the Euclidean space is subjected to a slight ...
s,
tensor
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 tenso ...
s and spinor-tensors.
The article considers four-vectors in the context of special relativity. Although the concept of four-vectors also extends to
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 ...
, some of the results stated in this article require modification in general relativity.
Notation
The notations in this article are: lowercase bold for
three-dimensional
Three-dimensional space (also: 3D space, 3-space or, rarely, tri-dimensional space) is a geometric setting in which three values (called ''parameters'') are required to determine the position of an element (i.e., point). This is the informal ...
vectors, hats for three-dimensional
unit vector
In mathematics, a unit vector in a normed vector space is a vector (often a spatial vector) of length 1. A unit vector is often denoted by a lowercase letter with a circumflex, or "hat", as in \hat (pronounced "v-hat").
The term ''direction vecto ...
s, capital bold for
four dimensional
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 coordi ...
vectors (except for the four-gradient), and
tensor index notation
In mathematics, Ricci calculus constitutes the rules of index notation and manipulation for tensors and tensor fields on a differentiable manifold, with or without a metric tensor or connection. It is also the modern name for what used to be cal ...
.
Four-vector algebra
Four-vectors in a real-valued basis
A four-vector ''A'' is a vector with a "timelike" component and three "spacelike" components, and can be written in various equivalent notations:
where in the last form the magnitude component and
basis vector
In mathematics, a set of vectors in a vector space is called a basis if every element of may be written in a unique way as a finite linear combination of elements of . The coefficients of this linear combination are referred to as components ...
have been combined to a single element.
The upper indices indicate
contravariant components. Here the standard convention is that Latin indices take values for spatial components, so that ''i'' = 1, 2, 3, and Greek indices take values for space ''and time'' components, so ''α'' = 0, 1, 2, 3, used with the
summation convention
In mathematics, especially the usage of linear algebra in Mathematical physics, Einstein notation (also known as the Einstein summation convention or Einstein summation notation) is a notational convention that implies summation over a set of i ...
. The split between the time component and the spatial components is a useful one to make when determining contractions of one four vector with other tensor quantities, such as for calculating Lorentz invariants in inner products (examples are given below), or
raising and lowering indices In mathematics and mathematical physics, raising and lowering indices are operations on tensors which change their type. Raising and lowering indices are a form of index manipulation in tensor expressions.
Vectors, covectors and the metric
Math ...
.
In special relativity, the spacelike basis E
1, E
2, E
3 and components ''A''
1, ''A''
2, ''A''
3 are often
Cartesian Cartesian means of or relating to the French philosopher René Descartes—from his Latinized name ''Cartesius''. It may refer to:
Mathematics
*Cartesian closed category, a closed category in category theory
*Cartesian coordinate system, modern ...
basis and components:
although, of course, any other basis and components may be used, such as
spherical polar coordinates
In mathematics, a spherical coordinate system is a coordinate system for three-dimensional space where the position of a point is specified by three numbers: the ''radial distance'' of that point from a fixed origin, its ''polar angle'' measu ...
or
cylindrical polar coordinates
A cylindrical coordinate system is a three-dimensional coordinate system that specifies point positions by the distance from a chosen reference axis ''(axis L in the image opposite)'', the direction from the axis relative to a chosen reference di ...
,
or any other
orthogonal coordinates In mathematics, orthogonal coordinates are defined as a set of ''d'' coordinates q = (''q''1, ''q''2, ..., ''q'd'') in which the coordinate hypersurfaces all meet at right angles (note: superscripts are indices, not exponents). A coordinate su ...
, or even general
curvilinear coordinates
In geometry, curvilinear coordinates are a coordinate system for Euclidean space in which the coordinate lines may be curved. These coordinates may be derived from a set of Cartesian coordinates by using a transformation that is locally inve ...
. Note the coordinate labels are always subscripted as labels and are not indices taking numerical values. In general relativity, local curvilinear coordinates in a local basis must be used. Geometrically, a four-vector can still be interpreted as an arrow, but in spacetime - not just space. In relativity, the arrows are drawn as part of
Minkowski diagram
A spacetime diagram is a graphical illustration of the properties of space and time in the special theory of relativity. Spacetime diagrams allow a qualitative understanding of the corresponding phenomena like time dilation and length contractio ...
(also called ''spacetime diagram''). In this article, four-vectors will be referred to simply as vectors.
It is also customary to represent the bases by
column vector
In linear algebra, a column vector with m elements is an m \times 1 matrix consisting of a single column of m entries, for example,
\boldsymbol = \begin x_1 \\ x_2 \\ \vdots \\ x_m \end.
Similarly, a row vector is a 1 \times n matrix for some n, c ...
s:
so that:
The relation between the
covariant and contravariant coordinates is through the
Minkowski metric tensor
In the mathematical field of differential geometry, a metric tensor (or simply metric) is an additional structure on a manifold (such as a surface) that allows defining distances and angles, just as the inner product on a Euclidean space allows ...
(referred to as the metric), ''η'' which
raises and lowers indices as follows:
and in various equivalent notations the covariant components are:
where the lowered index indicates it to be
covariant. Often the metric is diagonal, as is the case for
orthogonal coordinates In mathematics, orthogonal coordinates are defined as a set of ''d'' coordinates q = (''q''1, ''q''2, ..., ''q'd'') in which the coordinate hypersurfaces all meet at right angles (note: superscripts are indices, not exponents). A coordinate su ...
(see
line element
In geometry, the line element or length element can be informally thought of as a line segment associated with an infinitesimal displacement vector in a metric space. The length of the line element, which may be thought of as a differential arc l ...
), but not in general
curvilinear coordinates
In geometry, curvilinear coordinates are a coordinate system for Euclidean space in which the coordinate lines may be curved. These coordinates may be derived from a set of Cartesian coordinates by using a transformation that is locally inve ...
.
The bases can be represented by
row vector
In linear algebra, a column vector with m elements is an m \times 1 matrix consisting of a single column of m entries, for example,
\boldsymbol = \begin x_1 \\ x_2 \\ \vdots \\ x_m \end.
Similarly, a row vector is a 1 \times n matrix for some n, c ...
s:
so that:
The motivation for the above conventions are that the inner product is a scalar, see below for details.
Lorentz transformation
Given two inertial or rotated
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 ...
, a four-vector is defined as a quantity which transforms according to the
Lorentz transformation
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 ...
matrix Λ:
In index notation, the contravariant and covariant components transform according to, respectively:
in which the matrix has components in row and column , and the
inverse matrix
In linear algebra, an -by- square matrix is called invertible (also nonsingular or nondegenerate), if there exists an -by- square matrix such that
:\mathbf = \mathbf = \mathbf_n \
where denotes the -by- identity matrix and the multiplicati ...
has components in row and column .
For background on the nature of this transformation definition, see
tensor
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 tenso ...
. All four-vectors transform in the same way, and this can be generalized to four-dimensional relativistic tensors; see
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 laws o ...
.
Pure rotations about an arbitrary axis
For two frames rotated by a fixed angle about an axis defined by the
unit vector
In mathematics, a unit vector in a normed vector space is a vector (often a spatial vector) of length 1. A unit vector is often denoted by a lowercase letter with a circumflex, or "hat", as in \hat (pronounced "v-hat").
The term ''direction vecto ...
:
without any boosts, the matrix Λ has components given by:
where ''δ
ij'' is the
Kronecker delta
In mathematics, the Kronecker delta (named after Leopold Kronecker) is a function of two variables, usually just non-negative integers. The function is 1 if the variables are equal, and 0 otherwise:
\delta_ = \begin
0 &\text i \neq j, \\
1 &\ ...
, and ''ε
ijk'' is the
three-dimensional
Three-dimensional space (also: 3D space, 3-space or, rarely, tri-dimensional space) is a geometric setting in which three values (called ''parameters'') are required to determine the position of an element (i.e., point). This is the informal ...
Levi-Civita symbol
In mathematics, particularly in linear algebra, tensor analysis, and differential geometry, the Levi-Civita symbol or Levi-Civita epsilon represents a collection of numbers; defined from the sign of a permutation of the natural numbers , for some ...
. The spacelike components of four-vectors are rotated, while the timelike components remain unchanged.
For the case of rotations about the ''z''-axis only, the spacelike part of the Lorentz matrix reduces to the
rotation matrix In linear algebra, a rotation matrix is a transformation matrix that is used to perform a rotation in Euclidean space. For example, using the convention below, the matrix
:R = \begin
\cos \theta & -\sin \theta \\
\sin \theta & \cos \theta
\end ...
about the ''z''-axis:
Pure boosts in an arbitrary direction
![Standard conf](https://upload.wikimedia.org/wikipedia/commons/9/90/Standard_conf.png)
For two frames moving at constant relative three-velocity v (not four-velocity,
see below), it is convenient to denote and define the relative velocity in units of ''c'' by:
Then without rotations, the matrix Λ has components given by:
where the
Lorentz factor
The Lorentz factor or Lorentz term is a quantity expressing how much the measurements of time, length, and other physical properties change for an object while that object is moving. The expression appears in several equations in special relativit ...
is defined by:
and is the
Kronecker delta
In mathematics, the Kronecker delta (named after Leopold Kronecker) is a function of two variables, usually just non-negative integers. The function is 1 if the variables are equal, and 0 otherwise:
\delta_ = \begin
0 &\text i \neq j, \\
1 &\ ...
. Contrary to the case for pure rotations, the spacelike and timelike components are mixed together under boosts.
For the case of a boost in the ''x''-direction only, the matrix reduces to;
Where the
rapidity
In relativity, rapidity is commonly used as a measure for relativistic velocity. Mathematically, rapidity can be defined as the hyperbolic angle that differentiates two frames of reference in relative motion, each frame being associated with di ...
expression has been used, written in terms of the
hyperbolic function
In mathematics, hyperbolic functions are analogues of the ordinary trigonometric functions, but defined using the hyperbola rather than the circle. Just as the points form a circle with a unit radius, the points form the right half of the u ...
s:
This Lorentz matrix illustrates the boost to be a ''
hyperbolic rotation
In linear algebra, a squeeze mapping, also called a squeeze transformation, is a type of linear map that preserves Euclidean area of regions in the Cartesian plane, but is ''not'' a rotation or shear mapping.
For a fixed positive real number , th ...
'' in four dimensional spacetime, analogous to the circular rotation above in three-dimensional space.
Properties
Linearity
Four-vectors have the same
linearity properties as
Euclidean vector
In mathematics, physics, and engineering, a Euclidean vector or simply a vector (sometimes called a geometric vector or spatial vector) is a geometric object that has magnitude (or length) and direction. Vectors can be added to other vectors ac ...
s in
three dimensions
Three-dimensional space (also: 3D space, 3-space or, rarely, tri-dimensional space) is a geometric setting in which three values (called ''parameters'') are required to determine the position of an element (i.e., point). This is the informal ...
. They can be added in the usual entrywise way:
and similarly
scalar multiplication
In mathematics, scalar multiplication is one of the basic operations defining a vector space in linear algebra (or more generally, a module in abstract algebra). In common geometrical contexts, scalar multiplication of a real Euclidean vector by ...
by a
scalar
Scalar may refer to:
*Scalar (mathematics), an element of a field, which is used to define a vector space, usually the field of real numbers
* Scalar (physics), a physical quantity that can be described by a single element of a number field such ...
''λ'' is defined entrywise by:
Then subtraction is the inverse operation of addition, defined entrywise by:
Minkowski tensor
Applying the
Minkowski tensor to two four-vectors and , writing the result in
dot product
In mathematics, the dot product or scalar productThe term ''scalar product'' means literally "product with a scalar as a result". It is also used sometimes for other symmetric bilinear forms, for example in a pseudo-Euclidean space. is an algebra ...
notation, we have, using
Einstein notation
In mathematics, especially the usage of linear algebra in Mathematical physics, Einstein notation (also known as the Einstein summation convention or Einstein summation notation) is a notational convention that implies summation over a set of ...
:
It is convenient to rewrite the definition in
matrix
Matrix most commonly refers to:
* ''The Matrix'' (franchise), an American media franchise
** ''The Matrix'', a 1999 science-fiction action film
** "The Matrix", a fictional setting, a virtual reality environment, within ''The Matrix'' (franchis ...
form:
in which case above is the entry in row and column of the Minkowski metric as a square matrix. The Minkowski metric is not a
Euclidean metric
In mathematics, the Euclidean distance between two points in Euclidean space is the length of a line segment between the two points.
It can be calculated from the Cartesian coordinates of the points using the Pythagorean theorem, therefore oc ...
, because it is indefinite (see
metric signature
In mathematics, the signature of a metric tensor ''g'' (or equivalently, a real quadratic form thought of as a real symmetric bilinear form on a finite-dimensional vector space) is the number (counted with multiplicity) of positive, negative an ...
). A number of other expressions can be used because the metric tensor can raise and lower the components of or . For contra/co-variant components of and co/contra-variant components of , we have:
so in the matrix notation:
while for and each in covariant components:
with a similar matrix expression to the above.
Applying the Minkowski tensor to a four-vector A with itself we get:
which, depending on the case, may be considered the square, or its negative, of the length of the vector.
Following are two common choices for the metric tensor in the
standard basis
In mathematics, the standard basis (also called natural basis or canonical basis) of a coordinate vector space (such as \mathbb^n or \mathbb^n) is the set of vectors whose components are all zero, except one that equals 1. For example, in the c ...
(essentially Cartesian coordinates). If orthogonal coordinates are used, there would be scale factors along the diagonal part of the spacelike part of the metric, while for general curvilinear coordinates the entire spacelike part of the metric would have components dependent on the curvilinear basis used.
=Standard basis, (+−−−) signature
=
In the (+−−−)
metric signature
In mathematics, the signature of a metric tensor ''g'' (or equivalently, a real quadratic form thought of as a real symmetric bilinear form on a finite-dimensional vector space) is the number (counted with multiplicity) of positive, negative an ...
, evaluating the
summation over indices gives:
while in matrix form:
It is a recurring theme in special relativity to take the expression
in one
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 ...
, where ''C'' is the value of the inner product in this frame, and:
in another frame, in which ''C''′ is the value of the inner product in this frame. Then since the inner product is an invariant, these must be equal:
that is:
Considering that physical quantities in relativity are four-vectors, this equation has the appearance of a "
conservation law
In physics, a conservation law states that a particular measurable property of an isolated physical system does not change as the system evolves over time. Exact conservation laws include conservation of energy, conservation of linear momentum, c ...
", but there is no "conservation" involved. The primary significance of the Minkowski inner product is that for any two four-vectors, its value is
invariant
Invariant and invariance may refer to:
Computer science
* Invariant (computer science), an expression whose value doesn't change during program execution
** Loop invariant, a property of a program loop that is true before (and after) each iteratio ...
for all observers; a change of coordinates does not result in a change in value of the inner product. The components of the four-vectors change from one frame to another; A and A′ are connected by a
Lorentz transformation
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 ...
, and similarly for B and B′, although the inner products are the same in all frames. Nevertheless, this type of expression is exploited in relativistic calculations on a par with conservation laws, since the magnitudes of components can be determined without explicitly performing any Lorentz transformations. A particular example is with energy and momentum in the
energy-momentum relation derived from the
four-momentum
In special relativity, four-momentum (also called momentum-energy or momenergy ) is the generalization of the classical three-dimensional momentum to four-dimensional spacetime. Momentum is a vector in three dimensions; similarly four-momentum is ...
vector (see also below).
In this signature we have:
With the signature (+−−−), four-vectors may be classified as either
spacelike
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 differen ...
if
,
timelike
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 differen ...
if
, and
null vector
In mathematics, given a vector space ''X'' with an associated quadratic form ''q'', written , a null vector or isotropic vector is a non-zero element ''x'' of ''X'' for which .
In the theory of real number, real bilinear forms, definite quadrat ...
s if
.
=Standard basis, (−+++) signature
=
Some authors define ''η'' with the opposite sign, in which case we have the (−+++) metric signature. Evaluating the summation with this signature:
while the matrix form is:
Note that in this case, in one frame:
while in another:
so that:
which is equivalent to the above expression for ''C'' in terms of A and B. Either convention will work. With the Minkowski metric defined in the two ways above, the only difference between covariant and contravariant four-vector components are signs, therefore the signs depend on which sign convention is used.
We have:
With the signature (−+++), four-vectors may be classified as either
spacelike
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 differen ...
if
,
timelike
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 differen ...
if
, and
null
Null may refer to:
Science, technology, and mathematics Computing
*Null (SQL) (or NULL), a special marker and keyword in SQL indicating that something has no value
*Null character, the zero-valued ASCII character, also designated by , often used ...
if
.
=Dual vectors
=
Applying the Minkowski tensor is often expressed as the effect of the
dual vector
In mathematics, a linear form (also known as a linear functional, a one-form, or a covector) is a linear map from a vector space to its field of scalars (often, the real numbers or the complex numbers).
If is a vector space over a field , the ...
of one vector on the other:
Here the ''A
ν''s are the components of the dual vector A* of A in the
dual basis
In linear algebra, given a vector space ''V'' with a basis ''B'' of vectors indexed by an index set ''I'' (the cardinality of ''I'' is the dimension of ''V''), the dual set of ''B'' is a set ''B''∗ of vectors in the dual space ''V''∗ with th ...
and called the
covariant coordinates of A, while the original ''A
ν'' components are called the
contravariant coordinates.
Four-vector calculus
Derivatives and differentials
In special relativity (but not general relativity), the
derivative
In mathematics, the derivative of a function of a real variable measures the sensitivity to change of the function value (output value) with respect to a change in its argument (input value). Derivatives are a fundamental tool of calculus. F ...
of a four-vector with respect to a scalar ''λ'' (invariant) is itself a four-vector. It is also useful to take the
differential of the four-vector, ''d''A and divide it by the differential of the scalar, ''dλ'':
where the contravariant components are:
while the covariant components are:
In relativistic mechanics, one often takes the differential of a four-vector and divides by the differential in
proper time
In relativity, proper time (from Latin, meaning ''own time'') along a timelike world line is defined as the time as measured by a clock following that line. It is thus independent of coordinates, and is a Lorentz scalar. The proper time interval b ...
(see below).
Fundamental four-vectors
Four-position
A point in
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 inerti ...
is a time and spatial position, called an "event", or sometimes the position four-vector or four-position or 4-position, described in some reference frame by a set of four coordinates:
where r is the
three-dimensional space
Three-dimensional space (also: 3D space, 3-space or, rarely, tri-dimensional space) is a geometric setting in which three values (called ''parameters'') are required to determine the position (geometry), position of an element (i.e., Point (m ...
position vector
In geometry, a position or position vector, also known as location vector or radius vector, is a Euclidean vector that represents the position of a point ''P'' in space in relation to an arbitrary reference origin ''O''. Usually denoted x, r, or s ...
. If r is a function of coordinate time ''t'' in the same frame, i.e. r = r(''t''), this corresponds to a sequence of events as ''t'' varies. The definition ''R''
0 = ''ct'' ensures that all the coordinates have the same units (of distance). These coordinates are the components of the ''position four-vector'' for the event.
The ''displacement four-vector'' is defined to be an "arrow" linking two events:
For the
differential four-position on a world line we have, using
a norm notation:
defining the differential
line element
In geometry, the line element or length element can be informally thought of as a line segment associated with an infinitesimal displacement vector in a metric space. The length of the line element, which may be thought of as a differential arc l ...
d''s'' and differential proper time increment d''τ'', but this "norm" is also:
so that:
When considering physical phenomena, differential equations arise naturally; however, when considering space and
time derivative
A time derivative is a derivative of a function with respect to time, usually interpreted as the rate of change of the value of the function. The variable denoting time is usually written as t.
Notation
A variety of notations are used to denote th ...
s of functions, it is unclear which reference frame these derivatives are taken with respect to. It is agreed that time derivatives are taken with respect to the
proper time
In relativity, proper time (from Latin, meaning ''own time'') along a timelike world line is defined as the time as measured by a clock following that line. It is thus independent of coordinates, and is a Lorentz scalar. The proper time interval b ...
. As proper time is an invariant, this guarantees that the proper-time-derivative of any four-vector is itself a four-vector. It is then important to find a relation between this proper-time-derivative and another time derivative (using the
coordinate time
In the theory of relativity, it is convenient to express results in terms of a spacetime coordinate system relative to an implied observer. In many (but not all) coordinate systems, an event is specified by one time coordinate and three spatial ...
''t'' of an inertial reference frame). This relation is provided by taking the above differential invariant spacetime interval, then dividing by (''cdt'')
2 to obtain:
where u = ''d''r/''dt'' is the coordinate 3-
velocity
Velocity is the directional speed of an object in motion as an indication of its rate of change in position as observed from a particular frame of reference and as measured by a particular standard of time (e.g. northbound). Velocity is a ...
of an object measured in the same frame as the coordinates ''x'', ''y'', ''z'', and
coordinate time
In the theory of relativity, it is convenient to express results in terms of a spacetime coordinate system relative to an implied observer. In many (but not all) coordinate systems, an event is specified by one time coordinate and three spatial ...
''t'', and
is the
Lorentz factor
The Lorentz factor or Lorentz term is a quantity expressing how much the measurements of time, length, and other physical properties change for an object while that object is moving. The expression appears in several equations in special relativit ...
. This provides a useful relation between the differentials in coordinate time and proper time:
This relation can also be found from the time transformation in the
Lorentz transformation
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 ...
s.
Important four-vectors in relativity theory can be defined by applying this differential
.
Four-gradient
Considering that
partial derivative
In mathematics, a partial derivative of a function of several variables is its derivative with respect to one of those variables, with the others held constant (as opposed to the total derivative, in which all variables are allowed to vary). Part ...
s are
linear operator
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 pre ...
s, one can form a
four-gradient In differential geometry, the four-gradient (or 4-gradient) \boldsymbol is the four-vector analogue of the gradient \vec from vector calculus.
In special relativity and in quantum mechanics, the four-gradient is used to define the properties and re ...
from the partial
time derivative
A time derivative is a derivative of a function with respect to time, usually interpreted as the rate of change of the value of the function. The variable denoting time is usually written as t.
Notation
A variety of notations are used to denote th ...
/''t'' and the spatial
gradient
In vector calculus, the gradient of a scalar-valued differentiable function of several variables is the vector field (or vector-valued function) \nabla f whose value at a point p is the "direction and rate of fastest increase". If the gradi ...
∇. Using the standard basis, in index and abbreviated notations, the contravariant components are:
Note the basis vectors are placed in front of the components, to prevent confusion between taking the derivative of the basis vector, or simply indicating the partial derivative is a component of this four-vector. The covariant components are:
Since this is an operator, it doesn't have a "length", but evaluating the inner product of the operator with itself gives another operator:
called the
D'Alembert operator
In special relativity, electromagnetism and wave theory, the d'Alembert operator (denoted by a box: \Box), also called the d'Alembertian, wave operator, box operator or sometimes quabla operator (''cf''. nabla symbol) is the Laplace operator of ...
.
Kinematics
Four-velocity
The
four-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 ...
of a particle is defined by:
Geometrically, U is a normalized vector tangent to the
world line
The world line (or worldline) of an object is the path that an object traces in 4-dimensional spacetime. It is an important concept in modern physics, and particularly theoretical physics.
The concept of a "world line" is distinguished from con ...
of the particle. Using the differential of the four-position, the magnitude of the four-velocity can be obtained:
in short, the magnitude of the four-velocity for any object is always a fixed constant:
The norm is also:
so that:
which reduces to the definition of the
Lorentz factor
The Lorentz factor or Lorentz term is a quantity expressing how much the measurements of time, length, and other physical properties change for an object while that object is moving. The expression appears in several equations in special relativit ...
.
Units of four-velocity are m/s in
SI and 1 in the
geometrized unit system
A geometrized unit system, geometric unit system or geometrodynamic unit system is a system of natural units in which the base physical units are chosen so that the speed of light in vacuum, ''c'', and the gravitational constant, ''G'', are set eq ...
. Four-velocity is a contravariant vector.
Four-acceleration
The
four-acceleration In the theory of relativity, four-acceleration is a four-vector (vector in four-dimensional spacetime) that is analogous to classical acceleration (a three-dimensional vector, see three-acceleration in special relativity). Four-acceleration has ap ...
is given by:
where a = ''d''u/''dt'' is the coordinate 3-acceleration. Since the magnitude of U is a constant, the four acceleration is orthogonal to the four velocity, i.e. the Minkowski inner product of the four-acceleration and the four-velocity is zero:
which is true for all world lines. The geometric meaning of four-acceleration is the
curvature vector
Differential geometry of curves is the branch of geometry that deals with smooth curves in the plane and the Euclidean space by methods of differential and integral calculus.
Many specific curves have been thoroughly investigated using the ...
of the world line in Minkowski space.
Dynamics
Four-momentum
For a massive particle of
rest mass
The invariant mass, rest mass, intrinsic mass, proper mass, or in the case of bound systems simply mass, is the portion of the total mass of an object or system of objects that is independent of the overall motion of the system. More precisely, i ...
(or
invariant mass
The invariant mass, rest mass, intrinsic mass, proper mass, or in the case of bound systems simply mass, is the portion of the total mass of an object or system of objects that is independent of the overall motion of the system. More precisely, ...
) ''m''
0, the
four-momentum
In special relativity, four-momentum (also called momentum-energy or momenergy ) is the generalization of the classical three-dimensional momentum to four-dimensional spacetime. Momentum is a vector in three dimensions; similarly four-momentum is ...
is given by:
where the total energy of the moving particle is:
and the total
relativistic 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 and ...
is:
Taking the inner product of the four-momentum with itself:
and also:
which leads to the
energy–momentum relation
In physics, the energy–momentum relation, or relativistic dispersion relation, is the relativistic equation relating total energy (which is also called relativistic energy) to invariant mass (which is also called rest mass) and momentum. It i ...
:
This last relation is useful
relativistic mechanics
In physics, relativistic mechanics refers to mechanics compatible with special relativity (SR) and general relativity (GR). It provides a non-quantum mechanical description of a system of particles, or of a fluid, in cases where the velocities of ...
, essential in
relativistic quantum mechanics
In physics, relativistic quantum mechanics (RQM) is any Poincaré covariant formulation of quantum mechanics (QM). This theory is applicable to massive particles propagating at all velocities up to those comparable to the speed of light ''c ...
and
relativistic quantum field theory
In theoretical physics, quantum field theory (QFT) is a theoretical framework that combines classical field theory, special relativity, and quantum mechanics. QFT is used in particle physics to construct physical models of subatomic particles and ...
, all with applications to
particle physics
Particle physics or high energy physics is the study of fundamental particles and forces that constitute matter and radiation. The fundamental particles in the universe are classified in the Standard Model as fermions (matter particles) an ...
.
Four-force
The
four-force In the special theory of relativity, four-force is a four-vector that replaces the classical force.
In special relativity
The four-force is defined as the rate of change in the four-momentum of a particle with respect to the particle's proper ti ...
acting on a particle is defined analogously to the 3-force as the time derivative of 3-momentum in
Newton's second law
Newton's laws of motion are three basic 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 rest, or in motion ...
:
where ''P'' is the
power
Power most often refers to:
* Power (physics), meaning "rate of doing work"
** Engine power, the power put out by an engine
** Electric power
* Power (social and political), the ability to influence people or events
** Abusive power
Power may a ...
transferred to move the particle, and f is the 3-force acting on the particle. For a particle of constant invariant mass ''m''
0, this is equivalent to
An invariant derived from the four-force is:
from the above result.
Thermodynamics
Four-heat flux
The four-heat flux vector field, is essentially similar to the 3d
heat flux
Heat flux or thermal flux, sometimes also referred to as ''heat flux density'', heat-flow density or ''heat flow rate intensity'' is a flow of energy per unit area per unit time. In SI its units are watts per square metre (W/m2). It has both a ...
vector field q, in the local frame of the fluid:
where ''T'' is
absolute temperature
Thermodynamic temperature is a quantity defined in thermodynamics as distinct from kinetic theory or statistical mechanics.
Historically, thermodynamic temperature was defined by Kelvin in terms of a macroscopic relation between thermodynamic wor ...
and ''k'' is
thermal conductivity
The thermal conductivity of a material is a measure of its ability to conduct heat. It is commonly denoted by k, \lambda, or \kappa.
Heat transfer occurs at a lower rate in materials of low thermal conductivity than in materials of high thermal ...
.
Four-baryon number flux
The flux of baryons is:
where is the
number density
The number density (symbol: ''n'' or ''ρ''N) is an intensive quantity used to describe the degree of concentration of countable objects (particles, molecules, phonons, cells, galaxies, etc.) in physical space: three-dimensional volumetric number ...
of
baryon
In particle physics, a baryon is a type of composite subatomic particle which contains an odd number of valence quarks (at least 3). Baryons belong to the hadron family of particles; hadrons are composed of quarks. Baryons are also classified ...
s in the local
rest frame In special relativity, the rest frame of a particle is the frame of reference (a coordinate system attached to physical markers) in which the particle is at rest.
The rest frame of compound objects (such as a fluid, or a solid made of many vibratin ...
of the baryon fluid (positive values for baryons, negative for
anti
Anti may refer to:
*Anti-, a prefix meaning "against"
*Änti, or Antaeus, a half-giant in Greek and Berber mythology
*A false reading of ''Nemty'', the name of the ferryman who carried Isis to Set's island in Egyptian mythology
* Áńt’į, or ...
baryons), and the
four-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 ...
field (of the fluid) as above.
Four-entropy
The four-
entropy
Entropy is a scientific concept, as well as a measurable physical property, that is most commonly associated with a state of disorder, randomness, or uncertainty. The term and the concept are used in diverse fields, from classical thermodynam ...
vector is defined by:
where is the entropy per baryon, and the
absolute temperature
Thermodynamic temperature is a quantity defined in thermodynamics as distinct from kinetic theory or statistical mechanics.
Historically, thermodynamic temperature was defined by Kelvin in terms of a macroscopic relation between thermodynamic wor ...
, in the local rest frame of the fluid.
Electromagnetism
Examples of four-vectors in
electromagnetism
In physics, electromagnetism is an interaction that occurs between particles with electric charge. It is the second-strongest of the four fundamental interactions, after the strong force, and it is the dominant force in the interactions of a ...
include the following.
Four-current
The electromagnetic
four-current
In special and general relativity, the four-current (technically the four-current density) is the four-dimensional analogue of the electric current density. Also known as vector current, it is used in the geometric context of ''four-dimensional spa ...
(or more correctly a four-current density) is defined by
formed from the
current density
In electromagnetism, current density is the amount of charge per unit time that flows through a unit area of a chosen cross section. The current density vector is defined as a vector whose magnitude is the electric current per cross-sectional ar ...
j and
charge density
In electromagnetism, charge density is the amount of electric charge per unit length, surface area, or volume. Volume charge density (symbolized by the Greek letter ρ) is the quantity of charge per unit volume, measured in the SI system in co ...
''ρ''.
Four-potential
The
electromagnetic four-potential
An electromagnetic four-potential is a relativistic vector function from which the electromagnetic field can be derived. It combines both an electric scalar potential and a magnetic vector potential into a single four-vector.Gravitation, J.A. Whe ...
(or more correctly a four-EM vector potential) defined by
formed from the
vector potential
In vector calculus, a vector potential is a vector field whose curl is a given vector field. This is analogous to a ''scalar potential'', which is a scalar field whose gradient is a given vector field.
Formally, given a vector field v, a ''vecto ...
and the scalar potential .
The four-potential is not uniquely determined, because it depends on a choice of
gauge
Gauge ( or ) may refer to:
Measurement
* Gauge (instrument), any of a variety of measuring instruments
* Gauge (firearms)
* Wire gauge, a measure of the size of a wire
** American wire gauge, a common measure of nonferrous wire diameter, es ...
.
In the
wave equation
The (two-way) wave equation is a second-order linear partial differential equation for the description of waves or standing wave fields — as they occur in classical physics — such as mechanical waves (e.g. water waves, sound waves and s ...
for the electromagnetic field:
* In vacuum,
* With a
four-current
In special and general relativity, the four-current (technically the four-current density) is the four-dimensional analogue of the electric current density. Also known as vector current, it is used in the geometric context of ''four-dimensional spa ...
source and using the
Lorenz gauge condition
In electromagnetism, the Lorenz gauge condition or Lorenz gauge, for Ludvig Lorenz, is a partial gauge fixing of the electromagnetic vector potential by requiring \partial_\mu A^\mu = 0. The name is frequently confused with Hendrik Lorentz, who ha ...
,
Waves
Four-frequency
A photonic
plane wave
In physics, a plane wave is a special case of wave or field: a physical quantity whose value, at any moment, is constant through any plane that is perpendicular to a fixed direction in space.
For any position \vec x in space and any time t, th ...
can be described by the
four-frequency The four-frequency of a massless particle, such as a photon, is a four-vector defined by
:N^a = \left( \nu, \nu \hat \right)
where \nu is the photon's frequency and \hat is a unit vector in the direction of the photon's motion. The four-frequency ...
defined as
where ''ν'' is the frequency of the wave and
is a
unit vector
In mathematics, a unit vector in a normed vector space is a vector (often a spatial vector) of length 1. A unit vector is often denoted by a lowercase letter with a circumflex, or "hat", as in \hat (pronounced "v-hat").
The term ''direction vecto ...
in the travel direction of the wave. Now:
so the four-frequency of a photon is always a null vector.
Four-wavevector
The quantities reciprocal to time ''t'' and space r are the
angular frequency
In physics, angular frequency "''ω''" (also referred to by the terms angular speed, circular frequency, orbital frequency, radian frequency, and pulsatance) is a scalar measure of rotation rate. It refers to the angular displacement per unit tim ...
''ω'' and
angular wave vector
In physics, a wave vector (or wavevector) is a vector used in describing a wave, with a typical unit being cycle per metre. It has a magnitude and direction. Its magnitude is the wavenumber of the wave (inversely proportional to the wavelength), ...
k, respectively. They form the components of the four-wavevector or wave four-vector:
A wave packet of nearly
monochromatic
A monochrome or monochromatic image, object or color scheme, palette is composed of one color (or lightness, values of one color). Images using only Tint, shade and tone, shades of grey are called grayscale (typically digital) or Black and wh ...
light can be described by:
The de Broglie relations then showed that four-wavevector applied to
matter wave
Matter waves are a central part of the theory of quantum mechanics, being an example of wave–particle duality. All matter exhibits wave-like behavior. For example, a beam of electrons can be diffracted just like a beam of light or a water wave ...
s as well as to light waves:
yielding
and
, where ''ħ'' is the
Planck constant
The Planck constant, or Planck's constant, is a fundamental physical constant of foundational importance in quantum mechanics. The constant gives the relationship between the energy of a photon and its frequency, and by the mass-energy equivale ...
divided by .
The square of the norm is:
and by the de Broglie relation:
we have the matter wave analogue of the energy–momentum relation:
Note that for massless particles, in which case , we have:
or . Note this is consistent with the above case; for photons with a 3-wavevector of modulus , in the direction of wave propagation defined by the unit vector
.
Quantum theory
Four-probability current
In
quantum mechanics
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, ...
, the four-
probability current
In quantum mechanics, the probability current (sometimes called probability flux) is a mathematical quantity describing the flow of probability. Specifically, if one thinks of probability as a heterogeneous fluid, then the probability current is th ...
or probability four-current is analogous to the
electromagnetic four-current:
where is the
probability density function
In probability theory, a probability density function (PDF), or density of a continuous random variable, is a function whose value at any given sample (or point) in the sample space (the set of possible values taken by the random variable) can ...
corresponding to the time component, and is the
probability current
In quantum mechanics, the probability current (sometimes called probability flux) is a mathematical quantity describing the flow of probability. Specifically, if one thinks of probability as a heterogeneous fluid, then the probability current is th ...
vector. In non-relativistic quantum mechanics, this current is always well defined because the expressions for density and current are positive definite and can admit a probability interpretation. In
relativistic quantum mechanics
In physics, relativistic quantum mechanics (RQM) is any Poincaré covariant formulation of quantum mechanics (QM). This theory is applicable to massive particles propagating at all velocities up to those comparable to the speed of light ''c ...
and
quantum field theory
In theoretical physics, quantum field theory (QFT) is a theoretical framework that combines classical field theory, special relativity, and quantum mechanics. QFT is used in particle physics to construct physical models of subatomic particles and ...
, it is not always possible to find a current, particularly when interactions are involved.
Replacing the energy by the
energy operator
In quantum mechanics, energy is defined in terms of the energy operator, acting on the wave function of the system as a consequence of time translation symmetry.
Definition
It is given by:
\hat = i\hbar\frac
It acts on the wave function (the ...
and the momentum by the
momentum operator
In quantum mechanics, the momentum operator is the operator (physics), operator associated with the momentum (physics), linear momentum. The momentum operator is, in the position representation, an example of a differential operator. For the case o ...
in the four-momentum, one obtains the
four-momentum operator
In quantum mechanics, the momentum operator is the operator associated with the linear momentum. The momentum operator is, in the position representation, an example of a differential operator. For the case of one particle in one spatial dimension ...
, used in
relativistic wave equation
In physics, specifically relativistic quantum mechanics (RQM) and its applications to particle physics, relativistic wave equations predict the behavior of particles at high energies and velocities comparable to the speed of light. In the con ...
s.
Four-spin
The
four-spin
In physics, relativistic angular momentum refers to the mathematical formalisms and physical concepts that define angular momentum in special relativity (SR) and general relativity (GR). The relativistic quantity is subtly different from the thr ...
of a particle is defined in the rest frame of a particle to be
where is the
spin
Spin or spinning most often refers to:
* Spinning (textiles), the creation of yarn or thread by twisting fibers together, traditionally by hand spinning
* Spin, the rotation of an object around a central axis
* Spin (propaganda), an intentionally b ...
pseudovector. In quantum mechanics, not all three components of this vector are simultaneously measurable, only one component is. The timelike component is zero in the particle's rest frame, but not in any other frame. This component can be found from an appropriate Lorentz transformation.
The norm squared is the (negative of the) magnitude squared of the spin, and according to quantum mechanics we have
This value is observable and quantized, with the
spin quantum number
In atomic physics, the spin quantum number is a quantum number (designated ) which describes the intrinsic angular momentum (or spin angular momentum, or simply spin) of an electron or other particle. The phrase was originally used to describe th ...
(not the magnitude of the spin vector).
Other formulations
Four-vectors in the algebra of physical space
A four-vector ''A'' can also be defined in using the
Pauli matrices
In mathematical physics and mathematics, the Pauli matrices are a set of three complex matrices which are Hermitian, involutory and unitary. Usually indicated by the Greek letter sigma (), they are occasionally denoted by tau () when used in ...
as a
basis
Basis may refer to:
Finance and accounting
*Adjusted basis, the net cost of an asset after adjusting for various tax-related items
*Basis point, 0.01%, often used in the context of interest rates
*Basis trading, a trading strategy consisting of ...
, again in various equivalent notations:
or explicitly:
and in this formulation, the four-vector is represented as a
Hermitian matrix
In mathematics, a Hermitian matrix (or self-adjoint matrix) is a complex square matrix that is equal to its own conjugate transpose—that is, the element in the -th row and -th column is equal to the complex conjugate of the element in the -th ...
(the
matrix transpose
In linear algebra, the transpose of a matrix is an operator which flips a matrix over its diagonal;
that is, it switches the row and column indices of the matrix by producing another matrix, often denoted by (among other notations).
The tr ...
and
complex conjugate
In mathematics, the complex conjugate of a complex number is the number with an equal real part and an imaginary part equal in magnitude but opposite in sign. That is, (if a and b are real, then) the complex conjugate of a + bi is equal to a - ...
of the matrix leaves it unchanged), rather than a real-valued column or row vector. The
determinant
In mathematics, the determinant is a scalar value that is a function of the entries of a square matrix. It characterizes some properties of the matrix and the linear map represented by the matrix. In particular, the determinant is nonzero if and ...
of the matrix is the modulus of the four-vector, so the determinant is an invariant:
This idea of using the Pauli matrices as
basis vector
In mathematics, a set of vectors in a vector space is called a basis if every element of may be written in a unique way as a finite linear combination of elements of . The coefficients of this linear combination are referred to as components ...
s is employed in the
algebra of physical space
In physics, the algebra of physical space (APS) is the use of the Clifford or geometric algebra Cl3,0(R) of the three-dimensional Euclidean space as a model for (3+1)-dimensional spacetime, representing a point in spacetime via a paravector (3-di ...
, an example of a
Clifford algebra
In mathematics, a Clifford algebra is an algebra generated by a vector space with a quadratic form, and is a unital associative algebra. As -algebras, they generalize the real numbers, complex numbers, quaternions and several other hyperc ...
.
Four-vectors in spacetime algebra
In
spacetime algebra
In mathematical physics, spacetime algebra (STA) is a name for the Clifford algebra Cl1,3(R), or equivalently the geometric algebra . According to David Hestenes, spacetime algebra can be particularly closely associated with the geometry of special ...
, another example of Clifford algebra, the
gamma matrices
In mathematical physics, the gamma matrices, \left\ , also called the Dirac matrices, are a set of conventional matrices with specific anticommutation relations that ensure they generate a matrix representation of the Clifford algebra Cl1,3(\ma ...
can also form a
basis
Basis may refer to:
Finance and accounting
*Adjusted basis, the net cost of an asset after adjusting for various tax-related items
*Basis point, 0.01%, often used in the context of interest rates
*Basis trading, a trading strategy consisting of ...
. (They are also called the Dirac matrices, owing to their appearance in the
Dirac equation
In particle physics, the Dirac equation is a relativistic wave equation derived by British physicist Paul Dirac in 1928. In its free form, or including electromagnetic interactions, it describes all spin- massive particles, called "Dirac part ...
). There is more than one way to express the gamma matrices, detailed in that main article.
The
Feynman slash notation
In the study of Dirac fields in quantum field theory, Richard Feynman invented the convenient Feynman slash notation (less commonly known as the Dirac slash notation). If ''A'' is a covariant vector (i.e., a 1-form),
: \ \stackrel\ \gamma^1 A_ ...
is a shorthand for a four-vector A contracted with the gamma matrices:
The four-momentum contracted with the gamma matrices is an important case in
relativistic quantum mechanics
In physics, relativistic quantum mechanics (RQM) is any Poincaré covariant formulation of quantum mechanics (QM). This theory is applicable to massive particles propagating at all velocities up to those comparable to the speed of light ''c ...
and
relativistic quantum field theory
In theoretical physics, quantum field theory (QFT) is a theoretical framework that combines classical field theory, special relativity, and quantum mechanics. QFT is used in particle physics to construct physical models of subatomic particles and ...
. In the Dirac equation and other
relativistic wave equation
In physics, specifically relativistic quantum mechanics (RQM) and its applications to particle physics, relativistic wave equations predict the behavior of particles at high energies and velocities comparable to the speed of light. In the con ...
s, terms of the form:
appear, in which the energy and momentum components are replaced by their respective
operators.
See also
*
Basic introduction to the mathematics of curved spacetime
The mathematics of general relativity is complex. In Newton's theories of motion, an object's length and the rate at which time passes remain constant while the object accelerates, meaning that many problems in Newtonian mechanics may be solve ...
*
Dust (relativity)
In general relativity, a dust solution is a fluid solution, a type of exact solution of the Einstein field equation, in which the gravitational field is produced entirely by the mass, momentum, and stress density of a perfect fluid that has '' ...
for the number-flux four-vector
*
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 inerti ...
*
Paravector
The name paravector is used for the sum of a scalar and a vector in any Clifford algebra, known as geometric algebra among physicists.
This name was given by J. G. Maks in a doctoral dissertation at Technische Universiteit Delft, Netherlands, in ...
*
Relativistic mechanics
In physics, relativistic mechanics refers to mechanics compatible with special relativity (SR) and general relativity (GR). It provides a non-quantum mechanical description of a system of particles, or of a fluid, in cases where the velocities of ...
*
Wave vector
In physics, a wave vector (or wavevector) is a vector used in describing a wave, with a typical unit being cycle per metre. It has a magnitude and direction. Its magnitude is the wavenumber of the wave (inversely proportional to the wavelength), ...
References
*Rindler, W. ''Introduction to Special Relativity (2nd edn.)'' (1991) Clarendon Press Oxford {{ISBN, 0-19-853952-5
Minkowski spacetime
Theory of relativity
Concepts in physics
Vectors (mathematics and physics)