Noun
real vector space (plural real vector spaces) (linear algebra, mathematical analysis) A vector space over the field of real numbers.