|
2 | added 235 characters in body | ||
|
For 2: it is the unique extension of the total differential $d:C^\infty(M)\to\Omega^1(M)$ to a graded derivation of the algebra $\Omega^\bullet(M)$ of differential forms. The map $d:C^\infty(M)\to\Omega^1(M)$ itself has a nice characterization as a universal derivation of the algebra $C^\infty(M)$ of functions satisfying certain rather reasonable conditions---this follows from Jaak Peetre's theorem. |
||||
|
|
1 |
|
||
|
For 2: it is the unique extension of the total differential $d:C^\infty(M)\to\Omega^1(M)$ to a graded derivation of the algebra $\Omega^\bullet(M)$ of differential forms. |
||||
