Преобразования Лоренца — различия между версиями

Материал из synset
Перейти к: навигация, поиск
Строка 7: Строка 7:
 
Установим вид преобразований между результатами наблюдения некоторого события в двух инерциальных системах отсчета <math>\textstyle S</math> и <math>\textstyle S'</math>:
 
Установим вид преобразований между результатами наблюдения некоторого события в двух инерциальных системах отсчета <math>\textstyle S</math> и <math>\textstyle S'</math>:
  
:<center><math> x'=f(x,t,v),\;\;\;\;\;\;\;\;\;\;\;\;\;\;t'=g(x,t,v). </math></center>
+
:<center><math>(1.3)\;\;\;\;\; x'=f(x,t,v),\;\;\;\;\;\;\;\;\;\;\;\;\;\;t'=g(x,t,v). </math></center>
  
 
Для этого будем стараться использовать только самые общие и "естественные" соображения. Чтобы зафиксировать вид функций <math>\textstyle f</math> и <math>\textstyle g</math>, начнём задавать последовательность аксиом, которым они удовлетворяют. В качестве первой аксиомы выберем следующее утверждение:  
 
Для этого будем стараться использовать только самые общие и "естественные" соображения. Чтобы зафиксировать вид функций <math>\textstyle f</math> и <math>\textstyle g</math>, начнём задавать последовательность аксиом, которым они удовлетворяют. В качестве первой аксиомы выберем следующее утверждение:  
Строка 22: Строка 22:
 
Эта аксиома приводит к тому, что преобразования координат и времени должны быть линейными функциями:
 
Эта аксиома приводит к тому, что преобразования координат и времени должны быть линейными функциями:
  
:<center><math> x'= A\cdot x + B\cdot t,\;\;\;\;\;\;\;\;\;\;\;\;\;\; t'= D\cdot x + E\cdot t, </math></center>
+
:<center><math>(1.4)\;\;\;\;\; x'= A\cdot x + B\cdot t,\;\;\;\;\;\;\;\;\;\;\;\;\;\; t'= D\cdot x + E\cdot t, </math></center>
  
 
где коэффициенты <math>\textstyle A,B,D,E</math> могут зависеть от относительной скорости систем отсчёта <math>\textstyle v</math>, но не зависят от <math>\textstyle x</math> и <math>\textstyle t</math>. Строгое доказательство этого утверждения приведено на стр.\pageref{h_lorenz_line} (<math>\textstyle \lessdot</math> H), однако сейчас его можно пропустить, тем более, что обычно линейность преобразований не доказывают, а постулируют, ссылаясь на однородность пространства и времени.
 
где коэффициенты <math>\textstyle A,B,D,E</math> могут зависеть от относительной скорости систем отсчёта <math>\textstyle v</math>, но не зависят от <math>\textstyle x</math> и <math>\textstyle t</math>. Строгое доказательство этого утверждения приведено на стр.\pageref{h_lorenz_line} (<math>\textstyle \lessdot</math> H), однако сейчас его можно пропустить, тем более, что обычно линейность преобразований не доказывают, а постулируют, ссылаясь на однородность пространства и времени.
Строка 32: Строка 32:
 
Введём функции относительной скорости <math>\textstyle \gamma(v)=A</math>, <math>\textstyle \sigma(v)=-D/E</math> и запишем преобразования между системами отсчёта в следующем виде:
 
Введём функции относительной скорости <math>\textstyle \gamma(v)=A</math>, <math>\textstyle \sigma(v)=-D/E</math> и запишем преобразования между системами отсчёта в следующем виде:
  
