The dimension of a linear space is defined as the maximal number of linearly independent vectors or, equivalently, as the minimal number of vectors that span the space; it may be finite or infinite.
Die Dimension eines Vektorraums ist als die maximale Zahl linear unabhängiger Vektoren oder, äquivalent dazu, als die minimale Zahl von Vektoren, die den Raum aufspannen, definiert; sie kann endlich oder unendlich sein.