In mathematics, an isometry, isometric isomorphism or congruence mapping is a distance-preserving isomorphism between metric spaces. Mathematics is the body of Knowledge and Academic discipline that studies such concepts as Quantity, Structure, Space and Distance is a numerical description of how far apart objects are In Abstract algebra, an isomorphism ( Greek: ἴσος isos "equal" and μορφή morphe "shape" is a bijective In Mathematics, a metric space is a set where a notion of Distance (called a metric) between elements of the set is defined Geometric figures which can be related by an isometry are called congruent. In Geometry, two sets of points are called congruent if one can be transformed into the other by an Isometry, i
Isometries are often used in constructions where one space is embedded in another space. In Mathematics, an embedding (or imbedding) is one instance of some Mathematical structure contained within another instance such as a group For instance, the completion of a metric space M involves an isometry from M into M', a quotient set of the space of Cauchy sequences on M. In Mathematical analysis, a Metric space M is said to be complete (or Cauchy) if every Cauchy sequence of points in M has In Mathematics, given a set X and an Equivalence relation ~ on X, the equivalence class of an element a in X In Mathematics, a Cauchy sequence, named after Augustin Cauchy, is a Sequence whose elements become arbitrarily close to each other as the sequence The original space M is thus isometrically isomorphic to a subspace of a complete metric space, and it is usually identified with this subspace. In Mathematical analysis, a Metric space M is said to be complete (or Cauchy) if every Cauchy sequence of points in M has Other embedding constructions show that every metric space is isometrically isomorphic to a closed subset of some normed vector space and that every complete metric space is isometrically isomorphic to a closed subset of some Banach space. In Topology and related branches of Mathematics, a closed set is a set whose complement is open. In Mathematics, with 2- or 3-dimensional vectors with real -valued entries the idea of the "length" of a vector is intuitive and can easily be extended to In Mathematics, Banach spaces (ˈbanax named after Polish Mathematician Stefan Banach) are one of the central objects of study in Functional analysis
Contents |
The notion of isometry comes in two main flavors: global isometry and a weaker notion path isometry or arcwise isometry. Both are often called just isometry and one should determine from context which one is intended.
Let X and Y be metric spaces with metrics dX and dY. In Mathematics, a metric space is a set where a notion of Distance (called a metric) between elements of the set is defined A map
is called distance preserving if for any
one has
. The Mathematical concept of a function expresses dependence between two quantities one of which is given (the independent variable, argument of the function A distance preserving map is automatically injective.
A global isometry is a bijective distance preserving map. In Mathematics, a bijection, or a bijective function is a function f from a set X to a set Y with the property A path isometry or arcwise isometry is a map which preserves the lengths of curves (not necessarily bijective). In Mathematics, the concept of a curve tries to capture the intuitive idea of a geometrical one-dimensional and continuous object
Two metric spaces X and Y are called isometric if there is an isometry from X to Y. The set of isometries from a metric space to itself forms a group with respect to function composition, called the isometry group. In Mathematics, a group is a set of elements together with an operation that combines any two of its elements to form a third element In Mathematics, a composite function represents the application of one function to the results of another In Mathematics, the isometry group of a Metric space is the set of all isometries from the metric space onto itself with the Function composition
R defined by
is a path isometry but not a global isometry. Given two normed vector spaces V and W, a linear isometry is a linear map f : V → W that preserves the norms:

for all v in V. In Mathematics, with 2- or 3-dimensional vectors with real -valued entries the idea of the "length" of a vector is intuitive and can easily be extended to In Mathematics, a linear map (also called a linear transformation, or linear operator) is a function between two Vector spaces that Linear isometries are distance-preserving maps in the above sense. They are global isometries if and only if they are surjective. In Mathematics, a function f is said to be surjective or onto, if its values span its whole Codomain; that is for every
between metric spaces such that
one has | dY(f(x),f(x')) − dX(x,x') | < ε, and
there exists a point
with dY(y,f(x)) < ε. Felix Hausdorff ( November 8, 1868 &ndash January 26, 1942) was a German Mathematician who is considered to be one of the founders