Namespaces
Variants
Actions

Difference between revisions of "Relativity theory"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
 
Line 1: Line 1:
 +
<!--
 +
r0811301.png
 +
$#A+1 = 111 n = 0
 +
$#C+1 = 111 : ~/encyclopedia/old_files/data/R081/R.0801130 Relativity theory
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
A physical theory which examines the spatio-temporal properties of physical processes. These properties are common to all physical processes, and are often simply called [[Space-time|space-time]] properties. Space-time properties depend on gravitational fields operating in a given domain. Space-time properties in the presence of a gravitational field are studied in general relativity theory, which is also called the gravitational theory. In special relativity theory, space-time properties are studied in an approximation in which effects related to gravitation can be disregarded. Special relativity theory is expounded below; for general relativity theory, see [[Gravitation, theory of|Gravitation, theory of]]. Relativity theory is also often called Einstein's relativity theory, after A. Einstein who created it (see [[#References|[1]]], [[#References|[2]]]).
 
A physical theory which examines the spatio-temporal properties of physical processes. These properties are common to all physical processes, and are often simply called [[Space-time|space-time]] properties. Space-time properties depend on gravitational fields operating in a given domain. Space-time properties in the presence of a gravitational field are studied in general relativity theory, which is also called the gravitational theory. In special relativity theory, space-time properties are studied in an approximation in which effects related to gravitation can be disregarded. Special relativity theory is expounded below; for general relativity theory, see [[Gravitation, theory of|Gravitation, theory of]]. Relativity theory is also often called Einstein's relativity theory, after A. Einstein who created it (see [[#References|[1]]], [[#References|[2]]]).
  
 
==Basic characteristics of relativity theory.==
 
==Basic characteristics of relativity theory.==
Specific (relativistic) effects, which can be described by relativity theory, and which differentiate it from previous physical theories, appear at velocities of bodies close to the velocity of light in vacuum <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r0811301.png" />. At these so-called relativistic velocities, the dependence of the energy <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r0811302.png" /> of a body of mass <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r0811303.png" /> on its velocity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r0811304.png" /> is described by the formula
+
Specific (relativistic) effects, which can be described by relativity theory, and which differentiate it from previous physical theories, appear at velocities of bodies close to the velocity of light in vacuum $  c \approx 3.10  ^ {10} cm/sec $.  
 +
At these so-called relativistic velocities, the dependence of the energy $  E $
 +
of a body of mass $  m $
 +
on its velocity $  v $
 +
is described by the formula
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r0811305.png" /></td> <td valign="top" style="width:5%;text-align:right;">(1)</td></tr></table>
+
$$ \tag{1 }
 +
=
 +
\frac{mc  ^ {2} }{\sqrt {1 - {v  ^ {2} } / c  ^ {2} } }
 +
.
 +
$$
  
At velocities <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r0811306.png" /> much less than <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r0811307.png" />, formula (1) takes the form
+
At velocities $  v $
 +
much less than $  c $,  
 +
formula (1) takes the form
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r0811308.png" /></td> <td valign="top" style="width:5%;text-align:right;">(2)</td></tr></table>
+
$$ \tag{2 }
 +
= mc  ^ {2} +
 +
\frac{mv  ^ {2} }{2}
 +
.
 +
$$
  
The second term at the right-hand side in formula (2) coincides with the formula for kinetic energy in classical mechanics, while the first term shows that a body at rest possesses an energy <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r0811309.png" />, which is called the rest energy. In nuclear reactions and processes transforming elementary particles, rest energy of initial particles can be transformed (partly or completely) into kinetic energy of the final particles. It follows from formula (1) that the energy of bodies of non-zero mass tends to infinity when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113010.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113011.png" />, the velocity of the body is always less than <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113012.png" />. Particles with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113013.png" /> (photons and neutrinos) always move at the velocity of light. It is sometimes said that at relativistic velocities the mass of the body starts to depend on its velocity, and the value
+
The second term at the right-hand side in formula (2) coincides with the formula for kinetic energy in classical mechanics, while the first term shows that a body at rest possesses an energy $  E = mc  ^ {2} $,  
 +
which is called the rest energy. In nuclear reactions and processes transforming elementary particles, rest energy of initial particles can be transformed (partly or completely) into kinetic energy of the final particles. It follows from formula (1) that the energy of bodies of non-zero mass tends to infinity when $  v \rightarrow c $.  
 +
If $  m \neq 0 $,  
 +
the velocity of the body is always less than $  c $.  
 +
Particles with $  m = 0 $(
 +
photons and neutrinos) always move at the velocity of light. It is sometimes said that at relativistic velocities the mass of the body starts to depend on its velocity, and the value
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113014.png" /></td> </tr></table>
+
$$
 +
m _ {v}  =
 +
\frac{m}{\sqrt {1 - {v  ^ {2} } / {c  ^ {2} } } }
  
is called the mass of motion of the body, while <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113015.png" /> is its rest mass. It follows from formula (1) that
+
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113016.png" /></td> </tr></table>
+
is called the mass of motion of the body, while  $  m $
 +
is its rest mass. It follows from formula (1) that
 +
 
 +
$$
 +
= m _ {v} c  ^ {2} .
 +
$$
  
 
The velocity of light in a vacuum in relativity theory is a limiting velocity, i.e. the transmission of interactions and signals from one point to another occurs at a velocity not exceeding it.
 
The velocity of light in a vacuum in relativity theory is a limiting velocity, i.e. the transmission of interactions and signals from one point to another occurs at a velocity not exceeding it.
Line 32: Line 70:
 
Inertial reference systems in relativity theory form a separate class of reference systems, in which the effects of relativity theory have their simplest description.
 
Inertial reference systems in relativity theory form a separate class of reference systems, in which the effects of relativity theory have their simplest description.
  
The primary concepts in relativity theory are the concepts of a point event and a light signal. In a given inertial reference system, a point event can be characterized by three spatial coordinates <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113017.png" /> in a Cartesian coordinate system and by a time coordinate <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113018.png" />. Coordinate systems <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113019.png" /> in various inertial reference systems are related by Lorentz transformations (cf. [[Lorentz transformation|Lorentz transformation]]). The form of the Lorentz transformations can be obtained from the relativity principle, the conditions of symmetry and the requirement that the above-mentioned transformations form a group. If an inertial reference system <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113020.png" /> moves at a velocity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113021.png" /> relative to an inertial reference system <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113022.png" /> such that the axes <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113023.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113024.png" /> coincide and have the direction of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113025.png" />, the axes <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113026.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113027.png" /> (and also <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113028.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113029.png" />) are parallel to each other, the origins of the coordinates in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113030.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113031.png" /> coincide at the moment <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113032.png" /> and the clock in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113033.png" /> at the origin shows the time <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113034.png" /> when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113035.png" />, then the Lorentz transformation has the form
+
The primary concepts in relativity theory are the concepts of a point event and a light signal. In a given inertial reference system, a point event can be characterized by three spatial coordinates $  x, y, z $
 +
