Октонион

редактировать

В математике октонионы представляют собой нормированную алгебру с делением над действительными числами, что означает, что это гиперкомплексная система счисления ; Октонионы обычно обозначаются заглавной буквой O с использованием полужирного шрифта O или полужирного шрифта O {\ displaystyle \ mathbb {O}}\ mathbb {O} (Unicode : 𝕆). Октонионы имеют восемь измерений; вдвое больше размеров кватернионов , расширением которых они являются. Они некоммутативны и неассоциативны, но удовлетворяют более слабой форме ассоциативности; а именно, они являются альтернативой. Они также ассоциативны по степени.

. Октонионы не так хорошо известны, как кватернионы и комплексные числа, которые гораздо более широко изучаются и используются. Октонионы связаны с исключительными структурами в математике, среди которых исключительные группы Ли. Октонионы находят применения в таких областях, как теория струн, специальная теория относительности и квантовая логика. Применение конструкции Кэли-Диксона к октонионам дает седенионы.

Содержание

  • 1 История
  • 2 Определение
    • 2.1 Конструкция Кэли-Диксона
    • 2.2 Мнемоника плоскости Фано
    • 2.3 Сопряжение, норма и обратное
  • 3 Свойства
    • 3.1 Коммутатор и кросс-произведение
    • 3.2 Автоморфизмы
    • 3.3 Изотопы
  • 4 Приложения
  • 5 Интегральные октонионы
  • 6 См. Также
  • 7 Примечания
  • 8 Ссылки
  • 9 Внешние ссылки

История

Октонионы были обнаружены в 1843 году Джоном Т. Грейвсом, вдохновленным его другом Открытие кватернионов Уильямом Роуэном Гамильтоном. Грейвз назвал свое открытие «октавами» и упомянул их в письме к Гамильтону от 16 декабря 1843 года. Впервые он опубликовал свой результат несколько позже, чем статья Артура Кэли. Октонионы были независимо открыты Кэли и иногда называются «числами Кэли» или «алгеброй Кэли». Гамильтон описал раннюю историю открытия Грейвса.

Определение

Октонионы можно рассматривать как октеты (или наборы из восьми) действительных чисел. Каждый октонион представляет собой реальную линейную комбинацию из единичных октонионов :

{e 0, e 1, e 2, e 3, e 4, e 5, e 6, e 7}, { \ displaystyle \ {e_ {0}, e_ {1}, e_ {2}, e_ {3}, e_ {4}, e_ {5}, e_ {6}, e_ {7} \},}{\ displaystyle \ {e_ {0}, e_ {1}, e_ {2}, e_ {3}, e_ {4}, e_ {5}, e_ {6}, e_ {7} \},}

где e 0 {\ displaystyle e_ {0}}e_{0}- скалярный или действительный элемент; его можно отождествить с действительным числом 1. То есть каждый октонион x можно записать в виде

x = x 0 e 0 + x 1 e 1 + x 2 e 2 + x 3 e 3 + x 4 e 4 + x 5 e 5 + x 6 e 6 + x 7 e 7, {\ displaystyle x = x_ {0} e_ {0} + x_ {1} e_ {1} + x_ {2} e_ {2} + x_ {3} e_ {3} + x_ {4} e_ {4} + x_ {5} e_ {5} + x_ {6} e_ {6} + x_ {7} e_ {7}, \,}x = x_ {0} e_ {0 } + x_ {1} e_ {1} + x_ {2} e_ {2} + x_ {3} e_ {3} + x_ {4} e_ {4} + x_ {5} e_ {5} + x_ {6 } e_ {6} + x_ {7} e_ {7}, \,

с действительными коэффициентами {xi} {\ displaystyle \ {x_ {i} \}}\ {x_i \} .

Сложение и вычитание октонионов выполняется путем добавления и вычитания соответствующих членов и, следовательно, их коэффициентов, таких как кватернионы. Умножение сложнее. Умножение распределительно над сложением, поэтому произведение двух октонионов можно вычислить, суммируя произведения всех членов, опять же, как кватернионы. Произведение каждой пары терминов может быть получено путем умножения коэффициентов и таблицы умножения единичных октонионов, например этой (из-за Кэли, 1845, и Грейвса, 1843):

