In
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, a geometric transformation is any
bijection
In mathematics, a bijection, also known as a bijective function, one-to-one correspondence, or invertible function, is a function between the elements of two sets, where each element of one set is paired with exactly one element of the other s ...
of a
set
Set, The Set, SET or SETS may refer to:
Science, technology, and mathematics Mathematics
*Set (mathematics), a collection of elements
*Category of sets, the category whose objects and morphisms are sets and total functions, respectively
Electro ...
to itself (or to another such set) with some salient
geometrical
Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is ...
underpinning. More specifically, it is a
function
Function or functionality may refer to:
Computing
* Function key, a type of key on computer keyboards
* Function model, a structured representation of processes in a system
* Function object or functor or functionoid, a concept of object-oriente ...
whose
domain
Domain may refer to:
Mathematics
*Domain of a function, the set of input values for which the (total) function is defined
**Domain of definition of a partial function
**Natural domain of a partial function
**Domain of holomorphy of a function
* Do ...
and
range
Range may refer to:
Geography
* Range (geographic), a chain of hills or mountains; a somewhat linear, complex mountainous or hilly area (cordillera, sierra)
** Mountain range, a group of mountains bordered by lowlands
* Range, a term used to i ...
are sets of points — most often both
or both
— such that the function is
bijective
In mathematics, a bijection, also known as a bijective function, one-to-one correspondence, or invertible function, is a function between the elements of two sets, where each element of one set is paired with exactly one element of the other ...
so that its
inverse exists.
The study of
geometry
Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is c ...
may be approached by the study of these transformations.
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:
*
Displacement
Displacement may refer to:
Physical sciences
Mathematics and Physics
* Displacement (geometry), is the difference between the final and initial position of a point trajectory (for instance, the center of mass of a moving object). The actual path ...
s preserve
distance
Distance is a numerical or occasionally qualitative measurement of how far apart objects or points are. In physics or everyday usage, distance may refer to a physical length or an estimation based on other criteria (e.g. "two counties over"). ...
s and
oriented angles (e.g.,
translations
Translation is the communication of the meaning of a source-language text by means of an equivalent target-language text. The English language draws a terminological distinction (which does not exist in every language) between ''transl ...
);
*
Isometries
In mathematics, an isometry (or congruence, or congruent transformation) is a distance-preserving transformation between metric spaces, usually assumed to be bijective. The word isometry is derived from the Ancient Greek: ἴσος ''isos'' mea ...
preserve angles and distances (e.g.,
Euclidean transformations);
*
Similarities preserve angles and ratios between distances (e.g., resizing);
*
Affine transformation
In Euclidean geometry, an affine transformation or affinity (from the Latin, ''affinis'', "connected with") is a geometric transformation that preserves lines and parallelism, but not necessarily Euclidean distances and angles.
More generally, ...
s preserve
parallelism (e.g.,
scaling
Scaling may refer to:
Science and technology
Mathematics and physics
* Scaling (geometry), a linear transformation that enlarges or diminishes objects
* Scale invariance, a feature of objects or laws that do not change if scales of length, energ ...
,
shear
Shear may refer to:
Textile production
*Animal shearing, the collection of wool from various species
**Sheep shearing
*The removal of nap during wool cloth production
Science and technology Engineering
*Shear strength (soil), the shear strength ...
);
*
Projective transformation
In projective geometry, a homography is an isomorphism of projective spaces, induced by an isomorphism of the vector spaces from which the projective spaces derive. It is a bijection that maps lines to lines, and thus a collineation. In general, ...
s preserve
collinearity
In geometry, collinearity of a set of Point (geometry), points is the property of their lying on a single Line (geometry), line. A set of points with this property is said to be collinear (sometimes spelled as colinear). In greater generality, t ...
;
[Leland Wilkinson, D. Wills, D. Rope, A. Norton, R. Dubbs – ']
Each of these classes contains the previous one.
*
Möbius transformation
In geometry and complex analysis, a Möbius transformation of the complex plane is a rational function of the form
f(z) = \frac
of one complex variable ''z''; here the coefficients ''a'', ''b'', ''c'', ''d'' are complex numbers satisfying ''ad'' ...
s using complex coordinates on the plane (as well as
circle inversion
A circle is a shape consisting of all points in a plane that are at a given distance from a given point, the centre. Equivalently, it is the curve traced out by a point that moves in a plane so that its distance from a given point is const ...
) preserve the set of all lines and circles, but may interchange lines and circles.
France identique.gif , Original image (based on the map of France)
France par rotation 180deg.gif , Isometry
In mathematics, an isometry (or congruence, or congruent transformation) is a distance-preserving transformation between metric spaces, usually assumed to be bijective. The word isometry is derived from the Ancient Greek: ἴσος ''isos'' mea ...
France par similitude.gif , Similarity
France affine (1).gif , Affine transformation
In Euclidean geometry, an affine transformation or affinity (from the Latin, ''affinis'', "connected with") is a geometric transformation that preserves lines and parallelism, but not necessarily Euclidean distances and angles.
More generally, ...
France homographie.gif , Projective transformation
In projective geometry, a homography is an isomorphism of projective spaces, induced by an isomorphism of the vector spaces from which the projective spaces derive. It is a bijection that maps lines to lines, and thus a collineation. In general, ...
France circ.gif , Inversion
Inversion or inversions may refer to:
Arts
* , a French gay magazine (1924/1925)
* ''Inversion'' (artwork), a 2005 temporary sculpture in Houston, Texas
* Inversion (music), a term with various meanings in music theory and musical set theory
* ...
*
Conformal transformation
In mathematics, a conformal map is a function that locally preserves angles, but not necessarily lengths.
More formally, let U and V be open subsets of \mathbb^n. A function f:U\to V is called conformal (or angle-preserving) at a point u_0\in ...
s preserve angles, and are, in the first order, similarities.
*
Equiareal transformations, preserve areas in the planar case or volumes in the three dimensional case. and are, in the first order, affine transformations of
determinant
In mathematics, the determinant is a scalar value that is a function of the entries of a square matrix. It characterizes some properties of the matrix and the linear map represented by the matrix. In particular, the determinant is nonzero if and ...
1.
*
Homeomorphism
In the mathematical field of topology, a homeomorphism, topological isomorphism, or bicontinuous function is a bijective and continuous function between topological spaces that has a continuous inverse function. Homeomorphisms are the isomorphi ...
s (bicontinuous transformations) preserve the neighborhoods of points.
*
Diffeomorphism
In mathematics, a diffeomorphism is an isomorphism of smooth manifolds. It is an invertible function that maps one differentiable manifold to another such that both the function and its inverse are differentiable.
Definition
Given two m ...
s (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.
Fconf.gif , Conformal transformation
In mathematics, a conformal map is a function that locally preserves angles, but not necessarily lengths.
More formally, let U and V be open subsets of \mathbb^n. A function f:U\to V is called conformal (or angle-preserving) at a point u_0\in ...
France aire.gif , Equiareal transformation
France homothetie.gif , Homeomorphism
In the mathematical field of topology, a homeomorphism, topological isomorphism, or bicontinuous function is a bijective and continuous function between topological spaces that has a continuous inverse function. Homeomorphisms are the isomorphi ...
France diff.gif , Diffeomorphism
In mathematics, a diffeomorphism is an isomorphism of smooth manifolds. It is an invertible function that maps one differentiable manifold to another such that both the function and its inverse are differentiable.
Definition
Given two m ...
Transformations of the same type form
groups
A group is a number of persons or things that are located, gathered, or classed together.
Groups of people
* Cultural group, a group whose members share the same cultural identity
* Ethnic group, a group whose members share the same ethnic ide ...
that may be sub-groups of other transformation groups.
Opposite group actions
Many geometric transformations are expressed with linear algebra. The bijective linear transformations are elements of a
general linear group
In mathematics, the general linear group of degree ''n'' is the set of invertible matrices, together with the operation of ordinary matrix multiplication. This forms a group, because the product of two invertible matrices is again invertible, ...
. The
linear transformation
In mathematics, and more specifically in linear algebra, a linear map (also called a linear mapping, linear transformation, vector space homomorphism, or in some contexts linear function) is a mapping V \to W between two vector spaces that pre ...
''A'' is non-singular. For a
row vector
In linear algebra, a column vector with m elements is an m \times 1 matrix consisting of a single column of m entries, for example,
\boldsymbol = \begin x_1 \\ x_2 \\ \vdots \\ x_m \end.
Similarly, a row vector is a 1 \times n matrix for some n, c ...
''v'', the
matrix product
In mathematics, particularly in linear algebra, matrix multiplication is a binary operation that produces a matrix from two matrices. For matrix multiplication, the number of columns in the first matrix must be equal to the number of rows in the s ...
''vA'' gives another row vector ''w'' = ''vA''.
The
transpose
In linear algebra, the transpose of a matrix is an operator which flips a matrix over its diagonal;
that is, it switches the row and column indices of the matrix by producing another matrix, often denoted by (among other notations).
The tr ...
of a row vector ''v'' is a column vector ''v''
T, and the transpose of the above equality is
Here ''A''
T provides a left action on column vectors.
In transformation geometry there are
compositions
Composition or Compositions may refer to:
Arts and literature
* Composition (dance), practice and teaching of choreography
*Composition (language), in literature and rhetoric, producing a work in spoken tradition and written discourse, to include ...
''AB''. Starting with a row vector ''v'', the right action of the composed transformation is ''w'' = ''vAB''. After transposition,
:
Thus for ''AB'' the associated left
group action
In mathematics, a group action on a space is a group homomorphism of a given group into the group of transformations of the space. Similarly, a group action on a mathematical structure is a group homomorphism of a group into the automorphism ...
is
In the study of
opposite group
In group theory, a branch of mathematics, an opposite group is a way to construct a group from another group that allows one to define right action as a special case of left action.
Monoids, groups, rings, and algebras can be viewed as ca ...
s, the distinction is made between opposite group actions for the only groups for which these opposites are equal are commutative groups.
See also
*
Coordinate transformation
In geometry, a coordinate system is a system that uses one or more numbers, or coordinates, to uniquely determine the position of the points or other geometric elements on a manifold such as Euclidean space. The order of the coordinates is sig ...
*
Erlangen program
In mathematics, the Erlangen program is a method of characterizing geometries based on group theory and projective geometry. It was published by Felix Klein in 1872 as ''Vergleichende Betrachtungen über neuere geometrische Forschungen.'' It is nam ...
*
Symmetry (geometry)
*
Reflection Reflection or reflexion may refer to:
Science and technology
* Reflection (physics), a common wave phenomenon
** Specular reflection, reflection from a smooth surface
*** Mirror image, a reflection in a mirror or in water
** Signal reflection, in ...
*
Rigid transformation
In mathematics, a rigid transformation (also called Euclidean transformation or Euclidean isometry) is a geometric transformation of a Euclidean space that preserves the Euclidean distance between every pair of points.
The rigid transformations ...
*
Rotation
Rotation, or spin, is the circular movement of an object around a '' central axis''. A two-dimensional rotating object has only one possible central axis and can rotate in either a clockwise or counterclockwise direction. A three-dimensional ...
*
Topology
In mathematics, topology (from the Greek language, Greek words , and ) is concerned with the properties of a mathematical object, geometric object that are preserved under Continuous function, continuous Deformation theory, deformations, such ...
*
Transformation matrix
In linear algebra, linear transformations can be represented by matrices. If T is a linear transformation mapping \mathbb^n to \mathbb^m and \mathbf x is a column vector with n entries, then
T( \mathbf x ) = A \mathbf x
for some m \times n matrix ...
References
Further reading
*
*
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
David Gans ( he, דָּוִד בֶּן שְׁלֹמֹה גנז; 1541–1613), also known as Rabbi Dovid Solomon Ganz, was a Jewish chronicler, mathematician, historian, astronomer and astrologer. He is the author of "Tzemach David" (1592 ...
– ''Transformations and geometries''.
*{{cite book
, first1=David, last1=Hilbert, author1-link=David Hilbert
, first2=Stephan, last2=Cohn-Vossen, author2-link=Stephan Cohn-Vossen
, title = Geometry and the Imagination
, edition = 2nd
, year = 1952
, publisher = Chelsea
, isbn = 0-8284-1087-9
* John McCleary – ''Geometry from a Differentiable Viewpoint''.
* 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
Random House is an American book publisher and the largest general-interest paperback publisher in the world. The company has several independently managed subsidiaries around the world. It is part of Penguin Random House, which is owned by Germ ...
(I, II & III),
MAA (I, II, III & IV).
Geometry
Functions and mappings
Symmetry
Transformation (function)