Physlib.Relativity.Tensors.RealTensor.Vector.Causality.TimeLike
8 declarations
Product of negative time components is positive ()
#timelike_neg_time_component_productFor any vectors and in a -dimensional Lorentz vector space, if their time components (denoted by and ) are both negative, then the product of these components is positive, i.e., .
is timelike
#timeLike_iff_norm_sq_posLet be a Lorentz vector in a Minkowski space with spatial dimensions. The causal character of is classified as timelike if and only if its Minkowski inner product with itself is strictly positive, i.e., .
For timelike vectors,
#timelike_time_dominates_spaceFor any timelike Lorentz vector in a Minkowski space with spatial dimensions, the Euclidean inner product of its spatial part with itself is strictly less than the square of its time component: where denotes the spatial part of and denotes its temporal component.
Timelike vectors have non-zero temporal component
#time_component_ne_zero_of_timelikeLet be a Lorentz vector in a Minkowski space with spatial dimensions. If is timelike (meaning its causal character is classified as timelike, which implies ), then its temporal component (the component indexed by the first index of the spacetime decomposition) is non-zero, i.e., .
Timelike vectors have non-zero temporal component
#timelike_time_component_ne_zeroFor any Lorentz vector in a Minkowski space with spatial dimensions, if is timelike (meaning its causal character is classified as timelike), then its temporal component is non-zero, i.e., .
is timelike
#timeLike_iff_time_lt_spaceFor a Lorentz vector in -dimensional Minkowski spacetime, let denote its temporal component (time component) and denote its spatial part. The vector is classified as timelike if and only if the squared Euclidean norm of its spatial part is strictly less than the square of its temporal component: where is the sum of the squares of the spatial components.
for timelike vectors
#timeComponent_squared_pos_of_timelikeLet be a Lorentz vector in a Minkowski space with spatial dimensions. If is timelike (meaning its causal character is classified as timelike, which implies ), then the square of its temporal component is strictly positive, i.e., .
for Timelike Vectors
#timelike_spatial_lt_time_squaredFor any Lorentz vector in a Minkowski space with spatial dimensions, if is timelike, then the squared Euclidean norm of its spatial part (given by the inner product ) is strictly less than the square of its temporal component .
