Фейнмановские лекции по физике 6a

(25.1)

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

Там мы обнаружили, что если, скажем, взять два вектора

то комбинация

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

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

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

В теории относительности пространство и время неразделимо связаны друг с другом, поэтому то же самое придется проделать и для четырех измерений. Мы хотим, чтобы наши уравнения оставались неизменными не только при вращениях, но и при переходе в любую инерциальную систему. Это означает, что наши уравнения должны быть инвариантными относительно преобразований Лоренца (25.1). Цель настоящей главы — показать, как этого можно добиться. Но прежде чем начать, примем соглашение, которое значительно облегчит нашу работу (и к тому же поможет избежать путаницы). Заключается оно в таком выборе единиц измерения длины и времени, чтобы скорость света с оказалась равной единице. Вы можете считать, например, что в качестве единицы времени взят интервал, за который свет проходит отрезок в один метр (это составляет около 3·10^-9 сек). Можно даже так и назвать эту единицу времени: «один световой метр». Использование этой единицы еще ярче оттеняет симметрию пространства и времени. Кроме того, из наших релятивистских уравнений исчезнут все с. (Если это почему-либо вас смущает, то вы можете в любом уравнении восстановить их или заменить каждое t на ct, а еще лучше вставить с повсюду, где это необходимо для правильной размерности уравнения.) Теперь, после такой подготовки, мы можем двинуться дальше.

Наша программа состоит в том, чтобы повторить в четырехмерном пространстве-времени все то, что мы делали с векторами в трех измерениях. Дело это нехитрое — мы просто будем действовать аналогично. Единственное затруднение встретится только при обозначениях (символ вектора у нас уже занят трехмерными векторами), и несколько изменятся знаки в скалярном произведении.

Прежде всего, по аналогии с векторами в трехмерном пространстве, введем четырехвектор как набор четырех величин a_t, а_х, а_у и а_z, которые при переходе в движущуюся систему координат преобразуются подобно t, x, у и z. Для обозначения четырехвектора используется несколько различных способов. Мы же будем писать просто а_m, понимая под этим группу четырех величин (a_t, a_x, a_y, a_z); другими словами, значок m принимает какое-либо из четырех «значений»: t, x, у и г. Иногда нам будет удобно обозначать три пространственные компоненты в виде трехмерного вектора, т. е. писать a_m=(a_t , а).