Affine map ($x\mapsto Ax+b$)

An affine map combines a linear map with a translation. After choosing coordinate origins, it has the form $T:{\mathbb{R}}^p\to {\mathbb{R}}^q$, $T(x)=Mx+b$, where the $q\times p$ matrix $M$ is its linear part of an affine map and $b$ is a fixed vector. Equivalently, it preserves every affine combination. ^[ref]

An original planar example isIt stretches horizontally, applies a shear mapping, and then translates. The vertices $A=(0,0)$, $B=(2,0)$ and $C=(0,2)$ become $A^{\prime }=(1,-2)$, $B^{\prime }=(5,-2)$ and $C^{\prime }=(3,0)$. A square grid becomes a grid of parallelograms; straight edges and their weighted points still fit together.

This map is not a linear map with respect to the displayed origins, because $T(0,0)=(1,-2)$ rather than zero. It also is not a Euclidean similarity: $AB$ has length $2$ and $A^{\prime }{B}^{\prime }$ has length $4$, while the right angle at $A$ becomes $45^{\circ }$. Its determinant is $2$, so it doubles planar area. These metric changes explain why affine geometry studies straightness, incidence and weighted points rather than treating every transformation as an isometry.

The linear part is an invertible matrix, giving the concise inverse $T^{-1}(u,v)=((u-v-3)/2,v+2)$. More generally an affine map is bijective exactly when its linear part of an affine map is bijective. Between equal finite-dimensional spaces, this means an invertible matrix; the translation cannot repair a loss of rank of a linear map.

For coefficients with sum one, the defining identity follows from linearity:The translation appears once on both sides precisely because ${\sum }_i{\lambda }_i=1$. In particular, midpoints map to midpoints, and a parameterized line segment $(1-t)P+tQ$, $0\le t\le 1$, maps to $(1-t)T(P)+tT(Q)$. A whole line has the same formula with $t\in \mathbb{R}$; its image is a line if $M(Q-P)\ne 0$, and a single point otherwise.

An affine map need not be injective. For $G(x,y)=(x+y,0)$, the direction $(1,-1)$ belongs to the kernel of its linear part of an affine map. Consequently the whole line $y=-x$ maps to $(0,0)$, and every parallel line $y=-x+c$ maps to $(c,0)$. These are collapsed lines, not images with a surviving direction. Assertions that an affine map preserves distinct parallel lines require the appropriate noncollapse or injectivity hypothesis.

A Euclidean similarity is a map $S:{\mathbb{R}}^n\to {\mathbb{R}}^n$ satisfying $|S(x)-S(y)|=c|x-y|$ for a fixed $c>0$. It has the form $S(x)=cRx+b$ with $R$ orthogonal: after subtracting $S(0)$ and dividing by $c$, the map fixes zero and preserves distances, hence inner products by polarization, so it is a linear orthogonal map. It is a contraction if $c<1$. Contracting Euclidean similarities define self-similar compact sets; the open set condition is a useful separation hypothesis for computing their Hausdorff dimension.

The map $A$ associated with an affine map $x\mapsto Ax+b$; it is independent of the translation $b$. An affine Euclidean isometry has an orthogonal linear part, and an isometry between flat tori has a lift whose linear part carries one Euclidean lattice onto the other.