:<center><math> \left\{ \begin{array}{lcl} x'&=& \gamma(v)\cdot [ x - v\,t ],\\ t'&=& \gamma(v)\cdot [ t - \sigma(v)\, x ]. \end{array} \right. </math></center>
+
:<center><math>(1.5)\;\;\;\;\; \left\{ \begin{array}{lcl} x'&=& \gamma(v)\cdot [ x - v\,t ],\\ t'&=& \gamma(v)\cdot [ t - \sigma(v)\, x ]. \end{array} \right. </math></center>
  
 
Для определения свойств функций <math>\textstyle \gamma(v)</math>, <math>\textstyle \sigma(v)</math> добавим ещё одну аксиому:  
 
Для определения свойств функций <math>\textstyle \gamma(v)</math>, <math>\textstyle \sigma(v)</math> добавим ещё одну аксиому:  
Строка 57: Строка 57:
 
где во втором равенстве подставлено <math>\textstyle x'</math>, <math>\textstyle t'</math> из прямого преобразования () и учтено, что <math>\textstyle \gamma(-v)=\gamma(v)</math>. В результате:
 
где во втором равенстве подставлено <math>\textstyle x'</math>, <math>\textstyle t'</math> из прямого преобразования () и учтено, что <math>\textstyle \gamma(-v)=\gamma(v)</math>. В результате:
  
:<center><math> \gamma(v)=\frac{1}{\sqrt{1-v\sigma(v)}}. </math></center>
+
:<center><math>(1.6)\;\;\;\;\; \gamma(v)=\frac{1}{\sqrt{1-v\sigma(v)}}. </math></center>
  
 
Положительный знак при извлечении корня выбран из следующих соображений. Любые события, происходящие в точке <math>\textstyle x=0</math> ''после'' совпадения начал отсчёта двух систем, должны иметь положительные значения времени. Из (), при <math>\textstyle x=0</math>, следует, что <math>\textstyle t'=\gamma(v)\,t</math>, поэтому <math>\textstyle \gamma(v)>0</math>.
 
Положительный знак при извлечении корня выбран из следующих соображений. Любые события, происходящие в точке <math>\textstyle x=0</math> ''после'' совпадения начал отсчёта двух систем, должны иметь положительные значения времени. Из (), при <math>\textstyle x=0</math>, следует, что <math>\textstyle t'=\gamma(v)\,t</math>, поэтому <math>\textstyle \gamma(v)>0</math>.
Строка 77: Строка 77:
 
Вторые равенства в каждом уравнении, представляют собой законы преобразования между <math>\textstyle S_1</math> и <math>\textstyle S_3</math>, которые двигаются с относительной скоростью <math>\textstyle v_3</math>. Эти уравнения должны выполняться при любых <math>\textstyle x_1</math> и <math>\textstyle t_1</math>. Если приравнять коэффициенты при <math>\textstyle x_1</math> в первом уравнении системы и при <math>\textstyle t_1</math> во втором, то получаются следующие соотношения:
 
Вторые равенства в каждом уравнении, представляют собой законы преобразования между <math>\textstyle S_1</math> и <math>\textstyle S_3</math>, которые двигаются с относительной скоростью <math>\textstyle v_3</math>. Эти уравнения должны выполняться при любых <math>\textstyle x_1</math> и <math>\textstyle t_1</math>. Если приравнять коэффициенты при <math>\textstyle x_1</math> в первом уравнении системы и при <math>\textstyle t_1</math> во втором, то получаются следующие соотношения:
  
:<center><math> \left\{ \begin{array}{l} \gamma_3 = (1+v_2\sigma_1) \gamma_1\gamma_2\\ \gamma_3 = (1+v_1\sigma_2) \gamma_1\gamma_2, \end{array}\right. </math></center>
+
:<center><math>(1.7)\;\;\;\;\; \left\{ \begin{array}{l} \gamma_3 = (1+v_2\sigma_1) \gamma_1\gamma_2\\ \gamma_3 = (1+v_1\sigma_2) \gamma_1\gamma_2, \end{array}\right. </math></center>
  
 
из которых следует <math>\textstyle 1+v_2\sigma_1=1+v_1\sigma_2</math>, или:
 
из которых следует <math>\textstyle 1+v_2\sigma_1=1+v_1\sigma_2</math>, или:
  
:<center><math> \frac{\sigma(v_1)}{v_1} = \frac{\sigma(v_2)}{v_2} = \alpha = const. </math></center>
+
:<center><math>(1.8)\;\;\;\;\; \frac{\sigma(v_1)}{v_1} = \frac{\sigma(v_2)}{v_2} = \alpha = const. </math></center>
  
 
Так как скорости <math>\textstyle v_1</math> и <math>\textstyle v_2</math> &mdash; произвольные ''независимые'' величины, то <math>\textstyle \alpha</math> &mdash; это некоторая константа, единая для всех инерциальных систем отсчета. Числовое значение константы <math>\textstyle \alpha</math> и её знак без дополнительных аксиом или экспериментов зафиксировать нельзя. Это фундаментальная константа могла оказаться и нулевой, однако в нашем Мире она больше нуля. Поэтому удобно выразить "<math>\textstyle \alpha</math>" через константу "<math>\textstyle c</math>", имеющую размерность скорости: <math>\textstyle \alpha = 1/c^2</math>. В результате <math>\textstyle \sigma(v)=v/c</math>, и, так как зависимость <math>\textstyle \gamma</math> от <math>\textstyle \sigma</math> нам известна (), то <math>\textstyle \gamma(v)= 1/\sqrt{ 1-v^2/c^2}</math>.
 
Так как скорости <math>\textstyle v_1</math> и <math>\textstyle v_2</math> &mdash; произвольные ''независимые'' величины, то <math>\textstyle \alpha</math> &mdash; это некоторая константа, единая для всех инерциальных систем отсчета. Числовое значение константы <math>\textstyle \alpha</math> и её знак без дополнительных аксиом или экспериментов зафиксировать нельзя. Это фундаментальная константа могла оказаться и нулевой, однако в нашем Мире она больше нуля. Поэтому удобно выразить "<math>\textstyle \alpha</math>" через константу "<math>\textstyle c</math>", имеющую размерность скорости: <math>\textstyle \alpha = 1/c^2</math>. В результате <math>\textstyle \sigma(v)=v/c</math>, и, так как зависимость <math>\textstyle \gamma</math> от <math>\textstyle \sigma</math> нам известна (), то <math>\textstyle \gamma(v)= 1/\sqrt{ 1-v^2/c^2}</math>.
Строка 87: Строка 87:
 
Таким образом, значения координат и времени некоторого события, измеренные двумя инерциальными наблюдателями, связаны следующим образом:
 
Таким образом, значения координат и времени некоторого события, измеренные двумя инерциальными наблюдателями, связаны следующим образом:
  
:<center><math> x'=\frac{x-vt}{\sqrt{1-v^2/c^2}},\;\;\;\;\;\;\;\;\;\;\;\;\; t'=\frac{t - vx/c^2}{\sqrt{1-v^2/c^2}}. </math></center>
+
:<center><math>(1.9)\;\;\;\;\; x'=\frac{x-vt}{\sqrt{1-v^2/c^2}},\;\;\;\;\;\;\;\;\;\;\;\;\; t'=\frac{t - vx/c^2}{\sqrt{1-v^2/c^2}}. </math></center>
  
 
Эти преобразования удовлетворяют сформулированным выше четырем аксиомам. Единственной произвольной величиной оказалась константа ''фундаментальной скорости'' <math>\textstyle c</math>. Для теоретического определения её значения, т.е. устранения параметрической неполноты, необходимы дополнительные аксиомы.
 
Эти преобразования удовлетворяют сформулированным выше четырем аксиомам. Единственной произвольной величиной оказалась константа ''фундаментальной скорости'' <math>\textstyle c</math>. Для теоретического определения её значения, т.е. устранения параметрической неполноты, необходимы дополнительные аксиомы.
Строка 106: Строка 106:
 
Заметим, что мы не только вывели преобразования Лоренца, но также продемонстрировали, что  
 
Заметим, что мы не только вывели преобразования Лоренца, но также продемонстрировали, что  
  
<blockquote>\it теория относительности непротиворечива, если непротиворечива классическая механика. </blockquote>  
+
<blockquote> ''теория относительности непротиворечива, если непротиворечива классическая механика.'' </blockquote>  
  
 
Это следует из того, что преобразования Лоренца и Галилея основаны на одинаковом подмножестве аксиом. Понимать ''логическую непротиворечивость'' теории очень важно, так как выводы, которые мы будем из неё получать, окажутся очень непривычными. Тем не менее, логических противоречий они содержать не могут, так как непротиворечивы исходные постулаты теории относительности.
 
Это следует из того, что преобразования Лоренца и Галилея основаны на одинаковом подмножестве аксиом. Понимать ''логическую непротиворечивость'' теории очень важно, так как выводы, которые мы будем из неё получать, окажутся очень непривычными. Тем не менее, логических противоречий они содержать не могут, так как непротиворечивы исходные постулаты теории относительности.

Версия 16:03, 4 февраля 2010

Инерциальные системы отсчёта << Оглавление >> Принцип параметрической неполноты

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

Для этого будем стараться использовать только самые общие и "естественные" соображения. Чтобы зафиксировать вид функций и , начнём задавать последовательность аксиом, которым они удовлетворяют. В качестве первой аксиомы выберем следующее утверждение:

Аксиома I. Преобразования () являются непрерывными, дифференцируемыми и взаимно однозначными.

Это требование является очень естественным и, хотя оно сужает класс возможных функций, тем не менее, оставляет его более чем широким.

Аксиома II. Если скорости двух свободных частиц равны в системе , то они будут равны и в системе .

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

где коэффициенты могут зависеть от относительной скорости систем отсчёта , но не зависят от и . Строгое доказательство этого утверждения приведено на стр.\pageref{h_lorenz_line} ( H), однако сейчас его можно пропустить, тем более, что обычно линейность преобразований не доказывают, а постулируют, ссылаясь на однородность пространства и времени.

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

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

Введём функции относительной скорости , и запишем преобразования между системами отсчёта в следующем виде:

Для определения свойств функций , добавим ещё одну аксиому:

Аксиома III. Пространство для наблюдателей во всех инерциальных системах отсчёта выглядит изотропным.

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

Эта система снова перейдёт в (), только если будет четной, а — нечетной функцией скорости:

Введём четвертую аксиому, которая является ключевой в аксиоматике теории относительности, как, впрочем, и в классической механике. Она отражает принцип относительности:

Аксиома IV. Все инерциальные системы отсчета равноправны.

Требование равноправия приводит к тому, что переход от к () будет таким же, как и от к . Другими словами, обратное преобразование с точностью до замены выглядит так же, как и прямое. Например, для координаты [см. первое уравнение ()]:

где во втором равенстве подставлено , из прямого преобразования () и учтено, что . В результате:

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

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

Lorenz.png

Обозначая через координаты и время события, наблюдаемого в , и аналогично для остальных систем, запишем два последовательных преобразования:

где , , и т.д. Подставим из первой системы во вторую:

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

из которых следует , или:

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

Таким образом, значения координат и времени некоторого события, измеренные двумя инерциальными наблюдателями, связаны следующим образом:

Эти преобразования удовлетворяют сформулированным выше четырем аксиомам. Единственной произвольной величиной оказалась константа фундаментальной скорости . Для теоретического определения её значения, т.е. устранения параметрической неполноты, необходимы дополнительные аксиомы.

Обратим внимание на то, что классическая механика также опирается на аксиомы (I)-(IV), однако добавляет к ним следующее утверждение:

Аксиома V. Если два события одновременны в одной системе отсчета, то они будут одновременны и в любой другой.

Одновременность событий приводит к значению и преобразованиям Галилея:

Подробнее этот вопрос будет рассмотрен в следующей главе.

Аксиомы (I)-(V) полностью определяют функции и . Если мы отбросим пятую аксиому, то количество информации уменьшится и мы получим неполную теорию. Однако эта неполнота замечательным образом ограничивается только появлением неопределяемой константы "", т.е. приводит к параметрически неполной теории. В этом смысле пятая аксиома обладает минимальным количеством содержательной информации.

Заметим, что мы не только вывели преобразования Лоренца, но также продемонстрировали, что

теория относительности непротиворечива, если непротиворечива классическая механика.

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


Инерциальные системы отсчёта << Оглавление >> Принцип параметрической неполноты

Релятивистский мир - лекции по теории относительности, гравитации и космологии