Просмотр кода страницы Русская Википедия:Пространство-время

{{Русская Википедия/Панель перехода}}
{{о|физической модели|использовании этого термина в литературоведении|Хронотоп|использовании этого термина в философии|Философия пространства и времени}}
{{Общая теория относительности}}
'''Простра́нство-вре́мя''' ('''простра́нственно-временно́й [[Континуум (в физике)|конти́нуум]]''') — [[физическая модель]], дополняющая [[Пространство в физике|пространство]] равноправным<ref>Точнее, почти равноправным: на самом деле практически в любой современной формулировке временное измерение сохраняет некоторое отличие от пространственных, хотя это часто замаскировано. Это отличие проявляется прежде всего в сигнатуре метрики пространства-времени (см. [[Пространство Минковского]]).</ref> временны́м [[Размерность пространства|измерением]] и таким образом создающая теоретико-физическую конструкцию, которая называется пространственно-временным континуумом. Пространство-время [[непрерывность (математика)|непрерывно]] и с математической точки зрения представляет собой [[многообразие]] с [[лоренцева метрика|лоренцевой метрикой]].

В нерелятивистской [[Классическая механика|классической механике]] использование [[Евклидово пространство|Евклидова пространства]], не зависящего от одномерного времени, вместо пространства-времени уместно, так как время рассматривается как всеобщее и неизменное, будучи независимым от состояния движения наблюдателя. В случае релятивистских моделей время не может быть отделено от трёх измерений пространства, потому что наблюдаемая скорость, с которой течёт время для объекта, зависит от его скорости относительно наблюдателя, а также от силы гравитационного поля, которое может замедлить течение времени.

В [[космология|космологии]] и релятивистской физике вообще концепция пространства-времени объединяет пространство и время в одну абстрактную [[Вселенная|Вселенную]]. Математически она является [[многообразие]]м, состоящим из «событий», описанных [[Система координат|системой координат]]. Обычно требуется три пространственных измерения (длина, ширина, высота) и одно временное измерение ([[время]]). [[размерность пространства|Измерения]] — независимые составляющие координатной сетки, необходимые для локализации точки в некотором ограниченном «пространстве». Например, на Земле [[широта]] и [[долгота]] — две независимые координаты, которые вместе однозначно определяют положение. В пространстве-времени координатная сетка, которая простирается в 3+1 измерениях, локализует [[Событие (теория относительности)|события]] (вместо просто точки в пространстве), то есть время добавляется как ещё одно измерение в координатной сетке. Таким образом, координаты определяют где и когда происходят события. Однако единая природа пространства-времени и его независимость от выбора координат позволяют предположить, что чтобы выразить временную координату в одной системе координат, необходимы как временная, так и пространственная координаты в другой системе координат. В отличие от обычных пространственных координат, в пространстве-времени возникает понятие [[Световой конус|светового конуса]], накладывающее ограничения на допустимые координаты, если одна из них везде должна быть временной. Эти ограничения жёстко связаны с особой математической моделью, которая отличается от евклидова пространства с его очевидной [[симметрия|симметрией]].

В соответствии с [[теория относительности|теорией относительности]], [[Вселенная]] имеет три пространственных [[измерение|измерения]] и одно временное измерение, и все четыре измерения органически связаны в единое целое, являясь почти равноправными и в определённых рамках (см. примечания ниже) способными переходить друг в друга при смене наблюдателем системы отсчёта.

В рамках [[общая теория относительности|общей теории относительности]] пространство-время имеет и единую динамическую природу, а его взаимодействие со всеми остальными физическими объектами (телами, полями) и есть [[гравитация]]. Таким образом, теория гравитации в рамках ОТО и других [[Альтернативные теории гравитации|метрических теорий гравитации]] есть теория пространства-времени, полагаемого не плоским, а способным динамически менять свою [[Кривизна пространства-времени|кривизну]].

До начала двадцатого века время полагалось независимым от состояния движения, протекающим с постоянной скоростью во всех [[система отсчёта|системах отсчёта]]; однако затем эксперименты показали, что время замедляется при больших скоростях одной системы отсчёта относительно другой. Это замедление, названное [[релятивистское замедление времени|релятивистским замедлением времени]], объясняется в [[специальная теория относительности|специальной теории относительности]]. Замедление времени подтвердили многие эксперименты, такие как релятивистское замедление распада [[мюон]]ов в потоке [[космические лучи|космических лучей]] и замедление [[атомные часы|атомных часов]] на борту [[Спейс шаттл|космического челнока]], [[Gravity Probe A|ракеты]] и [[Эксперимент Хафеле — Китинга|самолётов]] относительно установленных на Земле часов. Длительность времени поэтому может меняться в зависимости от событий и системы отсчёта.

Термин ''пространство-время'' получил широкое распространение далеко за пределами трактовки пространства-времени с нормальными 3+1 измерениями. Это действительно соединение пространства и времени. Другие предложенные теории пространства-времени включают дополнительные измерения, обычно пространственные, но существуют некоторые умозрительные теории, включающие [[Многомерное время|дополнительные временные измерения]], и даже такие, которые включают измерения, не являющиеся ни временными, ни пространственными (например, [[суперпространство]])<ref name="WMN20180809">{{статья |автор=Джордж Массер |заглавие=Что есть пространство-время? |издание=[[В мире науки]] |год=2018 |номер=8—9 |страницы=78—82 |nodot=1}}</ref>. Вопрос о том, сколько измерений необходимо для описания Вселенной, открыт до сих пор. Умозрительные теории, такие как [[теория струн]], предсказывают 10 или 26 измерений (с [[М-теория|М-теорией]], предсказывающей 11 измерений: 10 пространственных и 1 временное), но существование более четырёх измерений имело бы значение только на [[субатомная частица|субатомном уровне]].

== Введение ==
<!-- Примечание для будущих редакторов !!! Этот раздел предназначен для лёгкого ознакомления с пространством-временем. До предела того, что возможно, избегайте математики. Если вы хотите поделиться своими знаниями о некоторых технических материалах, внесите свой вклад в один из последующих разделов этой статьи, а не здесь. Мы должны стремиться к тому, чтобы это введение было понятным для неподготовленной целевой аудитории -->

[[Файл:Observer in special relativity.svg|thumb|250px|Рисунок 1-1. Каждое место в пространстве-времени обозначается четырьмя числами, определяемыми системой отсчёта: положение в пространстве и время (которое можно визуализировать как снятие показаний часов, расположенных в каждой позиции в пространстве). 'Наблюдатель' синхронизирует эти часы в соответствии со своей собственной системой отсчёта.]]
[[Файл:Координаты в пространстве-времени.png|thumb|250px|Примеры координат в пространстве-времени]]
[[Файл:Попадание света в точку А в двух системах отсчета.png|thumb|250px|Пример двумерного пространства-времени с двумя системами координат. Схематичный рисунок без соблюдения некоторых пропорций.]]

