View source for Similarity

{{TEX|done}}
A transformation of a Euclidean space in which for any two points $A$ and $B$ and their transforms $A'$ and $B'$ one has $|A'B'|=k|AB|$, where $k$ is a positive number called the similarity coefficient.

Any [[Homothety|homothety]] is a similarity. An [[Isometric mapping|isometric mapping]] (including the identity) can also be regarded as a similarity with coefficient $k$ equal to one. A figure $F$ is said to be similar to a figure $F'$ if there exists a similarity under which $F\to F'$. Similarity of figures is an equivalence relation, i.e. it has the properties of reflexivity, symmetry and transitivity. A similarity is a one-to-one mapping of a Euclidean space onto itself; a similarity also retains the order of points on a straight line, i.e. if a point $B$ lies between points $A$ and $C$, while $B'$, $A'$ and $C'$ are the corresponding images under some similarity, then $B'$ lies between $A'$ and $C'$; points not lying on a straight line, under any similarity, become points not lying on one straight line. A similarity transforms a straight line into a straight line, a segment into a segment, a ray into a ray, an angle into an angle, and a circle into a circle. Under a similarity, an angle retains its value.

A similarity with coefficient $k\neq1$ that transforms each straight line into a straight line parallel to it is a homothety with coefficient $k$ or $-k$. Any similarity can be considered as a composition of a motion $D$ and some homothety $\Gamma$ with a positive coefficient.

A similarity is called proper (improper) if the [[Motion|motion]] $D$ is proper (improper). A proper similarity retains the orientation of a figure, while an improper similarity reverses the orientation.

Analogously, one defines a similarity (with retention of the above properties) in the $3$-dimensional Euclidean space, and also in the $n$-dimensional Euclidean and pseudo-Euclidean spaces.

A similarity is defined in an $n$-dimensional Riemannian, pseudo-Riemannian or Finsler space as a transformation that converts the metric of the space into itself up to a constant factor.

The set of all similarities of the $n$-dimensional Euclidean, pseudo-Euclidean, Riemannian, pseudo-Riemannian, or Finsler space constitutes an $r$-dimensional Lie transformation group, which is called the group of similarity (homothetic) transformations for the corresponding space. In each of the spaces of these types, the Lie group of similarity transformations with $r$ parameters contains a normal subgroup of isometries of $r-1$ dimensions.

Interest arises in metric spaces of vector densities with groups of similarities and isometries containing infinite-dimensional subgroups of isometries with common trajectories.



====Comments====


====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  E. Artin,   "Geometric algebra" , Interscience  (1957)  pp. Chapt. II</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  H.S.M. Coxeter,   "Introduction to geometry" , Wiley  (1969)  pp. 72–76</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  M. Berger,   "Geometry" , '''I''' , Springer  (1987)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  A.L. Besse,   "Einstein manifolds" , Springer  (1987)</TD></TR></table>