Ειδική σχετικότητα

In [[3]], special relativity (SR, also known as the special theory of relativity or STR) is the accepted [theory|physical theory] regarding the relationship between space and time. It is based on two postulates: (1) that the laws of physics are [(physics)|invariant] (i.e., identical) in all [frame_of_reference|inertial systems] (non-accelerating frames of reference); and (2) that the speed of light in a vacuum is the same for all observers, regardless of the motion of the light source. It was originally proposed in 1905 by [Einstein|Albert Einstein] in the paper "[Mirabilis_Papers#Special_relativity|On the Electrodynamics of Moving Bodies]". The inconsistency of classical mechanics with [equations|Maxwell’s equations] of [[4]] led to the development of special relativity, which corrects classical mechanics to handle situations involving motions nearing the speed of light. As of today, special relativity is the most accurate model of motion at any speed. Even so, classical mechanics is still useful (due to its simplicity and high accuracy) as an approximation at small velocities relative to the speed of light.

Special relativity implies a wide range of consequences, which have been experimentally verified, including [contraction|length contraction], [dilation|time dilation], [in_special_relativity|relativistic mass], [equivalence|mass–energy equivalence], [of_light#Upper_limit_on_speeds|a universal speed limit], and [of_simultaneity|relativity of simultaneity].

It has replaced the conventional notion of an absolute universal time 

with the notion of a time that is dependent on reference frame and spatial position. Rather than an invariant time interval between two events, there is an invariant [interval|spacetime interval]. Combined with other laws of physics, the two postulates of special relativity predict the equivalence of [[5]] and [[6]], as expressed in the [equivalence|mass–energy equivalence] formula E = mc², where c is the [of_light|speed of light] in vacuum.

A defining feature of special relativity is the replacement of the [transformation|Galilean transformation]s of classical mechanics with the [transformation|Lorentz transformation]s.

Time and space cannot be defined separately from one another. Rather 

space and time are interwoven into a single continuum known as [[7]]. Events that occur at the same time for one observer could occur at different times for another.

The theory is called "special" because it applied the [of_relativity|principle of relativity] only to the [case|special case] of [frames_of_reference|inertial reference frames]. Einstein later published a paper on [relativity|general relativity] in 1915 to apply the principle in the general case, that is, to any frame so as to handle [covariance|general coordinate transformations], and [effects].

As [invariance|Galilean relativity] is now considered an approximation of special relativity valid for low speeds, special relativity is considered an approximation of the theory of [relativity|general relativity] valid for weak gravitational fields. The presence of gravity becomes undetectable at sufficiently small-scale, free-falling conditions. General relativity incorporates [geometry|noneuclidean geometry],

so that the gravitational effects are represented by the geometric 

curvature of spacetime. Contrarily, special relativity is restricted to flat spacetime. The geometry of spacetime in special relativity is called [space|Minkowski space].

A locally Lorentz invariant frame that abides by Special relativity can
be defined at sufficiently small scales, even in curved spacetime.

[Galilei|Galileo Galilei] had already postulated that there is no absolute and well-defined state of rest (no [frame|privileged reference frames]), a principle now called [invariance|Galileo's principle of relativity]. Einstein extended this principle so that it accounted for the constant speed of light, a phenomenon that had been recently observed in the [experiment|Michelson–Morley experiment]. He also postulated that it holds for all the [of_physics|laws of physics], including both the laws of mechanics and of [[8]].

Albert Einstein] around 1905

Postulates

«	Reflections of this type made it clear to me as long ago as shortly after 1900, i.e., shortly after Planck's trailblazing work, that neither mechanics nor electrodynamics could (except in limiting cases) claim exact validity. Gradually I despaired of the possibility of discovering the true laws by means of constructive efforts based on known facts. The longer and the more desperately I tried, the more I came to the conviction that only the discovery of a universal formal principle could lead us to assured results... How, then, could such a universal principle be found?	»
—Albert Einstein: Autobiographical Notes

Einstein discerned two fundamental propositions that seemed to be the most assured, regardless of the exact validity of the (then) known laws of either mechanics or electrodynamics. These propositions were the constancy of the speed of light and the independence of physical laws (especially the constancy of the speed of light) from the choice of inertial system. In his initial presentation of special relativity in 1905 he expressed these postulates as:

• The Principle of Relativity – The laws by which the states

of physical systems undergo change are not affected, whether these changes of state be referred to the one or the other of two systems in uniform translatory motion relative to each other.

• The Principle of Invariant Light Speed – "... light is always propagated in empty space with a definite velocity [speed] c which is independent of the state of motion of the emitting body." (from the preface). That is, light in vacuum propagates with the speed c

(a fixed constant, independent of direction) in at least one system of 

inertial coordinates (the "stationary system"), regardless of the state of motion of the light source.

The derivation of special relativity depends not only on these two explicit postulates, but also on several tacit assumptions ([thesis|made in almost all theories of physics]), including the [[9]] and [(physics)|homogeneity] of space and the independence of measuring rods and clocks from their past history.

Following Einstein's original presentation of special relativity in 1905, many different sets of postulates have been proposed in various alternative derivations. However, the most common set of postulates remains those employed by Einstein in his original paper. A more mathematical statement of the Principle of Relativity made later by Einstein, which introduces the concept of simplicity not mentioned above is:

Special principle of relativity: If a system of coordinates K is chosen so that, in relation to it, physical laws hold good in their simplest form, the same laws hold good in relation to any other system of coordinates K' moving in uniform translation relatively to K.

[Poincaré|Henri Poincaré] provided the mathematical framework for relativity theory by proving that [transformations|Lorentz transformations] are a subset of his [group|Poincaré group] of symmetry transformations. Einstein later derived these transformations from his axioms.

Many of Einstein's papers present derivations of the Lorentz transformation based upon these two principles.

Einstein consistently based the derivation of Lorentz invariance (the essential core of special relativity) on just the two basic principles of relativity and light-speed invariance. He wrote:

The insight fundamental for the special theory of relativity is this: The assumptions relativity and light speed invariance are compatible if relations of a new type ("Lorentz transformation") are postulated for the conversion of coordinates and times of events... The universal principle of the special theory of relativity is contained in the postulate: The laws of physics are invariant with respect to Lorentz transformations (for the transition from one inertial system to any other arbitrarily chosen inertial system). This is a restricting principle for natural laws...

Thus many modern treatments of special relativity base it on the single postulate of universal Lorentz covariance, or, equivalently, on the single postulate of [spacetime|Minkowski spacetime].

From the principle of relativity alone without assuming the constancy of the speed of light (i.e. using the isotropy of space and the symmetry implied by the principle of special relativity) [of_the_Lorentz_transformations#From_group_postulates|one can show] that the spacetime transformations between inertial frames are either Euclidean, Galilean, or Lorentzian. In the Lorentzian case, one can then obtain relativistic interval conservation and a certain finite limiting speed. Experiments suggest that this speed is the speed of light in vacuum.

The constancy of the speed of light was motivated by [theory_of_electromagnetism|Maxwell's theory of electromagnetism] and the lack of evidence for the [ether|luminiferous ether]. There is conflicting evidence on the extent to which Einstein was influenced by the null result of the [experiment|Michelson–Morley experiment]. In any case, the null result of the Michelson–Morley experiment helped the notion of the constancy of the speed of light gain widespread and rapid acceptance.

Lack of an absolute reference frame

The [of_relativity|principle of relativity], which states that there is no preferred [reference_frame|inertial reference frame], dates back to [Galilei|Galileo], and was incorporated into Newtonian physics. However, in the late 19th century, the existence of [radiation|electromagnetic waves] led physicists to suggest that the universe was filled with a substance that they called "[aether|aether]", which would act as the medium through which these waves, or vibrations travelled. The aether was thought to constitute an [frame|absolute reference frame] against which speeds could be measured, and could be considered fixed and motionless. Aether supposedly possessed some wonderful properties: it was sufficiently elastic to support electromagnetic waves, and those waves could interact with matter, yet it offered no resistance to bodies passing through it. The results of various experiments, including the [experiment|Michelson–Morley experiment],

indicated that the Earth was always 'stationary' relative to the aether
– something that was difficult to explain, since the Earth is in orbit 

around the Sun. Einstein's solution was to discard the notion of an aether and the absolute state of rest. In relativity, any reference frame moving with uniform motion will observe the same laws of physics. In particular, the speed of light in vacuum is always measured to be c, even when measured by multiple systems that are moving at different (but constant) velocities.

Reference frames, coordinates and the Lorentz transformation

principle of relativity], an observer stationary in the primed system will view a likewise construction except that the speed they record will be −v. The changing of the speed of propagation of interaction from infinite in non-relativistic mechanics to a finite value will require a modification of the transformation equations mapping events in one frame to another.

Relativity theory depends on "[of_reference|reference frames]".

The term reference frame as used here is an observational perspective 

in space which is not undergoing any change in motion (acceleration), from which a position can be measured along 3 spatial axes. In addition,

a reference frame has the ability to determine measurements of the time
of events using a 'clock' (any reference device with uniform 

periodicity).

An event is an occurrence that can be assigned a single unique time and location in space relative to a reference frame: it is a "point" in [[10]].

Since the speed of light is constant in relativity in each and every 

reference frame, pulses of light can be used to unambiguously measure distances and refer back the times that events occurred to the clock, even though light takes time to reach the clock after the event has transpired.

For example, the explosion of a firecracker may be considered to be an "event". We can completely specify an event by its four spacetime coordinates: The time of occurrence and its 3-dimensional spatial location define a reference point. Let's call this reference frame S.

In relativity theory we often want to calculate the position of a point from a different reference point.

Suppose we have a second reference frame S′, whose spatial axes and clock exactly coincide with that of S at time zero, but it is moving at a constant velocity v with respect to S along the x-axis.

Since there is no absolute reference frame in relativity theory, a concept of 'moving' doesn't strictly exist, as everything is always moving with respect to some other reference frame. Instead, any two frames that move at the same speed in the same direction are said to be comoving. Therefore S and S′ are not comoving.

Define the [concepts|event] to have spacetime coordinates (t,x,y,z) in system S and (t′,x′,y′,z′) in S′. Then the [transformation|Lorentz transformation] specifies that these coordinates are related in the following way:

${\begin{aligned}t'&=\gamma \ (t-vx/c^{2})\\x'&=\gamma \ (x-vt)\\y'&=y\\z'&=z,\end{aligned}}$

where

$\gamma ={\frac {1}{\sqrt {1-{\frac {v^{2}}{c^{2}}}}}}$

is the [factor|Lorentz factor] and c is the [of_light|speed of light] in vacuum, and the velocity v of S′ is parallel to the x-axis. The y and z coordinates are unaffected; only the x and t coordinates are transformed. These Lorentz transformations form a [group|one-parameter group] of [mapping|linear mapping]s, that parameter being called [[11]].

There is nothing special about the x-axis, the transformation can apply to the y or z axes, or indeed in any direction, which can be done by directions parallel to the motion (which are warped by the γ factor) and perpendicular; see main article for details.

A quantity invariant under [transformations|Lorentz transformations] is known as a [scalar|Lorentz scalar].

Writing the Lorentz transformation and its inverse in terms of coordinate differences, where for instance one event has coordinates (x₁, t₁) and (x′₁, t′₁), another event has coordinates (x₂, t₂) and (x′₂, t′₂), and the differences are defined as

${\begin{array}{ll}\Delta x'=x'_{2}-x'_{1}\ ,&\Delta x=x_{2}-x_{1}\ ,\\\Delta t'=t'_{2}-t'_{1}\ ,&\Delta t=t_{2}-t_{1}\ ,\\\end{array}}$

we get

${\begin{array}{ll}\Delta x'=\gamma \ (\Delta x-v\,\Delta t)\ ,&\Delta x=\gamma \ (\Delta x'+v\,\Delta t')\ ,\\\Delta t'=\gamma \ \left(\Delta t-{\dfrac {v\,\Delta x}{c^{2}}}\right)\ ,&\Delta t=\gamma \ \left(\Delta t'+{\dfrac {v\,\Delta x'}{c^{2}}}\right)\ .\\\end{array}}$

