Part of a series on 
Spacetime 


In physics, the Lorentz transformations are a sixparameter family of linear transformations from a coordinate frame in spacetime to another frame that moves at a constant velocity relative to the former. The respective inverse transformation is then parameterized by the negative of this velocity. The transformations are named after the Dutch physicist Hendrik Lorentz.
The most common form of the transformation, parametrized by the real constant representing a velocity confined to the xdirection, is expressed as^{[1]}^{[2]}
Expressing the speed as an equivalent form of the transformation is^{[3]}
Frames of reference can be divided into two groups: inertial (relative motion with constant velocity) and noninertial (accelerating, moving in curved paths, rotational motion with constant angular velocity, etc.). The term "Lorentz transformations" only refers to transformations between inertial frames, usually in the context of special relativity.
In each reference frame, an observer can use a local coordinate system (usually Cartesian coordinates in this context) to measure lengths, and a clock to measure time intervals. An event is something that happens at a point in space at an instant of time, or more formally a point in spacetime. The transformations connect the space and time coordinates of an event as measured by an observer in each frame.^{[nb 1]}
They supersede the Galilean transformation of Newtonian physics, which assumes an absolute space and time (see Galilean relativity). The Galilean transformation is a good approximation only at relative speeds much less than the speed of light. Lorentz transformations have a number of unintuitive features that do not appear in Galilean transformations. For example, they reflect the fact that observers moving at different velocities may measure different distances, elapsed times, and even different orderings of events, but always such that the speed of light is the same in all inertial reference frames. The invariance of light speed is one of the postulates of special relativity.
Historically, the transformations were the result of attempts by Lorentz and others to explain how the speed of light was observed to be independent of the reference frame, and to understand the symmetries of the laws of electromagnetism. The Lorentz transformation is in accordance with Albert Einstein's special relativity, but was derived first.
The Lorentz transformation is a linear transformation. It may include a rotation of space; a rotationfree Lorentz transformation is called a Lorentz boost. In Minkowski space—the mathematical model of spacetime in special relativity—the Lorentz transformations preserve the spacetime interval between any two events. This property is the defining property of a Lorentz transformation. They describe only the transformations in which the spacetime event at the origin is left fixed. They can be considered as a hyperbolic rotation of Minkowski space. The more general set of transformations that also includes translations is known as the Poincaré group.
Many physicists—including Woldemar Voigt, George FitzGerald, Joseph Larmor, and Hendrik Lorentz^{[4]} himself—had been discussing the physics implied by these equations since 1887.^{[5]} Early in 1889, Oliver Heaviside had shown from Maxwell's equations that the electric field surrounding a spherical distribution of charge should cease to have spherical symmetry once the charge is in motion relative to the luminiferous aether. FitzGerald then conjectured that Heaviside's distortion result might be applied to a theory of intermolecular forces. Some months later, FitzGerald published the conjecture that bodies in motion are being contracted, in order to explain the baffling outcome of the 1887 aetherwind experiment of Michelson and Morley. In 1892, Lorentz independently presented the same idea in a more detailed manner, which was subsequently called FitzGerald–Lorentz contraction hypothesis.^{[6]} Their explanation was widely known before 1905.^{[7]}
Lorentz (1892–1904) and Larmor (1897–1900), who believed the luminiferous aether hypothesis, also looked for the transformation under which Maxwell's equations are invariant when transformed from the aether to a moving frame. They extended the FitzGerald–Lorentz contraction hypothesis and found out that the time coordinate has to be modified as well ("local time"). Henri Poincaré gave a physical interpretation to local time (to first order in v/c, the relative velocity of the two reference frames normalized to the speed of light) as the consequence of clock synchronization, under the assumption that the speed of light is constant in moving frames.^{[8]} Larmor is credited to have been the first to understand the crucial time dilation property inherent in his equations.^{[9]}
In 1905, Poincaré was the first to recognize that the transformation has the properties of a mathematical group, and named it after Lorentz.^{[10]} Later in the same year Albert Einstein published what is now called special relativity, by deriving the Lorentz transformation under the assumptions of the principle of relativity and the constancy of the speed of light in any inertial reference frame, and by abandoning the mechanistic aether as unnecessary.^{[11]}
An event is something that happens at a certain point in spacetime, or more generally, the point in spacetime itself. In any inertial frame an event is specified by a time coordinate ct and a set of Cartesian coordinates x, y, z to specify position in space in that frame. Subscripts label individual events.
From Einstein's second postulate of relativity (invariance of c) it follows that:

