Discussioni su problemi, esercizi e teoremi che riguardano la geometria, l'algebra lineare e la topologia
15/09/2018, 22:57
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$.
16/09/2018, 09:18
Grazie. Mi riferivo al punto 3 del primo foglio del primo post
Ultima modifica di
MementoMori il 16/09/2018, 09:28, modificato 2 volte in totale.
16/09/2018, 09:24
Non è che fosse chiarissimo cosa volessi...
ma TeXare una domanda completa fin dall'inizio era troppa fatica?
16/09/2018, 09:27
Si hai ragione
Skuola.net News è una testata giornalistica iscritta al Registro degli Operatori della Comunicazione.
Registrazione: n° 20792 del 23/12/2010.
©2000—
Skuola Network s.r.l. Tutti i diritti riservati. — P.I. 10404470014.