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

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

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

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

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

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

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

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

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

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

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

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

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

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

${\ displaystyle {\ frac {\ | {\ overline {pq}} \ |} {\ | {\ overline {xy}} \ |}} = {\ frac {\ | {\ overline {f (p) f ( q)}} \ |} {\ | {\ overline {f (x) f (y)}} \ |}}.}$

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

Если размерность аффинного пространства один, то есть, пространство аффинная линия, то любая перестановка из X будет автоматически удовлетворять условия быть semiaffine преобразования. Итак, аффинное преобразование аффинной прямой определяется как любая перестановка f точек X такая, что если x ≠ y и p ≠ q являются точками X , то ^[7]

${\ displaystyle {\ frac {\ | {\ overline {pq}} \ |} {\ | {\ overline {xy}} \ |}} = {\ frac {\ | {\ overline {f (p) f ( q)}} \ |} {\ | {\ overline {f (x) f (y)}} \ |}}.}$

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

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

• ${\ displaystyle x + y = m_ {c} ^ {- 1} \ left (m_ {c} (x) + m_ {c} (y) \ right), {\ text {для всех}} x, y { \ text {in}} X,}$ и
• ${\ displaystyle rx = m_ {c} ^ {- 1} \ left (rm_ {c} (x) \ right), {\ text {для всех}} r {\ text {in}} k {\ text {и }} x {\ text {in}} X.}$

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

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

${\ Displaystyle L (c, \ lambda) (x) = m_ {c} ^ {- 1} \ left (\ lambda (m_ {c} (x)) \ right) = c + \ lambda ({\ vec {cx }}).}$

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

Пусть сг быть любое аффинное преобразование X . Выберите точку c в X и рассмотрите перенос X вектором , обозначенным T _w . Переводы - это аффинные преобразования, а композиция аффинных преобразований - это аффинные преобразования. При таком выборе C , существует единственное линейное преобразование Л из V таким образом, что ^[10]${\ displaystyle {\ mathbf {w}} = {\ overrightarrow {c \ sigma (c)}}}$

${\displaystyle \sigma (x)=T_{\mathbf {w}}\left(L(c,\lambda )(x)\right).}$

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

Это представление аффинных преобразований часто используется как определение аффинных преобразований (с неявным выбором источника). ^{[11] [12] [13]}

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

Как показано выше, аффинная карта - это композиция двух функций: перевода и линейной карты. В обычной векторной алгебре используется умножение матриц для представления линейных карт и сложение векторов для представления переводов. Формально, в конечномерном случае, если линейная карта представлена ​​как умножение на обратимую матрицу и перенос как добавление вектора , аффинная карта, действующая на вектор, может быть представлена ​​как${\displaystyle A}$${\displaystyle {\vec {b}}}$${\displaystyle f}$${\displaystyle {\vec {x}}}$

${\displaystyle {\vec {y}}=f({\vec {x}})=A{\vec {x}}+{\vec {b}}.}$

Расширенная матрица [ править ]

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

${\displaystyle {\begin{bmatrix}{\vec {y}}\\1\end{bmatrix}}=\left[{\begin{array}{ccc|c}&A&&{\vec {b}}\\0&\cdots &0&1\end{array}}\right]{\begin{bmatrix}{\vec {x}}\\1\end{bmatrix}}}$

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

${\displaystyle {\vec {y}}=A{\vec {x}}+{\vec {b}}.}$

Вышеупомянутая расширенная матрица называется матрицей аффинного преобразования . В общем случае, когда последняя строка вектора не ограничена , матрица становится матрицей проективного преобразования (поскольку ее также можно использовать для выполнения проективных преобразований ).${\displaystyle \left[{\begin{array}{ccc|c}0&\cdots &0&1\end{array}}\right]}$

Это представление демонстрирует множество всех обратимых аффинных преобразований как полупрямое произведение из и . Это группа при операции композиции функций, называемая аффинной группой .${\displaystyle K^{n}}$${\displaystyle GL(n,K)}$

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

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

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

Если векторы являются базисом проективного векторного пространства области и если соответствующие векторы в векторном пространстве кодобласти, то расширенная матрица, которая достигает этого аффинного преобразования${\displaystyle {\vec {x}}_{1},\dotsc ,{\vec {x}}_{n+1}}$${\displaystyle {\vec {y}}_{1},\dotsc ,{\vec {y}}_{n+1}}$${\displaystyle M}$

