HOME

TheInfoList



OR:

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 \mathbb^2 or both \mathbb^3 — 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 w^T = (vA)^T = A^T v^T . 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, :w^T = (vAB)^T = (AB)^Tv^T = B^T A^T v^T . 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 B^T A^T . 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)