Four-vector

Lore & Background

In special relativity, a four-vector is an element of a four-dimensional vector space whose components transform under Lorentz transformations. The Lorentz group may be represented by a set of 4×4 matrices Λ, and the action on a contravariant four-vector X is given by X′ = ΛX. Covariant vectors, such as xμ, pμ, and Aμ(x), transform according to X′ = (Λ⁻¹)ᵀX, which corresponds to the dual representation; however, for the Lorentz group the dual of any representation is equivalent to the original representation, so covariant objects are also four-vectors.

Reader's Guide

Four-vectors are fundamental in special relativity because they provide a consistent way to describe physical quantities that transform predictably between inertial frames. Their magnitude is invariant under Lorentz transformations, which include spatial rotations and boosts (changes by constant velocity). Examples include position in Minkowski space, four-momentum, and the electromagnetic four-potential. The transformation rules differ for contravariant and covariant vectors, but both are valid four-vectors. Not all four-component objects are four-vectors; for instance, a Dirac spinor transforms under a different representation of the Lorentz group. The concept extends to general relativity, though some results require modification. In the standard configuration with speed u along the positive x-axis, the transformation matrix depends on convention—either using coordinates (t, x, y, z) or (ct, x, y, z).

Did You Know?

• Four-vectors include position xμ in Minkowski space, four-momentum pμ, and the electromagnetic four-potential Aμ(x).
• The Lorentz group may be represented by a set of 4×4 matrices Λ, and the action on a contravariant four-vector is X′ = ΛX.
• Covariant four-vectors transform according to X′ = (Λ⁻¹)ᵀX, but for the Lorentz group the dual representation is equivalent to the original.
• A Dirac spinor is a well-behaved four-component object in special relativity that is not a four-vector, as it transforms under a different representation.

Definition and Transformation Structure

In the framework of special relativity, a four-vector—also referred to as a Lorentz vector—is an element of a four-dimensional vector space carrying exactly four components. What distinguishes it from an ordinary spatial vector is its transformation law: when an observer switches to a different inertial reference frame, the components of the four-vector are remixed according to Lorentz transformations. The magnitude of the object is not measured by the standard Euclidean inner product but by an indefinite quadratic form. The requirement that this indefinite form remain invariant under a change of basis is precisely what defines the full set of permissible Lorentz transformations. Those transformations include the familiar spatial rotations as well as boosts, which correspond to shifting to a frame moving at a constant velocity relative to the original one. Together, these rules make the four-vector the most basic geometric object for encoding physical quantities in a spacetime where space and time are interwoven rather than treated as separate arenas.

Physical Roles and Canonical Examples

The four-vector is not merely an abstract algebraic construct; it appears throughout the core equations of relativistic physics. A particle's position in spacetime, modeled as Minkowski space, is naturally written as the four-vector xμ. The momentum of a particle, combining its energy and three-momentum into a single geometric entity, is expressed as the four-momentum pμ. In electromagnetism, the amplitude of the electromagnetic four-potential Aμ(x) at a given spacetime point x is itself a four-vector, unifying the scalar and vector potentials into one object. Even in the algebraic structure of quantum field theory, the elements of the subspace spanned by the gamma matrices within the Dirac algebra carry the character of four-vectors. Each of these examples demonstrates how the four-vector serves as a universal packaging mechanism: it bundles quantities that a classical physicist would treat separately—time and space, energy and momentum, scalar and vector potentials—into a single entity that transforms coherently when the observer's frame changes.

Matrix Representation and the Covariant Counterpart

The Lorentz group can be faithfully represented by a collection of 4×4 matrices Λ. When a contravariant four-vector X—treated as a column vector whose entries are the Cartesian coordinates in a given inertial frame—undergoes a Lorentz transformation, the new components in the primed frame are obtained by simple matrix multiplication: X′ = ΛX. Physics also demands the existence of covariant counterparts, such as xμ, pμ, and Aμ(x), which carry lower indices. These transform under a different rule: X′ = (Λ⁻¹)ᵀ X, where the inverse of Λ is transposed before multiplying. This is the dual representation of the standard one. Remarkably, for the Lorentz group specifically, the dual of any representation is equivalent to the original representation, meaning that covariant-index objects are still bona fide four-vectors despite obeying a distinct transformation law. In the standard configuration, where the primed frame slides along the positive x-axis at speed u, the explicit matrix involves the Lorentz factor γ(u) and the ratio u/c², while the transverse y and z components remain untouched.

Beyond the Four-Vector: Spinors, Tensors, and General Relativity

Not every well-behaved four-component object in special relativity qualifies as a four-vector. The Dirac spinor, for instance, also has four components and transforms under Lorentz transformations, but it does so through a representation other than the standard one. Its transformation rule takes the form X′ = Π(Λ)X, where Π(Λ) is a 4×4 matrix distinct from Λ itself. The same distinction extends to objects with fewer or more components: Lorentz scalars, spinors, tensors, and spinor-tensors all transform coherently under the Lorentz group yet belong to different representation classes. Finally, while the four-vector concept extends naturally into general relativity, the specific results and transformation rules stated in the special-relativistic context require modification in the curved-spacetime setting. This broader landscape of Lorentz-covariant objects underscores that the four-vector, while foundational, is only one node in a rich hierarchy of geometric entities that together describe the full structure of relativistic physics.

Gallery