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

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

Определение и формальное описание

Аффинное преобразование в евклидовом пространстве \(\mathbb{R}^n\) задаётся формулой:

\[ \mathbf{x}' = A \mathbf{x} + \mathbf{b}, \]

где:

• \(\mathbf{x}\) — исходный вектор координат точки,
• \(\mathbf{x}'\) — вектор координат преобразованной точки,
• \(A\) — невырожденная квадратная матрица размера \(n \times n\) (линейная часть преобразования),
• \(\mathbf{b}\) — вектор параллельного переноса (трансляции).

Матрица \(A\) должна быть обратимой (det \(A \neq 0\)), чтобы преобразование было взаимно однозначным. Если det \(A = 0\), преобразование вырождается, и пространство «схлопывается» в подпространство меньшей размерности.

В координатной форме для двумерного случая (\(n = 2\)) преобразование записывается как:

\[ \begin{cases} x' = a_{11}x + a_{12}y + b_1, \\ y' = a_{21}x + a_{22}y + b_2, \end{cases} \]

где \(a_{ij}\) — элементы матрицы \(A\), а \(b_1, b_2\) — компоненты вектора переноса.

Свойства аффинных преобразований

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

Сохранение коллинеарности и параллельности

• Прямые линии переходят в прямые линии.
• Параллельные прямые остаются параллельными (в отличие от проективных преобразований, где параллельность может нарушаться).
• Отрезки переходят в отрезки, лучи — в лучи.

Сохранение отношений

• Отношение, в котором точка делит отрезок, остаётся неизменным. Если точка \(C\) делит отрезок \(AB\) в отношении \(AC:CB = \lambda\), то после преобразования её образ \(C'\) делит отрезок \(A'B'\) в том же отношении \(\lambda\).
• Площади фигур изменяются пропорционально модулю определителя матрицы \(A\): площадь образа равна \(| \det A |\) умноженной на площадь прообраза. Для трёхмерного случая аналогично изменяются объёмы.

Композиция и обратимость

• Композиция двух аффинных преобразований снова является аффинным преобразованием.
• Обратное преобразование к аффинному также является аффинным и задаётся формулой \(\mathbf{x} = A^{-1}(\mathbf{x}' - \mathbf{b})\).
• Множество всех аффинных преобразований пространства \(\mathbb{R}^n\) образует группу, называемую аффинной группой (обозначается \(\operatorname{Aff}(n)\)).

Классификация и частные случаи

Аффинные преобразования включают в себя несколько более узких классов, различающихся свойствами матрицы \(A\).

Движения (изометрии)

Если матрица \(A\) является ортогональной (\(A^T A = I\), где \(I\) — единичная матрица), то преобразование сохраняет расстояния между точками. Такие преобразования называются движениями или изометриями. К ним относятся:

• Параллельный перенос (\(A = I\)).
• Поворот вокруг точки или оси.
• Отражение (зеркальная симметрия) относительно прямой или плоскости.
• Скользящая симметрия (композиция отражения и переноса вдоль оси отражения).

Преобразования подобия

Если матрица \(A\) имеет вид \(A = kR\), где \(k > 0\) — коэффициент масштабирования, а \(R\) — ортогональная матрица, то преобразование сохраняет форму фигур, но изменяет их размер. Углы между прямыми остаются неизменными. Примеры: гомотетия (равномерное растяжение или сжатие относительно центра), поворот с масштабированием.

Сдвиг (скос)

Сдвиг — это преобразование, при котором одна координата изменяется пропорционально другой. В двумерном случае матрица сдвига по оси \(x\) имеет вид: \[ A = \begin{pmatrix} 1 & k \\ 0 & 1 \end{pmatrix}, \] где \(k\) — коэффициент сдвига. При таком преобразовании прямоугольник превращается в параллелограмм, а круг — в эллипс. Площадь фигуры не изменяется, так как \(\det A = 1\).

Масштабирование (растяжение/сжатие)

Масштабирование вдоль координатных осей задаётся диагональной матрицей: \[ A = \begin{pmatrix} s_x & 0 \\ 0 & s_y \end{pmatrix}, \] где \(s_x\) и \(s_y\) — коэффициенты масштабирования по соответствующим осям. Если \(s_x \neq s_y\), преобразование не сохраняет углы и форму фигур.

Аффинные преобразования в компьютерной графике

В компьютерной графике и обработке изображений аффинные преобразования используются для трансформации двумерных и трёхмерных объектов. Для удобства вычислений применяется однородная система координат, в которой точка \((x, y)\) представляется тройкой \((x, y, 1)\), а преобразование — матрицей размера \(3 \times 3\):

\[ \begin{pmatrix} x' \\ y' \\ 1 \end{pmatrix} = \begin{pmatrix} a_{11} & a_{12} & b_1 \\ a_{21} & a_{22} & b_2 \\ 0 & 0 & 1 \end{pmatrix} \begin{pmatrix} x \\ y \\ 1 \end{pmatrix}. \]

Такой подход позволяет единообразно описывать все аффинные преобразования (включая перенос) с помощью умножения матриц. Композиция нескольких преобразований сводится к перемножению соответствующих матриц.

Основные типы преобразований в однородных координатах

• Перенос на вектор \((t_x, t_y)\):

\[ T = \begin{pmatrix} 1 & 0 & t_x \\ 0 & 1 & t_y \\ 0 & 0 & 1 \end{pmatrix}. \]

• Поворот на угол \(\theta\) вокруг начала координат:

\[ R = \begin{pmatrix} \cos\theta & -\sin\theta & 0 \\ \sin\theta & \cos\theta & 0 \\ 0 & 0 & 1 \end{pmatrix}. \]

• Масштабирование с коэффициентами \(s_x, s_y\):

\[ S = \begin{pmatrix} s_x & 0 & 0 \\ 0 & s_y & 0 \\ 0 & 0 & 1 \end{pmatrix}. \]

• Сдвиг по оси \(x\):

\[ H_x = \begin{pmatrix} 1 & k & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{pmatrix}. \]

Аффинные преобразования широко применяются в системах компьютерного зрения для коррекции перспективных искажений, совмещения изображений, а также в векторной графике для масштабирования, поворота и перемещения объектов.

Применение в науке и технике

Геодезия и картография

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

Физика и механика

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

Кристаллография

В кристаллографии аффинные преобразования применяются для описания симметрии кристаллических решёток. Решётка Браве может быть преобразована аффинным отображением в другую решётку, что позволяет классифицировать кристаллы по типам сингоний.

Обработка изображений

В задачах распознавания образов и компьютерного зрения аффинные преобразования используются для нормализации изображений: поворота, масштабирования, устранения наклона текста. Алгоритмы, инвариантные к аффинным преобразованиям (например, SIFT), позволяют находить соответствия между изображениями, снятыми под разными углами.

Аффинные преобразования в геометрии

В евклидовой геометрии аффинные преобразования сохраняют не все метрические свойства, но сохраняют отношение площадей и параллельность. Это позволяет изучать свойства фигур, не зависящие от конкретных размеров и углов. Например, эллипс является аффинным образом окружности, а параллелограмм — образом прямоугольника. Теорема о том, что медианы треугольника пересекаются в одной точке, инвариантна относительно аффинных преобразований.

Связь с проективными преобразованиями

Аффинные преобразования являются подгруппой проективных преобразований. В проективной геометрии аффинные преобразования можно рассматривать как проективные преобразования, сохраняющие бесконечно удалённую гиперплоскость. Это означает, что параллельные прямые остаются параллельными, в отличие от общих проективных преобразований, которые могут переводить параллельные прямые в пересекающиеся.

Источники

1. Александров П. С. Лекции по аналитической геометрии. — М.: Наука, 1968.
2. Арнольд В. И. Геометрические методы в теории обыкновенных дифференциальных уравнений. — М.: МЦНМО, 2000.
3. Беклемишев Д. В. Курс аналитической геометрии и линейной алгебры. — М.: Физматлит, 2005.
4. Роджерс Д., Адамс Дж. Математические основы машинной графики. — М.: Мир, 2001.
5. Шапиро Л., Стокман Дж. Компьютерное зрение. — М.: Бином. Лаборатория знаний, 2006.