in a Cartesian coordinate system and by a time coordinate $  t $.  
 +
Coordinate systems $  x, y, z, t $
 +
in various inertial reference systems are related by Lorentz transformations (cf. [[Lorentz transformation|Lorentz transformation]]). The form of the Lorentz transformations can be obtained from the relativity principle, the conditions of symmetry and the requirement that the above-mentioned transformations form a group. If an inertial reference system $  L  ^  \prime  $
 +
moves at a velocity $  V $
 +
relative to an inertial reference system $  L $
 +
such that the axes $  x $
 +
and $  x  ^  \prime  $
 +
coincide and have the direction of $  V $,  
 +
the axes $  y $
 +
and $  y  ^  \prime  $(
 +
and also $  z $
 +
and $  z  ^  \prime  $)  
 +
are parallel to each other, the origins of the coordinates in $  L $
 +
and $  L  ^  \prime  $
 +
coincide at the moment $  t = 0 $
 +
and the clock in $  L  ^  \prime  $
 +
at the origin shows the time $  t  ^  \prime  = 0 $
 +
when $  t = 0 $,  
 +
then the Lorentz transformation has the form
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113036.png" /></td> <td valign="top" style="width:5%;text-align:right;">(3)</td></tr></table>
+
$$ \tag{3 }
 +
\left . \begin{array}{c}
 +
 
 +
x  ^  \prime  = x-
 +
\frac{Vt}{\sqrt {1 - {V  ^ {2} } / {c  ^ {2} } } }
 +
,\ \
 +
y  ^  \prime  = y,\ \
 +
z  ^  \prime  = z,
 +
\\
 +
 
 +
t  ^  \prime  =
 +
\frac{t - Vx / c  ^ {2} }{\sqrt {1 - {V  ^ {2} } / c  ^ {2} } }
 +
.
 +
 +
\end{array}
 +
\right \}
 +
$$
  
 
In order to put all Lorentz transformations in the form (3), spatial rotations around the origin have to be adjoined. The Lorentz transformations form a group, called the Lorentz group. The property of invariance of physical laws under Lorentz transformations is called Lorentz invariance or relativistic invariance.
 
In order to put all Lorentz transformations in the form (3), spatial rotations around the origin have to be adjoined. The Lorentz transformations form a group, called the Lorentz group. The property of invariance of physical laws under Lorentz transformations is called Lorentz invariance or relativistic invariance.
  
The relativistic law of addition of velocities follows from the Lorentz transformations. If a particle in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113037.png" /> moves at a velocity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113038.png" /> along the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113039.png" />-axis, then the velocity of this particle in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113040.png" /> is equal to
+
The relativistic law of addition of velocities follows from the Lorentz transformations. If a particle in $  L $
 +
moves at a velocity $  v $
 +
along the $  x $-
 +
axis, then the velocity of this particle in $  L  ^  \prime  $
 +
is equal to
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113041.png" /></td> <td valign="top" style="width:5%;text-align:right;">(4)</td></tr></table>
+
$$ \tag{4 }
 +
v  ^  \prime  = v-
 +
\frac{V}{1 - vV / {c  ^ {2} } }
 +
.
 +
$$
  
Formula (4) shows that indeed the velocity of light is not dependent on the velocity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113042.png" /> of the light source.
+
Formula (4) shows that indeed the velocity of light is not dependent on the velocity $  V $
 +
of the light source.
  
The following basic effects of relativity theory also follow from the Lorentz transformations: the relativity of simultaneity, the time dilation and the shortening of the longitudinal dimensions of bodies. Thus, two simultaneous events <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113043.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113044.png" /> in the system <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113045.png" /> <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113046.png" /> which occur at different points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113047.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113048.png" /> prove to be non-simultaneous in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113049.png" />:
+
The following basic effects of relativity theory also follow from the Lorentz transformations: the relativity of simultaneity, the time dilation and the shortening of the longitudinal dimensions of bodies. Thus, two simultaneous events $  A $
 +
and $  B $
 +
in the system $  L $
 +
$  ( t _ {A} = t _ {B} ) $
 +
which occur at different points $  ( x _ {A} , y _ {A} , z _ {A} ) $
 +
and $  ( x _ {B} , y _ {B} , z _ {B} ) $
 +
prove to be non-simultaneous in $  L  ^  \prime  $:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113050.png" /></td> </tr></table>
+
$$
 +
t _ {A}  ^  \prime  - t _ {B}  ^  \prime  = \
 +
( x _ {B} - x _ {A} )
 +
\frac{V  ^ {2} }{c  ^ {2} }
 +
\sqrt {1 -  
 +
\frac{V  ^ {2} }{c  ^ {2} }
 +
}  \neq  0.
 +
$$
  
Moreover, when a clock, at rest in the system <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113051.png" /> at the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113052.png" />, shows the time <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113053.png" />, then the time <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113054.png" /> according to the clock in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113055.png" /> which coincides spatially with the clock in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113056.png" /> at this moment, is equal to
+
Moreover, when a clock, at rest in the system $  L $
 +
at the point $  ( 0, 0, 0) $,
 +
shows the time $  t $,  
 +
then the time $  t  ^  \prime  $
 +
according to the clock in $  L  ^  \prime  $
 +
which coincides spatially with the clock in $  L $
 +
at this moment, is equal to
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113057.png" /></td> </tr></table>
+
$$
 +
t  ^  \prime  =
 +
\frac{t}{\sqrt {1 - {V  ^ {2} } / {c  ^ {2} } } }
 +
.
 +
$$
  
Thus, from the point of view of an observer in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113058.png" />, the clock in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113059.png" /> falls behind. However, by the relativity principle, from the point of view of an observer in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113060.png" /> the clock in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113061.png" /> also falls behind. The dimensions of bodies at rest in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113062.png" /> (the so-called proper dimensions) are diminished by a factor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113063.png" /> in the direction of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113064.png" />, when measured in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113065.png" /> at given <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113066.png" />, relative to the dimensions in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113067.png" />:
+
Thus, from the point of view of an observer in $  L  ^  \prime  $,  
 +
the clock in $  L $
 +
falls behind. However, by the relativity principle, from the point of view of an observer in $  L $
 +
the clock in $  L  ^  \prime  $
 +
also falls behind. The dimensions of bodies at rest in $  L $(
 +
the so-called proper dimensions) are diminished by a factor $  \sqrt {1 - V  ^ {2} / c  ^ {2} } $
 +
in the direction of $  V $,  
 +
when measured in $  L  ^  \prime  $
 +
at given $  t  ^  \prime  $,  
 +
relative to the dimensions in $  L $:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113068.png" /></td> </tr></table>
+
$$
 +
