# Transformation (function)

This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages)
(Learn how and when to remove this template message) |

In mathematics, particularly in semigroup theory, a **transformation** is an invertible function *f* (usually with some geometrical underpinning) that maps a set *X* to itself, i.e. *f* : *X* → *X*.^{[1]}^{[2]}^{[3]}^{[4]} In other areas of mathematics, a transformation may simply refer to any function, regardless of domain and codomain.^{[5]} For this wider sense of the term, see function (mathematics).

Examples include linear transformations and affine transformations, rotations, reflections and translations.^{[6]}^{[7]} These can be carried out algebraically^{[8]} or 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.

## TranslationEdit

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} (translation by the vector **v**) can be described by the rule *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 (although the same argument can also be generalized to 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^{[9]}

*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 that 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.^{[10]}

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

## ReflectionEdit

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.^{[7]}

## Glide reflectionEdit

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.

## RotationEdit

A rotation is a transformation that is performed by "spinning" the object around a fixed point known as the center of rotation.^{[11]} One 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.

## ScalingEdit

**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.

A more general concept 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.

## ShearEdit

**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 generallyEdit

More generally, a **transformation** in mathematics means a mathematical function (synonyms: *"map" or "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 indicate that the geometric aspects of a function are being considered (for example, with respect to invariants).

Before | After |

### Partial transformationsEdit

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*.^{[12]}

## Algebraic structuresEdit

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

## CombinatoricsEdit

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

## See alsoEdit

## ReferencesEdit

**^**"The Definitive Glossary of Higher Mathematical Jargon — Transformation".*Math Vault*. 2019-08-01. Retrieved 2019-12-13.**^**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.CS1 maint: uses authors parameter (link)**^**P. R. Halmos (1960).*Naive Set Theory*. Springer Science & Business Media. pp. 30–. ISBN 978-0-387-90092-6.**^**"Transformations".*www.mathsisfun.com*. Retrieved 2019-12-13.- ^
^{a}^{b}"Types of Transformations in Math".*Basic-mathematics.com*. Retrieved 2019-12-13. **^**"Algebra - Transformations".*tutorial.math.lamar.edu*. Retrieved 2019-12-13.**^**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**^**"Geometry Rotation".*www.mathsisfun.com*. Retrieved 2019-12-13.**^**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.