Skip to article frontmatterSkip to article content

2Special Relativity - Lorentz Transformation

As we discussed, in the second half of the nineteenth century it became clear that there was something wrong in classical mechanics. However, people would not easily give up the ideas of classical mechanics. We saw that the luminiferous aether was introduced as a cure and as a medium in which electromagnetic waves could travel and oscillate. Moreover, Lorentz and Fitzgerald managed to find a coordinate transformation that made the wave equation of Maxwell invariant. Fitzgerald came even up with length contraction: if the arm moving parallel to the aether of the interferometer of Michelson and Morley would contract according to Ln=L1V2c2L_n = L \sqrt{1-\frac{V^2}{c^2}} then, the M&M experiment should result in no time difference for the two paths, in agreement with the experimental findings. However, there was no fundamental reasoning, no physics under pinning the transformation and the length contraction. It worked, but had an ad hoc character. Very unsatisfying for physicists!

And as we have mentioned, it took the work of a single man to change this and underpin the Lorentz Transformation, making Classical Mechanics a valid limit of Relativity Theory, only applicable at velocities small compared to the speed of light and to small distances compared to those of interest in cosmology.

Albert Einstein (1879-1955). Picture from wiki commons, public domain.

Figure 1:Albert Einstein (1879-1955). Picture from wiki commons, public domain.

Lorentz Transformation

ct=γ(ctVcx)x=γ(xVcct)y=yz=z\begin{split} ct' &= \gamma \left ( ct - \frac{V}{c} x \right ) \\ x' &= \gamma \left ( x - \frac{V}{c} ct \right ) \\ y' &= y \\ z' &= z \end{split}

with

γ=11V2c2\gamma = \frac{1}{\sqrt{1 - \frac{V^2}{c^2}}}

But there is more! Einstein also changed our view on the universe and on time itself. In the world of Newton and Galilei, people could not even think about relativity of time. Of course time was the same for everyone. There was only one time, one master clock - the same for all of us. It is hard coded in the Galilei Transformation:

Galilei Transformation

t=tx=xVty=yz=z\begin{split} t' &= t \\ x' &= x - Vt \\ y' &= y \\ z' &= z \end{split}

Lorentz Transformation

ct=γ(ctVcx)x=γ(xVcct)y=yz=z\begin{split} ct' &= \gamma \left ( ct - \frac{V}{c} x \right ) \\ x' &= \gamma \left ( x - \frac{V}{c} ct \right ) \\ y' &= y \\ z' &= z \end{split}

Now, with the Lorentz Transformation, that is no longer true: different observers may have different time. We will see that this has very peculiar consequences, some of which are very counterintuitive. However, they have been tested over and over again. And so far: they firmly hold. And there is no other way then to accept that the world and our universe is different from what we thought and from what we experience in our daily lives.

Do note, that the Galilei Transform is a limit of the Lorenz Transformation. If we let cc \rightarrow \infty, we see that γ1\gamma \rightarrow 1 and Vc0\frac{V}{c} \rightarrow 0. And this gives us: t=tt' = t and x=xVtx' = x - Vt, that is the Galilei Transformation! Now, this should not come as a surprise (even if it for a moment did). After all, Classical Mechanics does an outstanding job in many, many physics problems and the agreement with experiments is excellent.

2.1The Lorentz Transformation

The way we wrote down the Lorentz transformation is a bit particular in a sense that we combine time tt with the speed of light cc into the “time” axis ctct which now has unit length. We can do this as cc is constant for all observers independent of their frame of reference. The speed of light is said to be a Lorentz invariant. In this notation the transform between SS and SS' (moving with velocity VV away) is easy to remember!

2.1.1S and S’

We will discuss most of the consequences for two observers SS and SS', traveling with a constant velocity V\vec{V} with respect to each other. They have taken their xx, resp. xx' axis parallel to V\vec{V}. Hence, we only need to talk about VV, knowing that this is the only component of the relative velocity between the two observers and that it is along the x,xx, x' axis.

Furthermore, their yy and yy' coordinates are taken in the same direction. This also holds for the zz-component. Finally, when SS and SS' pass each other (they are then both at the same point), they put their clocks to zero: t=0t=0 and t=0t'=0.