l  ^  \prime  = l \sqrt {1 -  
 +
\frac{V  ^ {2} }{c  ^ {2} }
 +
} .
 +
$$
  
At low velocities <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113069.png" />, the Lorentz transformations (3), up to quantities tending to zero when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113070.png" />, coincide with the Galileo transformations:
+
At low velocities $  V $,  
 +
the Lorentz transformations (3), up to quantities tending to zero when $  V/c \rightarrow 0 $,  
 +
coincide with the Galileo transformations:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113071.png" /></td> <td valign="top" style="width:5%;text-align:right;">(5)</td></tr></table>
+
$$ \tag{5 }
 +
x  ^  \prime  = x- Vt,\ \
 +
y  ^  \prime  = y,\ \
 +
z  ^  \prime  = z,\ \
 +
t  ^  \prime  = t.
 +
$$
  
These transformations are in accordance with everyday experience, in which motions of bodies at relativistic velocities are not encountered. In particular, Galileo transformations preserve the spatial dimensions of bodies and the duration of physical processes. The transformations (5) and their various combinations with rotations in space form the so-called Galileo group. The major difference between Lorentz and Galileo transformations is that in Lorentz transformations the spatial coordinate <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113072.png" /> appears in the formula for the transformation of the time coordinate <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113073.png" />. The concepts of space and time are thus modified, and the space and time properties of physical processes cannot be considered separately from each other. This has given rise to the concept of space-time, i.e. an object whose geometric properties define both the space and the time properties of physical processes. In classical Newtonian mechanics, the spatial properties of physical processes are defined by geometric properties of three-dimensional Euclidean space, while the time variable appears in the equations as a parameter. In special relativity theory, the four-dimensional [[Pseudo-Euclidean space|pseudo-Euclidean space]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113074.png" />, called the [[Minkowski space|Minkowski space]], is an adequate space-time model. The creation of the concept of space-time cleared the way for the geometrization of the apparatus of relativity theory, which proved to be of crucial importance for the development of general relativity.
+
These transformations are in accordance with everyday experience, in which motions of bodies at relativistic velocities are not encountered. In particular, Galileo transformations preserve the spatial dimensions of bodies and the duration of physical processes. The transformations (5) and their various combinations with rotations in space form the so-called Galileo group. The major difference between Lorentz and Galileo transformations is that in Lorentz transformations the spatial coordinate $  x $
 +
appears in the formula for the transformation of the time coordinate $  t $.  
 +
The concepts of space and time are thus modified, and the space and time properties of physical processes cannot be considered separately from each other. This has given rise to the concept of space-time, i.e. an object whose geometric properties define both the space and the time properties of physical processes. In classical Newtonian mechanics, the spatial properties of physical processes are defined by geometric properties of three-dimensional Euclidean space, while the time variable appears in the equations as a parameter. In special relativity theory, the four-dimensional [[Pseudo-Euclidean space|pseudo-Euclidean space]] $  E _ {(} 1,3)  ^ {4} $,  
 +
called the [[Minkowski space|Minkowski space]], is an adequate space-time model. The creation of the concept of space-time cleared the way for the geometrization of the apparatus of relativity theory, which proved to be of crucial importance for the development of general relativity.
  
 
==The mathematical apparatus of relativity theory and the geometry of Minkowski space.==
 
==The mathematical apparatus of relativity theory and the geometry of Minkowski space.==
In the axiomatic description of relativity theory, the axioms which fix the properties of the primary concepts of relativity theory (point event and light signal) can be extracted from the informal description of the basic statements given above. This system of axioms is supplemented by axioms which are natural from the physical point of view — and which guarantee the existence of a sufficiently large number of events and light signals — as well as by certain continuity axioms on the set of light signals and point events. In other words, these axioms guarantee that every set of numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113075.png" /> defines a point event. After this extension the system of axioms of relativity theory proves to be equivalent to the system of axioms of Minkowski space. Thus, Minkowski space serves as a space-time model of special relativity theory. A point event is interpreted in this space-time model as a point in Minkowski space, whose points are therefore called world points. Every coordinate system <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113076.png" /> in Minkowski space defines an inertial reference system, and the coordinate systems in relativity theory are therefore themselves called Galileo systems. A plane <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113077.png" /> in Minkowski space is called a spatial section, corresponding to the given coordinate system. The line element of Minkowski space in the coordinate system <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113078.png" /> can be represented in the form
+
In the axiomatic description of relativity theory, the axioms which fix the properties of the primary concepts of relativity theory (point event and light signal) can be extracted from the informal description of the basic statements given above. This system of axioms is supplemented by axioms which are natural from the physical point of view — and which guarantee the existence of a sufficiently large number of events and light signals — as well as by certain continuity axioms on the set of light signals and point events. In other words, these axioms guarantee that every set of numbers $  ( t, x, y, z) $
 +
defines a point event. After this extension the system of axioms of relativity theory proves to be equivalent to the system of axioms of Minkowski space. Thus, Minkowski space serves as a space-time model of special relativity theory. A point event is interpreted in this space-time model as a point in Minkowski space, whose points are therefore called world points. Every coordinate system $  ( t, x, y, z) $
 +
in Minkowski space defines an inertial reference system, and the coordinate systems in relativity theory are therefore themselves called Galileo systems. A plane $  t = \textrm{ const } $
 +
in Minkowski space is called a spatial section, corresponding to the given coordinate system. The line element of Minkowski space in the coordinate system $  ( t, x, y, z) $
 +
can be represented in the form
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113079.png" /></td> </tr></table>
+
$$
 +
ds  ^ {2}  = c  ^ {2}  dt  ^ {2} - dx  ^ {2} - dy  ^ {2} - dz  ^ {2} .
 +
$$
  
The quantity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113080.png" /> is called an interval element, and the quantity
+
The quantity $  ds $
 +
is called an interval element, and the quantity
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113081.png" /></td> </tr></table>
+
$$
 +
s  ^ {2}  = c  ^ {2} ( \Delta t)  ^ {2} - ( \Delta x)  ^ {2} - ( \Delta y)  ^ {2} -
 +
( \Delta z)  ^ {2}
 +
$$
  
is called the square of the interval. (The pseudo-Euclidean space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113082.png" /> with line element
+
is called the square of the interval. (The pseudo-Euclidean space $  E _ {(} 3,1)  ^ {4} $
 +
with line element
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113083.png" /></td> </tr></table>
+
$$
 +
ds  ^ {2}  = dx  ^ {2} + dy  ^ {2} + dz  ^ {2} - c  ^ {2} dt  ^ {2}
 +
$$
  
 
can also be used as a space-time model of special relativity theory.)
 
can also be used as a space-time model of special relativity theory.)
Line 79: Line 220:
 
The transformations which form the general Lorentz group are transformations which, in this model, join two Galilean coordinate systems of Minkowski space. These transformations preserve the interval and are the analogue of orthogonal transformations in Euclidean geometry. In particular, Lorentz transformations can take the form
 
The transformations which form the general Lorentz group are transformations which, in this model, join two Galilean coordinate systems of Minkowski space. These transformations preserve the interval and are the analogue of orthogonal transformations in Euclidean geometry. In particular, Lorentz transformations can take the form
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113084.png" /></td> </tr></table>
+
$$
 +
x  ^  \prime  = \cosh  \psi + ct  \sinh  \psi ,
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113085.png" /></td> </tr></table>
+
$$
 +
ct  ^  \prime  = x  ^  \prime  \sinh  \psi + ct  \cosh  \psi ,
 +
$$
  
 
where
 
where
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113086.png" /></td> </tr></table>
+
$$
 +
\psi  =   \mathop{\rm arg} \
 +
\sinh  V/
 +
\frac{c}{\sqrt {1 - {V  ^ {2} } / {c  ^ {2} } } }
  
is the hyperbolic angle of rotation in the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113087.png" />-plane, which has an indefinite metric.
+
$$
  
The classification of vectors in Minkowski space is done according to the sign of the square of the interval. Vectors for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113088.png" /> are said to be time-like; vectors for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113089.png" /> are called space-like; vectors for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113090.png" /> are called light-like or isotropic. If a certain point (for example, the coordinate origin) is singled out in Minkowski space, then the space can be broken up into three domains. Two of these, comprising points joined to zero by time-like vectors, are called domains of absolute future and absolute past. These names are related to the fact that, under any transformation from the complete Lorentz group which joins a given Galilean coordinate system to another Galilean coordinate system <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113091.png" />, an event <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113092.png" /> located in the domain of absolute future will have a larger value of the time coordinate <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113093.png" /> than the event 0. The domain whose points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113094.png" /> are joined to the point 0 by space-like vectors is called the domain of absolute elsewhere. This domain is characterized by the fact that no Lorentz transformation exists under which the points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113095.png" /> and 0 will have identical spatial coordinates. The points on the boundary of these domains form the light cone of the point 0. The points of this cone are joined to zero by zero vectors. The space-time history of every point particle (material point) corresponds to a certain line in Minkowski space, called the world line of this particle. The points of this line define the coordinates of the particle at all moments of time. The fact that the velocities of all particles do not exceed <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113096.png" /> means that (under a natural smoothness assumption) all tangent vectors to the world line are either time-like or isotropic. The former corresponds to particles with non-zero rest mass, the latter to particles with zero rest mass. The natural parameter on the world line of a massive particle is called the proper time of the particle. The physical meaning of the proper time is that it is the time counted by a clock moving with the particle.
+
is the hyperbolic angle of rotation in the  $  ( ct, x) $-
 +
plane, which has an indefinite metric.
 +
 
 +
The classification of vectors in Minkowski space is done according to the sign of the square of the interval. Vectors for which $  s  ^ {2} > 0 $
 +
are said to be time-like; vectors for which $  s  ^ {2} < 0 $
 +
are called space-like; vectors for which $  s  ^ {2} = 0 $
 +
are called light-like or isotropic. If a certain point (for example, the coordinate origin) is singled out in Minkowski space, then the space can be broken up into three domains. Two of these, comprising points joined to zero by time-like vectors, are called domains of absolute future and absolute past. These names are related to the fact that, under any transformation from the complete Lorentz group which joins a given Galilean coordinate system to another Galilean coordinate system $  ( t  ^  \prime  , x  ^  \prime  , y  ^  \prime  , z  ^  \prime  ) $,  
 +
an event $  A $
 +
located in the domain of absolute future will have a larger value of the time coordinate $  t  ^  \prime  $
 +
than the event 0. The domain whose points $  A $
 +
are joined to the point 0 by space-like vectors is called the domain of absolute elsewhere. This domain is characterized by the fact that no Lorentz transformation exists under which the points $  A $
 +
and 0 will have identical spatial coordinates. The points on the boundary of these domains form the light cone of the point 0. The points of this cone are joined to zero by zero vectors. The space-time history of every point particle (material point) corresponds to a certain line in Minkowski space, called the world line of this particle. The points of this line define the coordinates of the particle at all moments of time. The fact that the velocities of all particles do not exceed $  c $
 +
means that (under a natural smoothness assumption) all tangent vectors to the world line are either time-like or isotropic. The former corresponds to particles with non-zero rest mass, the latter to particles with zero rest mass. The natural parameter on the world line of a massive particle is called the proper time of the particle. The physical meaning of the proper time is that it is the time counted by a clock moving with the particle.
  
 
An expression of the [[Law of inertia|law of inertia]] in this model is the fact that free particles, i.e. those which are not subject to the action of forces, have time-like or isotropic straight lines (i.e. geodesics) of Minkowski space as their world lines. In particular, particles with zero rest mass have world lines located on the light cone. In general relativity theory, one expression of the law of inertia is the so-called [[Geodesic hypothesis|geodesic hypothesis]], under which a particle which is not subject to the action of other forces, apart from the force of gravity, moves along a geodesic of the corresponding space-time. A light signal which joins given point events is interpreted in this model as a segment of the isotropic geodesic joining the corresponding world points.
 
An expression of the [[Law of inertia|law of inertia]] in this model is the fact that free particles, i.e. those which are not subject to the action of forces, have time-like or isotropic straight lines (i.e. geodesics) of Minkowski space as their world lines. In particular, particles with zero rest mass have world lines located on the light cone. In general relativity theory, one expression of the law of inertia is the so-called [[Geodesic hypothesis|geodesic hypothesis]], under which a particle which is not subject to the action of other forces, apart from the force of gravity, moves along a geodesic of the corresponding space-time. A light signal which joins given point events is interpreted in this model as a segment of the isotropic geodesic joining the corresponding world points.
  
A time-like geodesic in Minkowski space which joins two given world points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113097.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113098.png" /> is the longest curve among all time-like world lines which join these two points. This follows from the inverse triangle inequality, according to which a time-like broken line joining two points is shorter than the single time-like geodesic joining them. From the point of view of relativity theory, the maximality of the length of the time-like geodesic means that the proper time of the particle moving freely from the world point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r08113099.png" /> to the world point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r081130100.png" /> is greater than the proper time of any other particle whose world line joins these world points. This fact is generally called the twin paradox.
+
A time-like geodesic in Minkowski space which joins two given world points $  A $
 +
and $  B $
 +
is the longest curve among all time-like world lines which join these two points. This follows from the inverse triangle inequality, according to which a time-like broken line joining two points is shorter than the single time-like geodesic joining them. From the point of view of relativity theory, the maximality of the length of the time-like geodesic means that the proper time of the particle moving freely from the world point $  A $
 +
to the world point $  B $
 +
is greater than the proper time of any other particle whose world line joins these world points. This fact is generally called the twin paradox.
  
As a rule, in the construction of tensors which express physical quantities, several corresponding tensor objects of classical physics are united in one tensor object in Minkowski space. For example, an energy-impulse vector is formed in the following way: its first component in a Galilean coordinate system is the value <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r081130101.png" />, while the other three are the components of the momentum vector (this is denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r081130102.png" />). In order to distinguish the tensors of Minkowski space from the tensors on its spatial sections, which have been studied in classical physics, one generally speaks of four-dimensional tensors, or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r081130104.png" />-tensors.
+
As a rule, in the construction of tensors which express physical quantities, several corresponding tensor objects of classical physics are united in one tensor object in Minkowski space. For example, an energy-impulse vector is formed in the following way: its first component in a Galilean coordinate system is the value $  E /c $,  
 +
