Translation (geometry)

Last updated June 07, 2024

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.

As a function

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

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

Application in classical physics

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 $(x,y,z)$ of an object according to the formula

(x,y,z)\to (x+\Delta x,y+\Delta y,z+\Delta z)

where $(\Delta x,\ \Delta y,\ \Delta z)$ is the same vector for each point of the object. The translation vector $(\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.

As an operator

The translation operator turns a function of the original position, $f(\mathbf {v} )$ , into a function of the final position, $f(\mathbf {v} +\mathbf {\delta } )$ . In other words, $T_{\mathbf {\delta } }$ is defined such that $T_{\mathbf {\delta } }f(\mathbf {v} )=f(\mathbf {v} +\mathbf {\delta } ).$ This operator is more abstract than a function, since $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.

As a group

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

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.

Lattice groups

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.

Matrix representation

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 $\mathbf {v} =(v_{x},v_{y},v_{z})$ using 4 homogeneous coordinates as $\mathbf {v} =(v_{x},v_{y},v_{z},1)$ .^[2]

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

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:

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:

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

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

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

Translation of axes

While geometric translation is often viewed as an active process 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.

Translational symmetry

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.

Translations of a graph

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

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

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

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

Applications

Vehicle dynamics

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, translation along the longitudinal axis (forward or backwards)
Sway, translation along the transverse axis (from side to side)
Heave, translation along the vertical axis (to move up or down).

The corresponding rotations are often called:

roll, about the longitudinal axis
pitch, about the transverse axis
yaw, about the vertical axis.

Related Research Articles

In physics, the Lorentz transformations are a six-parameter family of linear transformations from a coordinate frame in spacetime to another frame that moves at a constant velocity relative to the former. The respective inverse transformation is then parameterized by the negative of this velocity. The transformations are named after the Dutch physicist Hendrik Lorentz.

In mathematical physics and mathematics, the Pauli matrices are a set of three $2 \times 2$ complex matrices that are Hermitian, involutory and unitary. Usually indicated by the Greek letter sigma, they are occasionally denoted by tau when used in connection with isospin symmetries.

<span class="mw-page-title-main">2D computer graphics</span> Computer-based generation of digital images

2D computer graphics is the computer-based generation of digital images—mostly from two-dimensional models and by techniques specific to them. It may refer to the branch of computer science that comprises such techniques or to the models themselves.

In Euclidean geometry, an affine transformation or affinity is a geometric transformation that preserves lines and parallelism, but not necessarily Euclidean distances and angles.

Kinematics is a subfield of physics and mathematics, developed in classical mechanics, that describes the motion of points, bodies (objects), and systems of bodies without considering the forces that cause them to move. Kinematics, as a field of study, is often referred to as the "geometry of motion" and is occasionally seen as a branch of both applied and pure mathematics since it can be studied without considering the mass of a body or the forces acting upon it. A kinematics problem begins by describing the geometry of the system and declaring the initial conditions of any known values of position, velocity and/or acceleration of points within the system. Then, using arguments from geometry, the position, velocity and acceleration of any unknown parts of the system can be determined. The study of how forces act on bodies falls within kinetics, not kinematics. For further details, see analytical dynamics.

<span class="mw-page-title-main">Moment of inertia</span> Scalar measure of the rotational inertia with respect to a fixed axis of rotation

The moment of inertia, otherwise known as the mass moment of inertia, angular/rotational mass, second moment of mass, or most accurately, rotational inertia, of a rigid body is a quantity that determines the torque needed for a desired angular acceleration about a rotational axis, akin to how mass determines the force needed for a desired acceleration. It depends on the body's mass distribution and the axis chosen, with larger moments requiring more torque to change the body's rate of rotation by a given amount.

In mechanics and geometry, the 3D rotation group, often denoted SO(3), is the group of all rotations about the origin of three-dimensional Euclidean space $under the operation of composition.$

In mathematics, the Laplace operator or Laplacian is a differential operator given by the divergence of the gradient of a scalar function on Euclidean space. It is usually denoted by the symbols $, (where is the nabla operator), or . In a Cartesian coordinate system, the Laplacian is given by the sum of second partial derivatives of the function with respect to each independent variable. In other coordinate systems, such as cylindrical and spherical coordinates, the Laplacian also has a useful form. Informally, the Laplacian Δ f (p) of a function f at a point p measures by how much the average value of f over small spheres or balls centered at p deviates from f (p) .$

<span class="mw-page-title-main">Hooke's law</span> Physical law: force needed to deform a spring scales linearly with distance

In physics, Hooke's law is an empirical law which states that the force needed to extend or compress a spring by some distance scales linearly with respect to that distance—that is, $F s = kx$ , where $k$ is a constant factor characteristic of the spring, and $x$ is small compared to the total possible deformation of the spring. The law is named after 17th-century British physicist Robert Hooke. He first stated the law in 1676 as a Latin anagram. He published the solution of his anagram in 1678 as: ut tensio, sic vis. Hooke states in the 1678 work that he was aware of the law since 1660.

In mathematics, the Heisenberg group $, named after Werner Heisenberg, is the group of 3\times3 upper triangular matrices of the form$

In affine geometry, uniform scaling is a linear transformation that enlarges (increases) or shrinks (diminishes) objects by a scale factor that is the same in all directions. The result of uniform scaling is similar to the original. A scale factor of 1 is normally allowed, so that congruent shapes are also classed as similar. Uniform scaling happens, for example, when enlarging or reducing a photograph, or when creating a scale model of a building, car, airplane, etc.

In linear algebra, linear transformations can be represented by matrices. If $is a linear transformation mapping to and is a column vector with entries, then$

In linear algebra, a rotation matrix is a transformation matrix that is used to perform a rotation in Euclidean space. For example, using the convention below, the matrix

In applied statistics, total least squares is a type of errors-in-variables regression, a least squares data modeling technique in which observational errors on both dependent and independent variables are taken into account. It is a generalization of Deming regression and also of orthogonal regression, and can be applied to both linear and non-linear models.

Screw theory is the algebraic calculation of pairs of vectors, such as angular and linear velocity, or forces and moments, that arise in the kinematics and dynamics of rigid bodies.

In mathematics, the discrete Laplace operator is an analog of the continuous Laplace operator, defined so that it has meaning on a graph or a discrete grid. For the case of a finite-dimensional graph, the discrete Laplace operator is more commonly called the Laplacian matrix.

In physics, the Thomas precession, named after Llewellyn Thomas, is a relativistic correction that applies to the spin of an elementary particle or the rotation of a macroscopic gyroscope and relates the angular velocity of the spin of a particle following a curvilinear orbit to the angular velocity of the orbital motion.

There are many ways to derive the Lorentz transformations using a variety of physical principles, ranging from Maxwell's equations to Einstein's postulates of special relativity, and mathematical tools, spanning from elementary algebra and hyperbolic functions, to linear algebra and group theory.

Symmetries in quantum mechanics describe features of spacetime and particles which are unchanged under some transformation, in the context of quantum mechanics, relativistic quantum mechanics and quantum field theory, and with applications in the mathematical formulation of the standard model and condensed matter physics. In general, symmetry in physics, invariance, and conservation laws, are fundamentally important constraints for formulating physical theories and models. In practice, they are powerful methods for solving problems and predicting what can happen. While conservation laws do not always give the answer to the problem directly, they form the correct constraints and the first steps to solving a multitude of problems. In application, understanding symmetries can also provide insights on the eigenstates that can be expected. For example, the existence of degenerate states can be inferred by the presence of non commuting symmetry operators or that the non degenerate states are also eigenvectors of symmetry operators.

In statistics, machine learning and algorithms, a tensor sketch is a type of dimensionality reduction that is particularly efficient when applied to vectors that have tensor structure. Such a sketch can be used to speed up explicit kernel methods, bilinear pooling in neural networks and is a cornerstone in many numerical linear algebra algorithms.

References

↑ Edmund Taylor Whittaker (1988). A Treatise on the Analytical Dynamics of Particles and Rigid Bodies (Reprint of fourth edition of 1936 with foreword by William McCrea ed.). Cambridge University Press. p. 1. ISBN 0-521-35883-3.
↑ Richard Paul, 1981, Robot manipulators: mathematics, programming, and control : the computer control of robot manipulators, MIT Press, Cambridge, MA
↑ Dougherty, Edward R.; Astol, Jaakko (1999), Nonlinear Filters for Image Processing, SPIE/IEEE series on imaging science & engineering, vol. 59, SPIE Press, p. 169, ISBN 9780819430335 .
↑ Zill, Dennis; Wright, Warren S. (2009), Single Variable Calculus: Early Transcendentals, Jones & Bartlett Learning, p. 269, ISBN 9780763749651 .

External links

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.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[Whittaker-1] Edmund Taylor Whittaker (1988). A Treatise on the Analytical Dynamics of Particles and Rigid Bodies (Reprint of fourth edition of 1936 with foreword by William McCrea ed.). Cambridge University Press. p. 1. ISBN 0-521-35883-3.

[2] Richard Paul, 1981, Robot manipulators: mathematics, programming, and control : the computer control of robot manipulators, MIT Press, Cambridge, MA

[3] Dougherty, Edward R.; Astol, Jaakko (1999), Nonlinear Filters for Image Processing, SPIE/IEEE series on imaging science & engineering, vol. 59, SPIE Press, p. 169, ISBN 9780819430335 .

[4] Zill, Dennis; Wright, Warren S. (2009), Single Variable Calculus: Early Transcendentals, Jones & Bartlett Learning, p. 269, ISBN 9780763749651 .

[1]

[2]

[3]

[4]