title: Grupoide de Lie
text: # Grupoide de Lie
  
  Un grupoide de Lie es un grupoide donde ambos, el grupoide y el espacio base son variedades y las funciones origen y final son funciones diferenciables cuya diferencial es suryectiva, es decir son sumersiones suryectivas. Esta definición generaliza la de grupo de Lie: los grupos de Lie son los grupoides de Lie donde el espacio base es trivial.
  
  # Grupoide de Lie
  ## Definición
  
  * Un grupoide de Lie es un $G$ grupoide con base $M$ tal que
  ** $G$, $M$ son variedades diferenciales.
  ** $s,t:G\to M$, las aplicaciones origen y final, son sumersiones sobreyectivas.
  ** $1:M\to G$, la aplicación unidad, es diferenciable.
  ** La multiplicación $G*G\to G$ es diferenciable.
  Observar que si denotamos $\Delta _{M}$ la diagonal de $M$, entonces $G*G=(s\times t)^{-1}(\Delta _{M})$. Como $s\times t$ es una sumersión suryectiva, por el teorema de la función inversa obtenemos que $G*G$ es una subvariedad incrustada y cerrada de $G\times G$ y hereda su estructura diferenciable. Esto nos dice que tiene sentido hablar de que el producto o multiplicación es diferenciable.
  
  # Grupoide de Lie
  ## Ejemplos
  
  * Sea $(E,q,M)$ un fibrado vectorial y $\Phi (E):=\{\xi :E_{x}\to E_{y}/x,y\in M,\xi$ es lineal $\$, es decir todas las transformaciones lineales entre fibras. Si $\xi :E_{x}\to E_{y}\in \Phi$, definimos $s(\xi )=x$, el origen de $\xi$ y $t(\xi )=y$, el destino de $\xi$. Claramente $s,t:\Phi \to M.$ Si $\xi ,\eta \in \Phi (E)$, la composición $\eta \xi$ sólo tiene sentido si $t(\xi )=s(\eta )$. Si se define $\Phi (E)*\Phi (E):=\{(\eta ,\xi )\in \Phi (E)\times \Phi (E):t(\xi )=s(\eta )\}$ Entonces existe un producto $\Phi (E)*\Phi (E)\to \Phi (E)$ definido como arriba. De esta forma $\Phi (E)$ es un grupoide con base $M$, donde $s,\,t$ son las aplicaciones origen y final, respectivamente y la identidad es el isomorfismo identidad en cada fibra.
  * Sea $M$ una variedad diferenciable y $G$ un grupo de Lie. Entonces el grupoide trivial $M\times G\times M\rightrightarrows M$ es un grupoide de Lie.
  * Datos: Q6543824