Translation (geometry)

In Euclidean geometry, a translation is a geometric transformation that moves every point of a figure, shape or space by the same distance in a given direction. A translation can also be interpreted as the addition of a constant vector to every point, or as shifting the origin of the coordinate system. In a Euclidean space, any translation is an isometry.

If ${\displaystyle \mathbf {v} }$ is a fixed vector, known as the translation vector, and ${\displaystyle \mathbf {p} }$ is the initial position of some object, then the translation function ${\displaystyle T_{\mathbf {v} }}$ will work as ${\displaystyle T_{\mathbf {v} }(\mathbf {p} )=\mathbf {p} +\mathbf {v} }$.

If ${\displaystyle T}$ is a translation, then the image of a subset ${\displaystyle A}$ under the function ${\displaystyle T}$ is the translate of ${\displaystyle A}$ by ${\displaystyle T}$. The translate of ${\displaystyle A}$ by ${\displaystyle T_{\mathbf {v} }}$ is often written as ${\displaystyle A+\mathbf {v} }$.

In classical physics, translational motion is movement that changes the position of an object, as opposed to rotation. For example, according to Whittaker:^[1]

If a body is moved from one position to another, and if the lines joining the initial and final points of each of the points of the body are a set of parallel straight lines of length ℓ, so that the orientation of the body in space is unaltered, the displacement is called a translation parallel to the direction of the lines, through a distance ℓ.

— E. T. Whittaker, A Treatise on the Analytical Dynamics of Particles and Rigid Bodies, p. 1

A translation is the operation changing the positions of all points ${\displaystyle (x,y,z)}$ of an object according to the formula

${\displaystyle (x,y,z)\to (x+\Delta x,y+\Delta y,z+\Delta z)}$

where ${\displaystyle (\Delta x,\ \Delta y,\ \Delta z)}$ is the same vector for each point of the object. The translation vector ${\displaystyle (\Delta x,\ \Delta y,\ \Delta z)}$ common to all points of the object describes a particular type of displacement of the object, usually called a linear displacement to distinguish it from displacements involving rotation, called angular displacements.

When considering spacetime, a change of time coordinate is considered to be a translation.

The translation operator turns a function of the original position, ${\displaystyle f(\mathbf {v} )}$, into a function of the final position, ${\displaystyle f(\mathbf {v} +\mathbf {\delta } )}$. In other words, ${\displaystyle T_{\mathbf {\delta } }}$ is defined such that ${\displaystyle T_{\mathbf {\delta } }f(\mathbf {v} )=f(\mathbf {v} +\mathbf {\delta } ).}$ This operator is more abstract than a function, since ${\displaystyle T_{\mathbf {\delta } }}$ defines a relationship between two functions, rather than the underlying vectors themselves. The translation operator can act on many kinds of functions, such as when the translation operator acts on a wavefunction, which is studied in the field of quantum mechanics.

The set of all translations forms the translation group ${\displaystyle \mathbb {T} }$, which is isomorphic to the space itself, and a normal subgroup of Euclidean group ${\displaystyle E(n)}$. The quotient group of ${\displaystyle E(n)}$ by ${\displaystyle \mathbb {T} }$ is isomorphic to the group of rigid motions which fix a particular origin point, the orthogonal group ${\displaystyle O(n)}$:

${\displaystyle E(n)/\mathbb {T} \cong O(n)}$

Because translation is commutative, the translation group is abelian. There are an infinite number of possible translations, so the translation group is an infinite group.

In the theory of relativity, due to the treatment of space and time as a single spacetime, translations can also refer to changes in the time coordinate. For example, the Galilean group and the Poincaré group include translations with respect to time.

One kind of subgroup of the three-dimensional translation group are the lattice groups, which are infinite groups, but unlike the translation groups, are finitely generated. That is, a finite generating set generates the entire group.

A translation is an affine transformation with no fixed points. Matrix multiplications always have the origin as a fixed point. Nevertheless, there is a common workaround using homogeneous coordinates to represent a translation of a vector space with matrix multiplication: Write the 3-dimensional vector ${\displaystyle \mathbf {v} =(v_{x},v_{y},v_{z})}$ using 4 homogeneous coordinates as ${\displaystyle \mathbf {v} =(v_{x},v_{y},v_{z},1)}$.^[2]

To translate an object by a vector ${\displaystyle \mathbf {v} }$, each homogeneous vector ${\displaystyle \mathbf {p} }$ (written in homogeneous coordinates) can be multiplied by this translation matrix:

