The top documents tagged [vector space of real]