(D1) 
in all inertial frames for events connected by light signals. The quantity on the left is called the spacetime interval between events a_{1} = (t_{1}, x_{1}, y_{1}, z_{1}) and a_{2} = (t_{2}, x_{2}, y_{2}, z_{2}). The interval between any two events, not necessarily separated by light signals, is in fact invariant, i.e., independent of the state of relative motion of observers in different inertial frames, as is shown using homogeneity and isotropy of space. The transformation sought after thus must possess the property that:

(D2) 
where (ct, x, y, z) are the spacetime coordinates used to define events in one frame, and (ct′, x′, y′, z′) are the coordinates in another frame. First one observes that (D2) is satisfied if an arbitrary 4tuple b of numbers are added to events a_{1} and a_{2}. Such transformations are called spacetime translations and are not dealt with further here. Then one observes that a linear solution preserving the origin of the simpler problem solves the general problem too:

(D3) 
(a solution satisfying the left formula automatically satisfies the right one also; see polarization identity). Finding the solution to the simpler problem is just a matter of lookup in the theory of classical groups that preserve bilinear forms of various signature.^{[nb 2]} First equation in (D3) can be written more compactly as:

(D4) 
where (·, ·) refers to the bilinear form of signature (1, 3) on R^{4} exposed by the right hand side formula in (D3). The alternative notation defined on the right is referred to as the relativistic dot product. Spacetime mathematically viewed as R^{4} endowed with this bilinear form is known as Minkowski space M. The Lorentz transformation is thus an element of the group O(1, 3), the Lorentz group or, for those that prefer the other metric signature, O(3, 1) (also called the Lorentz group).^{[nb 3]} One has:

