description/proof of that wedge product of 1-covectors is sum of signed reordered tensor products of 1-covectors
Topics
About: vectors space
The table of contents of this article
Starting Context
- The reader knows a definition of wedge product of multicovectors.
Target Context
- The reader will have a description and a proof of the proposition that the wedge product of any 1-covectors is the sum of the signed reordered tensor products of the 1-covectors.
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: Note
Some cumbersomeness of the definition of wedge product is that the wedge product cannot be handled without some arguments put into it.
This proposition allows the wedge product to be handled as a combination of some tensor products.
3: Proof
Whole Strategy: see that the results of the both hand sides on any arguments combination are the same; Step 1: take any finite sequence of vectors,
Step 1:
Let us take any finite sequence of vectors,
As each element of
Step 2:
Step 3:
On the other hand,
What is
So,
So,
That equals
So,