nLab Euclidean space

Redirected from "Euclidean pseudometric".
Euclidean spaces

Context

Analysis

Geometry

Trigonometry

Physics

physics, mathematical physics, philosophy of physics

Surveys, textbooks and lecture notes


theory (physics), model (physics)

experiment, measurement, computable physics

Euclidean spaces

Idea

The concept of Euclidean space in analysis, topology, differential geometry and specifically Euclidean geometry, and physics is a fomalization in modern terms of the spaces studied in Euclid 300BC, equipped with the structures that Euclid recognised his spaces as having.

In the strict sense of the word, Euclidean space E nE^n of dimension nn is, up to isometry, the metric space whose underlying set is the Cartesian space n\mathbb{R}^n and whose distance function dd is given by the Euclidean norm:

d Eucl(x,y)xy= i=1 n(y ix i) 2. d_{Eucl}(x,y) \coloneqq {\Vert x-y\Vert} = \sqrt{ \sum_{i = 1}^n (y_i - x_i)^2 } \,.

In Euclid 300BC this is considered for n=3n = 3; and it is considered not in terms of coordinate functions as above, but via axioms of synthetic geometry.

This means that in a Euclidean space one may construct for instance the unit sphere around any point, or the shortest curve connecting any two points. These are the operations studied in (Euclid 300BC), see at Euclidean geometry.

Of course these operations may be considered in every (other) metric space, too, see at non-Euclidean geometry. Euclidean geometry is distinguished notably from elliptic geometry or hyperbolic geometry by the fact that it satisfies the parallel postulate.

In regarding E n=( n,d Eucl)E^n = (\mathbb{R}^n, d_{Eucl}) (only) as a metric space, some extra structure still carried by n\mathbb{R}^n is disregarded, such as its vector space structure, hence its affine space structure and its canonical inner product space structure. Sometimes “Euclidean space” is used to refer to E nE^n with that further extra structure remembered, which might then be called Cartesian space.

Retaining the inner product on top of the metric space structure means that on top of distances one may also speak of angles in a Euclidean space.

Then of course n\mathbb{R}^n carries also non-canonical inner product space structures, not corresponding to the Euclidean norm. Regarding E nE^n as equipped with these one says that it is a pseudo-Euclidean space. These are now, again in the sense of Cartan geometry, the local model spaces for pseudo-Riemannian geometry.

Finally one could generalize and allow the dimension to be countably infinite, and regard separable Hilbert spaces as generalized Euclidean spaces.

Remarks on terminology

Arguably, the spaces studied by Euclid were not really modelled on inner product spaces, as the distances were lengths, not real numbers (which, if non-negative, are ratios of lengths). So we should say that VV has an inner product valued in some oriented line LL (or rather, in L 2L^2). Of course, Euclid did not use the inner product (which takes negative values) directly, but today we can recover it from what Euclid did discuss: lengths (valued in LL) and angles (dimensionless).

Since the days of René Descartes, it is common to identify a Euclidean space with a Cartesian space, that is n\mathbb{R}^n for nn the dimension. But Euclid's spaces had no coordinates; and in any case, what we do with them is still coordinate-independent.

Euclidean spaces with infinitesimals

Instead of working in the real numbers \mathbb{R} and nn-dimensional real vector spaces VV, one could instead work in a Archimedean ordered Artinian local \mathbb{R} -algebra AA and rank nn AA-modules VV. AA has infinitesimals, and so the AA-modules VV have infinitesimals as well. Nevertheless, it is still possible to define the Euclidean distance function on VV; the only difference is that the distance function is a pseudometric rather than a metric here.

Since AA is an local ring, the quotient of AA by its ideal of non-invertible elements II is \mathbb{R} itself, and the canonical function used in defining the quotient ring is the function :A\Re:A \to \mathbb{R} which takes a number aAa \in A to its purely real component (a)\Re(a) \in \mathbb{R}. Since AA is an ordered \mathbb{R}-algebra, there is a strictly monotone ring homomorphism h:Ah:\mathbb{R} \to A.

The real numbers have lattice structure min:×\min:\mathbb{R} \times \mathbb{R} \to \mathbb{R} and max:×\max:\mathbb{R} \times \mathbb{R} \to \mathbb{R}. This means that AA has a distance function given by the function ρ:A×A\rho:A \times A \to \mathbb{R}, defined as

ρ(a,b)max((a),(b))min((a),(b))\rho(a, b) \coloneqq \max(\Re(a), \Re(b)) - \min(\Re(a), \Re(b))

as well as an absolute value given by the function ||:A\vert-\vert:A \to \mathbb{R}, defined as

|a|ρ(a,0)\vert a \vert \coloneqq \rho(a, 0)

Since min(a,b)max(a,b)\min(a, b) \leq \max(a, b), the pseudometric and multiplicative seminorm are always non-negative. In addition, by definition, the pseudometric takes any two elements aAa \in A and bAb \in A whose difference abIa - b \in I is an infinitesimal to zero ρ(a,b)=0\rho(a, b) = 0.

