Рис. 11.
События-частицы в вертикально противоположных областях и соединены с ректами; а события-частицы в вертикально противоположных областях и соединены с точечными треками.
Локусы, которые ограничивают области, отделяющие точечные треки от ректов, будут называться «нулевыми треками». Их особые свойства будут рассмотрены позже, когда будет введена конгруэнтность. В любой матрице есть два семейства параллельных нулевых треков; и есть один член каждого семейства, проходящий через каждое событие-частицу на прямолинейном треке. Порядок событий-частиц на нулевом треке выводится из его пересечения с системами параллельных ректов [не сомоментальных] или параллельных точечных треков, или из порядков на маршрутах, лежащих на нем.
46. Прямые линии. 46.1 Очевидно, существует важная теория параллельности для семейств матриц, аналогичная теории параллелей для семейств уровней. Детальные свойства здесь не нужно разрабатывать.
Две матрицы могут либо (i) быть параллельными, либо (ii) пересекаться только в одном событии-частице, либо (iii) пересекаться в ректе, либо (iv) пересекаться в точечном треке, либо (v) пересекаться в нулевом треке. Для пересечения двух уровней могут возникнуть только случаи (i), (ii) и (iii); для пересечения уровня и матрицы могут возникнуть только случаи (ii) и (iii).
46.2 Каждая матрица содержит различные наборы параллельных точечных треков. Любой такой набор является локусом точек в пространстве некоторой системы времени. Такой локус точек называется «прямой линией» в пространстве системы времени.
Матрица, которая содержит точки прямой линии в пространстве любой системы времени , будет называться «ассоциированной матрицей для », и она называется «матрицей, включающей» эту прямую линию.
Матрица является ассоциированной матрицей для многих систем времени, но она является матрицей, включающей только одну прямую линию в каждом соответствующем пространстве. Семейство систем времени, для которых данная матрица является ассоциированной матрицей, называется «коллинеарным» семейством. Целое семейство параллельных матриц являются ассоциированными матрицами для одного и того же коллинеарного семейства систем времени, если любая одна матрица этого семейства так ассоциирована. В пространстве любой одной системы времени прямые линии, включенные семейством параллельных ассоциированных матриц, называются параллельными.
46.3 Матрица пересекает момент в ректе. Если момент принадлежит системе времени, с которой матрица ассоциирована, этот рект в моменте соответствует прямой линии, включенной матрицей, в том смысле, что он имеет одну частицу, занимающую каждую из его точек. Рект, таким образом ассоциированный с прямой линией, будет, как говорят, «занимать» ее.
Таким образом, события-частицы на матрице , ассоциированной с системой времени , могут быть исчерпывающе сгруппированы во взаимно исключающие подмножества двумя различными способами: (i) Они могут быть сгруппированы в точки , которые лежат на ; этот локус точек — включенная прямая линия в пространстве , которую мы назовем : (ii) События-частицы на могут быть сгруппированы в наборы параллельных ректов, которые являются пересечениями с моментами , и, таким образом, каждый из этих ректов занимает .
46.4 Существует три различных типа значения, которые могут быть приданы идее «пространства» в связи с внешней природой, (i) Существует четырехмерное пространство, точками которого являются события-частицы, а прямыми линиями — ректы, точечные треки и нулевые треки. В геометрии этого пространства существует отсутствие единообразия между теориями конгруэнтности для ректов и для точечных треков, и нет такой теории для нулевых треков, (ii) Существуют трехмерные моментальные (мгновенные) пространства в моментах любой системы времени , точками которых являются события-частицы, а прямыми линиями — ректы. Наблюдаемое пространство обычного восприятия является приближением к этому точному понятию, (iii) Существует вневременное трехмерное пространство системы времени , точками которого являются точечные треки, а матрицы включают прямые линии. Это пространство физической науки.
Существует точная корреляция между вневременным пространством системы времени и любым моментальным пространством той же системы времени. Ибо любая точка моментального пространства — это событие-частица, которое занимает одну и только одну точку вневременного пространства; и любая прямая линия моментального пространства — это рект, который лежит в одной ассоциированной матрице, включающей одну прямую линию вневременного пространства, или (другими словами) каждая прямая линия моментального пространства занимает прямую линию вневременного пространства.
Система времени соответствует консентиентному множеству ньютоновской группы, а вневременное пространство системы времени — это пространство соответствующей консентиентной группы.
ГЛАВА XII. НОРМАЛЬНОСТЬ И КОНГРУЭНТНОСТЬ
47. Нормальность. 47.1 Точечный трек будет, как говорят, «нормальным» к моментам системы времени, в пространстве которой он является точкой.
Матрица, как говорят, «нормальна» к моментам, которые нормальны к любому из точечных треков, которые она содержит.
Рассмотрим событие-частицу и матрицу , которая содержит . Пусть , ... — коллинеарный набор систем времени, точки которых лежат в матрице или параллельны ей. Пусть , ... — моменты систем времени ..., которые содержат . Тогда уровни , ... в которых соответственно и , и , и т.д. пересекаются, идентичны, и событие-частица является единственным событием-частицей, образующим пересечение и . Также пересекает каждый из этих моментов , и , и , и т.д. в ректах , и т.д. соответственно. Уровень и матрица, как говорят, взаимно «нормальны». Будет отмечено, что любые две системы времени, и , определяют один уровень и одну матрицу, которые взаимно нормальны и каждый содержит данное событие-частицу. Соответственно любому уровню, содержащему , существует одна матрица, нормальная к нему в ; и соответственно любой матрице, содержащей , существует один уровень, нормальный к ней в .
Если и — уровень и матрица, нормальные друг к другу, то ректы в будут называться нормальными к ректам и точечным трекам в . Пара ректов, которые нормальны друг к другу, будут также называться «перпендикулярными» или «под прямым углом». Два точечных трека никогда не могут быть нормальны друг к другу, поскольку ни один точечный трек не лежит на уровне. Параллели к нормалям сами по себе нормальны.
47.2 Продолжая нотацию 47.1, мы отмечаем, что матрица включает прямые линии , и т.д. пространств , и т.д. и пересекает моменты , и т.д. в ректах , и т.д., которые соответственно занимают , и т.д. Рект содержит и нормален к каждому ректу, лежащему в . Пусть ′ будет любым ректом, содержащим и лежащим в . Тогда ′ и взаимно нормальны и оба лежат в моменте .
Прямая ′ занимает одну прямую линию в пространстве ; назовем эту прямую линию ′. Тогда прямые линии и ′ будут называться «нормальными» друг к другу. Это определение нормальности прямых линий можно дать в общих чертах следующим образом: две прямые линии в одном и том же пространстве называются нормальными друг к другу, когда они соответственно заняты нормальными прямыми, лежащими в одном и том же моменте соответствующей системы времени.
47.3 Продолжая обозначения из 47.2, пусть ′ будет уровнем, содержащим и ′; этот уровень лежит в и содержит . Пусть ′ будет матрицей, нормальной к ′ в . Тогда ′ пересекает в прямой ″, которая нормальна как к , так и к ′. Таким образом, в событии-частице на уровне существуют пары взаимно нормальных прямых, ′ и ″, одна из которых выбрана произвольно; а в событии-частице в моменте существуют триады взаимно нормальных прямых, и ′ и ″, с обычными условиями относительно свободы выбора.
Соответствие между моментальным пространством и вневременным пространством той же системы времени позволяет нам немедленно распространить эти теоремы на пары нормальных прямых линий в плоскости и на триады пересекающихся взаимно нормальных прямых линий в трех измерениях.
48. Конгруэнтность. 48.1 Конгруэнтность основана на понятии повторения, а именно: в некотором смысле конгруэнтные геометрические элементы повторяют друг друга. Повторение воплощает принцип единообразия. Мы обнаружили, что повторение является ведущей характеристикой параллельности; соответственно, можно предположить наличие тесной связи между конгруэнтностью и параллельностью. Кроме того, мы только что в общих чертах разработали принципы нормальности, указав, как это свойство берет свое начало во взаимодействии отношений протяженности и когредиентности. Но — как мы знаем из опыта — ведущим свойством нормальности является симметрия, а именно симметрия относительно нормали. Теперь симметрия — это просто другое название для определенного рода повторения; соответственно, конгруэнтность и нормальность должны быть связаны.
Таким образом, мы приходим к поиску выражения природы конгруэнтности через параллельность и нормальность, в частности, через связанные с ними свойства повторения.
48.2 Конгруэнтность, поскольку она выводится из параллельности, определяется утверждениями, что (i) противоположные стороны параллелограммов конгруэнтны друг другу, и (ii) пути на одной и той же прямой или на одном и том же точечном треке, которые конгруэнтны одному и тому же пути, конгруэнтны друг другу [7].
Также действует общий закон, согласно которому два пути, которые (как определено выше) конгруэнтны третьему пути, конгруэнтны друг другу. Этот закон является существенной теоремой о параллельности, а не просто следствием определений.
Но конгруэнтность, выраженная таким образом через параллельность, устанавливает лишь отношение конгруэнтности между прямыми путями на прямых, принадлежащих одному параллельному семейству, или на точечных треках, принадлежащих одному параллельному семейству. Для таких путей в любом параллельном семействе может быть установлена система численного измерения, детали которой здесь не нужно разрабатывать. Однако до сих пор не установлен принцип сравнения длин двух путей, принадлежащих разным параллельным семействам прямых или разным параллельным семействам точечных треков. Когда мы сможем определять равные длины на любых двух прямых, параллельны они или нет, будут определены общие принципы измерения пространства; а когда мы сможем определять равные промежутки [т.е. длины] времени на любых двух точечных треках, параллельны они или нет, будут определены общие принципы измерения времени.
48.3 Конгруэнтность между различными параллельными семействами вытекает из следующего определения, основанного на свойстве повторения [т.е. симметрии] нормальности: пусть и будут парой взаимно нормальных прямых, пересекающихся в , или пусть это будут прямая и точечный трек, пересекающиеся в [где либо , либо является прямой] и взаимно нормальные, и пусть будет средним событием-частицей прямого пути, проходящего между событиями-частицами и , тогда прямые пути и конгруэнтны друг другу.
Из симметрии нормальности следует, что либо обе пары частиц, а именно ( ) и ( ), соединены прямыми, либо обе пары соединены точечными треками, либо обе пары — нулевыми треками. Как и в аналогичном случае конгруэнтности, выведенной из параллельности, транзитивность конгруэнтности выражает существенный закон природы, а не просто дедукцию из условий определения.
Рис. 12.
48.4 Равнобедренный треугольник из 48.3 должен лежать либо на уровне, либо на матрице. Если он лежит на уровне, все прямые пути фигуры должны лежать на прямых. Но на матрице пара нормалей не может быть одного и того же наименования, т.е. не могут быть обе прямыми или оба точечными треками. Таким образом, остается рассмотреть пять случаев. Эти случаи схематически представлены на прилагаемых рисунках, где сплошные линии представляют прямые, а пунктирные линии представляют точечные треки.
Рис. 13.
Очевидно, что случай (i) — единственный, в котором треугольник лежит на уровне: треугольники в остальных четырех случаях лежат на матрицах.
Отношения между диаграммами (ii) и (v) лучше всего видны при объединении их в одну фигуру, как в (vi), а отношения между (iii) и (iv) — при объединении их в одну фигуру, как в (vii).
Рис. 14.
48.5 Случай (i) из 48.4 позволяет нам завершить теорию конгруэнтности для пространственных измерений. Пусть и будут любыми двумя комоментальными прямыми, пересекающимися в событии-частице . Пусть будет любой частицей на , и пусть ′ будет прямой, проходящей через и параллельной .
Теперь предположим, что можно найти одну пару взаимно нормальных прямых, и ′, пересекающихся друг с другом в , и соответственно пересекающих ′ в и ′, где . Через проведите ″ параллельно ′ и пересекающую в ″; и через проведите ′ параллельно и пересекающую в ″.
Тогда из 48.1, и . Таким образом, ′ и ″ обозначают одно и то же событие-частицу. Теперь . Следовательно, согласно случаю (i) из 48.4, . Таким образом, длины на и сравнимы. Нам не нужно здесь рассматривать теоремы, принятые ли как независимые законы природы или выведенные из предыдущих предположений, благодаря которым мы знаем, что прямоугольная пара ( и ′) существует, что ′ и ″ совпадают и не лежат по разные стороны от , и что .
48.6 Опять же, если и — прямые, которые не являются комоментальными и не лежат в параллельных моментах, их измерения все равно сравнимы. Ибо существуют два пересекающихся момента, и , из которых содержит , а содержит .
Рис. 15.
Таким образом, любая прямая ′ на уровне, общем для и , имеет измерения, сравнимые как с измерениями на , так и с измерениями на ; и, следовательно, в силу транзитивности конгруэнтности, измерения на и сравнимы. Благодаря этой процедуре использование случаев (ii) и (iii) из 48.4 становится излишним. Соответственно, эти случаи становятся теоремами, а не определениями конгруэнтности, как предполагалось в их первоначальной формулировке. Если бы они были приняты в качестве определений, дедукция из 48.5 все равно была бы возможна. Но поскольку фигура теперь лежала бы в матрице, одна из и ′ была бы точечным треком, а другая — прямой. Тогда не существует сколько-нибудь очевидного принципа, с помощью которого мы могли бы узнать о существовании пары ( и ′) такой, что , помимо предположения теоремы, которую мы хотим доказать.
48.7 Случаи (iv) и (v) из 48.4 касаются сравнимости измерений времени в различных системах времени. Применимы те же замечания, что и в 48.6; а именно, что метод из 48.5 можно было бы применить, если бы мы могли независимо убедиться, что требуемая пара, и ′ (один — точечный трек, а другой — прямая), существует.
Эта сравнимость измерений времени будет достигнута другим методом, который зависит от того факта, что относительная скорость равна и противоположна. Объяснение этого метода должно быть отложено до следующей главы.
[7] Это определение конгруэнтности дано профессорами Э. Б. Уилсоном и Г. Н. Льюисом в их ценной статье «Пространственно-временное многообразие относительности», Proc. of the Amer. Acad. of Arts and Sciences, том XLVIII, 1912.
ГЛАВА XIII ДВИЖЕНИЕ
49. Аналитическая геометрия. 49.1 Рассмотрим любую систему времени : мы будем называть пространство этой системы времени «-пространством», а ее моменты — «-моментами»; также точки и прямые линии -пространства будут называться «-точками» и «-линиями», а прямые и уровни, лежащие в -моментах, будут называться «-прямыми» и «-уровнями». Если — любое событие-частица, то будет обозначать -момент, который охватывает . Если — любая другая система времени, то не существует -моментов, которые были бы также -моментами, и нет -точек, которые были бы также -точками; но существуют -уровни, которые являются также -уровнями, и -прямые, которые являются также -прямыми. Ибо два момента и пересекаются в общем уровне, который будет называться . Тогда прямые, лежащие в , являются одновременно и -прямыми, и -прямыми. В частности, через в уровне существуют пары взаимно нормальных прямых, и каждая прямая, проходящая через и , является членом одной такой пары.
49.2 Пусть — любое произвольно выбранное событие-частица, которое мы назовем началом координат; и пусть будет -точкой, занятой ; и пусть , , будут любой триадой взаимно прямоугольных -прямых в моменте , каждая из которых содержит . В этом обозначении , и т. д. не обозначают какие-либо конкретные сущности, но символы, такие как и , должны каждый рассматриваться как одно целое. Пусть обозначает матрицу, содержащую и , с аналогичными значениями для и ; и пусть , и обозначают соответственно уровни, содержащие и , и , и . Пусть будет любым другим событием-частицей, занимающим точку , и пусть будут -прямыми, проходящими через и соответственно параллельными , , .
Рис. 16.
На диаграмме третье измерение моментов и , а именно -измерение, опущено, так что эти моменты схематически представлены как двумерные. Точечные треки (в данном случае -точки) представлены пунктирными линиями. Диаграмма имеет недостаток, заключающийся в представлении матриц, таких как , уровнями, и поэтому может привести к необоснованным предположениям.
49.3 Длины на всех прямых, независимо от того, являются ли они -прямыми, измеримы в единицах одной длины. Но промежутки времени между -моментами — или, что то же самое, промежутки времени вдоль -точек — должны измеряться в единице времени, свойственной системе времени , поскольку до сих пор не было раскрыто никаких средств получения конгруэнтных единиц времени в разных системах времени. Мы будем предполагать в настоящее время, что в каждой системе времени существует заданная произвольно выбранная единица для измерения времени.
49.4 Пусть моментальное пространство отнесено к трем прямоугольным -прямым , , в качестве осей координат; и пусть моментальное пространство отнесено к трем прямоугольным -прямым , , в качестве осей координат; и пусть вневременное пространство [ -пространство] отнесено к трем прямоугольным -линиям, соответственно включенным в матрицы , , в качестве осей координат; и пусть четырехмерное пространство всех частиц отнесено к четырем осям, состоящим из трех -прямых , , и -точки в качестве осей координат.
49.5 Пусть — любое событие-частица в моменте , и пусть занимает -точку , которая пересекает момент в событии-частице . Пусть промежуток времени между моментами и равен , где положителен, когда последует за ; и пусть координаты -точки в -пространстве равны ( ). Тогда координаты в моментальном пространстве и в моментальном пространстве также равны ( ). Также «-координаты» в четырехмерном пространстве частиц равны ( ); этот факт для можно также выразить, сказав, что занимает -точку ( ) в -время .