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

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

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

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

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

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

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

Обобщением . аффинного преобразования является аффинное отображение [1] (или аффинный гомоморфизм или аффинное отображение ) между двумя (потенциально разными) аффинными пространствами над одним и тем же полем k . Пусть ( X , V , k ) и ( Z , W , k ) — два аффинных пространства, где X и Z — множества точек, а V и W — соответствующие ассоциированные векторные пространства над полем k . Отображение f : X Z является аффинным отображением, если существует линейное отображение m f : V W такое, что m f ( x y ) = f ( x ) − f ( y ) для всех x, y в X . [2]

Определение [ править ]

Пусть X — аффинное пространство над полем k , а V — ассоциированное с ним векторное пространство. Аффинное преобразование — это биекция f из X на себя, которая является аффинным отображением ; это означает, что линейное отображение g из V в V корректно определяется уравнением здесь, как обычно, вычитание двух точек обозначает свободный вектор от второй точки к первой, а « корректно определенный » означает, что подразумевает, что

Если размерность X не менее двух, полуаффинное преобразование f X , является биекцией X на себя удовлетворяющей: [3]

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

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

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

Структура [ править ]

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

  • и

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

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

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

Пусть σ — любое аффинное преобразование X . Выберите точку c в X и рассмотрите перевод X вектором , обозначенный T w . Трансляции — это аффинные преобразования, а композиция аффинных преобразований — это аффинное преобразование. Для этого выбора c существует единственное линейное преобразование λ группы V такое, что [8]

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

Такое представление аффинных преобразований часто принимают за определение аффинного преобразования (с неявным выбором начала координат). [9] [10] [11]

Представительство [ править ]

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

Дополненная матрица [ править ]

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

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

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

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

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

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

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

Пример расширенной матрицы [ править ]

Предположим, у вас есть три точки, которые определяют невырожденный треугольник на плоскости, или четыре точки, которые определяют невырожденный тетраэдр в трехмерном пространстве, или вообще n + 1 точек x 1 , ..., x n +1 , которые определяют невырожденный симплекс в n -мерном пространстве. Предположим, у вас есть соответствующие точки назначения y 1 , ..., y n +1 , причем эти новые точки могут находиться в пространстве с любым количеством измерений. (Более того, новые точки не обязательно должны отличаться друг от друга и не обязательно должны образовывать невырожденный симплекс.) Уникальная расширенная матрица M , которая обеспечивает аффинное преобразование

является

Свойства [ править ]

Свойства сохранены [ править ]

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

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

Группы [ править ]

Поскольку аффинное преобразование обратимо , квадратная матрица появляющееся в своем матричном обратимо . представлении Таким образом, матричное представление обратного преобразования имеет вид

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

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

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

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

Аффинные карты [ править ]

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

или

.

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

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

.

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

,

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

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

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

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

,

у нас есть [14]

.

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

История [ править ]

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

Трансформация изображения [ править ]

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

Имя преобразования Аффинная матрица Пример
Идентичность (преобразование в исходное изображение)
Перевод
Отражение
Шкала
Поворот
где θ = π / 6 =30°
сдвиг

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

Аффинное деформирование [ править ]

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

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

В самолете [ править ]

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

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

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

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

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

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

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

Примеры [ править ]

Над реальными цифрами [ править ]

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

В плоской геометрии [ править ]

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

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

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

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

См. также [ править ]

Примечания [ править ]

  1. ^ Бергер 1987 , с. 38.
  2. ^ Сэмюэл 1988 , с. 11.
  3. ^ Снаппер и Тройер 1989 , с. 65.
  4. ^ Снаппер и Тройер 1989 , с. 66.
  5. ^ Снаппер и Тройер 1989 , с. 69.
  6. ^ Снаппер и Тройер 1989 , с. 59.
  7. ^ Снаппер и Тройер 1989 , с. 76,87.
  8. ^ Снаппер и Тройер 1989 , с. 86.
  9. ^ Один 1993 , стр. 107-1. 19–20.
  10. ^ Перейти обратно: а б Кляйн 1948 , с. 70.
  11. ^ Браннан, Эсплен и Грей 1999 , с. 53.
  12. ^ Рейнхард Шульц. «Аффинные преобразования и выпуклость» (PDF) . Проверено 27 февраля 2017 г. .
  13. ^ Освальд Веблен (1918) Проективная геометрия , том 2, стр. 105–7.
  14. ^ Шнайдер, Филип К.; Эберли, Дэвид Х. (2003). Геометрические инструменты для компьютерной графики . Морган Кауфманн. п. 98. ИСБН  978-1-55860-594-7 .
  15. ^ Эйлер, Леонард (1748). Введение в анализ бесконечно малых (на латыни). Том. II. Книга II, разд. 18, ст. 442
  16. ^ Гонсалес, Рафаэль (2008). «Цифровая обработка изображений, 3-е место» . Пирсон Холл. ISBN  9780131687288 .

Ссылки [ править ]

Внешние ссылки [ править ]