In -dimensional Lorentzian
space
,
the light cone
is defined to be the subset consisting of all vectors
(1)
|
whose squared (Lorentzian) norm is identically zero:
(2)
|
Alternatively,
is the collection of all lightlike vectors in
.
The decomposition of
into Lorentzian space of signature
leads to a natural decomposition of such a vector
into its
component and its
-subvector
. Using this notation, the squared
norm of
can be expressed as
(3)
|
whereby one can also define the light cone to be the collection of all vectors satisfying
(4)
|
This particular perspective makes natural the distinction between positive and negative lightlike vectors.
The open subset of
formed by the interior of the light cone consists of all timelike
vectors; the open subset formed by the exterior of
consists of all vectors which are spacelike.