Нерелятивистская [[классическая механика]] рассматривает [[время]] как универсальную величину измерения, которая является однородной во всем пространстве и которая отделена от пространства. Классическая механика предполагает, что время имеет постоянную скорость течения, которая не зависит от состояния [[Механическое движение|движения]] {{не переведено 3|наблюдатель (специальная теории относительности)|наблюдателя|en|Observer_(special_relativity)}} или чего-либо внешнего.<ref >Rynasiewicz, Robert. [https://plato.stanford.edu/entries/newton-stm/ «Newton’s Views on Space, Time, and Motion»] {{Архивировано|url=https://wayback.archive-it.org/all/20151211015729/http://plato.stanford.edu/entries/newton-stm/ |date=2015-12-11 }}. Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Retrieved 24 March 2017.</ref>

В контексте [[специальная теория относительности|специальной теории относительности]] время не может быть отделено от трёх измерений пространства, поскольку наблюдаемая скорость течения времени объекта зависит от [[скорость|скорости]] объекта относительно наблюдателя. [[Общая теория относительности]], кроме того, даёт объяснение того, как [[гравитационное поле|гравитационные поля]] могут замедлять течение времени для объекта, наблюдаемого за пределами этого поля.

В обычном пространстве позиция определяется тремя числами, известными как [[Размерность пространства|размерность]]. В [[Прямоугольная система координат|декартовой системе координат]] они называются x, y и z. Позиция в пространстве-времени называется ''событием'', и требует указания четырёх чисел: трёхмерное местоположение в пространстве, а также положение во времени (рис. 1). Таким образом, пространство-время [[Четырёхмерное пространство|четырёхмерное]]. Событие — то, что происходит в определённое мгновение в одной точке пространства-времени, представленной набором координат: ''x'', ''y'', ''z'' и ''t''.

Слово «событие», используемое в теории относительности, не следует путать с использованием слова «событие» в обычном разговоре, где оно может означать нечто вроде концерта, спортивного события или сражения. Это не математические «события» в том смысле, в котором это слово используется в теории относительности, потому что они имеют конечную и ненулевую длительность. В отличие от таких событий как фейерверки или молнии, математические события имеют нулевую продолжительность и представляют собой единственную точку пространства-времени.

Путь частицы через пространство-время можно рассматривать как последовательность событий. Ряд событий можно связать вместе, чтобы сформировать линию, которая представляет движение этой частицы в пространстве-времени. Эта линия называется ''мировой линией'' частицы.<ref name="Collier">{{книга |заглавие=A Most Incomprehensible Thing: Notes Towards a Very Gentle Introduction to the Mathematics of Relativity |ссылка=https://archive.org/details/mostincomprehens0000coll |издательство=Incomprehensible Books |год=2017 |isbn=9780957389465 |издание=3rd |язык=en |автор=Collier, Peter}}</ref> {{rp | 105}}

Математически пространство-время является ''[[многообразие]]м'', то есть локально «плоским» рядом с каждой точкой так же, как при достаточно малых масштабах глобус кажется плоским.<ref>{{cite web |last1=Rowland |first1=Todd |title=Manifold |url=https://mathworld.wolfram.com/Manifold.html |website=Wolfram Mathworld |publisher=Wolfram Research |accessdate=2017-03-24 |archive-date=2017-03-13 |archive-url=https://web.archive.org/web/20170313111306/http://mathworld.wolfram.com/Manifold.html |deadlink=no }}</ref> Очень большой масштабный коэффициент <math>c</math> (обычно называемый ''скоростью света'') соотносит расстояния, измеренные в пространстве, с расстояниями, измеренными во времени. Величина этого масштабного коэффициента (почти 300 000 км в пространстве, что эквивалентно 1 секунде во времени), а также тот факт, что пространство-время является многообразием, означает, что при обычных, нерелятивистских скоростях и на обычных расстояниях на человеческом уровне мало кто может заметить отличия от евклидового пространства. Только с появлением высокоточных научных измерений в середине XIX века, таких как эксперимент [[опыт Физо]] и [[Опыт Майкельсона|эксперимент Майкельсона]], возникли загадочные расхождения между наблюдениями и прогнозами на основе неявного предположения о евклидовом пространстве.<ref name="French">{{книга |заглавие=Special Relativity |издательство=[[CRC Press]] |место=[[Бока-Ратон|Boca Raton, Florida]] |isbn=0748764224 |страницы=35—60 |автор=French, A.P. |год=1968 }}</ref>

В специальной теории относительности термин «наблюдатель», в большинстве случаев, означает систему отсчёта, в которой производятся измерения объектов или событий. Это использование значительно отличается от обычного значения термина. Системы отсчёта являются нелокальными конструкциями, и в соответствии с таким использованием термина не имеет смысла говорить о том, что наблюдатель имеет какое-либо положение. На рис. 1-1 представьте, что рассматриваемая система отсчёта оснащена плотной решёткой часов, синхронизированной в этой системе отсчёта, которая неограниченно продолжается на протяжении трёх измерений пространства. Любое конкретное место решётки не имеет значения. Часовая решётка часов используется для определения времени и положения событий, происходящих во всей системе отсчёта. Термин ''наблюдатель'' относится ко всему набору часов, связанным с одной инерциальной системой отсчёта.<ref name="Taylor">{{книга |заглавие=Spacetime Physics: Introduction to Special Relativity |издательство=Freeman |место=San Francisco |isbn=071670336X |издание=1st |ссылка=http://www.eftaylor.com/download.html#special_relativity |язык=en |автор=Taylor, Edwin F.; Wheeler, John Archibald |год=1966}}</ref>{{rp | 17-22}} В этом идеализированном случае каждая точка пространства имеет связанные с ней часы, и поэтому часы регистрируют каждое событие мгновенно, без задержки между событием и его записью. Однако реальный наблюдатель увидит задержку между испусканием сигнала и его обнаружением из-за конечности скорости света. При синхронизации часов учитывается время распространения сигнала и часы корректируются на величину времени его распространения.

Во многих книгах по специальной теории относительности, особенно более старых, слово «наблюдатель» используется в более обычном понимании. Обычно смысл термина ясен из контекста.

Физики различают понятия ''измерять'' и ''наблюдать'' (после установления задержки распространения сигнала) от того, что визуально видно без таких корректировок. Ошибки в понимании отличий того, что измеряется/наблюдается от того, что видится, является источником многих ошибок среди начинающих изучение теории относительности.<ref>{{статья |заглавие=Student understanding of time in special relativity: Simultaneity and reference frames |издание=[[American Journal of Physics]] |том=69 |номер=S1 |страницы=S24—S35 |doi=10.1119/1.1371254 |ссылка=https://arxiv.org/ftp/physics/papers/0207/0207109.pdf |accessdate=2017-04-11 |bibcode=2001AmJPh..69S..24S |arxiv=physics/0207109 |язык=en |тип=journal |автор=Scherr, Rachel E.; Shaffer, Peter S.; Vokos, Stamatis |месяц=7 |год=2001}}</ref>

== Пространство-время в специальной теории относительности ==

=== Интервал ===
В трёх измерениях ''расстояние'' <math>\Delta{d}</math> между двумя точками может быть определено с использованием [[теорема Пифагора|теоремы Пифагора]]:
: <math>{\left(\Delta{d}\right)}^2 = {\left(\Delta{x}\right)}^2 + {\left(\Delta{y}\right)}^2 + {\left(\Delta{z}\right)}^2</math>
Хотя два наблюдателя могут измерять положение x, y и z двух точек, используя разные системы координат, расстояние между точками будет для обоих одинаковым (при условии, что они измеряют с использованием тех же единиц). Расстояние таким образом «инвариант».

Однако в специальной теории относительности расстояние между двумя точками больше не сохраняется при измерении двумя разными наблюдателями из-за [[Лоренцево сокращение|сокращения Лоренца]], если один из наблюдателей движется. Ситуация ещё больше осложняется, если две точки разделены и расстоянием и временем. Например, если один наблюдатель видит, что два события происходят в одном и том же месте, но в разное время, наблюдатель, движущийся относительно первого, увидит два события, происходящие в разных местах. Таким образом, для измерения эффективного «расстояния» между двумя событиями придётся использовать другой способ измерения.

В четырёхмерном пространстве-времени аналогом расстояния является «интервал». Хотя время входит в четвёртое измерение, оно трактуется иначе, чем пространственные измерения и поэтому пространство Минковского существенно отличается от [[Четырёхмерное пространство|четырёхмерного евклидова пространства]]. Основная причина слияния пространства и времени в пространство-время состоит в том, что пространство и время не являются инвариантными, то есть в соответствующих условиях разные наблюдатели будут не согласны относительно промежутка времени (из-за [[Релятивистское замедление времени|замедления времени]]) или расстояния (из-за лоренцева сокращения длины) между двумя ''[[Событие (теория относительности)|событиями]]''. Но специальная теория относительности обеспечивает новый инвариант, называемый ''интервалом пространства-времени'', который объединяет расстояния в пространстве и во времени. Все наблюдатели, которые измеряют время и расстояние, получат один и тот же интервал пространства-времени между любыми двумя событиями. Предположим, что наблюдатель измеряет два события, разделённые во времени на <math>\Delta t</math> и в пространстве на <math>\Delta x</math>. Тогда интервал пространства-времени <math>{\left(\Delta{s}\right)}^2</math> между двумя событиями, разделёнными расстоянием <math>\Delta{x}</math> в пространстве и <math>\Delta{ct}= c\Delta t</math> в <math>ct</math>-координате:

: <math>(\Delta s)^2 = (\Delta ct)^2 - (\Delta x)^2 </math>, или для трёх пространственных измерений, <math>(\Delta s)^2 = (\Delta ct)^2 - (\Delta x)^2 - (\Delta y)^2 - (\Delta z)^2</math><ref>{{книга |заглавие=Differential Manifolds and Theoretical Physics |издательство=[[Academic Press]] |год=1985 |isbn=978-0-08-087435-7 |страницы=223 |ссылка=https://books.google.com/books?id=sWXcAyR37acC |язык=en |автор=Curtis, W. D.; Miller, F. R.}} [https://books.google.com/books?id=sWXcAyR37acC&pg=PA223 Extract of page 223] {{Wayback|url=https://books.google.com/books?id=sWXcAyR37acC&pg=PA223 |date=20200613114828 }}</ref>

Постоянная <math>\textrm{c}</math>, скорость света, преобразует единицы измерения времени (в секундах) в единицы измерения расстояния (в метры).

'''Примечание по обозначениям:''' Хотя для краткости часто встречаются интервальные выражения, выраженные без дельт, включая большинство следующих обсуждений, следует понимать, что в общем случае <math>x</math> означает <math>\Delta{x}</math> и т. д. Нам всегда интересны «изменения» пространственных или временных значений координат, относящихся к двум событиям, и, поскольку нет выделенного начала системы отсчёта, конкретные значения координат не имеют существенного значения.
[[Файл:Spacetime Diagram of Two Photons and a Slower than Light Object.png|thumb|Рисунок 2-1. Диаграмма пространства-времени, иллюстрирующая два фотона, A и B, возникающие в одном и том же событии, и объект С с досветовой скоростью.]]

Уравнение выше похоже на теорему Пифагора, за исключением знака минус между выражениями <math>(\Delta ct)^2</math> и <math>(\Delta x)^2</math>. Заметим также, что интервал пространства-времени представляет собой величину <math>s^2</math>, а не <math>s</math>. Причина в том, что в отличие от расстояний в евклидовой геометрии интервалы в пространстве-времени Минковского могут быть отрицательными. Вместо того, чтобы иметь дело с квадратными корнями из отрицательных чисел, физики обычно рассматривают <math>s^2</math> как отдельный символ сам по себе, а не квадрат величины.

Из-за знака минус интервал пространства-времени между двумя отдельными событиями может быть равен нулю. Если <math>s^2</math> является положительным, интервал пространства-времени является ''времениподобным'', что означает, что два события разделяются больше временем, чем пространством. Если <math>s^2</math> отрицательный, интервал пространства-времени является ''пространственно-подобным'', что означает, что два события разделены больше пространством, чем временем. Пространственно-временные интервалы равны нулю, когда <math>x = \pm \textrm{c} \, t</math>. Другими словами, интервал чего-то движущегося со скоростью света между двумя событиями на мировой линии равен нулю. Такой интервал называется ''светоподобным'' или ''нулевым''. Фотон, попавший в наш глаз от далёкой звезды, не имеет возраста, несмотря на то, что (с нашей точки зрения) провёл годы в пути.

Диаграмма пространства-времени обычно рисуется только с одной пространственной и одной временной осью. На рис. 2-1 представлена пространственно-временная диаграмма, иллюстрирующая ''[[мировая линия|мировые линии]]'' (то есть пути в пространстве-времени) двух фотонов A и B, вышедших из одного и того же события и идущих в противоположных направлениях. Кроме того, C иллюстрирует мировую линию объекта с досветовой скоростью. Вертикальная координата времени имеет масштаб <math>\textrm{c}</math>, так что она имеет те же единицы (метры), что и пространственная ось. Поскольку фотоны движутся со скоростью света, их мировые линии имеют наклон ± 1. Другими словами, каждый метр, который фотон перемещается влево или вправо, требует приблизительно 3,3 наносекунды времени.

'''Примечание по обозначениям:''' В литературе по теории относительности есть две формы записи:
: <math>s^2 = (\textrm{c} t)^2 - x^2 - y^2 - z^2</math>
: и
: <math>s^2 = - (\textrm{c} t)^2 + x^2 + y^2 + z^2</math>

Эти формы записи связаны с ''[[Сигнатура (линейная алгебра)|сигнатурой метрики]]'' {{nowrap|(+&thinsp;−&thinsp;−&thinsp;−)}} и {{nowrap|(−&thinsp;+&thinsp;+&thinsp;+).}} Отличие состоит в расположении координаты времени. Обе формы широко используются в научном поле.
{{anchor|Reference frames}}

=== Система отсчёта ===
[[Файл:Standard configuration of coordinate systems.svg|thumb|Рисунок 2-2. Диаграмма Галилея двух систем отсчёта в стандартной конфигурации.]]
[[Файл:Galilean and Spacetime coordinate transformations.png|thumb|330px|Рисунок 2-3. (а) Диаграмма Галилея двух систем отсчёта в стандартной конфигурации. (б) Пространственно-временная диаграмма двух систем отсчёта. (c) Пространственно-временная диаграмма, показывающая путь импульса отражённого света.]]
При сравнении измерений, выполненных движущимися относительно друг друга наблюдателями в разных [[Инерциальная система отсчёта|инерциальных системах отсчёта]], полезно работать с системами отсчёта в стандартной конфигурации. На рис.2-2 показаны две движущиеся относительно друг друга галлиеевы системы отсчёта (то есть обычные трёхмерные пространственные системы отсчёта). Система S принадлежит первому наблюдателю O, а система S' принадлежит второму наблюдателю O'.

* Оси ''x'', ''y'', ''z'' системы S ориентированы параллельно относительно соответствующих осей системы S'.

* Система S' перемещается в направлении оси ''x'' системы S с постоянной скоростью ''v'', измеренной в системе S.

* Начала отсчёта систем S и S 'совпадают, когда время ''t''= 0 для системы S и ''t' '' = 0 для системы S'.<ref name="Collier" />{{rp|107}}

Рис. 2‑3a представляет собой повёрнутый в другом направлении рис. 2‑2. Рис. 2‑3b иллюстрирует диаграмму пространства-времени с точки зрения наблюдателя О. Поскольку S и S' находятся в стандартной конфигурации, их начала отсчёта совпадают в момент ''t'' = 0 в системе S и ''t''′ = 0 в системе S'. Ось ''ct'' 'проходит через события в системе S', которые имеют ''x''′ = 0. Но точки с ''x''′ = 0 движутся в направлении ''x'' системы S со скоростью ''v'', так что они не совпадают с осью ''ct'' в любое отличное от нуля время. Поэтому ось ''ct' '' наклоняется относительно оси ''ct'' на угол ''θ'', заданный формулой

: <math>\tan\ \theta = v/c .</math>

Ось ''x' '' также наклоняется относительно оси ''x''. Чтобы определить угол этого наклона, напомним, что наклон мировой линии светового импульса всегда ±1. Рис. 2‑3c представляет собой диаграмму пространства-времени с точки зрения наблюдателя O'. Событие P представляет собой излучение светового импульса при ''x''′ = 0, ''ct''′ = −''a''. Импульс отражается от зеркала, расположенного на расстоянии ''a'' от источника света (событие Q), и возвращается к источнику света в ''x''′ = 0, ''ct''′ = ''a'' (событие R).

Те же события P, Q, R нарисованы на рис. 2‑3b в системе наблюдателя O. Пути света имеют наклоны = 1 и −1 так что △PQR образует прямоугольный треугольник. Так как OP = OQ = OR, угол между ''x' '' и ''x'' должен быть также ''θ''.

В то время как покоящаяся система отсчёта имеет пространственные и временные оси, которые пересекаются под прямым углом, движущаяся система отсчёта имеет острый угол между осями. Но фактически системы отсчёта эквивалентны. Асимметрия рисунка обусловлена неизбежными искажениями того, как координаты пространства-времени отображаться на [[Прямоугольная система координат|прямоугольную систему координат]], и это следует считать не более странным, чем то, как на земной [[проекция Меркатора]] относительные размеры площади поверхности вблизи полюсов (Гренландия и Антарктида) сильно больше относительно площади поверхности вблизи экватора.
{{Clear}}

=== Световой конус ===
{{main|Световой конус}}
[[Файл:ModernPhysicsSpaceTimeA.png|thumb|270px|Рисунок 2-4. Световой конус (красные линии 'word lines of light'), центрированный на событии, делит остальную часть пространства-времени на будущее (FUTURE), прошлое (PAST) и «где-то ещё» (ELSEWHERE).]]
На рисунке 2-4 событие O находится в начале отсчёта пространственно-временной диаграммы, две диагональные линии представляют все события, которые имеют нулевой интервал пространства-времени относительно события в начале отсчёта. Эти две линии образуют то, что называется ''световым конусом'' события O, поскольку добавление второго пространственного измерения (рис. 2‑5) приводит к появлению двух [[конус]]ов, которые касаются друг друга вершинами в O. Один конус распространяется в будущее (t>0), а другой — в прошлое (t<0).

[[Файл:World line.png|thumb|270px|Рисунок 2-5. Световой конус в 2D пространстве плюс временное измерение. Перевод обозначений: Observer — наблюдатель; Space — пространство; Time — время; Past light cone — световой конус прошлого; Future light cone — световой конус будущего; Hypersurface of the present — гиперплоскость настоящего]]
Световой (двойной) конус относительно его вершины делит пространство-время на отдельные области. Внутренняя часть светового конуса будущего (верхняя часть, future light cone) состоит из всех событий, которые отделены от вершины бо́льшим «временным» расстоянием, чем необходимо, чтобы пересечь их «пространственное расстояние» на скорости света; эти события составляют ''времениподобное будущее'' события O. Аналогично, ''времениподобное прошлое'' включает в себя внутренние события светового конуса прошлого (нижняя часть, past light cone). Таким образом, ''времениподобные интервалы'' Δ''ct'' больше, чем Δ''x'', что делает времениподобные интервалы положительными. Область, внешняя по отношению к световому конусу, состоит из событий, которые отделены от события О большим ''пространством'', чем можно пересечь на скорости света за заданное ''время''. Эти события включают в себя так называемую ''пространственно-подобную'' область события О, обозначенную на рис. 2-4 как «где-то ещё» (elsewhere). События на самом световом конусе называются ''светоподобными'' (или ''нуль отделяемыми'') от O. Из-за инвариантности интервала пространства-времени все наблюдатели будут иметь один и тот же световой конус для любого заданного события и, таким образом, согласятся с таким общим разделением пространства-времени.<ref name="Schutz">{{книга |заглавие=Gravity from the Ground Up: An Introductory Guide to Gravity and General Relativity |издательство=[[Издательство Кембриджского университета|Cambridge University Press]] |место=Cambridge |isbn=0521455065 |издание=Reprint |ссылка=https://books.google.com/books?id=P_T0xxhDcsIC |язык=en |автор=Schutz, Bernard |год=2004}}</ref>{{rp|220}}

Световой конус играет важную роль в концепции [[Причинность|причинности]]. Возможно, что досветовой сигнал перемещается от положения и времени O к положению и времени D (рис.2-4). Следовательно, событие O может быть причинное влияние события D. Световой конус будущего содержит все события, на которые может оказывать причинное влияние O. Аналогично, возможно, что досветовой сигнал идёт от положения и времени A к положению и времени O. Световой конус прошлого содержит все события, которые могут иметь причинное влияние на O. А также, если предположить, что сигналы не могут двигаться быстрее, чем скорость света, любое событие, например, например, B или C, в пространственноподобной области («где-то ещё»), не могут влиять на событие O, и они не могут быть затронуты влиянием события O. При этом предположении исключается любая причинно-следственная связь между событием O и любыми событиями в пространственноподобной области светового конуса.<ref>{{cite web|last1=Curiel|first1=Erik|last2=Bokulich|first2=Peter|title=Lightcones and Causal Structure|url=https://plato.stanford.edu/entries/spacetime-singularities/lightcone.html|website=Stanford Encyclopedia of Philosophy|publisher=Metaphysics Research Lab, Stanford University|accessdate=2017-03-26|archive-date=2019-05-17|archive-url=https://web.archive.org/web/20190517122738/https://plato.stanford.edu/entries/spacetime-singularities/lightcone.html|deadlink=no}}</ref>

=== Относительность одновременности ===
[[Файл:Relativity of Simultaneity Animation.gif|thumb|270px|Рисунок 2-6. Анимация, иллюстрирующая относительность одновременности.]]
Все наблюдатели согласятся, что для любого заданного события любое событие в световом конусе будущего (относительного заданного события) происходит ''после'' заданного события. Аналогично, для любого заданного события событие в световом конусе прошлого (относительно заданного события) происходит ''до'' заданного события. Отношение до-после, наблюдаемое для событий со времениподобным разделением, остаётся неизменным независимо от системы отсчёта наблюдателя, то есть независимо от движения наблюдателя. Ситуация совершенно отличается для пространственно-подобно разделённых событий. Рис.2-4 нарисован для системы отсчёта наблюдателя, движущегося с {{Nowrap|1 = ''v'' = 0}}. В этой системе отсчёта событие C происходит после события O, и событие B происходит до события O. В другой системе отсчёта порядок этих событий, не связанных причинно, может быть обратным. В частности, если два события являются одновременными в конкретной системе отсчёта, они ''обязательно'' разделяются пространственноподобным интервалом и, следовательно, причинно не связаны друг с другом. То, что одновременность не является абсолютной, а зависит от системы отсчёта наблюдателя, называется [[относительность одновременности]].<ref>{{cite web|last1=Savitt|first1=Steven|title=Being and Becoming in Modern Physics. 3. The Special Theory of Relativity|url=https://plato.stanford.edu/entries/spacetime-bebecome/#Spec|website=The Stanford Encyclopedia of Philosophy|publisher=Metaphysics Research Lab, Stanford University|accessdate=2017-03-26|archive-date=2017-03-11|archive-url=https://web.archive.org/web/20170311015404/https://plato.stanford.edu/entries/spacetime-bebecome/#Spec|deadlink=no}}</ref>

На рис. 2-6 показано использование пространственно-временных диаграмм при анализе относительности одновременности. События в пространстве-времени являются инвариантными, но системы координат преобразуются, как обсуждалось выше для рис. 2-3. Три события {{nowrap|1 = (A, B, C)}} являются одновременными из системы отсчёта наблюдателя, движущегося со скоростью {{nowrap|1 = ''v'' = 0.}} Из системы отсчёта наблюдателя, движущегося со скоростью {{nowrap|1 = ''v'' = 0,3 ''c''}}, события происходят в порядке {{nowrap|1 = C, B, A.}} Из системы отсчёта наблюдателя, движущегося со скоростью {{nowrap|1 = '' v '' = -0.5 '' c ''}}, события происходят в порядке {{nowrap|1 = A, B, C}}. Белая линия представляет собой ''плоскость одновременности'', которая перемещается из прошлого наблюдателя в будущее наблюдателя, выделяя события, находящиеся на ней. Серая область — световой конус наблюдателя, который остаётся неизменным.

Пространственноподобный интервал пространства-времени даёт такое же расстояние, которое наблюдатель мог бы измерить, если измеряемые события были бы одновременными с ним. Таким образом, пространственноподобный интервал пространства-времени обеспечивает меру ''собственного расстояния'', то есть истинного расстояния = <math display="inline">\sqrt{-s^2}.</math> Аналогично, времениподобный промежуток пространства-времени даёт такой же показатель времени, который будет представлен совокупным тиканием часов, которые перемещаются вдоль данной мировой линии. Таким образом, времениподобный интервал пространства-времени обеспечивает меру ''собственного времени'' = <math display="inline">\sqrt{s^2}</math>.<ref name="Schutz"/>{{rp|220–221}}

=== Инвариантная гипербола ===
[[Файл:Spacelike and Timelike Invariant Hyperbolas.png|thumb|330px|Рисунок 2-7. (a) Семейства инвариантных гипербол. (б) Однополостный и двуполостный гиперболоиды]]
В евклидовом пространстве (имеющем только пространственные размеры) множество точек, эквидистантных (с использованием евклидовой метрики) из некоторой точки, образуют круг (в двух измерениях) или сферу (в трёх измерениях). В {{nowrap|(1+1)-мерном}} пространстве-времени Минковского (имеющем одно временное и одно пространственное измерение) точки с постоянным пространственно-временным интервалом от начала координат (с использованием метрики Минковского) образуют кривые, задаваемые двумя уравнениями:

: <math>(ct)^2 - x^2 = \pm s^2\;</math> где <math> s^2\; </math>положительная действительная константа.

Эти уравнения описывают два семейства гипербол на пространственно-временной диаграмме ''x'';''ct'', которые называются ''инвариантными гиперболами''.

На рис. 2-7а каждая пурпурная гипербола соединяет все события, имеющие некоторое фиксированное ''пространственно-подобное'' отделение от начала координат, в то время как зелёные гиперболы связывают события с равным ''времениподобным'' разделением.

На рис. 2-7б показана ситуация в {{nowrap|(1+2)-мерном}} пространстве-времени Минковского (одно временное и два пространственных измерения) с соответствующими гиперболоидами. Каждый ''времениподобный'' интервал образует однополостный [[гиперболоид]], а каждый пространственно-подобный интервал образует двуполостный гиперболоид.

(1+2)-мерная граница между пространственно и времениподобными гиперболоидами, образуется событиями, имеющими нулевой интервал пространства-времени до начала координат, складывающимися при вырождении гиперболоидов в световой конус. В (1+1)-мерном пространстве Минковского гиперболы вырождаются в две серые линии с углами 45°, изображённые на рис. 2-7а.

'''Примечание по обозначениям:''' Пурпурные гиперболы, которые пересекают ось ''х'', называются ''времениподобными'' (в отличие от ''пространственно-подобных'') гипербол, потому что все «расстояния» до начала координат ''вдоль'' гипербол являются времениподобными интервалами. Из-за этого эти гиперболы представляют собой пути, которые могут иметь (постоянно ускоряющиеся) частицы в пространстве-времени: между любыми двумя событиями на одной гиперболе возможно отношение причинности, поскольку обратный наклон -представляющий необходимую скорость- для всех секущих меньше <math>c</math>. С другой стороны, зелёные гиперболы, которые пересекают ось ''ct'', называются ''пространственно-подобными'', так как все интервалы ''вдоль'' этих гипербол являются пространственно-подобными интервалами: никакой причинности нет между любыми двумя точками на одной из этих гипербол, потому что все секущие представляют скорости, превышающие <math>c</math>
{{Clear}}

=== Замедление времени и сокращение длин ===
[[Файл:Spacetime diagram of invariant hyperbola.png|thumb|260px|Рисунок 2-8. Инвариантная гипербола содержит точки, которые могут быть достигнуты из начала координат за одинаковое собственное время часами, движущимися с разной скоростью.]]
На рис. 2-8 показана инвариантная гипербола для всех событий, которые могут быть достигнуты из начала координат за собственное время 5 метров (приблизительно {{val|1.67|e=−8|u=сек}}). Различные мировые линии представляют собой часы, движущиеся с разной скоростью. Часы, которые являются стационарными относительно наблюдателя, имеют вертикальную мировую линию, а время, измеренное наблюдателем, совпадает с собственным временем. Для часов, движущихся со скоростью 0.3''c'', время, измеренное наблюдателем, составляет 5,24 метра ({{val|1.75|e=−8|u=сек}}), а для часов, движущихся со скоростью 0,7''c '', время, измеренное наблюдателем, составляет 7,00 метров ({{val|2.34|e=-8|u=сек}}). Это иллюстрирует явление, известное как ''[[замедление времени]]''. У часов, которые перемещаются быстрее, занимает больше времени (в системе отсчёта наблюдателя), чтобы отсчитать то же самое количество собственного времени, и они перемещаются дальше по оси x, чем они могли бы без замедления времени.<ref name="Schutz"/>{{rp|220–221}} Замедления времени двумя наблюдателями в разных инерциальных системах отсчёта — взаимны. Если наблюдатель O наблюдает часы наблюдателя O' как более медленные в своей системе отсчёта, наблюдатель O' в свою очередь, будет также наблюдать часы наблюдателя O как замедленные.

[[Файл:Animated Spacetime Diagram - Length Contraction.gif|thumb|260px|Рисунок 2-9. На этой пространственно-временной диаграмме движущийся стержень длиной 1 м, измеренный в собственной системе отсчёта, представляет собой укороченное расстояние ''OC'' при проецировании в несобственную систему отсчёта.]]
[[Лоренцево сокращение|сокращение длины]], подобно замедлению времени, является проявлением относительности одновременности. Измерение длины требует измерения интервала пространства-времени между двумя событиями, которые одновременно находятся в одной системе отсчёта. Но события, которые одновременно в одной системе отсчёта, в общем, не являются одновременными в других системах отсчёта.

На рис.2-9 показаны движения метрового стержня, движущегося со скоростью 0,5 ''c'' вдоль оси ''x''. Края синей полосы представляют собой мировые линии двух крайних точек стержня. Инвариантная гипербола иллюстрирует события, отделённые от начала координат пространственноподобным интервалом в 1 м. Конечные точки O и B, измеренные при ''t' ''= 0, являются одновременными событиями в системе отсчёта S'. Но для наблюдателя в системе отсчёта S события O и B не являются одновременными. Чтобы измерить длину, наблюдатель в системе отсчёта S измеряет конечные точки стержня, проецируемого на ось ''x'' по их мировым линиям. Проекция «всемирного листа» стержня на ось ''x'' даёт укороченную длину OC.<ref name="Collier"/>{{rp|125}}

(не показано). Рисование вертикальной линии через А так, чтобы она пересекалось с осью ''х' '', демонстрирует, что, даже когда ОВ укорочено с точки зрения наблюдателя О, ОА также укорочено с точки зрения наблюдателя O'. Точно так же, как каждый наблюдатель наблюдает часы другого как более медленные, каждый наблюдатель наблюдает линейки другого как укороченные.

=== Взаимное замедление времени и парадокс близнецов ===
{{main|Парадокс_близнецов}}

==== Взаимное замедление времени ====
Взаимное замедление времени и сокращение длины имеют тенденцию запутывать новичков как бы своей противоречивой концепцией. Непонимание состоит в том, что если наблюдатель A наблюдает часы наблюдателя B замедленными, просто потому, что B движется со скоростью ''v'' по отношению к A, тогда принцип относительности требует, чтобы наблюдатель B также наблюдал часы A как замедленные. Это важный вопрос, который «лежит в основе понимания специальной теории относительности».<ref name="Schutz"/>{{rp|198}}

В целом, A и B выполняют два разных измерения.

Чтобы измерить скорость тикания одних из часов B, A должен использовать ''двое'' своих собственных часов, первые для записи времени, когда часы B сначала отмечены ''в первом местоположении B'', и вторые, чтобы записать время ''в другом местоположении B''. Наблюдателю A требуется двое часов, потому что B движется, поэтому в измерениях задействовано всего трое часов. Двое часов A должны быть синхронизированы в системе отсчёта A. Напротив, B требует двух синхронизированных часов в ''своей'' системе отсчёта для записи показаний часов A в двух разных местах. Следовательно, A и B выполняют свои измерения с различными наборами из трёх показаний каждый. Поскольку они не выполняют измерение с одним набором часов, то нет необходимости в том, чтобы измерения были взаимно «согласованными», когда один наблюдатель наблюдал бы часы второго замедленными, а второй наблюдатель наблюдал бы ускоренные часы первого.<ref name="Schutz"/>{{rp|198–199}}

Что касается сокращения взаимной длины, рис. 2-9 иллюстрирует, что собственные и несобственные системы отсчёта взаимно повёрнуты на {{не переведено 3|гиперболический угол|гиперболический угол|en|Hyperbolic_angle}} (аналогично обычным углам в евклидовой геометрии).<ref group=note>В прямоугольной системе координат обычное вращение оставляет круг неизменным. В пространстве-времени гиперболическое вращение сохраняет {{не переведено 3|Гиперболическое многообразие|гиперболическую метрику|en|Hyperbolic manifold}}.</ref> Из-за этого вращения проекция собственной метровой метки на не собственную ось x укорочена, а проекция несобственной метровой метки на собственную x'-ось также укорочена.

[[Файл:Spacetime Diagrams of Mutual Time Dilation.gif|thumb|300px|Рисунок 2-10. Взаимное замедление]]
Рисунок 2-10 усиливает предыдущие рассуждения о взаимном замедлении времени. На этом рисунке события A и C отделены от события O равными времениподобными интервалами. Из несобственной системы отсчёта события A и B измеряются как одновременные, но для несобственного наблюдателя прошло больше времени, чем для собственного. В собственной системе отсчёта события C и D измеряются как одновременные, но для собственного наблюдателя прошло больше времени, чем для несобственного. Каждый наблюдатель измеряет часы другого наблюдателя как замедленные.<ref name="Collier"/>{{rp|124}}

Обратите внимание на важность слова «измерять». Состояние движения наблюдателя не может влиять на наблюдаемый объект, но оно ''может'' влиять на ''измерения'' объекта.

На рис.2-10 каждая линия, проходящая параллельно оси ''x'', представляет собой линию одновременности для несобственного наблюдателя. Все события на этой линии имеют одинаковое значение времени ''ct''. Аналогично, каждая линия, проведённая параллельно оси ''x' '', представляет собой линию одновременности для собственного наблюдателя. Все события на этой линии имеют одинаковое значение времени ''ct' ''.

==== Парадокс близнецов ====
Элементарные введения в специальную теорию относительности часто иллюстрируют различия между галилеевой относительностью и специальной теорией относительности, создавая ряд предполагаемых «парадоксов». Все парадоксы в действительности представляют собой просто неправильные или непонятые проблемы, вызванные нашей незнакомостью со скоростями, сравнимыми со скоростью света. Выходом является решение многих задач в специальной теории относительности и ознакомление с её так называемыми контр-интуитивными предсказаниями. Геометрический подход к изучению пространства-времени считается одним из лучших методов развития современной интуиции.<ref name="Schutz1985">{{книга |заглавие=A first course in general relativity |издательство=[[Издательство Кембриджского университета|Cambridge University Press]] |место=Cambridge, UK |isbn=0521277035 |страницы=26 |автор=Schutz, Bernard F. |год=1985 }}</ref>

[[Парадокс близнецов]] — [[мысленный эксперимент]], включающий идентичных близнецов, один из которых совершает путешествие в космос на скоростной ракете, возвращаясь домой, чтобы обнаружить, что близнец, который остался на Земле, постарел больше, чем он сам. Этот результат кажется странным, потому что каждый близнец наблюдает за другим близнецом как движущимся, и поэтому на первый взгляд кажется, что каждый должен обнаружить другого в более молодом возрасте. Парадокс близнецов уклоняется от обоснования взаимного замедления времени, представленного выше, избегая требования третьих часов.<ref name="Schutz"/>{{rp|207}} Тем не менее, «парадокс близнецов» не является истинным парадоксом, потому что его легко понять в контексте специальной теории относительности.

Такое впечатление, что парадокс существует из-за непонимания того, о чём говорит специальная теория относительности. Специальная теория относительности объявляет не все системы отсчёта эквивалентными, а только инерциальные. Система отсчёта движущегося близнеца не является инерционной в моменты, когда он ускоряется. Различие же между близнецами в наблюдаемом мире заключается во включении двигателей ракеты путешествующим близнецом, для того, чтобы вернуться домой, в то время как близнец-домосед ничего не делает.<ref name="Weiss"/>

[[Файл:Introductory Physics fig 4.9.png|thumb|250px|Рисунок 2-11. Пространственно-временное объяснение парадокса близнецов. Чёрная вертикальная линия — мировая линия близнеца-домоседа. Красная изогнутая линия — мировая линия путешественника]]
Необходим более глубокий анализ, прежде чем мы сможем понять, почему эти различия должны приводить к различию в возрасте близнецов. Рассмотрим диаграмму пространства-времени на рис. 2-11. Она представляет собой простой случай, когда близнец движется прямо по оси х и сразу поворачивает назад. С точки зрения близнеца-домоседа, нет ничего сложного в парадоксе близнецов. Собственное время, измеренное вдоль мировой линии путешествующего двойника от O до C, плюс собственное время, измеренное от C до B, меньше, чем собственное время пребывания близнеца, измеренное от O через A до B. Более сложные траектории требуют интегрирования собственного времени между соответствующими событиями вдоль кривой (то есть [[Криволинейный интеграл]]), чтобы вычислить общее количество времени, затрачиваемого путешествующим двойником.<ref name="Weiss">{{cite web |last1=Weiss |first1=Michael |title=The Twin Paradox |url=http://math.ucr.edu/home/baez/physics/Relativity/SR/TwinParadox/twin_paradox.html |website=The Physics and Relativity FAQ |accessdate=2017-04-10 |archive-date=2017-04-27 |archive-url=https://web.archive.org/web/20170427202915/http://www.math.ucr.edu/home/baez/physics/Relativity/SR/TwinParadox/twin_paradox.html |deadlink=no }}</ref>

Осложнения возникают, если парадокс двойника анализируется с точки зрения движущегося двойника.

Для остальной части этого обсуждения мы принимаем номенклатуру Вайса, обозначающую близнеца-домоседа, как Теренс, и путешествующего близнеца, как Стелла.<ref name="Weiss"/>

Ранее мы отмечали, что Стелла не находится в инерциальной системе отсчёта. Учитывая этот факт, иногда утверждается, что полное разрешение двойного парадокса требует общей теории относительности. Это неверно.<ref name="Weiss"/>

Анализ с использованием только СТО был бы следующим: в системе отсчёта Стеллы она сама неподвижна в течение всего путешествия. Когда она активирует двигатели ракеты для разворота, она испытывает псевдосилу, которая похожа на гравитационную силу.<ref name="Weiss"/> Рис. 2-6 и 2-11 иллюстрируют понятие линий (плоскостей) одновременности: линии, параллельные оси x наблюдателя (плоскости xy), представляют собой совокупности событий, которые одновременны в системе отсчёта этого наблюдателя. На рис. 2-11 синие линии соединяют события на мировой линии Теренца, которые ''с точки зрения Стеллы'' одновременны с событиями на её мировой линии. (Теренс, в свою очередь, будет наблюдать набор горизонтальных линий одновременности.) На протяжении как удаляющейся так и приближающейся частей пути Стеллы она измеряет часы Теренса как идущие более медленно, чем её собственные. ''Но во время поворота'' (то есть между жирными синими линиями на рисунке) происходит изменение угла её линий одновременности, что соответствует быстрому пропуску событий на мировой линии Теренса, которые Стелла считает одновременными с ней. Поэтому, по окончании поездки, Стелла считает, что Теренс имеет возраст больше, чем она.<ref name="Weiss"/>

Хотя общая теория относительности ''не требуется'' для анализа парадокса двойника, применение [[Принцип эквивалентности сил гравитации и инерции|принципа эквивалентности]] общей теории относительности действительно даёт некоторое дополнительное представление о предмете. Ранее мы отмечали, что Стелла не неподвижна в инерциальной системе отсчёта. В своей покоящейся системе отсчёта Стелла неподвижна в течение всей поездки. Пока она движется равномерно, её система отсчёта становится инерциальной, и часы Теренса будут замедленными. Но когда она активирует двигатели ракеты для поворота, её система отсчёта является ускоренной, и она испытывает силу, которая толкает её так, как если бы она находилась в гравитационном поле. Теренс будет находится как бы на высоте в этом поле и из-за [[гравитационное замедление времени|гравитационного замедления времени]], его часы будут идти быстрее настолько, что в конечном результате Теренсу будет больше лет, чем Стелле, когда они снова встретятся.<ref name="Weiss"/> Как будет обсуждаться далее, теоретические аргументы, предсказывающие гравитационное замедление времени, не являются исключительными для общей теории относительности. ''Любая'' теория гравитации будет предсказывать гравитационное замедление времени, если она соблюдает принцип эквивалентности, включая теорию Ньютона.<ref name="Schutz"/>{{rp|16}}

=== Гравитация ===
<!-- Примечание для будущих редакторов!!! Этот раздел предназначен для лёгкого ознакомления с пространством-временем. До предела того, что возможно, избегайте математики. Если вы хотите поделиться своими знаниями о некоторых технических материалах, внесите свой вклад в один из последующих разделов этой статьи, а не здесь. Мы должны стремиться к тому, чтобы это введение было понятным для основной целевой аудитории, которые не обладают глубокими знаниями математики. -->

В этом вводном разделе основное внимание было сосредоточено на пространстве-времени специальной теории относительности, поскольку она проще. Пространство времени Минковского плоское, не учитывает гравитацию, повсюду однородное и служит не более чем статическим фоном для событий, происходящих в нём. Наличие гравитации значительно усложняет описание пространства-времени. В общей теории относительности пространство-время больше не является статическим фоном, но активно взаимодействует с физическими системами, которые оно содержит. Кривизна пространства-времени в присутствии материи может распространять волны, изгибать путь света и проявляться во множество других явлений<ref name="Schutz"/>{{rp|221}} Некоторые из этих явлений описаны в последующих разделах этой статьи.

== Основы математики пространства-времени ==

=== Преобразования Галилея ===
<!-- Примечание для будущих редакторов !!! Раздел «Основы математики пространства-времени» призван обеспечить мягкое введение в математику пространства-времени. До предела возможного, придерживайтесь базовой алгебры. Если вы хотите поделиться своими знаниями о некоторых технических материалах, внесите свой вклад в один из последующих разделов этой статьи, а не здесь. Мы должны стремиться к тому, чтобы эта секция была понятна основной целевой аудитории, обладающей знаниями из средней школы. -->
[[Файл:Galilean Spacetime and composition of velocities.svg|thumb|250px|Рисунок 3-1. Пространство-время '''Галилея''' и сложение скоростей.]]
Основная цель состоит в том, чтобы иметь возможность сравнивать измерения, сделанные наблюдателями, которые находятся в движении относительно друг друга. Скажем, у нас есть наблюдатель O в системе отсчёта S, который измерил временные и пространственные координаты события, присвоив этому событию три декартовых координаты и время, измеренное на его решётке синхронизированных часов {{nowrap|1=(''x'', ''y'', ''z'', ''t'')}} (см. Рисунок 1-1). Второй наблюдатель O' в другой системе отсчёта S' измеряет то же самое событие в ''его'' системе координат и ''его'' решётке синхронизированных часов {{nowrap|1=(''x' '', ''y' '', ''z' '', ''t' '')}}. Поскольку мы имеем дело с инерциальными системами отсчёта, не один наблюдатель не находится под действием ускорения. Простой набор уравнений позволяет связать координаты {{nowrap|1=(''x'', ''y'', ''z'', ''t'')}} с {{nowrap|1=(''x' '', ''y' '', ''z' '', ''t' '')}}. Учитывая, что две системы координат находятся в стандартной конфигурации, что означает, что они выровнены параллельно координатам {{nowrap|1=(''x'', ''y'', ''z'')}} и что {{nowrap|1=''t'' = 0}}, когда {{nowrap|1=''t' '' = 0}}, преобразование координат выглядит следующим образом:<ref>{{книга |заглавие=Basic Relativity |издательство=Springer |isbn=9780387952109 |страницы=42 |издание=1st |ссылка=https://books.google.com/books?id=lfGE-wyJYIUC&pg=PA42 |автор=Mould, Richard A. |год=1994 }}</ref><ref>{{книга |заглавие=Physics for Scientists and Engineers, Volume 2 |издательство=Jones & Bartlett Pub |isbn=9780763704605 |страницы=1047 |издание=1st |ссылка=https://books.google.com/books?id=B8K_ym9rS6UC&pg=PA1047 |язык=en |автор=Lerner, Lawrence S. |год=1997}}</ref>
: <math>x' = x - v t </math>
: <math>y' = y </math>
: <math>z' = z </math>
: <math>t' = t .</math>

На рисунке 3-1 показано, что в теории Ньютона время является универсальным.<ref name="Bais"/>{{rp|36-37}} Рассмотрим следующий мысленный эксперимент: красная стрелка иллюстрирует поезд, который движется 0,4с относительно платформы. В поезде пассажир стреляет пулей со скоростью 0,4c в системе отсчёта поезда. Синяя стрелка иллюстрирует, что человек, стоящий на железнодорожных путях, измеряет скорость пули 0,8с. Это соответствует нашим наивным ожиданиям.

В более общем плане предположим, что система отсчёта S' движется со скоростью ''v'' относительно системы отсчёта S. В пределах системы S' наблюдатель O' измеряет объект, движущийся со скоростью ''u' ''. Какова его скорость ''u'' по отношению к системе S? Поскольку {{nowrap|1=''x'' = ''ut''}}, {{nowrap|1=''x' '' = ''x'' − ''vt''}}, и {{nowrap|1=''t'' = ''t' ''}}, мы можем написать {{nowrap|1=''x' '' = ''ut'' − ''vt''}} = {{nowrap|1=(''u'' − ''v'')''t''}} = {{nowrap|1=(''u'' − ''v'')''t' ''}}. Это приводит к {{nowrap|1=''u' '' = ''x' ''/''t' ''}} и в конечном счёте
: <math>u' = u - v</math> или <math>u = u' + v ,</math>

которое является обычным '''галилеевым законом сложения скоростей'''.

=== Релятивистский закон сложения скоростей ===
{{main|Сложение скоростей}}
[[Файл:Relativistic composition of velocities.svg|thumb|330px|Рисунок 3-2. Релятивистское сложение скоростей]]
Сложение скоростей в релятивистском пространстве-времени сильно отличается от классического. Чтобы немного уменьшить сложность уравнений, введём сокращение для отношения скорости объекта относительно скорости света,

: <math>\beta = v/c</math>

На рисунке 3-2а показан красный поезд, который движется вперёд со скоростью, определяемой как {{nowrap|1=''v''/''c'' = ''β'' = ''s''/''a''}}. В системе отсчёта поезда пассажир стреляет пулей со скоростью {{nowrap|1=''u' ''/''c'' = ''β' '' = ''n''/''m''}}, где расстояние измеряется вдоль линии, параллельной красной оси ''x' '', а не чёрной ''x''. Какова составная скорость ''u'' пули, представленная синей стрелкой, относительно платформы? Обращаясь к рис. 3-2b:
# С платформы составная скорость пули определяется как {{nowrap|1=''u'' = ''c''(''s'' + ''r'')/(''a'' + ''b'')}}.
# Два жёлтых треугольника [[Признаки подобия треугольников|подобны]], потому что они являются прямоугольными треугольниками, которые имеют общий угол ''α''. В большом жёлтом треугольнике отношение {{nowrap|1=''s''/''a'' = ''v''/''c'' = ''β''}}.
# Соотношения соответствующих сторон двух жёлтых треугольников постоянны, так что {{nowrap|1=''r''/''a'' = ''b''/''s''}} = {{nowrap|1=''n''/''m'' = ''β' ''}}. Тогда {{nowrap|1=''b'' = ''u' '' ''s''/''c''}} и {{nowrap|1=''r'' = ''u' '' ''a''/''c''}}.
# Подставим выражения для ''b'' и ''r'' в выражение для ''u'' в шаге 1, чтобы получить формулу Эйнштейна для сложения скоростей:<ref name="Bais">{{книга |заглавие=Very Special Relativity: An Illustrated Guide |ссылка=https://archive.org/details/veryspecialrelat0000bais |издательство=[[Издательство Гарвардского университета|Harvard University Press]] |место=Cambridge, Massachusetts |isbn=067402611X |язык=en |автор=Bais, Sander |год=2007}}</ref>{{rp|42–48}}

:: <math> u = {v+u'\over 1+(vu'/c^2)} . </math>

Релятивистская формула для сложения скоростей, представленная выше, демонстрирует несколько важных свойств:
* Если ''u' '' и ''v'' очень малы по сравнению со скоростью света, то произведение ''vu' ''/''c''<sup>2</sup> становится исчезающе малым, и общий результат становится неотличимым от формулы Галилея (формула Ньютона) для сложения скоростей: ''u'' = ''u' '' + ''v''. Формула Галилея является частным случаем релятивистской формулы, применимой к малым скоростям.
* Если ''u' '' задано равным ''c'', то формула даёт ''u'' = ''c'' независимо от стартового значения ''v''. Скорость света одинакова для всех наблюдателей, независимо от их движения относительно источника излучения.<ref name="Bais"/>{{rp|49}}

=== Ещё раз про замедление времени и сокращение длин ===
{{main|Релятивистское замедление времени|Лоренцево сокращение}}
[[Файл:Spacetime Diagrams Illustrating Time Dilation and Length Contraction.png|thumb|330px|Рисунок 3-3. Пространственно-временные диаграммы, иллюстрирующие замедление времени и сокращение длины]]
Ранее мы качественно обсуждали замедление времени и сокращение длины. Для этих эффектов легко получить количественные выражения. Рис.3-3 представляет собой составное изображение, содержащее отдельные системы отсчёта, взятые из двух предыдущих анимаций, упрощённых и повторно обозначенных для целей настоящего раздела.

Чтобы немного уменьшить сложность уравнений, в литературе встречается множество различных сокращённых обозначений для ''ct'' :

: Общепринятые <math>\Tau = ct</math> и <math>w = ct</math>.
: Также очень часто встречается использование соглашения <math>c = 1.</math>

[[Файл:Lorentz factor.svg|thumb|250px|Рисунок 3-4. Лоренц-фактор как функция скорости]]
На рис.3-3а сегменты ''ОА'' и ''ОК'' представляют собой равные интервалы времени. Замедление времени представлено отношением ''OB''/''OK''. Инвариантная гипербола имеет уравнение <math>w = \sqrt{x^2 + k^2}</math> где ''k'' = ''OK'', а красная строка, представляющая мировую линию частицы в движении имеет уравнение ''w'' = ''x''/''β'' = '' xc''/''v''. Немного алгебраической преобразований дают <math display="inline">OB = OK / \sqrt{1 - v^2/c^2} .</math>

Выражение, содержащее символ квадратного корня, очень часто встречается в теории относительности, а единица делённая на выражение называется коэффициентом Лоренца, обозначаемым греческой буквой гамма <math>\gamma</math>:<ref name=Forshaw>{{книга |заглавие=Dynamics and Relativity |издательство=[[John Wiley & Sons|John Wiley & Sons]] |isbn=9781118933299 |страницы=118 |ссылка=https://books.google.com/books?id=5TaiAwAAQBAJ |язык=en |автор=Forshaw, Jeffrey; Smith, Gavin |год=2014}}</ref>
: <math>\gamma = \frac{1}{\sqrt{1 - v^2/c^2}} = \frac{1}{\sqrt{1 - \beta^2}} </math>

Заметим, что если ''v'' больше или равно ''c'', выражение для <math>\gamma</math> становится физически бессмысленным, подразумевая, что ''c'' — максимально возможная скорость в природе. Далее отметим, что для любого ''v'' больше нуля коэффициент Лоренца будет больше одного, хотя форма кривой такова, что для низких скоростей коэффициент Лоренца очень близок к единице.

На рис.3-3b сегменты ''OA'' и ''OK'' представляют собой равные пространственно-временные интервалы. Сокращение длины представлено отношением ''OB''/''OK''. Инвариантная гипербола умеет уравнение <math>w = \sqrt{x^2 + k^2}</math>, где ''k'' = ''OK'', и края синей полосы, представляющие мировые линии конечных точек стержня в движении, имеют наклон 1/''β'' = ''c''/''v''. Событие A имеет координаты
(''x'', ''w'') = (''γk'', ''γβk''). Так как касательная линия через A и B имеет уравнение ''w'' = (''x'' − ''OB'')/''β'', получаем ''γβk'' = (''γk'' − ''OB'')/''β'' и
: <math>OB/OK = \gamma (1 - \beta ^ 2) = \frac{1}{\gamma}</math>

=== Преобразования Лоренца ===
{{main|Преобразования Лоренца|Группа Лоренца}}
Галилеевские преобразования и их последовательный закон суммирования скоростей хорошо работают в нашем обычном низкоскоростном мире самолётов, автомобилей и шаров. Однако начиная с середины 1800-х годов чувствительная научная аппаратура начала обнаруживать аномалии, которые не соответствовали обычным прибавлениям скоростей.

В специальной теории относительности чтобы преобразовать координаты события из одной системы отсчёта в другую, мы используем преобразования Лоренца.

Прямые преобразования Лоренца:
: <math>\begin{align}
  t' &= \gamma \left( t - \frac{v x}{c^2} \right)  \\ 
  x' &= \gamma \left( x - v t \right)\\
  y' &= y \\ 
  z' &= z
\end{align}</math>

Обратные преобразования Лоренца:
: <math>\begin{align}
  t &= \gamma \left( t' + \frac{v x'}{c^2} \right)  \\ 
  x &= \gamma \left( x' + v t' \right)\\
  y &= y' \\ 
  z &= z'
\end{align}</math>

Когда ''v'' ≪ ''c'' и ''x'' достаточно мало, ''v''<sup>2</sup>/c<sup>2</sup> и ''vx''/''c''<sup>2</sup> стремятся к нулю, а преобразования Лоренца приближаются к преобразованиям Галилея.

Как отмечалось ранее, когда мы пишем <math>t' = \gamma ( t - v x/c^2),</math> <math>x' = \gamma( x - v t) </math> и т. д., мы чаще всего ''действительно'' имеем в виду <math>\Delta t' = \gamma (\Delta t - v \Delta x/c^2),</math> <math>\Delta x' = \gamma(\Delta x - v \Delta t) </math> и т. д. Хотя для краткости мы пишем уравнения преобразования Лоренца без дельт, следует понимать, что ''х'' означает Δ''x'' и т. Д. Мы, как правило, всегда интересуемся промежутками пространства и времени между событиями.

'''Замечание об обозначениях:''' Названия одного набора преобразований прямыми преобразованиями Лоренца, а другой — обратными преобразованиями, может вводить в заблуждение, поскольку между системами отсчёта нет существенной разницы. Различные авторы называют ''обратными'' один или другой набор преобразований. Прямые и обратные преобразования тривиально связаны друг с другом, поскольку система отсчёта ''S'' может двигаться только вперёд или назад относительно ''S' ''. Поэтому инвертирование уравнений просто влечёт за собой переключение собственных и несобственных переменных и замену ''v'' на -''v''.<ref name="Morin"/>{{rp|71–79}}

<small>'''Пример:''' Теренс и Стелла находятся на космической гонке «Земля-Марс». Теренс является официальным лицом на стартовой линии, а Стелла — участником. В момент времени {{nowrap|1=''t'' = ''t' '' = 0}} космический корабль Стеллы мгновенно ускоряется со скоростью 0.5 ''c''. Расстояние от Земли до Марса составляет 300 световых секунд (около {{val | 90.0 | e = 6 | u = км}}). Теренс наблюдает, как Стелла пересекает часы финишной линии на ''t'' = 600.00 с. Но Стелла отмечает, что, когда она проходит финишную черту, время на хронометре её корабля {{nowrap|1=''t' '' =}} {{nowrap|1=<math>\gamma</math>(t − vx/c<sup>2</sup>)}} = 519.62 с, и она получает расстояние между начальными и конечными линиями в своей системе отсчёта 259,81 световых секунд (около {{val|77.9|e=6|u=км}}).</small>

==== Вывод преобразований Лоренца ====
[[Файл:Derivation of Lorentz Transformation.svg|thumb|250px|Рисунок 3-5. Вывод преобразования Лоренца]]
Было много десятков [[Вывод преобразований Лоренца|выводов преобразований Лоренца]] после оригинальной работы Эйнштейна в 1905 году, каждая из которых фокусировалась на чём то своём. Хотя вывод Эйнштейна основывался на неизменности скорости света, существуют и другие физические принципы, которые могут служить отправными точками для вывода преобразований. В конечном счёте, этими альтернативными отправными точками можно считать разные выражения лежащего в основе [[Принцип локальности|принципа локальности]], в котором говорится, что влияние, которое одна частица оказывает на другое, не может передаваться мгновенно.<ref>{{книга |заглавие=The Classical Theory of Fields, Course of Theoretical Physics, Volume 2 |издательство=[[Elsevier]] |место=Amsterdam |isbn=9780750627689 |страницы=1—24 |издание=4th |язык=en |автор=Landau, L. D.; Lifshitz, E. M. |год=2006}}</ref>

Вывод, приведённый здесь и проиллюстрированный на рис. 3-5, основан на одном из выводов представленных Байсом<ref name="Bais"/>{{rp|64–66}} и использует предыдущие результаты из релятивистских сложения скоростей, замедления времени и сокращения длин. Событие P имеет координаты (''w'', ''x'') в чёрной «системе покоя» и координаты (''w' '' и ''x' '') в красной системе отсчёта, которая движется с параметром скорости ''β'' = ''v''/''c''. Как мы определяем ''w' '' и ''x ''' в терминах ''w'' и ''x''? (Или наоборот)

Вначале легче получить ''обратное'' преобразование Лоренца.
# Начнём с того, что не может быть такого понятия, как увеличение/уменьшение длины в поперечных направлениях. ''y' '' должно равняться ''y'', а ''z' '' должно быть равно ''z'', в противном случае, возможность быстро движущемуся 1 м шарику пройти через 1 м круглое отверстие зависело бы от наблюдателя. В первом постулате относительности утверждается, что все инерциальные системы отсчёта эквивалентны, а поперечное увеличение/уменьшение нарушало бы этот закон.<ref name="Morin">{{книга |заглавие=Special Relativity for the Enthusiastic Beginner |издательство={{Нп3|CreateSpace|CreateSpace Independent Publishing Platform|en|CreateSpace}} |isbn=9781542323512 |язык=en |автор=Morin, David |год=2017}}</ref>{{rp|27–28}}
# Из рисунка, ''w'' = ''a'' + ''b'' и ''x'' = ''r'' + ''s''
# Из предыдущих результатов, используя подобные треугольники, мы знаем, что ''s''/''a'' = ''b''/''r'' = ''v''/''c'' = ''β''.
# Мы знаем, что из-за замедления времени, ''a'' = ''γ''w' ''
# Подставляя уравнение (4) в ''s''/''a'' = ''β'' получаем ''s'' = ''γw'β''.
# Сокращение длины и подобные треугольники дают нам ''r'' = ''γx' '' и ''b'' = ''βr'' = ''βγ''x' ''
# Подставляя выражения для ''s'', ''a'', ''r'' and ''b'' в уравнения в шаге 2, сразу получаем
#: <math>w = \gamma w' + \beta \gamma x' </math>
#: <math>x = \gamma x' + \beta \gamma w' </math>

Вышеприведённые уравнения являются альтернативными выражениями для t и x уравнений обратного преобразования Лоренца, как видно из подстановки ''ct'' для ''w'', ''ct' '' для ''W' '' и ''v''/''c'' для ''β''. Из обратного преобразования уравнения прямого преобразования могут быть получены путём разрешения для ''t' '' и ''x' ''.

==== Линейность преобразований Лоренца ====
Преобразования Лоренца имеют математическое свойство, называемое линейностью, так как ''x' '' и ''t' '' получаются в виде линейных комбинаций ''x'' и ''t'', без участия более высоких степеней. Линейность преобразования отражает фундаментальное свойство пространства-времени, которое мы молчаливо предполагали при выполнении вывода, а именно, что свойства инерциальных систем отсчёта не зависят от местоположения и времени. В отсутствие гравитации пространство-время выглядит везде одинаково.<ref name="Bais"/>{{rp|67}} Все инерциальные наблюдатели согласятся с тем, что представляет собой ускоренное и не ускоренное движение.<ref name="Morin"/>{{rp|72–73}} Любой наблюдатель может использовать собственные измерения пространства и времени, но в них нет ничего абсолютного.<ref name="Schutz"/>{{rp|190}}

Результатом линейности является то, что если два преобразования Лоренца применяются последовательно, то результат также будет являться преобразованием Лоренца.

<small> '''Пример:''' Теренс наблюдает, что Стелла улетает от него со скоростью 0,500 c, и он может использовать преобразования Лоренца с ''β'' = 0,500, чтобы связать свои измерения с измерениями Стеллы. Стелла в своей системе отсчёта наблюдает, как Урсула улетает от неё на скорости 0.250 c, и она может использовать преобразования Лоренца с ''β'' = 0,250, чтобы связать измерения Урсулы с её собственными. Из-за линейности преобразований и релятивистского сложения скоростей Теренс может использовать преобразования Лоренца с ''β'' = 0,666, чтобы связать измерения Урсулы с его собственным.</small>

=== Эффект Доплера ===
{{main|Эффект Доплера|{{не переведено 3|Релятивисткий эффект доплера|Релятивисткий эффект доплера|en|Relativistic_Doppler_effect}}}}
Эффект Доплера — изменение частоты или длины волны для движущихся относительно друг друга источника и приёмника. Для простоты рассмотрим здесь два основных случая: (1) Движения источника и/или приёмника находятся точно вдоль линии, их соединяющей (продольный эффект Допплера), и (2) движения находятся под прямым углом к указанной линии (поперечный эффект Допплера). Мы игнорируем случаи, в которых они перемещаются по промежуточным углам.

==== Продольный эффект Доплера ====
[[Файл:Spacetime Diagram of Relativistic Doppler Effect.svg|thumb|250px|Рисунок 3-6. Пространственно-временная диаграмма релятивистского эффекта Допплера]]
Классический допплеровский анализ имеет дело с волнами, распространяющимися в среде, такими как звуковые волны или рябь воды, и которые передаются между источниками и приёмниками, когда они движутся в направлении или друг от друга. Анализ таких волн зависит от того, движутся ли источник, приёмник или оба относительно среды. Для случая, в котором приёмник является стационарным по отношению к среде, а источник удаляется непосредственно от приёмника со скоростью ''v<sub>s</sub>'' для параметра скорости ''β<sub>s</sub>'', длина волны увеличивается, а наблюдаемая частота ''f'' задаётся формулой
: <math>f = \frac{1}{1+\beta _s}f_0</math>

С другой стороны, для случая, когда источник неподвижен, а приёмник движется прямо от источника со скоростью ''v<sub>r</sub>'' для параметра скорости ''β<sub>r</sub>'', длина волны ''не изменяется'', но скорость передачи волн относительно приёмника уменьшается, а наблюдаемая частота ''f'' задаётся выражением
: <math>f = (1-\beta _r)f_0</math>

Свет, в отличие от звуковой или водяной ряби, не распространяется через среду, и нет никакого различия между источником, удаляющимся от приёмника или приёмника, удаляющимся от источника. Рис.3-6 иллюстрирует релятивистскую пространственно-временную диаграмму, показывающую источник, отдаляющийся от приёмника с параметром скорости ''β'', так что разделение между источником и приёмником в момент времени ''w'' равно ''βw''. Из-за замедления времени ''w = γw' ''. Поскольку угловой коэффициент зелёного луча света равен −1,T = ''w+βw'' = ''γw{{'}}''(1''+β''). Следовательно, релятивистский эффект Допплера даётся выражением<ref name="Bais"/>{{rp|58–59}}
:: <math>f = \sqrt{\frac{1 - \beta}{1 + \beta}}\,f_0.</math>

==== Поперечный эффект Доплера ====
[[Файл:Transverse Doppler effect scenarios.svg|thumb|250px|Рисунок 3-7. Сценарии эффекта поперечного эффекта Доплера]]
Предположим, что источник, движущийся по прямой, находится в самой близкой точке к приёмнику. Казалось бы, классический анализ предсказывает, что приёмник не обнаруживает допплеровского сдвига. Из-за тонкостей в анализе это предположение не обязательно верно. Тем не менее, при соответствующем определении, поперечный допплеровский сдвиг является релятивистским эффектом, который не имеет классического аналога. Этими тонкостями являются следующие:<ref name="Morin"/>{{rp|94–96}}
{{Plainlist |
* Рисунок 3-7а. Если источник, движущийся по прямой линии, пересекает поле зрения приёмника, каков результат измерение частоты, когда источник находится ближе всего к приёмнику?
* Рисунок 3-7b. Если источник движется по прямой линии, каков результат измерение частоты, когда приёмник ''видит'' источник в самом близком положении к нему?
* Рисунок 3-7с. Если приёмник движется по кругу вокруг источника, какую частоту измеряет приёмник?
* Рисунок 3-7d. Если источник перемещается по кругу вокруг приёмника, какую частоту измеряет приёмник?
}}
В сценарии (a), когда источник ближе всего к приёмнику, свет, попадающий на приёмник, фактически идёт из направления, в котором источник был некоторое время назад, и имеет значительную продольную компоненту, усложняя анализ из системы отсчёта приёмника. Проще сделать анализ из S', системы отсчёта источника. Точка максимального приближения является независимой от системы отсчёта и представляет собой момент, когда нет никакого изменения расстояния со временем (то есть dr/dt = 0, где r — расстояние между приёмником и источником) и, следовательно, никакого продольного допплеровского сдвига. Источник наблюдает приёмник как освещённый светом частоты ''f' '' и имеющий замедленные часы. Следовательно в системе отсчёта S приёмник освещён светом, имеющим синее смещение
: <math>f = f' / \gamma = f' \sqrt { 1 - \beta ^2  }</math>

Сценарий (b) лучше всего анализировать из S, системы отсчёта приёмника. На рисунке показано, что приёмник освещён светом, когда источник был ближе всего к приёмнику, хотя источник уже переместился. Поскольку часы источника замедлены, и dr/dt в этот момент равно нулю, свет от источника, испущенный из этой ближайшей точки, имеет красное смещение
: <math>f = f' / \gamma = f' \sqrt { 1 - \beta ^2  }</math>

Сценарии (c) и (d) могут быть проанализированы с помощью простых аргументов замедления времени. В (c) приёмник наблюдает свет от источника как имеющий синее смещение с коэффициентом <math>\gamma</math>, а в (d) как имеющий красное смещение. Единственная кажущаяся сложность состоит в том, что объекты имеют орбитальное движение и, соответственно, имеют ускорения. Однако с точки зрения инерциального наблюдателя при вычислении замедления времени важна только мгновенная скорость часов. (Однако, обратное неверно.)<ref name="Morin"/>{{rp|94–96}} Большинство сообщений о поперечном допплеровском сдвиге относятся к эффекту красного смещения и анализируют эффект с точки зрения сценариев (b) или (d).<ref group=note> Но не все эксперименты характеризуют эффект с точки зрения красного смещения. Например, был выбран {{нп3|эксперимент Айвса — Стилвелла|эксперимент Айвса—Стилвелла|en|Ives–Stilwell experiment}} для измерения поперечного синего смещения с использованием установки Мессбауэра в центре ротора центрифуги и приемника на ободе.</ref>

=== Энергия и импульс ===
{{main|Четырёхимпульс|Импульс|Эквивалентность массы и энергии}}

==== Расширение импульса до четырёх измерений ====
[[Файл:Relativistic spacetime momentum vector.svg|thumb|350px|Рисунок 3-8. Вектор релятивистского импульса в пространстве-времени]]
В классической механике состояние движения частицы характеризуется её массой и её скоростью. [[Импульс]], как произведение массы и скорости частицы, является [[Вектор (геометрия)|векторной]] величиной, обладающей тем же направлением, что и скорость: '''''p''''' = ''m'''v'''''. Это ''консервативная'' величина, что означает, что если на [[Закрытая система (физика)|закрытую систему]] не влияют внешние силы, её полный линейный импульс не может измениться.

В релятивистской механике вектор импульса расширен до четырёх измерений. К вектору импульса добавляется компонента времени, которая позволяет вектору импульса пространства-времени преобразовываться подобно вектору положения ''(x, t)'' в пространства-времени. При изучении свойств импульса в пространстве-времени (см. рис. 3-8а) мы начинаем с рассмотрения частицы в состоянии покоя. В системе отсчёта покоя пространственная составляющая импульса равна нулю, то есть ''p = 0'', но компонента времени равна ''mc''.

Мы можем получить преобразованные компоненты этого вектора в движущейся системе отсчёта, используя преобразования Лоренца, или мы можем прочитать его непосредственно из рисунка, потому что мы знаем, ''(mc){{'}} = γmc'' и ''p{{'}} = −βγmc'', так как красные оси масштабируются на коэффициент гамма. На рис. 3-8b показана ситуация в движущейся системе отсчёта. Очевидно, что пространственная и временная составляющие четырёхимпульса уходят в бесконечность при приближении скорости движущейся системы отсчёта к ''c''.<ref name="Bais"/>{{rp|84–87}}

Мы будем использовать эту информацию в дальнейшем, чтобы получить выражение для [[четырёхимпульс]]а.

==== Импульс света ====
[[Файл:Calculating the energy of light in different inertial frames.svg|thumb|250px|Рисунок 3-9. Энергия и импульс света в разных инерциальных системах отсчёта]]
Лёгкие частицы или фотоны движутся с постоянной скоростью ''c'', которая известна как ''скорость света''. Поэтому фотоны распространяются по светоподобной мировой линии и в соответствующих единицах имеют равные пространственные и временные составляющие для каждого наблюдателя.

Следствием [[Уравнения Максвелла|уравнений Максвелла]] является то, что свет несёт энергию и импульс и что их отношение всегда постоянно: ''E/p = c''. Или преобразовав ''E/c'' = ''p''. Поскольку для фотонов пространственные и временные компоненты равны, значит, ''E/c'' следует отождествлять со временной составляющей вектора импульса в пространстве-времени.

Фотоны движутся со скоростью света, но имеют конечный импульс и энергию. Для этого массовый член в ''γmc'' должен быть равен нулю, что означает, что фотоны являются [[Безмассовые частицы|безмассовыми частицами]]. Бесконечность на ноль — некорректная величина, но ''E/c'' чётко определена.

В этом анализе, если энергия фотона равна ''E'' в системе отсчёта покоя, в движущейся системе координат она равна {{nowrap|1=''E{{'}} = (1 − β)γE''}}. Этот результат может быть получен путём исследования рис. 3-9 или путём применения преобразований Лоренца и согласуется с анализом эффекта Доплера, данным ранее.<ref name="Bais"/>{{rp|88}}

==== Взаимосвязь массы и энергии ====
Рассмотрение взаимосвязи между различными компонентами вектора релятивистского импульса привело Эйнштейна к нескольким известным выводам.

* В пределах низких скоростей, когда ''β'' = ''v/c'' приближается к нулю, <math>\gamma</math> приближается к 1, поэтому пространственная составляющая релятивистского импульса {{nowrap|1=''βγmc = γmv''}} приближается к ''mv'', то есть классическому импульсу. Следуя этому, ''γm'' можно интерпретировать как релятивистское обобщение ''m''. Эйнштейн предположил, что ''[[релятивистская масса]]'' объекта увеличивается со скоростью по формуле {{nowrap|1=''m<sub>rel</sub> = γm''}}.
* Аналогично, сравнивая временную составляющую релятивистского импульса с импульсом фотона, {{nowrap|1=''γmc = m<sub>rel</sub>c = E/c''}}, Эйнштейн пришёл к взаимосвязи {{nowrap|1=''E = m<sub>rel</sub>c<sup>2</sup>''}}. Упрощённый для случая нулевой скорости, это известное уравнение Эйнштейна, связывающее энергию и массу.

Другой способ взглянуть на соотношение между массой и энергией — рассмотреть серию разложений {{nowrap|1=''γmc''<sup>2</sup>}} при малых скоростях:
: <math> E = \gamma m c^2 =\frac{m c^2}{\sqrt{1 - \beta ^ 2}}</math> <math>\approx m c^2 + \frac{1}{2} m v^2 ...</math>
Второй член является просто выражением для кинетической энергии частицы. Масса действительно является другой формой энергии<ref name="Bais"/>{{rp|90–92}}<ref name="Morin"/>{{rp|129–130,180}}

Понятие релятивистской массы, введённое Эйнштейном в 1905 г., ''m<sub>rel</sub>'', хотя и каждый день проверяется в ускорителях частиц по всему миру (или даже в любой аппаратуре, использование которой зависит от частиц имеющих высокие скорости, таких как электронные микроскопы,<ref>{{статья |заглавие=Optics of high-performance electron microscopes |издание=[[Science and Technology of Advanced Materials]] |том=9 |номер=1 |страницы=014107 |doi=10.1088/0031-8949/9/1/014107 |ссылка=https://iopscience.iop.org/article/10.1088/0031-8949/9/1/014107/meta;jsessionid=0563FE25EBD1037B8CBE393A21A5E2CC.c4.iopscience.cld.iop.org |accessdate=2017-07-04 |bibcode=2008STAdM...9a4107R |archiveurl=https://www.webcitation.org/6rghMOfkh?url=https://iopscience.iop.org/article/10.1088/0031-8949/9/1/014107/meta;jsessionid=0563FE25EBD1037B8CBE393A21A5E2CC.c4.iopscience.cld.iop.org |archivedate=2017-07-03 |язык=en |автор=Rose, H. H. |число=21 |месяц=4 |год=2008 |тип=journal}}</ref> старые цветные телевизоры и т. д.), тем не менее не доказано, что это ''плодотворная'' концепция в физике в том смысле, что она не является концепцией, которая послужила бы основой для другого теоретического развития. Релятивистская масса, например, не играет никакой роли в общей теории относительности.

По этой причине, как и для педагогических проблем, большинство физиков в настоящее время предпочитают другую терминологию, когда речь идёт о взаимосвязи между массой и энергией.<ref>{{книга |заглавие=Revolutions in Twentieth-Century Physics |издательство=[[Издательство Кембриджского университета|Cambridge University Press]] |место=Cambridge |isbn=9781107602175 |страницы=60 |ссылка=https://books.google.com/books?id=Tv8cz-kN2z0C&pg=PA60 |язык=en |автор=Griffiths, David J. |год=2013}}</ref> «Релятивистская масса» — устаревший термин. Термин «масса» сам по себе относится к массе покоя или [[инвариантная масса|инвариантной массе]] и равен инвариантной длине вектора релятивистского импульса. Выраженная в виде формулы,
: <math> E^2 - p^2c^2 = m^2 c^4 </math>
Эта формула применима ко всем частицам, как безмассовым так и массивным. Для безмассовых фотонов она даёт ту же самую связь, которую мы ранее установили, {{nowrap|1=''E = ±pc''}}.<ref name="Bais"/>{{rp|90–92}}

См. также: [https://ufn.ru/ufn89/ufn89_7/Russian/r897f.pdf Окунь Л Б «Понятие массы (Масса, энергия, относительность)» УФН 158 511—530 (1989)]

==== Четырёхимпульс ====
Из-за тесной взаимосвязи между массой и энергией, четырёхимпульс (также называемый 4-импульсом) часто называют 4-вектором энергии-импульса. Используя прописную букву ''Р'' для обозначения четырёхимпульса и строчную '''''p''''' для обозначения пространственного импульса, четырёхимпульс можно записать в виде
: <math>P \equiv (E/c, \vec{p}) = (E/c, p_x, p_y, p_z)</math> или,
: <math>P \equiv (E, \vec{p}) = (E, p_x, p_y, p_z) </math> используя соглашение <math>c = 1 .</math><ref name="Morin"/>{{rp|129–130,180}}

=== Законы сохранения ===
{{main|Законы сохранения}}

В физике законы сохранения утверждают, что определённые измеримые свойства изолированной физической системы не меняются по мере развития системы со временем. В 1915 году [[Эмми Нётер]] обнаружила, что основой каждого закона сохранения является фундаментальная симметрия природы.<ref>{{cite arxiv|last1=Byers|first1=Nina|title=E. Noether's Discovery of the Deep Connection Between Symmetries and Conservation Laws|eprint=physics/9807044|year=1998}}</ref> Тот факт, что физические процессы не волнует ''где'' они происходят в пространстве ([[Трансляционная симметрия]]), даёт закон сохранения импульса, тот факт, что такие процессы не волнует ''когда'' они происходят ({{не переведено 3|трансляционная симметрия времени|трансляционная симметрия времени|en|Time_translation_symmetry}}) даёт [[закон сохранения энергии]], и так далее. В этом разделе мы рассмотрим ньютоновские взгляды на сохранение массы, импульса и энергии с релятивистской точки зрения.

==== Полный импульс ====
[[Файл:Relativistic conservation of momentum.png|thumb|250px|Рисунок 3-10. Релятивистское сохранение импульса]]
Чтобы понять, как необходимо изменить ньютоновский взгляд на сохранение импульса в релятивистском контексте, мы рассмотрим проблему двух сталкивающихся тел, ограниченных одним измерением.

В механике Ньютона можно выделить два крайних случая этой проблемы, которые дают математику минимальной сложности: (1) Два тела отскакивают друг от друга при полностью упругом столкновении. (2) Два тела склеиваются и продолжают двигаться как одна частица. Этот второй случай — случай полностью неупругого столкновения. Для обоих случаев (1) и (2) сохраняются импульс, масса и полная энергия. Однако кинетическая энергия не сохраняется в случаях неупругого столкновения. Определённая доля исходной кинетической энергии преобразуется в тепло.

В случае (2) две массы с импульсами {{nowrap|1='''''p<sub>1</sub>''' = m<sub>1</sub>'''v<sub>1</sub>'''''}}
и {{nowrap|1='''''p<sub>2</sub>''' = m<sub>2</sub>'''v<sub>2</sub>'''''}} сталкиваются, чтобы создать единую частицу сохраняющейся массы {{nowrap|1=''m = m<sub>1</sub> + m<sub>2</sub>''}}, перемещающейся со скоростью [[Центр масс|центра масс]] исходной системы, {{nowrap|1='''''v<sub>cm</sub>''' = (m<sub>1</sub>'''v<sub>1</sub>''' +  m<sub>2</sub>'''v<sub>2</sub>''')/(m<sub>1</sub> + m<sub>2</sub>'')}}. Полный импульс при этом сохраняется {{nowrap|1='''''p''' = '''p<sub>1</sub>''' + '''p<sub>2</sub>'''''}}.

Рис. 3-10 иллюстрирует неупругое столкновение двух частиц с релятивистской точки зрения. Временные компоненты ''E<sub>1</sub>/c'' и ''E<sub>2</sub>/c'' суммируют до полного результирующего вектора ''E/c'', что означает, что энергия сохраняется. Аналогично, пространственные компоненты ''p<sub>1</sub>'' и ''p<sub>2</sub>'' складываются в форму ''p'' результирующего вектора. Четырёхимпульсом, как и ожидалось, является сохраняющаяся величина. Однако инвариантная масса склеенной частицы, заданная точкой, где инвариантная гипербола полного импульса пересекает ось энергии, не равна сумме инвариантных масс отдельных частиц, которые столкнулись. Действительно, она больше суммы отдельных масс: {{nowrap|1=''m > m<sub>1</sub> + m<sub>2</sub>''}}.<ref name="Bais"/>{{rp|94–97}}

Рассматривая события этого сценария в обратной последовательности, мы видим, что несохранение массы является обычным явлением: когда неустойчивая [[элементарная частица]] спонтанно распадается на две более лёгкие частицы, полная энергия сохраняется, а масса нет. Часть массы преобразуется в кинетическую энергию.<ref name="Morin"/>{{rp|134–138}}

==== Выбор систем отсчёта ====
{{кратное изображение
 | изобр1=2-body Particle Decay-Lab.svg
 | изобр2=2-body Particle Decay-CoM.svg
 | подпись=Рис. 3-11. <br>Слева '''Лабораторная ИСО'''. <br>Справа '''[[Система центра масс]]'''.
 | зона_подписи=left
 | ширина=115
}}

Свобода выбора любой системы отсчёта для проведения анализа позволяет выбрать ту, которая будет удобной. Для анализа задач с импульсами и энергией наиболее удобной системой отсчёта обычно является «[[система центра масс]]» (также называемый системой с нулевым импульсом или СЦМ-системой). Это система, в которой пространственная составляющая полного импульса системы равна нулю. Рис.3-11 иллюстрирует распад высокоскоростной частицы на две дочерние частицы. В лабораторной системе дочерние частицы предпочтительно излучаются в направлении, ориентированном вдоль траектории исходной частицы. Однако в системе СЦМ две дочерние частицы излучаются в противоположных направлениях, хотя их массы и величина их скоростей не одинаковы.

==== Сохранение энергии и импульса ====
В ньютоновском анализе взаимодействующих частиц преобразование между системами простое, потому что всё, что необходимо — применить преобразование Галилея ко всем скоростям. Так как {{nowrap|1=''v{{'}} = v − u''}}, то импульс {{nowrap|1=''p{{'}} = p − mu''}}. Если общий импульс взаимодействующей системы частиц будет сохранён в одной системе, то также будет наблюдаться сохранение в любой другой системе.<ref name="Morin"/>{{rp|241–245}}
{{кратное изображение
<!-- Layout parameters -->
 | зона              = center, none
 | направление       = vertical
 | ширина            = 230
<!--image 1-->
 | изобр1            = Energy-momentum diagram for pion decay (A).png
 | width1            = <!-- displayed width of image; overridden by "width" above -->
 | alt1              = 
 | подпись1          = Рисунок 3-12a. Диаграмма энергии-импульса для распада заряженного пиона
<!--image 2-->
 | изобр2            = Energy-momentum diagram for pion decay (B).png
 | width2            = <!-- displayed width of image; overridden by "width" above -->
 | alt2              = 
 | подпись2          = Рисунок 3-12b. Графический расчёт распада заряженного пиона.
}}
Сохранение импульса в системе СЦМ образует требование, что ''p'' = 0 как до, так и после столкновения. В ньютоновском анализе сохранение массы требует чтобы {{nowrap|1=''m = m<sub>1</sub> + m<sub>2</sub>''}}. В упрощённых одномерных сценариях, которые мы рассматривали, необходимо только одно дополнительное ограничение, прежде чем можно определить исходящие импульсы частиц — состояние энергии. В одномерном случае полностью упругого столкновения без потери кинетической энергии скорости частиц после столкновения в СЦМ-системе будут точно равными и противоположными по направлению. В случае полностью неупругого столкновения с полной потерей кинетической энергии скорости частиц после столкновения будут равны нулю.<ref name="Morin"/>{{rp|241–245}}

Ньютоновские импульсы, рассчитанные как {{nowrap|1=''p = mv''}}, не могут корректно вести себя при преобразовании Лоренца. Линейное преобразование скоростей {{nowrap|1=''v{{'}} = v − u''}} заменяется сильно нелинейным
{{nowrap|1=''v{{'}} = (v − u)/(1 − vu/c<sup>2</sup>)'',}} так что вычисление, демонстрирующее сохранение импульса в одной системе отсчёта будет недействительным в других системах отсчёта. Перед Эйнштейном встал выбор либо отказаться от сохранения импульса, либо изменить определение импульса. Как мы видели в предыдущем разделе, он выбрал второй вариант и ввёл [[#Четырёхимпульс|четырёхимпульс]].<ref name="Bais"/>{{rp|104}}

Релятивистский закон сохранения энергии и импульса заменяет три классических закона сохранения энергии, импульса и массы. Масса больше не сохраняется, потому что она включена в общую релятивистскую энергию. Это делает релятивистское сохранение энергии более простым понятием, чем в нерелятивистской механике, поскольку полная энергия сохраняется без каких-либо уточнений. Кинетическая энергия, преобразованная в теплоту или внутреннюю потенциальную энергию, проявляется как увеличение массы.<ref name="Morin"/>{{rp|127}}

<small> '''Пример:''' Из-за эквивалентности массы и энергии массы элементарных частиц обычно указаны в энергетических единицах, где {{nowrap|1 = 1 МэВ = 1 × 10 <sup>6</sup>}} электрон-вольт. Заряженный пион представляет собой частицу с массой 139,57 МэВ (примерно в 273 раза больше массы электрона). Он неустойчив и распадается на мюон с массой 105,66 МэВ (примерно в 207 раз больше массы электрона) и антинейтрино, которое имеет пренебрежимо малую массу. Разница между массой пиона и массой мюона составляет 33,91 Мэв. </Small>
: {{SubatomicParticle|Pion-}} → {{SubatomicParticle|link=yes|Muon-}} + {{SubatomicParticle|link=yes|Muon antineutrino}}
</small><small>
На рис. 3-12а показана диаграмма энергии-импульса для этой реакции распада в системе покоя пиона. Из-за своей незначительной массы нейтрино движется почти со скоростью света. Релятивистское выражение для его энергии, как и для фотона, есть {{nowrap|1=''E<sub>&nu;</sub> = pc'',}}, которое также является значением пространственной составляющей его импульса. Чтобы сохранить импульс, мюон имеет то же значение пространственной составляющей импульса нейтрино, но в противоположном направлении.

В Интернете доступны алгебраические расчёты энергии распада этой реакции,<ref>{{cite web|last1=Nave|first1=R.|title=Energetics of Charged Pion Decay|url=http://hyperphysics.phy-astr.gsu.edu/hbase/Particles/piondec.html|website=Hyperphysics|publisher=Department of Physics and Astronomy, Georgia State University|accessdate=2017-05-27|archive-date=2017-05-21|archive-url=https://web.archive.org/web/20170521075304/http://hyperphysics.phy-astr.gsu.edu/hbase/Particles/piondec.html|deadlink=no}}</ref>, поэтому приведён рис. 3-12b. Энергия нейтрино равна 29,79 Мэв, а энергия мюона равна {{nowrap|1 = 33,91 - 29,79 = 4,12 МэВ.}} Большая часть энергии уносится нейтрино почти нулевой массы.
</small>

== За пределами основ ==
'''''Темы в этом разделе математически более сложные, чем те, которые были в предыдущих разделах, и не являются существенными для понимания ''[[#Введение в искривлённое пространство-время|Введения в искривлённое пространство-время.]]'' '''''

=== Быстрота ===
{{Main|Быстрота}}

{{Кратное изображение
 | направление       = horizontal
 | ширина1           = 135
 | изобр1            = Trig functions (sine and cosine).svg
 | подпись1          = Рисунок 4-1a.  Луч в [[Единичная окружность|единичной окружности]] {{nowrap|1=''x<sup>2</sup> + y<sup>2</sup>'' = 1}} в точке {{nowrap|1=(cos ''a'', sin ''a'')}}, где ''a'' вдвое больше площади между лучом, окружностью и осью ''x''.
 | ширина2            = 190
 | изобр2            = Hyperbolic functions-2.svg 
 | подпись2          = Рисунок 4-1b. Луч в {{не переведено 3|единичная гипербола|единичной гиперболе|en|unit hyperbola}} {{nowrap|1=''x<sup>2</sup> - y<sup>2</sup>'' = 1}} в точке {{nowrap|1=(cosh ''a'', sinh ''a'')}}, где ''a'' вдвое больше площади между лучом, гиперболой и осью ''x''.
}}
[[Файл:Sinh+cosh+tanh.svg|thumb|180px|250px|Рисунок 4-2. График трёх базовых [[Гиперболические функции|Гиперболических функций]]: гиперболический синус (красный-[[:Файл:Hyperbolic Sine.svg|sinh]]), гиперболический косинус (синий-[[:Файл:Hyperbolic Cosine.svg|cosh]]) и гиперболический тангенс (зелёный-[[:Файл:Hyperbolic Tangent.svg|tanh]]).]]
Преобразования Лоренца связывают координаты событий в одной системе отсчёта с координатами в другой системе отсчёта. Для сложения двух скоростей используется релятивистский закон сложения скоростей, формулы которого нелинейны, что делает его более сложными, чем соответствующий закон Галилея.

Эта нелинейность является артефактом нашего выбора параметров.<ref name="Taylor"/>{{rp | 47-59}} Ранее мы отмечали, что в пространственно-временной диаграмме {{nowrap|1=x–ct}}, точки постоянного интервала от начала координат образуют инвариантную гиперболу. Мы также отмечали, что системы координат двух пространственно-временных систем отсчёта в стандартной конфигурации гиперболически повёрнуты относительно друг друга.

Естественными функциями для выражения этих соотношений являются [[Гиперболические функции|гиперболические аналоги тригонометрических функций]]. На рис. 4-1а показана [[единичная окружность]] с sin (''a'') и cos (''a''), единственная разница между этой диаграммой и знакомой единичной окружности элементарной тригонометрии заключается в том, что ''a'' интерпретируется не как угол между лучом и осью ''x'', а как двойная площадь сектора, заметаемая лучом от оси ''х''. (Численно, угол и {{nowrap|1 = 2 × площади}} единичной окружности равны.) Рис. 4-1b показывает {{не переведено 3|единичная гипербола|единичную гиперболу|en|unit hyperbola}} с sinh(''a'') и cosh(''a''), где ''a'' также интерпретируется как дважды окрашенная область.<ref>{{книга |заглавие=Thomas' Calculus: Early Transcendentals |ссылка=https://archive.org/details/thomascalculusea0000unse |издательство={{Нп3|Pearson Education|Pearson Education, Inc.|en|Pearson Education}} |место=Boston |isbn=0321495756 |страницы=[https://archive.org/details/thomascalculusea0000unse/page/533 533] |издание=Eleventh |автор=Thomas, George B.; Weir, Maurice D.; Hass, Joel; Giordano, Frank R. |год=2008 }}</ref> На рис. 4-2 представлены графики функций sinh, cosh и tanh.

Для единичной окружности наклон луча определяется выражением

: <math>\text{slope} = \tan a  = \frac{\sin a }{\cos a }.</math>

В прямоугольной системе координат, вращение точки {{nowrap|1=(''x, y'')}} в точку {{nowrap|1=(''x{{'}}, y{{'}}'')}} под углом ''θ'' определяется формулой
: <math>
\begin{pmatrix}
x' \\
y' \\
\end{pmatrix} = \begin{pmatrix}
\cos \theta & -\sin \theta \\
\sin \theta & \cos \theta \\
\end{pmatrix}\begin{pmatrix}
x \\
y \\
\end{pmatrix}.</math>

В пространственно-временной диаграмме параметр скорости <math>\beta</math> является аналогом наклона (углового коэффициента). ''Быстрота'' ''φ'' определяется как<ref name="Morin"/>{{rp|96–99}}

: <math>\beta \equiv \tanh \phi \equiv \frac{v}{c},</math>

где

: <math>\tanh \phi = \frac{\sinh \phi}{\cosh \phi} = \frac{e^\phi-e^{-\phi}}{e^\phi+e^{-\phi}}.</math>

Быстрота, определённая выше, очень полезна в специальной теории относительности, потому что многие выражения принимают более упрощённую форму, выраженную в её терминах. Например, быстрота просто аддитивна в коллинеарной формуле сложения скоростей<ref name="Taylor"/>{{rp|47–59}}

: <math>\beta = \frac{\beta_1 + \beta_2}{1 + \beta_1 \beta_2} = </math> <math>\frac{\tanh \phi_1 + \tanh \phi_2}{1 + \tanh \phi_1 \tanh \phi_2} =</math> <math>\tanh(\phi_1 + \phi_2),</math>

или другими словами, <math>\phi = \phi_1 + \phi_2.</math>

Преобразования Лоренца принимают простой вид, если выразить их в терминах быстроты. Фактор ''γ'' может быть записан как

: <math>\gamma = \frac{1}{\sqrt{1 - \beta^2}} = \frac{1}{\sqrt{1 - \tanh^2 \phi}}</math> <math>= \cosh \phi,</math>

: <math>\gamma \beta = \frac{\beta}{\sqrt{1 - \beta^2}} = \frac{\tanh \phi}{\sqrt{1 - \tanh^2 \phi}}</math> <math>= \sinh \phi.</math>

Преобразования, описывающие относительное движение с равномерной скоростью и без вращения осей пространственных координат, называются ''бустами''.

Подставляя ''γ'' и ''γβ'' в преобразования, которые были представлены ранее и переписаны в матричной форме, буст Лоренца в {{nowrap|1 = ''x'' направлении}} можно записать в виде

: <math>
  \begin{pmatrix}
    c t' \\
    x'
  \end{pmatrix}
  =
  \begin{pmatrix}
    \cosh \phi & -\sinh \phi \\
    -\sinh \phi & \cosh \phi
  \end{pmatrix}
  \begin{pmatrix}
    ct \\
    x
  \end{pmatrix},</math>

и обратный буст Лоренца в {{nowrap|1 = ''x'' направлении}} может быть записан как

: <math>
  \begin{pmatrix}
    c t \\
    x
  \end{pmatrix}
  =
  \begin{pmatrix}
    \cosh \phi & \sinh \phi \\
    \sinh \phi & \cosh \phi
  \end{pmatrix}
  \begin{pmatrix}
    c t' \\
    x'
  \end{pmatrix}.</math>

Другими словами, буст Лоренца представляет гиперболическое вращение в пространстве-времени Минковского.<ref name="Morin"/>{{rp|96–99}}

Преимущества использования гиперболических функций таковы, что некоторые учебники, такие как классические Тейлор и Уилер, вводят их использование на очень ранней стадии<ref name="Taylor"/><ref name="Taylor_1992">{{книга |заглавие=Spacetime Physics |издательство={{Нп3|W. H. Freeman and Company|W. H. Freeman|en|W. H. Freeman and Company}} |isbn=0716723271 |издание=2nd |автор=Taylor, Edwin F.; Wheeler, John Archibald |год=1992 }}</ref><ref group="note"> Быстрота возникает естественным образом как координаты на чистом [[Теория представлений группы Лоренца#Соглашения и базисы алгебры Ли|генераторе буста]] внутри [[алгебра Ли|алгебры Ли]] группы Лоренца. Аналогично, углы поворота естественным образом возникают в виде координат (по модулю {{nowrap|2<math>\pi</math>}}) на чистом [[Теория представлений группы Лоренца#Соглашения и базисы алгебры Ли|вращении Ли]] в алгебре Ли. (Вместе они координируют всю алгебру Ли). Заметным отличием является то, что результирующие вращения являются периодическими по углу поворота, а полученные ускорения не являются периодическими по быстроте (но скорее взаимно однозначными). Сходство между ускорениями и вращениями является формальным сходством.</ref>

=== 4-векторы ===
{{Main |4-вектор}}
4-вектора были упомянуты выше в контексте 4-вектора энергии-импульса. В целом ни один из элементарных выводов специальной теории относительности их не требует. Но однажды понятое понятие {{nowrap | 1 = 4-вектора}} и более общее понятие [[тензор]]а значительно упрощают математику и концептуальное понимание специальной теории относительности. Работа исключительно с такими объектами приводит к формулам, которые ''явно'' релятивистски инвариантны, что является значительным преимуществом в нетривиальных контекстах. Например, демонстрация релятивистской инвариантности [[уравнения Максвелла|уравнений Максвелла]] в их обычной форме не является тривиальной, а использование [[Тензор электромагнитного поля|тензора электромагнитного поля]] превращает их в просто рутинный расчёт. С другой стороны, общая теория относительности с самого начала опирается в основном на {{nowrap | 1 = 4-векторы}} и тензоры, представляющие физически релевантные сущности. Связь этих уравнений с помощью уравнений, не зависящих от конкретных координат, требует тензоров, способных связывать такие {{nowrap | 1 = 4-векторы}} даже в ''искривлённом'' пространстве-времени, а не только в ''плоском'' как в специальной теории относительности. Изучение тензоров выходит за рамки этой статьи, в которой даётся лишь основное обсуждение пространства-времени.

==== Определение 4-вектора ====
Набор четырёх чисел {{nowrap|1=''A = (A<sub>0</sub>, A<sub>1</sub>, A<sub>2</sub>, A<sub>3</sub>'')}} называется «4-вектором» если эти компоненты ''A<sub> i</sub>'' преобразуются между системами отсчёта согласно преобразованиям лоренца.
При использовании {{nowrap|1=''(ct, x, y, z)''}} координат, ''A'' является {{nowrap|1=4–вектором}} если ''A'' преобразуется (в направлении {{nowrap|1=''x''}}) согласно
: <math>\begin{align}
  A_0' &= \gamma \left( A_0 - (v/c) A_1 \right)  \\ 
  A_1' &= \gamma \left( A_1 - (v/c) A_0 \right)\\
  A_2' &= A_2 \\ 
  A_3' &= A_3
\end{align}</math>
которое образуется от простой замены ''ct'' на ''A<sub>0</sub>'' и ''x'' на ''A<sub>1</sub>'' в более ранней версии преобразований лоренца.

Как обычно, когда мы пишем ''x'', ''t'' и т. д., мы обычно имеем в виду ''Δx'', ''Δt'' и т. д.

Последние три компоненты {{nowrap | 1 = 4-вектора}} должны быть стандартным вектором в трёхмерном пространстве. Следовательно, {{nowrap | 1 = 4-вектор}} должен преобразовываться как {{nowrap|1=''(c &Delta;t, &Delta;x, &Delta;y, &Delta;z)''}} при преобразованиях Лоренца и при вращении.<ref name="Schutz1985"/>{{rp|36–59}}

==== Свойства 4-векторов ====
* '''Замкнутость линейной комбинации:''' Если ''A'' и ''B'' являются {{nowrap | 1 = 4-векторами}}, то {{nowrap | 1 = '' C = aA + aB ''}} также является {{nowrap | 1 = 4-вектором}}.
* '''Инвариантность скалярного произведения:''' Если '' A '' и '' B '' являются {{nowrap | 1 = 4-векторами}}, то их скалярное произведение инвариантно, то есть не зависит от системы отсчёта, в которой оно рассчитано. Обратите внимание, как вычисление скалярного произведения отличается от вычисления скалярного произведения {{nowrap | 1 = 3-вектора}}. Примем, что <math>\vec{A}</math> и <math>\vec{B}</math> являются {{nowrap|1=3-векторами}}:
:: <math>A \cdot B \equiv </math> <math>A_0 B_0 - A_1 B_1 - A_2 B_2 - A_3 B_3 \equiv </math> <math>A_0 B_0 - \vec{A} \cdot \vec{B}</math>
: Помимо инвариантности преобразования Лоренца, указанное выше скалярное произведение также инвариантно относительно вращения в {{nowrap | 1 = 3-пространстве}}.
: Два вектора называются ''ортогональными'', если <math>A \cdot B = 0.</math> В отличие от случая {{nowrap | 1 = 3-векторов}} ортогональные {{nowrap | 1 = 4-векторы}} не обязательно находятся под прямым углом друг к другу. Два {{nowrap | 1 = 4-вектора}} ортогональны, если они смещены на равные и противоположные углы от линии 45°, которая является мировой линией светового луча. Это означает, что светоподобный {{nowrap | 1 = 4-вектор}} ортогонален ''сам себе''.
* ''' Инвариантность величины вектора: ''' Величина вектора является скалярным произведением {{nowrap | 1 = 4-вектора}} с самим собой и является независимым от системы отсчёта свойством. Как и с интервалами, величина может быть положительной, отрицательной или нулевой, так что векторы называются времениподобными, пространственно-подобными или светоподобными. Заметим, что светоподобный вектор не совпадает с нулевым вектором. Светоподобный вектор — тот, для которого <math>A \cdot A = 0 ,</math>, а нулевой вектор — тот, компоненты которого равны нулю. Особые случаи, иллюстрирующие инвариантность нормы, включают в себя инвариантный интервал <math>c^2 t^2 - x^2</math> и инвариантную длину вектора релятивистского импульса <math>E^2 - p^2 c^2 .</math><ref name="Morin"/>{{rp|178–181}}<ref name="Schutz1985"/>{{rp|36–59}}

==== Примеры 4-векторов ====
* '''4-вектор смещения:''' Также имеет название ''разделение пространства-времени'', это {{nowrap|1=(''&Delta;t, &Delta;x, &Delta;y, &Delta;z''),}} или для бесконечно малых, {{nowrap|1=(''dt, dx, dy, dz'')}}.
:: <math>dS \equiv (dt, dx, dy, dz)</math>
* '''4-вектор скорости:''' Этот вектор получается при делении {{nowrap | 1 = 4-вектора}} смещения на <math>d \ tau</math>, где <math>d \tau </math> — собственное время между двумя событиями, которые разделены ''dt, dx, dy'' и '' dz ''.
:: <math>V \equiv \frac{dS}{d \tau} = \frac{(dt, dx, dy, dz)}{dt/\gamma} = </math> <math>\gamma \left(1, \frac{dx}{dt}, \frac{dy}{dt}, \frac{dz}{dt} \right) = </math> <math>(\gamma, \gamma \vec{v} ) </math>
{{кратное изображение
 | направление       = horizontal
 | ширина1           = 180
 | изобр1            = Momentarily Comoving Reference Frame.gif
 | подпись1          = Рисунок 4-3a. Кратковременные сопутствующие системы отсчёта ускоряющей частицы, наблюдаемые из неподвижной системы отсчёта.
 | ширина2            = 180
 | изобр2            = Lorentz transform of world line.gif 
 | подпись2          = Рисунок 4-3b. Кратковременно сопутствующие системы отсчёта вдоль траектории ускоряющего наблюдателя (в центре).
}}
: Вектор {{Nowrap | 1 = 4-скорости}} касается мировой линии частицы и имеет длину, равную одной единице времени в системе отсчёта частицы.
: У ускоренной частицы нет инерциальной системы отсчёта, в которой она всегда находится в состоянии покоя. Однако, как указывалось ранее в более раннем обсуждении [[#Поперечный эффект Доплера|поперечного эффекта Доплера]], всегда можно найти инерциальную систему отсчёта, которая мгновенно сопутствует частице. Такая ''мгновенно сопутствующая инерциальная система отсчёта'' (МСИСО) позволяет применять специальную теорию относительности для анализа ускоренных частиц.
: Поскольку фотоны движутся по светоподобным линиям, то для них <math>d \tau = 0</math> и {{nowrap | 1 = 4-скорость}} не может быть определена. Нет системы отсчёта, в которой фотон находится в состоянии покоя, и вдоль пути фотона невозможно найти МСИСО.
* '''4-вектор энергии-импульса:''' Как обсуждалось в параграфе [[#Энергия и импульс|Энергия и импульс]],
:: <math>P \equiv (E/c, \vec{p}) = (E/c, p_x, p_y, p_z)</math>
: Как указывалось ранее, существуют различные способы представления {{nowrap | 1 = 4-вектора}} энергии-импульса. Его можно выразить как <math>(E, \vec{p})</math> или <math>(E, \vec{p}c) .</math> Первая компонента — полная энергия (включая массу) частицы (или системы частиц) в данной системе отсчёта, а остальные компоненты — её пространственный импульс. {{nowrap | 1 = 4-вектор}} энергии-импульса является сохраняющейся величиной.
* '''4-вектор ускорения:''' Это результат взятия производной от {{nowrap | 1 = 4-вектора}} скорости по <math>\tau.</math>
:: <math>A \equiv \frac{dV}{d \tau} = </math> <math>\frac{d}{d \tau} (\gamma, \gamma \vec{v}) = </math> <math>\gamma \left( \frac{d \gamma}{dt}, \frac{d(\gamma \vec{v})}{dt} \right)</math>
* '' '4-вектор силы:' '' Это производная от {{nowrap | 1 = 4-вектора}} импульса по <math>\tau.</math>
:: <math>F \equiv \frac{dP}{d \tau} = </math> <math>\gamma \left(\frac{dE}{dt}, \frac{d \vec{p}}{dt} \right) = </math> <math> \gamma \left( \frac{dE}{dt},\vec{f} \right) </math>

Как и ожидалось, конечные компоненты вышеперечисленных {{nowrap | 1 = 4-векторов}} являются стандартными {{nowrap | 1 = 3-векторами}}, соответствующими пространственному {{nowrap | 1 = 3-импульсу}}, {{nowrap | 1 = 3-силе}} и т. д.<ref name="Morin"/>{{rp|178–181}}<ref name="Schutz1985"/>{{rp|36–59}}

==== 4-векторы и физические законы ====
Первый постулат специальной теории относительности объявляет эквивалентность всех инерциальных систем отсчёта. Физический закон, работающий в одной системе отсчёта должен продолжать работать во всех системах отсчёта, поскольку в противном случае мы могли бы различать эти системы отсчёта. Как отмечалось в предыдущем обсуждении [[#Сохранение энергии и импульса|сохранения энергии и импульса]], ньютоновские импульсы не могут корректно вести себя при преобразовании Лоренца, и Эйнштейн предпочёл изменить определение импульса на один, связанный с {{nowrap | 1 = 4-векторами}}, вместо того, чтобы отказаться от сохранения импульса.

Физические законы должны основываться на конструкциях, которые независимы от систем отсчёта. Это означает, что физические законы могут принимать форму уравнений, связывающих скаляры, которые всегда независимы от систем отсчёта. Однако уравнения, содержащие {{nowrap | 1 = 4-векторы}}, требуют использования тензоров с соответствующим рангом, которые сами можно считать построенными из {{nowrap | 1 = 4-векторов}}.<ref name="Morin"/>{{rp|186}}

=== Ускорение ===
{{See|{{не переведено 3|Ускорение в специальной теории относительности)|Ускорение в специальной теории относительности|en|Acceleration_(special_relativity)}} }}

Распространённым{{неопределённость|у кого?}} заблуждением является то, что специальная теория относительности применима только к инерционным системам отсчёта и что она не способна работать с ускоряющимися объектами или ускоренными системами отсчёта. Ускоряющиеся объекты обычно можно анализировать без необходимости иметь дело с ускоренными системами отсчёта в принципе. Общая теория относительности требуется только для сильных гравитационных полей.<ref name="PhysicsFAQ">{{cite web|last1=Gibbs|first1=Philip|title=Can Special Relativity Handle Acceleration?|url=http://math.ucr.edu/home/baez/physics/Relativity/SR/acceleration.html|website=The Physics and Relativity FAQ|publisher=math.ucr.edu|accessdate=2017-05-28|archive-date=2017-06-07|archive-url=https://web.archive.org/web/20170607102331/http://math.ucr.edu/home/baez/physics/Relativity/SR/acceleration.html|deadlink=no}}</ref>

Однако корректная работа с ускоренными системами отсчёта требует некоторой осторожности. Разница между специальной и общей относительностью состоит в том, что (1) В специальной теории относительности все скорости относительны, но ускорение является абсолютным. (2) В общей теории относительности все виды движения относительны, и инерционное, и ускоренное, и вращение. Чтобы учесть эту разницу, общая теория относительности использует искривлённое пространство-время.<ref name="PhysicsFAQ"/>

В этом разделе мы проанализируем несколько сценариев, связанных с ускоренными системами отсчёта.

==== Парадокс Белла ====
{{main|Парадокс Белла}}

Парадокс космического корабля Белла — хороший пример проблемы, когда интуитивное рассуждение, не связанное с геометрическим пониманием подхода пространства-времени, может привести к проблемам.

[[Файл:Bell's spaceship paradox - two spaceships - initial setup.png|thumb|250px|Рисунок 4-4. Парадокс космического корабля Белла]]
На рис.4-4 два одинаковых космических корабля висят в пространстве и находятся в покое относительно друг друга. Они соединены верёвкой, которая имеет ограничение на растяжение до разрыва. В данный момент в нашей системе отсчёта, системе отсчёта наблюдателя, оба космических корабля ускоряются в одном направлении вдоль линии между ними с одинаковым постоянным собственным ускорением<ref group=note> В теории относительности собственное ускорение — это физическое ускорение (то есть измеренное при помощи акселерометра ускорение), испытываемое объектом. Другими словами, это ускорение относительно свободного висящего или инерциального наблюдателя, который мгновенно находится в состоянии покоя относительно измеряемого объекта. </ref> Вопрос — разорвётся ли верёвка?

[[Парадокс Белла|Основная статья]] рассказывает о том, что, когда парадокс был новым и малоизученным, даже у профессиональных физиков возникли трудности с нахождением решения. Две линии рассуждений приводят к противоположным выводам. Есть два аргумента, которые представлены ниже, один из них ошибочен, несмотря на то, что даёт правильный ответ.<ref name="Morin"/>{{rp|106,120–122}}

# Для наблюдателя находящегося в покоящейся системе отсчёта, космические корабли начинают движение с дистанции ''L'' между ними и остаются на одном и том же расстоянии друг от друга во время ускорения. Во время ускорения ''L'' является укороченной длиной от длины {{nowrap|1=''L{{'}} = γL''}} в системах ускоряющихся космических кораблей. Спустя достаточно длительное время ''γ'' увеличится настолько, что верёвка должна разорваться.
# Пусть ''А'' и ''В'' будут задним и передним космическими кораблями. В системах отсчёта космических кораблей каждый космический корабль видит, что другой космический корабль делает то же самое, что и он. ''A'' говорит, что ''B'' имеет такое же ускорение, что и у него, и ''B'' видит, что ''A'' копирует каждое его движение. Таким образом, космические корабли остаются на одном и том же расстоянии друг от друга, и верёвка остаётся целой.<ref name="Morin"/>{{rp|106,120–122}}

Проблема с первым объяснением заключается в том, что нет ''системы отсчёта космических кораблей''. Такой не может быть, потому что два космических корабля измеряют растущее расстояние между ними. Поскольку нет единой системы отсчёта космических кораблей, длина верёвки не определена. Тем не менее, вывод верен, и объяснение в основном правильное. А вот второе объяснение совершенно игнорирует относительность одновременности.<ref name="Morin"/>{{rp|106,120–122}}

[[Файл:Bell observers experiment2.png|thumb|250px|Рисунок 4-5. Синие линии представляют собой мировые линии двух наблюдателей A и B, которые ускоряются в одном направлении с одинаковым ускорением постоянной величины. В точках A' и B' наблюдатели перестают ускоряться. Пунктирная линия представляет собой линию одновременности для любого наблюдателя после окончания ускорения.]]
Решение этого парадокса становится очевидным, если использовать пространственно-временную диаграмму (рис. 4-5). Два наблюдателя в пространстве-времени Минковского ускоряются с постоянной величиной ускорения <math>k</math> за собственное время <math>\sigma</math> (ускорение и прошедшее время измеряются самими наблюдателями, а не сторонним инерциальным наблюдателем). Они являются сопутствующими и инерциальными до и после фазы ускорения. Как отметил Белл, в геометрии Минковского длина пространственноподобного отрезка '''A'''′'''B'''″ "оказывается больше длины пространственноподобного отрезка '''AB'''.

Увеличение длины можно рассчитать с помощью преобразования Лоренца. Если, как показано на рис. 4-5, ускорение закончено, корабли останутся с постоянным смещением в некоторой системе отсчёта <math>S'.</math> Если <math>x_{A}</math> и <math>x_{B} = x_{A} + L </math> — позиции кораблей в <math>S,</math> то позиции в системе отсчёта <math>S'</math>:<ref name="Franklin">{{статья |заглавие=Lorentz contraction, Bell's spaceships, and rigid body motion in special relativity |издание=[[European Journal of Physics]] |том=31 |страницы=291—298 |doi=10.1088/0143-0807/31/2/006 |bibcode=2010EJPh...31..291F |номер=2 |arxiv=0906.1919 |язык=en |тип=journal |автор=Franklin, Jerrold |год=2010}}</ref>
: <math>\begin{align}
x'_{A}& = \gamma\left(x_{A}-vt\right)\\
x'_{B}& = \gamma\left(x_{A}+L-vt\right)\\
L'& = x'_{B}-x'_{A} =\gamma L
\end{align}</math>

«Парадокс» как бы исходит из того, как Белл построил свой пример. В обычном обсуждении сокращений Лоренца покоящаяся линейка фиксирована, а движущаяся линейка сокращается измерениям в системе отсчёта <math> S </math>. Как показано на рис.4-4, пример Белла вводит движущиеся длины <math>AB</math> и <math>A'B'</math>, измеренные в системе отсчёта <math>S</math> как фиксированные, тем самым увеличивая покоящуюся длину <math>A'B''</math> в системе отсчёта <math>S'</math>.

==== Ускоренный наблюдатель с горизонтом ====
{{main|Горизонт событий|Координаты Риндлера}}
Некоторые специальные задачи по теории относительности могут привести к пониманию вещей, обычно связанных с общей теорией относительности. Это, например, [[горизонт событий]]. В тексте, сопровождающем рис. 2-7 в разделе [[#Инвариантная гипербола|инвариантная гипербола]], мы отметили, что пурпурные гиперболы представляют собой реальные пути, которые проходит постоянно ускоряющийся путешественник в пространстве-времени. В периоды положительного ускорения скорость движения ''приближается'' к скорости света, в то время как в нашей системе отсчёта ускорение путешественника постоянно уменьшается.

[[Файл:Accelerated relativistic observer with horizon.png|thumb|250px|Рисунок 4-6. Ускоренный релятивистский наблюдатель с горизонтом. Ещё одну хорошо нарисованную иллюстрацию на эту тему можно посмотреть '''[[:Файл:ConstantAcceleration02.jpg|здесь]]'''. ]]
На рис.4-6 подробно описаны различные особенности движений путешественника. В любой момент его пространственная ось образована линией, проходящей через начало координат и его текущее положение на гиперболе, а его ось времени является касательной к гиперболе в его местоположении. Параметр скорости <math>\beta</math> приближается в пределе единице с ростом <math>ct</math>. Аналогично, <math>\gamma </math> приближается к бесконечности.

Форма инвариантной гиперболы соответствует пути постоянного собственного ускорения. Это можно показать следующим образом:
# Мы знаем что <math>\beta = ct/x.</math>
# Так как <math>c^2 t^2 - x^2 = s^2,</math> заключаем, что <math>\beta (ct) = ct/ \sqrt{c^2 t^2 - s^2}.</math>
# <math>\gamma = 1/\sqrt{1 - \beta ^2} = </math> <math>\sqrt{c^2 t^2 - s^2}/s</math>
# С точки зрения релятивисткого закона силы, <math>F = dp/dt = </math><math>dpc/d(ct) = d(\beta \gamma m c^2)/d(ct).</math>
# Подставляя <math>\beta(ct)</math> из шага 2 и выражения для <math>\gamma</math> из шага 3 получаем <math>F = mc^2 / s ,</math>, которая является постоянным выражением.<ref name="Bais"/>{{rp|110–113}}

На рис.4-6 иллюстрируется конкретный расчётный сценарий. Теренс (A) и Стелла (B) первоначально стоят вместе в 100 световых часах от начала координат. Стелла взлетает в момент 0, её космический корабль ускоряется со скоростью 0.01 c в час. Каждые двадцать часов Теренс по радио сообщает Стелле о ситуации дома (сплошные зелёные линии). Стелла получает эти регулярные передачи, но возрастающее расстояние (частично компенсируемое замедлением времени) заставляет её получать сообщения Теренса позже и позже, согласно её часам, и она ''никогда'' не получает никаких сообщений от Теренса после 100 часов по его часам (пунктирные зелёные линии).<ref name="Bais"/>{{rp|110–113}}

Через 100 часов по часам Теренса Стелла входит в тёмную область. Она путешествовала за пределами времениподобного будущего Теренса. С другой стороны, Теренс может бесконечно продолжать '''получать''' сообщения Стеллы. Ему просто нужно подождать достаточно долго. Пространство-время было разделено на отдельные регионы ''кажущимся'' горизонтом событий. Пока Стелла продолжает ускоряться, она не может узнать, что происходит за этим горизонтом<ref name="Bais"/>{{rp|110–113}}

== Введение в искривлённое пространство-время ==
{{main|{{не переведено 3|Введение в общую теорию относительности|Введение в общую теорию относительности|en|Introduction to general relativity}}|Общая теория относительности}}

=== Основные положения ===
[[Файл:Principle of the tidal force.svg|thumb|260px|Рисунок 5-1. Приливные эффекты<ref group="Нажмите здесь для дополнительной информации"> Различные журналисты, просматривающие сценарии, представленные на этом рисунке, интерпретируют их по-разному в зависимости от их знания ситуации. (i) Первый репортёр, в центре массы частиц {{nowrap|1=''2'' и ''3''}}, но не подозревающий о большой массе ''1'', заключает, что сила отталкивания существует между частицами в сценарии ''А'', в то время как сила притяжения существует между частицами в сценарии ''B''. (ii) Второй репортёр, зная о большой массе ''1'', улыбается наивности первого репортёра. Этот второй репортёр знает, что на самом деле кажущиеся силы между частицами {{nowrap|1=''2'' and ''3''}} действительно представляют собой приливные эффекты, возникающие в результате их дифференциального притяжения к массе ''1''. (iii) Третий репортёр, прошедший подготовку по общей теории относительности, знает, что на самом деле нет никаких сил, действующих между этими тремя объектами. Скорее всего, все три объекта движутся вдоль [[Геодезическая|геодезических]] в пространстве-времени.</ref>]]
Теории Ньютона предполагали, что движение происходит на фоне жёсткой евклидовой системы отсчёта, которая распространяется во всем пространстве и во все времена. Гравитация опосредована таинственной силой, действующей мгновенно на расстоянии, действия которой не зависят от промежуточного пространства.<ref group=note> Сам Ньютон остро осознавал присущие трудности с этими предположениями, но предположения были единственным способом, с которым он мог добиться прогресса. В 1692 году он написал своему другу Ричарду Бентли: «Это гравитация должна быть врождённой, неотъемлемой и существенной для Материи, так что одно тело может воздействовать на другого на расстоянии, через вакуум, без посредничества чего либо другого, через что их действие и сила могут передаваться от одного к другому, для меня настолько велика, что я не верю, что ни один Человек, имеющий компетенцию в философских вопросах, никогда не может попасть в него».</ref> Эйнштейн отрицал, что существует какая-либо фоновая евклидова система отсчёта, которая распространяется во всем пространстве. Также как нет такой вещи, как сила тяготения, а есть только структура самого пространства-времени.<ref name="Taylor"/>{{rp|175–190}}

В пространстве-времени путь спутника, вращающегося вокруг Земли, не продиктован отдалёнными влияниями Земли, Луны и Солнца. Вместо этого спутник перемещается в пространстве только под влиянием локальных условий. Поскольку пространство-время везде локально плоское, если рассматривать его в достаточно малом масштабе, спутник всегда следует по прямой в своей локальной инерциальной системе координат. Мы говорим, что спутник всегда следует по пути {{не переведено 3|Геодезические в общей теории относительности|геодезической|en|Geodesics_in_general_relativity}}. Гравитацию нельзя обнаружить рядом с движениями только одной частицы.<ref name="Taylor"/>{{rp|175–190}}

При любом анализе пространства-времени для доказательства гравитации требуется наблюдения относительных ускорений ''двух'' тел или двух отдельных частиц. На рис. 5-1 две разделённые частицы, свободно падающие в гравитационном поле Земли, проявляют приливные ускорения из-за локальных неоднородностей в гравитационном поле, так что каждая частица идёт по другому пути через пространство-время. Приливные ускорения, которые эти частицы проявляют относительно друг друга, не требуют сил для их объяснения. Скорее, Эйнштейн описал их в терминах геометрии пространства-времени, то есть кривизны пространства-времени. Эти приливные ускорения строго локальны. Это совокупный общий эффект многих локальных проявлений кривизны, которые приводят к ''появлению'' гравитационной силы, действующей на большом расстоянии от Земли.<ref name="Taylor"/>{{rp|175–190}}

В основе общей теории относительности лежат два основных положения.
[[Файл:Elevator gravity.svg|thumb|250px|Рисунок 5-2. Принцип эквивалентности]]
* Первым важным понятием является координатная независимость: законы физики не могут зависеть от того, какую систему координат использовать. Это важное расширение принципа относительности по сравнению с версией, используемой в специальной теории относительности, в которой говорится, что законы физики должны быть одинаковыми для каждого наблюдателя, движущегося в неускоренных (инерциальных) системах отсчёта. В общей теории относительности, чтобы использовать собственные (переведённые) слова Эйнштейна, «законы физики должны быть такого характера, что они применимы к системам отсчёта в любом виде движения.»<ref name="PrincipleOfRelativity">{{книга |заглавие=The Principle of Relativity: A Collection of Original Memoirs on the Special and General Theory of Relativity |издательство=[[Dover Publications]] |isbn=0486600815 |язык=en |автор=Lorentz, H. A.; Einstein, A.; Minkowski, H.; Weyl, H. |год=1952}}</ref>{{rp|113}}Это приводит к проблеме: в ускоренных системах отсчёта ощущается сила, которая, позволит обнаружить наличие ускорения в абсолютном смысле. Эйнштейн разрешил эту проблему при помощи принципа эквивалентности.<ref name="Mook">{{книга |заглавие=Inside Relativity |издательство=[[Princeton University Press]] |место=Princeton, New Jersey |isbn=0691084726 |автор=Mook, Delo E.; Vargish, Thoma s |год=1987 }}</ref>{{rp|137–149}}
* [[Принцип эквивалентности]] утверждает, что в любой достаточно малой области пространства эффекты гравитации не отличаются от ускорения.
: На рисунке 5-2 человек A находится в космическом корабле, вдали от любых массивных объектов, который подвергается равномерному ускорению ''g''. Человек B находится в ящике, покоящемся на Земле. При условии, что космический корабль достаточно мал, так что приливные эффекты не поддаются измерению (учитывая чувствительность прибора измерения силы тяжести, A и B предположительно должны быть [[Лилипуты и Блефуску|лилипутами]]), не существует экспериментов, которые могли бы выполнять A и B и которые позволили бы им определить, в чём они находятся.<ref name="Mook"/>{{rp|141–149}}
: Альтернативное формулирование принципа эквивалентности состоит в том, что в универсальном законе тяготения Ньютона {{nowrap|1=''F = GMm''<sub>g</sub>''&thinsp;/r''<sup>2</sup> = }} ''m''<sub>g</sub>''g'' и во втором законе Ньютона {{nowrap|1=''F = m''<sub>&thinsp;i</sub>''a'',}} нет причины ''априори'', почему [[Масса#Гравитационная масса. Принцип эквивалентности|гравитационная масса]] ''m''<sub>g</sub> должна быть равна [[Масса#Простое определение инертной массы|инерционной массе]] ''m''<sub> i</sub>. Принцип эквивалентности утверждает, что эти две массы идентичны.<ref name="Mook"/>{{rp|141–149}}

Чтобы перейти от элементарного описания искривлённого пространства-времени выше к полному описанию гравитации, требуется тензорное исчисление и дифференциальная геометрия, которые требуют серьёзного изучения. Без этих математических инструментов можно написать ''об'' общей теории относительности, но невозможно продемонстрировать какие-либо нетривиальные выводы.

Вместо попытки предложить (ещё одно) относительно не математическое представление ''об'' общей теории относительности, читателю предлагается перейти на уже опубликованные статьи '''{{не переведено 3|Введение в общую теорию относительности||en|Introduction to general relativity}}''' и '''[[Общая теория относительности]].'''

В этом разделе основное внимание будет уделено изучению нескольких элементарных случаев, которые служат для поверхностного знакомства с общей теории относительности.

=== Кривизна времени ===
[[Файл:Einstein's argument suggesting gravitational redshift.svg|thumb|250px|Рисунок 5-3. Гравитационное красное смещение по предложению Эйнштейна]]
В обсуждении специальной теории относительности силы играли второстепенную роль. Специальная теория относительности предполагает возможность задавать инерциальные системы отсчёта, которые заполняют всё пространство-время, и все часы которых идут в одинаковом темпе с часами в начале координат. Действительно ли возможно? В неоднородном гравитационном поле эксперимент говорит — нет. Гравитационные поля не позволяют построить ''глобальную'' инерциальную систему отсчёта. В достаточно малых областях пространства-времени всё ещё возможны ''локальные'' инерциальные системы отсчёта. Общая теория относительности включает в себя систематическое сшивание этих локальных систем отсчёта в более общую картину пространства-времени.<ref name="Schutz1985"/>{{rp|118–126}}

Вскоре после публикации общей теории относительности в 1916 году ряд учёных указал, что общая теория относительности предсказывает существование гравитационного красного смещения. Сам Эйнштейн предложил следующий [[мысленный эксперимент]]: (i) Предположим, что была построена башня высоты ''h'' (рис. 5-3). (ii) Бросим частицу с массой покоя ''m'' с верхней части башни. Она свободно падает с ускорением ''g'', достигая земли со скоростью {{nowrap|1=''v'' = (2''gh'')<sup>1/2</sup>}}, её полная энергия ''E'', измеренная наблюдателем на земле, равна {{nowrap|1=''m'' + ½''mv''<sup>2</sup>/''c''<sup>2</sup> =}} {{nowrap|''m + mgh/c''<sup>2</sup>.}} (iii) Преобразователь массы-энергии преобразует полную энергию частицы в один высокоэнергетический фотон, который он направляет вверх. (iv) В верхней части башни преобразователь энергии-массы преобразует энергию фотона ''E{{'}}'' обратно в частицу массы покоя ''m{{'}}''.<ref name="Schutz1985"/>{{rp|118–126}}

В результате должно быть {{nowrap|1=''m'' = ''m{{'}}''}}, иначе можно было бы построить [[вечный двигатель]]. Поэтому мы прогнозируем, что {{nowrap|1=''E{{'}}'' = ''m''}}, так что
: <math>\frac{E'}{E} = \frac{h \nu \, '}{ h \nu} =</math> <math>\frac{m}{m + mgh/c^2} =</math> <math>1 - \frac{gh}{c^2}</math>

При подъёме в гравитационном поле Земли фотон теряет энергию, получая красное смещение. Ранние попытки измерить это красное смещение с помощью астрономических наблюдений были несколько неубедительными, но окончательные лабораторные наблюдения были выполнены в эксперименте [[Эксперимент Паунда и Ребки|Паунда и Ребки (1959)]], а позже — Паунда и Шнайдера (1964).<ref>{{cite web |last1=Mester |first1=John |title=Experimental Tests of General Relativity |url=https://luth2.obspm.fr/IHP06/lectures/mester-vinet/IHP-2GravRedshift.pdf |publisher=Laboratoire Univers et Théories |accessdate=2017-06-09 |archiveurl=https://www.webcitation.org/6r6GxyRdY?url=https://luth2.obspm.fr/IHP06/lectures/mester-vinet/IHP-2GravRedshift.pdf |archivedate=2017-06-09 }}</ref>

Свет имеет соответствующую частоту, и эта частота может использоваться для управления работой часов. Гравитационное красное смещение приводит к важному выводу о времени: гравитация замедляет время. Предположим, мы построим двое одинаковых часов, чьи скорости контролируются некоторым стабильным атомным переходом. Поместим одни часы наверху башни, в то время как другие часы оставим на земле. Экспериментатор на верху башни регистрирует сигналы от наземных часов как имеющие более низкую частоту, чем сигналы часов рядом с ним на башне. Свет, поднимающийся на башню, — просто волна, и невозможно, чтобы гребни волн исчезли по пути вверх. Число осцилляции света, поступающих в верхнюю часть башни, равно числу, испускаемому внизу. Экспериментатор приходит к выводу, что наземные часы идут медленнее, и это можно подтвердить, спустив часы с башни, чтобы сравнить рядом с наземными часами.<ref name="Schutz"/>{{rp|16-18}} Для башни 1 км разница будет составлять около 9,4 наносекунды в день, легко измеримая с помощью современной аппаратуры.

Часы в гравитационном поле не идут с одинаковой скоростью. Эксперименты, такие как эксперимент Паунда-Ребки, уверенно установили кривизну временной составляющей пространства-времени. Эксперимент Паунда-Ребки ничего не говорит о кривизне ''пространственного'' компонента пространства-времени. Но учтите, что теоретические аргументы, предсказывающие гравитационное замедление времени, вообще не зависят от аргументов общей теории относительности. ''Любая'' теория гравитации будет предсказывать гравитационное замедление времени, если она соблюдает принцип эквивалентности.<ref name="Schutz"/>{{rp|16}} Включая ньютоновскую гравитацию. В общей теории относительности легко показывается как в ''Ньютоновском пределе'' (то есть когда частицы движутся медленно, гравитационное поле слабое и статичное), кривизны одного времени достаточно для получения Закон тяготения Ньютона.<ref name="Carroll">{{cite arxiv|last1=Carroll|first1=Sean M.|title=Lecture Notes on General Relativity|date=2 December 1997|eprint=gr-qc/9712019}}</ref>{{rp|101–106}}

Ньютоновская гравитация — теория искривлённого времени. Общая теория относительности — теория искривлённого времени и искривлённого пространства. Полагая ''G'' как гравитационную постоянную, ''M'' как массу ньютоновской звезды и орбитальные тела с незначительной массой на расстоянии ''r'' от звезды, в пространственно-временном интервале для ньютоновской гравитации переменным является только коэффициент времени:<ref name="Schutz"/>{{rp|229-232}}
: <math>\Delta s^2 = \left( 1 - \frac{2GM}{c^2 r} \right) (c \Delta t)^2</math><math></math><math>- \, (\Delta x)^2 - (\Delta y)^2 - (\Delta z)^2 </math>

=== Кривизна пространства ===
Коэффициент <math>(1 - 2GM/(c^2 r) )</math> перед <math>(c \Delta t)^2</math> описывает кривизну времени в ньютоновской гравитации, и эта кривизна полностью учитывает все ньютоновские гравитационные эффекты. Как и ожидалось, этот поправочный коэффициент прямо пропорционален <math>G</math> и <math>M</math>, а из-за <math>r</math> в знаменателе поправочный коэффициент увеличивается по мере приближения к гравитирующему телу, что означает искривление времени.

Но общая теория относительности — теория искривлённого пространства ''и'' искривлённого времени, поэтому, если существуют члены, изменяющие пространственные компоненты интервала пространства-времени, представленного выше, не следует ли рассматривать эффекты на планетарных и спутниковых орбитах как результат коэффициентов кривизны, стоящих у пространственных членов?

Ответ заключается в том, что они ''видны'', но эффекты крошечные. Причина в том, что скорости планет чрезвычайно малы по сравнению со скоростью света, так что для планет и спутников солнечной системы член <math>(c \Delta t)^2 </math> перекрывает пространственные члены.<ref name="Schutz"/>{{rp|234-238}}

Несмотря на малость пространственных членов, первые признаки того, что что-то было не так с ньютоновской гравитацией, были обнаружены полтора века назад. В 1859 году [[Леверье, Урбен Жан Жозеф|Урбен Леверье]] в анализе доступных временных наблюдений за смещениями [[Меркурий|Меркурия]] над диском Солнца с 1697 по 1848 год сообщил, что известная физика не может объяснить орбиту Меркурия, кроме как допустить существование на орбите Меркурия другой планеты или пояса астероидов. Перигелий орбиты Меркурия показал наличие избыточной скорости прецессии по сравнению с тем, что может быть объяснено влиянием других планет.<ref>{{статья |заглавие=Lettre de M. Le Verrier à M. Faye sur la théorie de Mercure et sur le mouvement du périhélie de cette planète |издание={{Нп3|Comptes rendus de l'Académie des Sciences|Comptes rendus hebdomadaires des séances de l'Académie des Sciences||Comptes rendus de l'Académie des Sciences}} |том=49 |страницы=379—383 |ссылка=https://archive.org/stream/comptesrendusheb49acad#page/378/mode/2up |язык=fr |тип=magazine |автор=Le Verrier, Urbain |год=1859}}</ref> Возможность обнаруживать и точно измерять минутное значение этой аномальной прецессии (всего 43 угловых секунды за [[тропический год]]) является свидетельством большой точности [[астрометрия|астрометрии]] XIX века.

[[Файл:General relativity time and space distortion frame 1.png|thumb|250px|Рисунок 5-4. Общая теория относительности — теория изогнутого времени и изогнутого пространства. '''[[:Файл:General relativity time and space distortion extract.gif|Нажмите здесь для анимации]]''']]
Как и знаменитый астроном, который когда-то обнаружил существование Нептуна «на кончике пера», анализируя колебания орбите Урана, объявление Леверье вызвало двухлетний период «Вулканомании», когда астрономы-профессионалы и астрономы-любители охотились за гипотетической новой планетой. Этот поиск включал несколько ложных наблюдений Вулкана. В конечном итоге было установлено, что никакой планеты или пояса астероидов не существует.<ref>{{cite web |last1=Worrall |first1=Simon |title=The Hunt for Vulcan, the Planet That Wasn’t There |url=http://news.nationalgeographic.com/2015/11/151104-newton-einstein-gravity-vulcan-planets-mercury-astronomy-theory-of-relativity-ngbooktalk/ |website=National Geographic |publisher=National Geographic |accessdate=12 June 2017  <!-- |archiveurl=https://www.webcitation.org/6r9dK9rAK?url=http://news.nationalgeographic.com/2015/11/151104-newton-einstein-gravity-vulcan-planets-mercury-astronomy-theory-of-relativity-ngbooktalk/ |archivedate=11 June 2017 --> |archive-date=2017-05-24 |archive-url=https://web.archive.org/web/20170524004444/http://news.nationalgeographic.com/2015/11/151104-newton-einstein-gravity-vulcan-planets-mercury-astronomy-theory-of-relativity-ngbooktalk/ |deadlink=no }}</ref>

В 1916 году Эйнштейн наконец показал, что эта аномальная прецессия Меркурия объясняется пространственными членами в кривизне пространства-времени. Кривизна во временном члене, будучи просто выражением ньютоновской тяготения, не имеет никакого отношения к объяснению этой аномальной прецессии. Успех его расчёта был мощным показателем для сверстников Эйнштейна, что общая теория относительности может быть верной.

Наиболее впечатляющим из предсказаний Эйнштейна был расчёт того, что члены кривизны в пространственных компонентах интервала пространства-времени могут быть измерены при изгибе света около массивного тела. Свет имеет наклон ±1 на диаграмме пространства-времени. Его движение в пространстве равно его движению во времени. Для выражения слабого поля инвариантного интервала Эйнштейн рассчитал точно равную, но противоположную по знаку кривизну в пространственных компонентах.<ref name="Schutz"/>{{rp|234–238}}
: <math>\Delta s^2 = \left( 1 - \frac{2GM}{c^2 r} \right) (c \Delta t)^2</math><math>- \, \left( 1 + \frac{2GM}{c^2 r} \right) \left[  (\Delta x)^2 + (\Delta y)^2 + (\Delta z)^2  \right] </math>

В гравитации Ньютона коэффициент <math>(1 - 2GM/(c^2 r) )</math> перед <math>(c \Delta t)^2</math> предсказывает изгиб света вокруг звезды. В общей теории относительности коэффициент <math>(1 + 2GM/(c^2 r) )</math> перед <math>\left[  (\Delta x)^2 + (\Delta y)^2 + (\Delta z)^2  \right] </math> предсказывает изгиб ''вдвое'' больший.<ref name="Schutz"/>{{rp|234–238}}

Историю наблюдения Эддингтона 1919 года и затмения Эйнштейна можно изучить в дополнительном источнике.<ref>{{cite web|last1=Levine|first1=Alaina G.|title=May 29, 1919: Eddington Observes Solar Eclipse to Test General Relativity|url=https://www.aps.org/publications/apsnews/201605/physicshistory.cfm|website=APS News: This Month in Physics History|publisher=American Physical Society|accessdate=12 June 2017  <!--|archiveurl=https://www.webcitation.org/6r9jDRTvM?url=https://www.aps.org/publications/apsnews/201605/physicshistory.cfm|archivedate=12 June 2017 -->|archive-date=2017-06-02|archive-url=https://web.archive.org/web/20170602134913/http://www.aps.org/publications/apsnews/201605/physicshistory.cfm|deadlink=no}}</ref>

=== Источники кривизны пространства-времени ===
[[Файл:StressEnergyTensor contravariant.svg|thumb|280px|Рисунок 5-5. Контравариантные компоненты тензора энергии-импульса. Перевод обозначений:<br> {{color|red|energy density - плотность энергии;}} {{color|orange|momentum density - плотность импульса;}} {{color|#775FF8|momentum flux - поток импульса;}} {{color|#775FF8|shear stress - сдвиговое напряжение;}} {{color|green|pressure - давление}}.]]
В [[Классическая теория тяготения Ньютона|законе всемирного тяготения Ньютона]] единственным источником гравитационной силы является [[масса]].

Общая теория относительности указывает несколько источников кривизны пространства-времени в дополнение к массе. В [[Уравнения Эйнштейна|уравнениях поля Эйнштейна]],<!-- : <math>R_{\mu \nu} - \tfrac{1}{2}R \, g_{\mu \nu} + \Lambda g_{\mu \nu} = \frac{8 \pi G }{c^4} T_{\mu \nu}</math> --> источники силы тяжести представлены в правой части в <math>T_{\mu \nu},</math> the [[Тензор энергии-импульса|тензора энергии-импульса]].

На рис. 5-5 классифицируются различные источники силы тяжести в тензоре энергии напряжений:
* <math>T^{00}</math> (красный): полная плотность массы, включая любые вклады в потенциальную энергию от сил между частицами, а также кинетическую энергию от случайных тепловых движений.
* <math>T^{0i}</math> and <math>T^{i0}</math> (оранжевый): это коэффициенты плотности импульса. Даже если движение масс отсутствует, энергия может передаваться теплопроводностью, и энергия проводимости будет иметь импульс.
* <math>T^{ij}</math> — скорости потока {{nowrap|1=''i''-компоненты}} импульса на единицу площади в {{nowrap|1 = ''J''-направлении}}. Даже если нет движения массы, случайные тепловые движения частиц будут приводить к импульсному потоку, поэтому компоненты {{nowrap|1=''i'' = ''j''}} (зелёный) представляют изотропное давление, а компоненты {{nowrap|1=''i'' ≠ ''j''}} (синие) представляют собой сдвиговые напряжения.<ref>{{книга |заглавие=General Relativity |издательство=[[Издательство Кембриджского университета|Cambridge University Press]] |место=Cambridge |isbn=9780521829519 |страницы=176—179 |автор=Hobson, M. P.; Efstathiou, G.; Lasenby, A. N. |год=2006 }}</ref>

Из уравнений можно сделать один важный вывод, который на разговорном языке можно назвать как ''гравитация сама создаёт гравитацию''.{{refn|group=note| Точнее, гравитационное поле соединяется с самим собой. В ньютоновской гравитации потенциал двух точечных масс - это просто сумма потенциалов двух масс, но это не относится к ОТО. Это можно рассматривать как результат принципа эквивалентности: если гравитация не соединялась сама с собой, две частицы, связанные их взаимным гравитационным притяжением, не имели бы такой же инерционной массы (из-за отрицательной энергии связи) в качестве своей гравитационной массы.<ref name="Carroll"/>{{rp|112–113}} }} Энергия имеет массу. Даже в ньютоновской гравитации гравитационное поле связано с энергией, {{nowrap|1=''E = mgh'',}}, называемой [[Гравитационная энергия|гравитационной потенциальной энергией]]. В общей теории относительности энергия гравитационного поля возвращается к созданию гравитационного поля. Это делает уравнения нелинейными и трудными для решения во всех случаях, кроме случая слабого поля.<ref name = Schutz/>{{rp|240}} [[Численная относительность]] является ветвью общей теории относительности и использует численные методы с привлечением суперкомпьютеров для изучения [[чёрная дыра|чёрных дыр]], [[гравитационные волны|гравитационных волн]], [[нейтронная звезда|нейтронных звёзд]] и других явлений с сильными полями.

==== Энергия-импульс ====
{{Кратное изображение
<!-- Layout -->
 | ширина            = 200
<!-- Header -->
<!--image 1-->
 | изобр1            = Gravitation_space_source.svg
<!-- | ширина1           = 869
 | height1           = 580-->
<!--image 2-->
 | изобр2            = Gravitomagnetic field due to angular momentum.svg
<!-- | ширина2            = 261
 | height2           = 200-->
<!-- Footer -->
 | фон_заголовка     = 
 | зона_заголовка    = <!-- left (default), center, right -->
 | подпись           = Рисунок 5-6. (слева) Масса-энергия деформирует пространство-время. <br>(справа) Вращающееся распределение массы-энергии с [[Момент импульса|моментом импульса]] '''J''' генерирует [[Гравитомагнетизм| гравитомагнитное поле]] '''H'''
}}

В специальной теории относительности масса-энергия тесно связана с [[импульс]]ом. Как мы уже обсуждали ранее в разделе [[#Энергия и импульс|Энергия и импульс]], так же, как пространство и время являются разными аспектами более всеобъемлющего объекта, называемого пространством-временем, масса-энергия и импульс просто разные аспекты единой, четырёхмерной величины, называемой [[четырёхимпульс]]. Следовательно, если масса-энергия является источником силы тяжести, импульс также должен быть таким источником. Включение импульса в качестве источника силы тяжести приводит к предсказанию того, что движущиеся или вращающиеся массы могут генерировать поля, аналогичные магнитным полям, генерируемым движущимися зарядами, явление, известное как [[гравитомагнетизм]].<ref>{{книга |заглавие=Near zero: New Frontiers of Physics |издательство={{Нп3|W. H. Freeman and Company}} |страницы=573—586 |ссылка=https://www.webcitation.org/6rbWgTLxe?url=https://pdfs.semanticscholar.org/f9b7/4f316437af586bc20835fe2f6fc47eeca3c2.pdf |дата ссылки=30 June 2017 |автор=Thorne, Kip S. |ответственный=Fairbank, J. D.; Deaver Jr., B. S.; Everitt, W. F.; Michelson, P. F. |год=1988 }}</ref>

[[Файл:Special relativistic explanation of gravitomagnetism.svg|300px|thumb|Рисунок 5-7. Источник гравитомагнетизма.]]
Хорошо известно, что сила магнетизма может быть выведена путём применения правил специальной теории относительности к движущимся зарядам. (Красноречивая демонстрация этого была представлена Фейнманом в томе II, {{nowrap|1 = глава 13-6}} его ''Лекций по физике'', доступных онлайн.<ref>{{книга |заглавие=The Feynman Lectures on Physics, vol. 2 |издательство=[[Basic Books]] |isbn=9780465024162 |страницы=13—6 to 13—11 |издание=New Millenium |ссылка=http://www.feynmanlectures.caltech.edu/II_13.html |автор=Feynman, R. P.; Leighton, R. B.; Sands, M. |год=1964 }}</ref>) Аналогичную логику можно использовать для доказательства происхождения гравитомагнетизма. На рис.5-7а два параллельных бесконечно длинных потока массивных частиц имеют равные и противоположные скорости ''-v'' и ''+v'' относительно неподвижной пробной частицы, центрированной между ними. Из-за симметрии установки общая сила на центральную частицу равна нулю. Предположим, что {{nowrap|1=''v'' << ''c''}}, так что скорости просто суммируются. На рис.5-7b показана точно такая же установка, но в системе отсчёта верхнего потока. Пробная частица имеет скорость ''+v'', а нижний поток имеет скорость +2''v''. Поскольку физически ситуация не изменилась, а изменилась только система отсчёта, в которой мы наблюдаем за экспериментом, пробная частица не должна притягиваться ни к одному из потоков. Но не очевидно, что силы, действующие на пробную частицу, равны. (1) Поскольку нижний поток движется быстрее верхнего, каждая частица в нижнем потоке имеет большую массу-энергию, чем частица в верхнем. (2) Из-за сокращения Лоренца в нижнем потоке больше частиц на единицу длины, чем в верхнем потоке. (3) Ещё один вклад в активную гравитационную массу нижнего потока исходит из дополнительного члена давления, для обсуждения которого на данный момент у нас недостаточно подготовки. Все эти эффекты вместе, казалось бы, дожны требовать, чтобы пробная частица притягивалась к нижнему потоку.


Пробная частица не притягивается к нижнему потоку из-за зависящей от скорости силы, которая отталкивает частицу ''движущуюся в том же направлении, что и нижний поток''. Этот зависящий от скорости гравитационный эффект является гравитомагнетизмом.<ref name=Schutz/>{{rp|245–253}}

Таким образом, материя, движущаяся через гравитамагнитное поле, подвержена так называемым эффектам ''[[Увлечение инерциальных систем отсчёта|увлечения инерциальных систем отсчёта]]'', аналогичным [[Электромагнитная индукция|электромагнитной индукции]]. Было предложено, что такие гравитамагнитные силы лежат в основе генерации [[Релятивистская струя|релятивистских струй (джетов)]] (см. рис. 5-8), выбрасываемых некоторыми вращающимися [[Сверхмассивная чёрная дыра|сверхмассивными чёрными дырыми]].<ref>{{статья |заглавие=Extracting X rays, Ύ rays, and relativistic e<sup>−</sup>–e<sup>+</sup> pairs from supermassive Kerr black holes using the Penrose mechanism |издание=[[Physical Review|Physical Review D]] |том=51 |номер=10 |страницы=5387—5427 |doi=10.1103/PhysRevD.51.5387 |bibcode=1995PhRvD..51.5387W |pmid=10018300 |язык=en |тип=journal |автор=Williams, R. K. |год=1995}}</ref><ref>{{статья |заглавие=Collimated escaping vortical polar e<sup>−</sup>–e<sup>+</sup> jets intrinsically produced by rotating black holes and Penrose processes |издание=[[The Astrophysical Journal]] |том=611 |номер=2 |страницы=952—963 |doi=10.1086/422304 |bibcode=2004ApJ...611..952W |arxiv=astro-ph/0404135 |язык=en |тип=journal |автор=Williams, R. K. |год=2004 |издательство=[[IOP Publishing]]}}</ref>

==== Давление и напряжение ====
Величины, которые непосредственно связаны с энергией и импульсом, также должны быть источниками гравитации. Это внутреннее [[давление]] и [[механическое напряжение]]. Взятые вместе, {{nowrap|1 = масса-энергия}}, импульс, давление и напряжение служат источниками силы тяжести: в совокупности это всё то, что искривляет пространство-время.

Общая теория относительности предсказывает, что давление действует как источник гравитации с той же силой, что и плотность массы-энергии. Включение давления как источника силы тяжести приводит к резким различиям между предсказаниями общей теории относительности и прогнозами ньютоновской гравитации. Например, член давления устанавливает максимальный предел массы [[Нейтронная звезда|нейтронной звезды]]. Чем массивнее нейтронная звезда, тем больше давления требуется для удержания её веса в силе тяжести. Однако повышенное давление увеличивает силу тяжести, действующей на массу звезды. При определённой массе, определяемой пределом [[Предел Оппенгеймера — Волкова|Толмена-Оппенгеймера-Волкова]], процесс становится необратимым, и нейтронная звезда сжимается до [[чёрная дыра|чёрной дыры]].<ref name=Schutz/>{{rp|243,280}}

Члены давления становятся весьма существенными при выполнении таких расчётов как гидродинамическое моделирование коллапса сверхновых.<ref>{{статья |заглавие=Fully General Relativistic Simulations of Core-Collapse Supernovae with An Approximate Neutrino Transport |издание=[[The Astrophysical Journal]] |том=755 |страницы=11 |arxiv=1202.2487 |doi=10.1088/0004-637X/755/1/11 |bibcode=2012ApJ...755...11K |язык=en |тип=journal |автор=Kuroda, Takami; Kotake, Kei; Takiwaki, Tomoya |год=2012 |издательство=[[IOP Publishing]]}}</ref>

==== Экспериментальная проверка ====
Эти предсказания о роли давления, импульса и механического напряжения в качестве источников кривизны пространства-времени играют важную роль в общей теории относительности. Если рассмотреть давление, то в ранней Вселенной преобладало излучение,<ref>{{cite web |last=Wollack |first=Edward J. |title=Cosmology: The Study of the Universe |work=Universe 101: Big Bang Theory |publisher=[[NASA]] |date=2010-12-10 |url=http://map.gsfc.nasa.gov/universe/ |accessdate=2017-04-15 |archiveurl=https://web.archive.org/web/20110514230003/http://map.gsfc.nasa.gov/universe/ |archivedate=2011-05-14 |ref=harv }}</ref> и маловероятно, чтобы любые из соответствующих космологических данных (например, [[нуклеосинтез]]) могут быть воспроизведены, если бы давление не участвовало в гравитации, или если бы оно не имело такой же силы в качестве источника силы тяжести, как {{nowrap|1 = масса-энергия }}. Аналогично, математическая согласованность уравнений поля Эйнштейна была бы нарушена, если бы механическое напряжение не вносило вклад в силу тяжести.

Всё это хорошо, но есть ли какие-либо '''''прямые''''', количественные экспериментальные или наблюдаемые измерения, которые подтверждают, что эти термины влияют на гравитацию?

===== Активная, пассивная и инерционная массы =====
Прежде чем обсуждать экспериментальные данные по различным источникам гравитации, нам нужно сначала обсудить различия Бонди между возможными типами массы: (1) активная масса {{nowrap|1 = (<math>m_a</math>)}} масса, которая действует как '''''источник''''' гравитационного поля; (2) пассивная масса {{nowrap|1 = (<math>m_p</math>)}} — масса, которая '''''реагирует''''' на гравитационное поле; (3) инерционная масса {{nowrap|1 = (<math>m_i</math>)}} — масса, которая реагирует на ускорение.<ref name = Bondi/>

* <math> m_p </math> совпадает с тем, что мы ранее называли гравитационной массой {{nowrap | 1 = (<math> m_g </math>)}} в нашем обсуждении принципа эквивалентности в разделе '''[[#Основные положения|Основные положения]]'''.

В теории Ньютона,
* Третий закон действия и противодействия диктует, что <math> m_a </math> и <math> m_p </math> должны быть одинаковыми.
* С другой стороны, равны ли <math> m_p </math> и <math> m_i </math> это эмпирический результат.

[[Файл:Cavendish and Kreuzer Torsion Balance Diagrams.svg|thumb|330px|Рисунок 5-9. <br>(A) Эксперимент Кавендиша<br> (B) Эксперимент Крейзера]]
В общей теории относительности,
* Равенство <math> m_p </math> и <math> m_i </math> продиктовано принципом эквивалентности.
* Нет принципа «действия и противодействия» с диктовкой любых отношений между <math>m_a</math> и <math>m_p</math>.<ref name=Bondi>{{книга |заглавие=The Role of Gravitation in Physics: Report from the 1957 Chapel Hill Conference |издательство=Max Planck Research Library |место=Berlin |isbn=9783869319636 |страницы=159—162 |ссылка=http://www.edition-open-sources.org/sources/5/24/index.html |язык=en |автор=Bondi, Hermann |ответственный=DeWitt, Cecile M.; Rickles, Dean |год=1957}}</ref>

===== Давление как источник гравитации =====
{{Кратное изображение
<!-- Layout -->
 | ширина            = 200
<!-- Header -->
<!--image 1-->
 | изобр1            = Apollo 11 Lunar Laser Ranging Experiment.jpg
 | ширина1            = 2349 
 | высота1            = 2373
<!--image 2-->
 | изобр2            = LunarLaserMLRS.gif
 | ширина2            = 473
 | высота2            = 729
<!-- Footer -->
 | footer_background = 
 | footer_align      = <!-- left (default), center, right -->
 | подпись            = Рисунок 5-10. Эксперимент по лазерной локации Луны. <br>(слева) Этот [[катафот|светоотражатель]] оставлен на Луне астронавтами в миссии [[Аполлон-11]]. <br>(справа) Астрономы во всем мире ловили свет от светоотражателей, оставленных астронавтами Аполлона, и советских луноходов, чтобы измерить точное расстояние между Землёй и Луной.
}}

Классический эксперимент по измерению силы источника гравитации (то есть его активной массы) был впервые проведён в 1797 году — [[Эксперимент Кавендиша]] (рис. 5-9а). Два маленьких но плотных шара подвешиваются на тонкой проволоке, образуя крутильные весы. Приближение двух больших масс близко к шарам приводит к заметному крутящему моменту. Учитывая размеры устройства и измеряемый коэффициент упругости подвеса, можно определить гравитационную постоянную ''G''.

Изучение эффектов давления путём сжатия испытываемых масс является бесполезным, поскольку достижимые лабораторные давления незначительны по сравнению с {{nowrap | 1 = массой-энергией}} металлического шарика.

Однако отталкивающее электромагнитное давление, возникающее при плотном сжатии протонов внутри атомных ядер, обычно составляет порядка 10<sup> 28 </sup> атм ≈ 10<sup>33</sup> Па ≈ 10<sup>33</sup> кг·с<sup>−2</sup>т<sup>1</sup>. Это составляет около 1 % от массовой плотности ядра примерно 10<sup>18</sup>кг/м<sup>3</sup> (после факторизации в c <sup>2</sup> ≈ 9 × 10<sup>16</sup> т<sup>2</sup> c<sup>−2</sup>).<ref>{{книга |заглавие=General Relativity |издательство=Light and Matter |место=Fullerton, CA |страницы=241—258 |ссылка=http://www.lightandmatter.com |автор=Crowell, Benjamin |год=2000 }}</ref>

Если давление не является источником гравитации, то отношение <math> m_a/m_p </math> должно быть ниже для ядер с более высоким атомным номером ''Z'', в котором больше электростатическое давление. {{Nowrap | 1 = Л. Б. Крейзер}} (1968) провёл эксперимент Кавендиша с использованием массы тефлона, суспендированной в смеси жидкостей трихлорэтилена и дибромэтана, имеющих ту же плавучую плотность, что и тефлон (рис. 5-9b). Фтор имеет атомный номер {{nowrap|1=''Z'' = 9}}, а бром имеет {{nowrap|1=''Z'' = 35}}. Крейцер обнаружил, что изменение массы тефлона не приводит к дифференциальному отклонению торсионного стержня, поэтому установление активной массы и пассивной массы эквивалентно точности 5 × 10<sup>−5</sup>.<ref>{{статья |заглавие=Experimental measurement of the equivalence of active and passive gravitational mass |издание=[[Physical Review]] |том=169 |номер=5 |страницы=1007—1011 |bibcode=1968PhRv..169.1007K |doi=10.1103/PhysRev.169.1007 |язык=en |тип=journal |автор=Kreuzer, L. B. |год=1968}}</ref>

Хотя Крейцер первоначально считал этот эксперимент просто проверкой отношения активной массы к пассивной массе, Клиффорд Уилл (1976) переинтерпретировал эксперимент как фундаментальный тест на связывание источников с гравитационными полями.<ref>{{статья |заглавие=Active mass in relativistic gravity-Theoretical interpretation of the Kreuzer experiment |издание=[[The Astrophysical Journal]] |том=204 |страницы=224—234 |ссылка=http://articles.adsabs.harvard.edu/full/seri/ApJ../0204/1976ApJ...204..224W.html |bibcode=1976ApJ...204..224W |doi=10.1086/154164 |язык=en |тип=journal |автор=Will, C. M. |год=1976 |издательство=[[IOP Publishing]]}}</ref>

В 1986 году Бартлетт и Ван Бурен отметили, что [[лазерная локация Луны]] обнаружила смещение в 2 км между центром формы Луны и её центром масс. Это указывает на асимметрию распределения Fe (много в лунном ядре) и Al (много в её коре и мантии). Если бы давление не способствовало равномерности кривизны пространства-времени, как масса-энергия, луна не была бы на орбите, предсказанной классической механикой. Они использовали свои измерения для сужения пределов любых расхождений между активной и пассивной массой примерно до 1 × 10<sup>−12</sup>.<ref>{{статья |заглавие=Equivalence of active and passive gravitational mass using the moon |издание=[[Physical Review Letters|Phys. Rev. Lett.]] |том=57 |номер=1 |страницы=21—24 |doi=10.1103/PhysRevLett.57.21 |pmid=10033347 |ссылка=https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.57.21 |accessdate=2017-07-01 |bibcode=1986PhRvL..57...21B |язык=en |тип=journal |автор=Bartlett, D. F.; Van Buren, Dave |год=1986}}</ref>

===== Гравитомагнетизм =====
[[Файл:Gravity Probe B Confirms the Existence of Gravitomagnetism.jpg|330px|thumb|Рисунок 5-11. Зонд «Gravity Probe-B» подтвердил существование гравитомагнетизма.]]
Существование гравитомагнетизма было доказано при помощи [[Gravity Probe B]] {{nowrap|1 = (GP-B)}}, спутниковой миссии, которая была запущена 20 апреля 2004 года<ref>{{cite web
 |url=http://einstein.stanford.edu/content/faqs/faqs.html#launch
 |title=Gravity Probe B: FAQ
 |accessdate=2017-07-02
 |archive-date=2018-06-02
 |archive-url=https://web.archive.org/web/20180602231753/http://einstein.stanford.edu/content/faqs/faqs.html#launch
 |deadlink=no
 }}</ref>. Фаза космического полёта продолжалась до 2005 года. Цель миссии состояла в том, чтобы измерить кривизну пространства-времени около Земли с особым упором на [[гравитомагнетизм]].

Первоначальные результаты подтвердили относительно большую [[Геодезическая прецессия|геодезическую прецессию]] (которая объясняется просто кривизной пространства-времени и также известна как прецессия де Ситтера) с точностью около 1 %. Значительно меньший эффект [[Увлечение инерциальных систем отсчёта|увлечения инерциальных систем отсчёта]] (который обусловлен гравитомагнетизмом и также известен как [[Увлечение инерциальных систем отсчёта#Эффект Лензе — Тирринга|Эффект Лензе—Тирринга]]) было трудно измерить из-за неожиданных эффектов заряда, вызывающих переменный дрейф в гироскопах. Тем не менее, к <time datetime = "2008-08"> августу 2008</time>, увлечения инерциальных систем отсчёта был подтверждён в пределах 15 % от ожидаемого результата<ref name = "Gugliotta2009">{{cite news
 | last = Gugliotta
 | first = G.
 | title = Perseverance Is Paying Off for a Test of Relativity in Space
 | work = [[New York Times]]
 | date = 2009-02-16
 | url = https://www.nytimes.com/2009/02/17/science/17gravity.html?_r=1
 | accessdate = 2017-07-02
 | archivedate = 2018-09-03
 | archiveurl = https://web.archive.org/web/20180903151359/https://www.nytimes.com/2009/02/17/science/17gravity.html?_r=1
 }}</ref>, в то время как геодезическая прецессия была подтверждена до 0,5 %<ref>{{cite web
 |author1=Everitt, C.W.F.
 |author2=Parkinson, B.W.
 |url=http://einstein.stanford.edu/content/final_report/GPB_Final_NASA_Report-020509-web.pdf
 |title=Gravity Probe B Science Results—NASA Final Report
 |format=PDF
 |date=2009
 |accessdate=2017-07-02
 |archive-date=2017-04-12
 |archive-url=https://web.archive.org/web/20170412200353/https://einstein.stanford.edu/content/final_report/GPB_Final_NASA_Report-020509-web.pdf
 |deadlink=no
 }}</ref><ref name=PRL>{{статья |заглавие=Gravity Probe B: Final Results of a Space Experiment to Test General Relativity |издание=[[Physical Review Letters]] |том=106 |номер=22 |страницы=221101 |doi=10.1103/PhysRevLett.106.221101 |arxiv=1105.3456 |bibcode=2011PhRvL.106v1101E |pmid=21702590 |язык=en |тип=journal |автор=Everitt et al. |год=2011}}
</ref>.

Последующие измерения увлечения инерциальных систем отсчёта с помощью лазерно-дальномерных наблюдений спутников [[LARES]], {{nowrap|1 = [[LAGEOS]]-1}} и {{nowrap|1 = LAGEOS-2}} улучшили измерения {{nowrap | 1 = GP-B}}, с результатами (по состоянию на 2016 год), демонстрирующим эффект в пределах 5 % от его теоретического значения<ref>{{статья |заглавие=A test of general relativity using the LARES and LAGEOS satellites and a GRACE Earth gravity model |издание={{Нп3|European Physical Journal C|Eur Phys J C Part Fields||European Physical Journal C}} |том=76 |номер=3 |страницы=120 |doi=10.1140/epjc/s10052-016-3961-8 |pmc=4946852 |arxiv=1603.09674 |bibcode=2016EPJC...76..120C |pmid=27471430 |язык=en |тип=journal |автор=Ciufolini, Ignazio; Paolozzi, Antonio Rolf Koenig; Pavlis, Erricos C.; Koenig, Rolf |год=2016}}</ref>, хотя были некоторые споры по поводу точности этого результата<ref>{{статья |заглавие=A comment on "A test of general relativity using the LARES and LAGEOS satellites and a GRACE Earth gravity model. Measurement of Earth's dragging of inertial frames," by I. Ciufolini et al |издание={{Нп3|European Physical Journal C|The European Physical Journal C||European Physical Journal C}} |том=77 |номер=2 |страницы=73 |doi=10.1140/epjc/s10052-017-4607-1 |bibcode=2017EPJC...77...73I |arxiv=1701.06474 |язык=en |тип=journal |автор=Iorio, L. |месяц=2 |год=2017}}</ref>.

Ещё одна попытка — эксперимент «Гироскопы в общей теории относительности» (GINGER) — предполагает использование трёх 6-дюймовых {{нп3|кольцевой лазер|кольцевых лазеров|en|Ring_laser}}, установленных под прямым углом друг к другу на 1400 м над земной поверхностью для измерения этого эффекта<ref>{{cite web |last1=Cartlidge |first1=Edwin |title=Underground ring lasers will put general relativity to the test |url=http://physicsworld.com/cws/article/news/2016/jan/20/underground-ring-lasers-will-put-general-relativity-to-the-test |website=physicsworld.com |publisher=Institute of Physics |accessdate=2017-07-02 |archive-date=2017-07-12 |archive-url=https://web.archive.org/web/20170712144159/http://physicsworld.com/cws/article/news/2016/jan/20/underground-ring-lasers-will-put-general-relativity-to-the-test |deadlink=no }}</ref><ref>{{cite web |title=Einstein right using the most sensitive Earth rotation sensors ever made |url=https://phys.org/news/2017-05-einstein-sensitive-earth-rotation-sensors.html |website=Phys.org |publisher=Science X network |accessdate=2017-07-02 |archive-date=2017-05-10 |archive-url=https://web.archive.org/web/20170510173326/https://phys.org/news/2017-05-einstein-sensitive-earth-rotation-sensors.html |deadlink=no }}</ref>.

== Технические вопросы ==

=== Действительно ли пространство-время искривлено? ===
В [[Конвенционализм|конвенциональных]] взглядах Пуанкаре существенными критериями, согласно которым следует выбрать евклидову или неевклидову геометрию, является экономичность и простота. Реалист сказал бы, что Эйнштейн обнаружил, что пространство-время было неевклидовым. Традиционалист сказал бы, что Эйнштейн просто счёл ''более удобным'' использовать неевклидову геометрию. Традиционалист утверждал бы, что анализ Эйнштейна ничего не сказал о том, какая ''действительно'' геометрия пространства-времени.<ref name="Murzi">{{cite web|last1=Murzi|first1=Mauro|title=Jules Henri Poincaré (1854–1912)|url=http://www.iep.utm.edu/poincare/#H4|publisher=Internet Encyclopedia of Philosophy (ISSN 2161-0002)|accessdate=2018-04-09|archive-date=2020-12-23|archive-url=https://web.archive.org/web/20201223123326/http://www.iep.utm.edu/poincare/#H4|deadlink=no}}</ref>

Другими словами,
: 1. Можно ли представить общую теорию относительности в терминах плоского пространства-времени?
: 2. Существуют ли ситуации, когда плоская пространственно-временная интерпретация общей теории относительности может быть ''более удобной'', чем обычная искривлённая пространственно-временная интерпретация?

В ответ на первый вопрос ряд авторов, в том числе Дезер, Грищук, Розен, Вайнберг и т. д., представили различные формулировки гравитации как поля в плоском многообразии. Эти теории имеют разные названия, такие как «биметрическая гравитация», «теоретико-полевой подход к общей теории относительности» и т. д.<ref name="Deser1970">{{статья |заглавие=Self-Interaction and Gauge Invariance |издание=[[General Relativity and Gravitation]] |том=1 |номер=18 |страницы=9—8 |ссылка=https://arxiv.org/pdf/gr-qc/0411023.pdf |accessdate=2018-04-09 |arxiv=gr-qc/0411023 |bibcode=1970GReGr...1....9D |doi=10.1007/BF00759198 |язык=en |автор=Deser, S. |год=1970 |тип=journal}}</ref><ref name="Grishchuk1984">{{статья |заглавие=Exact Theory of the (Einstein) Gravitational Field in an Arbitrary Background Space-Time |издание={{Нп3|Communications in Mathematical Physics}} |том=94 |страницы=379—396 |ссылка=https://projecteuclid.org/download/pdf_1/euclid.cmp/1103941358 |accessdate=2018-04-09 |bibcode=1984CMaPh..94..379G |doi=10.1007/BF01224832 |язык=en |тип=journal |автор=Grishchuk, L. P.; Petrov, A. N.; Popova, A. D. |год=1984}}</ref><ref name="Rosen1940">{{статья |заглавие=General Relativity and Flat Space I |издание=[[Physical Review]] |том=57 |номер=2 |страницы=147—150 |doi=10.1103/PhysRev.57.147 |bibcode=1940PhRv...57..147R |язык=en |автор=Rosen, N. |год=1940 |тип=journal}}</ref><ref name="Weinberg1964">{{статья |заглавие=Derivation of Gauge Invariance and the Equivalence Principle from Lorentz Invariance of the S-Matrix |издание={{Нп3|Physics Letters}} |том=9 |номер=4 |страницы=357—359 |doi=10.1016/0031-9163(64)90396-8 |bibcode=1964PhL.....9..357W |язык=en |тип=journal |автор=Weinberg, S. |год=1964}}</ref> У Кип Торна есть популярный обзор этих теорий.<ref name="Thorne1995">{{книга |заглавие=Black Holes & Time Warps: Einstein's Outrageous Legacy |издательство=[[W. W. Norton & Company]] |isbn=978-0393312768 |автор=Thorne, Kip |год=1995 }}</ref>{{rp|397–403}}

Плоская пространственно-временная парадигма утверждает, что материя создаёт гравитационное поле, которое заставляет линейки сжиматься, когда они повёрнуты от периферической ориентации к радиальной, и это приводит к тому, что скорости тикания часов замедляются. Плоская пространственно-временная парадигма полностью эквивалентна искривлённой парадигме пространства-времени в том, что они обе представляют одни и те же физические явления. Однако их математические формулировки совершенно разные. Работая физики обычно переключаются между использованием методов искривлённого и плоского пространства-времени в зависимости от требований задачи. Плоская пространственно-временная парадигма оказывается особенно удобной при выполнении приближённых вычислений в слабых полях. Следовательно, при решении задач гравитационных волн будут использоваться методы плоского пространства-времени, а при анализе чёрных дыр будут использоваться методы искривлённого пространства-времени.

=== Геометрия Римана ===
{{main|Риманова геометрия}}

=== Искривлённые многообразия ===
{{main|Многообразие|Псевдориманово многообразие|Гладкое многообразие}}

=== Привилегированное положение 3+1 пространства-времени ===
{{main|Антропный принцип|Многомерное время}}
Существует два вида размерностей: пространственные и временные. Пространственную размерность обозначают буквой N, а временную буквой Т. Пространственно-временной континуум с размерностью N=3 и Т=1 имеет преимущество с точки зрения [[Антропный принцип|антропного принципа]].

== Пространство-время в культуре ==
[[Шопенгауэр, Артур|Артур Шопенгауэр]] писал в § 18 труда ''«О четверояком корне закона достаточного основания»'' (1813): «…только во времени представление сосуществования невозможно; в другой своей половине оно обусловлено представлением пространства, так как только во времени все есть одно после другого, в пространстве же — одно подле другого: таким образом, это представление возникает только из соединения времени и пространства».

Идея о едином пространстве-времени изложена [[По, Эдгар Аллан|Эдгаром Аланом По]] в его очерке о космологии, озаглавленном ''«Эврика»'' (1848): «Пространство и длительность суть одно».

В 1895 в романе «[[Машина времени (роман)|Машина времени]]» [[Уэллс, Герберт Джордж|Герберт Уэллс]] писал: «Между временем и тремя измерениями пространства нет никакой разницы, за исключением того, что во времени движется наше сознание», и что «…каждое реальное тело должно обладать четырьмя измерениями: оно должно иметь длину, ширину, высоту и продолжительность существования».

== Заключение ==
Первый развёрнутый вариант модели естественного объединения пространства и времени, [[пространство Минковского]], был создан [[Минковский, Герман|Германом Минковским]] в [[1908 год]]у<ref>Hermann Minkowski, «[[s:de:Raum und Zeit (Minkowski)|Raum und Zeit]]», 80. Versammlung Deutscher Naturforscher (Köln, 1908). Published in Physikalische Zeitschrift '''10''' 104—111 (1909) and Jahresbericht der Deutschen Mathematiker-Vereinigung '''18''' 75-88 (1909).</ref> на основе [[специальная теория относительности|специальной теории относительности]] [[Эйнштейн]]а, а несколько ранее (в [[1905 год]]у), ключевое продвижение на этом пути сделал [[Анри Пуанкаре]], заложивший основы четырёхмерного пространственно-временного формализма.

Концепцию пространства-времени допускает и [[классическая механика]]<ref>Работы [[Арнольд, Владимир Игоревич|В. И. Арнольда]], в частности, «Математические методы классической механики».</ref>, но в ней это объединение искусственно, так как пространство-время классической механики — [[прямое произведение]] пространства на время, то есть пространство и время независимы друг от друга. Однако уже классическая электродинамика требует при смене системы отсчёта преобразований координат, включающих время «наравне» с пространственными координатами (т. н. [[преобразования Лоренца|преобразований Лоренца]]), если желать, чтобы [[Уравнения Максвелла|уравнения электродинамики]] имели одинаковый вид в любой инерциальной системе отсчёта. Непосредственно наблюдаемые временные характеристики электромагнитных процессов (периоды колебаний, времена распространения электромагнитных волн и т. п.) уже в классической электродинамике оказываются зависящими от системы отсчёта (или, иначе говоря, от относительного движения наблюдателя и объекта наблюдения), то есть оказываются не «абсолютными», а определённым образом связанными с пространственным движением и даже положением в пространстве системы отсчёта, что и явилось первым толчком для формирования современной физической концепции единого пространства-времени.

Ключевым математическим отличием пространства-времени ([[пространство Минковского|пространства Минковского]], или, в случае общей теории относительности — четырёхмерного многообразия с [[Метрика Лоренца|лоренцевой метрикой]]) от обычного [[евклидово пространство|евклидова]] 4-мерного пространства является то, что при вычислении расстояния ([[Интервал (теория относительности)|интервала]]) квадраты значений разностей времени и длин пространственных координат берутся с противоположными знаками (в обычном пространстве соответствующие значения равноправны для любой оси координат и имеют одинаковый знак). Из этого вытекает следующее: прямая между двумя точками этого континуума (под прямой понимается движение по инерции) даёт максимальную продолжительность [[Мировая линия|собственного времени]] (интервала). Для пространственной же длины прямая — минимальная, а не максимальная величина<ref>Дубровин Б. А., Новиков С. П., Фоменко А. Т. Современная геометрия: методы и приложения. Т. 1—3. Изд. 6-е. — М.: УРСС, 2013.</ref>.

В контексте [[теория относительности|теории относительности]] время неотделимо от трёх пространственных измерений и зависит от [[скорость|скорости]] наблюдателя<ref group = note>Притом, что формально переход к движущейся системе отсчёта аналогичен повороту осей в пространстве Минковского (и это даёт простой и компактный способ пересчёта реальных физических величин, то есть имеет вполне наблюдаемые нетривиальные физические следствия!), тем не менее, как бы не интерпретировать эту формальную аналогию с поворотом в обычном пространстве, на повороты в пространстве-времени наложены существенные физические ограничения, также определяющие ограничения аналогии пространства-времени с обычным евклидовым пространством, хотя бы и четырёхмерным (то есть описываемое в этом примечании — это ещё одна сторона качественного отличия пространства-время теории относительности от «просто» четырёхмерного пространства). Так, в рамках специальной теории относительности невозможен, а в рамках общей (где надёжный анализ всех сложных случаев сильно затруднён) — крайне сомнителен, плавный непрерывный поворот движения наблюдателя в сторону обратного движения по времени (тогда как в обычном пространстве можно поворачивать в любую сторону).</ref> (см. [[Пространство Минковского#.D0.A1.D0.B2.D1.8F.D0.B7.D0.B0.D0.BD.D0.BD.D1.8B.D0.B5 .D0.BE.D0.BF.D1.80.D0.B5.D0.B4.D0.B5.D0.BB.D0.B5.D0.BD.D0.B8.D1.8F|собственное время]]).

Концепция пространства-времени сыграла исторически ключевую роль в создании геометрической теории гравитации. В рамках общей теории относительности гравитационное поле сводится к проявлениям геометрии четырёхмерного пространства-времени, которое в этой теории не является плоским (гравитационный потенциал в ней отождествлён с [[метрический тензор|метрикой]] пространства-времени).

Количество измерений, необходимых для описания Вселенной, окончательно не определено. [[Теория струн]] (суперструн), например, требовала наличия 10 (считая время), а теперь даже 11 измерений (в рамках [[М-теория|М-теории]]). Предполагается, что дополнительные (ненаблюдаемые) 6 или 7 измерений свёрнуты ([[компактификация|компактифицированы]]) до [[планковская длина|планковских]] размеров, так что экспериментально они пока не могут быть обнаружены. Ожидается, тем не менее, что эти измерения каким-то образом проявляют себя в макроскопическом масштабе. В самом старом — бозонном — варианте теория струн требует 26-мерного объемлющего пространства-времени; предполагается, что «лишние» измерения этой теории также должны или могут быть компактифицированы сначала до 10, сводясь таким образом к теории суперструн, а потом уже, как упомянуто здесь чуть выше, до 4 обычных измерений.

== См. также ==
{{кол|2}}
* [[Размерность пространства]]
* [[Пространство Минковского]]
* [[Преобразования Лоренца]]
* [[Теория относительности]]
* [[Метрика пространства-времени]]
* [[Секе|Секе (система координат у инков)]]
* [[Старшие размерности]]
* [[Философия пространства и времени]]
* [[Растущий блок Вселенной]]
{{кол|конец}}

== Примечания ==
;Комментарии
{{примечания|group=note|30em}}
{{примечания|group="Нажмите здесь для дополнительной информации"|30em}}

;Источники
{{примечания|2}}

== Ссылки ==
{{Навигация}}
* [http://www.femto.com.ua/articles/part_2/3150.html Пространство и время] — Физическая энциклопедия
* {{cite book| last = Penrose| first = Roger| author-link = Пенроуз, Роджер| title =The Road to Reality | publisher = Oxford University Press| year= 2004| location = Oxford| isbn = 0-679-45443-8}}
* {{cite book|last=Taylor|first=E. F.|author2=Wheeler, John|title=Spacetime Physics, Second Edition|publisher=W. H. Freeman|year=1992|location=Internet Archive|url=https://archive.org/details/spacetime_physics/|isbn=0-7167-2327-1}}

{{внешние ссылки}}
{{Размерность}}
{{Единицы измерения и стандарты времени}}

[[Категория:Специальная теория относительности]]
[[Категория:Общая теория относительности]]
[[Категория:Релятивистская механика]]
[[Категория:Достижения инков]]
[[Категория:Время в физике]]
[[Категория:Пространство в физике]]
[[Категория:Герман Минковский]]
[[Категория:Модели в физике]]
[[Категория:Конкретные модели]]
{{Навигационная таблица/Портал/Русская Википедия}}
[[Категория:Русская Википедия]]
[[Категория:Википедия]]
[[Категория:Статья из Википедии]]
[[Категория:Статья из Русской Википедии]]