while the other three are the components of the momentum vector (this is denoted by $  ( E /c, \mathbf p ) $).  
 +
In order to distinguish the tensors of Minkowski space from the tensors on its spatial sections, which have been studied in classical physics, one generally speaks of four-dimensional tensors, or $  4 $-
 +
tensors.
  
Examples of certain physical quantities which are <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r081130105.png" />-tensors are: the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r081130107.png" />-vector
+
Examples of certain physical quantities which are $  4 $-
 +
tensors are: the $  4 $-
 +
vector
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r081130108.png" /></td> </tr></table>
+
$$
 +
u  ^ {i}  = \left (
 +
\frac{1}{\sqrt {1 - {v  ^ {2} } / {c  ^ {2} } } }
 +
;
 +
\frac{v}{c
 +
\sqrt {1 - {v  ^ {2} } / {c  ^ {2} } } }
 +
\right ) ,\ \
 +
i = 0, 1, 2, 3,
 +
$$
  
called the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r081130110.png" />-velocity. This vector is a unit tangent vector to the world line of a particle. The vector
+
called the $  4 $-
 +
velocity. This vector is a unit tangent vector to the world line of a particle. The vector
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r081130111.png" /></td> </tr></table>
+
$$
 +
g  ^ {i}  = \left (
 +
\frac{\mathbf F v }{c  ^ {2} \sqrt {1 - {v  ^ {2} } / {c  ^ {2}
 +
} } }
 +
;
 +
\frac{\mathbf F}{c \sqrt {1 - {v  ^ {2} } / {c  ^ {2} } } }
 +
\right ) ,
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r081130112.png" /> is a force, is a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r081130114.png" />-force vector. Using these vectors, the basic equations of relativistic dynamics can be rewritten in the form
+
where $  \mathbf F $
 +
