Преобразования Лоренца

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Преобразова́ния Ло́ренца — линейные (или аффинные) преобразования векторного (соответственно, аффинного) псевдоевклидова пространства, сохраняющие длины или, что эквивалентно, скалярное произведение векторов.

Преобразования Лоренца псевдоевклидова пространства сигнатуры (n-1,\;1) находят широкое применение в физике, в частности, в специальной теории относительности (СТО), где в качестве аффинного псевдоевклидова пространства выступает четырёхмерный пространственно-временной континуум (пространство Минковского).

Преобразования Лоренца в математике[править | править вики-текст]

Преобразование Лоренца представляет собой естественное обобщение понятия ортогонального преобразования (то есть преобразования, сохраняющего скалярное произведение векторов) с евклидовых на псевдоевклидовы пространства. Различие между ними состоит в том, что скалярное произведение предполагается не положительно определённым, а знакопеременным и невырожденным (так называемое индефинитное скалярное произведение).

Определение[править | править вики-текст]

Преобразование Лоренца (лоренцево преобразование) псевдоевклидова векторного пространства \,L — это линейное преобразование \,A\colon L\to L, сохраняющее индефинитное скалярное произведение векторов. Это означает, что для любых двух векторов x,\;y\in L выполняется равенство

\langle A(x),\;A(y)\rangle=\langle x,\;y\rangle,

где треугольными скобками обозначено индефинитное скалярное произведение \langle x,\;y\rangle в псевдоевклидовом пространстве \,L.

Аналогично, преобразование Лоренца (лоренцево преобразование) псевдоевклидова аффинного пространства — это аффинное преобразование, сохраняющее расстояние между точками этого пространства (это расстояние определяется как длина вектора, соединяющего данные точки, с помощью индефинитного скалярного произведения).

Общие свойства[править | править вики-текст]

  • Так как любое аффинное преобразование является композицией параллельного переноса (очевидным образом, сохраняющего расстояние между точками) и преобразования, имеющего неподвижную точку, то группа преобразований Лоренца аффинного пространства (группа Пуанкаре) получается из группы преобразований Лоренца векторного пространства (группа Лоренца) такой же размерности путём добавления к ней всевозможных параллельных переносов.
  • Если в псевдоевклидовом векторном пространстве \,L выбран некоторый базис e_1,\;\ldots,\;e_n, то для индефинитного скалярного произведения \langle x,\;y\rangle определена матрица Грама \,G. Тогда матрица \,A преобразования Лоренца удовлетворяет соотношению
A^T\,G\,A=G,\qquad(*)

И обратно, любая матрица \,A, удовлетворяющая соотношению (*), является матрицей преобразования Лоренца. Всегда можно выбрать базис e_1,\;\ldots,\;e_n таким образом, что индефинитное скалярное произведение имеет вид

\langle x,\;y\rangle=x_1y_1+\ldots+x_ky_k-x_{k+1}y_{k+1}-\ldots-x_ny_n,

и в равенстве (*) матрица \,G ― диагональная с элементами \,1 (первые k) и \,-1 (последние n-k).

  • Из соотношения (*) следует, что, как и в случае ортогонального преобразования, определитель \,|A|=+1 или \,|A|=-1.
  • Если подпространство L_1\subset L инвариантно относительно лоренцева преобразования A\colon L\to L, то и его ортогональное (в смысле данного индефинитного скалярного произведения) дополнение L_1^\perp тоже инвариантно относительно преобразования \,A, причем \dim L_1+\dim L_1^\perp=\dim L. Однако, в отличие от ортогональных преобразований евклидовых пространств, равенство L_1\oplus L_1^\perp=L, где символ \oplus\! означает прямую сумму подпространств, вообще говоря, не имеет места (оба подпространства \,L_1 и L_1^\perp могут содержать одни и те же ненулевые изотропные векторы, то есть L_1\cap L_1^\perp\neq 0, так как любой изотропный вектор ортогонален сам себе).[1]

