2025-05-25

1127: \(q\)-Covectors Space Has Basis That Consists of Wedge Products of Increasing Elements of Dual Basis

<The previous article in this series | The table of contents of this series | The next article in this series>

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



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.


References


<The previous article in this series | The table of contents of this series | The next article in this series>