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

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