n維向量空間

設R為所有n維向量的全體（或n維向量的全體），並在其上定義了向量的加法運算和數乘運算。