**Required math: calculus**

**Required physics: relativity basics**

When we derived the Lorentz transformations, we assumed that they formed a linear map from one set of coordinates to another. That is, we assumed that, for any two vectors and and real number , the following two relations hold for the Lorentz transformation :

The first condition is called *additivity *and the second *homogeneity*.* *These assumptions allow us to write the Lorentz transformation as a matrix (assuming that the transformed frame is moving parallel to the axis of the other frame with speed )

for some functions and that turn out to be functions of .

Here we have a closer look at this assumption of linearity. In particular, if we make less restrictive assumptions about can we derive the linearity condition? To this end, let us assume that maps straight lines into straight lines, is invertible (that is, we can transform in both directions between the two frames), continuous (so that if two source vectors are infintesimally close to each other, then so are the respective transformed vectors) and transforms the origin in one frame into the origin in the other. The assumption about mapping straight lines is reasonable since if an object moves at a constant speed in one frame, its world line in that frame is a straight line, and if we transform to another frame moving at a constant velocity relative to the first frame, then we would expect the object to be moving at a constant speed relative to the new frame as well, so its world line is still straight. The assumption about transforming the origin means that the two frames coincide at one event which we define as the origin in the two frames.

A number of consequences follow from these assumptions. First, the requirement that an inverse transformation exists means that parallel lines in one frame are transformed into parallel lines in the other. Since we can always orient the frames so that their axes coincide and their respective and axes are parallel, we need consider only the transformation in two dimensions and . If transformed two parallel lines into lines that are not parallel, then, since we’re in two dimensions, these two transformed lines must intersect somewhere. That would mean that for that intersection point, it is impossible to define an inverse transformation, since two distinct points (one on each parallel line) in the first frame are mapped into a single point in the second frame. There is no way we could determine which point in the first frame gave rise to the point in the second, so there is no unique inverse.

Given that fact, suppose we now consider a parallelogram in the first system, and put one corner of the parallelogram at the origin. Define vectors and to be the vectors along the two edges that meet at the origin. These two vectors also define the directions of the other two edges of the parallelogram, since opposite sides are parallel. Since parallel lines transform into other parallel lines, must transform the parallelogram into another parallelogram, and since it also transforms the origin into the other origin, that parallelogram will also have one corner at the origin. The transformed vectors are and .

In the first frame, the diagonal of the parallelogram is the vector , while in the second frame, it is . However, the transformed diagonal must also be , so we get the additivity condition

Note that the assumption that one origin transforms into the other origin is essential here. If the transformation did a translation of coordinates (by, for example, shifting everything one unit to the right in the direction), the additivity condition would not apply. For example, suppose and and the map transforms all vectors by +1 in the direction. Then and . However, and , so that .

Now suppose we have a sequence of vectors and that this sequence converges to as . For large enough , will be arbitrarily close to , so by the assumption of continuity of , the sequence of transformed vectors must also converge. That is, as . So we get

where in the last line we used the additivity property just proved. We can extend this argument by induction, since we’ve just proved the anchor step. That is, we can assume that for some integer , and . Then

The second line uses additivity, and the third line uses the inductive assumption. Since , we have shown that homogeneity applies for positive integers, that is, for a positive integer:

We can extend this to negative integers by noting that in the proof of additivity above, we could equally well have chosen the other diagonal of the parallelogram which is given by the vector , and this would give use the result that

Therefore, , since one origin is mapped into the other.

Next we can prove that homogeneity applies for any rational number : . If we let then

Finally, we need to prove homegeneity for all real numbers . It is possible to construct a sequence of rational numbers that converges on any irrational number, since we can write any irrational number in decimal form as an integer followed by a non-repeating fractional part, so we can take as our sequence the set of rational numbers which retains decimal places in the expansion of the irrational number. This sequence must converge to as . For example, the sequence of rational numbers 3, 3.1, 3.14, 3.141, 3.1415… converges to if we keep adding on an extra decimal place at each stage.

In that case, we can use the result above for rational numbers together with the continuity of the map to say that

and

Thus we get the final result of homogeneity over all real numbers:

## Comments

You only need continuity for going from rational to all real numbers. The arguments for all poistive integers follows from additivity and induction alone, you don’t need to introduce a sequence.

## Trackbacks

[…] between the systems is linear (we show that this can be proved from more realistic assumptions in another post, the most general transformation […]

[…] seen that by making some basic assumptions about the transformations, we can show that they must form a linear map. If we consider the transformation in only one spatial and the time dimension, the most general […]