ПРОСТРАНСТВО НАД АЛГЕБРОЙ

ПРОСТРАНСТВО НАД АЛГЕБРОЙ

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

Для построения широкого класса П. н. а. можно исходить из понятия унитарного модуля над алгеброй, определение к-рого получается из определения векторного пространства над телом путем замены тела на ассоциативную алгебру с единицей (см. [1], [3]). В результате присоединения к элементам модуля, называемым векторами, новых элементов, называемых точками, связанных с векторами теми же аксиомами, что и точки аффинного пространства с его векторами, получается аффинное пространство над ассоциативной алгеброй с единицей. Аффинные преобразования в аффинном пространстве над алгеброй имеют в координатах вид


где f(x) - непрерывный автоморфизм алгебры, n-мерное аффинное пространство над алгеброй, имеющей ранг r над нек-рым полем, допускает естественную модель (представление) в nr -мерном аффинном пространстве над тем же полем. В этой модели каждая точка аффинного пространства над алгеброй изображается точкой nr -мерного аффинного пространства над рассматриваемым полем, координатами к-рой являются коэффициенты разложений координат точек пространства над алгеброй по базисным элементам алгебры. В случае, когда базисные элементы eA, А=1, . . ., r, алгебры связаны между собой структурными уравнениями


где - структурные константы алгебры, каждому базисному элементу e А соответствует в модели линейное преобразование с матрицей

(*)

где по диагонали стоят n одинаковых r-мерных блоков . В аффинных пространствах над алгебрами можно задать эрмитову метрику (евклидову и псевдоевклидову), а в случае коммутативных алгебр и квадратичную (евклидову и псевдоевклидову) метрику. Для этого в унитарном модуле определяется скалярное произведение векторов ( а, b), в первом случае обладающее свойством

( а, b) = (b, а)I,

где I - инволютивный антиавтоморфизм (инволюция) в алгебре, а во втором случае - свойством

( а, b) =(b, а).

Скалярный квадрат вектора определяет метрич. инварианты пары точек Аи В;движения евклидовых и псевдоевклидовых пространств - аффинные преобразования, сохраняющие скалярное произведение векторов. При замене в определении эллиптических и гиперболических П. н. а. скалярного произведения векторов скалярным произведением векторов (x, у), для к-рого (x, у)=-( у, x)I или (x, у)=-( у, x), получается эрмитово, или квадратичное симплектическое, П. н. а.

Многообразие одномерных подмодулей (n+1 )-мерного унитарного модуля над алгеброй Кназ. n-мерным проективным пространством над алгеброй К;точками этого пространства наз. одномерные подмодули, а координаты векторов этих подмодулей наз. проективными координатами точек. В проективном П. н. а. определяются так же, как в проективных пространствах над полями, коллинеации и корреляции. В проективных координатах коллинеации имеют вид


где f(х) - непрерывный автоморфизм алгебры, а корреляции имеют вид


где f(x) - непрерывный антиавтоморфизм алгебры, а и i - проективные координаты гиперплоскости. Введение скалярного произведения векторов в унитарном модуле позволяет определить в проективном пространстве, построенном с помощью этого модуля, эрмитовы или, в случае коммутативной алгебры, квадратичные эллиптические и гиперболич. метрики. Метрич. инварианты точек этих пространств определяются скалярными произведениями векторов x и y соответствующих подмодулей с помощью двойного отношения


В том случае, когда W - действительное число, инвариант w, для к-рого W=cos2w, наз. расстоянием между соответствующими точками (см. [2]).

