What applications are there of the fact that the real numbers form a vector space over the rational numbers?
Vector spaces over the rational numbers appear to have uses in number theory.
The motivation for this question comes from Dietrich's answer to this question: Applications of uncountability of the real numbers. That question asks why it is useful to know that the real numbers are uncountable. This was motivated by an open problem. The most popular answer to that question mentioned the fact that the real numbers form an infinite-dimensional vector space over the rational numbers. This has prompted me to ask why this fact is again useful.