Physlib

Physlib.Relativity.LorentzGroup.Boosts.Basic

Boosts in the Lorentz group

Properties of boosts in the zero-direction

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}

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

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

theorem

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

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

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

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

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))

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

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)

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)

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)

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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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).