В математике октонионы представляют собой нормированную алгебру с делением действительных чисел , своего рода гиперкомплексную систему счисления . Октонионы обычно обозначаются заглавной буквой О, используя жирный шрифт О или жирный шрифт на доске . Октонионы имеют восемь измерений ; в два раза больше измерений кватернионов , расширением которых они являются. Они некоммутативны и неассоциативны , но удовлетворяют более слабой форме ассоциативности; а именно, они альтернативны . Они также являются силовыми ассоциативными .
Октонионы не так известны, как кватернионы и комплексные числа , которые гораздо более широко изучаются и используются. Октонионы относятся к исключительным структурам в математике, в том числе к исключительным группам Ли . Октонионы находят применение в таких областях, как теория струн , специальная теория относительности и квантовая логика . Применение конструкции Кэли-Диксона к октонионам дает седенионы .
Октонионы были открыты в 1843 году Джоном Т. Грейвсом , вдохновленным открытием кватернионов его другом Уильямом Роуэном Гамильтоном . Грейвс назвал свое открытие «октавами» и упомянул о них в письме Гамильтону от 26 декабря 1843 года. [1] Впервые он опубликовал свой результат немного позже статьи Артура Кэли . [2] Октонионы были открыты независимо Кэли [3] и иногда называются «числами Кэли» или «алгеброй Кэли». Гамильтон описал раннюю историю открытия Грейвса. [4]
Октонионы можно рассматривать как октеты (или восьмерки) действительных чисел. Каждый октонион представляет собой реальную линейную комбинацию единичных октонионов :
где e 0 – скалярный или действительный элемент; его можно отождествить с действительным числом 1. То есть каждый октонион x можно записать в виде
с действительными коэффициентами x i .
Сложение и вычитание октонионов осуществляется путем добавления и вычитания соответствующих членов и, следовательно, их коэффициентов, например кватернионов. Умножение более сложное. Умножение является распределительным по сравнению с сложением, поэтому произведение двух октонионов можно вычислить путем суммирования произведений всех членов, опять же, как кватернионы. Произведение каждой пары членов можно получить путем умножения коэффициентов и таблицы умножения единичных октонионов, например этой (по Кэли, 1845 г. и Грейвсу, 1843 г.): [5]
Большинство недиагональных элементов таблицы антисимметричны, что делает ее почти кососимметричной матрицей, за исключением элементов на главной диагонали, а также строки и столбца, для которых e 0 является операндом.
Таблицу можно резюмировать следующим образом: [6]
где δ ij — дельта Кронекера (равная 1 тогда и только тогда, когда i = j ), а ε ijk — полностью антисимметричный тензор со значением 1, когда ijk = 123, 145, 176, 246, 257, 347, 365 .
Однако приведенное выше определение не уникально; это только одно из 480 возможных определений умножения октонионов с e 0 = 1 . Остальные можно получить перестановкой и изменением знаков нескалярных базисных элементов { e 1 , e 2 , e 3 , e 4 , e 5 , e 6 , e 7 } . 480 различных алгебр изоморфны , и редко возникает необходимость учитывать, какое конкретное правило умножения используется.
Каждое из этих 480 определений инвариантно с точностью до знаков относительно некоторого 7-цикла точек (1234567), причем для каждого 7-цикла имеется четыре определения, различающиеся знаками и обращением порядка. Распространенным выбором является использование определения, инвариантного относительно 7-цикла (1234567) с e 1 e 2 = e 4 , используя треугольную диаграмму умножения или плоскость Фано ниже, которая также показывает отсортированный список 7-цикловых триад на основе 124 и связанные с ним матрицы умножения в формате en и IJKL .
Иногда используемый вариант - это пометка элементов базиса элементами ∞ , 0, 1, 2, ..., 6 проективной прямой над конечным полем порядка 7. Тогда умножение задается выражением e ∞ = 1 и e 1 e 2 = e 4 , и все выражения, полученные из этого путем добавления константы ( по модулю 7) ко всем индексам: другими словами, используя семь троек (124) (235) (346) (450) ( 561) (602) (013). Это ненулевые кодовые слова квадратичного вычетного кода длины 7 над полем Галуа из двух элементов, GF (2) . Существует симметрия порядка 7, определяемая добавлением константы по модулю 7 ко всем индексам, а также симметрия порядка 3, определяемая умножением всех индексов на один из квадратичных остатков 1, 2, 4 по модулю 7. [7] [8]
Таблицу умножения для геометрической алгебры сигнатуры (----) можно представить в виде следующих 7 кватернионных троек (без единичного элемента):
в котором элементы нижнего регистра являются векторами , а элементы верхнего регистра — бивекторами и ∗ = mijk (который является звездным оператором Ходжа ). Если * принудительно приравнять к единице, то умножение перестает быть ассоциативным, но * можно удалить из таблицы умножения, в результате чего получится таблица умножения октонионов.
Сохраняя ассоциативность ∗ = mijk и, таким образом, не сводя 4-мерную геометрическую алгебру к октонионной, вся таблица умножения может быть получена из уравнения для ∗ . Рассмотрим гамма-матрицы . Формула, определяющая пятую гамма-матрицу, показывает, что это * четырехмерной геометрической алгебры гамма-матриц.
Более систематический способ определения октонионов - это конструкция Кэли-Диксона. Точно так же, как кватернионы можно определить как пары комплексных чисел, октонионы можно определить как пары кватернионов. Сложение определяется попарно. Произведение двух пар кватернионов ( a , b ) и ( c , d ) определяется формулой
где z * обозначает сопряженный кватернион z . Это определение эквивалентно приведенному выше, когда восемь единичных октонионов отождествляются с парами
Удобную мнемосхему для запоминания произведений единичных октонионов дает схема, представляющая собой таблицу умножения Кэли и Грейвса. [5] [10] Эта диаграмма с семью точками и семью линиями (круг, проходящий через точки 1, 2 и 3, считается линией) называется плоскостью Фано . Линии направленные. Семь точек соответствуют семи стандартным базисным элементам Im( O ) (см. определение ниже). Каждая пара различных точек лежит на уникальной прямой, и каждая прямая проходит ровно через три точки.
Пусть ( a , b , c ) — упорядоченная тройка точек, лежащих на заданной прямой в порядке, указанном направлением стрелки. Тогда умножение определяется выражением
вместе с циклическими перестановками . Эти правила вместе с
полностью определяет мультипликативную структуру октонионов. Каждая из семи строк порождает подалгебру O, изоморфную кватернионам H .
Конъюгат октониона _
дан кем-то
Сопряжение является инволюцией O и удовлетворяет условию ( xy )* = y * x * (обратите внимание на изменение порядка).
Действительная часть x определяется выражением
и мнимая часть
Набор всех чисто мнимых октонионов охватывает 7- мерное подпространство O , обозначенное Im ( O ) .
Сопряжение октонионов удовлетворяет уравнению
Произведение октониона на сопряженное ему x * x = xx * всегда является неотрицательным действительным числом:
Используя это, норму октониона можно определить как
Эта норма согласуется со стандартной 8-мерной евклидовой нормой на R 8 .
Существование нормы на O подразумевает существование обратных для каждого ненулевого элемента O . Обратный x ≠ 0 , который является уникальным октонионом x −1 , удовлетворяющим xx −1 = x −1 x = 1 , определяется выражением
Октонионное умножение не является коммутативным :
ни ассоциативный :
Октонионы удовлетворяют более слабой форме ассоциативности: они альтернативны. Это означает, что подалгебра, порожденная любыми двумя элементами, ассоциативна. На самом деле можно показать , что подалгебра, порожденная любыми двумя элементами из O , изоморфна R , C или H , все из которых ассоциативны. Из-за своей неассоциативности октонионы не могут быть представлены подалгеброй матричного кольца над , в отличие от действительных чисел, комплексных чисел и кватернионов.
Октонионы сохраняют одно важное свойство, общее для R , C и H : норма O удовлетворяет
Это уравнение означает, что октонионы образуют композиционную алгебру . Алгебры более высокой размерности, определенные конструкцией Кэли-Диксона (начиная с седенионов ) , не удовлетворяют этому свойству. Все они имеют делители нуля .
Существуют более широкие системы счисления, которые имеют мультипликативный модуль (например, 16-мерные конические седенионы). Их модуль определяется иначе, чем их норма, и они также содержат делители нуля.
Как показал Гурвиц , R , C , H и O являются единственными нормированными алгебрами с делением над действительными числами. Эти четыре алгебры также образуют единственные альтернативные конечномерные алгебры с делением над действительными числами ( с точностью до изоморфизма).
Не будучи ассоциативными, ненулевые элементы O не образуют группу . Однако они образуют петлю , в частности петлю Муфанг .
Коммутатор двух октонионов x и y имеет вид
Это антисимметрично и воображаемо. Если его рассматривать только как произведение в мнимом подпространстве Im( O ), оно определяет произведение в этом пространстве, семимерное векторное произведение , определяемое формулой
Как и векторное произведение в трех измерениях, это вектор, ортогональный x и y с величиной
Но, как и продукт октониона, он не определен однозначно. Вместо этого существует множество различных перекрестных произведений, каждое из которых зависит от выбора произведения октониона. [11]
Автоморфизм октонионов A является обратимым линейным преобразованием O , которое удовлетворяет условию
Множество всех автоморфизмов O образует группу под названием G 2 . [12] Группа G 2 представляет собой односвязную компактную вещественную группу Ли размерности 14. Эта группа является наименьшей из исключительных групп Ли и изоморфна подгруппе Spin ( 7) , которая сохраняет любой выбранный конкретный вектор в своем 8-мерное вещественное спинорное представление. Группа Spin(7), в свою очередь, является подгруппой группы изотопий, описанной ниже.
См. также : PSL(2,7) – группа автоморфизмов плоскости Фано.
Изотопия алгебры — это тройка биективных линейных отображений a , b , c такая, что если xy = z , то a ( x ) b ( y ) = c ( z ) . Для a = b = c это то же самое, что автоморфизм. Изотопическая группа алгебры — это группа всех изотопий, которая содержит группу автоморфизмов в качестве подгруппы.
Изотопическая группа октонионов — это группа Spin 8 ( R ) , где a , b , c действуют как три 8-мерных представления. [13] Подгруппа элементов, где c фиксирует тождество, — это подгруппа Spin 7 ( R ) , а подгруппа, где a , b , c все фиксируют тождество, — это группа автоморфизмов G 2 .
Октонионы играют значительную роль в классификации и построении других математических объектов. Например, исключительная группа Ли G 2 является группой автоморфизмов октонионов, а другие исключительные группы Ли F 4 , E 6 , E 7 и E 8 можно понимать как изометрии некоторых проективных плоскостей , определенных с помощью октонионов. [14] Набор самосопряженных октонионных матриц размера 3 × 3 , снабженных симметризованным матричным произведением, определяет алгебру Альберта . В дискретной математике октонионы представляют собой элементарное образование решетки Лича и, таким образом, тесно связаны со спорадическими простыми группами . [15] [16]
Применение октонионов в физике во многом было предположительным. Например, в 1970-е годы были предприняты попытки понять кварки посредством октонионного гильбертова пространства . [17] Известно, что октонионы и тот факт, что могут существовать только четыре нормированные тела, относятся к измерениям пространства-времени , в которых могут быть построены суперсимметричные квантовые теории поля . [18] [19] Также предпринимались попытки получить Стандартную модель физики элементарных частиц из октонионных конструкций, например, с использованием «алгебры Диксона» C ⊗ H ⊗ O . [20] [21]
Октонионы также возникли при изучении энтропии черных дыр , квантовой информатики [22] [23] и теории струн . [24]
Октонионы использовались для решения проблемы калибровки руки и глаза в робототехнике . [25]
Сети глубоких октонионов предоставляют средства эффективного и компактного выражения в приложениях машинного обучения. [26] [27]
Существует несколько естественных способов выбора целой формы октонионов. Самый простой — просто взять октонионы, координаты которых — целые числа . Это дает неассоциативную алгебру целых чисел, называемую грейвсовскими октонионами. Однако это не максимальный порядок (в смысле теории колец); существует ровно семь максимальных порядков, содержащих его. Все эти семь максимальных порядков эквивалентны относительно автоморфизмов. Фраза «целые октонионы» обычно относится к фиксированному выбору одного из этих семи порядков.
Эти максимальные порядки были построены Кирмсом (1925) , Диксоном и Бруком следующим образом. Обозначьте восемь базисных векторов точками проективной прямой над полем с семью элементами. Сначала сформируйте «целые числа Кирмсе»: они состоят из октонионов, координаты которых являются целыми или полуцелыми числами, и которые являются полуцелыми числами (то есть половинами нечетных целых чисел) в одном из 16 наборов.
расширенного квадратичного кода-вычета длины 8 над полем из двух элементов, заданным ∅ , (∞124) , и его образами при добавлении константы по модулю 7, а также дополнениями к этим восьми наборам. Затем поменяйте местами бесконечность и любую другую координату; эта операция создает биекцию целых чисел Кирмса в другой набор, который является максимальным порядком. Есть семь способов сделать это, давая семь максимальных порядков, которые эквивалентны циклическим перестановкам семи координат 0123456. (Кирмсе ошибочно утверждал, что целые числа Кирмзе также образуют максимальный порядок, поэтому он думал, что существует восемь максимальных порядков, а не семь, но, как указал Коксетер (1946), они не замкнуты при умножении; эта ошибка встречается в нескольких опубликованных статьях.)
Целые числа Кирмса и семь максимальных порядков изометричны решетке E 8 , масштабированной в 1 ⁄ √ 2 . В частности, в каждом из этих порядков имеется 240 элементов с минимальной ненулевой нормой 1, образующих петлю Муфанг порядка 240.
Целые октонионы обладают свойством «деление с остатком»: учитывая целые октонионы a и b ≠ 0 , мы можем найти q и r с a = qb + r , где остаток r имеет норму меньше, чем норма b .
В целочисленных октонионах все левые и правые идеалы являются двусторонними идеалами, а единственными двусторонними идеалами являются главные идеалы nO , где n — неотрицательное целое число.
Целочисленные октонионы имеют версию факторизации в простые числа, хотя это непросто сформулировать, поскольку октонионы не ассоциативны, поэтому произведение октонионов зависит от порядка, в котором они производятся. Неприводимые целочисленные октонионы — это в точности октонионы простой нормы, и каждый целочисленный октонион можно записать как произведение неприводимых октонионов. Точнее, целый октонион нормы mn можно записать как произведение целых октонионов норм m и n .
Группой автоморфизмов целых октонионов является группа G 2 ( F 2 ) порядка 12096 , имеющая простую подгруппу индекса 2, изоморфную унитарной группе 2 A 2 (3 2 ) . Изотопическая группа целых октонионов представляет собой идеальное двойное покрытие группы вращений решетки Е 8 .