Внешняя алгебра Грассмана: геометрия многомерных объемов

Внешнее (клиновое) произведение

Сердцевиной алгебры Грассмана является новая операция умножения векторов, обозначаемая символом «клин» (wedge: a ∧ b). Это внешнее произведение радикально отличается от скалярного или обычного векторного произведения. Его фундаментальное аксиоматическое свойство — абсолютная антисимметричность: a ∧ b = - (b ∧ a). Из этого тривиально, но гениально вытекает, что внешнее умножение любого вектора на самого себя всегда дает абсолютный ноль (a ∧ a = 0). Геометрический смысл выражения a ∧ b — это ориентированная площадь параллелограмма, натянутого на векторы a и b. Знак минус при перестановке отражает изменение ориентации (направления обхода площади). Векторы a ∧ b ∧ c задают ориентированный объем параллелепипеда, и так далее для любых размерностей.

k-векторы и поливекторные пространства

Результатом внешнего умножения k векторов является новый алгебраический объект — k-вектор. В пространстве размерности n (например, n=3) мы можем строить 0-векторы (скаляры), 1-векторы (обычные отрезки), 2-векторы (площади) и 3-векторы (объемы). Все возможные k-векторы образуют свои собственные линейные векторные подпространства. Размерность каждого такого пространства строго равна биномиальному коэффициенту (числу сочетаний из n по k). Очевидно, что попытка перемножить внешним образом больше векторов, чем размерность пространства n (например, взять 4-вектор в трехмерном мире), гарантированно даст нулевой результат, так как в любой такой комбинации векторы неизбежно окажутся линейно зависимыми, и их «объем» «схлопнется» в ноль.

Абсолютное тождество с определителем

Внешняя алгебра элегантно и без лишних индексов раскрывает истинную природу определителя матрицы. Если мы рассмотрим внешнее произведение n базисных векторов n-мерного пространства (e_1 ∧ e_2 ∧ ... ∧ e_n), это произведение породит одномерное пространство так называемых псевдоскаляров (элементов максимального объема). Если мы возьмем n произвольных векторов, заданных своими координатами в матрице A, и перемножим их внешним образом, то вся антисимметричная алгебраическая «мясорубка» Грассмана автоматически приведет подобные слагаемые. В результате мы получим базисный псевдоскаляр, строго умноженный на число. Это число будет в точности равно классическому определителю матрицы A. То есть детерминант — это просто коэффициент масштабирования многомерного ориентированного объема.

Координаты Плюккера и проективная геометрия

На практике алгебра Грассмана творит чудеса в компьютерной графике и робототехнике. Чтобы описать прямую линию в трехмерном пространстве, обычно требуется задать две точки или точку и направляющий вектор. В алгебре Грассмана прямая изящно задается одним 2-вектором (бивектором), построенным из однородных координат точек. Эти коэффициенты бивектора называются координатами Плюккера. Они позволяют мгновенно вычислять пересечения прямых с плоскостями, расстояния между перекрещивающимися лучами и анализировать сингулярности в кинематике роботизированных манипуляторов. Пересечение объектов сводится к простому клиновому умножению их плюккеровых представлений: если результат равен нулю, объекты геометрически пересекаются.