Meaning of computing the tensor product of vectors

66 Views Asked by At

In a nutshell: a proposition in Abraham's Foundations of Mechanics states that, given a vector space $E$ with basis $e_1,\ldots,e_n$, the space $T^r_s(E)$ of tensors of type $(r,s)$, the dual basis $\alpha^1,\ldots,\alpha^n$, we have that $$\{ e_{i_1}\otimes\dots\otimes e_{i_r}\otimes\alpha^{j_1}\otimes\dots\otimes\alpha^{j_s} : i_k,j_k = 1,\ldots,n\}$$ is a basis of $T^r_s(E)$.

I'm immediately confused as the tensor product is defined between tensors, and $e_{i_1},\ldots,e_{i_r}$ are vectors, not tensors. What is the meaning of the above set then?


The proposition (and its proof, in case that helps):

enter image description here

1

There are 1 best solutions below

0
On

$v \in E$ is naturally associated to $V \in T^1_0(E)$ via $V(\alpha) = \alpha(v)$ for all $\alpha \in E^*$, and $\alpha \in E^*$ is by definition an element of $T^0_1(E)$ since $v \mapsto \alpha(v)$ is a linear map that takes in a vector and produces a scalar.

The text is implicitly making these identifications and then applying the already defined tensor product of $T^r_s(E)$.