WWW.DISSERS.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

   Добро пожаловать!


Pages:     || 2 | 3 | 4 |

http://www.hypercomplex.ru/article2/index.shtml

ОБОБЩЕНИЕ АКСИОМ СКАЛЯРНОГО ПРОИЗВЕДЕНИЯ

Павлов Д. Г.

Московский Государственный Технический Университет им. Н. Э. Баумана 1. СКАЛЯРНОЕ ПРОИЗВЕДЕНИЕ ЕВКЛИДОВЫХ ПРОСТРАНСТВ.

2. СКАЛЯРНОЕ ПРОИЗВЕДЕНИЕ ПСЕВДОЕВКЛИДОВЫХ ПРОСТРАНСТВ 3. СКАЛЯРНОЕ ПОЛИПРОИЗВЕДЕНИЕ 4. ПРИМЕРЫ ТЕТРА И КВАДРАЛИНЕЙНЫХ ПОЛИПРОСТРАНСТВ 5. КВАДРАГИПЕРБОЛИЧЕСКОЕ ПРОСТРАНСТВО Понятие скалярного произведения является весьма удобным для изучения свойств, как евклидовых, так и псевдоевклидовых пространств. В настоящей работе предлагается обобщить данный подход применительно к специальному подклассу финслеровых пространств, которые предложено называть полилинейными. Для этого аксиоматически вводятся понятия полискалярного произведения и связанной с ним фундаментальной метрической полиформы, отталкиваясь от которых определяются другие метрические параметры, такие как длины векторов и углы между ними, а так же обобщается свойство направлений быть ортогональными. Рассмотрены частные случаи метрических полиформ для трёх и четырёхмерных пространств. Проведён краткий сравнительный анализ квадрагиперболического пространства, обладающего метрической функцией БервальдаМоора, с пространством Минковского.

1. СКАЛЯРНОЕ ПРОИЗВЕДЕНИЕ ЕВКЛИДОВЫХ ПРОСТРАНСТВ За две тысячи лет, прошедших с момента появления знаменитых “Начал” математики испробовали множество различных способов описания евклидовых пространств. Среди них наиболее известны системы аксиом Евклида и Гильберта. Однако по современным представлениям наиболее удобной является система аксиом, использующая понятия действительного числа, линейного пространства и скалярного произведения над ним [1]. При этом не многие знают, что появление в геометрии последнего способа во многом обязано открытию в 1843 году Уильямом Гамильтоном некоммутативной алгебры четырехкомпонентных гиперкомплексных чисел, названной им алгеброй кватернионов [2]. Этому открытию предшествовало несколько лет упорных поисков трехкомпонентных чисел, которым можно было бы сопоставлять вектора обычного трехмерного пространства, наподобие того, как комплексным числам сопоставляются вектора евклидовой плоскости. Решение проблемы нашлось, когда Гамильтон отказался от коммутативности умножения, а вместо трехмерных стал рассматривать четырехмерные объекты.

По определению кватернион это гиперкомплексное число, которое можно представить в виде линейной комбинации:

X=x0+i·x1+j·x2+k·x3, где xiдействительные числа, а i,j,k не равные друг другу мнимые единицы, такие что: i2=j2=k2=1 и ijji=jkkj=kiik=0. Эти правила, включая правила умножения на обычную действительную единицу, иногда сводят в так называемую таблицу умножения гиперкомплексных чисел, которая в случае кватернионов имеет вид:

  i j k i j k i i k j j j k i k k j i Гамильтон предложил различать скалярную x0 и векторную Vx=i·x1+j·x2+k·x3 части кватерниона. При этом, как не трудно проверить, произведение двух векторных кватернионов является обычным кватернионом:

VxVy= (x1y1x2y2x3y3)+[i(x2y3x3y2)+j(x3y1x1y3)+k(x1y2x2y1)], скалярная часть которого связана с компонентами исходных чисел в виде симметрической билинейной формы, а векторная имеет вид хорошо известного сегодня закона векторного умножения. Собственно сами термины скалярного и векторного произведений появились именно отсюда и впервые были введены непосредственно Гамильтоном.

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

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



Связанное с кватернионами скалярное произведение применимо исключительно к трехмерным векторам. Однако, если скалярное произведение оторвать от конкретных чисел и обобщить на пространства произвольной размерности, сохраняются самые главные достоинства данного понятия возможность математически строго определять длины векторов и углы между ними. Для этого над аффинным пространством размерности m постулируется некоторая симметрическая билинейная форма двух векторов (А,В)=бijaibj. Взаимно однозначно связанная с нею квадратичная форма (А,А) – должна быть не отрицательной. Далее по определению принимается, что аффинное отображение, переводящее вектор А в А', является конгруэнтным, если оно оставляет инвариантной эту квадратичную форму:

(А,А)=(А',А').

Две фигуры, которые могут быть переведены одна в другую конгруэнтным отображением, считаются конгруэнтными. Именно этим в аксиоматическом построении евклидовой геометрии определяется понятие конгруэнции. Для конгруэнтного отображения справедлива инвариантность не только квадратичной, но и билинейной формы:

(А,В)=(А',В').

Поскольку два вектора А и А' конгруэнтны тогда и только тогда, когда (А,А)=(А',А'), то мы могли бы значение (А,А) ввести как числовую характеристику вектора А. Но вместо этого принято использовать величину положительного квадратного корня из (А,А), которую по определению называют длиной вектора А и обычно обозначают как |A|=(A,A)1/2.

Такое определение позволяет выполнить еще одно условие: длина суммы двух сонаправленных векторов равна сумме их длин.

Понятие длины вектора позволяет ввести определение единичного вектора. Такие вектора будем обозначать жирными строчными буквами. Их связь с обычными векторами выражается соотношениями вида:

a=A/|A|.

Если a и b, а так же a' и b' – две пары векторов единичной длины, то фигура, образованная двумя первыми векторами, тогда и только тогда конгруэнтна фигуре, составленной из двух последних векторов, когда (a,b)=(a',b').

Носителем данного качества конгруэнтности принято считать понятие угла. Числовую характеристику этого параметра связывают не с самой билинейной формой от единичных векторов (что в принципе было бы достаточно естественно), а с трансцендентной функцией арккосинуса от неё fi=arccos(a,b).

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

Частным следствием понятия угла является свойство перпендикулярности направлений. Условием перпендикулярности двух векторов является равенство нулю значения их билинейной формы. Выделение перпендикулярных направлений среди прочих оправдывается существенным упрощением вида квадратичной метрической формы, представленной в базисе, все вектора которого взаимно перпендикулярны.

Среди всех евклидовых пространств особым образом выделяются двумерные. Эту особенность отражает теорема Лиувилля, гласящая, что для евклидовых пространств с размерностью три и выше конформные преобразования целиком исчерпываются инверсиями, дилатациями, переносами и вращениями [3]. Другими словами, в двумерном случае классы преобразований, относящиеся к конформным, указанными не исчерпываются, а значительно богаче. Математически данный факт находит свое отражение в существовании широкого разнообразия аналитических функций комплексного переменного, каждой из которых взаимно однозначно соответствует определенное конформное отображение евклидовой плоскости. В свою очередь, исключительная роль конформных отображений заключена в их тесной связи с преобразованиями подобия.





2. СКАЛЯРНОЕ ПРОИЗВЕДЕНИЕ ПСЕВДОЕВКЛИДОВЫХ ПРОСТРАНСТВ Хорошо известно, что если постулированная над аффинным пространством симметрическая билинейная форма порождает знакопеременную квадратичную форму, задаваемая ими геометрия уже не евклидова, а псевдоевклидова [4]. Системы аксиом обеих этих геометрий можно объединить, сняв требования по знаку квадратичной формы. Такая объединенная система, в частности, может быть представлена в следующем виде:

а) каждым двум векторам А, В линейного пространства ставится в соответствие определенное действительное число, обозначаемое k=(A,B) и называемое, как и в евклидовом случае, скалярным произведением этих векторов;

б) скалярное произведение коммутативно по отношению к перестановкам векторов, т.е.

(A,B)=(B,A);

в) скалярное произведение дистрибутивно относительно сложения векторов, т. е.

(A+С,B)=(A,B)+(С, B);

г) действительный множитель можно вынести за знак скалярного произведения, т. е.

(kA,B)=k(A,B).

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

(A,A)=(A',A').

Длина вектора определяется, как положительный корень из модуля квадратичной формы:

|A|=|(A,A)|1/2.

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

Естественным образом на псевдоевклидовы пространства обобщается и свойство векторов быть перпендикулярными. Для этого необходимо равенство нулю их скалярного произведения. Только в данном случае такие вектора принято называть ортогональными.

Псевдоевклидовы пространства допускают обобщение понятия конформного отображения, которое определяется как преобразование, сохраняющее подобие бесконечно малых фигур. Заметим, что в псевдоевклидовых пространствах, так же как и в евклидовых, выделяется двумерный случай, для которого конформные преобразования качественно разнообразней, чем при больших размерностях. Отметим и ещё одно совпадение – псевдоевклидова плоскость, как и евклидова, имеет алгебраический аналог, носящий название двойных чисел, отличающихся от комплексных тем, что квадрат их мнимой единицы равен не минус, а плюс одному. Такие числа наравне с комплексными допускают понятие аналитических функций, каждой из которых можно поставить во взаимно однозначное соответствие некоторое конформное отображение псевдоевклидовой плоскости [5].

Помимо псевдоевклидова случая в геометрии известны и другие подходы к обобщению понятия скалярного произведения, следствиями которых являются системы аксиом для так называемых унитарных и симплектических пространств. Для первых в билинейной симметрической форме используются не действительные, а комплексные числа, а для вторых вместо симметрической постулируется антисимметрическая билинейная форма [4,6].

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

3. СКАЛЯРНОЕ ПОЛИПРОИЗВЕДЕНИЕ Попробуем, сохранив в качестве основы все аксиомы m мерного аффинного пространства, добавить к ним следующие:

а) каждым n векторам А,В,C,…,N поставим в соответствие определенное действительное число, обозначаемое k=(A,B,C,…,N), которое будем называть скалярным полипроизведением этих векторов;

Pages:     || 2 | 3 | 4 |










© 2011 www.dissers.ru - «Бесплатная электронная библиотека»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.