Definition:Euclidean Space/Rational

From ProofWiki
Jump to navigation Jump to search

Definition

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

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

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


Also see

  • Results about Euclidean spaces can be found here.