Definition:Euclidean Space/Real

Definition
Let $\R^n$ be an $n$-dimensional real vector space.

Let the Euclidean metric $d$ be applied to $\R^n$.

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

Also see

 * Euclidean Metric on Real Vector Space is Metric