Pagina 2 di 2

Re: Algebra di lie di un gruppo di lie

MessaggioInviato: 15/09/2018, 22:57
da killing_buddha
Anzitutto c'è un refuso, $Z$ non esiste, deve essere una $Y$. Poi. Basta usare che $X,Y$ sono derivazioni, sull'espressione
\[
[fX,gY](z) = fX(g.Y(z)) - g.Y(fX(z)) = f.X(g)Y(z)+fg.X(Y(z)) - \dots
\] (se metto un punto, sto usando la struttura di $C^\infty(M)$-modulo di $\mathfrak X(M)$; se metto le parentesi, sto usando il fatto che $\mathfrak X(M)\cong \text{Der}(M)$ è lo spazio delle derivazioni $TM\to RR$.

Re: Algebra di lie di un gruppo di lie

MessaggioInviato: 16/09/2018, 09:18
da MementoMori
Grazie. Mi riferivo al punto 3 del primo foglio del primo post

Re: Algebra di lie di un gruppo di lie

MessaggioInviato: 16/09/2018, 09:24
da killing_buddha
Non è che fosse chiarissimo cosa volessi... :P ma TeXare una domanda completa fin dall'inizio era troppa fatica?

Re: Algebra di lie di un gruppo di lie

MessaggioInviato: 16/09/2018, 09:27
da MementoMori
Si hai ragione