is a force, is a $  4 $-
 +
force vector. Using these vectors, the basic equations of relativistic dynamics can be rewritten in the form
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081130/r081130115.png" /></td> </tr></table>
+
$$
 +
g  ^ {i}  =
 +
\frac{dp  ^ {i} }{ds}
 +
  \equiv  mc
 +
\frac{du  ^ {i} }{ds}
 +
.
 +
$$
  
 
==The role of relativity theory in contemporary physics.==
 
==The role of relativity theory in contemporary physics.==
Line 114: Line 307:
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  A. Einstein,  "Elektrodynamik bewegter Körper"  ''Ann. der Phys.'' , '''17'''  (1905)  pp. 891–921</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  A. Einstein,  L. Infeld,  "The evolution of physics" , Simon &amp; Schuster  (1962)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  H. Minkowski,  "Raum und Zeit"  ''Phys. Z.'' , '''10'''  (1909)  pp. 104–111</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  E.M. Livschits,  "The classical theory of fields" , Pergamon  (1975)  (Translated from Russian)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  R.P. Feynman,  R.B. Leighton,  M. Sands,  "The Feynman lectures on physics" , '''2''' , Addison-Wesley  (1965)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  W. Pauli,  "Relativitätstheorie" , Teubner  (1921)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  J.L. Synge,  "Relativity: the general theory" , North-Holland  (1960)</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  R.C. Tolman,  "Relativity, thermodynamics and cosmology" , Clarendon Press  (1934)</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top">  P.K. [P.K. Rashevskii] Rashewski,  "Riemannsche Geometrie und Tensoranalyse" , Deutsch. Verlag Wissenschaft.  (1959)  (Translated from Russian)</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  A. Einstein,  "Elektrodynamik bewegter Körper"  ''Ann. der Phys.'' , '''17'''  (1905)  pp. 891–921</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  A. Einstein,  L. Infeld,  "The evolution of physics" , Simon &amp; Schuster  (1962)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  H. Minkowski,  "Raum und Zeit"  ''Phys. Z.'' , '''10'''  (1909)  pp. 104–111</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  E.M. Livschits,  "The classical theory of fields" , Pergamon  (1975)  (Translated from Russian)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  R.P. Feynman,  R.B. Leighton,  M. Sands,  "The Feynman lectures on physics" , '''2''' , Addison-Wesley  (1965)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  W. Pauli,  "Relativitätstheorie" , Teubner  (1921)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  J.L. Synge,  "Relativity: the general theory" , North-Holland  (1960)</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  R.C. Tolman,  "Relativity, thermodynamics and cosmology" , Clarendon Press  (1934)</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top">  P.K. [P.K. Rashevskii] Rashewski,  "Riemannsche Geometrie und Tensoranalyse" , Deutsch. Verlag Wissenschaft.  (1959)  (Translated from Russian)</TD></TR></table>
 
 
  
 
====Comments====
 
