有限维向量空间

finite dimensional vector space