## You are here

Homeisometry

## Primary tabs

# isometry

Let $(X_{1},d_{1})$ and $(X_{2},d_{2})$ be metric spaces.
A function $f\colon X_{1}\to X_{2}$ is said to be an *isometric mapping*
(or *isometric embedding*) if

$d_{1}(x,y)=d_{2}(f(x),f(y))$ |

for all $x,y\in X_{1}$.

Every isometric mapping is injective, for if $x,y\in X_{1}$ with $x\neq y$ then $d_{1}(x,y)>0$, and so $d_{2}(f(x),f(y))>0$, and then $f(x)\neq f(y)$. One can also easily show that every isometric mapping is continuous.

An isometric mapping that is surjective (and therefore bijective)
is called an *isometry*.
(Readers are warned, however,
that some authors do not require isometries to be surjective;
that is, they use the term isometry
for what we have called an isometric mapping.)
Every isometry is a homeomorphism.

If there is an isometry between the metric spaces $(X_{1},d_{1})$ and $(X_{2},d_{2})$,
then they are said to be *isometric*.
Isometric spaces are essentially identical as metric spaces,
and in particular they are homeomorphic.

Given any metric space $(X,d)$,
the set of all isometries $X\to X$ forms a group under composition.
This group is called the *isometry group*
(or *group of isometries*) of $X$,
and may be denoted by $\operatorname{Iso}(X)$ or $\operatorname{Isom}(X)$.
In general, an (as opposed to the) isometry group
(or group of isometries) of $X$ is any subgroup of $\operatorname{Iso}(X)$.

## Mathematics Subject Classification

54E35*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

new question: Prove that for any sets A, B, and C, An(BUC)=(AnB)U(AnC) by St_Louis

Apr 20

new image: information-theoretic-distributed-measurement-dds.png by rspuzio

new image: information-theoretic-distributed-measurement-4.2 by rspuzio

new image: information-theoretic-distributed-measurement-4.1 by rspuzio

new image: information-theoretic-distributed-measurement-3.2 by rspuzio

new image: information-theoretic-distributed-measurement-3.1 by rspuzio

new image: information-theoretic-distributed-measurement-2.1 by rspuzio

Apr 19

new collection: On the Information-Theoretic Structure of Distributed Measurements by rspuzio

Apr 15

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia