Spasio vetorial

Se dixe spasio vetoriàłe sóra un canpo $C$ n'insieme $V$ cò dò operasion: $+:V\times V\rightarrow V$, ciamàda sòma, che xe comutativa e $*:C\times V\rightarrow V$, ciamàda moltiplicasion par 'no scałare, che łe ga ste proprietá:

(i) $\alpha *(\beta *v)=(\alpha *\beta )v$

(ii) $(\alpha +\beta )*v=\alpha *v+\beta *v$

(iii) $\alpha *(v+w)=\alpha *v+\alpha *w$

(iv) $1*v=v$

par ogni $v,w\in V$ e par ogni $\alpha ,\beta \in C$.

I elementi de 'no spasio vetoriałe i se ciàma vetòri. El vetòre xero el xe l'elemento $0_{V}$ xero de ła sòma in $V$ (xe fasiłe controłàre che el sodisfa łe proprietà de sòra).

'N sotoinsieme $W$ de $V$ el se dixe sotospasio vetoriałe de $V$ (e el se scrive $W\trianglelefteq V$) se xe vera una de ste proprietà (łe xe tute conpagne, se ła xe vera una ełora łe xe vere anca łe altre dò, se una ła xe sbajà ełora łe xe sbajà anca łe altre dò):

(i) $u,w\in W,\alpha ,\beta \in C\Rightarrow \alpha u+\beta w\in W$;

(ii) $u,w\in W,\alpha ,\beta \in C\Rightarrow u+v\in W$ e $\alpha u\in W$;

(iii) $W$ el xe sarà par combinasioni lineari: $\alpha _{1}w_{1}+...+\alpha _{k}w_{k}\in W$ $\forall w_{i}\in W,\forall \alpha _{i}\in C$.

'N exenpio de spasio vetoriałe sarìa $\mathbb {R}$, o anca mejo sarìa $\mathbb {R} ^{n}$. $\mathbb {Q} \trianglelefteq \mathbb {Q} ^{n}$ (risp. $\mathbb {R} \trianglelefteq \mathbb {R} ^{n}$) xe un exenpio de sotospasio.