Свойства в пространствах сигнатуры (n-1, 1)[править | править вики-текст]

  • Из равенства \langle A(x),\;A(x)\rangle=\langle x,\;x\rangle следует, что лоренцево преобразование переводит световой конус в себя, а также переводит в себя его внешность (в СТО — область абсолютно удалённого). Однако при этом две компоненты светового конуса, разделенные его вершиной (в СТО они ограничивают конус будущего и конус прошлого), могут либо переходить в себя, либо меняться друг с другом местами.
  • Исходя из того, переставляет ли данное лоренцево преобразование \,A части светового конуса, или оставляет их на месте, а также из знака определителя \,|A|=\pm 1, группу Лоренца можно разделить на 4 части, которые являются её линейно связными компонентами (но подгруппой является лишь одна из них). Этот факт (наличие четырёх компонент связности) часто интерпретируют как наличие четырёх ориентаций псевдоевклидова пространства (в отличие от евклидова пространства, где есть только две ориентации).[1]

Явный вид преобразований псевдоевклидовой плоскости[править | править вики-текст]

Лоренцевы преобразования псевдоевклидовой плоскости можно записать в наиболее простом виде, используя базис e,\;g, состоящий из двух изотропных векторов:

\langle e,\;e\rangle=0,\quad\langle g,\;g\rangle=0,\quad\langle e,\;g\rangle=1/2.

Именно, в зависимости от знака определителя \,|A|=\pm 1, матрица преобразования в данном базисе имеет вид:

A=\begin{pmatrix} a&\ \ \, 0\\ 0&\, 1/a\end{pmatrix} \ \Leftrightarrow \ |A|=+1,  \qquad
A=\begin{pmatrix} 0&\ a\\ 1/a&\,0\end{pmatrix}  \ \Leftrightarrow \ |A|=-1,\qquad a\neq 0.

Знак числа a определяет то, оставляет ли преобразование \,A части светового конуса на месте (a>0), или меняет их местами (a<0).

Другой часто встречающийся вид матриц лоренцевых преобразований псевдоевклидовой плоскости получается при выборе базиса, состоящего из векторов \,e'=e+g и \,g'=e-g:

\langle e',\;e'\rangle=+1,\quad\langle g',\;g'\rangle=-1,\quad\langle e',\;g'\rangle=0.

В базисе \,e',\;g' матрица преобразования \,A имеет одну из четырёх форм:

\begin{pmatrix}\  \operatorname{ch}\varphi& \ \ \operatorname{sh}\varphi\\ 
\,\operatorname{sh}\varphi& \ \operatorname{ch}\varphi\end{pmatrix},  \quad
\begin{pmatrix}\  -\operatorname{ch}\varphi& \, \ -\operatorname{sh}\varphi\\ 
\,-\operatorname{sh}\varphi& \, -\operatorname{ch}\varphi\end{pmatrix},  \quad 
\begin{pmatrix}  -\operatorname{ch}\varphi& \, -\operatorname{sh}\varphi\\ 
\,\operatorname{sh}\varphi& \ \operatorname{ch}\varphi\end{pmatrix},  \quad
\begin{pmatrix}\  \operatorname{ch}\varphi& \ \, \operatorname{sh}\varphi\\ 
\,-\operatorname{sh}\varphi& \, -\operatorname{ch}\varphi\end{pmatrix},
\qquad (0)

где \operatorname{sh} и \operatorname{ch} — гиперболические синус и косинус.

Явный вид преобразований пространства сигнатуры (n-1, 1)[править | править вики-текст]

Лоренцевы преобразования n-мерного псевдоевклидова пространства \,L со скалярным произведением

\langle x,\;y\rangle=x_1y_1+\ldots+x_{n-1}y_{n-1}-x_ny_n\quad(1)

описываются следующей теоремой.

Теорема 1. Для всякого лоренцева преобразования \,A\colon L\to L существуют такие инвариантные подпространства L_0\subset L и L_1\subset L, что ограничение скалярного произведения (1) на каждое из них невырождено и имеет место ортогональное разложение

L=L_0\oplus L_1,\quad L_0\perp L_1,

причем подпространство \,L_0 со скалярным произведением (1) является евклидовым и \dim L_1\leqslant 3. [1]


Теорема 1 утверждает, что любое лоренцево преобразование псевдоевклидова пространства \,L сигнатуры (n-1,\;1) задается лоренцевым преобразованием псевдоевклидова пространства L_1\subset L размерности 1 или 2 или 3 и ортогональным преобразованием евклидова пространства L_0\subset L дополнительной размерности.

Лемма. Если \,\dim L_1=3, то инвариантное псевдоевклидово подпространство \,L_1, в свою очередь, представимо в виде прямой суммы