Note: SS is sitting in her origin O\mathcal{O} (with coordinates, according to SS (x,y,z)=(0,0,0)(x,y,z)=(0,0,0)) and stays there. Similarly for SS' who is sitting in O\mathcal{O}' (with coordinates, according to SS' (x,y,z)=(0,0,0)(x',y',z')=(0,0,0)).

The standard sketch is given in the figure below.

S and S': relative velocity parallel to the x and x' axes.

Figure 2:SS and SS': relative velocity parallel to the xx and xx' axes.

N.B. It is crucial to be very precise in your notation when it comes to coordinates and quantities. For instance: SS might talk about the xx-component of the velocity of an object and denote this by vxv_x. SS', on the other hand can also talk about that component, but will not call it the xx-component: in the world of SS' xx “does not exist”, only xx' does. So it is better to write vxv'_{x'} for the xx'-component of the velocity of the object according to SS'. It may look cumbersome, and to a certain extend it is, but it actually does make sense. SS' would say that this component is dxdt\frac{dx'}{dt'} both space and time having a prime. Hence, naturally SS' would talk about r=xx^+yy^+zz^\vec{r}' = x' \hat{x'} + y' \hat{y'} + z' \hat{z'} or v=vxx^+vyy^+vzz^\vec{v}' = v'_{x'} \hat{x'} + v'_{y'} \hat{y'} + v'_{z'} \hat{z'}

2.1.2Lorentz Transformation and its inverse

The Lorentz Transformation, like the Galilei Transformation is a communication protocol for SS and SS'. It allows them to interpret information that they get from each other in their own ‘world’, i.e. coordinate system.

For instance, if SS sees an object moving with vxv_x, SS' can ‘translate’ this information via the Lorentz Transform into vxv'_{x'} and vyv'_{y'} or so if applicable. Of course, SS also needs such a translation scheme when receiving information from SS'. That is: SS needs the inverse transformation.

Luckily, the inverse is very easy to reconstruct from the Lorentz Transform itself. LT from SS to SS' is

ct=γ(ctVcx)x=γ(xVcct)y=yz=z\begin{array}{rcl} ct' &=& \gamma\left (ct-\frac{V}{c}x \right ) \\ x' &=& \gamma\left(x-\frac{V}{c}ct \right )\\ y' &=& y\\ z' &=& z \end{array}

The inverse is found by invoking ‘relativity’, after all it is called Relativity Theory. If SS sees ' moving at a constant velocity VV, then - because motion is relative- SS' will say that SS moves with V-V. And thus, if SS' writes down the Lorentz Transformation, she uses V-V.

The inverse is therefore given by

ct=γ(ct+Vcx)x=γ(x+Vcct)y=yz=z\begin{array}{rcl} ct &=& \gamma(ct'+\frac{V}{c}x') \\ x &=& \gamma(x'+\frac{V}{c}ct')\\ y &=& y'\\ z &=& z' \end{array}

with the Lorentz factor γ(V)11V2c21\gamma(V) \equiv \frac{1}{\sqrt{1-\frac{V^2}{c^2}}} \geq 1. Note that as gammagamma is quadratic in VV, both SS and SS' use the same value! That is why we don’t talk about γ\gamma ': it is equal to gammagamma.

The structure of the formulas is very symmetric and therefore needs little remembering.

From the Lorentz transformation it is clear that time is not universal anymore (ctctct'\neq ct in general). This is a large step from Newton and Galileo. Now the time coordinated is mixed somehow with the space coordinated depending on the speed VV.

2.1.3Lorentz factor

The Lorentz factor (or gammagamma-factor)

γ=11V2c21\gamma=\frac{1}{\sqrt{1-\frac{V^2}{c^2}}} \geq 1

is a dimensionless constant depending on the ratio of the velocity VV to the speed of light cc. Sometimes this ratio V/cV/c is abbreviated further as βVc1\beta \equiv \frac{V}{c} \leq 1. For the ratio we know that it is smaller than 1 as cc is a limit velocity. From that it follows that the gammagamma-factor is always equal to or larger than one, γ1\gamma \geq 1.

In many exercises the speed VV is given already as fraction of cc, e.g. V=0.8cV=0.8c. Analytically only for very few speeds a nice gammagamma-factor is computed. These are for instance

V=35cγ=54V=45cγ=53V=1213cγ=135\begin{array}{rcl} V = \frac{3}{5}c &\Leftrightarrow & \gamma = \frac{5}{4}\\ V = \frac{4}{5}c &\Leftrightarrow & \gamma = \frac{5}{3}\\ V = \frac{12}{13}c &\Leftrightarrow & \gamma = \frac{13}{5} \end{array}

Note that this list goes on for ever: there is a simple rule to find the triplets. Think about it yourself. Hint: the first one uses (3,4,5)(3,4,5), the third one (5,12,13)(5,12,13). What is special about them?
5242=5+4=325^2 - 4^2 = 5+4 = 3^2 and 132122=13+12=5213^2 - 12^2 = 13 + 12 = 5^2.
Do you see the pattern? Can you derive the general rule? What is the next one? How about (7,24,25)(7,24,25)?

2.1.4In the limit

In the limit of low speeds with respect to the speed of light Vc1γ=1\frac{V}{c}\ll 1 \Rightarrow \gamma =1. Practically, this happens for about V<0.1c30.000km/sV< 0.1 c \sim 30.000 \mathrm{km/s}. In this limit the Lorentz transformation also reduces to the Galileo transformation.

ct=ctx=xVty=yz=z\begin{array}{rcl} ct' &=& ct \\ x' &=& x-Vt \\ y' &=& y\\ z' &=& z \end{array}

In the limit of infinity speed of light (cc\to\infty) the gammagamma-factor is again one: γ=1\gamma=1 and the ratio V/c0V/c \to 0. Also here the LT reduces to the GT. The case of infinite speed of light represents the case that GT is generally valid, i.e. c=c+Vc'=c+V.

It is always important to verify that an extension of the known theory reduces to the known theory that has proofed itself for most circumstances.

2.2Length contraction & Time dilatation

2.2.1First Implications

As we have seen, we need to use the Lorentz Transformation instead of the Galilei one when two observers, SS and SS', want to exchange information. What does change if we do so? Let’s first do some examples and see some of the consequences and the ‘strange’ conclusions we need to draw.

Note: we will frequently use high velocities and large distances. It is convenient not to write these in units like mm and m/sm/s. The numbers in front of them become so large that keeping an overview becomes cumbersome. Therefore, we will change to a different unit for distance: the light second. That is per definition the distance a photon of light ray travels in one second:

1 lightsecond=1ls=c1sec=3.0108m1 \text{ lightsecond} = 1 \mathrm{ls} = c \cdot 1 \mathrm{sec} = 3.0 \cdot 10^8 \mathrm{m}

For instance, it takes a photon about 8.3minutes8.3 \mathrm{minutes} to travel from the sun to the Earth. Thus, the distance from the sun to the Earth is 8.3lmin=500ls8.3 \mathrm{lmin} = 500 \mathrm{ls}. That is equivalent to 150106km150 \cdot 10^6 \mathrm{km}.

Ok, let’s be puzzled for a while: how can SS' at the same time be both at the left side and at the right side of the Earth? That doesn’t make any sense!!!! What is wrong with this new theory? The answer is: nothing!

It is us, mixing stuff up. Who said that it is ‘at the same time’?!? Nobody (with perhaps for a moment us as the exception). SS and SS' agree upon the event: a comet hits the moon. This physical phenomena is not disputed at all. It happened. They don’t agree that it took place at the same time according to their clocks.

But this is not all: according to SS at the moment of the impact Space Ship was at a distance of 1.20.4=0.8ls1.2 - 0.4 = 0.8 \mathrm{ls} from the moon. But SS' just calculated that she was 1.33ls1.33 \mathrm{ls} from the moon. One can not be at two different distance form the moon at the same time!

Ok, let’s push this somewhat further and see if we can get a contradiction.

We do know, from SS that the event took place at ct2=0.5lsct_2 = 0.5 \mathrm{ls}. Then, definitely SS' has passed Earth. SS has reconstructed this event from observation Event E1E_1 SS' got the information of event E2E_2 from SS and backed out the coordinates of the event in her coordinate system. From these data, SS' can easily predict when she will see the impact. That is obviously later then the time of the event: the photons have to travel to her. How can we compute when SS' literally sees the event?

That is remarkably easy: we know that according to SS' the event tokes place at (ct2,x2)=(0.767ls,1.333ls)(ct'_2, x_2') = (-0.767 \mathrm{ls}, 1.333 \mathrm{ls}). At that moment and that place a photon was generated that moves in her direction. Since the velocity of each photon is always cc, we can easily find the time when SS' sees the photon, i.e. detect it at location x=0x'=0. The photon has to travel a distance 1.33ls1.33 ls at a speed of 1c1 c. That will take 1.33s. The photon started traveling at time ct2=0.767ct_2 = -0.767. It’s trajectory according to SS' is xp(t)=xp(0)c(tt2)x'_p(t') = x'_p(0) - c (t' - t'_2).

Thus, the photon gets measure at event E3E_3: x3=0ct3=x2+ct2=0.567lsx_3' = 0 \rightarrow ct'_3 = x'_2 + ct'_2 = 0.567 \mathrm{ls}. Thus we have our third event:

Space Ship observes impacting comet: E3=(ct3,x3)=(0.567,0)\text{Space Ship observes impacting comet: } E_3 = (ct'_3,x'_3) = (0.567, 0)

And as we by now kind of expected: indeed, then is Space Ship on the right side of the Earth. What does SS say about this event? He receives the coordinates of E3E3 from SS' and plugs them in, in the inverse LT:

ct3=γ(ct3+Vcx3)=53(0.567+450)=0.945lsx3=γ(x3+Vcct3)=53(0+450.567)=0.756ls\begin{split} ct_3 &= \gamma \left ( ct'_3 + \frac{V}{c} x'_3 \right ) = \frac{5}{3} \left (0.567 + \frac{4}{5}0 \right ) = 0.945 \mathrm{ls}\\ x_3 &= \gamma \left ( x'_3 + \frac{V}{c} ct'_3 \right ) = \frac{5}{3} \left (0 + \frac{4}{5}0.567 \right ) = 0.756 \mathrm{ls} \end{split}

Now does this make any sense? It does! If we concentrate on SS only and what he observes and knows:

Obviously, if the actual impact is at positive tt, then SS' will see it before SS does as for positive time tt SS' is closer the moon than SS. And this is all reflected in the events. Moreover, if you would compute the events as SS will model things, you will find event E3E_3 just based on event E2E_2 and the motion of Space Ship according to SS (and when it will encounter a photon that was generated at the actual impact of the comet on the moon). Do the calculation yourself and see, that nothing strange happens.

We can draw the position of Earth, moon and space ship in space-time plot. It is customary to use as horizontal axis the xx or xx' coordinate and as the vertical one ctct or ctct'. SS will see the Earth and moon standing still and thus draw a vertical line in the space-time diagram for each of them: they do not change position, but their time is changing, i.e. the clock ticks. SS would draw for Space Ship a straight line moving from left bottom to upper right as the space ship moves in the positive direction.

Similarly, SS' will draw a vertical line for Space Ship itself, as in the frame of reference of SS' the space ship, obviously, does not move. The Earth and moon move to the left, thus their trajectories are straight line from the bottom right to the upper left in the (x,ct)(x', ct')-diagram.

At some moment in time-space the comet impacts the moon and a photon is moving in the negative xx-direction towards the Earth. Somewhat later, this photon is received by Earth. In the (x,ct)(x,ct)-diagram this is a straight line from lower right to upper left.

In the animation below the whole scenery is shown from the perspective of SS on the left side and from SS' on the right side. The diagrams are made such, that the event “Space Ship passes Earth” is simultaneous in both diagrams, i.e. it happens for both observers at their time equal to 0. All other events happen at different times according to the clocks of the observers.

An animation is given above.

Puzzled by this all? Confused? Hard to believe?

Welcome the ‘Magical World of Relativity’. And don’t worry: you will get used to it. Moreover, we will develop a mathematical framework that helps us and prevents our failing intuition to take the wrong path.

Conclusions:

2.2.2Time & Space

Here we have a look at the consequences of axioms 1 & 2. We know how two observers SS and SS' (moving away with VV) transform their respective coordinates into each other, via the Lorentz transformation.

We will look at the consequences for time and space coordinates.

2.2.2.1Relativity of simultaneity

From the Lorentz transformation it is clear that time is not universal anymore (ctctct'\neq ct in general). This is a large step from Newton and Galileo. Now the time coordinate is mixed somehow with the space coordinates depending on the speed VV.

Let us consider 2 events in the reference frame of SS;

If the two events in SS are simultaneous, i.e. t1=t2ct1ct2=0t_1=t_2 \rightarrow ct_1-ct_2=0, then in SS' they are in general not! Simultaneity is relative!

ct1=γ(ct1Vcx1)ct2=γ(ct2Vcx2)ct1ct2=γ(ct1ct2)+γVc(x1x2)\begin{array}{rcl} ct'_1 &=& \gamma \left ( ct_1 -\frac{V}{c}x_1\right )\\ ct'_2 &=& \gamma \left ( ct_2 -\frac{V}{c}x_2\right )\\ \Rightarrow ct'_1 -ct'_2 &=& \gamma (ct_1-ct_2) + \gamma \frac{V}{c}(x_1-x_2) \end{array}

Even though the first term (ct1ct2)=0(ct_1-ct_2)=0 the second term (x1x2)(x_1-x_2) is never zero unless x1=x2x_1=x_2, and ct1ct20ct'_1-ct'_2 \neq 0 in general.

In words: The events A and B that are simultaneous for SS, are never simultaneous for SS', unless the events are happening at the same place.

Relativität der Gleichzeitigkeit as Einstein called it, is the first very counterintuitive consequence by simple application of the Lorentz transformation. Our brains are not trained and build to cope with this aspect of nature. There is just no evolutionary advantage to it as all relevant speeds are much smaller than the speed of light.

2.2.2.2Time dilation

We investigate how time intervals between a stationary and a moving observers are transformed. We can expect that these time intervals are not the same.

Clock stationary according to S' but moving for S.

Figure 7:Clock stationary according to SS' but moving for SS.

If you consider the sketch above, we see how time intervals are counted for a moving observer and for an observer in the rest frame. A light ray is traveling between 2 mirrors. This up and down traveling of the light is a counter for the time. If you have never thought how time is measured, think a bit how a clock actually does that. Today, the second is defined as a (very large) number of tiny energy transitions (vibrations) of the Caesium-133 atom (see e.g. Atomic Clock).

Consider the time light travels for the observer SS who sees the clock moving with velocity VV. The clock counts one unit of time, tt if the light has gone from the bottom mirror to the top one and back to the bottom mirror. Thus from bottom to top takes t/2t/2. This means that the length of the light path from bottom mirror to top mirror is equal to ct/2ct/2 as light travels with velocity cc. In that same period of time, the top mirror has moved a distance Vt/2Vt/2, as the clock and thus the mirrors move with velocity VV with respect to observer SS. Now, we can relate the length of the light path from the bottom to the top mirror to the size of the clock, LL and the displacement of the mirror, Vt/2Vt/2: L2+V24t2=c24t2L^2+\frac{V^2}{4}t^2=\frac{c^2}{4}t^2 where we used Pythagoras, see Figure 8.

Light path in a moving clock.

Figure 8:Light path in a moving clock.

We can solve this for the time tt that the stationary observer SS puts to the moving clock

t=2L/c1V2c2=γ2Lc>2Lct= \frac{2L/c}{\sqrt{1-\frac{V^2}{c^2}}} = \gamma \frac{2L}{c}> \frac{2L}{c}

We see directly that the time the stationary observer SS records is larger than the moving observer SS' itself which is just 2L/c2L/c (the time in his rest frame)! The time interval gets longer/dilated by the gammagamma-factor.

ΔT=γΔT0\Delta T = \gamma \Delta T_0

with γ=11V2c2>1\gamma=\frac{1}{\sqrt{1-\frac{V^2}{c^2}}} >1 and T0T_0 the proper time or eigen time in the rest frame.

Note: a time interval is also the counting of your heart. That means the moving observer ages more slowly compared to the observer at rest. See the examples below for some experimental evidence of the time dilation.

Conclusion: moving clocks run slower, time gets stretched

2.2.2.3Length contraction

The length of moving objects becomes smaller/contracted for the observer at rest. To explain this effect, we consider a moving rod with velocity VV and with length L0L_0 in the rest frame.

Now that we have seen that time intervals are no longer universal, we need to think about:

"what is it, measuring the length of an object?"\text{"what is it, measuring the length of an object?"}

Normally, we measure the length of an object by seeing how many times a measuring stick fits in the object. We obviously do this in the frame of reference in which the object doesn’t move. There we don’t need to worry about the moment we start at the left side of the object and arrive with our measuring stick on the right side. But if we would do so in a frame of reference in which the object is moving, that wouldn’t work of course. By the time we would reach the right side of the object, it would no longer be at its starting position when we began our measurement and the number of times our ruler fits in the object is now influenced by the motion of the right side of the object.

To measure the length of a moving object, we thus need a different strategy. What we could do, is having a very long ruler fixed in our system. The object is moving passed it. If we have two observers, one concentrating on the left side of the object and the other on the right side, we could ask them to measure the position of the left and right side of the object along the ruler at the same time. Then the difference of the left and right side on the ruler will give us the length of the object.

Thus: the length is measured from the difference of two events in space-time of the front and the back of the rod. We will call the events EL:(ct1,x1)E_L: (ct_1, x_1) and ER:(ct2,x2)E_R: (ct_2, x_2). As we measure size, we require: t1=t2t_1 = t_2, that is the measurements are done simultaneously in SS. According to SS, the length of the rod is L=x2x1L = x_2 - x_1, nothing special here.

Next, we transform the events ELE_L and ERE_R to SS':

x1=γ(ct1Vcx1)x2=γ(ct2Vcx1)\begin{split} x'_1 &= \gamma \left ( ct_1 - \frac{V}{c} x_1 \right ) \\ x'_2 &= \gamma \left ( ct_2 - \frac{V}{c} x_1 \right ) \\ \end{split}

For SS' the difference between x2x'_2 and x1x'_1 is of course the length of the rod. It doesn’t matter for SS' whether or not the coordinates the left and right side of the rod are measured at the same time. The rod is not moving in the frame of SS'. Thus SS' gets as length of the rod:

L0=x2x1L_0=x'_2-x'_1

with L0L_0 the proper length of the rod, i.e. the length according to an observer moving with the rod.

Now we invoke the Lorentz transformation for the two events ELE_L and ERE_R to find the relation between the coordinates used by the two observers:

L0=x2x1=γ(x2x1)γVc(ct2ct1)L_0 =x'_2-x'_1 = \gamma (x_2-x_1)-\gamma \frac{V}{c}(ct_2-ct_1)

As we measure x1,x2x_1,x_2 at the same time in SS, we have ct2=ct1ct_2=ct_1.

L0=γ(x2x1)=γLL=L0γL_0=\gamma (x_2-x_1)=\gamma L \Leftrightarrow L=\frac{L_0}{\gamma}

The length of the moving object observed by the stationary observer is not the same as the length in the rest frame. The length observed by the stationary observer SS gets smaller/contracted by γ>1\gamma>1 compared to the length in the rest frame of SS': L<L0L<L_0.

Conclusion: moving rods are shorter, space shrinks

2.2.3Paradox: twins and barns

There are many variants of the following paradox. The word paradox already implies that there is only an apparent contradiction, not a real one. Here we will formulate the paradox with a ladder & barn and resolve it, but you can also think about it as a train & tunnel, or tank & trench etc. The resolution is always the same.

Let’s analyze the situation in detail using the Lorentz transformation. Later you can analyze it again qualitatively using a Minkowski-diagram which is quite insightful.

Our above “analysis” was a bit short: using length contraction. It is also a bit ‘dangerous’ as length contraction assumes simultaneous events in one frame.

We will consider how both observers would actually measure things in their respective frames of reference and in which order these happen. It turns out that both points of view are correct, but with a twist. We define 4 events to analyze the situation.

  1. Event 1: right end ladder at left door barn
  2. Event 2: right end ladder at right door barn
  3. Event 3: left end ladder at left door barn
  4. Event 4: left end ladder at right door barn (not really needed)

The four events are sketched in the figure below

Four events of the ladder & barn paradox

Figure 10:Four events of the ladder & barn paradox

Note: the size of the ladder in the sketch above is of course open for debate between the two observers :-).

Observer Barn (BB) will conclude that the ladder fits inside the barn and actually is inside the barn if Event 3 is earlier then Event 2, according to the clock of observer BB. If, however, Event 3 is later than Event 2, the ladder does not fit. Similarly, observer Ladder (LL) will draw the same conclusions, but based on the clock of observer LL.

Let’s analyze these events. We will denote the coordinates of observer BB as (ct,x)(ct,x) and those of observer LL as (ct,x)(ct', x'). Both observers agree that they will call the position of the left door the origin, that is xLD=xLD=0x_{LD} = x'_{LD} = 0. Moreover, they agree that at the moment the right end of the ladder is at the left door, they will set their clocks to 0. Remember: according to observe BB, the length of the ladder is L0L/γL_{0L}/ \gamma = 10 m, which happens to be the size of the barn according to BB. We anticipate that BB will conclude that the ladder fits.

Next, we need to give the events their space-time coordinates, e.g. in the frame of BBe and transform these coordinates according to the LT to the frame of LL. This is done below, where we used: L0BL_{0B} = proper length of barn, i.e. in the rest frame of the barn and L0LL_{0L} = proper length of ladder, that is in the rest frame of the ladder. Note: V/c=12/13γ=13/5V/c = 12/13 \Rightarrow \gamma = 13/5

EventBarn (ct,x)(ct,x)Ladder (ct,x)(ct',x')
1(0,0)(0, 0)(0,0)(0, 0)
2(cVL0B,L0B)(\frac{c}{V}L_{0B}, L_{0B})(cVL0Bγ,0)(\frac{c}{V}\frac{L_{0B}}{\gamma}, 0)
3(cVL0B,0)(\frac{c}{V}L_{0B}, 0)(γcVL0Bγ,L0L)(\gamma \frac{c}{V}\frac{L_{0B}}{\gamma}, -L_{0L})

As we see, according to BB, the left and right end of the ladder are exactly at the same moment at the left and right door of the barn, respectively (time coordinate of events 2 & 3 ct2=ct3=cVL0Bct_2=ct_3=\frac{c}{V}L_{0B}). Consequently, observer BB measures that the ladder (just) fits into the barn as anticipated by us. So BB can close both doors and have the ladder inside the barn.

However, if we look at events 2 & 3 according to LL, we see that LL measures that the right end of the ladder is much earlier at the right door (event 2 ct2=cVL0Bγct'_2=\frac{c}{V}\frac{L_{0B}}{\gamma}), than the left end is at the left door (event 3 ct3>ct2ct'_3>ct'_2). So, according to LL, when the ladder hits the right end of the barn, the left part of the ladder is still left from the left door, thus outside the barn. The ladder does not fit. Of course, LL sees that BB closes the doors of the barn, but contrary to what BB says: 'I closed the doors simultaneously and the ladder was in my barn", LL will respond: “that may be true for you, but I clearly observed that you first shut the right door, while the left was still open. Then you quickly opened the right door to let the ladder pass and only after a while, when the left side of the ladder was just inside your bar, you closed the left door. The ladder was never inside the barn with both doors closed!”

The paradox is, that both observers are right. Again we see demonstrated that simultaneous for one does not necessarily mean simultaneous for another. Very counter intuitive and yet: very true.

As you see both observers do not agree where the ladder is when the left door is closed. Where for the barn observer both doors closes at the same time, this does not happen for the ladder observer.