Definition:Euclidean Space/Rational

Definition
Let $\Q^n$ be an $n$-dimensional vector space of rational numbers.

From Rational Numbers form Metric Space it follows that $\Q^n$ is a Euclidean $n$-space.