In mathematics, Euclidean space is a generalization of the 2- and 3-dimensional spaces studied by Euclid. The generalization applies Euclid's concept of distance, and the related concepts of length and angle, to a coordinate system in any number of dimensions. It is the "standard" example of a finite-dimensional, real, inner product space.
A Euclidean space is a particular metric space that enables the investigation of topological properties such as compactness. An inner product space is a generalization of a Euclidean space. Both inner product spaces and metric spaces are explored within functional analysis.
Euclidean space plays a part in the definition of a manifold which embraces the concepts of both Euclidean and non-Euclidean geometry. One mathematical motivation for defining a distance function is the ability to define an open ball around points in the space. This fundamental concept justifies a differential calculus between a Euclidean space and other manifolds. Differential geometry brings such a differential calculus into play, together with a technique of launching a mobile, local Euclidean space, to explore the properties of non-Euclidean manifolds.
Real coordinate space
Let R denote the field of real numbers. For any non-negative integer n, the space of all n-tuples of real numbers forms an n-dimensional vector space over R sometimes called real coordinate space and denoted Rn.
An element of Rn is written x = (x1, x2, …, xn) where each xi is a real number. The vector space operations on Rn are defined by
Real coordinate space Rn comes with a standard basis:
An arbitrary vector in Rn can then be written in the form
Real coordinate space is the prototypical example of a real n-dimensional vector space. In fact, every real n-dimensional vector space V is isomorphic to Rn. This isomorphism is not canonical however. A choice of isomorphism is equivalent to a choice of basis for V (by looking at the image of the standard basis for Rn in V). The reason for working with arbitrary vector spaces instead of Rn is that it is often preferable to work in a coordinate-free manner (i.e. without choosing a preferred basis).
Euclidean space is more than just real coordinate space. In order to do Euclidean geometry one needs to be able to talk about the distance between points and the angles between lines or vectors. The natural way in which to do this is to introduce what is called an inner product or dot product on Rn. This product is defined by
The dot product of any two vectors x and y gives a real number. This product allows us to define the "length" of a vector x in the following way
This length function satisfies the required properties of a norm and is called the Euclidean norm on Rn. The (interior) angle θ between x and y is then given by
Real coordinate space together with the above Euclidean structure (dot product and the associated norm and metric) is called Euclidean space often denoted by En. (Many authors refer to Rn itself as Euclidean space, with the Euclidean structure being understood). The Euclidean structure on En gives it the structure of an inner product space (in fact a Hilbert space), a normed vector space, and a metric space.
Since Euclidean space is a metric space it is also a topological space with the natural topology induced by the metric. The metric topology on En is called the Euclidean topology. A set is open in the Euclidean topology if and only if it contains an open ball around each of its points. The Euclidean topology turns out to be equivalent to the product topology on Rn considered as a product of n copies of the real line R (with its standard topology).
An important result on the topology of Rn, that is far from superficial, is Brouwer's invariance of domain. Any subset of Rn (with its subspace topology) which is homeomorphic to another open subset of Rn is itself open. An immediate consequence of this is that Rm is not homeomorphic to Rn if m ≠ n — an intuitively "obvious" result which is nonetheless difficult to prove.
Euclidean n-space is the prototypical example of an n-manifold, in fact, a smooth manifold. For n ≠ 4, any differentiable n-manifold that is homeomorphic to Rn is also diffeomorphic to it. The surprising fact that this is not also true for n = 4 was proved by Simon Donaldson in 1982; the counterexamples are called exotic (or fake) 4-spaces.
Euclidean space is also known as linear manifold. An m-dimensional linear submanifold of Rn is a Euclidean space of m dimensions embedded in it (as an affine subspace). For example, any straight line in some higher-dimensional Euclidean space is a 1-dimensional linear submanifold of that space.