====Comments====
 
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  V.A. [V.A. Fok] Fock,  "The theory of space, time and gravitation" , Macmillan  (1954)  (Translated from Russian)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  H. Weyl,  "Raum, Zeit, Materie" , Springer  (1923)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  R. Penrose,  "Structure of space-time"  C.M. DeWitt (ed.)  J.A. Wheeler (ed.) , ''Batelle Rencontres 1967 Lectures in Math. Physics'' , Benjamin  (1968)  pp. 121–235 (Chapt. VII)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  J.A. Schouten,  "Tensor analysis for physicists" , Cambridge Univ. Press  (1951)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  L.P. Eisenhart,  "Riemannian geometry" , Princeton Univ. Press  (1949)</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  J.L. Synge,  A. Schild,  "Tensor calculus" , Toronto Univ. Press  (1959)</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  R.K. Sachs,  H. Wu,  "General relativity for mathematicians" , Springer  (1977)</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  D.F. Lawden,  "An introduction to tensor calculus and relativity" , Methuen  (1962)</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  A.S. Eddington,  "The mathematical theory of relativity" , Cambridge Univ. Press  (1960)</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top">  A. Einstein,  et al.,  "The principle of relativity. A collection of original papers" , Dover, reprint  (1952)</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top">  A. Einstein,  "The meaning of relativity" , Princeton Univ. Press  (1956)</TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  V.A. [V.A. Fok] Fock,  "The theory of space, time and gravitation" , Macmillan  (1954)  (Translated from Russian)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  H. Weyl,  "Raum, Zeit, Materie" , Springer  (1923)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  R. Penrose,  "Structure of space-time"  C.M. DeWitt (ed.)  J.A. Wheeler (ed.) , ''Batelle Rencontres 1967 Lectures in Math. Physics'' , Benjamin  (1968)  pp. 121–235 (Chapt. VII)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  J.A. Schouten,  "Tensor analysis for physicists" , Cambridge Univ. Press  (1951)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  L.P. Eisenhart,  "Riemannian geometry" , Princeton Univ. Press  (1949)</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  J.L. Synge,  A. Schild,  "Tensor calculus" , Toronto Univ. Press  (1959)</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  R.K. Sachs,  H. Wu,  "General relativity for mathematicians" , Springer  (1977)</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  D.F. Lawden,  "An introduction to tensor calculus and relativity" , Methuen  (1962)</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  A.S. Eddington,  "The mathematical theory of relativity" , Cambridge Univ. Press  (1960)</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top">  A. Einstein,  et al.,  "The principle of relativity. A collection of original papers" , Dover, reprint  (1952)</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top">  A. Einstein,  "The meaning of relativity" , Princeton Univ. Press  (1956)</TD></TR></table>

Latest revision as of 08:10, 6 June 2020


A physical theory which examines the spatio-temporal properties of physical processes. These properties are common to all physical processes, and are often simply called space-time properties. Space-time properties depend on gravitational fields operating in a given domain. Space-time properties in the presence of a gravitational field are studied in general relativity theory, which is also called the gravitational theory. In special relativity theory, space-time properties are studied in an approximation in which effects related to gravitation can be disregarded. Special relativity theory is expounded below; for general relativity theory, see Gravitation, theory of. Relativity theory is also often called Einstein's relativity theory, after A. Einstein who created it (see [1], [2]).

Basic characteristics of relativity theory.

Specific (relativistic) effects, which can be described by relativity theory, and which differentiate it from previous physical theories, appear at velocities of bodies close to the velocity of light in vacuum $ c \approx 3.10 ^ {10} cm/sec $. At these so-called relativistic velocities, the dependence of the energy $ E $ of a body of mass $ m $ on its velocity $ v $ is described by the formula

$$ \tag{1 } E = \frac{mc ^ {2} }{\sqrt {1 - {v ^ {2} } / c ^ {2} } } . $$

At velocities $ v $ much less than $ c $, formula (1) takes the form

$$ \tag{2 } E = mc ^ {2} + \frac{mv ^ {2} }{2} . $$

The second term at the right-hand side in formula (2) coincides with the formula for kinetic energy in classical mechanics, while the first term shows that a body at rest possesses an energy $ E = mc ^ {2} $, which is called the rest energy. In nuclear reactions and processes transforming elementary particles, rest energy of initial particles can be transformed (partly or completely) into kinetic energy of the final particles. It follows from formula (1) that the energy of bodies of non-zero mass tends to infinity when $ v \rightarrow c $. If $ m \neq 0 $, the velocity of the body is always less than $ c $. Particles with $ m = 0 $( photons and neutrinos) always move at the velocity of light. It is sometimes said that at relativistic velocities the mass of the body starts to depend on its velocity, and the value

$$ m _ {v} = \frac{m}{\sqrt {1 - {v ^ {2} } / {c ^ {2} } } } $$

is called the mass of motion of the body, while $ m $ is its rest mass. It follows from formula (1) that

$$ E = m _ {v} c ^ {2} . $$

The velocity of light in a vacuum in relativity theory is a limiting velocity, i.e. the transmission of interactions and signals from one point to another occurs at a velocity not exceeding it.

The existence of a limiting velocity is incompatible with the concepts of classical kinematics and necessitates a fundamental reconstruction of classical space-time concepts.

Einstein's relativity principle and other invariance principles.

The relativity principle is fundamental in relativity theory; it states that any physical process runs identically (given identical starting conditions) in an isolated material system which is in a state of rest relative to an arbitrarily chosen inertial system, and in another reference system which is in a state of uniform and rectilinear motion relative to the first inertial reference system.

The relativity principle means that a distinction between different inertial reference systems cannot be made on the basis of any physical experiment alone. A moving reference system is obtained from a reference system, taken to be at rest, by means of a coordinate transformation. It follows from the relativity principle that physical laws are invariant relative to these coordinate transformations and take the same form in all inertial reference systems.

Apart from the transformations to moving reference systems, three other types of transformations are known that do not alter the course of physical processes: translation (shift) in space, rotation in space and translation (shift) in time. Symmetries of physical laws relative to these transformations are fulfilled exactly only in isolated systems and they correspond to the laws of conservation of momentum, angular momentum and energy.

Inertial reference systems and Lorentz transformations.

Inertial reference systems in relativity theory form a separate class of reference systems, in which the effects of relativity theory have their simplest description.

The primary concepts in relativity theory are the concepts of a point event and a light signal. In a given inertial reference system, a point event can be characterized by three spatial coordinates $ x, y, z $ in a Cartesian coordinate system and by a time coordinate $ t $. Coordinate systems $ x, y, z, t $ in various inertial reference systems are related by Lorentz transformations (cf. Lorentz transformation). The form of the Lorentz transformations can be obtained from the relativity principle, the conditions of symmetry and the requirement that the above-mentioned transformations form a group. If an inertial reference system $ L ^ \prime $ moves at a velocity $ V $ relative to an inertial reference system $ L $ such that the axes $ x $ and $ x ^ \prime $ coincide and have the direction of $ V $, the axes $ y $ and $ y ^ \prime $( and also $ z $ and $ z ^ \prime $) are parallel to each other, the origins of the coordinates in $ L $ and $ L ^ \prime $ coincide at the moment $ t = 0 $ and the clock in $ L ^ \prime $ at the origin shows the time $ t ^ \prime = 0 $ when $ t = 0 $, then the Lorentz transformation has the form

$$ \tag{3 } \left . \begin{array}{c} x ^ \prime = x- \frac{Vt}{\sqrt {1 - {V ^ {2} } / {c ^ {2} } } } ,\ \ y ^ \prime = y,\ \ z ^ \prime = z, \\ t ^ \prime = \frac{t - Vx / c ^ {2} }{\sqrt {1 - {V ^ {2} } / c ^ {2} } } . \end{array} \right \} $$

In order to put all Lorentz transformations in the form (3), spatial rotations around the origin have to be adjoined. The Lorentz transformations form a group, called the Lorentz group. The property of invariance of physical laws under Lorentz transformations is called Lorentz invariance or relativistic invariance.

