3. Геометрия и астрономия. — Вопрос был также поставлен иначе. Если геометрия Лобачевского истинна, параллакс очень далекой звезды будет конечным; если истинна геометрия Римана, он будет отрицательным. Это результаты, которые кажутся доступными для эксперимента, и были надежды, что астрономические наблюдения могут позволить нам сделать выбор между тремя геометриями.
Но в астрономии «прямая линия» означает просто «путь луча света».
Если, следовательно, были бы найдены отрицательные параллаксы или если было бы продемонстрировано, что все параллаксы превосходят определенный предел, нам были бы открыты два пути; мы могли бы либо отказаться от евклидовой геометрии, либо модифицировать законы оптики и предположить, что свет не распространяется строго по прямой линии.
Излишне добавлять, что весь мир счел бы последнее решение более выгодным.
Евклидова геометрия, следовательно, не имеет ничего, чего стоило бы опасаться от новых экспериментов.
4. Состоятельна ли позиция, что некоторые явления, возможные в евклидовом пространстве, были бы невозможны в неевклидовом пространстве, так что опыт, устанавливая эти явления, прямо противоречил бы неевклидовой гипотезе? Что касается меня, я думаю, что такой вопрос не может быть поставлен. По моему мнению, он в точности эквивалентен следующему, абсурдность которого очевидна для всех глаз: существуют ли длины, выразимые в метрах и сантиметрах, но которые не могут быть измерены в саженях, футах и дюймах, так что опыт, устанавливая существование этих длин, прямо противоречил бы гипотезе о том, что существуют сажени, разделенные на шесть футов?
Рассмотрим вопрос пристальнее. Я предполагаю, что прямая линия обладает в евклидовом пространстве какими-либо двумя свойствами, которые я назову A и B; что в неевклидовом пространстве она все еще обладает свойством A, но больше не имеет свойства B; наконец, я предполагаю, что как в евклидовом, так и в неевклидовом пространстве прямая линия — единственная линия, обладающая свойством A.
Если бы это было так, опыт был бы способен сделать выбор между гипотезой Евклида и гипотезой Лобачевского. Было бы установлено, что определенный конкретный объект, доступный для эксперимента, например, пучок лучей света, обладает свойством A; мы заключили бы, что он прямолинеен, а затем исследовали бы, обладает он или нет свойством B.
Но это не так; не существует свойства, которое, подобно этому свойству A, могло бы быть абсолютным критерием, позволяющим нам распознать прямую линию и отличить ее от любой другой линии.
Скажем ли мы, например: «следующее является таким свойством: прямая линия — это линия, такая, что фигура, частью которой является эта линия, может быть перемещена без изменения взаимных расстояний ее точек и так, что все точки этой линии остаются неподвижными»?
Это, в самом деле, свойство, которое в евклидовом или неевклидовом пространстве принадлежит прямой и принадлежит только ей. Но как мы установим экспериментально, принадлежит ли оно тому или иному конкретному объекту? Необходимо будет измерить расстояния, и как узнать, что какая-либо конкретная величина, которую я измерил своим материальным инструментом, действительно представляет абстрактное расстояние?
Мы лишь отодвинули трудность.
В действительности только что сформулированное свойство не является свойством одной лишь прямой линии, это свойство прямой линии и расстояния. Чтобы оно послужило абсолютным критерием, мы должны были бы быть в состоянии установить не только то, что оно не принадлежит также линии, отличной от прямой, и расстоянию, но в дополнение то, что оно не принадлежит линии, отличной от прямой, и величине, отличной от расстояния. Но это неверно.
Поэтому невозможно вообразить конкретный эксперимент, который может быть интерпретирован в евклидовой системе и не может быть интерпретирован в системе Лобачевского, так что я могу заключить:
Никакой опыт никогда не будет противоречить постулату Евклида; равно как, с другой стороны, никакой опыт никогда не будет противоречить постулату Лобачевского.
5. Но недостаточно того, что евклидова (или неевклидова) геометрия никогда не может быть прямо опровергнута опытом. Не может ли случиться, что она может согласоваться с опытом, лишь нарушая принцип достаточного основания или принцип относительности пространства?
Я объяснюсь: рассмотрим любую материальную систему; нам придется рассматривать, с одной стороны, «состояние» различных тел этой системы (например, их температуру, их электрический потенциал и т. д.), а с другой стороны, их положение в пространстве; и среди данных, которые позволяют нам определить это положение, мы будем, более того, отличать взаимные расстояния этих тел, которые определяют их относительные положения, от условий, которые определяют абсолютное положение системы и ее абсолютную ориентацию в пространстве.
Законы явлений, которые будут происходить в этой системе, будут зависеть от состояния этих тел и их взаимных расстояний; но в силу относительности и пассивности пространства они не будут зависеть от абсолютного положения и ориентации системы.
Иными словами, состояние тел и их взаимные расстояния в любой момент времени будут зависеть исключительно от состояния этих же тел и их взаимных расстояний в начальный момент, но вовсе не будут зависеть от абсолютного начального положения системы или от ее абсолютной начальной ориентации. Это я для краткости буду называть законом относительности.
До сих пор я говорил как евклидов геометр. Как я уже сказал, любой опыт, каков бы он ни был, допускает интерпретацию в рамках евклидовой гипотезы; но он в равной степени допускает ее и в рамках неевклидовой гипотезы. Что ж, мы провели серию экспериментов; мы интерпретировали их в рамках евклидовой гипотезы и признали, что эти эксперименты, интерпретированные таким образом, не нарушают этот «закон относительности».
Теперь мы интерпретируем их в рамках неевклидовой гипотезы: это всегда возможно; только неевклидовы расстояния между нашими различными телами в этой новой интерпретации, как правило, не будут совпадать с евклидовыми расстояниями в первоначальной интерпретации.
Будут ли наши эксперименты, интерпретированные таким новым образом, по-прежнему согласуются с нашим «законом относительности»? И если бы этого согласия не было, не имели бы мы также права сказать, что опыт доказал ложность неевклидовой геометрии?
Легко видеть, что это напрасный страх; на самом деле, чтобы применять закон относительности со всей строгостью, его необходимо применять ко всей Вселенной. Ибо если рассматривать только часть этой Вселенной и если абсолютное положение этой части будет меняться, то расстояния до других тел Вселенной также будут меняться, их влияние на рассматриваемую часть Вселенной, следовательно, будет увеличиваться или уменьшаться, что может изменить законы явлений, происходящих там.
Но если наша система — это вся Вселенная, то опыт бессилен дать информацию о ее абсолютном положении и ориентации в пространстве. Все, что могут сказать нам наши инструменты, какими бы совершенными они ни были, — это состояние различных частей Вселенной и их взаимные расстояния.
Таким образом, наш закон относительности можно сформулировать так:
Показания, которые мы сможем снять с наших инструментов в любой момент времени, будут зависеть только от показаний, которые мы могли бы снять с этих же инструментов в начальный момент.
Такая формулировка не зависит от какой-либо интерпретации экспериментальных фактов. Если закон верен в евклидовой интерпретации, он будет верен и в неевклидовой интерпретации.
Позвольте мне здесь сделать небольшое отступление. Выше я говорил о данных, которые определяют положение различных тел системы; я должен был бы также сказать о тех, которые определяют их скорости; тогда мне пришлось бы различать скорости, с которыми изменяются взаимные расстояния различных тел, и, с другой стороны, скорости поступательного и вращательного движения системы, то есть скорости, с которыми изменяются ее абсолютное положение и ориентация.
Чтобы полностью удовлетворить разум, закон относительности должен быть выражен так:
Состояние тел и их взаимные расстояния в любой момент времени, а также скорости, с которыми эти расстояния изменяются в этот же момент, будут зависеть только от состояния этих тел и их взаимных расстояний в начальный момент, а также от скоростей, с которыми эти расстояния изменяются в этот начальный момент, но они не будут зависеть ни от абсолютного начального положения системы, ни от ее абсолютной ориентации, ни от скоростей, с которыми это абсолютное положение и ориентация изменялись в начальный момент.
К несчастью, закон, сформулированный таким образом, не согласуется с экспериментами, по крайней мере, в том виде, в каком они обычно интерпретируются.
Предположим, человека перенесли на планету, небо которой всегда закрыто густой пеленой облаков, так что он никогда не мог видеть другие звезды; на этой планете он жил бы так, как если бы она была изолирована в пространстве. Тем не менее этот человек мог бы обнаружить, что она вращается, либо измерив ее сжатие (обычно выполняемое с помощью астрономических наблюдений, но осуществимое и чисто геодезическими средствами), либо повторив эксперимент с маятником Фуко. Таким образом, абсолютное вращение этой планеты можно было бы сделать очевидным.
Это факт, который шокирует философа, но который физик вынужден принять.
Мы знаем, что из этого факта Ньютон вывел существование абсолютного пространства; я сам совершенно не в состоянии принять эту точку зрения. Я объясню почему в Части III. В данный момент я не намерен вдаваться в эту трудность.
Поэтому я должен смириться с тем, чтобы при формулировке закона относительности включить скорости всякого рода в число данных, определяющих состояние тел.
Как бы то ни было, эта трудность одинакова как для геометрии Евклида, так и для геометрии Лобачевского; поэтому мне не нужно беспокоиться о ней, и я упомянул о ней лишь попутно.
Важен вывод: эксперимент не может решить спор между Евклидом и Лобачевским.
Подводя итог, как ни посмотри, невозможно обнаружить в геометрическом эмпиризме рациональный смысл.
6. Эксперименты учат нас только отношениям тел друг к другу; ни один из них не касается и не может касаться отношений тел с пространством или взаимных отношений различных частей пространства.
«Да, — отвечаете вы, — одного эксперимента недостаточно, потому что он дает мне только одно уравнение с несколькими неизвестными; но когда я проведу достаточно экспериментов, у меня будет достаточно уравнений, чтобы вычислить все мои неизвестные».
Знание высоты грот-мачты не достаточно для вычисления возраста капитана. Когда вы измерите каждую щепку на корабле, у вас будет много уравнений, но возраст капитана вы не узнаете лучше. Все ваши измерения, касающиеся только щепок, не могут открыть вам ничего, кроме того, что касается этих щепок. Точно так же ваши эксперименты, какими бы многочисленными они ни были, касающиеся только отношений тел друг к другу, не откроют нам ничего о взаимных отношениях различных частей пространства.
7. Скажете ли вы, что если эксперименты касаются тел, то они касаются, по крайней мере, геометрических свойств тел? Но, во-первых, что вы понимаете под геометрическими свойствами тел? Я полагаю, что речь идет об отношениях тел с пространством; следовательно, эти свойства недоступны для экспериментов, которые касаются только отношений тел друг к другу. Одного этого было бы достаточно, чтобы показать, что о таких свойствах не может быть и речи.
Все же давайте начнем с того, что договоримся о смысле фразы: геометрические свойства тел. Когда я говорю, что тело состоит из нескольких частей, я полагаю, что не формулирую при этом геометрическое свойство, и это оставалось бы верным, даже если бы я согласился дать неподобающее название точек самым маленьким частям, которые я рассматриваю.
Когда я говорю, что такая-то часть такого-то тела находится в контакте с такой-то частью другого тела, я формулирую суждение, которое касается взаимных отношений этих двух тел, а не их отношений с пространством.
Полагаю, вы согласитесь со мной, что это не геометрические свойства; по крайней мере, я уверен, вы согласитесь, что эти свойства независимы от всякого знания метрической геометрии.
Исходя из этого, я представляю, что у нас есть твердое тело, образованное восемью тонкими железными стержнями OA, OB, OC, OD, OE, OF, OG, OH, соединенными в одной из их оконечностей O. Пусть у нас будет второе твердое тело, например, кусок дерева, на котором отмечены три маленькие чернильные точки, которые я назову α, β, γ. Я далее предполагаю установленным, что αβγ может быть приведено в контакт с AGO (я имею в виду α с A, и в то же время β с G и γ с O), затем что мы можем последовательно приводить в контакт αβγ с BGO, CGO, DGO, EGO, FGO, затем с AHO, BHO, CHO, DHO, EHO, FHO, затем αγ последовательно с AB, BC, CD, DE, EF, FA.
Это определения, которые мы можем сделать, не имея заранее никакого представления о форме или метрических свойствах пространства. Они никоим образом не касаются «геометрических свойств тел». И эти определения не были бы возможны, если бы исследуемые тела двигались в соответствии с группой, имеющей ту же структуру, что и группа Лобачевского (я имею в виду в соответствии с теми же законами, что и твердые тела в геометрии Лобачевского). Следовательно, они достаточны, чтобы доказать, что эти тела движутся в соответствии с евклидовой группой, или, по крайней мере, что они не движутся в соответствии с группой Лобачевского.
То, что они совместимы с евклидовой группой, легко видеть. Ибо они могли бы быть сделаны, если бы тело αβγ было жестким телом нашей обычной геометрии, представляющим форму прямоугольного треугольника, и если бы точки ABCDEFGH были вершинами многогранника, образованного двумя правильными шестиугольными пирамидами нашей обычной геометрии, имеющими общее основание ABCDEF и вершинами одну G, а другую H.
Предположим теперь, что вместо предыдущего определения наблюдается, что, как и выше, αβγ может быть последовательно приложено к AGO, BGO, CGO, DGO, EGO, AHO, BHO, CHO, DHO, EHO, FHO, затем что αβ (а уже не αγ) может быть последовательно приложено к AB, BC, CD, DE, EF и FA.
Это определения, которые могли бы быть сделаны, если бы неевклидова геометрия была верна, если бы тела αβγ и OABCDEFGH были жесткими телами, и если бы первое было прямоугольным треугольником, а второе — двойной правильной шестиугольной пирамидой подходящих размеров.
Следовательно, эти новые определения невозможны, если тела движутся в соответствии с евклидовой группой; но они становятся таковыми, если предположить, что тела движутся в соответствии с группой Лобачевского. Они были бы достаточны, следовательно (если бы их сделали), чтобы доказать, что рассматриваемые тела не движутся в соответствии с евклидовой группой.
Таким образом, не делая никакой гипотезы о форме, о природе пространства, об отношениях тел к пространству и не приписывая телам никакого геометрического свойства, я сделал наблюдения, которые позволили мне показать в одном случае, что исследуемые тела движутся в соответствии с группой, структура которой евклидова, а в другом случае, что они движутся в соответствии с группой, структура которой лобачевская.
И нельзя сказать, что первая совокупность определений составила бы эксперимент, доказывающий, что пространство евклидово, а вторая — эксперимент, доказывающий, что пространство неевклидово.
На самом деле можно представить (я говорю представить) тела, движущиеся так, чтобы сделать возможной вторую серию определений. И доказательство этого в том, что первый встречный механик мог бы сконструировать такие тела, если бы захотел взять на себя труд и расходы. Вы, однако, не сделаете из этого вывод, что пространство неевклидово.
Более того, поскольку обычные твердые тела продолжали бы существовать, когда механик сконструировал бы странные тела, о которых я только что говорил, необходимо было бы сделать вывод, что пространство одновременно и евклидово, и неевклидово.
Предположим, например, что у нас есть большая сфера радиуса R и что температура убывает от центра к поверхности этой сферы по закону, о котором я говорил, описывая неевклидов мир.
У нас могли бы быть тела, расширение которых было бы пренебрежимо мало и которые вели бы себя как обычные жесткие тела; и, с другой стороны, тела, сильно расширяющиеся, которые вели бы себя как неевклидовы твердые тела. У нас могли бы быть две двойные пирамиды OABCDEFGH и O'A'B'C'D'E'F'G'H' и два треугольника αβγ и α'β'γ'. Первая двойная пирамида могла бы быть прямолинейной, а вторая — криволинейной; треугольник αβγ мог бы быть сделан из нерасширяемого материала, а другой — из очень расширяемого материала.
Тогда было бы возможно провести первые наблюдения с двойной пирамидой OAH и треугольником αβγ, а вторые — с двойной пирамидой O'A'H' и треугольником α'β'γ'. И тогда эксперимент, казалось бы, доказывал сначала, что евклидова геометрия верна, а затем, что она ложна.
Эксперименты, следовательно, имеют отношение не к пространству, а к телам.
Дополнение
8. Чтобы завершить дело, я должен сказать о весьма тонком вопросе, который потребовал бы долгого развития; я ограничусь здесь кратким изложением того, что я изложил в Revue de Métaphysique et de Morale и в The Monist. Когда мы говорим, что пространство имеет три измерения, что мы имеем в виду?
Мы видели важность тех «внутренних изменений», которые открываются нам нашими мышечными ощущениями. Они могут служить для характеристики различных положений нашего тела. Возьмем произвольно в качестве начала одно из этих положений A. Когда мы переходим от этого начального положения к любому другому положению B, мы чувствуем серию мышечных ощущений, и эта серия S будет определять B. Заметим, однако, что мы часто будем рассматривать две серии S и S' как определяющие одно и то же положение B (поскольку начальное и конечное положения A и B остаются прежними, промежуточные положения и соответствующие ощущения могут различаться). Как же тогда мы узнаем эквивалентность этих двух серий? Потому что они могут служить для компенсации одного и того же внешнего изменения, или, более общо, потому что, когда речь идет о компенсации внешнего изменения, одна из серий может быть заменена другой. Среди этих серий мы выделили те, которые сами по себе могут компенсировать внешнее изменение, и которые мы назвали «перемещениями». Поскольку мы не можем различить два перемещения, которые слишком близки друг к другу, совокупность этих перемещений представляет характеристики физического континуума; опыт учит нас, что это характеристики физического континуума шести измерений; но мы еще не знаем, сколько измерений имеет само пространство, мы должны сначала решить другой вопрос.