Grupoide de Lie
Aparència
Un grupoide de Lie és un grupoide a on abdós, el grupoide i l'espai base són varietats i les funciones orige i final són funciones diferenciables que la seua diferencial és suryectiva, és dir són sumersiones suryectivas. Esta definició generalisa la de grup de Lie: els grups de Lie són els grupoides de Lie a on l'espai base és trivial.
Definició
[editar | editar còdic]- Un grupoide de Lie és un grupoide en base tal que
- , són varietats diferencials.
- , les aplicacions orige i final, són sumersiones sobreyectivas.
- , l'aplicació unitat, és diferenciable.
- La multiplicació és diferenciable.
Observar que si denotem la diagonal de , llavors . Com és una sumersión suryectiva, pel teorema de la funció inversa obtenim que és una subvariedad incrustada i tancada de i hereta la seua estructura diferenciable. Açò nos diu que té sentit parlar de que el producte o multiplicació és diferenciable.
Eixemples
[editar | editar còdic]- Siga un fibrado vectorial i és llineal , és dir totes les transformacions llineals entre fibres. Si , definim , l'orige de i , el destí de . Clarament Si , la composició només té sentit si . Si es definix Llavors existix un producte definit com dalt. D'esta forma és un grupoide en base , a on són les aplicacions orige i final, respectivament i l'identitat és l'isomorfisme identitat en cada fibra.
- Siga una varietat diferenciable i un grup de Lie. Llavors el grupoide trivial és un grupoide de Lie.
- Este artícul conté una traducció derivada de «Grupoide de Lie» de Wikipedia en castellà publicada baix la Llicència de documentació lliure de GNU i la Llicència Creative Commons Reconeiximent-CompartirIgual 4.0 Internacional.