Physlib.Relativity.LorentzGroup.Boosts.Basic
29 declarations
Lorentz factor
#γThe Lorentz factor , also known as the gamma factor or Lorentz term, is a function that maps a real number (representing the velocity as a fraction of the speed of light) to the real value defined by .
For any real number representing the velocity as a fraction of the speed of light, if , then the square of the Lorentz factor satisfies the identity .
The Lorentz factor evaluated at is equal to , that is, .
For any real number , the Lorentz factor satisfies the identity .
implies
#γ_det_not_zeroFor any real number such that , it holds that .
Lorentz boost in direction with speed
#boostFor a given spatial dimension , a spatial direction , and a velocity parameter satisfying , the Lorentz boost is the matrix in the Lorentz group whose components are defined by: - - - - for all other indices , where is the Lorentz factor and denotes the Kronecker delta.
Lorentz Boost Matrix is Symmetric
#boost_transpose_eq_selfFor a given number of spatial dimensions , any spatial direction , and a velocity parameter satisfying , the Lorentz boost matrix is equal to its transpose: In other words, Lorentz boost matrices are symmetric.
Lorentz Boost Matrices are Symmetric ()
#boost_transpose_matrix_eq_selfFor a given number of spatial dimensions , any spatial direction , and a velocity parameter satisfying , the matrix representing the Lorentz boost in direction with speed , denoted as , is equal to its own transpose: In other words, the matrix of a Lorentz boost is symmetric.
For any spatial dimension and any spatial direction , the Lorentz boost in direction with velocity parameter is equal to the identity element of the Lorentz group.
For any spatial dimension , spatial direction , and velocity parameter satisfying , the inverse of the Lorentz boost in direction with speed is equal to the Lorentz boost in the same direction with speed :
The -component of a Lorentz boost is
#boost_inl_0_inl_0For a given spatial dimension , let be the Lorentz boost matrix in the direction with velocity parameter satisfying . The -component (the time-time component) of this matrix is equal to the Lorentz factor , where .
The -th entry of a Lorentz boost in direction is
#boost_inr_self_inr_selfFor a given spatial dimension , a spatial direction , and a velocity parameter such that , the -th component of the Lorentz boost matrix in direction is equal to the Lorentz factor .
The component of a Lorentz boost in direction is
#boost_inl_0_inr_selfFor a Lorentz boost in the spatial direction with velocity parameter such that , the matrix component (the entry at the temporal row and -th spatial column) is given by: where is the Lorentz factor.
The component of a Lorentz boost equals
#boost_inr_self_inl_0For a Lorentz boost in the spatial direction with velocity parameter (where ), the matrix component at spatial row and temporal column is given by , where is the Lorentz factor.
For a spatial dimension , let and be distinct spatial indices (). For any velocity parameter such that , the -th component of the Lorentz boost matrix in the direction , denoted , is equal to . Here, the index represents the time-like dimension and represents a spatial dimension.
for a Lorentz boost in direction
#boost_inr_other_inl_0Consider a Lorentz boost in a spatial direction with speed such that . For any spatial index that is different from (), the matrix component (representing the coupling between the -th spatial component and the temporal component) is equal to .
The -component of a Lorentz boost in direction is zero for
#boost_inr_self_inr_otherIn a spacetime with spatial dimensions, let be the Lorentz boost in the -th spatial direction with speed (where ). For any spatial index that is not equal to , the matrix component of the boost at row and column is zero, i.e., .
The matrix entry of a Lorentz boost in direction is for
#boost_inr_other_inr_selfConsider a Lorentz boost in the spatial direction with velocity parameter satisfying . For any spatial index such that , the matrix component (the entry at the -th spatial row and -th spatial column) is .
Spatial matrix elements for in a Lorentz boost in direction
#boost_inr_other_inrFor a given number of spatial dimensions , let be a Lorentz boost in the spatial direction with velocity parameter such that . For any spatial indices , if is not the boost direction (), then the matrix element is equal to the Kronecker delta (where if and otherwise).
Spatial matrix elements for column in a Lorentz boost in direction
#boost_inr_inr_otherFor a given number of spatial dimensions , let be a Lorentz boost in the spatial direction with velocity parameter such that . For any spatial indices , if the column index is not the boost direction (), then the matrix element (representing the entry at spatial row and spatial column ) is equal to the Kronecker delta (where if and otherwise).
for spatial indices
#boost_zero_inl_0_inr_succConsider a Minkowski space with spatial dimensions. For any velocity parameter such that , let be the Lorentz boost matrix in the direction of the first spatial coordinate (index ). For any spatial index , the matrix element corresponding to the time-like dimension (row index ) and the -th spatial dimension (column index ) is zero, i.e., .
The matrix components for for a Lorentz boost in the first spatial direction
#boost_zero_inr_succ_inl_0For a Lorentz boost in the first spatial direction () with speed (where ) in a spacetime of dimensions, the matrix components are equal to for all spatial indices . Here, the index in the column position refers to the temporal component, and the row index refers to the spatial components other than the direction of the boost.
The component of a Lorentz boost in the first spatial direction is
#boost_zero_inl_0_inr_nat_succConsider the Lorentz group in spatial dimensions. Let be a Lorentz boost in the first spatial direction (indexed by ) with velocity such that . For any spatial index where and , the matrix component corresponding to the time-like dimension and the -th spatial dimension is zero, i.e., .
for a Lorentz boost in direction
#boost_zero_inr_nat_succ_inl_0For a Lorentz boost in the first spatial direction (indexed by ) with speed satisfying , the matrix component (the coupling between the -th spatial component and the temporal component) is equal to for any spatial index .
for for a Lorentz boost in the first spatial direction
#boost_zero_inr_0_inr_succIn a spacetime with spatial dimensions, let be the Lorentz boost in the first spatial direction (indexed by in the spatial basis) with speed such that . For any spatial index , the matrix component of the boost in the first spatial row and the -th spatial column is zero, i.e., .
The matrix entry of a Lorentz boost in direction is for
#boost_zero_inr_succ_inr_0Consider a Lorentz boost in the first spatial direction with velocity parameter satisfying . For any spatial index (where ), the matrix entry (the component at the -th spatial row and -th spatial column) is equal to .
The -spatial component of a Lorentz boost in direction is zero
#boost_zero_inr_0_inr_nat_succIn a spacetime with spatial dimensions, let be the Lorentz boost in the -th spatial direction with speed (where ). For any spatial index such that , the matrix component of the boost at spatial row and spatial column is zero, i.e., .
The spatial matrix entry of a Lorentz boost in direction is
#boost_zero_inr_nat_succ_inr_0For a Lorentz boost in the -th spatial direction with velocity satisfying , the matrix entry corresponding to the -th spatial row and the -th spatial column is , where is a valid spatial index.
for transverse spatial indices in a Lorentz boost along direction
#boost_zero_inr_succ_inr_succIn a spacetime with spatial dimensions, let be the Lorentz boost in the -th spatial direction with velocity parameter such that . For any spatial indices , the matrix element of the boost is equal to the Kronecker delta (i.e., if and if ).
