Is it true that every element of $V \otimes W$ is a simple tensor $v \otimes w$?

This is in general not true. One easy way to see this, is the following: Assume $V$, $W$ are $n$ and $m$ dimensional vector fields over the complex numbers, then it is fairly easy to show that $V\otimes W$ is isomorphic to $\mathbb{C}^{n\times m}$ with the following isomorphism $\phi: V\otimes W \rightarrow \mathbb{C}^{m\times n}$, which is defined as

$\phi(u\otimes w) := uw^{H}$ for elementary tensors and extended by linearity for all $x \in V\otimes W$.

Now due to ismorphism between both spaces, we can study the same question in $\mathbb{C}^{n\times m}$: Notice that elementary tensors $u\otimes w$ correspond to matrices $uw^{H}$, hence only of rank one. A general matrix $M\in\mathbb{C}^{n\times m}$ can be decomposed into a linear combination of rank one matrices (using SVD for example) but obviously is not corresponding to a rank one matrix. Hence transferring this property to $V\otimes W$ using the isomorphism, we see that not every element in $V\otimes W$ is an elementary tensor.


Lets assume that $\dim V=m$ and $\dim W=n$ with $m\geq 2$ and $n\geq2$.

Suppose that $\{v_1,v_2\}$ are linearly independent in $V$ and that $\{w_1,w_2\}$ are linearly independent in $W$. Seeking a contradiction, suppose that $$ v_1\otimes w_1+v_2\otimes w_2=v\otimes w\tag{1} $$ Then extend $\{v_1,v_2\}$ to a basis $\{v_1,v_2,v_3,\dotsc,v_m\}$ of $V$ and extend $\{w_1,w_2\}$ to a basis $\{w_1,w_2,\dotsc,w_n\}$ of $W$. Write \begin{align*} v &= \alpha_1\,v_1+\dotsb+\alpha_m\,v_m \\ w &= \beta_1\,w_2+\dotsb+\beta_n\,w_m \end{align*} so that $$ v\otimes w=\sum_{i=1}^m\sum_{j=1}^n\alpha_i\beta_j\,v_i\otimes w_j\tag{2} $$ But $\mathcal B=\{v_i\otimes v_j:1\leq i\leq m,1\leq j\leq n\}$ is a basis for $V\otimes W$ (check this!) so (1) and (2) imply $$ \alpha_i\beta_j= \begin{cases} 1 & i=j=1 \\ 1 & i=j=2 \\ 0 & \text{otherwise} \end{cases} $$ which clearly is equivalent to \begin{align*} \alpha_i &= \begin{cases} 1 & i =1,2 \\ 0 & i\neq 1,2 \end{cases} & \beta_j &= \begin{cases} 1 & j=1,2 \\ 0 & j\neq 1,2 \end{cases} \end{align*} Now, we may rewrite (1) as \begin{align*} v_1\otimes w_1+v_2\otimes w_2 &= v\otimes w \\ &= (v_1+v_2)\otimes (w_1+w_2) \\ &= v_1\otimes w_1+v_1\otimes w_2+v_2\otimes w_1+v_2\otimes w_2 \end{align*} which contradicts that $\mathcal B$ is a basis for $V\otimes W$.


It is necessarily possible to write all tensors as a simple tensor when either $V$ or $W$ has dimension $1$ (or $0$). I will leave this to you to confirm, the proof is fairly trivial.

On the other hand, suppose that $V$ and $W$ have dimensions $2$ or greater, and that we are given a basis of vectors $v_i$ and $w_i$ for the respective spaces. Then I am fairly certain that we can say: $$ v_1 \otimes w_2 + v_2 \otimes w_1 \neq v \otimes w \qquad \forall v \in V, w \in W $$ In the context of quantum mechanics, this amounts to the statement "the pure state $v_1 \otimes w_2 + v_2 \otimes w_1$ is entangled" (QM assumes, however, that $V$ and $W$ have an inner product).

In fact, the states $v_1 \otimes w_1 \pm v_2 \otimes w_2$ and $v_1 \otimes w_2 \pm v_2 \otimes w_1$ are referred to as the Bell States, since they are the "canonical example" of entanglement (i.e. none of these vectors can be written as simple tensors).