PhyslibSearch

Physlib.Relativity.LorentzGroup.Boosts.Basic

29 declarations

definition

Lorentz factor γ(β)\gamma(\beta)

#γ

The Lorentz factor γ\gamma, also known as the gamma factor or Lorentz term, is a function that maps a real number β\beta (representing the velocity as a fraction of the speed of light) to the real value defined by γ(β)=11β2\gamma(\beta) = \frac{1}{\sqrt{1 - \beta^2}}.

theorem

γ(β)2=11β2\gamma(\beta)^2 = \frac{1}{1 - \beta^2}

#γ_sq

For any real number β\beta representing the velocity as a fraction of the speed of light, if β<1|\beta| < 1, then the square of the Lorentz factor γ(β)\gamma(\beta) satisfies the identity γ(β)2=11β2\gamma(\beta)^2 = \frac{1}{1 - \beta^2}.

theorem

γ(0)=1\gamma(0) = 1

#γ_zero

The Lorentz factor γ\gamma evaluated at 00 is equal to 11, that is, γ(0)=1\gamma(0) = 1.

theorem

γ(β)=γ(β)\gamma(-\beta) = \gamma(\beta)

#γ_neg

For any real number β\beta, the Lorentz factor γ\gamma satisfies the identity γ(β)=γ(β)\gamma(-\beta) = \gamma(\beta).

theorem

β<1|\beta| < 1 implies 1β201 - \beta^2 \neq 0

#γ_det_not_zero

For any real number β\beta such that β<1|\beta| < 1, it holds that 1β201 - \beta^2 \neq 0.

definition

Lorentz boost in direction ii with speed β\beta

#boost

For a given spatial dimension dd, a spatial direction i{1,,d}i \in \{1, \dots, d\}, and a velocity parameter βR\beta \in \mathbb{R} satisfying β<1|\beta| < 1, the Lorentz boost boost(i,β)\text{boost}(i, \beta) is the (1+d)×(1+d)(1+d) \times (1+d) matrix in the Lorentz group L\mathcal{L} whose components Λμν\Lambda_{\mu \nu} are defined by: - Λ0,0=γ(β)\Lambda_{0,0} = \gamma(\beta) - Λ0,i=Λi,0=βγ(β)\Lambda_{0,i} = \Lambda_{i,0} = -\beta \gamma(\beta) - Λi,i=γ(β)\Lambda_{i,i} = \gamma(\beta) - Λj,k=δjk\Lambda_{j,k} = \delta_{jk} for all other indices j,kj, k, where γ(β)=11β2\gamma(\beta) = \frac{1}{\sqrt{1-\beta^2}} is the Lorentz factor and δ\delta denotes the Kronecker delta.

theorem

Lorentz Boost Matrix is Symmetric

#boost_transpose_eq_self

For a given number of spatial dimensions dd, any spatial direction i{1,,d}i \in \{1, \dots, d\}, and a velocity parameter βR\beta \in \mathbb{R} satisfying β<1|\beta| < 1, the Lorentz boost matrix boost(i,β)\text{boost}(i, \beta) is equal to its transpose: boost(i,β)T=boost(i,β) \text{boost}(i, \beta)^T = \text{boost}(i, \beta) In other words, Lorentz boost matrices are symmetric.

theorem

Lorentz Boost Matrices are Symmetric (boost(i,β)T=boost(i,β)\text{boost}(i, \beta)^T = \text{boost}(i, \beta))

#boost_transpose_matrix_eq_self

For a given number of spatial dimensions dd, any spatial direction i{1,,d}i \in \{1, \dots, d\}, and a velocity parameter βR\beta \in \mathbb{R} satisfying β<1|\beta| < 1, the matrix representing the Lorentz boost in direction ii with speed β\beta, denoted as boost(i,β)\text{boost}(i, \beta), is equal to its own transpose: boost(i,β)T=boost(i,β) \text{boost}(i, \beta)^T = \text{boost}(i, \beta) In other words, the matrix of a Lorentz boost is symmetric.

theorem

boost(i,0)=I\text{boost}(i, 0) = I

#boost_zero_eq_id

