Considere la posibilidad de un local isometría $\varphi: \mathbb R^n \to M$. Esto induce a una nueva métrica cuyas propiedades pueden verse de la siguiente manera. Deje $\underline \varphi$ ser el diferencial ("matriz Jacobiana")de $\varphi$, y deje $\overline \varphi$ ser el diferencial del adjoint ("transpose").
Los vectores de tangentes en $M$ puede luego ser llevada a $\mathbb R^n$$\underline \varphi^{-1}$, y la cotangente vectores $\overline \varphi$. Esto nos permite utilizar la métrica Euclidiana de $\mathbb R^n$ para calcular longitudes y distancias en $M$.
Supongamos que tenemos una curva de $c(t): I \to M$. Encontrar la longitud de esta curva por una integral:
$$\ell = \int_a^b \sqrt{ \left (\underline \varphi^{-1}[c'(t)] \cdot \underline \varphi^{-1}[c'(t)]\right)} \, dt$$
Tire hacia atrás de la tangente de los vectores de a $\mathbb R^n$ y, a continuación, encontrar la longitud como de costumbre.
Ahora, ¿qué podemos hacer para hablar acerca de las áreas y definir una cuña producto de la tangente o cotangente vectores, uno que es antisimétrica en el intercambio. Deje $d(u,v)$ traza una superficie en $M$, $\partial_u d$ $\partial_v d$ son vectores, y podemos denotar un área infinitesimal elemento por $\partial_u d \wedge \partial_v d \, du \, dv$. Aún así, tenemos que tener un "producto escalar" de este objeto con sí mismo para llegar a un escalar, y tenemos a la raíz cuadrada de que para llegar a una zona (no voy a explicar cómo este producto escalar se define, pero sí existe y tiene una definición concreta).
$$A = \int \int \sqrt{ \left (\underline \varphi^{-1}[\partial_u d \wedge \partial_v d] \cdot \underline \varphi^{-1}[\partial_u d \wedge \partial_v d ] \right)} \, du \, dv$$
Cuando llegamos a $n$-volúmenes, es la misma historia. Pero aquí es donde las cosas se ponen muy interesante: resulta que $\underline \varphi^{-1}(v_1 \wedge \ldots \wedge v_n) = v_1 \wedge \ldots \wedge v_n/\alpha$ donde $\alpha$ es algunos escalares. Esta $\alpha$ es, por definición, el factor determinante de la $\underline \varphi$, por lo que un $n$ volumen integral se convierte en
$$V_n = \int [\det \underline \varphi]^{-1} \sqrt{(v_1 \wedge \ldots \wedge v_n)^2} \, d^n x$$
A menudo escribimos en lugar de que esta es la raíz cuadrada de la métrica general de los espacios. Usted puede verificar que la métrica de $\underline g'$ $M$ depende de $\overline \varphi^{-1} \underline \varphi^{-1}$, lo $\det \underline g' = [\det \underline \varphi]^{-2}$.
Así una noción de longitud, un nuevo sistema--naturalmente va a llevar a diferentes mediciones de volúmenes, pero el volumen sigue relacionados con el determinante de la métrica en cada espacio. Es sólo en coordenadas cartesianas para el espacio Euclidiano, donde la métrica es la identidad, que tomando el determinante de los vectores funciona de la misma como la integral anterior, con el determinante de la métrica que aparecen así.
La métrica determina las longitudes, como se define en el interior del producto, y las medidas del volumen dependen de él así.