Ma lo spazio vettoriale è una particolare composizione di un gruppo con un campo. Gli elementi del gruppo sono i vettori, gli elementi del campo sono gli scalari. Alla fine il prodotto scalare lo faccio sugli elementi del gruppo, no? Gli elementi del campo servono a definire le proprietà algebriche di una moltiplicazione per uno scalare.
Sì ok, se vuoi essere fiscale e far felice Bourbaki gli elementi dello spazio vettoriale sono l'insieme dei vettori, l'insieme degli scalari, l'operazione di gruppo e le operazioni del campo. Però di solito quando si parla di spazio vettoriale si intende l'insieme dei vettori.
Edit: la definizione su wikipedia,
Cita:
A vector space over a field F is a set V together with two binary operators that satisfy the eight axioms listed below.
dice che lo spazio vettoriale è l'insieme dei vettori (anche se volendo essere molto formali non si dovrebbe dare la definizione con "together". Per questo spesso si usa uno spazio vettoriale è l'insieme {V,K,somma,somma,prodotto}. A questo punto però bisogna essere precisi sul serio

e ad esempio uno spazio euclideo non è uno spazio vettoriale tale che, ma contiene uno spazio vettoriale e un prodotto scalare definito positivo, e via così il tutto si complica inutilmente.
Alla fine basta mettersi d'accordo, però è molto più comodo chiamare "spazio vettoriale" lo spazio dei vettori, però è vero che l'insieme da solo non definisce lo spazio (es. C può essere visto come spazio reale a dim 2 o spazio complesso a dim 1, e sono due spazi diversi).
Ora stop seghe mentali.