For any spatial dimension dd and any spatial direction i{1,,d}i \in \{1, \dots, d\}, the Lorentz boost in direction ii with velocity parameter β=0\beta = 0 is equal to the identity element II of the Lorentz group.

theorem

boost(i,β)1=boost(i,β)\text{boost}(i, \beta)^{-1} = \text{boost}(i, -\beta)

#boost_inverse

For any spatial dimension dd, spatial direction i{1,,d}i \in \{1, \dots, d\}, and velocity parameter βR\beta \in \mathbb{R} satisfying β<1|\beta| < 1, the inverse of the Lorentz boost in direction ii with speed β\beta is equal to the Lorentz boost in the same direction with speed β-\beta: boost(i,β)1=boost(i,β) \text{boost}(i, \beta)^{-1} = \text{boost}(i, -\beta)

theorem

The 0,00,0-component of a Lorentz boost is γ(β)\gamma(\beta)

#boost_inl_0_inl_0

For a given spatial dimension dd, let BB be the Lorentz boost matrix in the direction i{1,,d}i \in \{1, \dots, d\} with velocity parameter βR\beta \in \mathbb{R} satisfying β<1|\beta| < 1. The (0,0)(0,0)-component (the time-time component) of this matrix is equal to the Lorentz factor γ(β)\gamma(\beta), where γ(β)=11β2\gamma(\beta) = \frac{1}{\sqrt{1 - \beta^2}}.

theorem

The (i,i)(i, i)-th entry of a Lorentz boost in direction ii is γ(β)\gamma(\beta)

#boost_inr_self_inr_self

For a given spatial dimension dd, a spatial direction i{1,,d}i \in \{1, \dots, d\}, and a velocity parameter βR\beta \in \mathbb{R} such that β<1|\beta| < 1, the (i,i)(i, i)-th component of the Lorentz boost matrix in direction ii is equal to the Lorentz factor γ(β)=11β2\gamma(\beta) = \frac{1}{\sqrt{1 - \beta^2}}.

theorem

The (0,i)(0, i) component of a Lorentz boost in direction ii is βγ(β)-\beta \gamma(\beta)

#boost_inl_0_inr_self

For a Lorentz boost Λ\Lambda in the spatial direction i{1,,d}i \in \{1, \dots, d\} with velocity parameter βR\beta \in \mathbb{R} such that β<1|\beta| < 1, the matrix component Λ0,i\Lambda_{0, i} (the entry at the temporal row and ii-th spatial column) is given by: Λ0,i=γ(β)β\Lambda_{0, i} = -\gamma(\beta) \beta where γ(β)=11β2\gamma(\beta) = \frac{1}{\sqrt{1 - \beta^2}} is the Lorentz factor.

theorem

The component Bi,0B_{i,0} of a Lorentz boost equals γ(β)β-\gamma(\beta) \beta

#boost_inr_self_inl_0

For a Lorentz boost BB in the spatial direction i{1,,d}i \in \{1, \dots, d\} with velocity parameter βR\beta \in \mathbb{R} (where β<1|\beta| < 1), the matrix component at spatial row ii and temporal column 00 is given by Bi,0=γ(β)βB_{i,0} = -\gamma(\beta) \beta, where γ(β)=11β2\gamma(\beta) = \frac{1}{\sqrt{1 - \beta^2}} is the Lorentz factor.

theorem

(Bi(β))0,j=0(B_i(\beta))_{0, j} = 0 for jij \neq i

#boost_inl_0_inr_other

For a spatial dimension dd, let ii and jj be distinct spatial indices (jij \neq i). For any velocity parameter βR\beta \in \mathbb{R} such that β<1|\beta| < 1, the (0,j)(0, j)-th component of the Lorentz boost matrix in the direction ii, denoted (Bi(β))0,j(B_i(\beta))_{0,j}, is equal to 00. Here, the index 00 represents the time-like dimension and jj represents a spatial dimension.

theorem

Λj,0=0\Lambda_{j, 0} = 0 for a Lorentz boost in direction iji \neq j

#boost_inr_other_inl_0

