Allora se non ho capito male:
prendo uno scalare arbitrario K appartenente al campo R e un elemento (vettore?) arbitrario (x,y,z) appartenente al sottospazio vettoriale U.
provo a vedere se k(x,y,z)=(kx,ky,kz) appartiene a U:
=&gt; (kx)^2-(ky)^2+(kz)^2=k^2(x^2-y^2+z^2)=k^2*0=0
=&gt; U è chiuso rispetto al prodotto.