ej {\ displaystyle e_ {j}}e_ {j}
eiej {\ displaystyle e_ {i} e_ {j}}e_ie_j e 0 {\ displaystyle e_ {0}}e_{0}e 1 {\ displaystyle e_ {1}}e_ {1} е 2 {\ displaystyle e_ {2}}e_{2}e 3 {\ displaystyle e_ {3}}e_ {3} e 4 {\ displaystyle e_ {4}}e_4e 5 {\ displaystyle e_ {5 }}{\ displaystyle e_ {5}} е 6 {\ displaystyle e_ {6}}{\ displaystyle e_ {6}} e 7 {\ displaystyle e_ {7}}{\ displaystyle e_ {7}}
ei {\ displaystyle e_ {i}}e_ {i} e 0 {\ displaystyle e_ { 0}}e_{0}е 0 {\ displaystyle e_ {0}}e_{0}e 1 {\ displaystyle e_ {1}}e_ {1} e 2 {\ displaystyle e_ {2}}e_{2}e 3 {\ displaystyle e_ {3}}e_ {3} e 4 {\ displaystyle e_ {4}}e_4e 5 {\ displaystyle e_ {5}}{\ displaystyle e_ {5}} e 6 {\ displaystyle e_ {6}}{\ displaystyle e_ {6}} e 7 { \ displaystyle e_ {7}}{\ displaystyle e_ {7}}
e 1 {\ displaystyle e_ {1}}e_ {1} e 1 {\ displaystyle e_ {1}}e_ {1} - e 0 {\ displaystyle -e_ {0}}{\ displaystyle -e_ {0}} е 3 {\ displaystyle e_ {3}}e_ {3} - e 2 {\ displaystyle -e_ {2}}{\ displaystyle -e_ {2}} e 5 {\ di splaystyle e_ {5}}{\ displaystyle e_ {5}} - e 4 {\ displaystyle -e_ {4}}{\ displaystyle -e_ {4}} - e 7 {\ displaystyle -e_ {7}}{\ displaystyle -e_ {7}} e 6 {\ displaystyle e_ {6}}{\ displaystyle e_ {6}}
е 2 {\ displaystyle e_ {2}}e_{2}e 2 {\ displaystyle e_ {2}}e_{2}- e 3 {\ displaystyle -e_ {3}}{\ displaystyle -e_ {3}} - e 0 {\ displaystyle - e_ {0}}{\ displaystyle -e_ {0}} e 1 {\ displaystyle e_ {1}}e_ {1} e 6 {\ displaystyle e_ {6}}{\ displaystyle e_ {6}} e 7 {\ displaystyle e_ {7}}{\ displaystyle e_ {7}} - e 4 {\ displaystyle -e_ {4}}{\ displaystyle -e_ {4}} - e 5 {\ displaystyle -e_ {5}}{\ displaystyle -e_ {5}}
e 3 {\ displaystyle e_ {3}}e_ {3} e 3 {\ displaystyle e_ {3}}e_ {3} е 2 {\ displaystyle e_ {2}}e_{2}- e 1 {\ displaystyle -e_ {1}}-e_1 - e 0 {\ displaystyle -e_ {0}}{\ displaystyle -e_ {0}} e 7 {\ displaystyle e_ {7}}{\ displaystyle e_ {7}} - e 6 {\ displaystyle -e_ {6}}{\ displaystyle -e_ {6}} e 5 {\ displaystyle e_ {5}}{\ displaystyle e_ {5}} - e 4 {\ displaystyle -e_ {4}}{\ displaystyle -e_ {4}}
е 4 {\ displaystyle e_ {4}}e_4e 4 {\ displaystyle e_ {4}}e_4- e 5 {\ displaystyle -e_ {5}}{\ displaystyle -e_ {5}} - e 6 {\ displaystyle - e_ {6}}{\ displaystyle -e_ {6}} - e 7 {\ displaystyle -e_ {7}}{\ displaystyle -e_ {7}} - e 0 {\ displaystyle -e_ {0}}{\ displaystyle -e_ {0}} e 1 {\ displaystyle e_ {1}}e_ {1} е 2 {\ displaystyle e_ {2}}e_{2}e 3 {\ displaystyle e_ {3}}e_ {3}
e 5 { \ displaystyle e_ {5}}{\ displaystyle e_ {5}} e 5 {\ displaystyle e_ {5}}{\ displaystyle e_ {5}} e 4 {\ displaystyle e_ {4}}e_4- e 7 {\ displaystyle -e_ {7}}{\ displaystyle -e_ {7}} е 6 {\ displaystyle e_ {6}}{\ displaystyle e_ {6}} - e 1 {\ displaystyle -e_ {1}}-e_1 - e 0 {\ displaystyle -e_ {0}}{\ displaystyle -e_ {0}} - e 3 {\ displaystyle -e_ {3}}{\ displaystyle -e_ {3}} e 2 {\ displaystyle e_ {2}}e_{2}
e 6 {\ displaystyle e_ {6}}{\ displaystyle e_ {6}} e 6 {\ displaystyle e_ {6}}{\ displaystyle e_ {6}} e 7 {\ displaystyle e_ {7}}{\ displaystyle e_ {7}} e 4 {\ displaystyle e_ {4}}e_4- e 5 {\ displaystyle -e_ {5}}{\ displaystyle -e_ {5}} - e 2 {\ displaystyle -e_ {2} }{\ displaystyle -e_ {2}} е 3 {\ displaystyle e_ {3}}e_ {3} - e 0 {\ displaystyle -e_ {0}}{\ displaystyle -e_ {0}} - e 1 {\ displaystyle -e_ {1}}-e_1
e 7 { \ displaystyle e_ {7}}{\ displaystyle e_ {7}} e 7 {\ displaystyle e_ {7}}{\ displaystyle e_ {7}} - e 6 {\ displaystyle -e_ {6}}{\ displaystyle -e_ {6}} e 5 {\ displaystyle e_ {5}}{\ displaystyle e_ {5}} е 4 {\ displaystyle e_ {4}}e_4- e 3 {\ displaystyle -e_ {3}}{\ displaystyle -e_ {3}} - e 2 {\ displaystyle -e_ {2}}{\ displaystyle -e_ {2}} e 1 {\ displaystyle e_ {1}}e_ {1} - e 0 {\ displaystyle -e_ {0}}{\ displaystyle -e_ {0}}

