Vector space dimension