En la geometría riemanniana o pseudoriemanniana (en particular la geometría lorentziana de la relatividad general ), la conexión Levi-Civita es la conexión única en el haz tangente de una variedad (es decir, conexión afín ) que conserva la métrica ( pseudo ) riemanniana y es la torsión. -libre.
El teorema fundamental de la geometría de Riemann establece que existe una conexión única que satisface estas propiedades.
En la teoría de variedades riemannianas y pseudo-riemannianas, el término derivada covariante se usa a menudo para la conexión Levi-Civita. Los componentes (coeficientes de estructura) de esta conexión con respecto a un sistema de coordenadas locales se denominan símbolos de Christoffel .
Historia
La conexión Levi-Civita lleva el nombre de Tullio Levi-Civita , aunque originalmente "descubierta" por Elwin Bruno Christoffel . Levi-Civita, [1] junto con Gregorio Ricci-Curbastro , utilizó los símbolos de Christoffel [2] para definir la noción de transporte paralelo y explorar la relación del transporte paralelo con la curvatura , desarrollando así la noción moderna de holonomía . [3]
En 1869, Christoffel descubrió que los componentes de la derivada intrínseca de un campo vectorial, al cambiar el sistema de coordenadas, se transforman como componentes de un vector contravariante. Este descubrimiento fue el verdadero comienzo del análisis tensorial.
En 1906, LEJ Brouwer fue el primer matemático en considerar el transporte paralelo de un vector para el caso de un espacio de curvatura constante . [4] [5]
En 1917, Levi-Civita señaló su importancia para el caso de una hipersuperficie inmersa en un espacio euclidiano , es decir, para el caso de una variedad riemanniana incrustada en un espacio ambiental "más grande". [1] Interpretó la derivada intrínseca en el caso de una superficie incrustada como el componente tangencial de la derivada habitual en el espacio afín ambiental. Las nociones de Levi-Civita de derivada intrínseca y desplazamiento paralelo de un vector a lo largo de una curva tienen sentido en una variedad riemanniana abstracta, aunque la motivación original se basó en una inserción específica.
En 1918, independientemente de Levi-Civita, Jan Arnoldus Schouten obtuvo resultados análogos. [6] En el mismo año, Hermann Weyl generalizó los resultados de Levi-Civita. [7] [8]
Notación
- ( M , g ) denota una variedad riemanniana o pseudo-riemanniana .
- TM es el paquete de la tangente de M .
- g es la de Riemann o métrica pseudo-riemanniana de M .
- X , Y , Z son campos vectoriales suaves en M , es decir, secciones suavesde TM .
- [ X , Y ] es el soporte de la mentira de X y Y . De nuevo es un campo vectorial suave.
La métrica g puede tomar hasta dos vectores o campos vectoriales X , Y como argumentos. En el primer caso, la salida es un número, el (pseudo-) producto interno de X y Y . En el último caso, el producto interno de X p , Y p se toma en todos los puntos p en el colector de manera que g ( X , Y ) define una función suave en M . Los campos vectoriales actúan (por definición) como operadores diferenciales en funciones suaves. En coordenadas locales, la acción dice
donde se usa la convención de suma de Einstein .
Definicion formal
Una conexión afín ∇ se llama conexión Levi-Civita si
- conserva la métrica , es decir, ∇ g = 0 .
- es de torsión exento , es decir, para cualquier vector campos X y Y tenemos ∇ X Y - ∇ Y X = [ X , Y ] , donde [ X , Y ] es el soporte de la mentira del vector campos X y Y .
La condición 1 anterior a veces se denomina compatibilidad con la métrica , y la condición 2 a veces se denomina simetría, cf. Haz el texto de Carmo.
Teorema fundamental de la (pseudo) geometría riemanniana
Teorema Toda variedad pseudoriemanniana tiene una conexión única con Levi Civita .
prueba : si existe una conexión Levi-Civita, debe ser única. Para ver esto, desentrañe la definición de la acción de una conexión sobre tensores para encontrar
Por tanto, podemos escribir la condición 1 como
Por la simetría del tensor métrico luego encontramos:
Por la condición 2, el lado derecho es, por tanto, igual a
y encontramos la fórmula de Koszul
Por lo tanto, si existe una conexión Levi-Civita, debe ser única, porque es arbitrario, es no degenerado, y el lado derecho no depende .
Para probar la existencia, tenga en cuenta que para un campo vectorial dado y , el lado derecho de la expresión de Koszul es una función lineal en el campo vectorial , no solo lineal real. Por lo tanto, por la no degeneración de, el lado derecho define de forma única un nuevo campo vectorial que denotamos sugestivamente como en el lado izquierdo. Al sustituir la fórmula de Koszul, ahora se comprueba que para todos los campos vectoriales, y todas las funciones
Por lo tanto, la expresión Koszul define, de hecho, una conexión, y esta conexión es compatible con la métrica y está libre de torsión, es decir, es una (de ahí la) conexión Levi-Civita.
Tenga en cuenta que, con variaciones menores, la misma prueba muestra que hay una conexión única que es compatible con la métrica y tiene torsión prescrita.
Símbolos de Christoffel
Dejar ser una conexión afín en el paquete tangente. Elija coordenadas locales con campos vectoriales de base de coordenadas y escribe por . Los símbolos de Christoffel de con respecto a estas coordenadas se definen como
Los símbolos de Christoffel definen a la inversa la conexión en el vecindario de coordenadas porque
es decir,
Una conexión afín es compatible con una métrica iff
es decir, si y solo si
Una conexión afín ∇ está libre de torsión si
es decir, si y solo si
es simétrico en sus dos índices inferiores.
Como se comprueba tomando por , coordinar campos vectoriales (o calcula directamente), la expresión Koszul de la conexión Levi-Civita derivada anteriormente es equivalente a una definición de los símbolos de Christoffel en términos de la métrica como
donde como de costumbre son los coeficientes del tensor métrico dual, es decir, las entradas de la inversa de la matriz .
Derivada a lo largo de la curva
La conexión de Levi-Civita (como cualquier conexión affine) también define un derivado de a lo largo de curvas , a veces denotado por D .
Dada una curva suave γ en ( M , g ) y un campo vectorial V a lo largo de γ, su derivada está definida por
Formalmente, D es la conexión de retroceso γ * ∇ en el paquete de retroceso γ * TM .
En particular, es un campo vectorial a lo largo de la propia curva γ . Sidesaparece, la curva se denomina geodésica de la derivada covariante. Formalmente, la condición se puede reformular como la desaparición de la conexión de retroceso aplicada a:
Si la derivada covariante es la conexión Levi-Civita de una determinada métrica, entonces las geodésicas para la conexión son precisamente aquellas geodésicas de la métrica que están parametrizadas proporcionalmente a la longitud de su arco.
Transporte paralelo
En general, el transporte paralelo a lo largo de una curva con respecto a una conexión define isomorfismos entre los espacios tangentes en los puntos de la curva. Si la conexión es una conexión Levi-Civita, entonces estos isomorfismos son ortogonales , es decir, conservan los productos internos en los diversos espacios tangentes.
Las imágenes a continuación muestran el transporte paralelo de la conexión Levi-Civita asociada a dos métricas riemannianas diferentes en el plano, expresadas en coordenadas polares . La métrica de la imagen de la izquierda corresponde a la métrica euclidiana estándar , mientras que la métrica de la derecha tiene forma estándar en coordenadas polares y, por lo tanto, conserva el vector tangente al círculo. Esta segunda métrica tiene una singularidad en el origen, como se puede ver al expresarla en coordenadas cartesianas:
Ejemplo: la esfera unitaria en R 3
Sea ⟨,⟩ el producto escalar habitual en R 3 . Sea S 2 la esfera unitaria en R 3 . El espacio tangente a S 2 en un punto m se identifica naturalmente con el subespacio vectorial de R 3 que consta de todos los vectores ortogonales am . De ello se deduce que un campo vectorial Y en S 2 puede verse como un mapa Y : S 2 → R 3 , que satisface
Denotar como d m Y ( X ) la derivada covariante del mapa Y en la dirección del vector X . Entonces nosotros tenemos:
- Lema: la fórmula
- define una conexión afín en S 2 con torsión que desaparece.
- Prueba: Es sencillo demostrar que ∇ satisface la identidad de Leibniz y es C ∞ ( S 2 ) lineal en la primera variable. También es un cálculo sencillo para mostrar que esta conexión está libre de torsión. Entonces, todo lo que debe probarse aquí es que la fórmula anterior de hecho define un campo vectorial. Es decir, necesitamos demostrar que para todo m en S 2
- Considere el mapa f que envía cada m en S 2 a ⟨ Y ( m ), m ⟩ , que es siempre 0. El mapa f es constante, de ahí su Vanishes diferenciales. En particular
- A continuación se muestra la ecuación (1) anterior. QED
De hecho, esta conexión es la conexión Levi-Civita para la métrica en S 2 heredada de R 3 . De hecho, se puede comprobar que esta conexión conserva la métrica.
Ver también
- Conexión Weitzenböck
Notas
- ↑ a b Levi-Civita, Tullio (1917). "Nozione di paralelismo in una varietà qualunque" [La noción de paralelismo en cualquier variedad]. Rendiconti del Circolo Matematico di Palermo (en italiano). 42 : 173-205. doi : 10.1007 / BF03014898 . JFM 46.1125.02 .
- ^ Christoffel, Elwin B. (1869). "Ueber die Transformation der homogenen Differentialausdrücke zweiten Grades" . Journal für die reine und angewandte Mathematik . 1869 (70): 46–70. doi : 10.1515 / crll.1869.70.46 .
- ^ Ver Spivak, Michael (1999). Una introducción completa a la geometría diferencial (Volumen II) . Publicar o perecer Press. pag. 238. ISBN 0-914098-71-3.
- ^ Brouwer, LEJ (1906). "Het krachtveld der niet-Euclidische, negatief gekromde ruimten". Koninklijke Akademie van Wetenschappen. Verslagen . 15 : 75–94.
- ^ Brouwer, LEJ (1906). "El campo de fuerza de los espacios no euclidianos con curvatura negativa". Koninklijke Akademie van Wetenschappen. Actas . 9 : 116-133.
- ^ Schouten, Jan Arnoldus (1918). "Die direkte Analysis zur neueren Relativiteitstheorie". Verhandelingen der Koninklijke Akademie van Wetenschappen Te Amsterdam . 12 (6): 95.
- ^ Weyl, Hermann (1918). "Gravitation und Elektrizitat". Sitzungsberichte Berliner Akademie : 465–480.
- ^ Weyl, Hermann (1918). "Reine Infinitesimal geometrie" . Mathematische Zeitschrift . 2 (3–4): 384–411. doi : 10.1007 / bf01199420 .
Referencias
- Boothby, William M. (1986). Una introducción a las variedades diferenciables y la geometría de Riemann . Prensa académica. ISBN 0-12-116052-1.
- Kobayashi, Shoshichi ; Nomizu, Katsumi (1963). Fundamentos de la geometría diferencial . John Wiley e hijos. ISBN 0-470-49647-9.Ver Volumen I pág. 158
enlaces externos
- "Conexión Levi-Civita" , Enciclopedia de Matemáticas , EMS Press , 2001 [1994]
- MathWorld: Conexión Levi-Civita
- PlanetMath: Conexión Levi-Civita
- Conexión Levi-Civita en Manifold Atlas