Vector space dimension
Set
context | V… F-vector space |
definiendum | dim(V)≡card(B) |
context | B∈basis(V) |
Discussion
For finite vector spaces, the basis cardinality 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