Standard space/K^n/Dimension n/Fact/Proof

The standard basis ${\displaystyle {}e_{i}}$, ${\displaystyle {}i=1,\ldots ,n}$, consists of ${\displaystyle {}n}$ vectors; hence, the dimension is ${\displaystyle {}n}$.