Аффинные унимодулярные преобразования: геометрия сохранения площадей

Определитель матрицы и унимодулярность

Алгебраическим ядром любого аффинного преобразования является его матрица A. Мы знаем, что модуль определителя этой матрицы |det(A)| в точности равен коэффициенту изменения площади фигур после преобразования. Следовательно, преобразование будет сохранять площади (быть унимодулярным) тогда и только тогда, когда модуль определителя его матрицы равен единице: det(A) = 1 или det(A) = -1. Если определитель равен +1, преобразование сохраняет не только площадь, но и ориентацию фигуры (не выворачивает ее наизнанку). Множество всех матриц размера n x n с определителем, равным 1, образует специальную линейную группу SL(n). Эта алгебраическая группа замкнута: композиция (последовательное выполнение) любых двух унимодулярных преобразований всегда порождает новое унимодулярное преобразование.

Трансвекция (Сдвиг) как генератор группы

Самым фундаментальным примером унимодулярного преобразования, не являющегося тривиальным вращением, выступает трансвекция (в двумерном случае — сдвиг или скос). Геометрически трансвекция фиксирует одну прямую (ось сдвига) неподвижной, а все остальные точки плоскости сдвигает параллельно этой оси на расстояние, пропорциональное их удалению от оси. Матрица базового сдвига вдоль оси x имеет вид: первая строка (1; k), вторая строка (0; 1). Определитель такой матрицы элементарно равен 1*1 - k*0 = 1. Удивительная алгебраическая теорема гласит, что абсолютно любое унимодулярное преобразование можно разложить в произведение серии простых трансвекций. То есть любую деформацию, сохраняющую объем, можно сымитировать как последовательность параллельных скольжений слоев пространства.

Несжимаемые жидкости и фазовые объемы

В физике сплошных сред матрица деформации элементарного объема воды или идеального газа обязана быть унимодулярной, поскольку такие жидкости физически несжимаемы (их плотность и объем остаются константами). Дифференциальное условие несжимаемости (дивергенция вектора скорости равна нулю) в конечном счете алгебраически эквивалентно тому, что матрица перехода Якоби (Якобиан) в каждый момент времени имеет единичный определитель. Другим грандиозным примером является теорема Лиувилля в гамильтоновой механике. Она утверждает, что фазовый объем системы частиц (в многомерном пространстве координат и импульсов) строго сохраняется с течением времени. Это означает, что эволюция физической системы во времени является сложным непрерывным унимодулярным преобразованием ее фазового пространства.

Целочисленные решетки и теорема Пика

Унимодулярные преобразования играют революционную роль в аналитической геометрии целых чисел (геометрии чисел Минковского). Рассмотрим бесконечную решетку точек на плоскости с целочисленными координатами. Унимодулярная матрица с целыми коэффициентами (группа SL(n, Z)) переводит любую узловую точку решетки строго в другую узловую точку, не создавая «дробных» координат и не оставляя пустот. Это свойство является базой для доказательства знаменитой теоремы Пика, которая позволяет точно вычислить площадь любого многоугольника с вершинами в узлах решетки простым подсчетом количества точек внутри и на границе многоугольника. В современной криптографии на решетках (Lattice-based cryptography) целочисленные унимодулярные матрицы используются для маскировки секретных базисов, выступая самым надежным щитом против атак квантовых компьютеров.