Человеческое познание его сферы и границы. 25 страница

Для этого процесса замещения имен структурными определениями в практике имеются явные границы, и, может быть (хотя это и не бесспорно), есть также границы и в теории. Предположив ради простоты, что материя состоит из электронов и протонов, мы могли бы, в теории, дать собственное имя каждому электрону и каждому протону; мы могли бы тогда определить какой-либо индивидуум посредством упоминания электронов и протонов, составляющих его тело в разное время; таким образом, имена человеческих индивидуумов теоретически оказались бы излишними. Говоря вообще, все то, что обладает доступной анализу структурой, не нуждается в имени, поскольку может быть определено с помощью имен ингредиентов и слов, обозначающих их отношения. С другой стороны, все то, что не имеет познанной структуры, нуждается в имени, если нам нужно выражать все наше знание о нем.

Следует заметить, что обозначающее определение не делает имя излишним. Например, "отец Александра Великого" есть обозначающее определение, но оно не позволяет нам выразить факт, который современники могли бы выразить словами "этот человек есть отец Александра", где слово "этот" выполняет функцию имени.

Когда мы отрицаем ньютоновскую теорию абсолютного пространства, продолжая в то же время пользоваться в математической физике тем, что мы называем "точками", наши действия оправдываются только в том случае, если имеется структурное определение "точки" и (в теории) отдельных точек, Такое определение должно достигаться посредством методов сходных с теми, которыми мы пользовались при определении "моментов". Здесь, однако, следует сделать две оговорки: во-первых, что наше многообразие точек должно быть трехмерным и, во-вторых, что точку мы должны определять как момент. Сказать, что точка P, находящаяся в одном времени, тождественна с точкой О, находящейся в другом времени значит сказать нечто, не имеющее определенного смысла, кроме условного, зависящего от выбора материальных осей. Но так как этот вопрос связан с теорией относительности, я не буду сейчас рассматривать его подробно и ограничусь определением точек в данный момент, игнорируя при этом трудности, связанные с определением одновременности.

В последующем я не подчеркиваю именно тот метод построения точек, который я применяю. Другие методы также возможны, и некоторые из них могут даже оказаться более предположительными. Важно отметить только то, что можно изобрести такие методы. В определении моментов мы использовали отношение "совпадения" во времени - отношение, которое имеет место между двумя событиями, когда (в обычном языке) имеется время, в течение которого оба существуют. В определении точек мы пользуемся отношением "совмещения" в пространстве, которое должно иметь место между двумя одновременными событиями, занимающими (в обычном языке) одну и ту же область пространства в целом или частично. Следует заметить, что события, в противоположность частям материи, не следует считать взаимонепроницаемыми. Непроницаемость материи есть свойство, которое тавтологически вытекает из её определения. "События", однако, определяются только как термины, не обладающие структурой и имеющие такие пространственные и временные отношения, которые принадлежат конечным объемам пространства и конечным периодам времени. Когда я говорю "такие, которые", я имею в виду "сходные в отношении логических свойств". Но "совпадение" само по себе не определяется логически; оно является эмпирически познаваемым отношением, имеющим в том построении, которое я защищаю, только наглядное определение.

В многообразии более одного измерения, посредством бинарного отношения "совмещения", мы ничего не можем построить такого, что обладало бы свойствами, требуемыми от "точек". В качестве простейшего примера возьмем фигуры на плоскости.

Три фигуры на плоскости - А, В и С - могут налегать друг на друга так, что каждая налегает на две остальные, и вместе с тем так, что нет области, общей для всех трех фигур. На приведенном рисунке круг А налегает на прямоугольник В и треугольник С, а прямоугольник В налегает на треугольник С, но при этом нет области, общей для А, В и С. Основанием нашей конструкции должно быть отношение не двух, а трех фигур. Мы будем говорить, что три площади являются "соточечными" (copunctual), когда имеется область, общая для всех трех фигур. (Это - объяснение, а не определение.)

Мы будем исходить из того, что фигуры, с которыми мы имеем дело, или являются кругами, или получаются из кругов благодаря растяжениям или сжатиям, при которых сохраняется овальность. В этом случае если даны три соточечные фигуры А, В и С и четвертая фигура D такая, что и Л, В, D и А, С, D, и В, С, D соточечны, то A, В, С и D все имеют общую область.