${\displaystyle \left[{\begin{array}{c}{\vec {y}}\\1\end{array}}\right]=M\left[{\begin{array}{c}{\vec {x}}\\1\end{array}}\right]}$

является

${\displaystyle M=\left[{\begin{array}{ccc}{\vec {y}}_{1}&\cdots &{\vec {y}}_{n+1}\\1&\cdots &1\end{array}}\right]\left[{\begin{array}{ccc}{\vec {x}}_{1}&\cdots &{\vec {x}}_{n+1}\\1&\cdots &1\end{array}}\right]^{-1}}$.

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

Например, аффинное преобразование векторной плоскости однозначно определяется из знания того, где три вершины ( ) невырожденного треугольника отображаются в ( ), независимо от количества измерений содомена и независимо от того, невырожден в области.${\displaystyle {\vec {x}}_{1},{\vec {x}}_{2},{\vec {x}}_{3}}$${\displaystyle {\vec {y}}_{1},{\vec {y}}_{2},{\vec {y}}_{3}}$

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

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

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

1. коллинеарность между точками: три или более точки, лежащие на одной линии (называемые коллинеарными точками), продолжают оставаться коллинеарными после преобразования.
2. параллелизм : две или более прямых, которые параллельны, продолжают оставаться параллельными после преобразования.
3. выпуклость множеств: выпуклое множество продолжает оставаться выпуклым после преобразования. Более того, крайние точки исходного набора отображаются в крайние точки преобразованного набора. ^[14]
4. отношения длин параллельных отрезков: для различных параллельных отрезков, определяемых точками и , и , отношение и такое же, как и у и .${\displaystyle p_{1}}$${\displaystyle p_{2}}$${\displaystyle p_{3}}$${\displaystyle p_{4}}$${\displaystyle {\overrightarrow {p_{1}p_{2}}}}$${\displaystyle {\overrightarrow {p_{3}p_{4}}}}$${\displaystyle {\overrightarrow {f(p_{1})f(p_{2})}}}$${\displaystyle {\overrightarrow {f(p_{3})f(p_{4})}}}$
5. барицентры взвешенных наборов точек.

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

Аффинное преобразование обратимо , следовательно , обратимо. В матричном представлении обратное:${\displaystyle A}$

${\displaystyle \left[{\begin{array}{ccc|c}&A^{-1}&&-A^{-1}{\vec {b}}\ \\0&\ldots &0&1\end{array}}\right]}$

Обратимые аффинные преобразования (аффинного пространства на себя) образуют аффинную группу , которая имеет общую линейную группу степени как подгруппу и сама является подгруппой общей линейной группы степени .${\displaystyle n}$${\displaystyle n+1}$

Преобразования подобия образуют подгруппу где - скаляр, умноженный на ортогональную матрицу . Например, если аффинное преобразование действует на плоскости , и если определитель из 1 или -1 , то преобразование является equiareal отображение . Такие преобразования образуют подгруппу, называемую эквиаффинной группой . ^[15] Равноаффинное преобразование и преобразование подобия - это изометрия плоскости, взятой с евклидовым расстоянием .${\displaystyle A}$${\displaystyle A}$

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

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

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

Аффинная карта между двумя аффинными пространствами - это карта точек, которая линейно действует на векторы (то есть векторы между точками пространства). В символах определяет такое линейное преобразование , что для любой пары точек :${\displaystyle f\colon {\mathcal {A}}\to {\mathcal {B}}}$${\displaystyle f}$${\displaystyle \varphi }$${\displaystyle P,Q\in {\mathcal {A}}}$

${\displaystyle {\overrightarrow {f(P)~f(Q)}}=\varphi ({\overrightarrow {PQ}})}$

или же

${\displaystyle f(Q)-f(P)=\varphi (Q-P)}$.

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

Если исходная точка выбрана и обозначает ее изображение , то это означает, что для любого вектора :${\displaystyle O\in {\mathcal {A}}}$${\displaystyle B}$${\displaystyle f(O)\in {\mathcal {B}}}$${\displaystyle {\vec {x}}}$

${\displaystyle f\colon (O+{\vec {x}})\mapsto (B+\varphi ({\vec {x}}))}$.

Если также выбран источник, его можно разложить как аффинное преобразование, которое отправляет , а именно${\displaystyle O'\in {\mathcal {B}}}$${\displaystyle g\colon {\mathcal {A}}\to {\mathcal {B}}}$${\displaystyle O\mapsto O'}$

