Isometry

An isometry is a mathematical transformation that preserves distance. In a metric space, which is a set of points with a defined way to measure distance, an isometry maps elements such that the distance between any two points remains unchanged. The term comes from the Ancient Greek words "isos," meaning equal, and "metron," meaning measure. When a transformation maps a metric space to itself, it is often called a motion. This concept is vital because it defines how objects can move or change position without altering their fundamental size or shape.

To understand how an isometry works, consider two points, $a$ and $b$, in a metric space. If we apply an isometry to these points, the distance between the new points must be exactly the same as the original distance. Because of this rule, an isometry is automatically injective. This means it is impossible for two different points to be mapped to the same single point. If they were, the distance between them would become zero, which would break the rule of preserving distance. A global isometry, or congruence mapping, is a bijective isometry. This means it is a perfect one-to-one correspondence that can be reversed using an inverse function.

Isometries can be categorized into different types based on how they affect a space. In Euclidean space, such as a flat plane or 3D space, isometries are either direct or opposite. A direct isometry is a rigid motion that does not flip the orientation of a shape. This includes translations, which are simple slides, and rotations, which are turns around a fixed point. An opposite isometry changes the orientation, much like looking in a mirror. These include reflections and glide reflections. A glide reflection is a composition of a translation and a reflection.

History and theory provide deeper layers to these movements. The Mazur-Ulam theorem is a significant result regarding isometries in normed vector spaces. This theorem states that any isometry between such spaces is affine. An affine map is a transformation that preserves points, straight lines, and planes. In the context of inner product spaces, isometries also preserve inner products and angles. This makes a linear isometry a conformal linear transformation. These mathematical proofs help define the boundaries of how shapes can move within structured mathematical environments.

Isometries are also used to study more complex structures called manifolds. A manifold is a mathematical space that locally resembles Euclidean space. In Riemannian geometry, an isometry is a smooth mapping between manifolds that preserves the metric tensor. This tensor is the tool used to calculate distances on the manifold. If a mapping is a diffeomorphism and an isometry, it is called an isometric isomorphism. This provides a formal way to say that two different-looking manifolds are actually the same in terms of their internal geometry.

There are several specialized versions of this concept used in advanced mathematics. A path isometry, or arcwise isometry, only preserves the lengths of curves rather than the direct distance between all points. This is a weaker version because it does not have to be bijective or injective. There is also the concept of an $\epsilon$-isometry, which is an almost isometry. In an $\epsilon$-isometry, distances are preserved within a very small margin of error, denoted by $\epsilon$. This is often used in the study of Hausdorff approximations.

Finally, isometries connect to many broader fields of study. The set of all bijective isometries of a metric space forms a mathematical structure called an isometry group. When this group is continuous, its infinitesimal generators are known as Killing vector fields. Isometries are essential in many embedding constructions. For example, every metric space can be shown to be isometrically isomorphic to a closed subset of a normed vector space. This allows mathematicians to study abstract spaces by placing them inside more familiar, well-behaved environments.