The relativistic law of addition of velocities follows from the Lorentz transformations. If a particle in $ L $ moves at a velocity $ v $ along the $ x $- axis, then the velocity of this particle in $ L ^ \prime $ is equal to

$$ \tag{4 } v ^ \prime = v- \frac{V}{1 - vV / {c ^ {2} } } . $$

Formula (4) shows that indeed the velocity of light is not dependent on the velocity $ V $ of the light source.

The following basic effects of relativity theory also follow from the Lorentz transformations: the relativity of simultaneity, the time dilation and the shortening of the longitudinal dimensions of bodies. Thus, two simultaneous events $ A $ and $ B $ in the system $ L $ $ ( t _ {A} = t _ {B} ) $ which occur at different points $ ( x _ {A} , y _ {A} , z _ {A} ) $ and $ ( x _ {B} , y _ {B} , z _ {B} ) $ prove to be non-simultaneous in $ L ^ \prime $:

$$ t _ {A} ^ \prime - t _ {B} ^ \prime = \ ( x _ {B} - x _ {A} ) \frac{V ^ {2} }{c ^ {2} } \sqrt {1 - \frac{V ^ {2} }{c ^ {2} } } \neq 0. $$

Moreover, when a clock, at rest in the system $ L $ at the point $ ( 0, 0, 0) $, shows the time $ t $, then the time $ t ^ \prime $ according to the clock in $ L ^ \prime $ which coincides spatially with the clock in $ L $ at this moment, is equal to

$$ t ^ \prime = \frac{t}{\sqrt {1 - {V ^ {2} } / {c ^ {2} } } } . $$

Thus, from the point of view of an observer in $ L ^ \prime $, the clock in $ L $ falls behind. However, by the relativity principle, from the point of view of an observer in $ L $ the clock in $ L ^ \prime $ also falls behind. The dimensions of bodies at rest in $ L $( the so-called proper dimensions) are diminished by a factor $ \sqrt {1 - V ^ {2} / c ^ {2} } $ in the direction of $ V $, when measured in $ L ^ \prime $ at given $ t ^ \prime $, relative to the dimensions in $ L $:

$$ l ^ \prime = l \sqrt {1 - \frac{V ^ {2} }{c ^ {2} } } . $$

At low velocities $ V $, the Lorentz transformations (3), up to quantities tending to zero when $ V/c \rightarrow 0 $, coincide with the Galileo transformations:

$$ \tag{5 } x ^ \prime = x- Vt,\ \ y ^ \prime = y,\ \ z ^ \prime = z,\ \ t ^ \prime = t. $$

These transformations are in accordance with everyday experience, in which motions of bodies at relativistic velocities are not encountered. In particular, Galileo transformations preserve the spatial dimensions of bodies and the duration of physical processes. The transformations (5) and their various combinations with rotations in space form the so-called Galileo group. The major difference between Lorentz and Galileo transformations is that in Lorentz transformations the spatial coordinate $ x $ appears in the formula for the transformation of the time coordinate $ t $. The concepts of space and time are thus modified, and the space and time properties of physical processes cannot be considered separately from each other. This has given rise to the concept of space-time, i.e. an object whose geometric properties define both the space and the time properties of physical processes. In classical Newtonian mechanics, the spatial properties of physical processes are defined by geometric properties of three-dimensional Euclidean space, while the time variable appears in the equations as a parameter. In special relativity theory, the four-dimensional pseudo-Euclidean space $ E _ {(} 1,3) ^ {4} $, called the Minkowski space, is an adequate space-time model. The creation of the concept of space-time cleared the way for the geometrization of the apparatus of relativity theory, which proved to be of crucial importance for the development of general relativity.

The mathematical apparatus of relativity theory and the geometry of Minkowski space.

In the axiomatic description of relativity theory, the axioms which fix the properties of the primary concepts of relativity theory (point event and light signal) can be extracted from the informal description of the basic statements given above. This system of axioms is supplemented by axioms which are natural from the physical point of view — and which guarantee the existence of a sufficiently large number of events and light signals — as well as by certain continuity axioms on the set of light signals and point events. In other words, these axioms guarantee that every set of numbers $ ( t, x, y, z) $ defines a point event. After this extension the system of axioms of relativity theory proves to be equivalent to the system of axioms of Minkowski space. Thus, Minkowski space serves as a space-time model of special relativity theory. A point event is interpreted in this space-time model as a point in Minkowski space, whose points are therefore called world points. Every coordinate system $ ( t, x, y, z) $ in Minkowski space defines an inertial reference system, and the coordinate systems in relativity theory are therefore themselves called Galileo systems. A plane $ t = \textrm{ const } $ in Minkowski space is called a spatial section, corresponding to the given coordinate system. The line element of Minkowski space in the coordinate system $ ( t, x, y, z) $ can be represented in the form

$$ ds ^ {2} = c ^ {2} dt ^ {2} - dx ^ {2} - dy ^ {2} - dz ^ {2} . $$

The quantity $ ds $ is called an interval element, and the quantity

$$ s ^ {2} = c ^ {2} ( \Delta t) ^ {2} - ( \Delta x) ^ {2} - ( \Delta y) ^ {2} - ( \Delta z) ^ {2} $$

is called the square of the interval. (The pseudo-Euclidean space $ E _ {(} 3,1) ^ {4} $ with line element

$$ ds ^ {2} = dx ^ {2} + dy ^ {2} + dz ^ {2} - c ^ {2} dt ^ {2} $$

can also be used as a space-time model of special relativity theory.)

The transformations which form the general Lorentz group are transformations which, in this model, join two Galilean coordinate systems of Minkowski space. These transformations preserve the interval and are the analogue of orthogonal transformations in Euclidean geometry. In particular, Lorentz transformations can take the form

$$ x ^ \prime = \cosh \psi + ct \sinh \psi , $$

$$ ct ^ \prime = x ^ \prime \sinh \psi + ct \cosh \psi , $$

where

$$ \psi = \mathop{\rm arg} \ \sinh V/ \frac{c}{\sqrt {1 - {V ^ {2} } / {c ^ {2} } } } $$

is the hyperbolic angle of rotation in the $ ( ct, x) $- plane, which has an indefinite metric.