Проективные, эллиптические, гиперболические и симплектич. пространства над действительными простыми алгебрами (напр., алгебрами действительных, комплексных и кватернионных матриц) обладают тем свойством, что их фундаментальные группы являются простыми группами Ли бесконечных серий. Евклидовы, псевдоевклйдовы и квазиэллиптические, квазигиперболические и квазисимплектич. пространства над теми же алгебрами обладают тем свойством, что их фундаментальные группы являются квазипростыми группами Ли тех же серий (см. [2J); тем же свойством обладают проективные, эллиптические, гиперболические и симплектич. пространства над полупростыми алгебрами, к к-рым относится алгебра дуальных чисел.

Несколько сложнее определяются проективные и эрмитовы (эллиптические и гиперболические) плоскости над альтернативными алгебрами. Фундаментальные группы этих плоскостей являются простыми или квазипростыми группами Ли нек-рых особых классов.

Лит.:[1] Бурбаки Н., Алгебра. Алгебраические структуры. Линейная и полилинейная алгебра, пер. с франц., М., 1962; [2] Розенфельд Б. А., Неевклидовы пространства, М., 1969; [3] Веnz W., Vorlesungen fiher Geometrie der Algebren, В., 1973. Б. А. Розенфельд, А. П. Широков.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Игры ⚽ Поможем решить контрольную работу

Полезное


Смотреть что такое "ПРОСТРАНСТВО НАД АЛГЕБРОЙ" в других словарях:

  • АНАЛИТИЧЕСКОЕ ПРОСТРАНСТВО — обобщение понятия аналитического многообразия. Локальной моделью (и одновременно важнейшим примером) аналитич. ространства над полным недискретно нормированным полем kявляется аналитическое множество в области n мерного пространства над полем k,… …   Математическая энциклопедия

  • ГИЛЬБЕРТОВО ПРОСТРАНСТВО — векторное пространство Н над полем комплексных (или действительных) чисел вместе с комплексной (действительной) функцией ( х, у), определенной на и обладающей следующими свойствами. то существует такой элемент , что элемент хназ. пределом… …   Математическая энциклопедия

  • ГЛОБАЛЬНО СИММЕТРИЧЕСКОЕ РИМАНОВО ПРОСТРАНСТВО — риманово многообразие М, каждая точка рк рого является изолированной неподвижной точкой нек рой ннволютивной нзометрии Sp многообразия М, т. е. есть тождественное преобразование. Пусть G компонента единицы группы изометрий пространства Ми К… …   Математическая энциклопедия

  • РЕДУКТИВНОЕ ПРОСТРАНСТВО — такое однородное пространство G/Hсвязной группы Ли G, что в алгебре Ли группы G существует (H) инвариантное подпространство, дополнительное к подалгебре , являющейся алгеброй Ли группы H. Выполнение любого из следующих условий достаточно для того …   Математическая энциклопедия

  • ЛИ ЛИНЕЙНАЯ АЛГЕБРА — над полем k алгебра Ли элементы к рой являются линейными преобразованиями нек рого векторного пространства Vнад k; сложение элементов и их умножение на элементы из k определяются обычным образом, а коммутатор [ х, у]элементов х, . задается… …   Математическая энциклопедия

  • Алгебра Ли — Алгебра Ли  объект абстрактной алгебры. Естественно появляется при изучении инфинитезимальных свойств групп Ли. Названа по имени норвежского математика Софуса Ли (1842 1899). Содержание 1 Определение 1.1 Замечания …   Википедия

  • ДИФФЕРЕНЦИАЛЬНАЯ ФОРМА — 1) Д. ф. степени р, р форма на дифференцируемом многообразии М р раз ковариантное тензорное поле на М. Ее можно интерпретировать также как р линейное (над алгеброй F(M)гладких вещественных функций на М)отображение F(M), где есть Р(М) модуль… …   Математическая энциклопедия

  • МОДУЛЬ — абелева группа с кольцом операторов. М. является обобщением (линейного) векторного пространства над полем Кдля случая, когда Кзаменяется нек рым кольцом. Пусть задано кольцо А. Аддитивная абелева группа Мназ. левым А модулем, если определено… …   Математическая энциклопедия

  • Тензорная алгебра — Тензорной алгеброй линейного пространства (обозначается ) называется алгебра тензоров любого ранга над с операцией тензорного умножения. Также тензорной алгеброй называется соответствующий раздел линейной алгебры (то есть раздел, занимающийся… …   Википедия

  • КЭЛИ - ДИКСОНА АЛГЕБРА — альтернативная 8 мерная алгебра, получающаяся из алгебры обобщенных кватернионов применением процесса Кэл и Диксона. Этот процесс заключается в построении по заданной алгебре Ановой алгебры А 1 (удвоенной размерности) и является обобщением… …   Математическая энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»