These effects are not merely appearances; they are explicitly related to our way of measuring time intervals between events which occur at the same place in a given coordinate system (called "co-local" events). These time intervals will be different in another coordinate system moving with respect to the first, unless the events are also simultaneous. Similarly, these effects also relate to our measured distances between separated but simultaneous events in a given coordinate system of choice. If these events are not co-local, but are separated by distance (space), they will not occur at the same spatial distance from each other when seen from another moving coordinate system. However, the [interval|spacetime interval] will be the same for all observers. The underlying reality remains the same. Only our perspective changes.

Consequences derived from the Lorentz transformation

Δείτε επίσης: Twin paradox και Relativistic mechanics

The consequences of special relativity can be derived from the [transformation|Lorentz transformation] equations. These transformations, and hence special relativity, lead to different physical predictions than those of Newtonian mechanics when relative velocities become comparable to the speed of light. The speed of light is so much larger than anything humans encounter that some of the effects predicted by relativity are initially [[12]].

Relativity of simultaneity

Δείτε επίσης: Relativity of simultaneity

Event B is simultaneous with A in the green reference frame, but it occurs before A in the blue frame, and occurs after A in the red frame.

Two events happening in two different locations that occur simultaneously in the reference frame of one inertial observer, may occur non-simultaneously in the reference frame of another inertial observer (lack of [simultaneity|absolute simultaneity]).

