{{introduction|Special relativity}}
Although the [[special theory of relativity]] was first proposed by [[Albert Einstein]] in [[1905]], the theory's complex underlying [[mathematics]] were originally put forth several years earlier in a series of papers published independently, between 1890 and 1905, by [[George FitzGerald]], [[Henri PoincarĂ©]] and [[Hendrik Lorentz]].
==The beginning==
Everything started with the [[Michelson-Morley experiment]] to determine the absolute speed of the Earth through the theorised "[[luminiferous aether]]." The experiment was a failure but it did show something: the speed of light is independent of the speed of the observer. This means that two persons that follow the same light ray at different speeds will measure the same relative speed for the ray.
There were several articles before Einstein's trying to explain how this could happen. The most important was written by [[Hendrik Lorentz|Lorentz]], who postulated that space could appear contracted and time dilated to the people moving. He still had in mind absolute movement, and was thinking that a moving observer would measure the correct speed of light by a compensation of errors. He follows the light and therefore it goes slowly, but he measures wrongly the space and time.
Einstein explained the same effect in a simpler way using the [[relativity principle]]. He imagined a ray of light bouncing between two mirrors. For an observer static with the mirrors this takes a given time. For an observer moving with respect to them this takes longer (the speed of light is the same and the space is more). From here he calculated the equation for transforming time.
Later, using the previous equation, he discovered that simultaneity was not possible for all inertial systems. If we synchronize several clocks in a frame, they will look desynchronized from a frame at different speed.
Finally, he used the previous results to obtain the same equation as [[Hendrik Lorentz|Lorentz]] had for space contraction.
After he did this, a lot of people, including himself, tried to find any inconsistencies in the system. A lot of supposed inconsistencies (or paradoxes) were proposed. He took the job of looking for an explanation for all of them one by one, until another scientist, named [[Hermann Minkowski]], showed that the whole system of the special relativity is self-consistent and therefore no real paradox can appear.
==Minkowski Space==
Also, the modern approach to the theory depends upon the concept of a four-dimensional universe that was first proposed by [[Hermann Minkowski|Minkowski]] in [[1908]], and further developed as a result of the contributions of [[Emmy Noether]]. This approach uses the concept of [[Invariant (physics)|invariance]] to explore the types of coordinate systems that are required to provide a full physical description of the location and extent of things.
The modern theory of special relativity begins with the concept of "[[length]]". In everyday experience, it seems that the length of objects remains the same no matter how they are rotated or moved from place to place. We think that the simple length of a thing is "[[invariant (physics)|invariant]]". However, as is shown in the illustrations below, what we are actually suggesting is that length seems to be invariant in a three-dimensional coordinate system.
[[image:Coord1b.GIF]]
The length of a thing in a two-dimensional [[coordinate]] system is given by [[Pythagorean theorem|Pythagoras's theorem]]:
:$h^2\; =\; x^2\; +\; y^2$
This two-dimensional length is not invariant if the thing is tilted out of the two-dimensional plane. In everyday life, a three-dimensional coordinate system seems to describe the length fully. The length is given by the three-dimensional version of Pythagoras's theorem:
:$k^2\; =\; x^2\; +\; y^2\; +\; z^2$
The derivation of this formula is shown in the illustration below.
[[image:Coord2.GIF]]
It seems that, provided all the directions in which a thing can be tilted or arranged are represented within a coordinate system, the coordinate system can fully represent the length of a thing. However, it is clear that things may also be changed over a period of time. We must think of time as another dimension in which we move forwards through. This is shown in the following diagram:
[[image:Coord3.GIF]]
The path taken by a thing in both space and time is known as the [[space-time interval]].
[[Hermann Minkowski|Minkowski]] realised in 1908 that if things could be rearranged in time, then the universe might be four-dimensional. He boldly suggested that Einstein's recently published theory of special relativity was a consequence of this four-dimensional universe. He proposed that the space-time interval might be related to space and time by Pythagoras' theorem in four dimensions:
:$s^2\; =\; x^2\; +\; y^2\; +\; z^2\; +\; (ict)^2$
Where ''i'' is the [[imaginary unit]] (sometimes called $\backslash sqrt\{-1\}$), ''c'' is a constant, and ''t'' is the time interval spanned by the space-time interval, ''s''. In this equation, the 'second,' usually a unit of time, becomes just another unit of length. In the same way as centimetres and inches are both units of length related by centimetres = 'conversion constant' times inches, metres and seconds are related by metres = 'conversion constant' times seconds. The conversion constant, ''c'' has a value of about 300,000,000 [[meters per second]]. Now $i^2$ is equal to minus one, so the space-time interval is given by:
:$s^2\; =\; x^2\; +\; y^2\; +\; z^2\; -\; (ct)^2$
In modern formulations this formula for intervals is known as a [[metric tensor]] on the [[Hermann Minkowski|Minkowski]] space with the signature (-+++) or equivalently (+---). It is of particular importance that this form where one term has a sign different from the rest is in direct contrast to the above-mentioned example of euclidean space where all terms have the same sign, a signature of (++++). It is this difference in metric signature that causes the principal difference between geometry in a four-dimensional Euclidean space and geometry in the four-dimensional [[Hermann Minkowski|Minkowski]] space. The space-time interval is still given by:
:$s^2\; =\; x^2\; +\; y^2\; +\; z^2\; -\; (ct)^2$
or alternately
:$s^2\; =\; (ct)^2\; -\; x^2\; -\; y^2\; -\; z^2$
Space-time intervals are difficult to imagine; they extend between one place and time and another place and time, so the velocity of the thing that travels along the interval is already determined for a given observer. But attempts at visualisation can be made by graphing the displacement of a particle in one-dimensional motion (constrained to a straight line) against time. This can be imagined as a world line when the two other space dimensions are suppressed.
If the universe is four-dimensional, then the space-time interval will be invariant, rather than spatial length. Whoever measures a particular space-time interval will get the same value, no matter how fast they are travelling. The invariance of the space-time interval has some dramatic consequences.
The first consequence is the prediction that if a thing is travelling at a velocity of ''c'' metres per second, then all observers, no matter how fast they are travelling, will measure the same velocity for the thing. The velocity ''c'' will be a universal constant. This is explained below.
When an object is travelling at ''c'', the space time interval is '''zero''':
: The space-time interval is $s^2\; =\; x^2\; +\; y^2\; +\; z^2\; -\; (ct)^2$
: The distance travelled by an object moving at velocity ''v'' for ''t'' seconds is:
: $x\; =\; vt$
: So: $s^2\; =\; (vt)^2\; -\; (ct)^2$
: But when the velocity ''v'' equals ''c'':
: $s^2\; =\; (ct)^2\; -\; (ct)^2$
: And hence the space time interval $s^2\; =\; 0$
A space-time interval of zero only occurs when the velocity is ''c''. This particular value of zero for the interval is unique in the sense that it is the only value of the space-time interval for which v can have one and only one value. This shows that not only is the velocity of light constant, it is the only velocity constant. Therefore, by assuming the particular form of the Minowski metric and postulating the invariance of space-time interval, we have an alternate approach to Einstein's special relativity where Einstein takes it as a postulate that the speed of light is constant. When observers observe something with a space-time interval of zero, they all observe it to have a velocity of ''c'', no matter how fast they are moving themselves.
The universal constant, ''c'', is known for historical reasons as the "[[speed of light]]". In the first decade or two after the formulation of Minkowski's approach many physicists, although supporting special relativity, expected that light might not travel at exactly ''c'', but might travel at very nearly ''c''. There are now few physicists who believe that light (or any other EM wave) does not propagate at ''c''.
The second consequence of the invariance of the space-time interval is that clocks will appear to go slower on objects that are moving relative to you. Suppose there are two people, Bill and John, on separate planets that are moving away from each other. John draws a graph of Bill's motion through space and time. This is shown in the illustration below:
[[image:Coord5.GIF]]
==Clocks delays and rods contractions==
Being on planets, both Bill and John think they are stationary, and just moving through time. John spots that Bill is moving through what John calls space, as well as time, when Bill thinks he is moving through time alone. Bill would also draw the same conclusion about John's motion. To John, it is as if Bill's time axis is leaning over in the direction of travel and to Bill, it is as if John's time axis leans over.
: John calculates the length of Bill's space-time interval as:
: $s^2\; =\; (vt)^2\; -\; (ct)^2$
: whereas Bill doesn't think he has travelled in space, so writes:
: $s^2\; =\; (0)^2\; -\; (cT)^2$
The space-time interval, $s^2$, is invariant. It has the same value for all observers, no matter who measures it or how they are moving in a straight line. Bill's $s^2$ equals John's $s^2$ so:
: $(0)^2\; -\; (cT)^2\; =\; (vt)^2\; -\; (ct)^2$
: and
: $-(cT)^2\; =\; (vt)^2\; -\; (ct)^2$
: hence
: $t\; =\; T\; /\; \backslash sqrt\{1\; -\; v^2/c^2\}$.
So, if John sees Bill measure a time interval of 1 second ($T\; =\; 1$) between two ticks of a clock that is at rest in Bill's frame (modeled by the condition $X\; =\; 0$), John will find that his own clock measures between these same ticks an interval $t$, called '''coordinate time''', which is greater than one second. It is said that clocks in motion slow down, relative to those on observers at rest. This is known as "relativistic [[time dilation]] of a moving clock". The time that is measured in the rest frame of the clock (in Bill's frame) is called the [[proper time]] of the clock.
John will also observe measuring rods at rest on Bill's planet to be shorter than his own measuring rods, in the direction of motion. This is a prediction known as "relativistic [[length contraction]] of a moving rod". If the length of a rod at rest on Bill's planet is $X$, then we call this quantity the [[proper length]] of the rod. The length $x$ of that same rod as measured on John's planet, is called '''coordinate length''', and given by
:$x\; =\; X\; \backslash sqrt\{1\; -\; v^2/c^2\}$.
See external links to Hyperphysics.
==Clocks desynchronization==
The last consequence is that clocks will appear to be out of phase with each other along the length of a moving object. This means that if one observer sets up a line of clocks that are all synchronised so they all read the same time, then another observer who is moving along the line at high speed will see the clocks all reading different times. This means that observers who are moving relative to each other see different events as simultaneous. This effect is known as "Relativistic Phase" or the "Relativity of Simultaneity". Relativistic phase is often overlooked by students of special relativity, but if it is understood, then phenomena such as the [[twin paradox]] are easier to understand.
The net effect of the four-dimensional universe is that observers who are in motion relative to you seem to have time coordinates that lean over in the direction of motion, and consider things to be simultaneous that are not simultaneous for you. Spatial lengths in the direction of travel are shortened, because they tip upwards and downwards, relative to the time axis in the direction of travel, akin to a rotation out of three-dimensional space.
[[image:Coord6.GIF]]
Great care is needed when interpreting space-time diagrams. Diagrams present data in two dimensions, and cannot show faithfully how, for instance, a zero length space-time interval appears.
[[image:Coord8.GIF]]
==Common misconceptions==
It is a common misconception that special relativity only applies to objects that are moving quickly. This is entirely untrue. In the main page, it is shown that the kinetic energy of an object at all speeds is a relativistic quantity. Kinetic energy is relativistic because, although relativistic changes in mass are tiny in ordinary units, these result in large changes in energy in ordinary units, due to $E\; =\; mc^2$ where $c^2$ is about 90,000,000,000,000,000 m^{2}/s^{2}. Newtonian physics describes the interplay between kinetic and potential energy, without explaining the origin of kinetic energy or inertia; it just assumes these things, whereas special relativity explains them at a deeper level.
It should be pointed out however, that Minkowski was partly motivated in his proposal of a four-dimensional universe by [[Franz Taurinus]]' discovery that Euclidean geometry, with the exception of the fifth postulate, applies on the surface of a sphere, with a radius measured in imaginary units (i), and cannot be assumed as a fundamental geometry in any universe (see [[Non-Euclidean geometry]] and Walter(1999)).
=== Caveats and Warnings ===
The discussion given above has been confined to what is known as "flat space-time". The general, differential form of the space-time interval is given in the article '''[[Special relativity]]'''. The modern description of the universe uses the term (3+1)D rather than 4D to show how time is not like the spatial dimensions. This corresponds to the difference of the 4D Euclidean metric and the (3+1)D Minowski metric mentioned earlier.
The time dilation equation
:$t\; =\; T\; /\; \backslash sqrt\{1\; -\; v^2/c^2\}$.
is valid for a clock that is at rest in Bill's frame, measuring proper time T. This equation is only valid when the two tick events of the clock happen at the same place in Bill's frame; in other words, for two events satisfying X = 0.
The length contraction equation
:$x\; =\; X\; \backslash sqrt\{1\; -\; v^2/c^2\}$.
is valid for a rod that is at rest in Bill's frame, with proper length X. If the rod is to be measured in John's frame, then John must make sure to measure both end points of the rod at the same time in his own frame, so he must use two events satisfying t = 0.
It can be tempting to combine the equations for time dilation and length contraction to '''xt = XT''' or '''x/t = X/T (1-v^2/c^2)''', but taking into account the above, the equations can only be valid together in the trivial case when all the quantities are zero: x = t = X = T = 0; in other words, for ''a rod with zero length that is also a clock that does not tick''.
It should also be made clear that the length contraction result only applies to rods aligned in the direction of motion. At right angles to the direction of motion, there is no contraction.
It might also be noted that special relativity, in the form given above, is only a stepping stone to [[general relativity]]. In special relativity, space-time is absolute, and appears as a background against which events occur; whereas in general relativity, space-time is construed to be a dynamic product of the gravitational field and the Minowski metric no longer applies in general. Instead, every situation demands its own metric which are solutions to the famous [[Einstein field equations]].
== External links ==
{{Wikibooks|Special Relativity}}
* [http://www.bartleby.com/173/ Albert Einstein. Relativity: The Special and General Theory. New York: Henry Holt 1920. BARTLEBY.COM, 2000]
* [http://nedwww.ipac.caltech.edu/level5/March01/Carroll3/Carroll_contents.html Sean Carroll's online ''Lecture Notes on General Relativity'']
* [http://www.physics.ucla.edu/~cwp/articles/noether.asg/noether.html E. Noether's Discovery of the Deep Connection Between Symmetries and Conservation Laws] by [[Nina Byers]]
* [http://hyperphysics.phy-astr.gsu.edu/hbase/relativ/tdil.html#c2 Hyperphysics Time Dilation]
* [http://hyperphysics.phy-astr.gsu.edu/hbase/relativ/tdil.html#c1 Hyperphysics Length Contraction]
* [http://gregegan.customer.netspace.net.au/FOUNDATIONS/01/found01.html Greg Egan's ''Foundations'']
* [http://www.adamauton.com/warp/ Special Relativity Simulation]
* [http://www.black-holes.org/relativity1.html Caltech Relativity Tutorial] A basic introduction to concepts of Special and General Relativity, requiring only a knowledge of basic geometry.
* [http://www.phys.unsw.edu.au/einsteinlight/ Special Relativity in film clips and animations] from the University of New South Wales.
== See also==
* [[Special Relativity]]
* [[Speed of light]]
* [[Invariance]]
* [[Space-time]] especially [[Space-time interval#Distance in space-time|Distance in space-time]]
* [[Light clock]]
[[Category:Special relativity]]
[[ms:Pengenalan kerelatifan khas]]