Vector space/Finitely generated/Dimension/Definition

Dimension

Let ${}K$ be a field, and let ${}V$ be a ${}K$-vector space with a finite generating system. Then the number of vectors in any basis of ${}V$ is called the dimension of ${}V$, written

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