(D5) 
which is precisely preservation of the bilinear form (D3) which implies (by linearity of Λ and bilinearity of the form) that (D2) is satisfied. The elements of the Lorentz group are rotations and boosts and mixes thereof. If the spacetime translations are included, then one obtains the inhomogeneous Lorentz group or the Poincaré group.
The relations between the primed and unprimed spacetime coordinates are the Lorentz transformations, each coordinate in one frame is a linear function of all the coordinates in the other frame, and the inverse functions are the inverse transformation. Depending on how the frames move relative to each other, and how they are oriented in space relative to each other, other parameters that describe direction, speed, and orientation enter the transformation equations.
Transformations describing relative motion with constant (uniform) velocity and without rotation of the space coordinate axes are called boosts, and the relative velocity between the frames is the parameter of the transformation. The other basic type of Lorentz transformation is rotation in the spatial coordinates only, these like boosts are inertial transformations since there is no relative motion, the frames are simply tilted (and not continuously rotating), and in this case quantities defining the rotation are the parameters of the transformation (e.g., axis–angle representation, or Euler angles, etc.). A combination of a rotation and boost is a homogeneous transformation, which transforms the origin back to the origin.
The full Lorentz group O(3, 1) also contains special transformations that are neither rotations nor boosts, but rather reflections in a plane through the origin. Two of these can be singled out; spatial inversion in which the spatial coordinates of all events are reversed in sign and temporal inversion in which the time coordinate for each event gets its sign reversed.
Boosts should not be conflated with mere displacements in spacetime; in this case, the coordinate systems are simply shifted and there is no relative motion. However, these also count as symmetries forced by special relativity since they leave the spacetime interval invariant. A combination of a rotation with a boost, followed by a shift in spacetime, is an inhomogeneous Lorentz transformation, an element of the Poincaré group, which is also called the inhomogeneous Lorentz group.
A "stationary" observer in frame F defines events with coordinates t, x, y, z. Another frame F′ moves with velocity v relative to F, and an observer in this "moving" frame F′ defines events using the coordinates t′, x′, y′, z′.
The coordinate axes in each frame are parallel (the x and x′ axes are parallel, the y and y′ axes are parallel, and the z and z′ axes are parallel), remain mutually perpendicular, and relative motion is along the coincident xx′ axes. At t = t′ = 0, the origins of both coordinate systems are the same, (x, y, z) = (x′, y′, z′) = (0, 0, 0). In other words, the times and positions are coincident at this event. If all these hold, then the coordinate systems are said to be in standard configuration, or synchronized.
If an observer in F records an event t, x, y, z, then an observer in F′ records the same event with coordinates^{[13]}
where v is the relative velocity between frames in the xdirection, c is the speed of light, and
Here, v is the parameter of the transformation, for a given boost it is a constant number, but can take a continuous range of values. In the setup used here, positive relative velocity v > 0 is motion along the positive directions of the xx′ axes, zero relative velocity v = 0 is no relative motion, while negative relative velocity v < 0 is relative motion along the negative directions of the xx′ axes. The magnitude of relative velocity v cannot equal or exceed c, so only subluminal speeds −c < v < c are allowed. The corresponding range of γ is 1 ≤ γ < ∞.
The transformations are not defined if v is outside these limits. At the speed of light (v = c) γ is infinite, and faster than light (v > c) γ is a complex number, each of which make the transformations unphysical. The space and time coordinates are measurable quantities and numerically must be real numbers.
As an active transformation, an observer in F′ notices the coordinates of the event to be "boosted" in the negative directions of the xx′ axes, because of the −v in the transformations. This has the equivalent effect of the coordinate system F′ boosted in the positive directions of the xx′ axes, while the event does not change and is simply represented in another coordinate system, a passive transformation.
The inverse relations (t, x, y, z in terms of t′, x′, y′, z′) can be found by algebraically solving the original set of equations. A more efficient way is to use physical principles. Here F′ is the "stationary" frame while F is the "moving" frame. According to the principle of relativity, there is no privileged frame of reference, so the transformations from F′ to F must take exactly the same form as the transformations from F to F′. The only difference is F moves with velocity −v relative to F′ (i.e., the relative velocity has the same magnitude but is oppositely directed). Thus if an observer in F′ notes an event t′, x′, y′, z′, then an observer in F notes the same event with coordinates
and the value of γ remains unchanged. This "trick" of simply reversing the direction of relative velocity while preserving its magnitude, and exchanging primed and unprimed variables, always applies to finding the inverse transformation of every boost in any direction.
Sometimes it is more convenient to use β = v/c (lowercase beta) instead of v, so that
The Lorentz transformations can also be derived in a way that resembles circular rotations in 3d space using the hyperbolic functions. For the boost in the x direction, the results are
where ζ (lowercase zeta) is a parameter called rapidity (many other symbols are used, including θ, ϕ, φ, η, ψ, ξ). Given the strong resemblance to rotations of spatial coordinates in 3d space in the Cartesian xy, yz, and zx planes, a Lorentz boost can be thought of as a hyperbolic rotation of spacetime coordinates in the xt, yt, and zt Cartesiantime planes of 4d Minkowski space. The parameter ζ is the hyperbolic angle of rotation, analogous to the ordinary angle for circular rotations. This transformation can be illustrated with a Minkowski diagram.
The hyperbolic functions arise from the difference between the squares of the time and spatial coordinates in the spacetime interval, rather than a sum. The geometric significance of the hyperbolic functions can be visualized by taking x = 0 or ct = 0 in the transformations. Squaring and subtracting the results, one can derive hyperbolic curves of constant coordinate values but varying ζ, which parametrizes the curves according to the identity
Conversely the ct and x axes can be constructed for varying coordinates but constant ζ. The definition
Comparing the Lorentz transformations in terms of the relative velocity and rapidity, or using the above formulae, the connections between β, γ, and ζ are
Taking the inverse hyperbolic tangent gives the rapidity
Since −1 < β < 1, it follows −∞ < ζ < ∞. From the relation between ζ and β, positive rapidity ζ > 0 is motion along the positive directions of the xx′ axes, zero rapidity ζ = 0 is no relative motion, while negative rapidity ζ < 0 is relative motion along the negative directions of the xx′ axes.
The inverse transformations are obtained by exchanging primed and unprimed quantities to switch the coordinate frames, and negating rapidity ζ → −ζ since this is equivalent to negating the relative velocity. Therefore,
The inverse transformations can be similarly visualized by considering the cases when x′ = 0 and ct′ = 0.
So far the Lorentz transformations have been applied to one event. If there are two events, there is a spatial separation and time interval between them. It follows from the linearity of the Lorentz transformations that two values of space and time coordinates can be chosen, the Lorentz transformations can be applied to each, then subtracted to get the Lorentz transformations of the differences;
where Δ (uppercase delta) indicates a difference of quantities; e.g., Δx = x_{2} − x_{1} for two values of x coordinates, and so on.
These transformations on differences rather than spatial points or instants of time are useful for a number of reasons:
A critical requirement of the Lorentz transformations is the invariance of the speed of light, a fact used in their derivation, and contained in the transformations themselves. If in F the equation for a pulse of light along the x direction is x = ct, then in F′ the Lorentz transformations give x′ = ct′, and vice versa, for any −c < v < c.
For relative speeds much less than the speed of light, the Lorentz transformations reduce to the Galilean transformation
Three counterintuitive, but correct, predictions of the transformations are:
The use of vectors allows positions and velocities to be expressed in arbitrary directions compactly. A single boost in any direction depends on the full relative velocity vector v with a magnitude v = v that cannot equal or exceed c, so that 0 ≤ v < c.
Only time and the coordinates parallel to the direction of relative motion change, while those coordinates perpendicular do not. With this in mind, split the spatial position vector r as measured in F, and r′ as measured in F′, each into components perpendicular (⊥) and parallel ( ‖ ) to v,
Introducing a unit vector n = v/v = β/β in the direction of relative motion, the relative velocity is v = vn with magnitude v and direction n, and vector projection and rejection give respectively
Accumulating the results gives the full transformations,
The projection and rejection also applies to r′. For the inverse transformations, exchange r and r′ to switch observed coordinates, and negate the relative velocity v → −v (or simply the unit vector n → −n since the magnitude v is always positive) to obtain
The unit vector has the advantage of simplifying equations for a single boost, allows either v or β to be reinstated when convenient, and the rapidity parametrization is immediately obtained by replacing β and βγ. It is not convenient for multiple boosts.
The vectorial relation between relative velocity and rapidity is^{[15]}
Defining the coordinate velocities and Lorentz factor by
taking the differentials in the coordinates and time of the vector transformations, then dividing equations, leads to
The velocities u and u′ are the velocity of some massive object. They can also be for a third inertial frame (say F′′), in which case they must be constant. Denote either entity by X. Then X moves with velocity u relative to F, or equivalently with velocity u′ relative to F′, in turn F′ moves with velocity v relative to F. The inverse transformations can be obtained in a similar way, or as with position coordinates exchange u and u′, and change v to −v.
The transformation of velocity is useful in stellar aberration, the Fizeau experiment, and the relativistic Doppler effect.
The Lorentz transformations of acceleration can be similarly obtained by taking differentials in the velocity vectors, and dividing these by the time differential.
In general, given four quantities A and Z = (Z_{x}, Z_{y}, Z_{z}) and their Lorentzboosted counterparts A′ and Z′ = (Z′_{x}, Z′_{y}, Z′_{z}), a relation of the form
The decomposition of Z (and Z′) into components perpendicular and parallel to v is exactly the same as for the position vector, as is the process of obtaining the inverse transformations (exchange (A, Z) and (A′, Z′) to switch observed quantities, and reverse the direction of relative motion by the substitution n ↦ −n).
The quantities (A, Z) collectively make up a fourvector, where A is the "timelike component", and Z the "spacelike component". Examples of A and Z are the following:
Four vector  A  Z 

