Mo logo [home] [lexicon] [problems] [tests] [courses] [auxiliaries] [notes] [staff] german flag
Mathematics-Online lexicon:

Vector Space

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z overview
Let $ K$ be a field. An Abelian group $ (V,+)$ is called $ K$-vector space (vector space over $ K$) if a scalar multiplication ,,$ \cdot$`` is defined so that for all $ \lambda$, $ \lambda_1$, $ \lambda_2 \in K$ and for all $ v$, $ v_1$, $ v_2 \in V$ the following holds true:


$\displaystyle (\lambda_1+\lambda_2)\cdot v$ $\displaystyle =$ $\displaystyle \lambda_1\cdot v + \lambda_2\cdot v$  
$\displaystyle \lambda\cdot(v_1+v_2)$ $\displaystyle =$ $\displaystyle \lambda\cdot v_1 + \lambda\cdot v_2$  
$\displaystyle (\lambda_1\cdot\lambda_2)\cdot v$ $\displaystyle =$ $\displaystyle \lambda_1\cdot(\lambda_2\cdot v)$  
$\displaystyle 1\cdot v$ $\displaystyle =$ $\displaystyle v\,.$  

If $ K=\mathbb{R}$ or $ K=\mathbb{C}$, then one speaks of a real or complex vectorspace, resp.

Note, that the plus stands for addition in $ V$ and for addition in $ K$. The same stands for the multiplication.

(Authors: App/Burkhardt/Kimmerle)

see also:

[Annotations] [Examples]
  automatically generated 4/ 1/2005