Мы теперь называем группу, состоящую из любого числа фигур, "соточечной", если каждая триада из этой группы будет соточечной. Соточечная группа фигур представляет собой "точку", если она не может быть расширена, не перестав быть соточечной, то есть если для любой фигуры X, не принадлежащей группе, в этой группе имеются по крайней мере две фигуры А и В, такие, что А, В и Х не являются соточечными.

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

В n измерениях определения остаются одними и теми же, за исключением того, что первоначальное отношение соточечности должно относиться к л +1 фигурам.

"Точки" определяются как классы событий с помощью вышеприведенных методов и с молчаливым предположением, что каждое событие "занимает" более или менее овальную площадь.

"События" должны пониматься в этом обсуждении как неопределенный сырой материал, из которого должны быть получены геометрические определения. В другом контексте нам может понадобиться исследовать то, что понимается под "событиями", и мы сможем тогда продолжать наш анализ дальше, а сейчас мы рассматриваем многообразие "событий" с их пространственными и временными отношениями как эмпирические данные.

Способ, с помощью которого пространственный порядок

вытекает из наших предположений, является несколько сложным. Однако здесь я ничего не буду говорить об этом, так как разбирал этот вопрос в книге "Анализ материи", где я дал также и гораздо более полный разбор определения "точек"

(главы 28 и 29).

Кое-что следует сказать о метрических свойствах пространства. Астрономы в своих популярных книгах поражают нам прежде всего рассказами о том, как безмерно далеко находятся от нас многие туманности, а затем утверждениями, что вселенная в конце концов конечна, будучи трехмерным аналогом поверхности сферы. Но в своих менее популярных книгах они говорят, что измерение носит только условный характер и что мы могли бы, если бы захотели, принять такие условия, которые привели бы к тому, что самые удаленные из известных нам туманностей северного полушария оказались бы к нам ближе, чем туманности противоположного полушария. Если это так, то обширность вселенной является не фактом, а результатом условий. Я думаю, что это верно только отчасти, но выделить элемент условности в измерении - это отнюдь не легкое дело. Прежде чем попытаться сделать это, следует кое-что сказать об измерении в его элементарных формах.

Измерение расстояния даже до удаленных туманностей строится на основе измерений расстояний на поверхности Земли, а наземные измерения начинаются с допущения, что некоторые тела могут рассматриваться как приблизительно жесткие (rigid). Если вы измеряете величину вашей комнаты, то вы исходите из того, что ваша измерительная линейка не становится заметно длиннее или короче в процессе измерения. Английская военно-топографическая съемка определяет большинство расстояний посредством триангуляции, но этот процесс требует, чтобы по крайней мере одно расстояние было измерено непосредственно. Действительно, основная линия, избранная на Солсберийской равнине, была тщательно измерена элементарным способом, каким мы измеряем величину нашей комнаты: цепь, которую можно принять по определению за единицу длины, повторно укладывалась на поверхности земли вдоль линии, которая была прямой, насколько это было возможно. Когда эта длина была определена непосредственно, остальное измерение производилось посредством измерения углов и соответствующих вычислений: диаметр Земли, расстояние до Солнца и Луны и даже расстояния до ближайших неподвижных звезд могут быть определены без какого-либо дальнейшего непосредственного измерения длин.

Но если этот процесс исследовать тщательно, то оказывается, что он полон трудностей. Допущение, что тело "жестко", не имеет определенного смысла, пока мы не установим метрики, позволяющей нам сравнить длины и углы в один момент времени с длинами и углами в другой момент времени, так как "жесткое" тело не изменяет ни своей формы, ни величины. Но тогда мы нуждаемся в определении "прямой линии", так как все наши результаты будут неверными, если основная линия на Солсберийской равнине и линии, употребляемые в процессе триангуляции, не прямые. Следовательно, оказывается, что измерение предполагает геометрию (позволяющую определить "прямую линию") и достаточные познания в физике, дающей основания для рассмотрения некоторых тел приблизительно жесткими и для сравнения расстояний, измеренных в один момент времени, с измеренными в другой момент. Связанные с этим затруднения трудно преодолимы, но прикрываются допущениями, принятыми в соответствии с обыденным здравым смыслом.

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

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

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

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

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