Position fourvector  Time (multiplied by c), ct  Position vector, r 
Four momentum  Energy (divided by c), E/c  Momentum, p 
Fourwave vector  angular frequency (divided by c), ω/c  wave vector, k 
Four spin  (No name), s_{t}  Spin, s 
Four current  Charge density (multiplied by c), ρc  Current density, j 
Electromagnetic four potential  Electric potential (divided by c), φ/c  Magnetic vector potential, A 
For a given object (e.g., particle, fluid, field, material), if A or Z correspond to properties specific to the object like its charge density, mass density, spin, etc., its properties can be fixed in the rest frame of that object. Then the Lorentz transformations give the corresponding properties in a frame moving relative to the object with constant velocity. This breaks some notions taken for granted in nonrelativistic physics. For example, the energy E of an object is a scalar in nonrelativistic mechanics, but not in relativistic mechanics because energy changes under Lorentz transformations; its value is different for various inertial frames. In the rest frame of an object, it has a rest energy and zero momentum. In a boosted frame its energy is different and it appears to have a momentum. Similarly, in nonrelativistic quantum mechanics the spin of a particle is a constant vector, but in relativistic quantum mechanics spin s depends on relative motion. In the rest frame of the particle, the spin pseudovector can be fixed to be its ordinary nonrelativistic spin with a zero timelike quantity s_{t}, however a boosted observer will perceive a nonzero timelike component and an altered spin.^{[16]}
Not all quantities are invariant in the form as shown above, for example orbital angular momentum L does not have a timelike quantity, and neither does the electric field E nor the magnetic field B. The definition of angular momentum is L = r × p, and in a boosted frame the altered angular momentum is L′ = r′ × p′. Applying this definition using the transformations of coordinates and momentum leads to the transformation of angular momentum. It turns out L transforms with another vector quantity N = (E/c^{2})r − tp related to boosts, see relativistic angular momentum for details. For the case of the E and B fields, the transformations cannot be obtained as directly using vector algebra. The Lorentz force is the definition of these fields, and in F it is F = q(E + v × B) while in F′ it is F′ = q(E′ + v′ × B′). A method of deriving the EM field transformations in an efficient way which also illustrates the unit of the electromagnetic field uses tensor algebra, given below.
Throughout, italic nonbold capital letters are 4×4 matrices, while nonitalic bold letters are 3×3 matrices.
Writing the coordinates in column vectors and the Minkowski metric η as a square matrix
The set of all Lorentz transformations Λ in this article is denoted . This set together with matrix multiplication forms a group, in this context known as the Lorentz group. Also, the above expression X·X is a quadratic form of signature (3,1) on spacetime, and the group of transformations which leaves this quadratic form invariant is the indefinite orthogonal group O(3,1), a Lie group. In other words, the Lorentz group is O(3,1). As presented in this article, any Lie groups mentioned are matrix Lie groups. In this context the operation of composition amounts to matrix multiplication.
From the invariance of the spacetime interval it follows
Writing the Minkowski metric as a block matrix, and the Lorentz transformation in the most general form,
The negative inequality may be unexpected, because Γ multiplies the time coordinate and this has an effect on time symmetry. If the positive equality holds, then Γ is the Lorentz factor.
The determinant and inequality provide four ways to classify Lorentz Transformations (herein LTs for brevity). Any particular LT has only one determinant sign and only one inequality. There are four sets which include every possible pair given by the intersections ("n"shaped symbol meaning "and") of these classifying sets.
Intersection, ∩  Antichronous (or nonorthochronous) LTs