L_1=M_1\oplus M_2\oplus M_3 или L_1=M_1\oplus M_2

подпространств M_i\subset L_1, попарно ортогональных и инвариантных относительно преобразования \,A, за исключением одного единственного случая, когда преобразование A\colon L_1\to L_1 имеет единственное собственное значение \lambda=\pm 1 кратности 3 и единственный собственный вектор e\in L_1 является изотропным: \langle e,\;e\rangle=0. В этом единственном случае инвариантное подпространство \,L_1 не разлагается в прямую сумму никаких подпространств, инвариантных относительно преобразования A\colon L_1\to L_1, а является трёхмерным корневым подпространством этого преобразования.[1]


Теорема 1 вместе с леммой позволяют установить следующий результат:

Теорема 2. Для всякого лоренцева преобразования \,A\colon L\to L существует такой ортонормированный (относительно индефинитного скалярного произведения (1)) базис e_1,\;\ldots,\;e_n:

\langle e_1,\;e_1\rangle=\ldots=\langle e_{n-1},\;e_{n-1}\rangle=+1,\quad\langle e_n,\;e_n\rangle=-1,\quad\langle e_i,\;e_j\rangle=0\;(\forall i\neq j),

в котором матрица \,A имеет блочно-диагональный вид с блоками следующих типов:

  • порядка 1 с элементом \pm 1,
  • порядка 2 — матрица поворота евклидовой плоскости на угол \varphi,
  • порядка 2 — матрица лоренцева преобразования псевдоевклидовой плоскости вида (0),
  • порядка 3 — матрица лоренцева преобразования трёхмерного псевдоевклидова пространства с трёхкратным собственным значением \lambda=\pm 1 и единственным собственным вектором, являющимся изотропным.

При этом матрица \,A может содержать не более одного блока, относящегося двум последним типам.[1]


Кроме того, имеет место следующее представление лоренцевых преобразований n-мерного псевдоевклидова пространства \,L со скалярным произведением (1).

Теорема 3. Всякое лоренцево преобразование \,A\colon L\to L пространства \,L со скалярным произведением (1) представимо в виде композиции следующих линейных преобразований:

  • ортогонального преобразования евклидова подпространства, заданного уравнением \,x_n=0, с координатами (x_1,\;\ldots,\;x_{n-1}),
  • лоренцева преобразования псевдоевклидовой плоскости с координатами \,(x_i,\;x_n) с некоторым i<n,
  • отражений вида x_i\mapsto\pm x_i, i\in\{1,\;\ldots,\;n\}.[2]


Преобразования Лоренца в физике[править | править вики-текст]

Преобразованиями Лоренца в физике, в частности, в специальной теории относительности (СТО), называются преобразования, которым подвергаются пространственно-временные координаты (x,\;y,\;z,\;t) каждого события при переходе от одной инерциальной системы отсчета (ИСО) к другой. Аналогично, преобразованиям Лоренца при таком переходе подвергаются координаты любого 4-вектора.

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

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

С математической точки зрения преобразования Лоренца — это преобразования, сохраняющие неизменной метрику Минковского, то есть, в частности, последняя сохраняет при них простейший вид при переходе от одной инерциальной системы отсчёта к другой (другими словами преобразования Лоренца — это аналог для метрики Минковского ортогональных преобразований, осуществляющих переход от одного ортонормированного базиса к другому, то есть аналог поворота координатных осей для пространства-времени). В математике или теоретической физике преобразования Лоренца могут относиться к любой размерности пространства.

Именно преобразования Лоренца, смешивающие — в отличие от преобразований Галилея — пространственные координаты и время, исторически стали основой для формирования концепции единого пространства-времени.

  • Следует заметить, что лоренц-ковариантны не только фундаментальные уравнения (такие, как уравнения Максвелла, описывающее электромагнитное поле, уравнение Дирака, описывающее электрон и другие фермионы), но и такие макроскопические уравнения, как волновое уравнение, описывающее (приближенно) звук, колебания струн и мембран, и некоторые другие (только тогда уже в формулах преобразований Лоренца под c следует иметь в виду не скорость света, а какую-то другую константу, например скорость звука). Поэтому преобразования Лоренца могут быть плодотворно использованы и в связи с такими уравнениями (хотя и в довольно формальном смысле, впрочем, мало отличающемся — в своих рамках — от их применения в фундаментальной физике).

