Многолинейная алгебра: тензорные, симметричные и внешние степени пространств

Тензорное произведение и универсальное свойство

Сердцем многолинейной алгебры является конструкция тензорного произведения векторных пространств (V ⊗ W). Вместо того чтобы работать со сложными билинейными функциями от двух аргументов, математики создают новое, огромное векторное пространство, размерность которого равна произведению размерностей исходных пространств. В этом новом пространстве билинейная функция превращается в обычный, тривиальный линейный оператор. Это выражается через так называемое Универсальное свойство тензорного произведения: любое полилинейное отображение единственным образом пропускается через тензорное произведение. Тензорная степень пространства (V ⊗ V ⊗ ... ⊗ V) содержит в себе все возможные многомерные корреляции между базисными векторами, образуя так называемую свободную тензорную алгебру.

Симметрическая алгебра: геометрия коммутативности

Тензорная алгебра слишком велика и содержит много избыточной информации. Если мы потребуем, чтобы порядок перемножаемых векторов не имел значения (a ⊗ b = b ⊗ a), мы получим фактор-алгебру, называемую Симметрической алгеброй (Sym V). Физически это означает, что мы проецируем тензоры на подпространство абсолютно симметричных тензоров. Удивительный факт заключается в том, что симметрическая алгебра векторного пространства канонически изоморфна алгебре обычных многочленов (полиномов) от нескольких переменных. Таким образом, вся теория решения систем полиномиальных алгебраических уравнений (алгебраическая геометрия) может быть сформулирована на чистом языке симметрических степеней векторных пространств. В квантовой механике симметрическая алгебра описывает поведение бозонов — частиц, которые могут бесконечно накапливаться в одном и том же квантовом состоянии (например, фотоны в лазере).

Внешняя алгебра: антисимметрия и принцип Паули

Если мы, наоборот, потребуем строгой антисимметрии (a ⊗ b = - b ⊗ a), мы получим Внешнюю алгебру (алгебру Грассмана, Alt V). В этом пространстве умножение любого вектора самого на себя дает строгий ноль. В отличие от бесконечной симметрической алгебры, внешняя алгебра конечномерного пространства всегда конечна: ее элементы (k-векторы) существуют только до размерности, равной размерности исходного пространства n, после чего внешние степени обнуляются. В квантовой механике внешняя алгебра — это математический язык фермионов (таких как электроны и кварки). Свойство a ∧ a = 0 в точности выражает принцип запрета Паули: два фермиона принципиально не могут находиться в одном и том же квантовом состоянии, что и делает материю твердой и обеспечивает структуру периодической таблицы Менделеева.

Разложение Шура-Вейля и двойственность

Симметричные и антисимметричные тензоры — это лишь две крайности огромного спектра симметрий в многолинейной алгебре. Что происходит, если тензор симметричен по одним индексам и антисимметричен по другим? Ответ дает Двойственность Шура-Вейля (Schur-Weyl Duality). Эта теорема показывает, как n-я тензорная степень векторного пространства распадается на блоки (инвариантные подпространства) под совместным действием полной линейной группы GL(V) и симметрической группы перестановок S_n. Каждый такой блок описывается диаграммой Юнга — набором клеточек, который кодирует точную комбинаторику смешанных симметрий. Эта теория объединяет линейную алгебру тензоров и комбинаторику разбиений чисел в единый, невероятно красивый математический аппарат.