Orthochronous LTs


Proper LTs

Proper antichronous LTs

Proper orthochronous LTs

Improper LTs

Improper antichronous LTs

Improper orthochronous LTs

where "+" and "−" indicate the determinant sign, while "↑" for ≥ and "↓" for ≤ denote the inequalities.
The full Lorentz group splits into the union ("u"shaped symbol meaning "or") of four disjoint sets
A subgroup of a group must be closed under the same operation of the group (here matrix multiplication). In other words, for two Lorentz transformations Λ and L from a particular set, the composite Lorentz transformations ΛL and LΛ must be in the same set as Λ and L. This is not always the case: the composition of two antichronous Lorentz transformations is orthochronous, and the composition of two improper Lorentz transformations is proper. In other words, while the sets , , , and all form subgroups, the sets containing improper and/or antichronous transformations without enough proper orthochronous transformations (e.g. , , ) do not form subgroups.
If a Lorentz covariant 4vector is measured in one inertial frame with result , and the same measurement made in another inertial frame (with the same orientation and origin) gives result , the two results will be related by
where is the magnitude of the velocity and is the Lorentz factor. This formula represents a passive transformation, as it describes how the coordinates of the measured quantity changes from the unprimed frame to the primed frame. The active transformation is given by .
If a frame F′ is boosted with velocity u relative to frame F, and another frame F′′ is boosted with velocity v relative to F′, the separate boosts are
If u and v are not collinear but in different directions, the situation is considerably more complicated. Lorentz boosts along different directions do not commute: B(v)B(u) and B(u)B(v) are not equal. Also, each of these compositions is not a single boost, but they are still Lorentz transformations they each preserve the spacetime interval. It turns out the composition of any two Lorentz boosts is equivalent to a boost followed or preceded by a rotation on the spatial coordinates, in the form of R(ρ)B(w) or B(w)R(ρ). The w and w are composite velocities, while ρ and ρ are rotation parameters (e.g. axisangle variables, Euler angles, etc.). The rotation in block matrix form is simply
In this article the axisangle representation is used for ρ. The rotation is about an axis in the direction of a unit vector e, through angle θ (positive anticlockwise, negative clockwise, according to the righthand rule). The "axisangle vector"
Spatial rotations alone are also Lorentz transformations they leave the spacetime interval invariant. Like boosts, successive rotations about different axes do not commute. Unlike boosts, the composition of any two rotations is equivalent to a single rotation. Some other similarities and differences between the boost and rotation matrices include:
The most general proper Lorentz transformation Λ(v, θ) includes a boost and rotation together, and is a nonsymmetric matrix. As special cases, Λ(0, θ) = R(θ) and Λ(v, 0) = B(v). An explicit form of the general Lorentz transformation is cumbersome to write down and will not be given here. Nevertheless, closed form expressions for the transformation matrices will be given below using group theoretical arguments. It will be easier to use the rapidity parametrization for boosts, in which case one writes Λ(ζ, θ) and B(ζ).
The set of transformations
For simplicity, look at the infinitesimal Lorentz boost in the x direction (examining a boost in any other direction, or rotation about any axis, follows an identical procedure). The infinitesimal boost is a small boost away from the identity, obtained by the Taylor expansion of the boost matrix to first order about ζ = 0,
For now, K_{x} is defined by this result (its significance will be explained shortly). In the limit of an infinite number of infinitely small steps, the finite boost transformation in the form of a matrix exponential is obtained
The axisangle vector θ and rapidity vector ζ are altogether six continuous variables which make up the group parameters (in this particular representation), and the generators of the group are K = (K_{x}, K_{y}, K_{z}) and J = (J_{x}, J_{y}, J_{z}), each vectors of matrices with the explicit forms^{[nb 6]}
These are all defined in an analogous way to K_{x} above, although the minus signs in the boost generators are conventional. Physically, the generators of the Lorentz group correspond to important symmetries in spacetime: J are the rotation generators which correspond to angular momentum, and K are the boost generators which correspond to the motion of the system in spacetime. The derivative of any smooth curve C(t) with C(0) = I in the group depending on some group parameter t with respect to that group parameter, evaluated at t = 0, serves as a definition of a corresponding group generator G, and this reflects an infinitesimal transformation away from the identity. The smooth curve can always be taken as an exponential as the exponential will always map G smoothly back into the group via t → exp(tG) for all t; this curve will yield G again when differentiated at t = 0.
Expanding the exponentials in their Taylor series obtains
It has been stated that the general proper Lorentz transformation is a product of a boost and rotation. At the infinitesimal level the product
The converse is also true, but the decomposition of a finite general Lorentz transformation into such factors is nontrivial. In particular,
Lorentz generators can be added together, or multiplied by real numbers, to obtain more Lorentz generators. In other words, the set of all Lorentz generators
Three of the commutation relations of the Lorentz generators are
These commutation relations, and the vector space of generators, fulfill the definition of the Lie algebra . In summary, a Lie algebra is defined as a vector space V over a field of numbers, and with a binary operation [ , ] (called a Lie bracket in this context) on the elements of the vector space, satisfying the axioms of bilinearity, alternatization, and the Jacobi identity. Here the operation [ , ] is the commutator which satisfies all of these axioms, the vector space is the set of Lorentz generators V as given previously, and the field is the set of real numbers.
Linking terminology used in mathematics and physics: A group generator is any element of the Lie algebra. A group parameter is a component of a coordinate vector representing an arbitrary element of the Lie algebra with respect to some basis. A basis, then, is a set of generators being a basis of the Lie algebra in the usual vector space sense.
The exponential map from the Lie algebra to the Lie group,
Lorentz transformations also include parity inversion
If Λ is a proper orthochronous Lorentz transformation, then TΛ is improper antichronous, PΛ is improper orthochronous, and TPΛ = PTΛ is proper antichronous.
Two other spacetime symmetries have not been accounted for. For the spacetime interval to be invariant, it can be shown^{[18]} that it is necessary and sufficient for the coordinate transformation to be of the form
Writing the general matrix transformation of coordinates as the matrix equation
where lower and upper indices label covariant and contravariant components respectively,^{[21]} and the summation convention is applied. It is a standard convention to use Greek indices that take the value 0 for time components, and 1, 2, 3 for space components, while Latin indices simply take the values 1, 2, 3, for spatial components. Note that the first index (reading left to right) corresponds in the matrix notation to a row index. The second index corresponds to the column index.
The transformation matrix is universal for all fourvectors, not just 4dimensional spacetime coordinates. If A is any fourvector, then in tensor index notation
Alternatively, one writes
For a general ncomponent object one may write
There are also vector quantities with covariant indices. They are generally obtained from their corresponding objects with contravariant indices by the operation of lowering an index; e.g.,
But
That is, it is the (μ, ν)component of the inverse Lorentz transformation. One defines (as a matter of notation),
Now for a subtlety. The implied summation on the right hand side of
This means exactly that covariant vectors (thought of as column matrices) transform according to the dual representation of the standard representation of the Lorentz group. This notion generalizes to general representations, simply replace Λ with Π(Λ).
If A and B are linear operators on vector spaces U and V, then a linear operator A ⊗ B may be defined on the tensor product of U and V, denoted U ⊗ V according to^{[22]}
(T1)
From this it is immediately clear that if u and v are a fourvectors in V, then u ⊗ v ∈ T_{2}V ≡ V ⊗ V transforms as
(T2)
The second step uses the bilinearity of the tensor product and the last step defines a 2tensor on component form, or rather, it just renames the tensor u ⊗ v.
These observations generalize in an obvious way to more factors, and using the fact that a general tensor on a vector space V can be written as a sum of a coefficient (component!) times tensor products of basis vectors and basis covectors, one arrives at the transformation law for any tensor quantity T. It is given by^{[23]}
(T3)
where Λ_{χ′}^{ψ} is defined above. This form can generally be reduced to the form for general ncomponent objects given above with a single matrix (Π(Λ)) operating on column vectors. This latter form is sometimes preferred; e.g., for the electromagnetic field tensor.
Lorentz transformations can also be used to illustrate that the magnetic field B and electric field E are simply different aspects of the same force — the electromagnetic force, as a consequence of relative motion between electric charges and observers.^{[24]} The fact that the electromagnetic field shows relativistic effects becomes clear by carrying out a simple thought experiment.^{[25]}
The electric and magnetic fields transform differently from space and time, but exactly the same way as relativistic angular momentum and the boost vector.
The electromagnetic field strength tensor is given by
The general transformation law (T3) becomes
For the magnetic field one obtains
For the electric field results
Here, β = (β, 0, 0) is used. These results can be summarized by
Length contraction has an effect on charge density ρ and current density J, and time dilation has an effect on the rate of flow of charge (current), so charge and current distributions must transform in a related way under a boost. It turns out they transform exactly like the spacetime and energymomentum fourvectors,
or, in the simpler geometric view,
Charge density transforms as the time component of a fourvector. It is a rotational scalar. The current density is a 3vector.
The Maxwell equations are invariant under Lorentz transformations.
Equation (T1) hold unmodified for any representation of the Lorentz group, including the bispinor representation. In (T2) one simply replaces all occurrences of Λ by the bispinor representation Π(Λ),
(T4)
The above equation could, for instance, be the transformation of a state in Fock space describing two free electrons.
A general noninteracting multiparticle state (Fock space state) in quantum field theory transforms according to the rule^{[28]}

(1) 
where W(Λ, p) is the Wigner rotation and D^{(j)} is the (2j + 1)dimensional representation of SO(3).
Wikisource has original works on the topic: Relativity 
Wikibooks has a book on the topic of: special relativity 