Transferencia paralela
La traslación paralela es un isomorfismo de capas sobre los extremos de una curva suave por tramos de la base de un haz suave , definida por alguna conexión dada en . En particular, un isomorfismo lineal de los espacios tangentes y , definido a lo largo de una curva por alguna conexión afín dada en .
![{\ estilo de visualización \ eta: E \ a B}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f1dca66170ea03bc61d6975d6dbbcbf5b93850d1)
![mi](https://wikimedia.org/api/rest_v1/media/math/render/svg/4232c9de2ee3eec0a9c0a19b15ab92daa6223f9b)
![{\displaystyle T_{\gamma (0)}(M)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/94ee96fd3e525dce25b14f5b59408a16aa43825d)
![{\displaystyle T_{\gamma (1)}(M)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c4d828e71ef848b686439e48808f65839cf43d69)
![{\ estilo de visualización \ gamma \ en M}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c9e4c574bcce05b99e8f917a3c0d50c9ca733922)
Traducción paralela a lo largo de una conexión afín
Deje que se dé una conexión afín en una variedad suave . Se dice que un vector se obtiene por traslación paralela de un vector a lo largo de una curva suave sin autointersecciones si existe un campo vectorial suave en la vecindad de esta curva con las siguientes propiedades:
![METRO](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![{\displaystyle X_{1}\en T_{\gamma (1)}(M)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c41ec99bef71c69bc17030861c56a408c09f6cae)
![{\displaystyle X_{0}\en T_{\gamma (0)}(M)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/568b9efd7b09be483b2b56e0ffc8a01d38eb1754)
![{\ estilo de visualización \ gamma: [0,1] \ a M}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0066953642fb00abb394327531cea098815cd1c8)
![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
- igualdades y se cumplen ;
![{\displaystyle X(\gamma (0))=X_{0))](https://wikimedia.org/api/rest_v1/media/math/render/svg/e3bc52eb2c16690543388ac460a88340efbc1af1)
![{\displaystyle X(\gamma (1))=X_{1))](https://wikimedia.org/api/rest_v1/media/math/render/svg/14fcbc7dc8b81af85efa8c80faa126d165c0b072)
- para cualquier valor , se mantiene la igualdad , donde el símbolo denota la derivada covariante y es el vector de velocidad .
![{\ estilo de visualización t \ en [0,1]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/31a5c18739ff04858eecc8fec2f53912c348e0e5)
![{\displaystyle \nabla_{{\dot {\gamma}}(t)}X=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6ff760c6bab016b45e39cc7237a5d9b2d94a5977)
![\nabla](https://wikimedia.org/api/rest_v1/media/math/render/svg/a3d0e93b78c50237f9ea83d027e4ebbdaef354b2)
![{\displaystyle {\dot {\gamma}}(t)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9dc803b9b734185548ca3c18bb50e78bc44c1b35)
![\gama](https://wikimedia.org/api/rest_v1/media/math/render/svg/a223c880b0ce3da8f64ee33c4f0010beee400b1a)
Comentario. Como en coordenadas locales la igualdad es cierta:
![{\displaystyle (\nabla_{\dot {\gamma }}X)^{i}={\frac {d}{dt}}X^{i}+\Gamma_{jk}^{i}\cdot X^{j}{\punto {\gamma}}^{k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0e5ba2ff7aebae6c5d053fec2c847c234a4009c3)
,
y en esta expresión no hay derivadas parciales de las componentes del vector , en la definición de traslación paralela no es necesario exigir que el campo vectorial esté definido en toda una vecindad del camino , basta que exista y sea suave a lo largo de este camino solo.
![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![\gamma (t)](https://wikimedia.org/api/rest_v1/media/math/render/svg/54fa4a5d64e164410e4a18106677bebefe1a1f1b)
Una traslación paralela a lo largo de una curva suave por partes (incluidas las curvas con autointersecciones) se define como una superposición de traslaciones paralelas a lo largo de sus partes suaves que no se intersecan a sí mismas.
A partir del concepto de traslación paralela de un vector, se definen
los conceptos de traslación paralela de un tensor de valencia arbitraria.
Propiedades de traslación paralela de vectores
- De acuerdo con la teoría de las ecuaciones diferenciales ordinarias, la solución del problema de Cauchy de una EDO lineal arbitraria continúa indefinidamente a lo largo de cualquier curva suave, por lo tanto, especificando un vector en el punto inicial e indicando un camino de traslación paralela, este vector se transfiere de forma única a cualquier punto de este camino.
- Al trasladar vectores a lo largo de la misma ruta, se conservan todas las relaciones lineales entre ellos.
- La transferencia de vectores es reversible: basta con transferir los vectores finales a lo largo del camino de retorno para obtener los vectores originales.
- Como consecuencia de las dos propiedades anteriores, resulta que el operador de traslación paralela a lo largo de una curva es un isomorfismo lineal de los espacios y .
![\gama](https://wikimedia.org/api/rest_v1/media/math/render/svg/a223c880b0ce3da8f64ee33c4f0010beee400b1a)
![{\displaystyle T_{\gamma (0)}(M)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/94ee96fd3e525dce25b14f5b59408a16aa43825d)
![{\displaystyle T_{\gamma (1)}(M)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c4d828e71ef848b686439e48808f65839cf43d69)
- Si una conexión afín es consistente con un tensor métrico en una variedad de Riemann ( la conexión de Levi-Civita ), entonces el operador de traducción es ortogonal, es decir, conserva los productos punto de los vectores, sus longitudes y los ángulos entre ellos.
- Una propiedad importante de la traducción paralela es también la independencia del resultado de la traducción de la parametrización de la ruta (las rutas equivalentes darán el mismo resultado). Al mismo tiempo, la traslación paralela a lo largo de diferentes curvas suele conducir a resultados diferentes.
Definiciones relacionadas
- Una geodésica es una trayectoria suave cuyo vector tangente en cada punto se obtiene por traslación paralela del vector tangente desde cualquier otro punto.
- El grupo de holonomía es el grupo de automorfismos del espacio tangente definido por traslaciones paralelas a lo largo de curvas suaves cerradas por tramos. Además, para una variedad conexa , y son siempre conjugados.
![{\ estilo de visualización \ Phi _ {x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/40af481870152429602be6feac604dee3161eaad)
![T_{x}M](https://wikimedia.org/api/rest_v1/media/math/render/svg/0e9a02a3b6f9a6808be3b99d0b27d1b97b4bb025)
![{\ estilo de visualización \ Phi _ {x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/40af481870152429602be6feac604dee3161eaad)
![{\ estilo de visualización \ Phi _ {y}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ebbf3ab35204b75a75045abe9daa2a23b00acdd)
Historia
El desarrollo del concepto de traslación paralela comenzó con el paralelismo habitual en el plano euclidiano, para lo cual
Minding en 1837 indicó la posibilidad de generalizarlo al caso de una superficie con la ayuda del concepto que introdujo de desplegar una curva sobre un avión _ Esta indicación de Minding sirvió como punto de partida para Levi-Civita , quien, formalizando analíticamente el transporte paralelo de un vector tangente sobre una superficie, descubrió su dependencia solo de la métrica de la superficie y, sobre esta base, la generalizó inmediatamente a la caso de espacio riemanniano -dimensional (ver conexión Levi-Civita ). Otras generalizaciones de este concepto están conectadas con el desarrollo de la teoría general de las conexiones.
![{\ estilo de visualización \ gamma \ en S}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec2e8910333957a110f6ab4c826676a934d2fd41)
![\matemáticas {R} ^{2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e150115ab9f63023215109595b76686a1ff890fd)
![norte](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
Literatura
- Rashevsky PK Geometría de Riemann y análisis tensorial. - Cualquier edición.
- Kobayashi Sh., Nomizu K. Fundamentos de geometría diferencial. — Instituto Novokuznetsk de Física y Matemáticas. - T. 1. - 344 pág. - ISBN 5-80323-180-0 .