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

Изображение фрактала в виде папоротника ( папоротник Барнсли ), демонстрирующего аффинное самоподобие . Каждый из листьев папоротника связан друг с другом аффинным преобразованием. Например, красный лист может быть преобразован как в темно-синий лист, так и в любой из светло-голубых листьев путем сочетания отражения, вращения, масштабирования и перемещения.

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

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

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

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

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

Обобщение аффинного преобразования является аффинным отображение (или аффинной гомоморфизм или аффинным отображения ) между двумя (потенциально) различными аффинными пространствами над тем же полем к . Пусть ( X , V , k ) и ( Z , W , k ) - два аффинных пространства с X и Z - точечными множествами, а V и W - соответствующими ассоциированными векторными пространствами над полем k . Отображение F : XZ является аффинным отображением , если существует линейное отображение т ф  : VW такой , что м е ( х - у ) = е ( х ) - ф ( у ) для всех х, у в X .

Определение

Пусть ( X , V , k ) будет аффинным пространством размерности не менее двух, где X - множество точек, а V - ассоциированное векторное пространство над полем k . Semiaffine преобразования F из X представляет собой взаимно однозначное соответствие из X на себя , удовлетворяющие:

  1. Если S является д - мерное аффинное подпространство из X , F ( S ) является также д - мерное аффинное подпространство в X .
  2. Если S и T - параллельные аффинные подпространства в X , то f ( S ) || f ( T ) .

Эти два условия выражают то, что именно подразумевается под выражением « f сохраняет параллелизм».

Эти условия не являются независимыми, поскольку второе следует из первого. Кроме того, если поле k имеет по крайней мере три элемента, первое условие можно упростить до следующего: f - коллинеация , то есть оно отображает строки в строки.

Если размерность аффинного пространства ( X , V , k ) не меньше двух, то аффинное преобразование - это полуаффинное преобразование f , удовлетворяющее условию: если xy и pq - точки X такие, что отрезки прямой xy и pq параллельны, тогда

Аффинные линии

Если размерность аффинного пространства один, то есть, пространство аффинная линия, то любая перестановка из X будет автоматически удовлетворять условия быть semiaffine преобразования. Итак, аффинное преобразование аффинной прямой определяется как любая перестановка f точек X такая, что если xy и pq являются точками X , то

Состав

По определению аффинного пространства, V действует на X , так что, для каждой пары ( х , v ) в X × V сопоставляется точка у в X . Мы можем обозначить это действие через v ( x ) = y . Здесь мы используем соглашение , что v = v две взаимозаменяемые для обозначения элемента V . Зафиксировав точку c в X, можно определить функцию m c  : XV как m c ( x ) = cx . Для любого c эта функция взаимно однозначна, а значит, имеет обратную функцию m c −1  : VX, заданную как m c −1 ( v ) = v ( c ) . Эти функции могут использоваться для преобразования X в векторное пространство (относительно точки c ), определяя:

  • а также

Это векторное пространство имеет начало координат c и формально должно отличаться от аффинного пространства X , но обычная практика состоит в том, чтобы обозначать его тем же символом и упоминать, что это векторное пространство после указания начала координат. Эта идентификация позволяет рассматривать точки как векторы и наоборот.

Для любого линейного преобразования Х из V , мы можем определить функцию L ( с , Л ): ХХ по

Тогда L ( c , λ ) - аффинное преобразование X, оставляющее точку c неподвижной. Это линейное преобразование X , рассматриваемого как векторное пространство с началом координат c .

Пусть сг быть любое аффинное преобразование X . Выберите точку c в X и рассмотрите перенос X вектором , обозначенным T w . Переводы - это аффинные преобразования, а композиция аффинных преобразований - это аффинные преобразования. При таком выборе C , существует единственное линейное преобразование Л из V такой , что

То есть, произвольное аффинное преобразование X есть композиция линейного преобразования X ( если смотреть как векторное пространство) и перевод X .

Это представление аффинных преобразований часто используется как определение аффинных преобразований (с неявным выбором источника).

Представление

Как показано выше, аффинная карта - это композиция двух функций: перевода и линейной карты. В обычной векторной алгебре используется умножение матриц для представления линейных карт и сложение векторов для представления переводов. Формально, в конечномерном случае, если линейная карта представлена ​​как умножение на обратимую матрицу и перевод как добавление вектора , аффинная карта, действующая на вектор, может быть представлена ​​как

Расширенная матрица

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

Используя расширенную матрицу и расширенный вектор, можно представить как перевод, так и линейную карту, используя единичное матричное умножение . Этот метод требует, чтобы все векторы были дополнены цифрой "1" в конце, а все матрицы были дополнены дополнительной строкой нулей внизу, дополнительным столбцом - вектором перевода - справа и "1" в нижний правый угол. Если - матрица,

эквивалентно следующему

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

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

Обычное умножение матрицы на вектор всегда сопоставляет начало координат с началом координат и, следовательно, никогда не может представлять перевод, при котором начало координат обязательно должно быть сопоставлено с какой-либо другой точкой. Добавляя дополнительную координату «1» к каждому вектору, можно по существу рассматривать пространство, которое нужно отобразить, как подмножество пространства с дополнительным измерением. В этом пространстве исходное пространство занимает подмножество, в котором дополнительная координата равна 1. Таким образом, начало исходного пространства можно найти в . Тогда возможен перенос в исходное пространство посредством линейного преобразования многомерного пространства (в частности, преобразование сдвига). Координаты в многомерном пространстве являются примером однородных координат . Если исходное пространство евклидово , пространство более высокой размерности является реальным проективным пространством .

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

