finite dimensional vector spaces