Вид преобразований при коллинеарных (параллельных) пространственных осях[править | править вики-текст]

Если ИСО K' движется относительно ИСО K с постоянной скоростью v вдоль оси x, а начала пространственных координат совпадают в начальный момент времени в обеих системах, то преобразования Лоренца (прямые) имеют вид:

x'=\frac{x-vt}{\sqrt{1-v^2/c^2}},
y'=y,\
z'=z,\
t'=\frac{t-(v/c^2)x}{\sqrt{1-v^2/c^2}},

где c — скорость света, величины со штрихами измерены в системе K', без штрихов — в K.

Эта форма преобразования (то есть при выборе коллинеарных осей), называемая иногда бустом (англ. boost) или лоренцевским бустом (особенно в англоязычной литературе), несмотря на свою простоту, включает, по сути, всё специфическое физическое содержание преобразований Лоренца, так как пространственные оси всегда можно выбрать таким образом, а при желании добавить пространственные повороты не представляет трудности (см. это в явном развёрнутом виде ниже), хотя и делает формулы более громоздкими.

  • Формулы, выражающие обратное преобразование, то есть выражающие x',\;y',\;z',\;t' через x,\;y,\;z,\;t можно получить просто заменой v на -v (абсолютная величина относительной скорости движения систем отсчёта |v| одинакова при измерении её в обеих системах отсчёта, поэтому можно при желании снабдить v штрихом, только при этом надо внимательно следить за тем, чтобы знак и определение соответствовали друг другу) и взаимной заменой «штрихованных» x и t с «нештрихованными». Или решая систему уравнений (1) относительно x',\;y',\;z',\;t'.
  • Надо иметь в виду, что в литературе преобразования Лоренца часто записывается для упрощения в системе единиц, где c=1, что действительно делает их вид более изящным.
  • Видно, что при преобразованиях Лоренца события, одновременные в одной системе отсчёта, не являются одновременными в другой (относительность одновременности), кроме того, у движущегося тела сокращается продольный размер по сравнению с тем, какой оно имеет в сопутствующей ему системе отсчёта (лоренцево сокращение), а ход движущихся часов замедляется, если наблюдать их из «неподвижной» системы отсчёта (релятивистское замедление времени).

Вывод преобразований[править | править вики-текст]

Преобразования Лоренца могут быть получены абстрактно, из групповых соображений (в этом случае они получаются с неопределённым c), как обобщение преобразований Галилея (что было проделано Анри Пуанкаре — см. ниже). Однако впервые они были получены как преобразования, относительно которых ковариантны уравнения Максвелла (то есть по сути — которые не меняют вида законов электродинамики и оптики при переходе к другой системе отсчёта). Могут также быть получены из предположения линейности преобразований и постулата одинаковости скорости света во всех системах отсчёта (являющегося упрощённой формулировкой требования ковариантности электродинамики относительно искомых преобразований, и распространением принципа равноправия инерциальных систем отсчёта — принципа относительности — на электродинамику), как это делается в специальной теории относительности (СТО) (при этом c в преобразованиях Лоренца получается определённым и совпадает со скоростью света).

Надо заметить, что если не ограничивать класс преобразований координат линейными, то первый закон Ньютона выполняется не только для преобразований Лоренца, а для более широкого класса дробно-линейных преобразований[3] (однако этот более широкий класс преобразований — за исключением, конечно, частного случая преобразований Лоренца — не сохраняет метрику постоянной).

Разные формы записи преобразований[править | править вики-текст]

Вид преобразований при произвольной ориентации осей[править | править вики-текст]

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

\mathbf{r}'=\mathbf{i}x'+\mathbf{j}y'+\mathbf{k}z',

где \mathbf{i},\;\mathbf{j},\;\mathbf{k} — орты, надо разбить на составляющую \mathbf{r}'_\| параллельную скорости и составляющую \mathbf{r}'_\perp ей перпендикулярную

\mathbf{r}'=\mathbf{r}'_\| + \mathbf{r}'_\perp.

Тогда преобразования получат вид

\mathbf{r}_\|=\frac{\mathbf{r}'_\|+\mathbf{v}t'}{\sqrt{1-v^2/c^2}},\quad\mathbf{r}_\perp=\mathbf{r}'_\perp,\quad t=\frac{t'+(v/c^2)r_\|}{\sqrt{1-v^2/c^2}},

