Введение

Гиперкомплексная система чисел

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

История

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

Изотопы

Изотопия алгебры — это тройка биективных линейных отображений a, b, c, таких что если , то . Для этого эквивалентно автоморфизму. Изотопическая группа алгебры — это группа всех изотопий, содержащая группу автоморфизмов как подгруппу. Изотопическая группа октонионов — это группа Spin8(ℝ), где a, b, c действуют как три восьмимерных представления. Подгруппа элементов, в которой c фиксирует единицу, является подгруппой Spin7(ℝ), а подгруппа, в которой a, b и c все фиксируют единицу, является группой автоморфизмов G2.

Приложения

Октонионы играют значительную роль в классификации и построении других математических объектов. Например, исключительная группа Ли [[G2 (математика) ]] является группой автоморфизмов октонионов, а другие исключительные группы Ли [[F4 (математика), [[E6 (математика), [[E7 (математика) ]] и [[E8 (математика) ]] могут быть интерпретированы как изометрии определенных проективных плоскостей, заданных с использованием октонионов. Множество самосопряжённых 3 × 3 октонионных матриц, снабжённых симметризованным матричным произведением, определяет алгебру Альберта. В дискретной математике октонионы предоставляют элементарное выведение решётки Лича и, таким образом, тесно связаны со спорадическими простыми группами. Применение октонионов в физике в основном носит гипотетический характер. Например, в 1970-х годах предпринимались попытки понять кварки с помощью октонионного гильбертова пространства. Известно, что октонионы и тот факт, что существует только четыре нормированные алгебры с делением, связаны с пространственно-временными размерностями, в которых могут быть построены суперсимметричные квантовые теории поля. Также предпринимались попытки получить Стандартную модель физики элементарных частиц из октонионных конструкций, например, с использованием "алгебры Диксона" 'C' ⊗ 'H' ⊗ 'O'. Октонионы также возникали при изучении энтропии чёрных дыр, квантовой информатики и теории струн. Октонионы использовались в решениях задачи калибровки «рука-глаз» в робототехнике. Глубокие октонионные сети обеспечивают эффективное и компактное представление в приложениях машинного обучения.