PhyslibSearch

Physlib.Relativity.Tensors.RealTensor.Vector.Causality.TimeLike

8 declarations

theorem

Product of negative time components is positive (v0w0>0v^0 w^0 > 0)

#timelike_neg_time_component_product

For any vectors vv and ww in a dd-dimensional Lorentz vector space, if their time components (denoted by v0v^0 and w0w^0) are both negative, then the product of these components is positive, i.e., v0w0>0v^0 w^0 > 0.

theorem

pp is timelike     p,pm>0\iff \langle p, p \rangle_m > 0

#timeLike_iff_norm_sq_pos

Let pp be a Lorentz vector in a Minkowski space with dd spatial dimensions. The causal character of pp is classified as timelike if and only if its Minkowski inner product with itself is strictly positive, i.e., p,pm>0\langle p, p \rangle_m > 0.

theorem

For timelike vectors, vspatial2<(v0)2\|\mathbf{v}_{\text{spatial}}\|^2 < (v^0)^2

#timelike_time_dominates_space

For any timelike Lorentz vector vv in a Minkowski space with dd spatial dimensions, the Euclidean inner product of its spatial part with itself is strictly less than the square of its time component: vspatial,vspatialR<(v0)2\langle \mathbf{v}_{\text{spatial}}, \mathbf{v}_{\text{spatial}} \rangle_{\mathbb{R}} < (v^0)^2 where vspatial\mathbf{v}_{\text{spatial}} denotes the spatial part of vv and v0v^0 denotes its temporal component.

theorem

Timelike vectors have non-zero temporal component v00v^0 \neq 0

#time_component_ne_zero_of_timelike

Let vv be a Lorentz vector in a Minkowski space with dd spatial dimensions. If vv is timelike (meaning its causal character is classified as timelike, which implies v,vm>0\langle v, v \rangle_m > 0), then its temporal component v0v^0 (the component indexed by the first index of the spacetime decomposition) is non-zero, i.e., v00v^0 \neq 0.

theorem

Timelike vectors have non-zero temporal component v00v^0 \neq 0

#timelike_time_component_ne_zero

For any Lorentz vector vv in a Minkowski space with dd spatial dimensions, if vv is timelike (meaning its causal character is classified as timelike), then its temporal component v0v^0 is non-zero, i.e., v00v^0 \neq 0.

theorem

vv is timelike     v2<(v0)2\iff \|\mathbf{v}\|^2 < (v^0)^2

#timeLike_iff_time_lt_space

For a Lorentz vector vv in (1+d)(1+d)-dimensional Minkowski spacetime, let v0v^0 denote its temporal component (time component) and vRd\mathbf{v} \in \mathbb{R}^d denote its spatial part. The vector vv 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: v2<(v0)2\|\mathbf{v}\|^2 < (v^0)^2 where v2=i=1d(vi)2\|\mathbf{v}\|^2 = \sum_{i=1}^d (v^i)^2 is the sum of the squares of the spatial components.

theorem

(v0)2>0(v^0)^2 > 0 for timelike vectors

#timeComponent_squared_pos_of_timelike

Let vv be a Lorentz vector in a Minkowski space with dd spatial dimensions. If vv is timelike (meaning its causal character is classified as timelike, which implies v,vm>0\langle v, v \rangle_m > 0), then the square of its temporal component v0v^0 is strictly positive, i.e., (v0)2>0(v^0)^2 > 0.

theorem

v2<(v0)2\|\mathbf{v}\|^2 < (v^0)^2 for Timelike Vectors

#timelike_spatial_lt_time_squared

For any Lorentz vector vv in a Minkowski space with dd spatial dimensions, if vv is timelike, then the squared Euclidean norm of its spatial part v2\|\mathbf{v}\|^2 (given by the inner product spatialPart v,spatialPart vR\langle \text{spatialPart } v, \text{spatialPart } v \rangle_{\mathbb{R}}) is strictly less than the square of its temporal component (v0)2(v^0)^2.