где v=\left|\mathbf{v}\right| — абсолютная величина скорости, r_\|=\left|\mathbf{r}_\|\right| — абсолютная величина продольной составляющей радиус-вектора.

Эти формулы для случая параллельных осей, но с произвольно направленной скоростью, можно преобразовать к виду, впервые полученному Герглоцем:

\mathbf{r}=\frac{\mathbf{r}'+\mathbf{v}t'}{\sqrt{1-v^2/c^2}}+\frac{1}{v^2}\left(\frac{1}{\sqrt{1-v^2/c^2}}-1\right)(\mathbf{r}'\otimes\mathbf{v})\otimes\mathbf{v};
t=\frac{t'+\mathbf{r'v}/c^2}{\sqrt{1-v^2/c^2}}.

Обратите внимание, что самый общий случай, когда начала координат не совпадают в нулевой момент времени, здесь не приведён с целью экономии места. Его можно получить, добавив к преобразованиям Лоренца трансляцию (смещение начала координат).

Преобразования Лоренца в матричном виде[править | править вики-текст]

Для случая коллинеарных осей преобразования Лоренца записываются в виде

\begin{bmatrix}
ct \\x \\y \\z
\end{bmatrix}
=\begin{bmatrix}
\gamma&\dfrac{v}{c} \gamma&0&0\\
\dfrac{v}{c} \gamma&\gamma&0&0\\
0&0&1&0\\
0&0&0&1\\
\end{bmatrix}
\begin{bmatrix}
ct'\\x'\\y'\\z'
\end{bmatrix},

где Лоренц-фактор \gamma\equiv\frac{1}{\sqrt{1-v^2/c^2}}.

При произвольной ориентации осей, в форме 4-векторов это преобразование записывается как:

\begin{bmatrix} ct \\ \vec r\end{bmatrix}=\begin{bmatrix}
\gamma & \dfrac{\vec v}{c}\gamma \\
\dfrac{\vec v}{c}\gamma & E+\dfrac{\vec v\otimes\vec v}{v^2}(\gamma-1)\end{bmatrix}
\begin{bmatrix} ct' \\ \vec r\,'\end{bmatrix},

где E — единичная матрица 3\times 3, \otimes — тензорное умножение трёхмерных векторов.

Как уже отмечено выше, надо иметь в виду, что в литературе матрица преобразований Лоренца часто записывается для упрощения в системе единиц, где c=1.

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

Свойства преобразований Лоренца[править | править вики-текст]

  • Можно заметить, что в случае, когда c\to\infty, преобразования Лоренца переходят в преобразования Галилея. То же самое происходит в случае, когда v/c\to 0. Это говорит о том, что специальная теория относительности совпадает с механикой Ньютона либо в мире с бесконечной скоростью света, либо при скоростях, малых по сравнению со скоростью света. Последнее объясняет, каким образом сочетаются эти две теории — первая является обобщением и уточнением второй, а вторая — предельным случаем первой, оставаясь в этом качестве верной приближенно (с некоторой точностью, на практике часто очень и очень высокой) при достаточно малых (по сравнению со скоростью света) скоростях движений.
  • Преобразования Лоренца сохраняют инвариантным интервал для любой пары событий (точек пространства-времени) — то есть любой пары точек пространства-времени Минковского:
s=\sqrt{c^2(\Delta t)^2-(\Delta x)^2-(\Delta y)^2-(\Delta z)^2}=\sqrt{c^2(\Delta t')^2-(\Delta x')^2-(\Delta y')^2-(\Delta z')^2}.

Убедиться в этом нетрудно, например, проверив явно то, что матрица преобразования Лоренца L ортогональна в смысле метрики Минковского:

\eta_{ik}=\left[\begin{matrix}1&0&0&0\\0&-1&0&0\\0&0&-1&0\\0&0&0&-1\end{matrix}\right],

