proof of (global coordinate-free)
In the coordinate-free approach to differential geometry, this statement has a rather different ontological status than that which it has in the coordinate approach. While, in the latter, it is a theorem, pure and simple, in the former, it is a combination of definition and theorem. That is to say, one uses the equation to define the exterior derivative of a one-form but, in order for this definition to be valid, one must first show that a. the right-hand side of this identity satisfies the requisite properties of antisymmetry and bilinearity and b. the operator implicitly defined is linear.
1 Proof of a.
For simplicity, we will break down this demontration into three parts.
It is easy enough to see that both sides of the equation change by a sign upon interchanging with as a consequence of antisymmetry of two-forms and of the Lie bracket:
1.2 Distributivity over addition
For simplicity, we can break down the study of how our expression behaves under linear operations into the study of how it behaves under addition and under scaling. Because of antisymmetry, it suffices to check linearity in only one of the two arguments:
Finally, we verify that our expression transforms properly under rescaling. Again, by antisymmetry, it suffices to look at only one argument.
Cancelling a term and factoring out a common ””,
Hence this expression behaves like a two-form should. By the principle ”If it looks like a duck and quacks like a duck, it must be a duck”, we conclude that the expression indeed specifies a two-form.
2 Proof of b.
2.1 Distributivity over addition
|Title||proof of (global coordinate-free)|
|Date of creation||2013-03-22 15:34:04|
|Last modified on||2013-03-22 15:34:04|
|Last modified by||rspuzio (6075)|