From the first equation of the Lorentz transformation in terms of coordinate differences

$\Delta t'=\gamma \left(\Delta t-{\frac {v\,\Delta x}{c^{2}}}\right)$

it is clear that two events that are simultaneous in frame S (satisfying Δt = 0), are not necessarily simultaneous in another inertial frame S′ (satisfying Δt′ = 0). Only if these events are additionally co-local in frame S (satisfying Δx = 0), will they be simultaneous in another frame S′.

Time dilation

Δείτε επίσης: Time dilation

The time lapse between two events is not invariant from one observer to another, but is dependent on the relative speeds of the observers' reference frames (e.g., the [paradox|twin paradox] which concerns a twin who flies off in a spaceship traveling near the speed of light and returns to discover that his or her twin sibling has aged much more).

Suppose a [[13]] is at rest in the unprimed system S. Two different ticks of this clock are then characterized by Δx = 0.

To find the relation between the times between these ticks as measured 

in both systems, the first equation can be used to find:

$\Delta t'=\gamma \,\Delta t$    for events satisfying    $\Delta x=0\ .$

This shows that the time (Δt') between the two ticks as seen in the frame in which the clock is moving (S′), is longer than the time (Δt) between these ticks as measured in the rest frame of the clock (S). Time dilation explains a number of physical phenomena; for example, the decay rate of [[14]]s produced by cosmic rays impinging on the Earth's atmosphere.

Length contraction

Δείτε επίσης: Lorentz contraction

The dimensions (e.g., length) of an object as measured by one observer may be smaller than the results of measurements of the same object made by another observer (e.g., the [paradox|ladder paradox] involves a long ladder traveling near the speed of light and being contained within a smaller garage).

Similarly, suppose a [rod|measuring rod] is at rest and aligned along the x-axis in the unprimed system S. In this system, the length of this rod is written as Δx. To measure the length of this rod in the system S′, in which the clock is moving, the distances x′ to the end points of the rod must be measured simultaneously in that system S′. In other words, the measurement is characterized by Δt′ = 0, which can be combined with the fourth equation to find the relation between the lengths Δx and Δx′:

$\Delta x'={\frac {\Delta x}{\gamma }}$    for events satisfying    $\Delta t'=0\ .$

This shows that the length (Δx′) of the rod as measured in the frame in which it is moving (S′), is shorter than its length (Δx) in its own rest frame (S).

Composition of velocities

Δείτε επίσης: Velocity-addition formula

Velocities (speeds) do not simply add. If the observer in S measures an object moving along the x axis at velocity u, then the observer in the S′ system, a frame of reference moving at velocity v in the x direction with respect to S, will measure the object moving with velocity u′ where (from the Lorentz transformations above):

$u'={\frac {dx'}{dt'}}={\frac {\gamma \ (dx-vdt)}{\gamma \ (dt-vdx/c^{2})}}={\frac {(dx/dt)-v}{1-(v/c^{2})(dx/dt)}}={\frac {u-v}{1-uv/c^{2}}}\ .$

The other frame S will measure:

$u={\frac {dx}{dt}}={\frac {\gamma \ (dx'+vdt')}{\gamma \ (dt'+vdx'/c^{2})}}={\frac {(dx'/dt')+v}{1+(v/c^{2})(dx'/dt')}}={\frac {u'+v}{1+u'v/c^{2}}}\ .$

Notice that if the object were moving at the speed of light in the S system (i.e. u = c), then it would also be moving at the speed of light in the S′ system. Also, if both u and v are small with respect to the speed of light, we will recover the intuitive Galilean transformation of velocities

$u'\approx u-v\ .$

The usual example given is that of a train (frame S′ above) traveling due east with a velocity v with respect to the tracks (frame S). A child inside the train throws a baseball due east with a velocity u′

with respect to the train. In classical physics, an observer at rest on
the tracks will measure the velocity of the baseball (due east) as u = u′ + v,
while in special relativity this is no longer true; instead the 

velocity of the baseball (due east) is given by the second equation: u = (u′ + v)/(1 + u′v/c²). Again, there is nothing special about the x or east directions. This formalism applies to any direction by considering parallel and perpendicular motion to the direction of relative velocity v, see main article for details.

Einstein's addition of colinear velocities is consistent with the [experiment|Fizeau experiment] which determined the speed of light in a fluid moving parallel to the light, but no experiment has ever tested the formula for the general case of non-parallel velocities.

Other consequences

Thomas rotation

Δείτε επίσης: Thomas rotation

The orientation of an object (i.e. the alignment of its axes with the observer's axes) may be different for different observers. Unlike other relativistic effects, this effect becomes quite significant at fairly low velocities as can be seen in the [interaction|spin of moving particles].

Equivalence of mass and energy

As an object's speed approaches the speed of light from an observer's point of view, its [mass|relativistic mass] increases thereby making it more and more difficult to accelerate it from within the observer's frame of reference.

The energy content of an object at rest with mass m equals mc².

Conservation of energy implies that, in any reaction, a decrease of the
sum of the masses of particles must be accompanied by an increase in 

kinetic energies of the particles after the reaction. Similarly, the mass of an object can be increased by taking in kinetic energies.

In addition to the papers referenced above—which give derivations of the Lorentz transformation and describe the foundations of special relativity—Einstein also wrote at least four papers giving heuristic arguments for the equivalence (and transmutability) of mass and energy, for E = mc².

Mass–energy equivalence is a consequence of special relativity. The energy and momentum, which are separate in Newtonian mechanics, form a [[15]] in relativity, and this relates the time component (the energy) to the space components (the momentum) in a nontrivial way. For an object at rest, the energy–momentum four-vector is (E, 0, 0, 0):

it has a time component which is the energy, and three space components
which are zero. By changing frames with a Lorentz transformation in the
x direction with a small value of the velocity v, the energy momentum 

four-vector becomes (E, Ev/c², 0, 0). The momentum is equal to the energy multiplied by the velocity divided by c². As such, the Newtonian mass of an object, which is the ratio of the momentum to the velocity for slow velocities, is equal to E/c².

The energy and momentum are properties of matter and radiation, and it is impossible to deduce that they form a four-vector just from the two basic postulates of special relativity by themselves, because these don't talk about matter or radiation, they only talk about space and time. The derivation therefore requires some additional physical reasoning. In his 1905 paper, Einstein used the additional principles that Newtonian mechanics should hold for slow velocities, so that there is one energy scalar and one three-vector momentum at slow velocities, and that the conservation law for energy and momentum is exactly true in relativity. Furthermore, he assumed that the energy of light is transformed by the same Doppler-shift factor as its frequency, which he had previously shown to be true based on Maxwell's equations. The first of Einstein's papers on this subject was "Does the Inertia of a Body Depend upon its Energy Content?" in 1905. Although Einstein's argument in this paper is nearly universally accepted by physicists as correct, even self-evident, many authors over the years have suggested that it is wrong. Other authors suggest that the argument was merely inconclusive because it relied on some implicit assumptions.

Einstein acknowledged the controversy over his derivation in his 1907 survey paper on special relativity. There he notes that it is problematic to rely on Maxwell's equations for the heuristic mass–energy argument. The argument in his 1905 paper can be carried out with the emission of any massless particles, but the Maxwell equations are implicitly used to make it obvious that the emission of light in particular can be achieved only by doing work. To emit electromagnetic waves, all you have to do is shake a charged particle, and this is clearly doing work, so that the emission is of energy.

How far can one travel from the Earth?

Δείτε επίσης: Space travel using constant acceleration

Since one can not travel faster than light, one might conclude that a human can never travel further from Earth than 40 light years if the traveler is active between the age of 20 and 60. One would easily think that a traveler would never be able to reach more than the very few solar systems which exist within the limit of 20–40 light years from the earth. But that would be a mistaken conclusion. Because of time dilation, a hypothetical spaceship can travel thousands of light years during the pilot's 40 active years. If a spaceship could be built that accelerates at a constant [of_Earth|1g],

it will after a little less than a year be traveling at almost the 

speed of light as seen from Earth. Time dilation will increase his life

span as seen from the reference system of the Earth, but his lifespan 

measured by a clock traveling with him will not thereby change. During his journey, people on Earth will experience more time than he does. A 5

year round trip for him will take 6½ Earth years and cover a distance 

of over 6 light-years. A 20 year round trip for him (5 years accelerating, 5 decelerating, twice each) will land him back on Earth having traveled for 335 Earth years and a distance of 331 light years. A full 40 year trip at 1 g will appear on Earth to last 58,000 years and cover a distance of 55,000 light years. A 40 year trip at 1.1 g will take 148,000 Earth years and cover about 140,000 light years. A one-way 28 year (14 years accelerating, 14 decelerating as measured with the cosmonaut's clock) trip at 1 g acceleration could reach 2,000,000 light-years to the Andromeda Galaxy. This same time dilation is why a muon traveling close to c is observed to travel much further than c times its [[16]] (when at rest).

Causality and prohibition of motion faster than light

Δείτε επίσης: Causality (physics) και Tachyonic antitelephone

Diagram 2. Light cone

In diagram 2 the interval AB is 'time-like'; i.e., there is a frame of reference in which events A and B occur at the same location in space, separated only by occurring at different times. If A precedes B in that frame, then A precedes B in all frames. It is hypothetically possible for matter (or information) to travel from A to B, so there can be a causal relationship (with A the cause and B the effect).

The interval AC in the diagram is 'space-like'; i.e., there is a frame of reference in which events A and C occur simultaneously, separated only in space. There are also frames in which A precedes C (as shown) and frames in which C precedes A. If it were possible for a cause-and-effect relationship to exist between events A and C, then paradoxes of causality would result. For example, if A was the cause, and C the effect, then there would be frames of reference in which the effect preceded the cause. Although this in itself won't give rise to a paradox, one can show that faster than light signals can be sent back into one's own past. A causal paradox can then be constructed by sending the signal if and only if no signal was received previously.

Therefore, if [[17]] is to be preserved, one of the consequences of special relativity is that no information signal or material object can travel [than_light|faster than light] in vacuum. However, some "things" can still move faster than light. For example, the location where the beam of a search light hits the bottom of a cloud can move faster than light when the search light is turned rapidly.

Even without considerations of causality, there are other strong reasons why faster-than-light travel is forbidden by special relativity. For example, if a constant force is applied to an object for a limitless amount of time, then integrating F = dp/dt gives a momentum that grows without bound, but this is simply because $p=m\gamma v$ approaches [[18]] as $v$ approaches c.

To an observer who is not accelerating, it appears as though the 

object's inertia is increasing, so as to produce a smaller acceleration in response to the same force. This behavior is observed in [accelerators|particle accelerators], where each charged particle is accelerated by the electromagnetic force.

Theoretical and experimental tunneling studies carried out by [Nimtz|Günter Nimtz] and Petrissa Eckle claimed that under special conditions signals may travel faster than light. It was measured that fiber digital signals were traveling up to 5 times c and a zero-time tunneling electron carried the information that the atom is [[19]], with photons, [[20]]s and electrons spending zero time in the tunneling barrier. According to Nimtz and Eckle, in this superluminal process only the Einstein causality and the special relativity but not the primitive causality are violated: Superluminal propagation does not result in any kind of time travel. [Nimtz#Scientific_opponents_and_their_interpretations|Several scientists] have stated not only that Nimtz' interpretations were erroneous, but also that the experiment actually provided a trivial experimental confirmation of the special relativity theory.

Geometry of spacetime

Comparison between flat Euclidean space and Minkowski space

Δείτε επίσης: line element

hyperbolic angle] φ (red lines labelled c denote the [[2]]s of a light signal, a vector is orthogonal to itself if it lies on this line).

Special relativity uses a 'flat' 4-dimensional Minkowski space – an example of a [[21]]. Minkowski spacetime appears to be very similar to the standard 3-dimensional [space|Euclidean space], but there is a crucial difference with respect to time.

In 3D space, the [(infinitesimal)|differential] of distance (line element) ds is defined by

$ds^{2}=d\mathbf {x} \cdot d\mathbf {x} =dx_{1}^{2}+dx_{2}^{2}+dx_{3}^{2},$

where dx = (dx₁, dx₂, dx₃) are the differentials of the three spatial dimensions. In Minkowski geometry, there is an extra dimension with coordinate X⁰ derived from time, such that the distance differential fulfills

$ds^{2}=-dX_{0}^{2}+dX_{1}^{2}+dX_{2}^{2}+dX_{3}^{2},$

where dX = (dX₀, dX₁, dX₂, dX₃) are the differentials of the four spacetime dimensions. This suggests a deep theoretical insight: special relativity is simply a [symmetry|rotational symmetry] of our spacetime, analogous to the rotational symmetry of Euclidean space (see image right). Just as Euclidean space uses a [metric|Euclidean metric], so spacetime uses a [metric|Minkowski metric]. Basically, special relativity can be stated as the invariance of any spacetime interval (that is the 4D distance between any two events) when viewed from any inertial reference frame. All equations and effects of special relativity can be derived from this rotational symmetry (the [group|Poincaré group]) of Minkowski spacetime.

The actual form of ds above depends on the metric and on the choices for the X⁰ coordinate. To make the time coordinate look like the space coordinates, it can be treated as [number|imaginary]: X₀ = ict (this is called a [rotation|Wick rotation]). According to [(book)|Misner, Thorne and Wheeler] (1971, §2.3), ultimately the deeper understanding of both special and general relativity will come from the study of the Minkowski metric (described below) and to take X⁰ = ct, rather than a "disguised" Euclidean metric using ict as the time coordinate.

Some authors use X⁰ = t, with factors of c elsewhere to compensate; for instance, spatial coordinates are divided by c or factors of c^±2 are included in the metric tensor. These numerous conventions can be superseded by using [units|natural units] where c = 1. Then space and time have equivalent units, and no factors of c appear anywhere.

3D spacetime

Three-dimensional dual-cone.

Null spherical space.

If we reduce the spatial dimensions to 2, so that we can represent the physics in a 3D space

$ds^{2}=dx_{1}^{2}+dx_{2}^{2}-c^{2}dt^{2},$

we see that the [geodesic|null] [[22]]s lie along a dual-cone (see image right) defined by the equation;

$ds^{2}=0=dx_{1}^{2}+dx_{2}^{2}-c^{2}dt^{2}$

or simply

$dx_{1}^{2}+dx_{2}^{2}=c^{2}dt^{2},$

 which is the equation of a circle of radius c dt.

4D spacetime

If we extend this to three spatial dimensions, the null geodesics are the 4-dimensional cone:

$ds^{2}=0=dx_{1}^{2}+dx_{2}^{2}+dx_{3}^{2}-c^{2}dt^{2}$

so

$dx_{1}^{2}+dx_{2}^{2}+dx_{3}^{2}=c^{2}dt^{2}.$

This null dual-cone represents the "line of sight" of a point in space. That is, when we look at the [[23]]s and say "The light from that star which I am receiving is X years old", we are looking down this line of sight: a null geodesic. We are looking at an event a distance $d={\sqrt {x_{1}^{2}+x_{2}^{2}+x_{3}^{2}}}$ away and a time d/c in the past. For this reason the null dual cone is also known as the 'light cone'. (The point in the lower left of the picture below represents the star, the origin represents the observer, and the line represents the null geodesic "line of sight".)

The cone in the −t region is the information that the point is 'receiving', while the cone in the +t section is the information that the point is 'sending'.

The geometry of Minkowski space can be depicted using [diagram|Minkowski diagram]s, which are useful also in understanding many of the thought-experiments in special relativity.

Note that, in 4d spacetime, the concept of the [of_mass|center of mass] becomes more complicated, see [of_mass_(relativistic)|center of mass (relativistic)].

Physics in spacetime

Transformations of physical quantities between reference frames

Above, the Lorentz transformation for the time coordinate and three space coordinates illustrates that they are intertwined. This is true more generally: certain pairs of "timelike" and "spacelike" quantities naturally combine on equal footing under the same Lorentz transformation.

The Lorentz transformation in standard configuration above, i.e. for a boost in the x direction, can be recast into matrix form as follows:

${\begin{pmatrix}ct'\\x'\\y'\\z'\end{pmatrix}}={\begin{pmatrix}\gamma &-\beta \gamma &0&0\\-\beta \gamma &\gamma &0&0\\0&0&1&0\\0&0&0&1\end{pmatrix}}{\begin{pmatrix}ct\\x\\y\\z\end{pmatrix}}={\begin{pmatrix}\gamma ct-\gamma \beta x\\\gamma x-\beta \gamma ct\\y\\z\end{pmatrix}}.$

In Newtonian mechanics, quantities which have magnitude and direction are mathematically described as 3d vectors in Euclidean space, and in general they are parametrized by time. In special relativity, this notion is extended by adding the appropriate timelike quantity to a spacelike vector quantity, and we have 4d vectors, or "[vector|four vector]s", in Minkowski spacetime. The components of vectors are written using [index_notation|tensor index notation], as this has numerous advantages. The notation makes it clear the equations are [covariant|manifestly covariant] under the [group|Poincaré group],

thus bypassing the tedious calculations to check this fact. In 

constructing such equations, we often find that equations previously thought to be unrelated are, in fact, closely connected being part of the same tensor equation. Recognizing other physical quantities as tensors simplifies their transformation laws. Throughout, upper indices (superscripts) are contravariant indices rather than exponents except when they indicate a square (this is should be clear from the context), and lower indices (subscripts) are covariant indices. For simplicity and

consistency with the earlier equations, Cartesian coordinates will be 

used.

The simplest example of a four-vector is the position of an event in spacetime, which constitutes a timelike component ct and spacelike component x = (x, y, z), in a [and_contravariance_of_vectors|contravariant] [vector|position] [vector|four vector] with components:

$X^{\nu }=(X^{0},X^{1},X^{2},X^{3})=(ct,x,y,z).$

where we define X⁰ = ct so that the time coordinate has the same dimension of distance as the other spatial dimensions; so that space and time are treated equally. Now the transformation of the contravariant components of the position 4-vector can be compactly written as:

$X^{\mu '}=\Lambda ^{\mu '}{}_{\nu }X^{\nu }$

where there is an [notation|implied summation] on ν from 0 to 3, and $\Lambda ^{\mu '}{}_{\nu }$ is a [(mathematics)|matrix].

More generally, all contravariant components of a [[24]] $T^{\nu }$ transform from one frame to another frame by a [transformation|Lorentz transformation]:

$T^{\mu '}=\Lambda ^{\mu '}{}_{\nu }T^{\nu }$

Examples of other 4-vectors include the [[25]] U^μ, defined as the derivative of the position 4-vector with respect to [time|proper time]:

$U^{\mu }={\frac {dX^{\mu }}{d\tau }}=\gamma (v)(c,v_{x},v_{y},v_{z}).$

where the Lorentz factor is:

$\gamma (v)={\frac {1}{\sqrt {1-(v/c)^{2}}}}\,,\quad v^{2}=v_{x}^{2}+v_{y}^{2}+v_{z}^{2}\,.$

The [in_special_relativity|relativistic energy] $E=\gamma (v)mc^{2}$ and [momentum|relativistic momentum] $\mathbf {p} =\gamma (v)m\mathbf {v}$ of an object are respectively the timelike and spacelike components of a [and_contravariance_of_vectors|covariant] [momentum|four momentum] vector:

$P_{\nu }=mU_{\nu }=m\gamma (v)(c,v_{x},v_{y},v_{z})=(E/c,p_{x},p_{y},p_{z}).$

where m is the [mass|invariant mass].

The [[26]] is the proper time derivative of 4-velocity:

$A^{\mu }={\frac {dU^{\mu }}{d\tau }}\,.$

The transformation rules for three-dimensional

velocities and accelerations are very awkward; even above in standard 

configuration the velocity equations are quite complicated owing to their non-linearity. On the other hand, the transformation of four-velocity and four-acceleration are simpler by means of the Lorentz transformation matrix.

The [[27]] of a [field|scalar field] φ transforms covariantly rather than contravariantly:

${\begin{pmatrix}{\frac {1}{c}}{\frac {\partial \phi }{\partial t'}}&{\frac {\partial \phi }{\partial x'}}&{\frac {\partial \phi }{\partial y'}}&{\frac {\partial \phi }{\partial z'}}\end{pmatrix}}={\begin{pmatrix}{\frac {1}{c}}{\frac {\partial \phi }{\partial t}}&{\frac {\partial \phi }{\partial x}}&{\frac {\partial \phi }{\partial y}}&{\frac {\partial \phi }{\partial z}}\end{pmatrix}}{\begin{pmatrix}\gamma &-\beta \gamma &0&0\\-\beta \gamma &\gamma &0&0\\0&0&1&0\\0&0&0&1\end{pmatrix}}\,.$

that is:

$(\partial _{\mu '}\phi )=\Lambda _{\mu '}{}^{\nu }(\partial _{\nu }\phi )\,,\quad \partial _{\mu }\equiv {\frac {\partial }{\partial x^{\mu }}}\,.$

only in Cartesian coordinates. It's the [derivative|covariant derivative] which transforms in manifest covariance, in Cartesian coordinates this happens to reduce to the partial derivatives, but not in other coordinates.

More generally, the covariant components of a 4-vector transform according to the inverse Lorentz transformation:

$\Lambda _{\mu '}{}^{\nu }T^{\mu '}=T^{\nu }$

where $\Lambda _{\mu '}{}^{\nu }$ is the reciprocal matrix of $\Lambda ^{\mu '}{}_{\nu }$.

The postulates of special relativity constrain the exact form the Lorentz transformation matrices take.

More generally, most physical quantities are best described as (components of) [[28]]s. So to transform from one frame to another, we use the well-known [transformation law]

$T_{\theta '\iota '\cdots \kappa '}^{\alpha '\beta '\cdots \zeta '}=\Lambda ^{\alpha '}{}_{\mu }\Lambda ^{\beta '}{}_{\nu }\cdots \Lambda ^{\zeta '}{}_{\rho }\Lambda _{\theta '}{}^{\sigma }\Lambda _{\iota '}{}^{\upsilon }\cdots \Lambda _{\kappa '}{}^{\phi }T_{\sigma \upsilon \cdots \phi }^{\mu \nu \cdots \rho }$

where $\Lambda _{\chi '}{}^{\psi }$ is the reciprocal matrix of $\Lambda ^{\chi '}{}_{\psi }$. All tensors transform by this rule.

An example of a four dimensional second order [tensor|antisymmetric tensor] is the [angular_momentum|relativistic angular momentum], which has six components: three are the classical [momentum|angular momentum],

and the other three are related to the boost of the center of mass of 

the system. The derivative of the relativistic angular momentum with respect to proper time is the relativistic torque, also second order [tensor|antisymmetric tensor].

The [field_tensor|electromagnetic field tensor] is another second order antisymmetric [field|tensor field], with six components: three for the [field|electric field] and another three for the [field|magnetic field]. There is also the [tensor|stress–energy tensor] for the electromagnetic field, namely the [stress–energy_tensor|electromagnetic stress–energy tensor].

Metric

The [tensor|metric tensor] allows one to define the [product|inner product] of two vectors, which in turn allows one to assign a magnitude to the vector. Given the four-dimensional nature of spacetime the [metric|Minkowski metric] η has components (valid in any [reference_frame|inertial reference frame]) which can be arranged in a 4 × 4 matrix:

$\eta _{\alpha \beta }={\begin{pmatrix}-1&0&0&0\\0&1&0&0\\0&0&1&0\\0&0&0&1\end{pmatrix}}$

which is equal to its reciprocal, $\eta ^{\alpha \beta }$, in those frames. Throughout we use the signs as above, different authors use different conventions – see [metric|Minkowski metric] alternative signs.

The [group|Poincaré group] is the most general group of transformations which preserves the Minkowski metric:

$\eta _{\alpha \beta }=\eta _{\mu '\nu '}\Lambda ^{\mu '}{}_{\alpha }\Lambda ^{\nu '}{}_{\beta }\!$

and this is the physical symmetry underlying special relativity.

The metric can be used for [and_lowering_indices|raising and lowering indices] on vectors and tensors. Invariants can be constructed using the metric, the inner product of a 4-vector T with another 4-vector S is:

$T^{\alpha }S_{\alpha }=T^{\alpha }\eta _{\alpha \beta }S^{\beta }=T_{\alpha }\eta ^{\alpha \beta }S_{\beta }={\text{invariant scalar}}$

Invariant means that it takes the same value in all inertial frames, because it is a scalar (0 rank tensor), and so no Λ appears in its trivial transformation. The magnitude of the 4-vector T is the positive square root of the inner product with itself:

$|\mathbf {T} |={\sqrt {T^{\alpha }T_{\alpha }}}$

One can extend this idea to tensors of higher order, for a second order tensor we can form the invariants:

$T^{\alpha }{}_{\alpha }\,,T^{\alpha }{}_{\beta }T^{\beta }{}_{\alpha }\,,T^{\alpha }{}_{\beta }T^{\beta }{}_{\gamma }T^{\gamma }{}_{\alpha }={\text{invariant scalars}}\,,$

similarly for higher order tensors. Invariant expressions, particularly inner products of 4-vectors with themselves, provide equations that are useful for calculations, because one doesn't need to perform Lorentz transformations to determine the invariants.

Relativistic kinematics and invariance

The coordinate differentials transform also contravariantly:

$dX^{\mu '}=\Lambda ^{\mu '}{}_{\nu }dX^{\nu }$

so the squared length of the differential of the position four-vector dX^μ constructed using

$d\mathbf {X} ^{2}=dX^{\mu }\,dX_{\mu }=\eta _{\mu \nu }\,dX^{\mu }\,dX^{\nu }=-(cdt)^{2}+(dx)^{2}+(dy)^{2}+(dz)^{2}\,$

is an invariant. Notice that when the [element|line element] dX² is negative that √−dX² is the differential of [time|proper time], while when dX² is positive, √dX² is differential of the [distance|proper distance].

The 4-velocity U^μ has an invariant form:

${\mathbf {U} }^{2}=\eta _{\nu \mu }U^{\nu }U^{\mu }=-c^{2}\,,$

which means all velocity four-vectors have a magnitude of c.

This is an expression of the fact that there is no such thing as being 

at coordinate rest in relativity: at the least, you are always moving forward through time. Differentiating the above equation by τ produces:

$2\eta _{\mu \nu }A^{\mu }U^{\nu }=0.$

So in special relativity, the acceleration four-vector and the velocity four-vector are orthogonal.

Relativistic dynamics and invariance

The invariant magnitude of the [4-vector] generates the [relation|energy–momentum relation]:

$\mathbf {P} ^{2}=\eta ^{\mu \nu }P_{\mu }P_{\nu }=-(E/c)^{2}+p^{2}.$

We can work out what this invariant is by first arguing that, since it is a scalar, it doesn't matter in which reference frame we calculate it, and then by transforming to a frame where the total momentum is zero.

$\mathbf {P} ^{2}=-(E_{\mathrm {rest} }/c)^{2}=-(mc)^{2}.$

We see that the rest energy is an independent invariant. A rest energy can be calculated even for particles and systems in motion, by translating to a frame in which momentum is zero.

The rest energy is related to the mass according to the celebrated equation discussed above:

$E_{\mathrm {rest} }=mc^{2}.$

Note that the mass of systems measured in their center of momentum frame (where total momentum is zero) is given by the total energy of the system in this frame. It may not be equal to the sum of individual system masses measured in other frames.

To use [third_law_of_motion|Newton's third law of motion],

both forces must be defined as the rate of change of momentum with 

respect to the same time coordinate. That is, it requires the 3D force defined above. Unfortunately, there is no tensor in 4D which contains the components of the 3D force vector among its components.

If a particle is not traveling at c,

one can transform the 3D force from the particle's co-moving reference 

frame into the observer's reference frame. This yields a 4-vector called

the [[29]]. It is the rate of change of the above energy momentum [[30]] with respect to proper time. The covariant version of the four-force is:

$F_{\nu }={\frac {dP_{\nu }}{d\tau }}=mA_{\nu }$

In the rest frame of the object, the time component of the four force is zero unless the "[mass|invariant mass]"

of the object is changing (this requires a non-closed system in which 

energy/mass is being directly added or removed from the object) in which

case it is the negative of that rate of change of mass, times c.
In general, though, the components of the four force are not equal to 

the components of the three-force, because the three force is defined by

the rate of change of momentum with respect to coordinate time, i.e. dp/dt while the four force is defined by the rate of change of momentum with respect to proper time, i.e. dp/dτ.

In a continuous medium, the 3D density of force combines with the density of power to form a covariant 4-vector. The spatial part is the result of dividing the force on a small cell (in 3-space) by the volume of that cell. The time component is −1/c times the power transferred to that cell divided by the volume of the cell. This will be used below in the section on electromagnetism.

Relativity and unifying electromagnetism

Theoretical investigation in [electromagnetism|classical electromagnetism] led to the discovery of wave propagation. Equations generalizing the electromagnetic effects found that finite propagation speed of the E and B fields required certain behaviors on charged particles. The general study of moving charges forms the [potential|Liénard–Wiechert potential], which is a step towards special relativity.

The Lorentz transformation of the [field|electric field] of a moving charge into a non-moving observer's reference frame results in the appearance of a mathematical term commonly called the [field|magnetic field]. Conversely, the magnetic field generated by a moving charge disappears and becomes a purely electrostatic field in a comoving frame of reference. [equations|Maxwell's equations] are thus simply an empirical fit to special relativistic effects in a classical model of the Universe. As electric and magnetic fields are reference frame dependent and thus intertwined, one speaks of electromagnetic fields. Special relativity provides the transformation rules for how an electromagnetic field in one inertial frame appears in another inertial frame.

[equations|Maxwell's equations] in the 3D form are already consistent with the physical content of special relativity, although they are easier to manipulate in a [covariant|manifestly covariant] form, i.e. in the language of [[31]] calculus. See main links for more detail.

Status

Special relativity in its [spacetime|Minkowski spacetime] is accurate only when the [value|absolute value] of the [potential|gravitational potential] is much less than c² in the region of interest. In a strong gravitational field, one must use [relativity|general relativity]. General relativity becomes special relativity at the limit of weak field. At very small scales, such as at the [length|Planck length] and below, quantum effects must be taken into consideration resulting in [gravity|quantum gravity].

However, at macroscopic scales and in the absence of strong 

gravitational fields, special relativity is experimentally tested to extremely high degree of accuracy (10⁻²⁰) and thus accepted by the physics community. Experimental results which appear to contradict it are not reproducible and are thus widely believed to be due to experimental errors.

Special relativity is mathematically self-consistent, and it is an organic part of all modern physical theories, most notably [field_theory|quantum field theory], [theory|string theory], and general relativity (in the limiting case of negligible gravitational fields).

Newtonian mechanics mathematically follows from special relativity at small velocities (compared to the speed of light) – thus Newtonian mechanics can be considered as a special relativity of slow moving bodies. See [mechanics|classical mechanics] for a more detailed discussion.

Several experiments predating Einstein's 1905 paper are now interpreted as evidence for relativity. Of these it is known Einstein was aware of the Fizeau experiment before 1905, and historians have concluded that Einstein was at least aware of the Michelson–Morley experiment as early as 1899 despite claims he made in his later years that it played no role in his development of the theory.

• The [experiment|Fizeau experiment]

(1851, repeated by Michelson and Morley in 1886) measured the speed of 

light in moving media, with results that are consistent with relativistic addition of colinear velocities.

• The famous [experiment|Michelson–Morley experiment]

(1881, 1887) gave further support to the postulate that detecting an 

absolute reference velocity was not achievable. It should be stated here that, contrary to many alternative claims, it said little about the invariance of the speed of light with respect to the source and observer's velocity, as both source and observer were travelling together at the same velocity at all times.

• The [experiment|Trouton–Noble experiment] (1903) showed that the torque on a capacitor is independent of position and inertial reference frame.
• The [of_Rayleigh_and_Brace|Experiments of Rayleigh and Brace]

(1902, 1904) showed that length contraction doesn't lead to 

birefringence for a co-moving observer, in accordance with the relativity principle.

[accelerator|Particle accelerator]s routinely accelerate and measure the properties of particles moving at near the speed of light, where their behavior is completely consistent with relativity theory and inconsistent with the earlier [mechanics|Newtonian mechanics].

These machines would simply not work if they were not engineered 

according to relativistic principles. In addition, a considerable number

of modern experiments have been conducted to test special relativity. 

Some examples:

• [of_relativistic_energy_and_momentum|Tests of relativistic energy and momentum] – testing the limiting speed of particles
• [experiment|Ives–Stilwell experiment] – testing relativistic Doppler effect and time dilation
• [dilation_of_moving_particles|Time dilation of moving particles] – relativistic effects on a fast-moving particle's half-life
• [experiment|Kennedy–Thorndike experiment] – time dilation in accordance with Lorentz transformations
• [experiment|Hughes–Drever experiment] – testing isotropy of space and mass
• [searches_for_Lorentz_violation|Modern searches for Lorentz violation] – various modern tests
• Experiments to test [theory|emission theory] demonstrated that the speed of light is independent of the speed of the emitter.
• Experiments to test the [drag_hypothesis|aether drag hypothesis] – no "aether flow obstruction".

Theories of relativity and quantum mechanics

Special relativity can be combined with [mechanics|quantum mechanics] to form [quantum_mechanics|relativistic quantum mechanics]. It is an [of_unsolved_problems_in_physics|unsolved problem in physics] how [relativity|general relativity] and quantum mechanics can be unified; [gravity|quantum gravity] and a "[of_everything|theory of everything]", which require such a unification, are active and ongoing areas in theoretical research.

The early [model|Bohr–Sommerfeld atomic model] explained the [structure|fine structure] of [metal|alkali metal] atoms using both special relativity and the preliminary knowledge on [mechanics|quantum mechanics] of the time.

In 1928, [Dirac|Paul Dirac] constructed an influential [wave_equation|relativistic wave equation], now known as the [equation|Dirac equation] in his honour, that is fully compatible both with special relativity and with the final version of quantum theory existing after 1926. This equation explained not only the intrinsic angular momentum of the electrons called [(physics)|spin], it also led to the prediction of the [[32]] of the electron (the [[33]]), and [structure|fine structure] could only be fully explained with special relativity. It was the first foundation of [quantum_mechanics|relativistic quantum mechanics]. In non-relativistic quantum mechanics, spin is [(science)|phenomenological] and cannot be explained.

On the other hand, the existence of antiparticles leads to the conclusion that relativistic quantum mechanics is not enough for a more accurate and complete theory of particle interactions. Instead, a theory of particles interpreted as quantized fields, called [field_theory|quantum field theory], becomes necessary; in which particles can be [and destroyed] throughout space and time.

See also

Η σχετικοποίηση του χρόνου υπήρξε ένα από τα σημαντικότερα συμπεράσματα της ειδικής σχετικότητας. Ο χρόνος όχι μόνο μπορει να κυλά με διαφορετικο ρυθμό για δυο παρατηρητές, αλλά και δυο γεγονότα που φαίνονται ταυτόχρονα σε έναν παρατηρητή μπορεί να μην είναι για έναν άλλον.