${\displaystyle g\colon (O+{\vec {x}})\mapsto (O'+\varphi ({\vec {x}}))}$,

с последующим переводом вектора .${\displaystyle {\vec {b}}={\overrightarrow {O'B}}}$

Вывод таков, что интуитивно состоит из перевода и линейной карты.${\displaystyle f}$

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

Для двух аффинных пространств и над одним и тем же полем функция является аффинным отображением тогда и только тогда, когда для каждого семейства взвешенных точек в таком, что ${\displaystyle {\mathcal {A}}}$${\displaystyle {\mathcal {B}}}$${\displaystyle f\colon {\mathcal {A}}\to {\mathcal {B}}}$${\displaystyle \{(a_{i},\lambda _{i})\}_{i\in I}}$${\displaystyle {\mathcal {A}}}$

${\displaystyle \sum _{i\in I}\lambda _{i}=1}$,

у нас есть ^[16]

${\displaystyle f\left(\sum _{i\in I}\lambda _{i}a_{i}\right)=\sum _{i\in I}\lambda _{i}f(a_{i})}$.

Другими словами, сохраняет барицентры .${\displaystyle f}$

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

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

Преобразование изображения [ править ]

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

Название трансформации	Аффинная матрица	Пример
Идентичность (преобразовать в исходное изображение)	${\displaystyle {\begin{bmatrix}1&0&0\\0&1&0\\0&0&1\end{bmatrix}}}$
Перевод	${\displaystyle {\begin{bmatrix}1&0&v_{x}>0\\0&1&v_{y}=0\\0&0&1\end{bmatrix}}}$
Отражение	${\displaystyle {\begin{bmatrix}-1&0&0\\0&1&0\\0&0&1\end{bmatrix}}}$
Шкала	${\displaystyle {\begin{bmatrix}c_{x}=2&0&0\\0&c_{y}=1&0\\0&0&1\end{bmatrix}}}$
Повернуть	${\displaystyle {\begin{bmatrix}\cos(\theta )&-\sin(\theta )&0\\\sin(\theta )&\cos(\theta )&0\\0&0&1\end{bmatrix}}}$	где θ =π/6 = 30 °
Сдвиг	${\displaystyle {\begin{bmatrix}1&c_{x}=0.5&0\\c_{y}=0&1&0\\0&0&1\end{bmatrix}}}$

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

Аффинное искажение [ править ]

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

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

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

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

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

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

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

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

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

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

По реальным числам [ править ]

Функции с и in являются в точности аффинными преобразованиями вещественной прямой .${\displaystyle f\colon \mathbb {R} \to \mathbb {R} ,\;f(x)=mx+c}$${\displaystyle m}$${\displaystyle c}$${\displaystyle \mathbb {R} }$

Над конечным полем [ править ]

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

${\displaystyle \{a'\}=M\{a\}\oplus \{v\},}$

где - матрица ниже, - фиксированный вектор и, в частности,${\displaystyle [M]}$${\displaystyle \{v\}}$${\displaystyle \{a\}=(a_{0},a_{1},a_{2},a_{3},a_{4},a_{5},a_{6},a_{7}).}$ ${\displaystyle M\{a\}={\begin{bmatrix}1&0&0&0&1&1&1&1\\1&1&0&0&0&1&1&1\\1&1&1&0&0&0&1&1\\1&1&1&1&0&0&0&1\\1&1&1&1&1&0&0&0\\0&1&1&1&1&1&0&0\\0&0&1&1&1&1&1&0\\0&0&0&1&1&1&1&1\end{bmatrix}}}$${\displaystyle {\begin{bmatrix}a_{0}\\a_{1}\\a_{2}\\a_{3}\\a_{4}\\a_{5}\\a_{6}\\a_{7}\end{bmatrix}}}$ и ${\displaystyle \{v\}={\begin{bmatrix}1\\1\\0\\0\\0\\1\\1\\0\end{bmatrix}}.}$

Например, аффинное преобразование элемента в двоичной системе с прямым порядком байтов вычисляется следующим образом:${\displaystyle \{a\}=y^{7}+y^{6}+y^{3}+y=\{11001010_{2}\}}$

${\displaystyle a_{0}'=a_{0}\oplus a_{4}\oplus a_{5}\oplus a_{6}\oplus a_{7}\oplus 1=0\oplus 0\oplus 0\oplus 1\oplus 1\oplus 1=1}$

${\displaystyle a_{1}'=a_{0}\oplus a_{1}\oplus a_{5}\oplus a_{6}\oplus a_{7}\oplus 1=0\oplus 1\oplus 0\oplus 1\oplus 1\oplus 1=0}$

${\displaystyle a_{2}'=a_{0}\oplus a_{1}\oplus a_{2}\oplus a_{6}\oplus a_{7}\oplus 0=0\oplus 1\oplus 0\oplus 1\oplus 1\oplus 0=1}$

${\displaystyle a_{3}'=a_{0}\oplus a_{1}\oplus a_{2}\oplus a_{3}\oplus a_{7}\oplus 0=0\oplus 1\oplus 0\oplus 1\oplus 1\oplus 0=1}$

${\displaystyle a_{4}'=a_{0}\oplus a_{1}\oplus a_{2}\oplus a_{3}\oplus a_{4}\oplus 0=0\oplus 1\oplus 0\oplus 1\oplus 0\oplus 0=0}$

${\displaystyle a_{5}'=a_{1}\oplus a_{2}\oplus a_{3}\oplus a_{4}\oplus a_{5}\oplus 1=1\oplus 0\oplus 1\oplus 0\oplus 0\oplus 1=1}$

${\displaystyle a_{6}'=a_{2}\oplus a_{3}\oplus a_{4}\oplus a_{5}\oplus a_{6}\oplus 1=0\oplus 1\oplus 0\oplus 0\oplus 1\oplus 1=1}$

${\displaystyle a_{7}'=a_{3}\oplus a_{4}\oplus a_{5}\oplus a_{6}\oplus a_{7}\oplus 0=1\oplus 0\oplus 0\oplus 1\oplus 1\oplus 0=1.}$

Таким образом, .${\displaystyle \{a'\}=y^{7}+y^{6}+y^{5}+y^{3}+y^{2}+1=\{11101101_{2}\}}$

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

В преобразование, показанное слева, выполняется с использованием карты, представленной следующим образом:${\displaystyle \mathbb {R} ^{2}}$

${\displaystyle {\begin{bmatrix}x\\y\end{bmatrix}}\mapsto {\begin{bmatrix}0&1\\2&1\end{bmatrix}}{\begin{bmatrix}x\\y\end{bmatrix}}+{\begin{bmatrix}-100\\-100\end{bmatrix}}}$

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

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

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

• Анаморфоза - художественное применение аффинных преобразований
• Аффинная геометрия
• 3D проекция
• Гомография
• Плоский (геометрия)
• Бент функция

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

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

• Бергер, Марсель (1987), Геометрия I , Берлин: Springer, ISBN 3-540-11658-3
• Браннан, Дэвид А .; Эсплен, Мэтью Ф .; Грей, Джереми Дж. (1999), геометрия , Cambridge University Press, ISBN 978-0-521-59787-6
• Номидзу, Кацуми ; Сасаки, С. (1994), Аффинная дифференциальная геометрия (новая редакция), Cambridge University Press, ISBN 978-0-521-44177-3
• Кляйн, Феликс (1948) [1939], Элементарная математика с продвинутой точки зрения: геометрия , Dover
• Самуэль, Пьер (1988), проективная геометрия , Springer-Verlag, ISBN 0-387-96752-4
• Шарп, RW (1997). Дифференциальная геометрия: Обобщение Картана программы Эрлангена Клейна . Нью-Йорк: Спрингер. ISBN 0-387-94732-9.
• Снаппер, Эрнст; Тройер, Роберт Дж. (1989) [1971], Metric Affine Geometry , Dover, ISBN 978-0-486-66108-7
• Ван, Чжэсянь (1993), Геометрия классических групп над конечными полями , Chartwell-Bratt, ISBN 0-86238-326-9

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

• СМИ, связанные с аффинным преобразованием на Викискладе?
• "Аффинное преобразование" , Энциклопедия математики , EMS Press , 2001 [1994]
• Геометрические операции: аффинное преобразование , Р. Фишер, С. Перкинс, А. Уокер и Э. Вольфарт.
• Вайсштейн, Эрик В. «Аффинное преобразование» . MathWorld .
• Аффинное преобразование Бернара Вюйомье, Wolfram Demonstrations Project .
• Аффинное преобразование с помощью MATLAB