k(aA+bB+cC) = kaA + kbB + kcC
e' la definizione del prodotto con la somma formale:
il risultato del prodotto con la somma formale e' =(def) alla somma formale dei
prodotti con ognuno dei singoli addendi della somma formale.
Negli spazi vettoriali, il teorema della base, si puo' interpretare come:
lo spazio e' sintetico, ma alla fine e' isomorfo a una somma formale. Quindi da un punto di vista strutturale non e' che ci sia una gran novita', solo una struttura composta, piu' grande, ma basata sulla stessa algebra di base.