И.А. Долгарев и А.И. Долгарев
ГЕОМЕТРИЯ ГАЛИЛЕЕВЫХ ДВИЖЕНИЙ
В СРАВНЕНИИ С ГЕОМЕТРИЕЙ ПАРАЛЛЕЛЬНЫХ ПЕРЕНОСОВ
Основой евклидовой геометрии служит линейное пространство параллельных переносов. Рассматривая галилеевы преобразования, приходим к некоммутативному галилееву пространству-времени, пространственная составляющая которого евклидова. При изучении движения материальных объектов в евклидовой плоскости методами евклидовой геометрии и методами некоммутативной галилеевой геометрии, получаем различные результаты. Скорости движений в некоммутативном пространстве-времени замедляются или увеличиваются по сравнению со скоростями в евклидовом пространстве.
На
многообразии
определены различные
геометрии. Тройку
можно считать параллельным
переносом аффинного пространства. В этом случае на
определяется линейное
пространство
над полем
действительных чисел
в результате задания следующих операций
(1)
,
,
.
Параллельные переносы еще
называются векторами. Тройку
можно считать точкой
и обозначать многообразие
через
. В отображении
всякой паре точек
соответствует
параллельный перенос
из
; соответствие записывается в виде равенства
. Считается, что отображение
удовлетворяет
известным аксиомам Г. Вейля аффинного пространства, [1, c. 27 – 28]. Если
,
, то отображение
задается равенством
(2)
.
Далее на многообразии
можно развивать
аффинную геометрию.
На
многообразии
определяются и другие
операции, например,
(3)
,
см. [2]. Введя соответствующую
внешнюю операцию, получаем алгебраическую структуру, альтернативную структуре
. В аксиоматике Г. Вейля на этой структуре строится своя
геометрия. Сложение троек в (1) коммутативно и линейно, сложение (3) коммутативно
и нелинейно. Ниже, в п. 4, приведен пример некоммутативной операции на
.
1. Траектории точек в параллельных переносах
Пусть
в ненулевом параллельном переносе
аффинного пространства
точка
отображается на точку
. Формулы параллельного переноса
:
.
Взяв
кратное
параллельного
переноса
, имеем параллельный перенос
. Множество образов точки
в параллельных
переносах
,
, является прямой линией
аффинного
пространства
, эту прямую можно описать векторной функцией
(4)
.
Прямая
является траекторией
точки
в параллельном
переносе
. Прямые
и
параллельны, прямые
и
при
имеют не более одной
общей точки.
Геометрия линейного пространства параллельных переносов является аффинной. На ее основе получаются другие геометрии в результате введения скалярного произведения векторов.
2. О евклидовой геометрии
Определяя
евклидово скалярное произведение векторов в
, получаем евклидово векторное пространство
, при этом аффинное пространство
превращается в евклидово
пространство
. Евклидова норма вектора
определяется
равенством
,
.
Евклидово расстояние между
точками
и
, на основе (2), равно
(5)
.
Евклидова траектория точки
в параллельном
переносе
остается такой же,
как в аффинном пространстве. Норма векторов позволяет дифференцировать
векторные функции. Если функция
(6)
=![]()
непрерывна на некотором интервале, то ее производная есть
(7)
=
.
Траектория (6), где
имеет смысл времени,
считается регулярной класса
. Вектор скорости, движущейся по траектории (6) точки, равен
. Выполняются следующие утверждения.
1.
СВОЙСТВО. В каждой компоненте
производной
имеется зависимость только от этой компоненты и нет зависимости от
других компонент
.
2.
СВОЙСТВО. В движении по прямолинейной
траектории (4)
, вектор скорости точки
постоянен, вектор ускорения равен
.
#
Производная функции (4) есть постоянный вектор:
=
. Ускорение
. Ускорение в движении по траектории (4) отсутствует. #
Свойства движений материальных точек по евклидовым траекториям изучает, в том числе, и евклидова геометрия.
3. Геометрия евклидовых движений
Формулы галилеевых движений, как известно, имеют вид
![]()
материальная точка с координатой
на прямой, по которой
она движется со скоростью
, приходит в положение
через промежуток
времени
. Начальные условия движения
:
. В движении
событие
отображается на
событие
. Пусть
![]()
еще одно галилеево движение.
Композиция
данных движений есть
движение
![]()
эти формулы получены в результате
подстановки формул
в формулы
. Каждому движению соответствует унитреугольная матрица,
композиции движений соответствует произведение матриц движений, взятых в
обратном порядке
(8)
=
.
Галилеевы
движения составляют группу
, она изоморфна унитреуголной группе
, которая нильпотентна ступени 2. Имеется соответствие между
матрицами из
и тройками из
:
(9) 
.
Произведению матриц в (8)
соответствует операция над тройками из
:
(10)
=
=
,
где
. Тождественному галилееву движению
соответствует
единичная матрица и, по (9), нулевая тройка
; противоположная к
тройка такова
.
На группе троек
с операцией сложения
(10) введена внешняя операция умножения троек на действительные числа
(11)
,
;
[3, с. 8 – 9] и [4, с. 113].
Внешняя операция на группе с внутренней операцией + умножение на числа из
обозначается
. Имеем алгебраическую структуру
;
она называется сибсоном, [3, с. 7] и [4, с. 107];
элементы сибсона называются сибсами.
Сибсон обобщает линейное пространство
над
, относится к одулям Ли, [4, с. 102 – 103], которые
выделяются из одулей над кольцом, определенными Л.В. Сабининым в [5]. Тем самым
и на группе
галилеевых движений
определен сибсон.
По
аналогии с аффинным пространством
с линейным
пространством параллельных переносов
определяется
одулярное пространство
на сибсоне галилеевых
движений: в векторной аксиоматике Г. Вейля аффинного пространства
линейное пространство
заменено сибсоном
, [3, с. 11 – 16] и [4, с. 128 – 130]. Вейлевское одулярное
пространство с сибсоном называется ЛС-пространством,
это пространство галилеевых движений. Точками ЛС-пространства
являются тройки
действительных чисел. Паре точек
соответствует сибс
, пишем
. Для любых трех точек
выполняется условие:
если
,
, то
. Пусть
,
и
начало отсчета.
Выполняется соотношение
=
. Паре
соответствует сибс
(12)
,
т.е., согласно (9), паре точек cоответствует галилеево движение
;
имеется геометрия пространства с сибсоном, [3, 4], – геометрия галилеевых движений.
4. Траектории сибсона галилеевых движений
По
аналогии с аффинной прямой, п.1, определяется прямая ЛС-пространства
. Через точку
в направлении сибса
проходит прямая
, содержащая все точки
, для которых
,
. Параметрические уравнения
прямой
:
(13)
,
,
,
см. [4, с. 166]. При
уравнения прямой
ЛС-пространства нелинейны, они содержат вторую степень параметра
; при
уравнения (13) линейны. Прямые ЛС-пространства являются
траекториями точек в галилеевых движениях. Положим в (13):
,
. Траекторию (13) зададим сибсонной функцией
(14)
=
.
В общем случае траектории точек в галилеевых движениях параболические. О траекториях сибсона, т.е. сетевых уравнениях сибсона см. [4, с. 250 – 251].
5. Дифференцирование сибсонных функций
На
сибсоне
вводится галилеева
норма сибсов. Галилеевой нормой сибса
, согласно [3,
с. 11] и [4, с. 120 – 121], называется
(15) 
Это аналог галилеева расстояния
между точками, см. [6, с. 843 – 844]. Пространство с нормированным сибсоном
называется ЕС-пространством, обозначается
и является галилеевым пространством-временем. Точки
из
называются событиями.
Первые компоненты сибсов из
и событий из
считаются временными,
вторые и третьи компоненты называются пространственными. Некоммутативное
одулярное галилеево пространство
с сибсоном является миром.
События
и
одновременны. По (12)
имеем сибс
.
Согласно (15), сибс
евклидов. Множество
одновременных между собою событий мира
является евклидовой
плоскостью
в ЕС-пространстве.
Событие
состоит в том, что
точка
из
рассматривается в
момент времени
. Линия
(16)
=
,
содержащая событие
, называется мировой линией события
, а проекция
= ![]()
мировой линии
на евклидову
плоскость
пространства-времени
является траекторией
точки
.
Рассматривается
сибсонная функция (16). Если параметр
получает приращение
, то функция
получает приращение
. Отыскивается предел
при условии
. Вычисляется производная функции
по формуле
(18)
,
см. [3, с. 18 – 20] и [4, с. 123 – 125]. В частности, производная функции
=
,
,
равна
(19)
.
Отметим в сравнении со свойством 2
3.
СВОЙСТВО. В третьей, пространственной
компоненте производной
(18) сибсонной функции
содержатся еще производная второй, тоже пространственной компоненты
исходной функции
и сама эта компонента.
6. Движение по траекториям галилеевых движений
Мировая
линия (14) галилеева движения при
описывается функцией
(20)
=
.
Траектория точки
есть
=
. Производная функции (20) по (18) такова
=
,
значит, скорость движения по
траектории
в ЕС-пространстве
определяется вектором
=
=
.
Скорость постоянна. Ускорение
движения находим,
дифференцируя функцию
по (19):
,
ускорение
движения по
траектории (20), как пространственная составляющая сибса
является нулевым.
В
евклидовой плоскости, не входящей в
ЕС-пространство, по траектории
точка
движется со скоростью
=
, которая непостоянна. Таким образом, выполняется
4.
СВОЙСТВО. По траекториям
галилеевых движений, составляющих сибсон, материальная точка движется в
ЕС-пространстве с постоянной скоростью
и нулевым ускорением. В евклидовой плоскости, не входящей в ЕС-пространство, по траектории
точка
движется с изменяющейся скоростью.
7. Движение по параболической траектории другого вида
Рассмотрим мировую линию движения в ЕС-пространстве
(21)
=
.
Траектория этого движения в евклидовой плоскости ЕС-пространства:
=
.
Для сравнения рассмотрим такую же траекторию
=![]()
движения в евклидовой плоскости, не лежащей в ЕС-пространстве. Мировую линию скорости движения в ЕС-пространстве найдем по (19):
=
.
В евклидовой плоскости ЕС-пространства вектор скорости движения есть
=
.
Скорость движения в евклидовой геометрии такова
.
Установлена следующая
5.
ТЕОРЕМА. Скорость
движения в ЕС-пространстве-времени по мировой линии (21) отличается от
скорости движения
в евклидовом пространстве на величину
в последней компоненте. При
и
в движении в ЕС-пространстве-времени происходит увеличении скорости по
сравнению с движением по той же траектории, изучаемого методами евклидовой
геометрии, и происходит уменьшении скорости при
и
.
8. Изучение движения различными методами
В книге [7, с. 11, подстрочное примечание], отмечается, что экспериментальные факты не подтверждают того, что механике Галилея-Ньютона соответствует рассматриваемая в книге геометрия Галилея (коммутативная и линейная).
6. ТЕОРЕМА. Если механике Галилея-Ньютона соответствует геометрия нильпотентного галилеева ЕС-пространства-времени, то в движениях с различными мировыми линиями по одним траекториям скорости движения со временем либо замедляются, либо увеличиваются, но они не совпадают, вообще говоря, со скоростями, вычисленными средствами евклидовой геометрии.
В
движениях по различным траекториям в ЕС-пространстве-времени различны и
изменения скорости по сравнению с движением по траекториям в пространстве с
евклидовой геометрией. В дифференциальной геометрии ЕС-пространства-времени
кривизна траекторий сибсона галилеевых движений, т.е прямых ЕС-пространства-времени,
равна нулю, [3, 4]. Это соответствует смыслу прямых линий пространства-времени.
9. Соотношение между геометриями параллельных переносов
и галилеевых движений
Геометрия параллельных переносов является аффинной, она линейна и коммутативна. Преобразования аффинного пространства описываются линейными формулами, обладают матрицами, определители которых отличны от нуля. Всякое преобразование с такими свойствами является аффинным. Аффинная группа некоммутативна. Матрица аффинного преобразования галилеева порядка 3+1, ее первая строка есть (1 0 0 0). Галилеевы движения составляют подгруппу аффинной группы. Геометрия галилеевых движений некоммутативна, хотя и создана на подгруппе преобразований коммутативного аффинного пространства, в основе которого лежит коммутативная группа параллельных переносов.
Литература.