Feynmann 6a

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

Мы уже сталкивались с одним таким четырехвектором, со­стоящим из энергии и импульса частицы (см. гл. 17, вып. 2). В наших новых обозначениях он запишется так:

p_m=(Е, p), (25.2)

т. е. четырехвектор p_m состоит из энергии Е и трех компонент трехмерного импульса частицы р.

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

Что будет его временной компонентой? Инстинкт подсказывает нам, что поскольку четырехвектор подобен t, x, у, z, то времен­ной компонентой как будто должно быть

Но это неверно. Дело в том, что время t в каждом знаменателе не инвариантно при преобразованиях Лоренца. Числитель имеет правильное поведение, a dt в знаменателе портит все дело: оно не одинаково в двух различных системах.

Оказывается, что четыре компоненты «скорости», которые нам нужно выписать, превратятся в компоненты четырехвектора, если мы попросту поделим их на Ц(1-v²). В правильности этого можно убедиться, взяв

четырехвектор импульса

(25.3)

и поделив его на массу покоя, которая в четырехмерном прост­ранстве является скаляром. Мы получим при этом

(25.4)

что по-прежнему должно быть четырехвектором. (Деление на скаляр не изменяет трансформационных свойств.) Так что четырехвектор скорости v_m можно определить так:

(25.5)

Это очень полезная величина; мы можем теперь написать, например,

(25.6)

Таков типичный вид, который должен иметь правильное реляти­вистское уравнение: каждая сторона его должна быть четырехвектором. (В правой части стоит произведение инварианта на четырехвектор, которое по-прежнему есть четырехвектор.)

§ 2. Скалярное произведение

То, что расстояние от некоторой точки до начала координат не изменяется при повороте, если хотите,— счастливая случай­ность. Математически это означает, что r²=x²+y²+z² является инвариантом. Другими словами, после поворота r'²=r² или

Возникает вопрос: существует ли подобная величина, которая инвариантна при преобразованиях Лоренца? Да, существует. Из (25.1) вы видите, что

Она была бы всем хороша, если бы только не зависела от наше­го выбора оси х. Но этот недостаток легко исправить вычита­нием y/² и z². Тогда преобразование Лоренца плюс вращение оставляют ее неизменной. Таким образом, роль величины, ана­логичной трехмерному r² в четырехмерном пространстве, играет комбинация

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

Далее, поскольку эта инвариантность представляет собой алгебраическое свойство, зависящее только от правил преобра­зования (25.1) плюс вращение, то она справедлива для любого четырехвектора. (Все они, по определению, преобразуются оди­наковым образом.) Так что для любого четырехвектора а_m

Эту величину мы будем называть квадратом «длины» четырехвектора а_м. (Будьте внимательны! Иногда берут обратные зна­ки у всех слагаемых и квадратом длины называют число a²_x+a²_y+a²_z -a²_t)

Если теперь у нас есть два вектора а_m и b_m, то их одноименные компоненты преобразуются одинаково, поэтому комбинация

также будет инвариантной (скалярной) величиной. (Фактически мы доказали это уже в гл. 17, вып. 2.) Получилась величина, совершенно аналогичная скалярному произведению векторов. Мы так и будем называть ее скалярным произведением двух четырехвекторов. Логично, казалось бы, и записывать его а_m·b_m, чтобы оно даже выглядело похожим на скалярное произведение. Но обычно, к сожалению, так не делают и пишут его без точки.

И мы тоже будем придерживаться этого порядка и записывать скалярное произведение просто a_mb_m . Итак, по определению,

(25.7)

Помните, что повсюду, где вы видите два одинаковых значка (вместо m мы иногда будем пользоваться v или другими бук­вами), необходимо взять четыре произведения и сложить их, не забывая при этом о знаке минус перед произведениями про­странственных компонент. С учетом такого соглашения инва­риантность скалярного произведения при преобразованиях Ло­ренца можно записать как