We do not currently know of any antonyms for real vector space.
The noun real vector space is defined as: