Измерения, которые делает физик-экспериментатор, всегда являются выражением совпадения двух точек в пространстве в одно и то же время. Если мы спросим такого экспериментатора, что он подразумевает под точкой в пространстве, он скажет нам, что для него этот термин не имеет смысла, пока у него нет материального тела, по отношению к которому он может локализовать точку с помощью измерений; в общем случае требуется три измерения, и он выражает это, говоря, что пространство имеет три измерения. Он измеряет свое расстояние, как правило, параллельно трем взаимно перпендикулярным линиям, зафиксированным в материальном теле — так называемой декартовой системе отсчета. Таким образом, «точка в пространстве» эквивалентна данному материальному телу отсчета и трем числам или координатам. Если по какой-либо причине мы предпочитаем использовать новую материальную систему отсчета, координаты или измерения изменятся, и, если мы знаем относительные положения двух материальных систем отсчета, существует определенная связь между двумя наборами из трех координат, которая называется преобразованием координат. Но какую именно материальную систему отсчета мы должны использовать? Первым выбором, как мы думаем, была бы та, что привязана к земле. Но даже сейчас мы сомневаемся, так как существует бесчисленное множество декартовых систем отсчета, привязанных к земле (как и к любому материальному телу), и именно здесь начинает действовать наша идея (b). Мы говорим, что должно быть несущественно, какую из этих декартовых систем мы используем. В каждой системе вектор имеет три компонента, и когда мы переходим от одной системы к другой, компоненты меняются таким образом, что если два вектора имеют три своих компонента равными в одной системе отсчета, они будут равны в любой другой, привязанной к той же материальной системе. Таким образом, наша идея (b), которая гласит, что наши физические уравнения должны быть векторными уравнениями, эквивалентна утверждению, что выбор системы отсчета, привязанной к любому данному материальному телу, не может влиять на способ выражения естественного закона.
Перенесем ли мы нашу идею (b), чтобы ответить на следующий вопрос: «К какому материальному телу мы должны привязать нашу систему отсчета?» На этот вопрос Ньютон дал один ответ, а Эйнштейн — другой. Мы сначала рассмотрим позицию Ньютона, а затем, возможно, сможем ясно увидеть, где новая теория расходится с классической или ньютоновской механикой. Ответ Ньютона заключался в том, что существует особая материальная система, по отношению к которой законы механики имеют удивительно простую форму, обычно известную как «законы движения Ньютона», и поэтому предпочтительнее использовать эту систему отсчета, которая называется абсолютной системой.
В чем заключается существенная особенность абсолютной системы? Ньютон был по существу эмпириком школы Бэкона, и он наблюдал следующие факты. Предположим, у нас есть система отсчета, привязанная к земле. Тогда маленькая частица материи под гравитационным влиянием окружающих тел, включая землю, приобретает определенное ускорение. Теперь предположим, что окружающие тела удалены (поскольку мы не можем удалить землю, нам придется рассматривать эксперимент как абстракцию), и введен другой набор; частица, снова находясь в своем исходном положении, начнет двигаться с ускорением. Если оба набора окружающих тел присутствуют одновременно, частица начинает двигаться с ускорением, которое приблизительно, но не совсем, равно сумме ускорений. Ньютон постулировал, что существует определенная абсолютная система отсчета, в которой это приближение было бы равенством; и поэтому ускорение относительно материальной системы дает удобную меру воздействия окружающих тел — воздействие, которое мы называем их гравитационной силой. Заметьте, что если воздействие окружающих тел мало, то и ускорение мало, и таким образом мы получаем в качестве предельного случая закон инерции Ньютона, который гласит, что тело, на которое не действуют никакие силы, не имеет ускорения; закон, который, как справедливо заметил Пуанкаре, никогда не может быть подвергнут экспериментальному обоснованию. Тогда возникают естественные вопросы: какая система отсчета является абсолютной и привилегированной и как простые законы должны быть изменены, когда мы используем более удобную для нас систему — скажем, привязанную к земле? Абсолютная система — это система, привязанная к неподвижным звездам; и к абсолютной или реальной силе, определенной выше, мы должны добавить определенные члены, обычно называемые центробежными силами. Они называются фиктивными силами, потому что, как объясняется, они обусловлены движением системы отсчета по отношению к абсолютной системе и никоим образом не зависят от распределения окружающих тел. Гравитационная сила и центробежные силы имеют общее замечательное свойство: они никоим образом не зависят от материала притягиваемого тела или его химического состояния; они действуют на всю материю и этим отличаются от других сил, встречающихся в природе, таких как магнитные или электрические силы. Далее Ньютон обнаружил, что может точно предсказать факты наблюдения на гипотезе, что две маленькие частицы материи притягивают друг друга в направлении линии, соединяющей их, с силой, изменяющейся обратно пропорционально квадрату расстояния между ними. Этот закон является законом «действия на расстоянии» и поэтому противоречит идее (a).
Мы молчаливо предполагали, что пространство, в котором мы проводим наши измерения, — это пространство, ставшее нам привычным благодаря изучению начал Евклида. Характерным свойством этого пространства является то, что утверждается теоремой Пифагора: расстояние между двумя точками находится путем извлечения квадратного корня из суммы квадратов разностей декартовых координат двух точек. Математики давно признали возможность других типов пространства, и Эйнштейн последовал их примеру. Он отказывается от эмпирического метода и, когда его спрашивают, что он подразумевает под точкой в пространстве, отвечает, что для него точка в пространстве эквивалентна четырем числам — как полученным, знать априори необязательно; в некоторых особых случаях это могут быть три декартовы координаты экспериментатора (измеренные по отношению к определенной материальной системе отсчета) вместе со временем. Соответственно, он говорит, что его пространство четырехмерно. Между любыми двумя «точками» мы можем вставить последовательность наборов из четырех чисел, непрерывно изменяющихся от первого набора ко второму, образуя тем самым то, что мы называем кривой, соединяющей две точки. Теперь мы определяем «длину» этой кривой способом, который включает все точки на ней, и оговариваем, что эта длина имеет физическую реальность, т. е. согласно нашей идее (b), ее значение не зависит от конкретного выбора координат, который мы делаем при описании пространства. Среди всех соединяющих кривых будет одна, обладающая свойством иметь наименьшую длину; она называется геодезической и соответствует прямой линии в евклидовом пространстве. Теперь мы должны, из-за отсутствия априорного описания фактического значения наших координат, расширить понятие вектора так, чтобы мы могли говорить о компонентах вектора независимо от того, что наши координаты могут означать на самом деле. Таким образом вводятся то, что известно как тензоры; если два тензора равны, т. е. имеют все свои компоненты равными в одном наборе координат, они равны в любом другом, и фундаментальное требование новой физики заключается в том, что все физические уравнения, которые не являются просто выражением равенства величин, должны констатировать равенство тензоров. Таким образом, ни одна система координат не является привилегированной по сравнению с любой другой, и законы физики выражаются в форме, не зависящей от выбранных фактических координат; они записаны, как мы можем сказать, в абсолютной форме.
Гравитационная гипотеза
Эйнштейн категорически отрицает гипотезу Ньютона о том, что существует абсолютная система (и, действительно, многие другие до него находили трудным признать, что столь незначительная часть вселенной, как наша система неподвижных звезд, должна занимать такое привилегированное положение, какое ей отведено в ньютоновской механике). В любой системе, говорит он, у нас нет оснований проводить различие между так называемой реальной гравитационной силой и так называемыми фиктивными центробежными силами — если мы хотим так выразиться, гравитационная сила — это фиктивная сила. Частица, движущаяся в окрестности материальных тел, движется согласно закону инерции — физическому закону, выразимому, следовательно, способом, совершенно не зависящим от выбора координат. Закон инерции гласит, что частица, предоставленная самой себе, движется вдоль геодезических или кратчайших линий в пространстве. Если частица удалена от других тел, пространство имеет евклидов характер, и мы имеем закон инерции Ньютона; в противном случае частица находится в пространстве неевклидова характера (пространство всегда является четырехмерным пространством), и путь частицы проходит вдоль геодезической в этом пространстве. Эйнштейн, чтобы сделать теорию более конкретной, делает определенное условие относительно природы гравитационного пространства — условие, которое выражается, как и все физические законы, с помощью тензорного уравнения — и это иногда называют его законом гравитации.
Возможно, будет хорошо, в качестве примера, объяснить, почему световые лучи, проходящие близко к солнцу, должны изгибаться согласно новой теории. Предполагается, что световые лучи движутся вдоль определенных геодезических, известных как минимальные геодезические. Солнце имеет интенсивное гравитационное поле рядом с собой — или, как мы теперь говорим, отклонение четырехмерного пространства от евклидова очень заметно для точек вблизи солнца — но для точек, столь удаленных, как земля, это отклонение настолько мало, что им можно пренебречь. Следовательно, форма геодезических вблизи солнца отличается от формы вблизи земли. Если бы пространство, окружающее солнце, было евклидовым, фактические пути световых лучей казались бы отличными от геодезических или прямых линий. Поэтому Эйнштейн говорит об искривлении световых лучей из-за гравитационного поля солнца; но мы не должны вводиться в заблуждение фразой. Свет всегда движется вдоль геодезических (или прямых линий — единственное определение прямой линии, которое у нас есть, заключается в том, что это геодезическая); но из-за «искажения» пространства, которое они пересекают, обусловленного солнцем, эти геодезические достигают нас с направлением, отличным от того, которое они имели бы, если бы не проходили через заметно неевклидово пространство вблизи солнца.
Рассмотрение фундаментального четырехмерного пространства как неевклидова там, где присутствует материя, дает возможность ответить на старый как мир вопрос: конечно пространство или бесконечно? Вечно время или конечно? Возникает захватывающая возможность того, что пространство может быть подобно двумерной поверхности сферы, которая для ограниченного опыта кажется бесконечной по протяженности и плоской или евклидовой по характеру. Новый Колумб теперь просит нас рассмотреть другие возможности, в которых мы имели бы конечную вселенную — конечную не только с точки зрения измерения пространства, но и с точки зрения времени (ибо пространство может быть таким, что все четыре координаты его точек ограничены по величине). Однако, хотя Эйнштейн говорит о возможности конечной вселенной, мы лично не считаем его аргумент убедительным. Точки на сфере могут быть локализованы декартовыми координатами их стереографических проекций на экваториальную плоскость, и эти координаты, которые вполне могли бы быть теми, что фактически измеряются, не ограничены.
Специальная теория относительности
В нашем изложении теории Эйнштейна мы не следовали ее историческому порядку развития по двум причинам. Во-первых, более ранняя Специальная теория относительности по праву принадлежит к школе мысли, диаметрально противоположной той, которая предоставила «Общую теорию относительности», и, во-вторых, последняя не может быть получена из первой путем процесса обобщения, как это обычно понимается. Эйнштейн, предлагая более раннюю теорию, принял позицию эмпирика, так что для него фраза «точка в пространстве» не имела смысла без материальной системы отсчета, в которой можно измерять пространственные расстояния. Когда он приступил к исследованию того, что подразумевается под временем, и когда он задал вопрос: «что подразумевается под утверждением, что два удаленных события одновременны?», стало очевидно, что необходим какой-то способ связи между двумя местами; принятым способом был способ с помощью световых сигналов. Затем была выдвинута фундаментальная гипотеза о том, что скорость таких сигналов не зависит от скорости их источника (некоторая гипотеза необходима, если мы хотим сравнить время, связанное с событиями, когда используется одна материальная система отсчета, и соответствующее время, когда принимается другая, движущаяся относительно первой). Оказывается, что измерения времени и пространства неразрывно переплетены; не существует такой вещи, как длина тела или длительность события, а скорее они относительны к системе отсчета. Минковский ввел идею пространства событий — четырехмерного — но это пространство предполагалось евклидовым, подобно трехмерному пространству его предшественников. Эйнштейну принадлежит заслуга в том, что он лишил это представление чисто формального математического характера и настоял на том, что «реальное» пространство — чьи расстояния имеют физическое значение — является четырехмерным пространством. Но мы не можем слишком сильно настаивать на том факте, что в гравитационном пространстве общей теории нет постулата о постоянстве скорости светового сигнала и, соответственно, нет метода присвоения времени событиям, соответствующего тому, который принят в специальной теории. В этой последней теории внимание было сосредоточено на материальных системах, движущихся с равномерной скоростью по отношению друг к другу, и оказалось, что скорость света была предельной скоростью, быстрее которой ни одна система не могла двигаться — результат удивительный и априори довольно неприятный. Это лишь следствие нашего способа сравнения времени событий; если бы был возможен какой-то другой метод — скажем, передача мыслей — скорость этого была бы «предельной скоростью».
В заключение мы должны отметить, что постулированная эквивалентность «гравитационных» и «центробежных» сил требует, чтобы на все, обладающее инерцией, действовало гравитационное поле, и это ведет к возможному отождествлению материи и энергии. Далее, наша руководящая идея (a) побудит нас сказать, следуя примеру Фарадея в его электрических исследованиях, что геодезические гравитационного пространства имеют физическое существование, отличное от чисто математического. Четырехмерное пространство мы можем назвать эфиром и, таким образом, вернуть этого носителя физических сил на позицию, которую он потерял, когда, будучи трехмерной идеей в Специальной теории относительности, он должен был иметь идентичное отношение к множеству относительно движущихся материальных систем. Причина нашего, казалось бы, парадоксального названия эссе об относительности будет ясна, если вспомнить, что в новой теории мы рассматриваем те пространственно-временные свойства, которые являются абсолютными или лишенными отсылки к какой-либо конкретной материальной системе отсчета. Тем не менее, хотя общие характеристики теории описаны таким образом, без отсылки к эксперименту, когда теория должна быть проверена, необходимо указать, чем на самом деле являются обсуждаемые четыре координаты — как они определяются измерением. По нашему мнению, многое еще предстоит сделать, чтобы поставить эту часть предмета на удовлетворительную основу. Например, при выводе природы гравитационного пространства, окружающего одиночное притягивающее тело, большинство отчетов используют декартовы координаты, как если бы пространство было евклидовым, и переходят от них к полярным координатам по формулам, привычным в евклидовой геометрии. Но эти детали, возможно, подобны вопросам элегантности, если нам будет позволено привести цитату Эйнштейна из Больцмана, должны быть оставлены «портному и сапожнику».
1 Не все гравитационные поля могут быть устранены правильным выбором координат. Если бы это было так, пространство, природа которого не зависит от какого-либо выбора координат, всегда было бы евклидовым. — Автор.
2 Таким образом, когда говорится, что тело сжимается или что часы идут медленно, когда оно приводится в движение, не подразумевается никаких фактических физических изменений. Суждения разных наблюдателей — одного, находящегося в покое относительно тела, и другого, нет — различны. — Автор.
XVII
ФИЗИЧЕСКАЯ СТОРОНА ОТНОСИТЕЛЬНОСТИ
Непосредственные контакты между теориями Эйнштейна и современной физикой и астрономией
ПРОФЕССОР УИЛЬЯМ Г. ПИКЕРИНГ, ГАРВАРДСКАЯ КОЛЛЕДЖСКАЯ ОБСЕРВАТОРИЯ, МАНДЕВИЛЛЬ, ЯМАЙКА
Теория относительности будет рассматриваться сначала с физической стороны, оставив три астрономических теста, которым она была подвергнута, для обсуждения позже. Однако есть один астрономический факт, который необходимо упомянуть в этой связи, и это открытие аберрации света Брэдли в 1726 году. Установлено, что каждая звезда на небе якобы описывает небольшой годовой эллипс, большая ось которого имеет длину 41″. Брэдли показал, что это обусловлено сочетанием скорости земли на ее орбите и скорости света; и это объясняется во всех элементарных учебниках по астрономии. Это подразумевает неподвижный эфир, через который движется земля. Важность этого утверждения проявится в свое время.
Предмет обычно иллюстрируется предположением, что человек выходит под дождь, неся вертикальную трубку. Если дождь падает вертикально, а человек стоит на месте, стенки трубки не будут мокрыми, за исключением случайных капель, но если трубку перемещать, ее нужно наклонить вперед, чтобы она оставалась сухой. Угол наклона, который соответствует аберрации, будет зависеть от относительной скорости трубки, соответствующей земле, и капель дождя, которые соответствуют волнам света.