Consider a Lorentz boost Λ\Lambda in a spatial direction i{1,,d}i \in \{1, \dots, d\} with speed βR\beta \in \mathbb{R} such that β<1|\beta| < 1. For any spatial index j{1,,d}j \in \{1, \dots, d\} that is different from ii (jij \neq i), the matrix component Λj,0\Lambda_{j, 0} (representing the coupling between the jj-th spatial component and the temporal component) is equal to 00.

theorem

The (i,j)(i, j)-component of a Lorentz boost in direction ii is zero for jij \neq i

#boost_inr_self_inr_other

In a spacetime with dd spatial dimensions, let Λ\Lambda be the Lorentz boost in the ii-th spatial direction with speed β\beta (where β<1|\beta| < 1). For any spatial index j{1,,d}j \in \{1, \dots, d\} that is not equal to ii, the matrix component of the boost at row ii and column jj is zero, i.e., Λij=0\Lambda_{ij} = 0.

theorem

The matrix entry Λji\Lambda_{ji} of a Lorentz boost in direction ii is 00 for jij \neq i

#boost_inr_other_inr_self

Consider a Lorentz boost Λ\Lambda in the spatial direction i{1,,d}i \in \{1, \dots, d\} with velocity parameter β\beta satisfying β<1|\beta| < 1. For any spatial index j{1,,d}j \in \{1, \dots, d\} such that jij \neq i, the matrix component Λji\Lambda_{ji} (the entry at the jj-th spatial row and ii-th spatial column) is 00.

theorem

Spatial matrix elements Λjk=δjk\Lambda_{jk} = \delta_{jk} for jij \neq i in a Lorentz boost in direction ii

#boost_inr_other_inr

For a given number of spatial dimensions dd, let Λ\Lambda be a Lorentz boost in the spatial direction i{1,,d}i \in \{1, \dots, d\} with velocity parameter β\beta such that β<1|\beta| < 1. For any spatial indices j,k{1,,d}j, k \in \{1, \dots, d\}, if jj is not the boost direction (jij \neq i), then the matrix element Λjk\Lambda_{jk} is equal to the Kronecker delta δjk\delta_{jk} (where δjk=1\delta_{jk} = 1 if j=kj = k and 00 otherwise).

theorem

Spatial matrix elements Λkj=δkj\Lambda_{kj} = \delta_{kj} for column jij \neq i in a Lorentz boost in direction ii

#boost_inr_inr_other

For a given number of spatial dimensions dd, let Λ\Lambda be a Lorentz boost in the spatial direction i{1,,d}i \in \{1, \dots, d\} with velocity parameter β\beta such that β<1|\beta| < 1. For any spatial indices j,k{1,,d}j, k \in \{1, \dots, d\}, if the column index jj is not the boost direction (jij \neq i), then the matrix element Λkj\Lambda_{kj} (representing the entry at spatial row kk and spatial column jj) is equal to the Kronecker delta δkj\delta_{kj} (where δkj=1\delta_{kj} = 1 if k=jk = j and 00 otherwise).

theorem

(B0(β))0,j=0(B_0(\beta))_{0,j} = 0 for spatial indices j>0j > 0

#boost_zero_inl_0_inr_succ

Consider a Minkowski space with d+1d+1 spatial dimensions. For any velocity parameter βR\beta \in \mathbb{R} such that β<1|\beta| < 1, let B0(β)B_0(\beta) be the Lorentz boost matrix in the direction of the first spatial coordinate (index 00). For any spatial index j{1,,d}j \in \{1, \dots, d\}, the matrix element corresponding to the time-like dimension (row index 00) and the jj-th spatial dimension (column index jj) is zero, i.e., (B0(β))0,j=0(B_0(\beta))_{0,j} = 0.

theorem

The matrix components Λj,0=0\Lambda_{j, 0} = 0 for j>0j > 0 for a Lorentz boost in the first spatial direction

#boost_zero_inr_succ_inl_0

For a Lorentz boost Λ\Lambda in the first spatial direction (j=0j=0) with speed βR\beta \in \mathbb{R} (where β<1|\beta| < 1) in a spacetime of 1+(d+1)1 + (d+1) dimensions, the matrix components Λj,0\Lambda_{j, 0} are equal to 00 for all spatial indices j{1,,d}j \in \{1, \dots, d\}. Here, the index 00 in the column position refers to the temporal component, and the row index jj refers to the spatial components other than the direction of the boost.

