Матрица поворота в линейной алгебре¶
Матрица поворота — это ортогональная матрица, задающая линейное преобразование, которое вращает векторы вокруг начала координат на определённый угол. В евклидовом пространстве такая матрица сохраняет расстояния и ориентацию, а её определитель равен единице. Матрицы поворота широко применяются в аналитической геометрии, робототехнике, компьютерной графике, навигации и механике твёрдого тела.
¶Общее определение
Пусть в n-мерном евклидовом пространстве задан ортонормированный базис. Линейный оператор называется поворотом, если он сохраняет скалярное произведение векторов и их ориентацию. Матрица R такого оператора удовлетворяет условиям:
- RᵀR = RRᵀ = I (ортогональность);
- det R = +1.
Из ортогональности следует, что столбцы (и строки) матрицы образуют ортонормированный базис: их длины равны единице, а попарные скалярные произведения — нулю. Обратная матрица поворота совпадает с транспонированной: R⁻¹ = Rᵀ. Множество всех таких матриц размера n×n образует специальную ортогональную группу SO(n).
¶Двумерный случай
В плоскости поворот на угол φ против часовой стрелки описывается матрицей:
| cos φ | −sin φ |
|---|---|
| sin φ | cos φ |
Умножение этой матрицы на вектор-столбец (x, y) даёт новые координаты:
x′ = x·cos φ − y·sin φ, y′ = x·sin φ + y·cos φ.
Это частный случай SO(2). Группа SO(2) коммутативна: результат двух поворотов не зависит от их порядка, а композиция поворотов на углы φ и ψ есть поворот на φ + ψ.
¶Трёхмерный случай
В трёхмерном пространстве поворот задаётся осью и углом. Матрица поворота вокруг координатных осей имеет вид:
- вокруг оси X на угол α: единица в позиции (1,1), блок 2×2 из косинусов и синусов в остальных строках и столбцах;
- вокруг оси Y на угол β: аналогично, с блоком, затрагивающим оси X и Z;
- вокруг оси Z на угол γ: блок, затрагивающий оси X и Y.
Произвольный поворот в SO(3) можно разложить в композицию трёх элементарных поворотов — так получаются углы Эйлера. Порядок применения осей важен, поскольку умножение матриц некоммутативно: R₁R₂ ≠ R₂R₁ в общем случае. Группа SO(3) некоммутативна.
¶Свойства
Ключевые свойства матриц поворота:
- Сохранение длин и углов. Для любого вектора v выполняется |Rv| = |v|, а угол между векторами не меняется.
- Собственные значения. В двумерном случае собственные значения равны e^(±iφ); в трёхмерном — одно собственное значение равно 1 (ему соответствует ось вращения), два других комплексно сопряжены.
- След матрицы. В трёхмерном случае след связан с углом поворота: tr R = 1 + 2cos φ.
- Композиция. Произведение двух матриц поворота снова является матрицей поворота; множество замкнуто относительно умножения.
- Обратный поворот. Соответствует транспонированной матрице и повороту на противоположный угол.
¶Способы задания в трёхмерном пространстве
Помимо матрицы 3×3, поворот можно описать другими способами:
- Углы Эйлера — три последовательных поворота вокруг координатных осей.
- Кватернионы — четвёрка чисел, удобная для интерполяции и вычислений без вырождений.
- Ось — угол — вектор оси и скалярный угол (формула Родрига).
- Экспонента от кососимметричной матрицы — связь с алгеброй Ли so(3).
Переход между этими представлениями используется в задачах ориентации.
¶Применение
Матрицы поворота применяются в:
- компьютерной графике и анимации — для ориентации объектов и камер;
- робототехнике — для описания кинематики манипуляторов;
- навигации и авиации — для пересчёта систем координат;
- физике — при описании вращательного движения твёрдого тела, момента инерции;
- кристаллографии — для анализа симметрии решёток.
В инженерной практике в России матрицы поворота используются в системах управления подвижными объектами, в задачах космической баллистики и в программном обеспечении систем автоматизированного проектирования.
¶Вычислительные аспекты
При численных расчётах важно учитывать накопление ошибок округления: многократное перемножение матриц может нарушить ортогональность. Для восстановления ортогональности применяют QR-разложение или метод Грама — Шмидта. Для интерполяции ориентаций предпочтительнее кватернионы, поскольку они лишены эффекта «карданного замка», свойственного углам Эйлера.
¶Связь с другими преобразованиями
Матрица поворота — частный случай ортогональной матрицы. Если допустить det R = −1, получаются несобственные ортогональные преобразования, включающие отражения. Повороты вместе с параллельным переносом образуют группу движений (жёстких преобразований), которая описывается однородными координатами и матрицами 4×4 в трёхмерной графике.
¶Пример
Поворот вектора (1, 0) на 90° против часовой стрелки в плоскости даёт вектор (0, 1). Проверка: при φ = 90° матрица принимает вид с нулями и единицами, и умножение подтверждает результат. Этот простейший пример иллюстрирует геометрический смысл преобразования.
Источники: учебники по линейной алгебре, аналитической геометрии, классической механике; справочные материалы по компьютерной графике и робототехнике.