I have this theorem:
The proof starts by proving that the set is linearly independent. It does this as follows:Theorem 33.2: Let $\displaystyle \{e_i \}$ and $\displaystyle \{ e^i \}$ be dual bases for $\displaystyle V$ and $\displaystyle V^*$. Then the set of tensor products:
$\displaystyle \{ e_{i_1} \otimes \ldots \otimes e_{i_p} \otimes e^{j_1} \otimes \ldots \otimes e^{j_q}, \ i_1, \ldots , i_p,j_1, \ldots , j_q=1, \ldots , N \}$
forms a basis for $\displaystyle \vartheta_q^p(V)$ (the set of all tensors of order $\displaystyle (p,q)$ on a vector space $\displaystyle V$).
"We shall prove that the set of tensor products is a linearly independent generating set for $\displaystyle \vartheta_q^p(V)$. To prove that the set is linearly independent, let
$\displaystyle A^{i_1, \ldots, i_p}_{j_1, \ldots , j_q} e_{i_1} \otimes \ldots \otimes e_{i_p} \otimes e^{j_1} \otimes \ldots \otimes e^{j_q}=0$
where the RHS is the 0 tensor".
Firstly, what is $\displaystyle A^{i_1, \ldots, i_p}_{j_1, \ldots , j_q} e_{i_1}$? Is it a linear map going from $\displaystyle V$ to $\displaystyle V^*$ with the bases outlined in the question?
Secondly, how will this prove that the set is linearly independent?