## Vector spaces

Abbreviation: FVec

### Definition

A \emph{vector space} over a field $\mathbf{F}$ is a structure $\mathbf{V}=\langle V,+,-,0,f_a\ (a\in F)\rangle$ such that

$\langle V,+,-,0\rangle$ is an abelian groups

scalar product $f_a$ distributes over vector addition: $a(x+y)=ax+ay$

$f_{1}$ is the identity map: $1x=x$

scalar product distributes over scalar addition: $(a+b)x=ax+bx$

scalar product associates: $(a\cdot b)x=a(bx)$

Remark: $f_a(x)=ax$ is called \emph{scalar multiplication by $a$}.

##### Morphisms

Let $\mathbf{V}$ and $\mathbf{W}$ be vector spaces over a field $\mathbf{F}$. A morphism from $\mathbf{V}$ to $\mathbf{W}$ is a function $h:V\rightarrow W$ that is \emph{linear}:

$h(x+y)=h(x)+h(y)$, $h(ax)=ah(x)$ for all $a\in F$

Example 1:

### Properties

Classtype variety no unbounded no yes yes, $n=2$ yes yes yes no no

### Finite members

$\begin{array}{lr} f(1)= &1 f(2)= & f(3)= & f(4)= & f(5)= & f(6)= & \end{array}$