Prodotto diretto di spazi vettoriali