The classification of vectors in Minkowski space is done according to the sign of the square of the interval. Vectors for which $ s ^ {2} > 0 $ are said to be time-like; vectors for which $ s ^ {2} < 0 $ are called space-like; vectors for which $ s ^ {2} = 0 $ are called light-like or isotropic. If a certain point (for example, the coordinate origin) is singled out in Minkowski space, then the space can be broken up into three domains. Two of these, comprising points joined to zero by time-like vectors, are called domains of absolute future and absolute past. These names are related to the fact that, under any transformation from the complete Lorentz group which joins a given Galilean coordinate system to another Galilean coordinate system $ ( t ^ \prime , x ^ \prime , y ^ \prime , z ^ \prime ) $, an event $ A $ located in the domain of absolute future will have a larger value of the time coordinate $ t ^ \prime $ than the event 0. The domain whose points $ A $ are joined to the point 0 by space-like vectors is called the domain of absolute elsewhere. This domain is characterized by the fact that no Lorentz transformation exists under which the points $ A $ and 0 will have identical spatial coordinates. The points on the boundary of these domains form the light cone of the point 0. The points of this cone are joined to zero by zero vectors. The space-time history of every point particle (material point) corresponds to a certain line in Minkowski space, called the world line of this particle. The points of this line define the coordinates of the particle at all moments of time. The fact that the velocities of all particles do not exceed $ c $ means that (under a natural smoothness assumption) all tangent vectors to the world line are either time-like or isotropic. The former corresponds to particles with non-zero rest mass, the latter to particles with zero rest mass. The natural parameter on the world line of a massive particle is called the proper time of the particle. The physical meaning of the proper time is that it is the time counted by a clock moving with the particle.

An expression of the law of inertia in this model is the fact that free particles, i.e. those which are not subject to the action of forces, have time-like or isotropic straight lines (i.e. geodesics) of Minkowski space as their world lines. In particular, particles with zero rest mass have world lines located on the light cone. In general relativity theory, one expression of the law of inertia is the so-called geodesic hypothesis, under which a particle which is not subject to the action of other forces, apart from the force of gravity, moves along a geodesic of the corresponding space-time. A light signal which joins given point events is interpreted in this model as a segment of the isotropic geodesic joining the corresponding world points.

A time-like geodesic in Minkowski space which joins two given world points $ A $ and $ B $ is the longest curve among all time-like world lines which join these two points. This follows from the inverse triangle inequality, according to which a time-like broken line joining two points is shorter than the single time-like geodesic joining them. From the point of view of relativity theory, the maximality of the length of the time-like geodesic means that the proper time of the particle moving freely from the world point $ A $ to the world point $ B $ is greater than the proper time of any other particle whose world line joins these world points. This fact is generally called the twin paradox.

As a rule, in the construction of tensors which express physical quantities, several corresponding tensor objects of classical physics are united in one tensor object in Minkowski space. For example, an energy-impulse vector is formed in the following way: its first component in a Galilean coordinate system is the value $ E /c $, while the other three are the components of the momentum vector (this is denoted by $ ( E /c, \mathbf p ) $). In order to distinguish the tensors of Minkowski space from the tensors on its spatial sections, which have been studied in classical physics, one generally speaks of four-dimensional tensors, or $ 4 $- tensors.

Examples of certain physical quantities which are $ 4 $- tensors are: the $ 4 $- vector

$$ u ^ {i} = \left ( \frac{1}{\sqrt {1 - {v ^ {2} } / {c ^ {2} } } } ; \frac{v}{c \sqrt {1 - {v ^ {2} } / {c ^ {2} } } } \right ) ,\ \ i = 0, 1, 2, 3, $$

called the $ 4 $- velocity. This vector is a unit tangent vector to the world line of a particle. The vector

$$ g ^ {i} = \left ( \frac{\mathbf F v }{c ^ {2} \sqrt {1 - {v ^ {2} } / {c ^ {2} } } } ; \frac{\mathbf F}{c \sqrt {1 - {v ^ {2} } / {c ^ {2} } } } \right ) , $$

where $ \mathbf F $ is a force, is a $ 4 $- force vector. Using these vectors, the basic equations of relativistic dynamics can be rewritten in the form

$$ g ^ {i} = \frac{dp ^ {i} }{ds} \equiv mc \frac{du ^ {i} }{ds} . $$

The role of relativity theory in contemporary physics.

The theory is supported to a high degree by facts, and it forms the basis of all contemporary theories which examine phenomena at relativistic velocities. The development of the theory of electromagnetism, based on classical electrodynamics, is only possible through relativity theory (historically, analysis of the foundations of classical electrodynamics, and particularly of the optics of moving bodies, led to the construction of relativity theory). Relativity theory forms the basis of quantum electrodynamics, and of theories of strong and weak interaction of elementary particles. Quantum laws of motion and transmutation of elementary particles are studied in relativistic quantum field theory.

References

[1] A. Einstein, "Elektrodynamik bewegter Körper" Ann. der Phys. , 17 (1905) pp. 891–921
[2] A. Einstein, L. Infeld, "The evolution of physics" , Simon & Schuster (1962)
[3] H. Minkowski, "Raum und Zeit" Phys. Z. , 10 (1909) pp. 104–111
[4] E.M. Livschits, "The classical theory of fields" , Pergamon (1975) (Translated from Russian)
[5] R.P. Feynman, R.B. Leighton, M. Sands, "The Feynman lectures on physics" , 2 , Addison-Wesley (1965)
[6] W. Pauli, "Relativitätstheorie" , Teubner (1921)
[7] J.L. Synge, "Relativity: the general theory" , North-Holland (1960)
[8] R.C. Tolman, "Relativity, thermodynamics and cosmology" , Clarendon Press (1934)
[9] P.K. [P.K. Rashevskii] Rashewski, "Riemannsche Geometrie und Tensoranalyse" , Deutsch. Verlag Wissenschaft. (1959) (Translated from Russian)

Comments

References

[a1] V.A. [V.A. Fok] Fock, "The theory of space, time and gravitation" , Macmillan (1954) (Translated from Russian)
[a2] H. Weyl, "Raum, Zeit, Materie" , Springer (1923)
[a3] R. Penrose, "Structure of space-time" C.M. DeWitt (ed.) J.A. Wheeler (ed.) , Batelle Rencontres 1967 Lectures in Math. Physics , Benjamin (1968) pp. 121–235 (Chapt. VII)
[a4] J.A. Schouten, "Tensor analysis for physicists" , Cambridge Univ. Press (1951)
[a5] L.P. Eisenhart, "Riemannian geometry" , Princeton Univ. Press (1949)
[a6] J.L. Synge, A. Schild, "Tensor calculus" , Toronto Univ. Press (1959)
[a7] R.K. Sachs, H. Wu, "General relativity for mathematicians" , Springer (1977)
[a8] D.F. Lawden, "An introduction to tensor calculus and relativity" , Methuen (1962)
[a9] A.S. Eddington, "The mathematical theory of relativity" , Cambridge Univ. Press (1960)
[a10] A. Einstein, et al., "The principle of relativity. A collection of original papers" , Dover, reprint (1952)
[a11] A. Einstein, "The meaning of relativity" , Princeton Univ. Press (1956)
How to Cite This Entry:
Relativity theory. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Relativity_theory&oldid=11794
This article was adapted from an original article by D.D. Sokolov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article