Formal Definition
Let M be a smooth manifold and E → M be a smooth vector bundle over M. We denote the space of smooth sections of a bundle E by Γ(E). A E-valued differential form of degree p is a smooth section of the tensor product bundle of E with Λp(T*M), the p-th exterior power of the cotangent bundle of M. The space of such forms is denoted by
Because Γ is a monoidal functor, this can also be interpreted as
where the latter two tensor products are the tensor product of modules over the ring Ω0(M) of smooth R-valued functions on M (see the fifth example here). By convention, an E-valued 0-form is just a section of the bundle E. That is,
Equivalently, a E-valued differential form can be defined as a bundle morphism
which is totally skew-symmetric.
Let V be a fixed vector space. A V-valued differential form of degree p is a differential form of degree p with values in the trivial bundle M × V. The space of such forms is denoted Ωp(M, V). When V = R one recovers the definition of an ordinary differential form. If V is finite-dimensional, then one can show that the natural homomorphism
where the first tensor product is of vector spaces over R, is an isomorphism. One can verify this for p=0 by turning a basis for V into a set of constant functions to V, which allows the construction of an inverse to the above homomorphism. The general case can be proved by noting that
and that because is a sub-ring of Ω0(M) via the constant functions,
Read more about this topic: Vector-valued Differential Form
Famous quotes containing the words formal and/or definition:
“The conviction that the best way to prepare children for a harsh, rapidly changing world is to introduce formal instruction at an early age is wrong. There is simply no evidence to support it, and considerable evidence against it. Starting children early academically has not worked in the past and is not working now.”
—David Elkind (20th century)
“... if, as women, we accept a philosophy of history that asserts that women are by definition assimilated into the male universal, that we can understand our past through a male lensif we are unaware that women even have a historywe live our lives similarly unanchored, drifting in response to a veering wind of myth and bias.”
—Adrienne Rich (b. 1929)