Seien \(e_1,e_2,e_3\) die Standardeinheitsvektoren.
Ich setze mal voraus, dass bekannt ist, dass die 9 Tensorprodukte
\(e_i\otimes e_j\) mit \(i,j\in \{1,2,3\}\) linear unabhängig sind.
Wäre \(U\) ein Unterraum, so müsste insbesondere
\(e_1\otimes e_2+e_2\otimes e_1\in U\) sein, d.h.
es gäbe \(u=a_1e_1+a_2e_2+a_3e_3,\; v=b_1e_1+b_2e_2+b_3e_3\) mit
\(e_1\otimes e_2+e_2\otimes e_1=u\otimes v=\sum_{i,j=1}^3a_ib_je_i\otimes e_j\).
Koeffizientenvergleich liefert
\(a_1b_1=0,\; a_1b_2=1,\;a_1b_3=0\), folglich \(b_1=b_3=0\) und
\(a_2b_1=1\), was offenbar ein Widerspruch ist.