Spazio vettoriale: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
→‎Definizione: ingegneri approssimativi
No, non sono incluse nel fatto che K sia un campo.
Etichetta: Annulla
Riga 17:
Uno '''spazio vettoriale''' su un [[campo (matematica)|campo]] <math>K</math> è un insieme <math>V</math> dotato di due operazioni che soddisfano una certa lista di assiomi. Gli elementi di <math>V</math> sono detti ''vettori'' e quelli di <math>K</math> scalari. Le operazioni sono:
 
* una ''somma,'' (o più in generale una legge di composizione interna,) che prende due vettori <math> \mathbf u, \mathbf v </math> appartenenti a <math>V</math> e restituisce un altro vettore di <math>V</math> indicato con <math> \mathbf u + \mathbf v</math>;
* un ''prodotto esterno o (dizione ingegneristica) "per scalare" (dove lo scalare è l'elemento di K),'' (o più in generale una legge di composizione esterna) che prende un vettore <math> \mathbf u </math> appartenente a <math>V</math> e uno scalare <math>a</math> appartenente a <math>K</math> e restituisce un altro vettore appartenente a <math>V</math> indicato con <math> a\mathbf u</math>.
 
Gli assiomi che queste due operazioni devono soddisfare sono i seguenti<ref>{{Cita|S. Lang|Pag. 37|lang}}.</ref><ref>{{Cita|Hoffman, Kunze|Pag. 29|kunze}}.</ref>:
Riga 25:
* distributività del prodotto di tre termini per uno scalare rispetto all'addizione di vettori:
: <math>a(\mathbf u + \mathbf v) = a \mathbf u + a \mathbf v \qquad \forall a \in K \quad \forall \mathbf u, \mathbf v \in V;</math>
* pseudo-distributività<ref>La proprietà distributiva riguarda due sole operazioni, mentre in questo caso sono coinvolte tre operazioni: l'addizione di scalari (<math>+</math>), la moltiplicazione di un vettore per uno scalare (<math>*</math>) e l'addizione di vettori (<math>+</math>)</ref> del prodotto per scalare rispetto all'addizione di scalari (già incluso nel fatto che K sia un campo):
: <math>(a+b) \mathbf v = a \mathbf v + b \mathbf v \qquad \forall a,b \in K \quad \forall \mathbf v \in V;</math>
* compatibilità del prodotto tra scalari e del prodotto per scalari (pseudo-associatività<ref>La proprietà associativa riguarda una sola operazione, mentre in questo caso sono coinvolte due operazioni: la moltiplicazione scalare sul campo <math>K</math> e la moltiplicazione per uno scalare</ref>), (già incluso nel fatto che K sia un campo):
: <math>(a b) \mathbf v = a (b \mathbf v) \qquad \forall a,b \in K \quad \forall \mathbf v \in V;</math>
* neutralità di 1 rispetto al prodotto per scalare, ((già incluso nel fatto che K sia un campo):
: <math> 1\mathbf v = \mathbf v \qquad \forall \mathbf v \in V.</math>