title: Transporte paralelo
text: # Transporte paralelo
  
  En matemáticas, un transporte paralelo en una variedad M con conexión especificada es un modo de transportar vectores sobre curvas diferenciables de manera que permanezcan "paralelos" respecto a la conexión dada.
  
  # Transporte paralelo
  ## Campos paralelos sobre curvas diferenciables
  
  Un campo vectorial $X$ sobre una curva diferenciable $\gamma$ se llama paralelo si
      $\nabla _{{\dot {\gamma }}(t)}X=0$
  para cualquier t. La interpretación de la fórmula anterior es que derivar covariantemente el campo $X$ respecto al vector tangente ${\dot {\gamma }}(t)$ a la curva $\gamma (t)$, como el ángulo entre dos vectores es uno de los aspectos que podría variar, en variedades de Riemann donde se puede definir la noción de ángulo la ecuación anterior, implica que el ángulo se mantiene constante y, por tanto, que el vector $X$ es transportado paralelamente ya que su inclinación respecto a la curva no varía.
  
  # Transporte paralelo
  ## Transporte paralelo
  
  Sean M una variedad diferenciable con conexión $\nabla$ y $\gamma :I\longrightarrow M$ una curva suave. Sean $t_{0}\in I$ y $\omega _{0}\in T_{\gamma (t_{0})}M$. Entonces existe un único campo vectorial paralelo ω a lo largo de $\gamma$ tal que $\omega (t_{0})=\omega _{0}$. $\omega$ se llama transporte paralelo de $\omega _{0}$ a lo largo de $\gamma$.
  Dada una métrica con unos correspondientes Símbolos de Christoffel, las ecuaciones que debe cumplir un campo vectorial $V(t)=(v_{1}(t),\dots ,v_{n}(t))$ para ser transporte paralelo a lo largo de la curva $c(t)=(c_{1}(t),\dots ,c_{n}(t))$ son:
  $v_{k}'(t)+\sum _{i,j=1}^{n}v_{i}(t)c_{j}'(t)\Gamma _{ji}^{k}(c_{1}(t),\dots ,c_{n}(t))=0~\forall k\in \{1,\dots ,n\}$
  A esto se le añade el dato inicial:
  $v_{k}(0)=v_{0}~\forall k\in \{1,\dots ,n\}$
  Este sistema de ecuaciones diferenciales lineales tiene solución única, con lo que se garantiza la existencia y unicidad del transporte paralelo.
  
  # Transporte paralelo
  ## Geodésicas
  
  Las geodésicas en variedades (seudo-)Riemannianas se definen de la siguiente manera. Sea M una variedad diferenciable con conexión $\nabla$. Una curva diferenciable $\gamma :I\longrightarrow M$ es una geodésica si ${\dot {\gamma }}$ (como campo vectorial a lo largo de $\gamma$) es paralelo a lo largo de sí misma. En otras palabras, si
      $\nabla _{{\dot {\gamma }}(t)}{\dot {\gamma }}=0$
  
  # Transporte paralelo
  ## Campos vectoriales paralelos y geodésicos
  
  Un campo vectorial $X$ sobre M se denomina paralelo si
      $\nabla _{v}X=0\quad \forall v\in TM$
  y geodésico si
      $\nabla _{X}X=0$.
  
  # Transporte paralelo
  ## Ejemplo
  
  * En el espacio usual n-dimensional $\mathbb {R} ^{n}$, todos los Símbolos de Christoffel son $0$, por lo que el transporte paralelo que lleva $\omega$ a lo largo de la curva $c(t)$ es $V(t)=\omega ~\forall t$.
  
  # Transporte paralelo
  ## Recuperación de la conexión a partir del transporte paralelo
  
  Dada una derivada covariante ∇, el transporte paralelo sobre la curva γ se obtiene integrando la igualdad $\scriptstyle {\nabla _{\dot {\gamma }}=0}$. Por el contrario, en el caso de que sea posible dar una noción concreta del transporte paralelo, entonces se puede obtener a partir de este, diferenciando, su correspondiente conexión.
  Si consideramos la colección de funciones que envían cada curva γ de la variedad a esa misma curva en otro punto
      $\Gamma (\gamma )_{s}^{t}:E_{\gamma (s)}\rightarrow E_{\gamma (t)}$
  (donde $E$ es un espacio vectorial) y de forma que
  * $\Gamma (\gamma )_{s}^{s}=Id$, la transformación identidad de E$_{γ(s)}$.
  * $\Gamma (\gamma )_{u}^{t}\circ \Gamma (\gamma )_{s}^{u}=\Gamma (\gamma )_{s}^{t}.$
  * La dependencia de $\Gamma$; en γ, s, y t es suave.
  Dada tal descripción del transporte paralelo, entonces es posible recuperar la conexión asociada en E de la siguiente forma. Dada γ una curva diferenciable en la variedad M con punto inicial γ(0) y con vector tangente X = γ′(0). si V es una sección de E a través de γ, entonces consideremos
      $\nabla _{X}V=\lim _{h\to 0}{\frac {\Gamma (\gamma )_{h}^{0}V_{\gamma (h)}-V_{\gamma (0)}}{h}}=\left.{\frac {d}{dt}}\Gamma (\gamma )_{t}^{0}V_{\gamma (t)}\right|_{t=0}.$
  Justo esta definición define la conexión ∇ en E utilizada para definir inicialmente el campo paralelo que hemos considerado. Se puede comprobar también, que dada esta conexión, se obtiene el mismo transporte $\Gamma$.