2
$\begingroup$

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$.

  • 0
    I'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 2

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 form a basis for $\wedge^kV$, when $e_i$ is a basis for $V$, then you're home free.

  • 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