description/proof of that \(q\)-covectors space has basis that consists of wedge products of increasing elements of dual basis
Topics
About: vectors space
The table of contents of this article
Starting Context
- The reader knows a definition of antisymmetric tensors space with respect to field and \(k\) same vectors spaces and vectors space over field.
- The reader knows a definition of dual basis for covectors (dual) space of basis for finite-dimensional vectors space.
- 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 \(q\)-covectors space of any vectors space has the basis that consists of the wedge products of the increasing elements of the dual basis of the vectors space.
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:
\(F\): \(\in \{\text{ the fields }\}\)
\(V\): \(\in \{\text{ the finite-dimensional } F \text{ vectors spaces }\}\)
\(\Lambda_q (V: F)\): \(= \text{ the } q \text{ -covectors space }\)
\(B\): \(\in \{\text{ the bases for } V\} = \{b_l \vert 1 \le l \le dim V\}\)
\(B^*\): \(= \text{ the dual basis for } B = \{b^l \vert 1 \le l \le dim V\}\)
\(\widetilde{B^*}\): \(= \{b^{j_1} \wedge ... \wedge b^{j_q} \vert \forall l \in \{1, ..., q\} (1 \le j_l \le dim V) \land j_1 \lt ... \lt j_q\}\)
//
Statements:
\(\widetilde{B^*} \in \{\text{ the bases for } \Lambda_q (V: F)\}\)
//
Let us call \(\widetilde{B^*}\) "the standard basis with respect to \(B\)": it is not determined unless \(B\) is specified.
3: Proof
Whole Strategy: Step 1: see that \(\widetilde{B^*}\) spans \(\Lambda_q (V: F)\); Step 2: see that \(\widetilde{B^*}\) is linearly independent.
Step 1:
Let us see that \(\widetilde{B^*}\) spans \(\Lambda_q (V: F)\).
Let \(t \in \Lambda_q (V: F)\) be any.
As \(\Lambda_q (V: F) \subseteq L (V, ..., V: F)\), \(t \in L (V, ..., V: F)\).
By the proposition that for any field and any \(k\) finite-dimensional vectors spaces over the field, the tensors space with respect to the field and the vectors spaces and the field has the basis that consists of the tensor products of the elements of the dual bases of any bases of the vectors spaces, \(L (V, ..., V: F)\) has the standard basis with respect to \(B\), \(\{b^{j_1} \otimes ... \otimes b^{j_k} \vert \forall l \in \{1, ..., k\} (1 \le j_l \le dim V)\}\).
So, \(t = t_{j_1, ..., j_k} b^{j_1} \otimes ... \otimes b^{j_k}\).
As \(t\) is antisymmetric, \(t = Asym (t) = Asym (t_{j_1, ..., j_k} b^{j_1} \otimes ... \otimes b^{j_k}) = t_{j_1, ..., j_k} Asym (b^{j_1} \otimes ... \otimes b^{j_k}) = t_{j_1, ..., j_k} 1 / k! b^{j_1} \wedge ... \wedge b^{j_k}\), by a property of wedge product of multicovectors.
For each term such that \(\{j_1, ..., j_k\}\) is not distinct, the term is \(0\), by a property of wedge product of multicovectors.
For each term such that \((j_1, ..., j_k)\) is not increasing, there is a permutation, \(\sigma \in S^k\), such that \((j_{\sigma_1}, ..., j_{\sigma_k})\) is increasing, and \(b^{j_1} \wedge ... \wedge b^{j_k} = c b^{\sigma_1} \wedge ... \wedge b^{\sigma_k}\) where \(c\) is \(1\) or \(-1\), by a property of wedge product of multicovectors.
So, \(t\) is a linear combination of \(\widetilde{B^*}\).
Step 2:
Let us see that \(\widetilde{B^*}\) is linearly independent.
Let \(c_{j_1, ..., j_k} b^{j_1} \wedge ... \wedge b^{j_k} = 0\) where \(j_1 \lt ... \lt j_k\).
For each fixed \((j'_1, ..., j'_k)\), let \(c_{j_1, ..., j_k} b^{j_1} \wedge ... \wedge b^{j_k}\) operate on \((b_{j'_1}, ..., b_{j'_k})\).
\(c_{j_1, ..., j_k} b^{j_1} \wedge ... \wedge b^{j_k} ((b_{j'_1}, ..., b_{j'_k})) = 0 ((b_{j'_1}, ..., b_{j'_k})) = 0\).
But the only possibly nonzero term of the left hand side is \(c_{j'_1, ..., j'_k} b^{j'_1} \wedge ... \wedge b^{j'_k} ((b_{j'_1}, ..., b_{j'_k}))\), because any other term has a \(b^{j_l}\) such that \(j_l \notin \{j'_1, ..., j'_k\}\) and \(b^{j_1} \wedge ... \wedge b^{j_k} ((b_{j'_1}, ..., b_{j'_k})) = 0\), because \(b^{j_l} (b'_{j_m}) = 0\) for each \(m\).
\(b^{j'_1} \wedge ... \wedge b^{j'_k} ((b_{j'_1}, ..., b_{j'_k})) = det (b'^{j_l} (b'_{j_m})) = det I = 1\), by a property of wedge product of multicovectors.
So, \(c_{j'_1, ..., j'_k} = 0\).
So, \(\widetilde{B^*}\) is linearly independent.