Let $V$ be a vector space of finite dimension. Show that $x_1,...,x_k$ is linearly independent iff $x_1\wedge ... \wedge x_k \neq 0$.
Characterization of linear independence by wedge product
2
$\begingroup$
linear-algebra
abstract-algebra
-
0I'm having trouble with proving that $x_1\wedge ... \wedge x_n = 0$ implies that they are linearly dependent. I guess I'm just missing some way to rewrite it... – 2011-05-21
2 Answers
5
Hint for one direction: if there is a linear dependence, one of the $x_i$ is a linear combination of the others. Then substitute into $x_1\wedge\cdots \wedge x_k$.
Hint for the other direction: You can do row operations $x_i\mapsto x_i+rx_j$ for $i\neq j$ without affecting the wedge $x_1\wedge\cdots\wedge x_k$. Similarly you can divide any $x_j$ by a scalar without affecting whether $x_1\wedge\cdots\wedge x_k$ is nonzero. I'm not sure what properties you already know about the wedge. If you know that wedges $e_{i_1}\wedge\cdots \wedge e_{i_k}$, $i_1
-
0@user3620: you do need to use a "strong property." In one direction you only need the universal property but in the other direction you actually need to know that the exterior powers are nontrivial in a particular way. – 2011-05-21