Изменить размер шрифта - +
В любом случае такое название лучше, чем «октавы», поскольку оно напоминает «кватернионы».

Алгебру октонионов можно описывать в терминах замечательной диаграммы, известной как плоскость Фано. Она представляет собой конечную геометрию, составленную из семи точек, соединенных по три семью «прямыми» линиями, и имеет вид, показанный на рисунке.

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

В октонионах имеется восемь единиц: обычное число 1 и еще семь, обозначаемые как e<sub>1</sub>, e<sub>2</sub>, e<sub>3</sub>, e<sub>4</sub>, e<sub>5</sub>, e<sub>6</sub> и e<sub>7</sub>. Квадрат любой из этих семи равен −1. Диаграмма определяет их правила умножения. Пусть нам надо умножить e<sub>3</sub> на e<sub>7</sub>. Ищем на диаграмме точки 3 и 7 и соединяющую их прямую линию. На ней имеется третья точка — в данном случае точка 1. Следуя по стрелкам, мы идем от 3 к 7 и далее к 1, так что e<sub>3</sub>e<sub>7</sub> = e<sub>1</sub>. Если порядок обратный, то надо дополнительно взять знак минус: e<sub>7</sub>e<sub>3</sub> = −e<sub>1</sub>. Если проделать это для всех возможных пар единиц, получится полная картина арифметики октонионов. (Со сложением и вычитанием все всегда просто, а деление следует из умножения.)

Плоскость Фано — геометрия с семью точками и семью прямыми.

Грейвс и Кэли не знали об этой связи с конечной геометрией, поэтому они выписывали таблицу умножения для октонионов. Как плоскость Фано помогает выразить эту таблицу, было открыто много позже.

На протяжении многих лет октонионы оставались диковинкой второго сорта. В отличие от кватернионов у них не было ни геометрической интерпретации, ни применений в науке. Даже внутри чистой математики из них, казалось, ничего не следует; неудивительно, что они впали в безвестность. Но все изменилось, когда выяснилось, что октонионы — источник наиболее причудливых алгебраических структур, известных в математике. Они дают объяснение, откуда на самом деле берутся пять Киллинговых исключительных групп Ли G<sub>2</sub>, F<sub>4</sub>, E<sub>6</sub>, E<sub>7</sub> и E<sub>8</sub>. А группа E<sub>8</sub> — самая большая из исключительных групп Ли — фигурирует дважды в качестве группы симметрии, на которой основана 10-мерная теория суперструн, обладающая необычайно приятными свойствами и рассматриваемая многими физиками как наилучший на данный момент кандидат на Теорию Всего.

Если мы соглашаемся с Дираком в том, что корни вселенной — в математике, то мы можем сказать, что вероятная Теория Всего существует постольку, поскольку существует E<sub>8</sub>, а E<sub>8 </sub>существует постольку, поскольку существуют октонионы. Что открывает перед нами занятную философскую возможность: структура, лежащая в основе нашей вселенной (про которую мы знаем, что она очень специальная), выделена своей связью с уникальным математическим объектом — октонионами.

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

Быстрый переход