Обобщение аксиом скалярного произведения



Скачать 288.91 Kb.
страница1/5
Дата07.11.2012
Размер288.91 Kb.
ТипДокументы
  1   2   3   4   5
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 и ij-ji=jk-kj=ki-ik=0. Эти правила, включая правила умножения на обычную действительную единицу, иногда сводят в так называемую таблицу умножения гиперкомплексных чисел, которая в случае кватернионов имеет вид:

 

1

i

j

k

1

1

i

j

k

i

i

-1

k

-j

j

j

-k

-1

i

k

k

j

-i

-1

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

VxVy= (-x1y1-x2y2-x3y3)+[i(x2y3-x3y2)+j(x3y1-x1y3)+k(x1y2-x2y1)],

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

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

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

Связанное с кватернионами скалярное произведение применимо исключительно к трехмерным векторам. Однако, если скалярное произведение оторвать от конкретных чисел и обобщить на пространства произвольной размерности, сохраняются самые главные достоинства данного понятия - возможность математически строго определять длины векторов и углы между ними. Для этого над аффинным пространством размерности 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]. Другими словами, в двумерном случае классы преобразований, относящиеся к конформным, указанными не исчерпываются, а значительно богаче. Математически данный факт находит свое отражение в существовании широкого разнообразия аналитических функций комплексного переменного, каждой из которых взаимно однозначно соответствует определенное конформное отображение евклидовой плоскости. В свою очередь, исключительная роль конформных отображений заключена в их тесной связи с преобразованиями подобия.
  1   2   3   4   5

Похожие:

Обобщение аксиом скалярного произведения iconУрок брейн-ринг после изучения программного произведения в 6-м классе
...
Обобщение аксиом скалярного произведения iconЛекции по линейной алгебре и аналитической геометрии фпм, 2 курс Осенний семестр 2010/2011 учебного года
Дать определение скалярного произведения, привести примеры. (Стр. 6, 7 и 9 методички.)
Обобщение аксиом скалярного произведения iconЕвклидово и унитарное пространства Векторные пространства над полем со скалярным умножением
Эти свойства учитываются и при определении скалярного произведения в произвольном векторном пространстве
Обобщение аксиом скалярного произведения iconНовый подход к исследованию нестационарных конфигураций самогравитирующего скалярного поля Чемарина Юлия Владимировна
Построение математических моделей самогравитирующих конфигураций скалярного поля является одним из актуальных направлений современной...
Обобщение аксиом скалярного произведения iconЛекция Скалярное, векторное и смешанное произведения векторов. Основные вопросы. Скалярное произведение двух векторов
В векторной алгебре рассматриваются два вида произведения двух векторов: скалярное или векторное. Результатом скалярного умножения...
Обобщение аксиом скалярного произведения iconТеоремы Гёделя и проблема возможности создания искусственного интеллекта
Позднее, в 1930 году, К. Гёдель доказал, что непротиворечивость аксиом арифметики нельзя доказать, исходя из самих аксиом арифметики....
Обобщение аксиом скалярного произведения iconТеория йоги. Введение в фундаментальную аксиоматику йоги. Система аксиом Макрокосмоса. Часть 3-я. Система аксиом Макрокосмоса (часть 3-я)
Сегодня у нас 18 апреля 2009 года, меня зовут Вадим Запорожцев, находимся мы в Культурном Центре «Просветление», в г. Москве, радом...
Обобщение аксиом скалярного произведения iconБернская конвенция по охране литературных и художественных произведений от 9 сентября 1886 г
Статья Охраняемые произведения: «Литературные и художественные произведения»; Возможное требование фиксации; Производные произведения;...
Обобщение аксиом скалярного произведения iconЛитература для чтения в III классе Пушкин А. «Сказка о мертвой царевне и семи богатырях»
Произведения устного творчества русского народа, произведения о детях, о природе, произведения зарубежных классиков
Обобщение аксиом скалярного произведения iconОбобщение по теме «Деепричастие»
Обобщение и систематизация сведений о деепричастии и деепричастном обороте в системе
Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org