Geometric transformation

For broader coverage of this topic, see Transformation (mathematics).

In mathematics, a geometric transformation is any bijection of a set to itself (or to another such set) with some salient geometrical underpinning, such as preserving distances, angles, or ratios (scale). More specifically, it is a function whose domain and range are sets of points — most often both ${\displaystyle \mathbb {R} ^{2}}$ or both ${\displaystyle \mathbb {R} ^{3}}$ — such that the function is bijective so that its inverse exists.^[1] The study of geometry may be approached by the study of these transformations, such as in transformation geometry.^[2]

Classifications

Geometric transformations can be classified by the dimension of their operand sets (thus distinguishing between, say, planar transformations and spatial transformations). They can also be classified according to the properties they preserve:

• Displacements preserve distances and oriented angles (e.g., translations);^[3]
• Isometries preserve angles and distances (e.g., Euclidean transformations);^[4][5]
• Similarities preserve angles and ratios between distances (e.g., resizing);^[6]
• Affine transformations preserve parallelism (e.g., scaling, shear);^[5][7]
• Projective transformations preserve collinearity;^[8]

Each of these classes contains the previous one.^[8]

• Möbius transformations using complex coordinates on the plane (as well as circle inversion) preserve the set of all lines and circles, but may interchange lines and circles.

• 
  Original image (based on the map of France)
• 
  Isometry
• 
  Similarity
• 
  Affine transformation
• 
  Projective transformation
• 
  Inversion

• Conformal transformations preserve angles, and are, in the first order, similarities.
• Equiareal transformations, preserve areas in the planar case or volumes in the three dimensional case.^[9] and are, in the first order, affine transformations of determinant 1.
• Homeomorphisms (bicontinuous transformations) preserve the neighborhoods of points.
• Diffeomorphisms (bidifferentiable transformations) are the transformations that are affine in the first order; they contain the preceding ones as special cases, and can be further refined.

• 
  Conformal transformation
• 
  Equiareal transformation
• 
  Homeomorphism
• 
  Diffeomorphism

Transformations of the same type form groups that may be sub-groups of other transformation groups.

Opposite group actions

Main articles: Group action and Opposite group

Many geometric transformations are expressed with linear algebra. The bijective linear transformations are elements of a general linear group. The linear transformation A is non-singular. For a row vector v, the matrix product vA gives another row vector w = vA.

The transpose of a row vector v is a column vector v^T, and the transpose of the above equality is ${\displaystyle w^{T}=(vA)^{T}=A^{T}v^{T}.}$ Here A^T provides a left action on column vectors.

In transformation geometry there are compositions AB. Starting with a row vector v, the right action of the composed transformation is w = vAB. After transposition,

${\displaystyle w^{T}=(vAB)^{T}=(AB)^{T}v^{T}=B^{T}A^{T}v^{T}.}$

Thus for AB the associated left group action is ${\displaystyle B^{T}A^{T}.}$ In the study of opposite groups, the distinction is made between opposite group actions because commutative groups are the only groups for which these opposites are equal.

Active and passive transformations

This section is an excerpt from Active and passive transformation.[edit]

In the active transformation (left), a point P is transformed to point P′ by rotating clockwise by angle θ about the origin of a fixed coordinate system. In the passive transformation (right), point P stays fixed, while the coordinate system rotates counterclockwise by an angle θ about its origin. The coordinates of P′ after the active transformation relative to the original coordinate system are the same as the coordinates of P relative to the rotated coordinate system.

Geometric transformations can be distinguished into two types: active or alibi transformations which change the physical position of a set of points relative to a fixed frame of reference or coordinate system (alibi meaning "being somewhere else at the same time"); and passive or alias transformations which leave points fixed but change the frame of reference or coordinate system relative to which they are described (alias meaning "going under a different name").^[10][11] By transformation, mathematicians usually refer to active transformations, while physicists and engineers could mean either.^{[citation needed]}

For instance, active transformations are useful to describe successive positions of a rigid body. On the other hand, passive transformations may be useful in human motion analysis to observe the motion of the tibia relative to the femur, that is, its motion relative to a (local) coordinate system which moves together with the femur, rather than a (global) coordinate system which is fixed to the floor.^[11]

In three-dimensional Euclidean space, any proper rigid transformation, whether active or passive, can be represented as a screw displacement, the composition of a translation along an axis and a rotation about that axis.

The terms active transformation and passive transformation were first introduced in 1957 by Valentine Bargmann for describing Lorentz transformations in special relativity.^[12]

See also

• Coordinate transformation
• Erlangen program
• Symmetry (geometry)
• Motion
• Reflection
• Rigid transformation
• Rotation
• Topology
• Transformation matrix

References

1. Usiskin, Zalman; Peressini, Anthony L.; Marchisotto, Elena; Stanley, Dick (2003). Mathematics for High School Teachers: An Advanced Perspective. Pearson Education. p. 84. ISBN 0-13-044941-5. OCLC 50004269.
2. Venema, Gerard A. (2006), Foundations of Geometry, Pearson Prentice Hall, p. 285, ISBN 9780131437005
3. "Geometry Translation". www.mathsisfun.com. Retrieved 2020-05-02.
4. "Geometric Transformations — Euclidean Transformations". pages.mtu.edu. Retrieved 2020-05-02.
5. Geometric transformation, p. 131, at Google Books
6. "Transformations". www.mathsisfun.com. Retrieved 2020-05-02.
7. "Geometric Transformations — Affine Transformations". pages.mtu.edu. Retrieved 2020-05-02.
8. Leland Wilkinson, D. Wills, D. Rope, A. Norton, R. Dubbs – 'Geometric transformation, p. 182, at Google Books
9. Geometric transformation, p. 191, at Google Books Bruce E. Meserve – Fundamental Concepts of Geometry, page 191.]
10. Crampin, M.; Pirani, F.A.E. (1986). Applicable Differential Geometry. Cambridge University Press. p. 22. ISBN 978-0-521-23190-9.
11. Joseph K. Davidson, Kenneth Henderson Hunt (2004). "§4.4.1 The active interpretation and the active transformation". Robots and screw theory: applications of kinematics and statics to robotics. Oxford University Press. p. 74 ff. ISBN 0-19-856245-4.
12. Bargmann, Valentine (1957). "Relativity". Reviews of Modern Physics. 29 (2): 161–174. Bibcode:1957RvMP...29..161B. doi:10.1103/RevModPhys.29.161.

Further reading

• Adler, Irving (2012) [1966], A New Look at Geometry, Dover, ISBN 978-0-486-49851-5
• Dienes, Z. P.; Golding, E. W. (1967) . Geometry Through Transformations (3 vols.): Geometry of Distortion, Geometry of Congruence, and Groups and Coordinates. New York: Herder and Herder.
• David Gans – Transformations and geometries.
• Hilbert, David; Cohn-Vossen, Stephan (1952). Geometry and the Imagination (2nd ed.). Chelsea. ISBN 0-8284-1087-9.
• John McCleary (2013) Geometry from a Differentiable Viewpoint, Cambridge University Press ISBN 978-0-521-11607-7
• Modenov, P. S.; Parkhomenko, A. S. (1965) . Geometric Transformations (2 vols.): Euclidean and Affine Transformations, and Projective Transformations. New York: Academic Press.
• A. N. Pressley – Elementary Differential Geometry.
• Yaglom, I. M. (1962, 1968, 1973, 2009) . Geometric Transformations (4 vols.). Random House (I, II & III), MAA (I, II, III & IV).