определяемой таким выражением, то есть \sum_{i,\;k}L^i_j\eta_{ik}L^k_m=\delta_{jm}. Это проще всего проделать для буста, а для трёхмерных вращений это очевидно из определения декартовых координат, кроме того, сдвиги начала отсчёта не меняют разностей координат. Следовательно, это свойство верно и для любых композиций бустов, вращений и сдвигов, что и составляет полную группу Пуанкаре; как только мы узнали, что преобразования координат ортогональны, из этого сразу следует, что формула для расстояния остаётся неизменной при переходе к новой системе координат — по определению ортогональных преобразований.

  • В частности, инвариантность интервала имеет место и для случая s=0, а значит, гиперповерхность в пространстве-времени, которая определяется равенством нулю интервала до заданной точки — световой конус — является неподвижной при преобразованиях Лоренца (что является проявлением инвариантности скорости света). Внутренность двух полостей конуса соответствует времениподобным — вещественным — интервалам от их точек до вершины, внешняя область — пространственноподобным — чисто мнимым (в принятой в этой статье сигнатуре интервала).
  • Другие инвариантные гиперповерхности однородных преобразований Лоренца (аналоги сферы для пространства Минковского) — гиперболоиды: двуполостный гиперболоид для времениподобных интервалов относительно начала координат, и однополостный — для пространственноподобных интервалов.
  • Матрицу преобразования Лоренца при коллинеарных пространственных осях (в системе единиц c=1) можно представить как:
    \begin{bmatrix}
\mathop{\rm ch}\,\theta & -\mathop{\rm sh}\,\theta & 0 & 0\\
-\mathop{\rm sh}\,\theta & \mathop{\rm ch}\,\theta & 0 & 0\\
0 & 0 & 1 & 0\\
0 & 0 & 0 & 1\\
\end{bmatrix},

где \theta=\mathop{\rm Arth}\,(v/c)\ . В этом легко убедиться, учитывая \rm ch^2\,\theta-\rm sh^2\,\theta=1\ и проверив выполнение соответствующего тождества для матрицы преобразования Лоренца в обычном виде.

  • Если принять введённые Минковским обозначения x_0=i\,ct,\;x_1=x,\;x_2=y,\;x_3=z\ , то преобразование Лоренца для такого пространства сводится к повороту на мнимый угол в плоскости, включающей ось x_0\ (для случая движения вдоль оси x_1\  — в плоскости x_0x_1). Это очевидно, исходя из подстановки \mathop{\rm ch}\,\theta=\mathop{\rm cos}\,(i\,\theta),\;\mathop{\rm sh}\,\theta=-i\,\mathop{\rm sin}\,(i\theta) в матрицу, приведенную чуть выше — и её небольшого изменения для того, чтобы учесть вводимую мнимость временной координаты — и сравнении её с обычной матрицей вращения.

Следствия преобразований Лоренца[править | править вики-текст]

Изменение длины[править | править вики-текст]

Пусть в системе отсчета K'\, покоится стержень, и координаты его начала и конца равны x_1'\,, x_2'\,. Для определения длины стержня в системе K\, фиксируются координаты этих же точек в один и тот же момент времени системы K\,. Пусть l_0=x_2'-x_1'\, — собственная длина стержня в K'\,, а l=x_2-x_1\, — длина стержня в K\,. Тогда из преобразований Лоренца следует:

l_0 =x'_2-x'_1=\frac{x_2-vt}{\sqrt{1-\dfrac{v^2}{c^2}}}-\frac{x_1-vt}{\sqrt{1-\dfrac{v^2}{c^2}}}=\frac{x_2-x_1}{\sqrt{1-\dfrac{v^2}{c^2}}}

или

l=l_0\sqrt{1-\frac{v^2}{c^2}}.

Таким образом, длина движущегося стержня, измеренная «неподвижными» наблюдателями, оказывается меньше, чем собственная длина стержня.

Относительность одновременности[править | править вики-текст]

Если два разнесённых в пространстве события (например, вспышки света) происходят одновременно в движущейся системе отсчёта, то они будут неодновременны относительно «неподвижной» системы. При \Delta t'=0 из преобразований Лоренца следует:

Если \Delta x=x_2-x_1>0, то и \Delta t=t_2-t_1>0. Это означает, что, с точки зрения неподвижного наблюдателя, левое событие происходит раньше правого (t_2>t_1). Относительность одновременности приводит к невозможности синхронизации часов в различных инерциальных системах отсчёта во всём пространстве.

Пусть в двух системах отсчёта, вдоль оси x расположены синхронизированные в каждой системе часы, и в момент совпадения «центральных» часов (на рисунке ниже) они показывают одинаковое время. Левый рисунок показывает, как эта ситуация выглядит с точки зрения наблюдателя в системе S. Часы в движущейся системе отсчёта показывают различное время. Находящиеся по ходу движения часы отстают, а находящиеся против хода движения опережают «центральные» часы. Аналогична ситуация для наблюдателей в S' (правый рисунок).

