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