Content deleted Content added
Line 422:
To lighten the notation, put <math>E = \Gamma(M, T M)</math> and so <math>E^* = \Gamma(M, T^* M)</math>.<ref>This is actually the ''definition'' of differential one-forms, global sections of <math>T^*M</math>, in Helgason, but is equivalent to the usual definition that does not use module theory.</ref> When ''p'', ''q'' ≥ 1, for each (''k'', ''l'') with 1 ≤ ''k'' ≤ ''p'', 1 ≤ ''l'' ≤ ''q'', there is an ''R''-multilinear map:
:<math>E^p \times {E^*}^q \to \mathfrak{T}^{p-1}_{q-1}, \, (X_1, \dots, X_p, \omega_1, \dots, \omega_q) \mapsto \langle X_k, \omega_l \rangle X_1\otimes \cdots\otimes \widehat{X_l}\otimes \cdots\otimes X_p \otimes \omega_1\otimes \cdots, \widehat{\omega_l}\otimes \cdots\otimes \omega_q
where <math>E^p</math> means <math>\prod_1^p E</math> and the hat means a term is omitted. By the universal property, it corresponds to a unique ''R''-linear map:
| |||