Transformación afín

Una imagen de un helecho que exhibe autosimilaridad afín.

En geometría, una transformación afín o aplicación afín (también llamada afinidad) entre dos espacios afines (en particular, dos espacios vectoriales) consiste en una transformación lineal seguida de una traslación:

$\mathbf {x} \mapsto \mathbf {A} \mathbf {x} +\mathbf {b}$

En el caso de dimensión finita, toda transformación afín puede representarse por una matriz $\mathbf {A}$ y un vector $\mathbf {b}$ que satisfacen ciertas propiedades que se especifican a continuación.

Geométricamente, una transformación afín en un espacio euclídeo es una transformación que preserva:

1. Las relaciones de colinealidad (y coplanaridad) entre puntos, es decir, puntos que recaían sobre una misma línea (o sobre un mismo plano) antes de la transformación, son preservadas tras una transformación afín.
2. Las razones entre distancias a lo largo de una línea, es decir, para tres puntos alineados distintos $P_{1},P_{2},P_{3},$ las razones $|{\overline {P_{2}P_{1}}}|/|{\overline {P_{3}P_{2}}}|$ antes y después de la transformación son iguales.

En general, una transformación afín está compuesta de transformaciones lineales (rotaciones, homotecias y sesgos) compuestas con una traslación o desplazamiento. En el caso 1-dimensional A y b se llaman, respectivamente, la pendiente y el término independiente.

Representación

El álgebra vectorial ordinaria usa la multiplicación por matrices para representar transformaciones lineales y la suma de vectores para representar traslaciones. Mediante "matrices ampliadas", resulta posible representar ambos tipos de transformaciones exclusivamente mediante multiplicación por matrices. La técnica para "ampliar los vectores" consiste en añadir un vector con una componente extra de valor unitario al resto de las componentes y a todas las matrices se le añade una columna al final con el vector que da la traslación y una fila al final con componentes cero y un 1 en la última posición, es decir:

${\begin{pmatrix}x'_{1}\\\vdots \\x'_{n}\end{pmatrix}}={\begin{pmatrix}a_{11}&\dots &a_{1n}\\\vdots &\ddots &\vdots \\a_{n1}&\dots &a_{nn}\end{pmatrix}}{\begin{pmatrix}x_{1}\\\vdots \\x_{n}\end{pmatrix}}+{\begin{pmatrix}b_{1}\\\vdots \\b_{n}\end{pmatrix}}\,\,\sim \,\,{\begin{pmatrix}x'_{1}\\\vdots \\x'_{n}\\1\end{pmatrix}}={\begin{pmatrix}a_{11}&\dots &a_{1n}&b_{1}\\\vdots &\ddots &\vdots &\vdots \\a_{n1}&\dots &a_{nn}&b_{n}\\0&\dots &0&1\end{pmatrix}}{\begin{pmatrix}x_{1}\\\vdots \\x_{n}\\1\end{pmatrix}}$

O en forma más compacta:

${\vec {y}}=\mathbf {A} {\vec {x}}+{\vec {b}}\,\,\sim \,\,{\begin{pmatrix}{\vec {y}}\\1\end{pmatrix}}={\begin{pmatrix}\mathbf {A} &{\vec {b}}\ \\0,\ldots ,0&1\end{pmatrix}}{\begin{pmatrix}{\vec {x}}\\1\end{pmatrix}}$

Esta representación permite ver rápidamente que el conjunto de todas las transformaciones afines invertibles es el producto semidirecto $\mathbb {K} ^{n}\oplus {\text{GL}}(n,\mathbb {K} )$; el grupo anterior bajo las operación de composición de transformaciones es un grupo llamado grupo afín de orden n. Como puede verse este grupo es un subgrupo de ${\text{GL}}(n+1,\mathbb {K} )$.

Propiedades

Una transformación es invertible si y sólo si $\mathbf {A}$ es invertible. En la representación matricial descrita anteriormente, la inversa tiene la forma:

${\begin{bmatrix}\mathbf {A} ^{-1}&-\mathbf {A} ^{-1}{\vec {b}}\ \\0,\ldots ,0&1\end{bmatrix}}$

Las tranformaciones afines invertibles (de un espacio afín en sí mismo) forman el llamado grupo afín que como se ha mencionado tiene al grupo lineal de orden n como subgrupo. El propio grupo afín de orden n es a su vez subgrupo del grupo lineal de orden n+1.

Referencias

Bibliografía

• Berger, Marcel (1987), Geometry I, Berlin: Springer, ISBN 3-540-11658-3 .
• Nomizu, Katsumi; Sasaki, S. (1994), Affine Differential Geometry (New edición), Cambridge University Press, ISBN 978-0-521-44177-3 .
• Sharpe, R. W. (1997). Differential Geometry: Cartan's Generalization of Klein's Erlangen Program. Nueva York: Springer. ISBN 0-387-94732-9. 

• Datos: Q382497
• Multimedia: Affine transformation / Q382497