description/proof of that for
Topics
About:
The table of contents of this article
Starting Context
-
The reader knows a definition of
-form over manifold with boundary. - The reader knows a definition of wedge product of multicovectors.
-
The reader admits the proposition that any
-form over any manifold with boundary is if and only if the operation result on any vectors fields is .
Target Context
-
The reader will have a description and a proof of the proposition that for any
manifold with boundary, the wedge product of any forms is a form.
Orientation
There is a list of definitions discussed so far in this site.
There is a list of propositions discussed so far in this site.
Main Body
1: Structured Description
Here is the rules of Structured Description.
Entities:
//
Statements:
//
2: Proof
Whole Strategy: Step 1: apply the proposition that any
Step 1:
No matter whether
Let
So,