Математика / Прямые, плоскости

Обратное аффинное преобразование

Обратное аффинное преобразование восстанавливает исходную точку из образа, если матрица линейной части A невырождена и обратима.

Опубликовано: Обновлено:

Формула

$$\mathbf{x}=A^{-1}(\mathbf{x}'-\mathbf{b}),\quad \det A\ne0$$
inverse-affine-map Визуальное пояснение

Обратный ход отменяет сдвиг, а затем отменяет линейную часть через обратную матрицу.

Обратное аффинное преобразование выполняется в обратном порядке.

Обозначения

$\mathbf{x}'$
известный образ точки, единицы длины
$A^{-1}$
обратная матрица линейной части, зависит от A
$\mathbf{b}$
вектор сдвига прямого преобразования, единицы длины

Условия применения

  • Матрица A квадратная и невырожденная.
  • Вектор b известен и задан в координатах образа.
  • Размерности всех векторов согласованы.

Ограничения

  • Если det A=0, обратного преобразования для всех точек не существует.
  • Сначала нужно вычесть b, а только потом применять A^{-1}.
  • Численное обращение плохо обусловленной матрицы может давать большие ошибки.

Подробное объяснение

Обратная формула получается из x'=Ax+b. Сначала переносим b влево: x'-b=Ax. Затем применяем обратную матрицу к обеим частям. Существование A^{-1} означает, что линейная часть не схлопывает пространство и каждая точка образа имеет единственный прообраз. Координатные и аффинные преобразования нужны для того, чтобы описывать один и тот же геометрический объект в удобной системе отсчета. Перенос меняет начало координат, поворот меняет направление осей, масштабирование меняет единицы вдоль осей, а аффинное преобразование объединяет линейную часть и сдвиг. В аналитической геометрии это не декоративный прием: правильно выбранное преобразование упрощает уравнение прямой, плоскости, коники или поверхности второго порядка и позволяет увидеть, какие свойства сохраняются. Поэтому каждую формулу нужно сопровождать проверкой: что именно сохраняется, что меняется и можно ли вернуться обратно. Для этой страницы главная проверка такая: после восстановления исходной точки прямое преобразование должно снова дать исходный образ x'. Если проверка не проходит, значит перепутан знак, порядок матричного умножения или смысл преобразования.

Как пользоваться формулой

  1. Проверьте det A≠0.
  2. Вычтите вектор b из известного образа x'.
  3. Умножьте результат на A^{-1}.
  4. Проверьте ответ прямой подстановкой в x'=Ax+b.

Историческая справка

Обратимость преобразований стала одной из центральных идей матричного языка: геометрическая операция полезна настолько, насколько ясно, что она сохраняет и можно ли ее отменить. Исторически эти формулы продолжают линию координатного метода, связанную с Рене Декартом и Пьером Ферма: геометрические задачи переводятся на язык чисел и уравнений. Позже, с развитием линейной алгебры, стало ясно, что переносы, повороты, масштабирования и более общие аффинные преобразования удобно записывать через матрицы и векторы. Барицентрические координаты связаны с классической геометрией масс и центров тяжести, а инварианты расстояний и углов стали важной частью строгого описания евклидовой геометрии. Современная учебная форма этих записей является итогом общей традиции, а не результатом одного изолированного открытия.

Историческая линия формулы

У формулы нет единственного автора в современном учебном смысле. Корректнее связывать ее с развитием координатного метода у Декарта и Ферма, а матричную запись - с более поздней традицией линейной алгебры и аналитической геометрии.

Пример

Пусть x'=2x+(1,1) в двумерной записи с A=2I. Если образ точки равен (7,5), сначала вычитаем b: (6,4), затем умножаем на A^{-1}=1/2 I. Получаем исходную точку (3,2). Если бы сначала поделить (7,5) на 2 и только потом вычесть b, ответ был бы неверным. После вычисления полезно выполнить обратный ход или проверить инвариант. Например, после переноса можно вернуться к старым координатам, после поворота проверить длину вектора, а после барицентрического разложения убедиться, что сумма коэффициентов равна единице. Такая проверка особенно важна, потому что ошибки знака в преобразованиях часто дают внешне правдоподобный ответ.

Частая ошибка

Главная ошибка - менять порядок обратных действий. Прямое преобразование сначала умножает на A, потом прибавляет b; обратное сначала вычитает b, потом умножает на A^{-1}. Также нельзя использовать формулу при вырожденной матрице. Еще одна частая ошибка - смешивать преобразование точки и преобразование системы координат. При активном преобразовании точка реально перемещается, а при смене координат меняется способ описания той же точки. Формулы похожи, но знаки угла или сдвига могут отличаться. Перед решением нужно явно зафиксировать, какой смысл используется в задаче.

Практика

Задачи с решением

Восстановить точку

Условие. A=diag(2,3), b=(1,-1), x'=(5,8). Найдите x.

Решение. x'-b=(4,9). Делим координаты на 2 и 3: x=(2,3).

Ответ. (2,3)

Проверить обратимость

Условие. Существует ли обратное преобразование при A=[[1,2],[2,4]]?

Решение. det A=1·4-2·2=0. Матрица вырождена, обратного преобразования нет.

Ответ. Нет

Дополнительные источники

  • MIT OpenCourseWare. Linear Algebra and Multivariable Calculus, coordinate transformations.
  • OpenStax. Calculus Volume 3, Vectors and the Geometry of Space.

Связанные формулы

Математика

Аффинное преобразование точки

$\mathbf{x}'=A\mathbf{x}+\mathbf{b}$

Аффинное преобразование точки состоит из линейного преобразования A и последующего сдвига b, сохраняя прямые и отношения точек на одной прямой.

Математика

Масштабирование координат

$x'=k_xx,\quad y'=k_yy,\quad z'=k_zz$

Масштабирование координат умножает каждую координату на свой коэффициент и растягивает или сжимает объект вдоль выбранных осей.

Математика

Перенос начала координат в пространстве

$x'=x-a,\quad y'=y-b,\quad z'=z-c$

Перенос начала координат в пространстве заменяет старые координаты точки на новые относительно начала O'(a,b,c), не меняя саму геометрию.

Математика

Критерий вырожденной коники через определитель

$\Delta = \left|\begin{matrix} A & \frac{B}{2} & \frac{D}{2} \\ \frac{B}{2} & C & \frac{E}{2} \\ \frac{D}{2} & \frac{E}{2} & F \end{matrix}\right| = 0$

Если детерминант квадратичной формы с линейными и свободным членом равен нулю, возможна вырождённая коника (две прямые, точка, пустое множество).