# What really is the modern definition of Euclidean spaces?

What is the modern definition of Euclidean spaces?

I read the Wikipedia article about the topic, but I still don't get it.

Is a Euclidean space

1. something that satisfies the traditional Euclid's axioms, or Hilbert's axioms?

2. or is it defined to be an inner product space?

3. or is it defined to be a set on which we can somehow define the notion of "length" and "angle"?

4. or is it defined to be an affine space?

If a Euclidean space is defined as in case 2 (i.e. as an inner product space), then do we still need Euclid's axioms or Hilbert's axioms?

For example, there's a Hilbert's axiom

For every two points A, B there exists a line a that contains each of the points A, B.

but in terms of inner product space terminology, it can be directly proved by trivial pre-calculus technique, right?

• I am used to the following terminology : an euclidean vector space is defined as a finite dimensional real vector space, equipped with a scalar product (and hence with notions of norm, distance and (non-oriented) angle). Same object but without any condition about dimension is called a real-prehilbertian vector space. Finally, a real Hilbert space is a real prehilbertian space which also a Banach space (complete for the metric induced by the euclidean norm). – Adren Jan 15 '17 at 14:02
• 2 is the right answer. – Nicolas FRANCOIS Jan 15 '17 at 14:02
• So an inner product space will satisfy Euclid's or Hilbert's axioms? And we can say that, since we adapt the inner product language for discussing all the geometry matters, nowadays we don't need Euclid's or Hilbert's axioms anymore right? – Eric Jan 15 '17 at 14:08
• Does this answer your question? – Andres Mejia Jan 16 '17 at 4:40
• 5. There is no completely universal, standard definition of this term and either a) you're free to use your own definition (within reason), or b) you're free to use whichever definition you prefer (if you have a choice), or c) you're stuck with whatever definition the author of the book you're reading/the person lecturing you has decided is convenient for them. – Will R Jan 16 '17 at 17:22

3. This is not specific enough. This is the notion of a Riemannian manifold and includes Euclidean spaces as special cases. The sphere in $\mathbb{R}^3$ is an example of a Riemannian manifold which is not a Euclidean space.
1. $\mathbb{R}^n$ with the flat metric.