Пример дополненной матрицы

Если векторы являются базисом проективного векторного пространства области и если соответствующие векторы в векторном пространстве кодобласти, то расширенная матрица, которая достигает этого аффинного преобразования

является

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

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

Характеристики

Свойства сохранены

Аффинное преобразование сохраняет:

  1. коллинеарность между точками: три или более точек, которые лежат на одной линии (называемые коллинеарными точками), продолжают оставаться коллинеарными после преобразования.
  2. параллелизм : две или более прямых, которые параллельны, продолжают оставаться параллельными после преобразования.
  3. выпуклость множеств: выпуклое множество продолжает оставаться выпуклым после преобразования. Более того, крайние точки исходного набора отображаются в крайние точки преобразованного набора.
  4. отношения длин параллельных отрезков: для различных параллельных отрезков, определяемых точками и , и , отношение и такое же, как и у и .
  5. барицентры взвешенных наборов точек.

Группы

Аффинное преобразование обратимо , следовательно , обратимо. В матричном представлении обратное:

Обратимые аффинные преобразования (аффинного пространства на себя) образуют аффинную группу , которая имеет общую линейную группу степени как подгруппу и сама является подгруппой общей линейной группы степени .

Преобразования подобия образуют подгруппу где - скаляр, умноженный на ортогональную матрицу . Например, если аффинное преобразование действует на плоскости , и если определитель из 1 или -1 , то преобразование является equiareal отображение . Такие преобразования образуют подгруппу, называемую эквиаффинной группой . Преобразование, которое одновременно является равноаффинным и является преобразованием подобия, является изометрией плоскости, взятой с евклидовым расстоянием .

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

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

Аффинные карты

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

или же

.

Мы можем интерпретировать это определение несколькими другими способами, а именно.

Если исходная точка выбрана и обозначает ее изображение , то это означает, что для любого вектора :

.

Если также выбрано происхождение , это можно разложить как аффинное преобразование, которое отправляет , а именно

,

с последующим переводом вектора .

Вывод таков, что интуитивно состоит из перевода и линейной карты.

Альтернативное определение

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

,

у нас есть

.

Другими словами, сохраняет барицентры .

История

Слово «аффинный» как математический термин определяется в связи с касательными к кривым во введении Эйлера 1748 г. в анализ бесконечности . Феликс Клейн приписывает термин «аффинное преобразование» Мёбиусу и Гауссу .

Преобразование изображения

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

Название трансформации Аффинная матрица Пример
Идентичность (преобразовать в исходное изображение) Шахматная доска identity.svg
Перевод Шахматная доска identity.svg
Отражение Шахматная доска Reflection.svg
Шкала Шахматная доска scale.svg
Повернуть Шахматная доска rotate.svg
где θ = π/6 = 30 °
Сдвиг Шахматная доска shear.svg

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

Аффинная деформация

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

Белый на черном круге изображение 256 на 256.png Affine transform sheared circle.png

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

В самолете

Центральное расширение. Треугольники A1B1Z, A1C1Z и B1C1Z отображаются на A2B2Z, A2C2Z и B2C2Z соответственно.

Аффинные преобразования в двух реальных измерениях включают:

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

Чтобы визуализировать общее аффинное преобразование евклидовой плоскости , возьмем помеченные параллелограммы ABCD и A′B′C′D ′ . Каким бы ни был выбор точек, существует аффинное преобразование T плоскости, переводящее A в A ′ , и каждая вершина аналогична. Предположим , мы исключаем вырожденный случай , когда ABCD имеет нулевую площадь , существует единственный такой аффинное преобразование Т . Вычерчивая целую сетку параллелограммов на основе ABCD , изображение T ( P ) любой точки P определяется с учетом того, что T ( A ) = A ′ , T, примененный к отрезку AB, равен A′B ′ , T применяется к отрезок АС является А'СОМ ' и Т уважает скалярные кратные векторы , основанных на A . [Если A , E , F коллинеарны, то отношение длины ( AF ) к длине ( AE ) равно длине ( AF ′) / длине ( AE ′).] Геометрически T преобразует сетку на основе ABCD в который основан на A′B′C′D ′ .

Аффинные преобразования не принимают во внимание длины или углы; они умножают площадь на постоянный коэффициент

площадь A′B′C′D ′ / площадь ABCD .

Данный T может быть прямым (относительная ориентация) или косвенным (обратная ориентация), и это может определяться его влиянием на знаковые области (как определено, например, перекрестным произведением векторов).

Примеры

По реальным числам

Функции с и in являются в точности аффинными преобразованиями вещественной прямой .

Над конечным полем

Следующее уравнение выражает аффинное преобразование GF (2 8 ), рассматриваемого как 8-мерное векторное пространство над GF (2), которое используется в криптоалгоритме Rijndael (AES) :

где - матрица ниже, - фиксированный вектор и, в частности,
а также

Например, аффинное преобразование элемента в двоичной системе с прямым порядком байтов вычисляется следующим образом:

Таким образом, .

В плоской геометрии

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

В преобразование, показанное слева, выполняется с использованием карты, представленной следующим образом:

Преобразование трех угловых точек исходного треугольника (красного цвета) дает три новые точки, которые образуют новый треугольник (синего цвета). Это преобразование наклоняет и переводит исходный треугольник.

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

Смотрите также

Заметки

Рекомендации

Внешние ссылки