Замедление времени для движущихся тел[править | править вики-текст]

Связанные определения[править | править вики-текст]

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

История[править | править вики-текст]

Преобразования названы в честь их первооткрывателя — Х. А. Лоренца, который впервые ввел их (вместо преобразований Галилея) в качестве преобразований, связывающих геометрические величины (длины, углы), измеренные в разных инерциальных системах отсчета[источник не указан 1115 дней], чтобы устранить противоречия между электродинамикой и механикой, которые имелись в ньютоновской формулировке, включающей преобразования Галилея, что в конечном итоге привело к успеху при существенной модификации механики.

Сначала было обнаружено, что уравнения Максвелла инвариантны относительно подобных преобразований (В. Фогтом в 1887 году)[4][5]. Это же было повторено Дж. Лармором в 1897 году[6].

В 1892 году Лоренц ввёл теорию сокращения, предполагающую сокращение длин всех твёрдых тел в направлении движения, количественно совпадающее с тем, что понимается сейчас под лоренцевым сокращением.

Преобразования Лоренца были впервые опубликованы Лоренцем в 1904 году, но в то время их форма была несовершенна (они были выведены с точностью до членов v^2/c^2, а в преобразовании тока была допущена ошибка). К современному, полностью самосогласованному виду их привели французский математик А. Пуанкаре и параллельно и независимо А. Эйнштейн в 1905 году. Анри Пуанкаре первым установил и детально изучил одно из самых важных свойств преобразований Лоренца — их групповую структуру, и показал, что «преобразования Лоренца представляют ничто иное как поворот в пространстве четырёх измерений, точки которого имеют координаты (x,\;y,\;z,\;it)».[7]. В 1905 году Эйнштейн в своей теории относительности пришёл к широко популярной впоследствии формально-аксиоматической трактовке этих преобразований.

Пуанкаре же ввел термины «преобразования Лоренца» и «группа Лоренца» и показал, исходя из эфирной модели, невозможность обнаружить движение относительно абсолютной системы отсчета (то есть системы, в который эфир неподвижен), модифицировав таким образом принцип относительности Галилея[источник не указан 1115 дней]. Ему же принадлежит групповой вывод явного вида преобразований Лоренца (с неопределенным c) без независимого постулата инвариантности скорости света[источник не указан 1115 дней].

В 1910 году В. С. Игнатовский первым попытался получить преобразование Лоренца на основе теории групп и без использования постулата о постоянстве скорости света[8].

Примечания[править | править вики-текст]

  1. 1 2 3 4 5 Шафаревич И. Р., Ремизов А. О. Линейная алгебра и геометрия. — гл. VII, § 8. — М.: Физматлит, 2009.
  2. Петровский И. Г. Лекции об уравнениях с частными производными. — гл. II, § 14. — Любое издание.
  3. Франк Ф., Роте Г. Über die Transformation der Raumzeitkoordinaten von ruhenden auf bewegte Systeme // Ann. der Physik, Ser. 4, Vol. 34, No. 5, 1911, pp. 825—855 (русский перевод) (Статья, в которой впервые отмечено, что дробно-линейные преобразования являются наиболее общими преобразованиями, которые согласуются с принципом относительности).
  4. Miller (1981), 114–115
  5. Pais (1982), Kap. 6b
  6. J. Larmor On a Dynamical Theory of the Electric and Luminiferous Medium, Part 3, Relations with material media. — 1897. — Т. 190. — С. 205-300.
  7. Пуанкаре А. О динамике электрона. — В кн.: Принцип относительности : Сб. работ классиков релятивизма. — М. : Атомиздат, 1973. — с. 90—93, 118—160.
  8. «Некоторые общие замечания к принципу относительности» Доклад на общем заседании математического и физического отделения 82-го собрания немецких натуралистов и врачей в г. Кёнигсберг 21 сентября 1910 г.;
    von W. v. Ignatowsky, «Einige allgemeine Bemerkungen zum Relativitätsprinzip», Verh. d. Deutsch. Phys. Ges. 12, 788-96, 1910 (русский перевод)

Литература[править | править вики-текст]

См. также[править | править вики-текст]

Ссылки[править | править вики-текст]