theorem

The (0,i+1)(0, i+1) component of a Lorentz boost in the first spatial direction is 00

#boost_zero_inl_0_inr_nat_succ

Consider the Lorentz group in d+1d+1 spatial dimensions. Let B0(β)B_0(\beta) be a Lorentz boost in the first spatial direction (indexed by 00) with velocity β\beta such that β<1|\beta| < 1. For any spatial index j=i+1j = i+1 where iNi \in \mathbb{N} and jdj \leq d, the matrix component corresponding to the time-like dimension and the jj-th spatial dimension is zero, i.e., (B0(β))0,j=0(B_0(\beta))_{0, j} = 0.

theorem

Λi+1,0=0\Lambda_{i+1, 0} = 0 for a Lorentz boost in direction 00

#boost_zero_inr_nat_succ_inl_0

For a Lorentz boost Λ\Lambda in the first spatial direction (indexed by 00) with speed βR\beta \in \mathbb{R} satisfying β<1|\beta| < 1, the matrix component Λj,0\Lambda_{j, 0} (the coupling between the jj-th spatial component and the temporal component) is equal to 00 for any spatial index j=i+1j = i + 1.

theorem

Λ1,j=0\Lambda_{1, j} = 0 for j>1j > 1 for a Lorentz boost in the first spatial direction

#boost_zero_inr_0_inr_succ

In a spacetime with d+1d+1 spatial dimensions, let Λ\Lambda be the Lorentz boost in the first spatial direction (indexed by 00 in the spatial basis) with speed β\beta such that β<1|\beta| < 1. For any spatial index j{2,,d+1}j \in \{2, \dots, d+1\}, the matrix component of the boost in the first spatial row and the jj-th spatial column is zero, i.e., Λ1,j=0\Lambda_{1, j} = 0.

theorem

The matrix entry Λj,0\Lambda_{j,0} of a Lorentz boost in direction 00 is 00 for j0j \neq 0

#boost_zero_inr_succ_inr_0

Consider a Lorentz boost Λ\Lambda in the first spatial direction 00 with velocity parameter β\beta satisfying β<1|\beta| < 1. For any spatial index j{1,,d}j \in \{1, \dots, d\} (where j>0j > 0), the matrix entry Λj,0\Lambda_{j, 0} (the component at the jj-th spatial row and 00-th spatial column) is equal to 00.

theorem

The (0,i+1)(0, i+1)-spatial component of a Lorentz boost in direction 00 is zero

#boost_zero_inr_0_inr_nat_succ

In a spacetime with d+1d+1 spatial dimensions, let Λ\Lambda be the Lorentz boost in the 00-th spatial direction with speed β\beta (where β<1|\beta| < 1). For any spatial index j=i+1j = i+1 such that 1jd1 \le j \le d, the matrix component of the boost at spatial row 00 and spatial column jj is zero, i.e., Λ0,j=0\Lambda_{0,j} = 0.

theorem

The spatial matrix entry Λi+1,0\Lambda_{i+1, 0} of a Lorentz boost in direction 00 is 00

#boost_zero_inr_nat_succ_inr_0

For a Lorentz boost Λ\Lambda in the 00-th spatial direction with velocity β\beta satisfying β<1|\beta| < 1, the matrix entry corresponding to the (i+1)(i+1)-th spatial row and the 00-th spatial column is 00, where i+1i+1 is a valid spatial index.

theorem

Λjk=δjk\Lambda_{jk} = \delta_{jk} for transverse spatial indices j,k>0j, k > 0 in a Lorentz boost along direction 00

#boost_zero_inr_succ_inr_succ

In a spacetime with d+1d+1 spatial dimensions, let Λ\Lambda be the Lorentz boost in the 00-th spatial direction with velocity parameter β\beta such that β<1|\beta| < 1. For any spatial indices j,k{1,,d}j, k \in \{1, \dots, d\}, the matrix element of the boost Λjk\Lambda_{jk} is equal to the Kronecker delta δjk\delta_{jk} (i.e., Λjk=1\Lambda_{jk} = 1 if j=kj = k and Λjk=0\Lambda_{jk} = 0 if jkj \neq k).