Большинство недиагональных элементов таблицы антисимметричны, что делает ее почти кососимметричной матрицей за исключением элементы на главной диагонали, а также в строке и столбце, для которых e 0 {\ displaystyle e_ {0}}e_{0}является операндом.

Таблицу можно резюмировать следующим образом:

eiej = {ej, if i = 0 ei, if j = 0 - δ ije 0 + ε ijkek, иначе {\ displaystyle e_ {i} e_ { j} = {\ begin {cases} e_ {j}, {\ text {if}} i = 0 \\ e_ {i}, {\ text {if}} j = 0 \\ - \ delta _ { ij} e_ {0} + \ varepsilon _ {ijk} e_ {k}, {\ text {else}} \ end {cases}}}{\ displaystyle e_ {i} e_ { j} = {\ begin {cases} e_ {j}, {\ text {if}} i = 0 \\ e_ {i}, {\ text {if}} j = 0 \\ - \ delta _ { ij} e_ {0} + \ varepsilon _ {ijk} e_ {k}, {\ text {иначе}} \ end {cases}}}

где δ ij {\ displaystyle \ delta _ {ij }}\ delta _ {ij} - дельта Кронекера и ε ijk {\ displaystyle \ varepsilon _ {ijk}}\ varepsilon _ {ijk} - полностью антисимметричный тензор со значением +1, когда ijk = 123, 145, 176, 246, 257, 347, 365.

Приведенное выше определение, хотя и не уникально, но является лишь одним из 480 возможных определений для умножения октонионов с e 0 {\ displaystyle e_ {0}}e_{0}= 1. Остальные можно получить перестановкой и изменением знаков нескалярных базисных элементов {e 1, e 2, e 3, e 4, e 5, e 6, e 7} {\ displaystyle \ {e_ {1}, e_ {2}, e_ {3}, e_ {4}, e_ {5}, e_ {6}, e_ { 7} \}}{\ displaystyle \ {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 {\ displaystyle e_ {1} e_ {2} = e_ {4}}{\ displaystyle e_ {1 } e_ {2} = e_ {4}} - используя треугольную диаграмму умножения или плоскость Фано внизу (и вместо таблицы умножения вверху) - так как умножение особенно легко запомнить.

Иногда используется вариант этого метода - пометить элементы базиса элементами ∞, 0, 1, 2,..., 6, проективной прямой над конечным поле порядка 7. Затем умножение дается выражением e ∞ = 1 {\ displaystyle e _ {\ infty} = 1}{\ displaystyle e _ {\ infty} = 1} и e 1 e 2 = e 4 {\ displaystyle e_ {1} e_ {2} = e_ {4}}{\ displaystyle e_ {1 } e_ {2} = e_ {4}} , и все выражения, полученные из этого путем добавления константы (mod 7) ко всем индексам: другими словами, используя 7 троек (124) (235) (346) (450) (561) (602) (013). Это ненулевые кодовые слова кода квадратичного остатка длины 7 по полю Галуа из двух элементов, GF (2). Существует симметрия порядка 7, полученная путем добавления константы по модулю 7 ко всем индексам, а также симметрия порядка 3, полученная путем умножения всех индексов на один из квадратичных вычетов 1, 2, 4 по модулю 7.

Таблица умножения для геометрической алгебры сигнатуры (−−−−) может быть задана в терминах следующих 7 кватернионных троек (без элемента идентичности): (I, j, k), (i, J, k), (i, j, K), (I, J, K), (∗ I, i, m), (∗ J, j, m), (∗ K, k, m), в которых строчные элементы - это векторы (математика и физика), а верхние - бивекторы и ∗ = mijk (что на самом деле является звездным оператором Ходжа ). Если * принудительно приравнивается к единице, тогда умножение перестает быть ассоциативным, но * может быть удалено из таблицы умножения, что приводит к таблице умножения октонионов.

Сохраняя ассоциативность ∗ = mijk и, таким образом, не сводя четырехмерную геометрическую алгебру к октонионной, вся таблица умножения может быть получена из уравнения для ∗. Рассмотрим гамма-матрицы. Формула, определяющая пятую гамма-матрицу, показывает, что это ∗ четырехмерной геометрической алгебры гамма-матриц.

Конструкция Кэли-Диксона

Более систематический способ определения октонионов - через конструкцию Кэли-Диксона. Так же, как кватернионы могут быть определены как пары комплексных чисел, октонионы могут быть определены как пары кватернионов. Сложение определяется попарно. Произведение двух пар кватернионов (a, b) и (c, d) определяется как

(a, b) (c, d) = (ac - d ∗ b, da + bc ∗), {\ displaystyle (a, b) (c, d) = (ac-d ^ {*} b, da + bc ^ {*}),}{\ displaystyle (a, b) (c, d) = (ac-d ^ {*} b, da + bc ^ {*}),}

где z ∗ {\ displaystyle z ^ {*}}z ^ {*} обозначает , сопряженное с кватернионом z. Это определение эквивалентно приведенному выше, когда восемь единичных октонионов отождествляются с парами

(1,0), (i, 0), (j, 0), (k, 0), (0,1), (0, i), (0, j), (0, k)

Мнемоника плоскости Фано

Мнемоника для произведений единичных октонионов. Трехмерная мнемоническая визуализация, показывающая 7 триад в виде гиперплоскости через реальную вершину (e 0) {\ displaystyle (e_ {0})}{ \ displaystyle (e_ {0})} в приведенном выше примере октониона.

Удобная мнемоника для запоминания произведений единичных октонионов дается диаграммой, которая представляет собой таблицу умножения Кэли и Грейвса. Эта диаграмма с семью точками и семью линиями (круг, проходящий через 1, 2 и 3 считается линией), называется плоскостью Фано. Линии направленные. Семь точек соответствуют семи стандартным базисным элементам Im (O ) (см. Определение ниже). Каждая пара различных точек лежит на уникальной линии, и каждая линия проходит ровно через три точки.

Пусть (a, b, c) будет упорядоченной тройкой точек, лежащих на заданной линии с порядком, указанным направлением стрелки. Тогда умножение дается на

ab = c и ba = -c

вместе с циклическими перестановками. Эти правила вместе с

  • 1 являются мультипликативным тождеством,
  • ei 2 = - 1 {\ displaystyle e_ {i} ^ {2} = - 1}{\ displaystyle e_ {i} ^ {2} = - 1 } для каждой точки на диаграмме

полностью определяет мультипликативную структуру октонионов. Каждая из семи строк генерирует подалгебру O, изоморфную кватернионам H.

Сопряжение, норма и обратное

Сопряжение октониона

x = x 0 e 0 + Икс 1 е 1 + Икс 2 е 2 + Икс 3 е 3 + Икс 4 е 4 + Икс 5 е 5 + Икс 6 е 6 + Икс 7 е 7 {\ displaystyle x = x_ {0} \, e_ {0} + x_ {1} \, e_ {1} + x_ {2} \, e_ {2} + x_ {3} \, e_ {3} + x_ {4} \, e_ {4} + x_ {5} \, e_ {5} + x_ {6} \, e_ {6} + x_ {7} \, e_ {7}}x = x_ {0} \, e_ {0} + x_ {1} \, e_ {1} + x_ {2 } \, e_ {2} + x_ {3} \, e_ {3} + x_ {4} \, e_ {4} + x_ {5} \, e_ {5} + x_ {6} \, e_ {6 } + x_ {7} \, e_ {7}

дается как

x ∗ = x 0 e 0 - x 1 e 1 - x 2 e 2 - x 3 e 3 - x 4 e 4 - x 5 e 5 - x 6 e 6 - x 7 e 7. {\ displaystyle x ^ {*} = x_ {0} \, e_ {0} -x_ {1} \, e_ {1} -x_ {2} \, e_ {2} -x_ {3} \, e_ { 3} -x_ {4} \, e_ {4} -x_ {5} \, e_ {5} -x_ {6} \, e_ {6} -x_ {7} \, e_ {7}.}x ^ {*} = x_ {0} \, e_ {0} -x_ {1} \, e_ {1} -x_ {2} \, e_ {2 } -x_ {3} \, e_ {3} -x_ {4} \, e_ {4} -x_ {5} \, e_ {5} -x_ {6} \, e_ {6} -x_ {7} \, e_ {7}.

Сопряжение - это инволюция из O и удовлетворяет (xy) = yx (обратите внимание на изменение порядка).

Действительная часть x определяется следующим образом:

x + x ∗ 2 = x 0 e 0 {\ displaystyle {\ frac {x + x ^ {*}} {2}} = x_ {0 } \, e_ {0}}{\ frac {x + x ^ {*}} {2}} = x_ {0} \, e_ {0}

и мнимая часть на

x - x ∗ 2 = x 1 e 1 + x 2 e 2 + x 3 e 3 + x 4 e 4 + x 5 e 5 + х 6 е 6 + х 7 е 7. {\ displaystyle {\ frac {xx ^ {*}} {2}} = x_ {1} \, e_ {1} + x_ {2} \, e_ {2} + x_ {3} \, e_ {3} + x_ {4} \, e_ {4} + x_ {5} \, e_ {5} + x_ {6} \, e_ {6} + x_ {7} \, e_ {7}.}{\ frac {xx ^ {*}} {2}} = x_ {1} \, e_ {1} + x_ {2} \, e_ {2} + x_ {3} \, e_ {3} + x_ {4} \, e_ {4} + x_ {5} \, е_ {5} + x_ {6} \, e_ {6} + x_ {7} \, e_ {7}.

набор всех чисто мнимых октонионов охватывает 7-мерное подпространство O, обозначенное Im (O ).

Сопряжение октонионов удовлетворяет уравнению

x ∗ = - 1 6 (x + (e 1 x) e 1 + (e 2 x) e 2 + (e 3 x) e 3 + (e 4 x) e 4 + (e 5 x) e 5 + (e 6 x) e 6 + (e 7 x) e 7). {\ displaystyle x ^ {*} = - {\ frac {1} {6}} (x + (e_ {1} x) e_ {1} + (e_ {2} x) e_ {2} + (e_ {3 } x) e_ {3} + (e_ {4} x) e_ {4} + (e_ {5} x) e_ {5} + (e_ {6} x) e_ {6} + (e_ {7} x) e_ {7}).}x ^ {*} = - {\ frac {1} {6}} (x + (e_ {1} x) e_ {1} + (e_ { 2} x) e_ {2} + (e_ {3} x) e_ {3} + (e_ {4} x) e_ {4} + (e_ {5} x) e_ {5} + (e_ {6} x) e_ {6} + (e_ {7} x) e_ {7}).

Произведение октониона на его сопряженное, xx = xx, всегда является неотрицательным действительным числом:

x ∗ x = x 0 2 + x 1 2 + x 2 2 + Икс 3 2 + Икс 4 2 + Икс 5 2 + Икс 6 2 + Икс 7 2. {\ displaystyle x ^ {*} x = x_ {0} ^ {2} + x_ {1} ^ {2} + x_ {2} ^ {2} + x_ {3} ^ {2} + x_ {4} ^ {2} + x_ {5} ^ {2} + x_ {6} ^ {2} + x_ {7} ^ {2}.}x ^ {*} x = x_ {0} ^ {2} + x_ {1} ^ {2} + x_ {2} ^ {2} + x_ {3} ^ {2} + x_ {4} ^ {2} + x_ {5} ^ {2} + x_ {6} ^ {2} + x_ {7} ^ {2}.

Используя это, норму октониона можно определить как

‖ X ‖ = x ∗ x. {\ displaystyle \ | x \ | = {\ sqrt {x ^ {*} x}}.}\ | x \ | = {\ sqrt {x ^ {*} x}}.

Эта норма соответствует стандартной евклидовой норме на R.

Существование нормы на O подразумевает существование , инвертирующего для каждого ненулевого элемента O . Обратное к x ≠ 0 дается выражением

x - 1 = x ∗ ‖ x ‖ 2. {\ displaystyle x ^ {- 1} = {\ frac {x ^ {*}} {\ | x \ | ^ {2}}}.}x ^ {- 1} = {\ frac {x ^ {*}} {\ | x \ | ^ {2}}}.

Он удовлетворяет xx = xx = 1.

Свойства

Октонионное умножение не является ни коммутативным :

eiej = - ejei ≠ ejei {\ displaystyle e_ {i} e_ {j} = - e_ {j} e_ {i} \ neq e_ { j} e_ {i} \,}e_ {i} e_ {j} = - e_ {j} e_ {i} \ neq e_ {j} e_ {i} \, , если i, j {\ displaystyle i, j}i, j отличны от нуля,

или ассоциативны :

(eiej) ek = - ei (ejek) ≠ ei (ejek) {\ displaystyle (e_ {i} e_ {j}) e_ {k} = - e_ {i} (e_ {j} e_ {k}) \ neq e_ {i} (e_ {j} e_ {k}) \,}(e_ {i} e_ {j}) e_ {k} = - e_ { i} (e_ {j} e_ {k}) \ neq e_ {i} (e_ {j} e_ {k}) \, если i, j, k {\ displaystyle i, j, k}i, j, k отличны, не равны нулю и eiej ≠ ± ek {\ displaystyle e_ {i} e_ {j} \ neq \ pm e_ {k}}e_ {i} e_ {j} \ neq \ pm e_ {k} .

Октонионы действительно удовлетворяют более слабой форме ассоциативности: они являются альтернативными. Это означает, что подалгебра , порожденная любыми двумя элементами, ассоциативна. Фактически, можно показать, что подалгебра, порожденная любыми двумя элементами O, изоморфна R, Cили H, все из которых ассоциативны. Из-за их неассоциативности октонионы не имеют матричных представлений, в отличие от кватернионов.

Октонионы сохраняют одно важное свойство, общее для R, Cи H : норма на O удовлетворяет

‖ xy ‖ = ‖ x ‖ ‖ y ‖ {\ displaystyle \ | xy \ | = \ | x \ | \ | y \ |}\ | xy \ | = \ | x \ | \ | y \ |

Это уравнение означает, что октонионы образуют композиционную алгебру. Все многомерные алгебры, определенные конструкцией Кэли – Диксона (например, седенионы), не удовлетворяют этому свойству. Все они имеют делители нуля.

Существуют более широкие системы счисления, которые имеют мультипликативный модуль (например, 16-мерные конические сечения). Их модуль определяется иначе, чем их норма, и они также содержат делители нуля.

Как показывает Гурвиц, R, C, H, и O - единственные нормированные алгебры с делением над вещественными числами. Эти четыре алгебры также образуют единственные альтернативные конечномерные алгебры с делением над вещественными числами (от до изоморфизма).

Не будучи ассоциативными, ненулевые элементы O не образуют группу. Однако они образуют цикл, действительно цикл Муфанг.

Коммутатор и перекрестное произведение

Коммутатор двух октонионов x и y равен задается как

[x, y] = xy - yx. {\ displaystyle [x, y] = xy-yx.}{\ displaystyle [x, y] = xy-yx.}

Это антисимметричный и мнимый. Если он рассматривается только как произведение в воображаемом подпространстве Im (O ), он определяет произведение в этом пространстве, семимерное перекрестное произведение , заданное как

x × у = 1 2 (ху - ух). {\ displaystyle x \ times y = {\ frac {1} {2}} (xy-yx).}x \ times y = {\ frac {1} {2}} (xy- yx).

Подобно перекрестному произведению в трех измерениях, это вектор, ортогональный x и y с величиной

‖ x × y ‖ = ‖ x ‖ ‖ y ‖ sin ⁡ θ. {\ displaystyle \ | x \ times y \ | = \ | x \ | \ | y \ | \ sin \ theta.}\ | x \ times y \ | = \ | x \ | \ | y \ | \ sin \ theta.

Но, как и произведение октониона, он не определен однозначно. Вместо этого существует множество различных перекрестных произведений, каждое из которых зависит от выбора продукта октониона.

Автоморфизмы

автоморфизм, A, октонионов является обратимым линейное преобразование из O, которое удовлетворяет

A (xy) = A (x) A (y). {\ displaystyle A (xy) = A (x) A (y).}{\ displaystyle A (xy) = A (x) A (y). }

Множество всех автоморфизмов O образует группу под названием G2. Группа 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-мерных представления. Подгруппа элементов, в которой c фиксирует идентичность, является подгруппой Spin 7(R), а подгруппа, в которой a, b и c все фиксируют идентичность, является группой автоморфизмов G 2.

Приложения

Октонионы играют значительная роль в классификации и построении других математических объектов. Например, исключительная группа Ли G2 является группой автоморфизмов октонионов, а другие исключительные группы Ли F4, E6, E7 и E8 можно понимать как изометрии некоторых проективных плоскостей определяется с помощью октонионов. Набор самосопряженных 3 × 3 {\ displaystyle 3 \ times 3}3 \ times 3 октонионных матриц, снабженных симметризованным матричным произведением, определяет алгебру Альберта. В дискретной математике октонионы обеспечивают элементарное происхождение решетки пиявки, и, таким образом, они тесно связаны со спорадическими простыми группами .

. Применение октонионов в физике в значительной степени является предположительным. Например, в 1970-х годах были предприняты попытки понять кварки с помощью октонионного гильбертова пространства. Известно, что октонионы и тот факт, что могут существовать только четыре нормированные алгебры с делением, относятся к измерениям пространства-времени, в которых суперсимметричные квантовые теории поля могут быть построен. Также были предприняты попытки получить Стандартную модель физики элементарных частиц из октонионных конструкций, например, используя «алгебру Диксона» C ⊗ H ⊗ O {\ displaystyle \ mathbb {C} \ otimes \ mathbb {H} \ otimes \ mathbb {O}}{\ displaystyle \ mathbb {C} \ otimes \ mathbb {H} \ otimes \ mathbb {O}} .

Октонионы также возникли при изучении энтропии черных дыр и квантовой информатики.

Октонионы использовались в растворах к проблеме калибровки глаза руки в робототехнике.

Глубокие октонионные сети обеспечивают эффективное и компактное выражение в приложениях машинного обучения.

Интегральные октонионы

Есть несколько естественных способов выбрать цельную форму октонионов. Самый простой - взять октонионы, координаты которых являются целыми числами. Это дает неассоциативную алгебру над целыми числами, называемыми октонионами Грейвза. Однако это не максимальный порядок (в смысле теории колец); его содержит ровно 7 максимальных порядков. Все эти 7 максимальных порядков эквивалентны относительно автоморфизмов. Фраза «интегральные октонионы» обычно относится к фиксированному выбору одного из этих семи порядков.

Эти максимальные заказы были построены Кирмс (1925) ошибка harvtxt: нет цели: CITEREFKirmse1925 (help ), Диксон и Брук следующим образом. Обозначьте 8 базисных векторов точками проективной прямой над полем с 7 элементами. Сначала сформируйте «целые числа Кирмс»: они состоят из октонионов, координаты которых являются целыми или полуцелыми числами, и которые являются полуцелыми числами (то есть половинами нечетных целых чисел) в одном из 16 наборов

∅ (∞124) (∞ 235) (∞346) (∞450) (∞561) (∞602) (∞013) (∞0123456) (0356) (1460) (2501) (3612) (4023) (5134) (6245)

расширенного квадратичного кода остатка длины 8 над полем из 2 элементов, заданным ∅, (∞124) и его изображениями при добавлении константы по модулю 7, и дополнений этих 8 наборов. Затем переключите бесконечность и любую другую координату; эта операция создает биекцию целых чисел Кирмс на другой набор, который является максимальным порядком. Есть 7 способов сделать это, дав 7 максимальных порядков, которые все эквивалентны при циклических перестановках 7 координат 0123456. (Кирмс ошибочно утверждал, что целые числа Кирмсе также образуют максимальный порядок, поэтому он думал, что было 8 максимальных порядков, а не 7, но, как указал Coxeter (1946), они не замкнуты при умножении; эта ошибка встречается в нескольких опубликованных статьях.)

Целые числа Кирмса и 7 максимальных порядков изометричны относительно решетка E8 масштабируется с коэффициентом 1 / √2. В частности, есть 240 элементов с минимальной ненулевой нормой 1 в каждом из этих порядков, образуя петлю Муфанг порядка 240.

Целые октонионы обладают свойством «деление с остатком»: данные целые октонионы a и b ≠ 0 мы можем найти q и r с a = qb + r, где остаток r имеет норму меньше, чем у b.

В целочисленных октонионах все левые идеалы и правые идеалы являются двусторонними идеалами, а единственными двусторонними идеалами являются главные идеалы nO, где n - неотрицательное целое число.

Целочисленные октонионы имеют вариант факторизации в простые числа, хотя это непросто указать, потому что октонионы не ассоциативны, поэтому произведение октонионов зависит от порядка, в котором производятся произведения. Неприводимые целые октонионы - это в точности те, которые имеют простую норму, и каждый целочисленный октонион может быть записан как произведение неприводимых октонионов. Точнее, целочисленный октонион нормы mn можно записать как произведение целых октонионов норм m и n.

Группа автоморфизмов целых октонионов - это группа G 2(F2) порядка 12096, которая имеет простую подгруппу индекса 2, изоморфную унитарной группе A 2 (3). Изотопическая группа целочисленных октонионов представляет собой совершенное двойное покрытие группы вращений решетки E 8.

См. Также

Примечания

Ссылки

Внешние ссылки

Последняя правка сделана 2021-06-01 08:00:21
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте