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
* un ''prodotto
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
: <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>
: <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
: <math> 1\mathbf v = \mathbf v \qquad \forall \mathbf v \in V.</math>
|