Una isometr�a es una aplicaci�n matem�tica entre dos espacios m�tricos que conserva

las distancias entre los puntos. Es decir, las isometr�as son los morfismos de la
categor�a de espacios m�tricos. Dado un espacio eucl�deo de dos o tres dimensiones,
dos figuras u objetos se dice que existe isometr�a cuando son congruentes entre s�,
o viceversa. Es el caso de las rotaciones, las traslaciones, las reflexiones y las
composiciones.

Las isometr�as se usan en ocasiones para una construcci�n donde un espacio M' es
dependiente de otro espacio M.

�ndice
1 Definici�n
2 Ejemplos
3 Grupo de isometr�a
4 Isometr�a lineal
5 V�ase tambi�n
Definici�n
Formalmente si E1 y E2 son dos espacios m�tricos una isometr�a f viene definida por
lo siguiente:

{\displaystyle \varphi :E_{1}\to E_{2}\qquad \forall (x,y)\in E_{1}\times E_{1}:\

d_{1}(x,y)=d_{2}(\varphi (x),\varphi (y))}{\displaystyle \varphi :E_{1}\to
E_{2}\qquad \forall (x,y)\in E_{1}\times E_{1}:\ d_{1}(x,y)=d_{2}(\varphi
(x),\varphi (y))}

Siendo d1(�,�) y d2(�,�) las respectivas funciones de distancia en los dos espacios
m�tricos E1 y E2.

Ejemplos
Una rotaci�n en el espacio eucl�deo es una isometr�a del espacio eucl�deo
tridimensional.
Una traslaci�n en el espacio eucl�deo es una isometr�a, tambi�n lo es la
composici�n de un n�mero arbitrario de traslaciones y rotaciones. El conjunto de
todas las rotaciones y traslaciones de un espacio eucl�deo n-dimensional forman un
grupo de isometr�a de dimensi�n {\displaystyle n+(n(n-1)/2)}{\displaystyle n+(n(n-
1)/2)}.
El operador de evoluci�n temporal {\displaystyle U_{t}:S\to \mathbb {R} ^{3}}
{\displaystyle U_{t}:S\to \mathbb {R} ^{3}}, que describe el movimiento de un
s�lido r�gido S es un grupo uniparam�trico de isometr�as del espacio eucl�deo
tridimensional.
Cada operador unitario {\displaystyle {\hat {\mathbf {U} }}_{t}=\exp(i{\hat
{\mathbf {H} }}t/\hbar )}{\displaystyle {\hat {\mathbf {U} }}_{t}=\exp(i{\hat
{\mathbf {H} }}t/\hbar )} que da la evoluci�n de un sistema cu�ntico cuyo
hamiltoniano es {\displaystyle {\hat {\mathbf {H} }}}{\displaystyle {\hat {\mathbf
{H} }}} es una isometr�a sobre un espacio de Hilbert de dimensi�n infinita.
La traslaci�n es una isometr�a af�n en la que una figura es desplazada a otra
posici�n que no es la original manteniendo igualmente todas las propiedades de la
primera figura.
Otro tipo de isometr�a af�n m�s conocido es la simetr�a en la que todos los puntos
de una figura u objeto mantienen una relaci�n con respecto de un punto, recta o
plano (referencia). Seg�n su tipo se pueden diferenciar simetr�a central(con
respecto de un punto), simetr�a axial(con respecto de una recta) o simetr�a
bilateral(con respecto de un plano).
La rotaci�n es una isometr�a af�n en la que que se gira un objeto con respecto a un
punto exterior o del propio objeto, o de acuerdo a otros par�metros com un �ngulo o
un sentido frecuentemente dado por un vector.

Grupo de isometr�a
Art�culo principal: Grupo de isometr�a
El conjunto de todas las aplicaciones que son isometr�as de un conjunto contenido
en un espacio m�trico forma un grupo conocido como grupo de isometr�a del conjunto.
En un espacio eucl�deo de dimensi�n n el grupo de isometr�a {\displaystyle
G_{iso}\,}{\displaystyle G_{iso}\,} de cualquier conjunto es un subgrupo del grupo
producto formado a partir del grupo ortogonal y el grupo de traslaciones:

{\displaystyle G_{iso}\subset O(n)\times \mathbb {R} ^{n}}{\displaystyle

G_{iso}\subset O(n)\times \mathbb {R} ^{n}}

Isometr�a lineal
Dados dos espacios vectoriales normalizados V y W,una isometr�a lineal es un mapa
lineal f : V ? W que se ajusta a:

{\displaystyle \|f(v)\|=\|v\|}{\displaystyle \|f(v)\|=\|v\|}

para todo v en V.

Se da el caso para isometr�as generales, s� solo si son subyectivas. Seg�n el

teorema de Mazur-Ulam, cualquier espacio vectorial normalizado en el campo de los
n�meros reales es isometr�a af�n.