CC BY
14
Владикавказский математический журнал Октябрь-декабрь, 2007, Том 9, Выпуск 4
УДК 514.7
АЛЬТЕРНАТИВНАЯ АФФИННАЯ ПЛОСКОСТЬ А. И. Долгарев, И. А. Долгарев
Изучаются первые свойства аффинной плоскости, построенной в аксиоматике Г. Вейля на действительном линейном пространстве, операции на котором заданы нелинейными равенствами. Геометрия альтернативной аффинной плоскости коммутативна и нелинейна, она не совпадает с классической аффинной планиметрией. Описаны прямые альтернативной плоскости, их уравнения оказались нелинейными. Прямые линии плоскости представляются галилеевыми циклами. Формулы коллинеаций в общем случае нелинейны. Выделены коллинеации, описываемые линейными формулами. Относительно композиции преобразований линейные коллинеации составляют подгруппу в группе Ли всех коллинеаций плоскости. Параллельные переносы альтернативной аффинной плоскости составляют линейное пространство, изоморфное линейному пространству этой плоскости. Указан способ построения гиперболической галилеевой плоскости на основе альтернативной аффинной плоскости. Статья является первой работой в данном направлении.
Ключевые слова: альтернативная аффинная плоскость.
Ранее, в работе [1], описано 2-мерное линейное пространство “Ь2 над полем Ж действительных чисел, операции над векторами которого отличаются от операций на классическом линейном пространстве Ь2 над Ж. Свойства пространств “Ь2 и Ь2 значительно различаются. Настоящая работа является непосредственным продолжением [1]. Ниже на альтернативном линейном пространстве “Ь2 в аксиоматике Г. Вейля строится аффинная плоскость “А2, ее свойства не совпадают со свойствами классической аффинной плоскости А2 с классическим линейным пространством Ь2 над полем Ж. Описаны прямые альтернативной плоскости “А2. Уравнения прямых оказались нелинейными, а взаимное расположение прямых обычное для аффинной плоскости, поэтому и плоскость “А2 является аффинной. Прямые линии плоскости “А2 представляются галилеевыми циклами. Получено описание коллинеаций альтернативной аффинной плоскости. Формулы коллинеаций в общем случае нелинейны. Выделены коллинеации, описываемые линейными формулами. Относительно композиции преобразований линейные коллинеа-ции составляют подгруппу в группе Ли всех коллинеаций плоскости “А2. Параллельные переносы альтернативной аффинной плоскости “А2 составляют линейное пространство, изоморфное пространству “Ь2. Векторы плоскости “А2 могут быть представлены ее параллельными переносами; они образуют подгруппу в 3-мерном одуле Ли, называемом сибсоном и описанным в [2]. Это единственный 3-мерный нильпотентный одуль Ли. Указан способ построения гиперболической галилеевой плоскости на основе альтернативной аффинной плоскости. Альтернатисная аффинная плоскость может быть обобщена при модернизации операций на ее линейном пространстве. Группа коллинеаций альтернативной аффинной плоскости отлична от группы коллинеаций классической аффинной плоскости, согласно Эрлангенской программе Ф. Клейна, геометрия альтернативной аффинной плоскости отличается от геометрии классической аффинной плоскости.
© 2007 Долгарев А. И., Долгарев И. А.
1. Элементы альтернативной аффинной геометрии
1.1. Альтернативное 2-мерное линейное пространство над полем действи-
тельных чисел. Альтернативное 2-мерное линейное пространство над Ж определено в [2] операциями на парах чисел Ж2, свойства пространства изучается в [1]. Обозначается это пространство через “Ь2, его векторы обозначаются а, в, • • •, т, а,... Приведем из
[1] необходимые сведения. Пусть т = (ж, у), а = (и, V), і Є Ж. Операции над векторами в
“Ь2 задаются равенствами
т + а = (ж, у) + (и, V) = (ж + и, у + V + жи), (1)
іт = і(ж, у) = ^жі, уі + ж2 ^(^ 2 1^ ’ ^ Є Ж. (2)
Нулевым является вектор $ = (0, 0). Противоположный для вектора т = (ж, у) есть вектор
-т = (ж, у) = ( ж, ж2 - у). (3)
Базисом линейного пространства “Ь2 является Б=(а, в), а = (1, 0), в = (0,1). Согласно [1], всякий вектор т = (ж, у) обладает единственным разложением по базису Б:
и = (ж,у)= жа +(у - ж(ж2 1) )в; І є Ж. (4)
Пусть Б7 = (а7, вО еще один базис линейного пространства “Ь2. Координаты векторов а7, в7 базиса Б7 в базисе Б обозначаются
а' = (а,р), в7 = (0, Ь).
Здесь выполняются условия а = 0, Ь = 0. Координаты вектора т в базисе Б7 — (ж, у), а в базисе Б7 обозначены (ж7,у7). Формулы замены координат векторов при замене базиса Б базисом Б7 таковы
{ж = аж7,
у = (а2 — Ь)х (ж2-1) + рж7 + Ьу7.
Формулы замены координат нелинейны.
Всюду при вычислениях с векторами из альтернативного пространства “Ь2 используются операции (1) и (2).
1.2. Альтернативное аффинное пространство. Рассматривая в аксиоматике Г. Вейля аффинного пространства [3], вместо классического линейного пространства Ь2 альтернативное пространство “Ь2, получаем альтернативное аффинное пространство “А2. Сформулируем аксиомы Г. Вейля.
Даны множество точек А={А, В,..., М,...}, линейное пространство “Ь2 и отображение А х А ^ “Ь2 пар точек в линейное пространство “Ь2, удовлетворяющее перечисленным ниже аксиомам. Если паре точек (А, В) соответствует вектор и, то пишем АВ = и. Аксиомы Г. Вейля:
1. Для всякой точки А и всякого вектора и существует единственная точка В такая, что АВ = и.
2. Для любых трех точек А, В, С, если АВ = и, ВС = ад, то АС = и + ад.
Данное множество точек А называется аффинной плоскостью и обозначается “Л2. Линейное пространство “Ь2 называется линейным пространством аффинного пространства “Л2. Векторы из “Ь2 называются векторами плоскости “Л2.
Следствие. Для любых трех точек А, В, С выполняется АВ + ВС = АС; если АВ = и, то ВА = —и; АА = •&.
Все понятия классического аффинного пространства Л”, п = 2, переносятся в альтернативное пространство “Л2. Совокупность некоторой точки О и базиса Б=(а, в) линейного пространства “Ь2 является репером аффинного пространства “Л2. Координатами точки М в репере В называются координаты вектора ОМ в базисе Б. Если ОМ = (ж, у), то М = (ж, у).
Пусть А = (а, Л) и В = (6,#) две точки из “Л2. По следствию из аксиом Г. Вейля для точек О, А, В выполняется равенство ОА + АВ + ОВ, откуда АВ = —ОА + ОВ = ОВ — ОА. Согласно (3) имеем —ОА = (—а, —Л + а2). Поэтому на основании (1) верно АВ = (6,#) — (а, Л) = (6, #) + (—а, —Л+а2) = (6 — а,# — Л+а2 — а6), или без промежуточных равенств:
АВ = (6 — а, # — Л — а(6 — а)). (6)
Это вектор в “Ь2, определяемый двумя точками А и В аффинного пространства “Л2.
1.3. Прямые альтернативной аффинной плоскости. Прямую, определяемую точкой А и ненулевым вектором ц, обозначаем (А, ц). Прямая есть множество точек
(А, ц) = {М : АМ = *ц, * £ Ж}. (7)
Описывает прямую векторное равенство
АМ = *ц. (8)
Оболочка (ц) вектора ц является линейным пространством прямой (А, ц), всякий вектор V £ (ц)^ = $, есть вектор прямой (А,ц). Прямая является 1-мерным аффинным пространством — подпространством аффинного пространства “Л2.
Теорема 1. Если (А, ц) и V £ (ц), V = $, то (В^) = (А, ц).
< Так как В £ (А, ц), то по (7) существует число р, что АВ = рц. Принадлежность V £ (ц) означает существование такого числа 5, что V = 5 ц или ц = 1V. Тогда для любой точки М прямой согласно (8) имеем АМ = *ц. Для точек А, В, М выполняется равенство АМ = АВ + ВМ, откуда ВМ = —АВ + АМ. Подставив сюда выражения векторов АВ и АМ через ц, получим ВМ = (* — р)ц, и выразим ВМ через вектор V: ВМ = -—V. Теперь точки М прямой (А, ц) описываются с использованием точки В и вектора V:
(А, ц) = { М : ВМ = —РV,* £ ж! = (В, V). >
Составим уравнения прямой (А, ц).
Теорема 2. Прямая (А, ц) описывается нелинейными уравнениями. Если в репере В= (О , а, в) плоскости “А2 имеем А = (а, Л) ц = (т, р) и М = (ж, у) произвольная точка прямой (А, ц), то ее параметрические уравнения имеет вид
{ж = т* + а,
у = (ат + р)* + т2 -(-21) + Л.
< Согласно (6) имеем АМ = (ж — а, у — Н — а (ж — а). Вектор ¿^, на основе операции (2), равен
2 і(і — 1)4
= ^т*, р* + т
Выписанные векторы равны, см. (6), следовательно, равны и их соответствующие компоненты:
{ж — а = т*,
у — Л — а(ж — а) = р* + т2-(-^1),
откуда получаем параметрические уравнения прямой (9). >
Пусть Мо = (жо, уо) и М1 = (ж1, у1) две точки прямой (9), пусть *о — параметр точки Мо,*1 — параметр точки М1. Тогда
М0 = (т*о + а, (ат + р)*о + т2 *о(*°—— + Л
М1 = ( т^ + а, (ат + р)^ + т2 ¿і(і 1) + Н
Согласно (6), М0М1 = (жі — жо,уі — уо — жо(жі — жо)). Вычисления с координатами точек Мо, Мі, выраженными через их параметры, дают
МоМі = (¿і — ¿о)^-
Уравнения (9) прямой (А, ^) линейны только если т = 0. В этом случае
ж = а, у = рі + Н.
Это прямые с векторами ^ = (0,р), проходящие через точки А = (а, Н).
Исключая параметр і в (9), получаем при т = 0 общее уравнение прямой:
у = 1 ж2 + Вж + С, (10)
коэффициенты которого равны
Р т ^ а2 /р т\ _
В = —------, С =----------а —--------+ Н; (11)
т 2 2 т 2
и при т = 0 получаем
ж = а. (12)
Это, как уже указывалось, прямые с векторами ^ = (0,р), проходящие через точки А = (а, Н).
Теорема 3. Через две различные точки А = (а, Н), В = (Ь, 5) проходит единственная прямая плоскости “А2.
< Если а = Ь, то координаты точек А, В однозначно определяют коэффициенты уравнения (10). Имеем систему уравнений
( Н = і а2 + Ва + С,
Ь = і Ь2 + ВЬ + С,
линейных относительно В и С. Решение этой системы есть
д — Л 1 , 1 д — Л
В — --— — (Ь + а), С — К — — аЬ — а-----,
Ь — а 2 Ь — а’
здесь Ь — а = 0. >
Прямые (А, ^) и (В,^) называются параллельными, если они имеют общее линейное пространство, иначе говоря V £ (^).
Теорема 4. Прямые альтернативной плоскости аА2 не имеют общих точек, если и только если их векторы ^ и V коллинеарны, и прямые пересекаются, если их векторы неколлинеарны, т. е. их оболочки (^) и (V) обладают свойством (^) П^) = ($).
< Параллельны всякие две прямые вида (12). Векторы прямых ж = а и ж = Ь суть ^ = (а, 0) и V = (Ь, 0), следовательно, V = или ^ = ¿V. Всякие две прямые вида (10) и (12) пересекаются. Точки их пересечения имеют координаты (а, 1 а2 + Ва + С). Параллельны всякие две прямые вида (12). Прямые (10) и
у = 1 ж2 + Ож + Я (13)
пересекаются, только если в равенстве (В — О)ж + С — Я = 0, полученном в результате вычитания рассматриваемых уравнений, выполняется условие В — О = 0. Две указанные прямые (10) и (13) не имеют общих точек, если и только если В = О и С = Я. Вектором прямой (10) является ^ = (т,р). Вектор прямой (13) обозначим V = (п, д). По условию В = О на основании (11) имеем
откуда
р_ т і _ п
т — "2 = п 2 ,
пр — тд т— п
тп 2
Существует число в такое, что п = те. Подставив это значение в последнее равенство, находим д = рв—т2^2 і). Но из (2) имеем в^ = (тв,рв—т2 ^2 і)), следовательно, V = в^ и V Є (^), т. е. прямые (10) и (13) параллельны согласно определению параллельности.
При В — О = 0 имеем V = в^, векторы ^ и V неколлинеарны и прямые (10) и (13) пересекаются. >
Теорема 5. Если задана прямая (А, ^) альтернативной плоскости “А2 и точка В этой плоскости, то существует единственная прямая (В, ^) плоскости “А2, проходящая через точку В и параллельная прямой (А, ^). Взаимное расположение прямых на альтернативной аффинной плоскости “А2 такое же, как на классической аффинной плоскости А2.
Своеобразие альтернативной аффинной плоскости мы обсудим ниже, в пп. 2.1-2.5.
1.4. Коллинеации альтернативной аффинной плоскости “А2. Определим кол-линеации плоскости
“А2
так же, как и коллинеации классической аффинной плоскости. Пусть Б=(а, в) и Б7 = (а7, в7) два базиса линейного пространства “Ь2 аффинной плоскости “А2, своеобразие базисов пространства “Ь2 обсуждено в [1, п. 2.3]. Имеем два репера В=(0,а,в) и В7 = (О7, а7, в7) плоскости “А2.
Определение. Коллинеацией или аффинным преобразованием альтернативной аффинной плоскости называется отображение, заданное двумя реперами В и В7, в котором точка М с координатами (ж, у) в репере В отображается на точку М7 с координатами (ж, у) в репере В7. У точек М и М7 одинаковые координаты в различных реперах.
Коллинеации обозначаем р, ф,...
Теорема 6. Если в базисе Б: а7 = (а,р), в7 = (0, Ь), а = 0, Ь = 0, в репере В: О7 = (с, гі)
и точка (ж, у) в коллинеации р: В — В7, отображается на точку М7, имеющую в репере
В7 координаты (ж7, у7), то формулы коллинеации р таковы:
{ж7 = аж + с,
у7 = (а2 — Ь) х(х2~ і) + (р + ас)ж + Ьу + а
В общем случае формулы коллинеации альтернативной аффинной плоскости нелинейны.
< Для точек О, О7, М7, по следствию из аксиом Г. Вейля, см. п. 1.2, справедливо равенство
ОМ7 = ОО7 + О7М7. (15)
По условию в репере В верно ОМ7 = (ж, у), ОО7 = (с, д); в репере В7 имеем О7М7 = (ж, у).
Запишем вектор О7М7 в репере В, используя (5):
О7М7 = ^аж, (а2 — Ь)ж(^ 1) + рж + Ьу^ .
В координатах в репере В равенство (15) выглядит так .7 ..л ^ „„ /2 ^ж(ж — 1)
(ж , у ) = (с, а) + ^аж, (а — Ь)-2-----+ рж + Ьу
Находим вектор в правой части равенства, используя операцию (1),
, 2 ,.ж(ж — 1)
аж + с, (а — Ь)----2----+ рж + Ьу + асж + а
Сравнивая компоненты равных векторов, получаем формулы преобразования р — формулы (14). >
Теорема 7. Множество 2 всех коллинеаций альтернативной аффинной плоскости “А2 является группой Ли относительно композиции преобразований.
< Зададим еще коллинеацию ф : В7 —— В77.
{ж77 = Лж7 + е,
у77 = (Л2 — /) їЧХ-) + (і + Ла)ж7 + /у7 + д.
Получаем формулы композиции коллинеаций р и ф:
'ж77 = Лаж + Лс + е, у77 = (а2 (Л2 — /Ь) + ((Л2 — /) + (Ле + / )а
^ +/(ас + р))ж + /Ьу + (Л2 — /) ^ + /а + д.
Это формулы того же вида, что и (14). >
Теорема 8. Формулы коллинеации р : В — В7 плоскости “А2 линейны, если и только если репер В7 определяется элементами а7 = (а,р), в7 = (0, а2), О7 = (с, гі).
< В формулах (14) слагаемое второго порядка исчезает только при условии а2 — Ь = 0. Это означает, что второй вектор репера В7 есть в7 = (0, Ь) = (0,а2). Формулы
(14) преобразования р становятся линейными, р обозначается А. При этом формулы приобретают следующий вид и имеют следующую матрицу:
и является линейной. >
В группе Ли коллинеаций альтернативной плоскости “Л выделим параллельные переносы.
Коллинеация п плоскости “Л, определяемая реперами В = (О, а, в) и В7 = (О7, а, в), является ее параллельным переносом. Формулы параллельного переноса п получаются из формул (23) при а = 1, р = 0, Ь = 1:
где Р есть матрица параллельного переноса п. Описать множество параллельных пере-
а = 0. (16)
Матрица А преобразования А галилеева. >
Теорема 9. Линейные коллинеации плоскости “А2 составляют группу Ли — подгруппу в группе Ли 2 всех коллинеаций плоскости “А2.
< Находим формулы композиции линейных коллинеаций А и
Ь = 0.
Коллинеация А^ определяется матрицей
1
е + Ьс д + (Ье + д)с + Ь2гі
(17)
носов плоскости “Л2 можно на основе их матриц.
Теорема 10. Параллельные переносы плоскости “А2 составляют линейное пространство, изоморфное линейному пространству “Ь2 этой плоскости.
< Пусть т еще один параллельный перенос, Т его матрица:
Находим
ТР =
10 с + Л 1 й + сЛ + д с + Л
Матрица ТР есть матрица параллельного переноса
{ж7 = ж + с + Л,
у7 = (с + Л)ж + у + й + сЛ + д,
т. е. композиция параллельных переносов плоскости “Л2 является параллельным переносом этой плоскости.
Параллельному переносу п сопоставим пару из И,2: п ^ (с, й). Композиции параллельных переносов соответствует следующая операция на множестве пар пт ^ (с, й) + (Л, д) = (с + Л, й + д + сЛ), а это операция (1) сложения векторов в “Ь2. Равенство
(2) определяет внешнюю операцию
¿(с, й) = ^с*, й* + с2 ¿(* 2 1^ , * е ^2’
последней паре соответствует параллельный перенос
{ж7 = ж + с*,
у7 = с*ж + у + й* + с2 .
Таким образом, параллельные переносы альтернативной аффинной плоскости “Л2 составляют линейное пространство, изоморфное “Ь2. >
Операцию умножения коллинеации р альтернативной аффинной плоскости мы не определили. Поэтому одулярные свойства коллинеаций не рассматриваются. Одулярное описание коллинеаций классической аффинной плоскости дано в [4].
Проверка показывает, что коллинеация (14) плоскости “Л2 отображает параллель— 1
ный перенос на параллельный перенос, иначе говоря, р 1пр есть параллельный перенос. Группа Ли параллельных переносов является инвариантной в группе Ли коллинеаций альтернативной аффинной плоскости “Л2.
2. Своеобразие альтернативной аффинной плоскости “Л2
2.1. Прямые как галилеевы циклы. В коммутативной галилеевой плоскости линия вида у = аж2 + Ьж + с называется циклом, [5]. Выше мы получили прямые альтернативной аффинной плоскости “Л2, описываемые общим уравнением (10)
12 у = 2 ж2 + Вж + С
или общим уравнением (12)
ж = а.
Таким образом, прямые плоскости “Л2 представляются галилеевыми циклами. В классической галилеевой плоскости прямые и циклы различны. На оси координат Ож = (О, а) сменим направление, т. е. положительным будем считать направление, противоположное выбранному выше. Тогда прямые будут описываться уравнением вида
у = - 2 ж2 + Вж + С (18)
и циклы изобразятся параболами 2-го порядка вершинами вверх. Пусть А(а, Л) произвольная точка. Через А проходит бесконечно много прямых в виде циклов и одна
вертикальная прямая вида ж = а. Физическая модель окрестности точки А выглядит следующим образом: через точку А проходят траектории движения материальных точек под действием силы тяжести, они являются циклами (траектории движения точек под действием силы тяжести есть параболы) вершиной вверх и одна вертикальная траектория прямолинейна.
2.2. Получение гиперболической галилеевой плоскости. На плоскости, прямыми которой считаются циклы (18) и линии (12), рассматриваем подмножество точек (ж, у), для которых у > 0. Это подмножество называем новой плоскостью. Ее прямыми считаем дуги циклов (18) старой плоскости и лучи прямых (12), оставшиеся в новой плоскости. Тем самым получена модель гиперболической плоскости [6], где проведено подробное построение этой модели. Через каждую точку А новой плоскости проходит две прямые этой плоскости, параллельные данной прямой. На новой плоскости вводится галилеево расстояние между точками: если А = (а, Л), В = (Ь, д), то согласно (6), расстояние |АВ| таково: |АВ| = |Ь — а|, если Ь = а, и |АВ| = |д — Л|, если Ь = а.
2.3. Аффинная плоскость с выделенным направлением. По свойствам взаимного расположения прямых альтернативная аффинная плоскость “Л2 выглядит как всякая аффинная плоскость с привычными прямолинейными прямыми, см. п. 1.3, теоремы 3, 4, 5, но на этой плоскости имеется выделенное направление (моделируемое направлением вертикального движения, см. п. 2.1). При использовании только такой модели плоскости
“Л2
мы теряем многие свойства плоскости “Л2. Например, невозможно получить на этой модели модель гиперболической галилеевой плоскости и свойства, перечисленные ниже.
2.4. Векторы альтернативной плоскости. В п. 2.1 векторы плоскости “Л2 представлены параллельными переносами этой плоскости, их формулы и матрицы есть (17). Это частные случаи галилеевых движений. Галилеево движение плоскости и соответствующая ему матрица имеют следующий вид:
переносы альтернативной аффинной плоскости представляются галилеевыми движениями и унитреугольными матрицами М, для которых с = V.
Матрицы М составляют унитреугольную группу Ли иТ3(Ж). Матрице М сопоставляется тройка действительных чисел (с, V, й). Так как
Таким образом, векторы альтернативного линейного пространства “Ь2 и параллельные
то на Ж3 определяется групповая операция
(с, V, й) + (Л, ад, д) = (с + Л, V + ад, й + д + Л^).
Группа Ли (Ж3, +) с указанной операцией является нильпотентной ступени 2. В [2, 7] на этой группе Ли введена внешняя операция
тем самым получен нильпотентный одуль Ли, обозначаемый X3 и называемый сибсоном. В схеме Г. Вейля в [2, 7] построена галилеева геометрия с сибсоном — некоммутативная и нелинейная. Сообщение о некоммутативных и нелинейных геометриях сделано на международной школе-семинаре имени Н. В. Ефимова в Лиманчике в 2006 г. [8].
Группа параллельных перносов альтернативной аффинной плоскости “Ь2 изоморфна подгруппе матриц вида Р, см. (17), из группы Ли ЦТ3(Ж) унитреугольных матриц, см. п. 2.4, и эта подгруппа абелева. При V = с матрица М превращается в матрицу Р.
Множество параллельных переносов альтернативной аффинной плоскости “Л2 является линейным пространством, изоморфным пространству “Ь2 и содержащемся в сибсоне X3. Для сравнения см. п. 1.1 в [1].
2.5. Одно обобщение линейного пространства “Ь2. В [1, п. 2.4] предложено изменить внутреннюю операцию (1) на множестве пар Ж2 с целью получения симметричных свойств в операциях альтернативного линейного пространства. Там выписана операция
(ж, у) + (и, V) = (ж + и + yv, у + V + жи).
Возможны другие изменения операций. Альтернативное линейное пространство “Ь2 можно обобщить, взяв вместо (1) операцию сложения векторов
(ж, у) + (и, V) = (ж + и, у + V + тжи), т £ Ж.
При т = 0 имеем обычное линейное пространство Ь2, при т =1 — альтернативное линейное пространство “Ь2, изучаемое в [1] и используемое настоящей работе, при т = 0 и т =1 получаем обобщение пространства “Ь2. Внешнюю операцию определим равенством
¿(ж, у) = (ж*, у* + тж2¿(* 2 1)), * £ Ж.
Многообразие Ж2 с указанными здесь операциями является линейным пространством тЬ2 над полем Ж. Противоположный вектор для (ж, у) равен
-(ж, у) = (-ж, тж2 - у) .
Пространства с различными значениями т при т = 0 вряд ли чем существенно отличаются одно от другого; также и аффинные пространства тЛ2 с линейными пространствами тЬ2, видимо, принципиально одинаковы, но при разных значениях т можно получать некоторые конкретные приложения. В п. 2.2 получена гиперболическая галилеева плоскость, к ней можно прийти от линейного пространства тЬ2 при т = —1. Также при т = —1 получается рассматриваемая в п. 2.1 интерпретация прямых альтернативной аффинной плоскости траекториями свободного падения материальных тел. Более точная физическая интерпретация получается при т = -д, где д — ускорение свободного падения.
2.6. О галилеевой метрике. В связи с изложенным в п. 2.4, на альтернативной аффинной плоскости “Л2 естественно ввести галилееву метрику. Для этого на линейном пространстве “Ь2 определятся галилеева норма векторов. Галилеевой нормой ||и|| вектора и = (ж, у) называется
||и|| = |ж|, если ж = 0;
||и|| = |у|, если ж = 0.
Свойства галилеевой нормы векторов не совпадают со свойствами евклидовой нормы. Галилеево скалярное произведение векторов определено в [2]. Хотя альтернативное линейное пространство “Ь2 и альтернативная аффинная плоскость тяготеют к галилеевой
норме, но на “L2 может быть введена и другая норма векторов. В [9] галилеева норма называется квазинормой.
Модель аффинной плоскости в п. 2.3 с выделенным направлением также приводит к возможности введения галилеевой метрики на плоскости “Л2.
2.7. О группе коллинеаций альтернативной аффинной плоскости. Согласно Эрлангенской программе Ф. Клейна, геометрию определяет группа ее коллинеаций. Коллинеации альтернативной аффинной плоскости “L2 рассмотрены в п. 1.4, они описываются формулами (14). Эти формулы нелинейны, им не соответствуют никакие матрицы. Свойства группы коллинеаций альтернативной аффинной плоскости отличны от свойств группы коллинеаций классической аффинной плоскости. Укажем некоторые отличия. Группа Ли S коллинеаций, см. теорему 7, содержит подгруппу линейных коллинеаций (теорема 8), матрицы этих коллинеаций треугольные. Вид формул и матриц (16) линейных коллинеаций такой же, как и подобий галилеевой плоскости, [2, с. 272], но они отличаются от подобий. При a = 1 формулы (16) являются движениями галилеевой плоскости. Из линейных коллинеаций выделяется подгруппа параллельных переносов, инвариантная в группе Ли S. Эта подгруппа представляется подгруппой в группе унит-реугольных матриц. Параллельные переносы плоскости “Л2 относятся к галилеевым движениям. Группа S по своим свойствам существенно отличается от аффинной группы классической аффинной плоскости Л2, поэтому и геометрии плоскостей Л2 и “Л2 существенно различны [1, 4].
Литература
1. Долгарев А. И., Долгарев И. А. Альтернативное 2-мерное действительное линейное пространство. Группа Ли замен базисов пространства.—В печати.
2. Долгарев А. И. Классические методы в дифференциальной геометрии одулярных пространств.— Пенза: ИИЦ ПГУ, 2005.—306 с.
3. Вейль Г. Пространство. Время. Материя. Лекции по общей теории относительности.—М.: Едито-риал УРСС, 2004.—456 с.
4. Долгарев А. И. Одулярное описание аффинных преобразований плоскости.—М., 1997.—59 с. Деп в ВИНИТИ 02.07.97, № 369-В97.
5. Яглом И. М. Принцип относительности Галилея и неевклидова геометрия.—М.: Наука, 1969.— 309 с.
6. Долгарев А. И. Модели гиперболических плоскостей с псевдоевклидовым и галилеевым расстояниями между точками // Тр. Средневолжского мат. общества.—Саранск: СВМО.—2003.—Т. 5, № 1.—C. 262-266.
7. Долгарев А. И. Дифференциальная геометрия пространства с касательным отображением в одуль галилеевых движений. Препринт 51.—Саранск: Средневожское математическое общество, 2002.— 50 с.
8. Долгарев А. И. Нелинейные и некоммутативные галилеевы геометрии с 3-мерными разрешимыми одулями Ли в аксиоматике Г. Вейля // Тр. участников Междунар. шк.-семин. по геометрии и анализу памяти Н. В. Ефимова 5-11 сентября 2006.—Ростов-на-Дону: РГУ, 2006.—С. 36-37.
9. Розефельд Б. А., Замаховский М. П. Геометрия групп Ли. Симметрические, параболические и периодические пространства.—М.: МЦНМО, 2003.—560 с.
Статья поступила 23 июля 2007 г.
Долгарев Артур Иванович, к. ф.-м. н.
Пензенский государственный университет Пенза, 440026, РОССИЯ
Долгарев Иван Артурович Пензенский государственный университет Пенза, 440026, РОССИЯ E-mail: delivar@yandex.ru
