This is an old revision of the document!
Vector space dimension
Definition
$V$…$\ \mathcal F$-vector space |
$\mathrm{dim}(V)\equiv \mathrm{card}(B)$ |
$B\in\mathrm{basis}(V)$ |
Discussion
For finite vector spaces, the basis cardinality $\mathrm{dim}(V)$ is the only invariant w.r.t. vector space isomorphisms.
The Zero vector space has an empty base. Its vector space dimension is zero.
Reference
Wikipedia: Vector space