# Transformation (function)

In mathematics, particularly in semigroup theory, a **transformation** is a function *f* that maps a set *X* to itself, i.e. *f* : *X* → *X*.^{[1]}^{[2]}^{[3]} In other areas of mathematics, a transformation may simply be any function, regardless of domain and codomain.^{[4]} This wider sense shall not be considered in this article; refer instead to the article on function for that sense.

Examples include linear transformations and affine transformations, rotations, reflections and translations. These can be carried out in Euclidean space, particularly in **R**^{2} (two dimensions) and **R**^{3} (three dimensions). They are also operations that can be performed using linear algebra, and described explicitly using matrices.

## Translation

A **translation**, or **translation operator**, is an affine transformation of Euclidean space which moves every point by a fixed distance in the same direction. It can also be interpreted as the addition of a constant vector to every point, or as shifting the origin of the coordinate system. In other words, if **v** is a fixed vector, then the translation *T*_{v} will work as *T*_{v}(**p**) = **p** + **v**.

The two interpretations of a translation lead to two related but different coordinate transformations. To illustrate this the examples will be restricted to the two dimensional case for simplicity, but the argument holds in any dimension.

Let *P*(*x*, *y*) be a point in the plane and apply the translation (*h*, *k*) to obtain a new point *P'* with coordinates (*X*, *Y*). It follows from the definition that^{[5]}

*X*=*x*+*h*or*x*=*X*−*h*

and

*Y*=*y*+*k*or*y*=*Y*−*k*.

Now consider a point *P*(*x*, *y*) in the plane, whose coordinates are determined with respect to a given pair of axes. Suppose the axes are shifted from their original position by (*h*, *k*) and the shifted axes are taken as the new reference axes. The point *P* now has coordinates (*X*, *Y*) with respect to the new reference axes. To obtain the coordinates of *P* with respect to the new reference axes from the coordinates of *P* with respect to the original reference axes, these *formulas of translation* are used ( ):

*X*=*x*−*h*or*x*=*X*+*h*

and

*Y*=*y*−*k*or*y*=*Y*+*k*.

Replacing the original coordinates, that is, *x* and *y*, with these expressions in an equation of an object in the original coordinates, will produce the transformed equation for the same object with respect to the new reference axes.^{[6]}

The relationship that holds here is that each of the coordinate transformations is the inverse function of the other.

## Reflection

A **reflection** is a map that transforms an object into its mirror image with respect to a "mirror", which is a hyperplane of fixed points in the geometry. For example, a reflection of the small Latin letter p with respect to a vertical line would look like a "q". In order to reflect a planar figure one needs the "mirror" to be a line (*axis of reflection* or *axis of symmetry*), while for reflections in the three-dimensional space one would use a plane (the *plane of reflection* or *symmetry*) for a mirror. Reflection may be considered as the limiting case of inversion as the radius of the reference circle increases without bound.

Reflection is considered to be an *opposite* motion since it changes the orientation of the figures it reflects.

## Glide reflection

A **glide reflection** is a type of isometry of the Euclidean plane: the combination of a reflection in a line and a translation along that line. Reversing the order of combining gives the same result. Depending on context, we may consider a simple reflection (without translation) as a special case where the translation vector is the zero vector.

## Rotation

A rotation is a transformation that is performed by "spinning" the object around a fixed point known as the center of rotation. You can rotate the object at any degree measure, but 90° and 180° are two of the most common. Rotation by a positive angle rotates the object counterclockwise, whereas rotation by a negative angle rotates the object clockwise.

## Scaling

**Uniform scaling** is a linear transformation that enlarges or diminishes objects; the scale factor is the same in all directions; it is also called a homothety or dilation. The result of uniform scaling is similar (in the geometric sense) to the original.

More general is **scaling** with a separate scale factor for each axis direction; a special case is **directional scaling** (in one direction). Shapes not aligned with the axes may be subject to shear (see below) as a side effect: although the angles between lines parallel to the axes are preserved, other angles are not.

## Shear

**Shear** is a transform that effectively rotates one axis so that the axes are no longer perpendicular. Under shear, a rectangle becomes a parallelogram, and a circle becomes an ellipse. Even if lines parallel to the axes stay the same length, others do not. As a mapping of the plane, it lies in the class of equi-areal mappings.

## More generally

More generally, a **transformation** in mathematics means a mathematical function (synonyms: *map* and *mapping*). A transformation can be an invertible function from a set *X* to itself, or from *X* to another set *Y*. The choice of the term *transformation* may simply flag that a function's more geometric aspects are being considered (for example, with attention paid to invariants).

Before | After |

### Partial transformations

The notion of transformation generalized to partial functions. A **partial transformation** is a function *f*: *A* → *B*, where both *A* and *B* are subsets of some set *X*.^{[7]}

## Algebraic structures

The set of all transformations on a given base set together with function composition forms a regular semigroup.

## Combinatorics

For a finite set of cardinality *n*, there are *n*^{n} transformations and (*n*+1)^{n} partial transformations.^{[8]}

## See also

## References

- ↑ Olexandr Ganyushkin; Volodymyr Mazorchuk (2008).
*Classical Finite Transformation Semigroups: An Introduction*. Springer Science & Business Media. p. 1. ISBN 978-1-84800-281-4. - ↑ Pierre A. Grillet (1995).
*Semigroups: An Introduction to the Structure Theory*. CRC Press. p. 2. ISBN 978-0-8247-9662-4. - ↑ Wilkinson, Leland & Graham (2005).
*The Grammar of Graphics*(2nd ed.). Springer. p. 29. ISBN 978-0-387-24544-7. - ↑ P. R. Halmos (1960).
*Naive Set Theory*. Springer Science & Business Media. pp. 30–. ISBN 978-0-387-90092-6. - ↑ Smart, James R. (1998),
*Modern Geometries*(5th ed.), Brooks/Cole, p. 61, ISBN 0-534-35188-3 - ↑ Wilson, W.A.; Tracey, J.I. (1925),
*Analytic Geometry*(revised ed.), D.C. Heath and Co., pp. 135–136 - ↑ Christopher Hollings (2014).
*Mathematics across the Iron Curtain: A History of the Algebraic Theory of Semigroups*. American Mathematical Society. p. 251. ISBN 978-1-4704-1493-1. - ↑ Olexandr Ganyushkin; Volodymyr Mazorchuk (2008).
*Classical Finite Transformation Semigroups: An Introduction*. Springer Science & Business Media. p. 2. ISBN 978-1-84800-281-4.