## 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 a formula is part of the Gentzen System by LadyAnne

Mar 30

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

new problem: Problem: Show that phi(a^n-1), (where phi is the Euler totient function), is divisible by n for any natural number n and any natural number a >1. by mbhatia

new problem: MSC browser just displays "No articles found. Up to ." by jaimeglz

Mar 26

new correction: Misspelled name by DavidSteinsaltz

Mar 21

new correction: underline-typo by Filipe

Mar 19

new correction: cocycle pro cocyle by pahio

Mar 7

new image: plot W(t) = P(waiting time <= t) (2nd attempt) by robert_dodier

new image: expected waiting time by robert_dodier

new image: plot W(t) = P(waiting time <= t) by robert_dodier