Данное положение хотя и может показаться сложным, все-таки еще недостаточно сложно. Этот процесс иногда бывает связан только с одним законом, и очень часто случается, что и самый закон приблизителен. Измерения различных величин взаимозависимы, как мы это только что видели в примере с длиной и температурой, так что изменение в способе измерения одной величины может изменить меру другой величины. Законы, условия и наблюдения отдельных фактов бывают почти неразрешимым образом связаны и смешаны в реальном процессе развития науки. Результат наблюдения обычно устанавливается в форме, которая предполагает определенные законы и определенные условные допущения; если результат противоречит системе принятых до этого законов и условных допущений, то исследователю может быть предоставлена значительная свобода в выборе того, какой из этих законов или условных допущений должен быть изменен. Избитым примером этого является эксперимент Майкельсона—Морли, в котором оказалось, что самое простое его истолкование влечет за собой радикальное изменение временных и пространственных измерений.

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

В понятии "точности", однако, имеется один элемент, который не просто только удобен. Мы привыкли к аксиоме, что две вещи, порознь равные одной и той же третьей, равны между собой. Эта аксиома имеет показную и обманчивую видимость очевидности вопреки тому, что эмпирическое свидетельство против нее. Самыми тонкими испытаниями, какие только можно применить, вы можете обнаружить, что А равно В и что В равно С, но что А заметно не равно С Когда это получается, мы говорим, что А в действительности не равно В или что В не равно С. Довольно странно, что мы склонны это утверждать, когда техника измерения совершенствуется. Но настоящая основа нашей веры в эту аксиому не эмпирична. Мы верим, что равенство состоит в обладании общим свойством. Две длины равны, если они имеют одну и ту же величину, и именно эту величину мы и выражаем при измерении. Если мы правы в этом, то аксиома логически необходима. Если A и B имеют одну и ту же величину и если В и С имеют ту же самую величину, то А и С необходимо имеют эту же величину, если только все измеряемое имеет только одну величину.

Хотя эта вера в величину как свойство, которое может быть общим для разных измеряемых вещей, скрыто и влияет на обыденный здравый смысл в его понимании того, что является очевидным, все-таки мы не должны принимать эту веру, пока не имеем свидетельства ее истинности в том частном вопросе, который мы рассматриваем. Вера в то, что у каждого из ряда членов имеется такое свойство, логически эквивалентна вере, что существует транзитивное симметричное отношение, имеющее место между любыми двумя членами ряда. (Эта эквивалентность есть то, что я раньше назвал "принципом абстракции".) Таким образом, утверждая, что имеется ряд величин, называемых "расстояниями", мы утверждаем следующее: между точками любой одной пары точек и точками любой другой пары имеет место или симметричное транзитивное отношение или асимметричное транзитивное отношение. В первом случае мы говорим, что расстояние между точками одной пары равно расстоянию между точками другой пары; в последнем случае, в соответствии со смыслом отношения, мы говорим, что первое расстояние меньше или больше, чем второе. Расстояние между двумя точками может быть определено как класс пар точек, имеющих между собой равные расстояния.

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

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

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

ГЛАВА 7.

ПРОСТРАНСТВО-ВРЕМЯ.

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

Может быть, лучше всего будет начать с открытия того, что "одновременность" оказывается неопределенным понятием, когда оно применяется к событиям, происходящим в разных местах. Эксперименты, особенно эксперимент Майкельсона— Морли, ведут к заключению, что скорость света является постоянной для всех наблюдателей, как бы они ни двигались. На первый взгляд это казалось логически невозможным. Если вы находитесь в поезде, который движется со скоростью 30 миль в час, и если вас обгоняет поезд, движущийся со скоростью 60 миль в час, то его скорость относительно вас будет равна 30 милям в час. Но если поезд движется со скоростью света, то его скорость относительно вас будет той же, что и относительно неподвижных точек на Земле, бета частицы иногда движутся со скоростью, составляющей 90 процентов скорости света, но если бы физик мог двигаться вместе с такой частицей и если бы при этом его обгонял луч света, то он все же обнаружил бы, что свет движется относительно него с той же скоростью, как если бы он был неподвижным в отношении Земли. Этот парадокс объясняется тем фактом, что разные наблюдатели, снабженные совершенными хронометрами, дадут разные определения временным интервалам и выскажут разные суждения относительно одновременности в разных местах.

Нетрудно увидеть необходимость таких различий, после того как на нее было указано. Допустим, что астроном наблюдает какое-либо событие на Солнце и отмечает время своего наблюдения; он сделает вывод, что событие произошло приблизительно за восемь минут до его наблюдения, поскольку именно таков период времени, в течение которого свет идет от Солнца к Земле. Но теперь допустим, что Земля в это время очень быстро двигалась по направлению к Солнцу или от него. Если вы заранее не знали, в какой момент по земному времени произошло событие на Солнце, то вы не будете знать, какое расстояние должен был пройти свет и, следовательно, ваше наблюдение не позволит вам узнать, когда на Солнце произошло событие. Это значит, что нет определенного ответа на вопрос: какие события на Земле были одновременны с тем событием на Солнце, которое вы наблюдали?

Из неопределенности понятия одновременности следует, что существует параллельная неопределенность и в понятии расстояния. Если два тела находятся в относительном движении, то их расстояние друг от друга непрерывно изменяется, и в физике до теории относительности оно считалось расстоянием, определяемым их "расстоянием в данный момент". Но если имеется неопределенность в отношении того, что считать одним и тем же моментом для двух тел, то существует также неопределенность и в отношении "расстояния в данный момент". Один наблюдатель зафиксирует одно время, а другой — другое, и нет никакого основания для предпочтения одного показания другому. Действительно, никакие временные интервалы и никакие пространственные интервалы не являются фактами, независимыми от движений тела наблюдателя. Существует некоторого рода субъективность в измерениях времени и пространства, измеряемых независимо друг от друга,— субъективность не психологическая, а физическая, поскольку она влияет на приборы, а не только на сознание наблюдателей. Она похожа на субъективность фотокамеры, которая делает снимок с определенной точки зрения. Снимки с других точек зрения выглядели бы по-другому, и ни один из них не мог бы притязать на особую точность.

Имеется, однако, одно отношение между двумя событиями, которое оказывается одним и тем же для всех наблюдателей. Прежде было два таких отношения — расстояние в пространстве и промежуток времени; теперь же есть только одно, называемое "интервалом". Именно благодаря тому, что есть только одно это отношение интервала вместо расстояния и промежутка времени, мы должны вместо двух понятий — понятия пространства и понятия времени — ввести одно понятие пространства-времени. Но хотя мы и не можем больше отделять друг от друга пространство и время, все-таки существуют два вида интервала; один интервал пространственноподобен и другой — времениподобен. Интервал является пространственноподобным, если световой сигнал, посланный телом, на котором происходит одно событие, достигает тела, на котором происходит другое событие, после того как это другое событие уже произошло. (Следует отметить, что нет никакой неопределенности в отношении временного порядка событий на данном одном теле.) Интервал является времениподобным, если световой сигнал, посланный от одного события, достигает тела, на котором происходит другое событие, до того, как это другое событие уже произошло. Так как ничто не движется со скоростью, большей скорости света, мы можем сказать, что этот интервал является времениподобным, когда одно событие может воздействовать на другое или на что-либо находящееся в той же пространственно-временной области, что и другое событие; когда это невозможно, интервал является пространственноподобным.

В специальной теории относительности определение интервала является простым; в общей теории относительности оно более сложно.

В специальной теории относительности предполагается, что наблюдатель, считающий себя неподвижным, принимает расстояние между двумя событиями за r, а промежуток времени между ними — за t. Тогда, если с есть скорость света, квадрат интервала будет равен

с2t2 - г2

в том случае, если интервал времениподобен; если же он пространственноподобен, то он будет равен

r2 - с2t2.

Обычно технически проще бывает считать его всегда одним их этих двух случаев, в котором квадрат интервала другого вида будет отрицательным, а самый интервал — мнимым.

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

Общая теория относительности устраняет вышеприведенные ограничения путем введения измененного определения "интервала".

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

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