Four-vector

Part of a series on
Spacetime
Special relativity General relativity
Spacetime concepts Spacetime manifold Equivalence principle Lorentz transformations Minkowski space
General relativity Introduction to general relativity Mathematics of general relativity Einstein field equations
Classical gravity Introduction to gravitation Newton's law of universal gravitation
Relevant mathematics Four-vector Derivations of relativity Spacetime diagrams Differential geometry Curved space Curved spacetime Mathematics of general relativity Spacetime topology
Physics portal  Category
v t e

In special relativity, a four-vector (or 4-vector, sometimes Lorentz vector)^[1] 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 representation space of the standard representation of the Lorentz group, the (⁠1/2⁠,⁠1/2⁠) representation. It differs from a Euclidean vector 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).^[2]: ch1

Four-vectors describe, for instance, position x^μ in spacetime modeled as Minkowski space, a particle's four-momentum p^μ, the amplitude of the electromagnetic four-potential A^μ(x) at a point x in spacetime, and the elements of the subspace spanned by the gamma matrices inside the Dirac algebra.

The Lorentz group may be represented by 4×4 matrices Λ. The action of a Lorentz transformation on a general contravariant four-vector X (like the examples above), regarded as a column vector with Cartesian coordinates with respect to an inertial frame in the entries, is given by

$${\displaystyle X'=\Lambda X,}$$

(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 vectors x_μ, p_μ and A_μ(x). These transform according to the rule

$${\displaystyle X'=\left(\Lambda ^{-1}\right)^{\textrm {T}}X,}$$

where ^T denotes the matrix transpose. This rule is different from the above rule. It corresponds to the dual representation of the standard representation. However, for the Lorentz group the dual of any representation is equivalent 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. 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 X′ = Π(Λ)X, 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 scalars, spinors, tensors 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, some of the results stated in this article require modification in general relativity.