Vektorraum/Endlich erzeugt/Dimension/Definition

Dimension

Es sei ${}K$ ein Körper und ${}V$ ein ${}K$-Vektorraum mit einem endlichen Erzeugendensystem. Dann nennt man die Anzahl der Vektoren in einer Basis von ${}V$ die Dimension von ${}V$, geschrieben

$\operatorname {dim} _{}\left(V\right).$