Teorema fundamental de la geometría de Riemann

En geometría de Riemann, el teorema fundamental de la geometría de Riemann establece que dado una variedad de Riemann (o una variedad seudoriemanniana) hay una única conexión libre de torsión que preserva el tensor métrico. Tal conexión se llama conexión de Levi-Civita.

Más exactamente:

Sea una variedad de Riemann (o variedad pseudoriemanniana) entonces hay una conexión única que satisface las condiciones siguientes:

  1. para cualesquiera campos vectoriales tenemos , donde denota la derivada de la función a lo largo del campo vectorial .
  2. para cualesquiera campos vectoriales tenemos , donde denota el corchete de Lie para los campos vectoriales .

La prueba técnica siguiente presenta una fórmula para los símbolos de Christoffel de la conexión en un conjunto coordenado local. Para una métrica dada este conjunto de ecuaciones puede llegar a ser algo complicado. Hay métodos más rápidos y más simples de obtener los símbolos de Christoffel para una métrica dada, e.g. con la integral de acción y las ecuaciones asociadas de Euler-Lagrange.

  • demostración

Demostración

En esta prueba utilizamos la notación de Einstein.

Considérese el conjunto coordinado local y denotemos por el campo de los marcos de base.

Los componentes son números reales del tensor métrico aplicado a una base, es decir

Para especificar la conexión es suficiente especificar los símbolos de Christoffel .

Puesto que son los campos coordenados vectoriales tenemos que

para todos i y j. Por lo tanto la segunda propiedad es equivalente a

lo cuál es equivalente a para todos los i, j y k.

La primera propiedad de la conexión de Levi-Civita (arriba) entonces es equivalente a

.

Esto da la relación única entre los símbolos de Christoffel (que definen la derivada covariante) y los componentes del tensor métrico.

Podemos invertir esta ecuación y expresar los símbolos de Christoffel con un pequeño truco, escribiendo a esta ecuación tres veces con una elección práctica de los índices

Sumando, la mayoría de los términos en el lado derecho se cancelan y nos quedamos con

O con el inverso de , definido como (con la delta de Kronecker)

escribimos los símbolos de Christoffel como

Es decir los símbolos de Christoffel (y por lo tanto la derivada covariante) son determinados totalmente por la métrica, con las ecuaciones que implican la derivada de la métrica.

Other Languages