Definition:Euclidean Space/Rational

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

Let the Euclidean Metric $d$ be applied to $\Q^n$.

Then $\left({\Q^n, d}\right)$ is a Euclidean $n$-space.

Also see

 * Rational Numbers form Metric Space