Комплексные числа (C): «Двумерная вселенная»
Мы жертвуем идеей о том, что числа можно просто сравнивать («больше» или «меньше»). На комплексной плоскости это понятие теряет смысл.
Дуальные числа: «Числа-тени»
Что это? Числа вида a + bε, где ε — нечто иное (ε² = 0), но ε ≠ 0.
А что, если наше безумие пойдет по другому пути? Не i² = -1, а ε² = 0! Это числа, живущие на «плоскости», где вторая ось — это бесконечно малый сдвиг. Они идеально описывают касательные и бесконечно малые преобразования.
Главная суперсила — автоматическое дифференцирование. Если вычислить f(a + bε), то действительная часть даст значение функции, а коэффициент при ε — её производную. Это основа современной компьютерной графики и робототехники.
Жертвуем делимостью. Так как ε² = 0, на саму ε делить нельзя (аналогично делению на ноль). Дуальные числа — это вырожденная версия комплексных.
Кватернионы (H): «Трехмерные вращения»
Что это? Числа вида a + bi + cj + dk, где a, b, c, d — действительные числа, а мнимые единицы i, j, k подчиняются правилам: i² = j² = k² = ijk = -1.
Уильям Гамильтон задался вопросом: а как выйти в третье измерение? Ответом стали кватернионы. Это четырехмерные числа, которые позволяют идеально описывать трехмерные вращения. Умножение кватернионов кодирует последовательность поворотов в 3D-пространстве без проклятия «шарнирного замка», которое преследует углы Эйлера.
Вся современная компьютерная графика, анимация, навигация космических аппаратов и систем виртуальной реальности работает на кватернионах. Они — язык ориентации в пространстве.
Жертвуем коммутативностью. Порядок умножения теперь важен: i * j = k, но j * i = -k. Умножение перестает быть перестановочным.
Бикватернионы: «Кватернионы с комплексными коэффициентами»
Что это? Это кватернионы, но их компоненты a, b, c, d — не действительные, а комплексные числа. Формально: (a_1 + a_2 i) + (b_1 + b_2 i) i + (c_1 + c_2 i) j + (d_1 + d_2 i) k, где первая i — комплексная мнимая единица, а вторая i, j, k — кватернионные.
Это следующий уровень абстракции — «комплексификация» уже не действительных, а самих кватернионов. Бикватернионы оказываются тесно связаны с сложными движениями.
Помимо отсутствия коммутативности, мы сталкиваемся с появлением делителей нуля (ненулевые бикватернионы, произведение которых равно нулю). Структура становится еще более «хрупкой».
Октанионы (O): «Граница порядка»
Что это? Восьмимерные числа вида a + b e1 + c e2 + d e3 + e e4 + f e5 + g e6 + h e7, с семью мнимыми единицами.
Это попытка продолжить цепочку (действительные → комплексные → кватернионы) дальше. Формально это возможно, но цена высока. Жертвуем ассоциативностью. Умножение октанионов не ассоциативно: (a * b) * c ≠ a * (b * c). Мы теряем одну из самых базовых и интуитивных свойств арифметики. Дальнейшее расширение (до седенионов) лишает числа даже свойства альтернативности и приводит к полному хаосу с делителями нуля.
Каждая ступенька вверх по лестнице чисел дает нам новую суперсилу, но заставляет отказаться от чего-то привычного:
R → C: Получаем полноценную плоскость и анализ. Жертва: отношение порядка (> или <).
C → H: Получаем идеальные 3D-вращения. Жертва: коммутативность умножения (a×b ≠ b×a).
H → O: Получаем экзотическую структуру для передовой физики. Жертва: ассоциативность умножения ((a×b)×c ≠ a×(b×c)).
Это путешествие от одномерной определенности к многомерной свободе, где каждая жертва открывает дверь в новую, более сложную и потрясающую вселенную.