Understanding definition of tensor product The definition I have of a tensor product of vector finite dimensional vector spaces $V,W$ over a field $F$ is as follows: Let $v_1, ..., v_m$ be a basis for $V$ and let $w_1,...,w_n$ be a basis for $W$. We define $V \otimes W$ to be the set of formal linear combinations of the mn symbols $v_i \otimes w_j$. That is, a typical element of $V \otimes W$ is $$\sum c_{ij}(v_i \otimes w_j).$$ The space $V \otimes W$ is clearly a finite dimensional vector space of dimension mn. We define bilinear map $$B: V \times W \to V \otimes W$$ here is the formula $$B(\sum a_iv_i, \sum b_jw_j) = \sum_{i,j}a_ib_j(v_i \otimes w_j). $$
Why does $V \otimes W$ have to be a formal linear combinations of symbols $v_{i} \otimes w_j$, what would be wrong in defining $V \otimes W$ simply as a linear combination of symbols $v_i \otimes w_j$?
Thanks.
 A: The term "linear combination" has no meaning unless you are talking about elements of a vector space.   The symbols $v_i\otimes w_j$ are no more than symbols, and there is not (yet) any vector space that they are elements of, so it is meaningless to talk about linear combinations of them.  However, we can talk about "formal linear combinations", which means roughly "pretend they are elements of a vector space and write down symbols that would represent linear combinations of them".
More rigorously, you can say that a "formal linear combination" of the symbols $v_i\otimes w_j$ is just a function from the set of these symbols to $F$.  Given such a function $f$, if $f(v_i\otimes w_j)=c_{ij}$, we represent $f$ by the notation $\sum c_{ij}v_i\otimes w_j$.  The set of such functions then forms a vector space where addition and scalar multiplication are defined pointwise, and this addition and scalar multiplication corresponds to how you would expect expressions of the form $\sum c_{ij}v_i\otimes w_j$ to behave if they actually were linear combinations.
A: I propose you this answer:
understanding the meaning of formal linear combination and tensor product
In particular:
"Regarding the tensor product, we want it to be bilinear. In $R⟨V×W⟩$, it is never true that $(a+b)×c(a+b)×c$ is equal to $a×c+b×ca×c+b×c$. In fact, $0×0$ is not even the zero vector of $R⟨V×W⟩$"
