MHB Problem Of The Week # 323 - Sep 14, 2018

[Euge]

Here is this week's POTW:

-----
Show that, for any basis $v_1, v_2 \in \Bbb R^2$, the sum $v_1 \otimes v_2 + v_2 \otimes v_1$ in $\Bbb R^2 \otimes_{\Bbb R} \Bbb R^2$ cannot be reduced to a simple tensor.
-----

Remember to read the https://mathhelpboards.com/showthread.php?772-Problem-of-the-Week-%28POTW%29-Procedure-and-Guidelines to find out how to https://mathhelpboards.com/forms.php?do=form&fid=2!

 

[Euge]

This week's problem was solved correctly by castor28. You can read his solution below.

Spoiler

Assume by contradiction that $v_1\otimes v_2 + v_2\otimes v_1=(\alpha v_1+\beta v_2)\otimes(\gamma v_1+\delta v_2)$.
We have:
$$
(\alpha v_1+\beta v_2)\otimes(\gamma v_1+\delta v_2)=\alpha\gamma (v_1\otimes v_1)+\alpha\delta (v_1\otimes v_2) + \beta\gamma (v_2\otimes v_1) + \beta\delta (v_2\otimes v_2)
$$
As the $(v_i\otimes v_j)$ constitute a basis for $\mathbb{R}\otimes\mathbb{R}$, we must have:
\begin{align*}
\alpha\gamma &= 0\\
\alpha\delta &= 1\\
\beta\gamma &= 1 \\
\beta\delta &= 0
\end{align*}
As $\alpha\delta=1$, we have $\alpha\ne0$. As $\alpha\gamma = 0$, we have $\gamma=0$, and this contradicts the fact that $\beta\gamma=1$.