${\displaystyle T_{\mathbf {v} }={\begin{bmatrix}1&0&0&v_{x}\\0&1&0&v_{y}\\0&0&1&v_{z}\\0&0&0&1\end{bmatrix}}}$

As shown below, the multiplication will give the expected result:

${\displaystyle T_{\mathbf {v} }\mathbf {p} ={\begin{bmatrix}1&0&0&v_{x}\\0&1&0&v_{y}\\0&0&1&v_{z}\\0&0&0&1\end{bmatrix}}{\begin{bmatrix}p_{x}\\p_{y}\\p_{z}\\1\end{bmatrix}}={\begin{bmatrix}p_{x}+v_{x}\\p_{y}+v_{y}\\p_{z}+v_{z}\\1\end{bmatrix}}=\mathbf {p} +\mathbf {v} }$

The inverse of a translation matrix can be obtained by reversing the direction of the vector:

${\displaystyle T_{\mathbf {v} }^{-1}=T_{-\mathbf {v} }.\!}$

Similarly, the product of translation matrices is given by adding the vectors:

${\displaystyle T_{\mathbf {v} }T_{\mathbf {w} }=T_{\mathbf {v} +\mathbf {w} }.\!}$

Because addition of vectors is commutative, multiplication of translation matrices is therefore also commutative (unlike multiplication of arbitrary matrices).

While geometric translation is often viewed as an active transformation that changes the position of a geometric object, a similar result can be achieved by a passive transformation that moves the coordinate system itself but leaves the object fixed. The passive version of an active geometric translation is known as a translation of axes.

An object that looks the same before and after translation is said to have translational symmetry. A common example is a periodic function, which is an eigenfunction of a translation operator.

The graph of a real function f, the set of points ⁠${\displaystyle (x,f(x))}$⁠, is often pictured in the real coordinate plane with x as the horizontal coordinate and ⁠${\displaystyle y=f(x)}$⁠ as the vertical coordinate.

Starting from the graph of f, a horizontal translation means composing f with a function ⁠${\displaystyle x\mapsto x-a}$⁠, for some constant number a, resulting in a graph consisting of points ⁠${\displaystyle (x,f(x-a))}$⁠. Each point ⁠${\displaystyle (x,y)}$⁠ of the original graph corresponds to the point ⁠${\displaystyle (x+a,y)}$⁠ in the new graph, which pictorially results in a horizontal shift.

A vertical translation means composing the function ⁠${\displaystyle y\mapsto y+b}$⁠ with f, for some constant b, resulting in a graph consisting of the points ⁠${\displaystyle {\bigl (}x,f(x)+b{\bigr )}}$⁠. Each point ⁠${\displaystyle (x,y)}$⁠ of the original graph corresponds to the point ⁠${\displaystyle (x,y+b)}$⁠ in the new graph, which pictorially results in a vertical shift.^[3]

For example, taking the quadratic function ⁠${\displaystyle y=x^{2}}$⁠, whose graph is a parabola with vertex at ⁠${\displaystyle (0,0)}$⁠, a horizontal translation 5 units to the right would be the new function ⁠${\displaystyle y=(x-5)^{2}=x^{2}-10x+25}$⁠ whose vertex has coordinates ⁠${\displaystyle (5,0)}$⁠. A vertical translation 3 units upward would be the new function ⁠${\displaystyle y=x^{2}+3}$⁠ whose vertex has coordinates ⁠${\displaystyle (0,3)}$⁠.

The antiderivatives of a function all differ from each other by a constant of integration and are therefore vertical translates of each other.^[4]

For describing vehicle dynamics (or movement of any rigid body), including ship dynamics and aircraft dynamics, it is common to use a mechanical model consisting of six degrees of freedom, which includes translations along three reference axes (as well as rotations about those three axes). These translations are often called surge, sway, and heave.

• Zazkis, R., Liljedahl, P., & Gadowsky, K. Conceptions of function translation: obstacles, intuitions, and rerouting. Journal of Mathematical Behavior, 22, 437-450. Retrieved April 29, 2014, from www.elsevier.com/locate/jmathb
• Transformations of Graphs: Horizontal Translations. (2006, January 1). BioMath: Transformation of Graphs. Retrieved April 29, 2014

Wikimedia Commons has media related to Translation (geometry).

• Translation Transform at cut-the-knot
• Geometric Translation (Interactive Animation) at Math Is Fun
• Understanding 2D Translation and Understanding 3D Translation by Roger Germundsson, The Wolfram Demonstrations Project.