Since \mathbb{R} is an Euclidean field, it has a metric square root function :[0,)[0,)\sqrt{-}:[0, \infty) \to [0, \infty). Every rank nn AA-module VV with basis v:Fin(n)Vv:\mathrm{Fin}(n) \to V thus has a Euclidean pseudometric ρ V:V×VK\rho_V:V \times V \to K defined by

ρ V(a,b) iFin(n)ρ(a i,b i) 2\rho_V(a, b) \coloneqq \sqrt{\sum_{i \in \mathrm{Fin}(n)} \rho(a_i, b_i)^2}

for module elements aVa \in V and bVb \in V and scalars a iAa_i \in A and b iAb_i \in A for index iFin(n)i \in \mathrm{Fin}(n), where

a= iFin(n)a iv ib= iFin(n)b iv ia = \sum_{i \in \mathrm{Fin}(n)} a_i v_i \quad b = \sum_{i \in \mathrm{Fin}(n)} b_i v_i

If AA is an ordered field, then this reduces down to the Euclidean metric defined above.

In constructive mathematics

In constructive mathematics, the real numbers used to define Euclidean spaces are the Dedekind real numbers D\mathbb{R}_{D}, as those are the only ones that are Dedekind complete, in the sense of not having any gaps in the dense linear order. The Dedekind real numbers are also the real numbers that are geometrically contractible: whose shape is homotopically contractible ʃ( D)𝟙\esh(\mathbb{R}_D) \cong \mathbb{1}.

In predicative constructive mathematics

In predicative constructive mathematics, the Dedekind real numbers are defined relative to a universe 𝒰\mathcal{U}, and thus there are many different such Dedekind real numbers that could be used to define Euclidean spaces, one 𝒰\mathbb{R}_\mathcal{U} for each 𝒰\mathcal{U}. However, each set of Dedekind real numbers 𝒰\mathbb{R}_\mathcal{U} would be large relative to the sets in the universe 𝒰\mathcal{U}.

If the predicative constructive foundations does not have universes, then there doesn’t exist any dense linear order that is actually Dedekind complete in the usual sense, and so the usual definition of Euclidean space does not work. Some mathematicians have proposed to use Sierpinski space Σ\Sigma, the initial σ \sigma -frame, for defining the real numbers, in place of the large set of all propositions in a universe Prop 𝒰\mathrm{Prop}_\mathcal{U}, but the real numbers in that case are only Σ \Sigma -Dedekind complete, which is a weaker condition than being Dedekind complete. Furthermore, Lešnik showed that for any two σ\sigma-frames Σ\Sigma and Σ \Sigma^{'} that embed into Prop 𝒰\mathrm{Prop}_\mathcal{U} such that ΣΣ \Sigma \subseteq \Sigma^{'}, if AA is the Σ\Sigma-Dedekind completion of \mathbb{Q} and BB is the Σ \Sigma^{'}-Dedekind completion of \mathbb{Q}, then ABA \subseteq B, so the Σ\Sigma-Dedekind real numbers are not complete.

Lengths and angles

Given two points xx and yy of a Euclidean space EE, their difference xyx - y belongs to the vector space VV, where it has a norm

xy=xy,xy. {\|x - y\|} = \sqrt{\langle{x - y, x - y}\rangle} .

This real number (or properly, element of the line LL) is the distance between xx and yy, or the length of the line segment xy¯\overline{x y}. This distance function makes EE into an (LL-valued) metric space.

Given three points x,y,zx, y, z, with x,yzx, y \ne z (so that xz,yz0{\|x - z\|}, {\|y - z\|} \ne 0), we can form the ratio

xz,yzxzyz, \frac{\langle{x - z, y - z}\rangle}{{\|x - z\|} {\|y - z\|}} ,

which is a (dimensionless) real number. By the Cauchy–Schwartz inequality, this number lies between 1-1 and 11, so it's the cosine of a unique angle measure between 00 and π\pi radians. This is the measure of the angle xzy\angle x z y. In a 22-dimensional Euclidean space, we can interpret xzy\angle x z y as a signed angle (so taking values anywhere on the unit circle) if we fix an orientation of EE.

Conversely, knowing angles and lengths, we may recover the inner product on VV;

xz,yz=xz¯yz¯cosxzy, \langle{x - z, y - z}\rangle = {\|\overline{x z}\|} {\|\overline{y z}\|} \cos \angle x z y ,

and other inner products are recovered by linearity. (We must then use the axioms of Euclidean geometry to prove that this is well defined and actually an inner product.) It’s actually possible to recover the inner product and angles from lengths alone; this is discussed at Hilbert space.

References

Textbook accounts:

On the use of the Dedekind real numbers in constructive and predicative constructive mathematics, such as for Euclidean spaces:

Last revised on September 5, 2023 at 15:03:54. See the history of this page for a list of all contributions to it.