nLab
isometry

Contents

Context

Riemannian geometry

Differential geometry

synthetic differential geometry

Introductions

from point-set topology to differentiable manifolds

geometry of physics: coordinate systems, smooth spaces, manifolds, smooth homotopy types, supergeometry

Differentials

V-manifolds

smooth space

Tangency

The magic algebraic facts

Theorems

Axiomatics

cohesion

  • (shape modality \dashv flat modality \dashv sharp modality)

    (ʃ)(ʃ \dashv \flat \dashv \sharp )

  • dR-shape modality\dashv dR-flat modality

    ʃ dR dRʃ_{dR} \dashv \flat_{dR}

  • tangent cohesion

    • differential cohomology diagram
    • differential cohesion

      • (reduction modality \dashv infinitesimal shape modality \dashv infinitesimal flat modality)

        (&)(\Re \dashv \Im \dashv \&)

      • graded differential cohesion

        • fermionic modality\dashv bosonic modality \dashv rheonomy modality

          (Rh)(\rightrightarrows \dashv \rightsquigarrow \dashv Rh)

        • id id fermionic bosonic bosonic Rh rheonomic reduced infinitesimal infinitesimal & étale cohesive ʃ discrete discrete continuous *

          \array{ && id &\dashv& id \ && \vee && \vee \ &\stackrel{fermionic}{}& \rightrightarrows &\dashv& \rightsquigarrow & \stackrel{bosonic}{} \ && \bot && \bot \ &\stackrel{bosonic}{} & \rightsquigarrow &\dashv& Rh & \stackrel{rheonomic}{} \ && \vee && \vee \ &\stackrel{reduced}{} & \Re &\dashv& \Im & \stackrel{infinitesimal}{} \ && \bot && \bot \ &\stackrel{infinitesimal}{}& \Im &\dashv& \& & \stackrel{\text{étale}}{} \ && \vee && \vee \ &\stackrel{cohesive}{}& ʃ &\dashv& \flat & \stackrel{discrete}{} \ && \bot && \bot \ &\stackrel{discrete}{}& \flat &\dashv& \sharp & \stackrel{continuous}{} \ && \vee && \vee \ && \emptyset &\dashv& \ast }

          </semantics></math></div>

          Models

          Lie theory, ∞-Lie theory

          differential equations, variational calculus

          Chern-Weil theory, ∞-Chern-Weil theory

          Cartan geometry (super, higher)

          Contents

          Idea

          An isometry is a function that preserves a metric, either in the sense of a metric space or in the sense of a Riemannian manifold.

          Metric spaces

          An isometry f:(X,d)(X,d)f\colon (X,d) \to (X',d') between metric spaces is a function f:XXf\colon X \to X' between the underyling sets that respects the metrics in that d=f *dd = f^* d'. More explicitly, d(f(a),f(b))=d(a,b)d'(f(a),f(b)) = d(a,b) for any points a,ba,b in XX.

          The same idea holds for extended quasi-pseudo-generalisations of metric spaces.

          Manifolds

          An isometry f:(X,g)(X,g)f\colon (X,g) \to (X',g') between Riemannian manifolds is a morphism f:XXf\colon X \to X' between the underlying manifolds that respects the metrics in that g=f *gg = f^* g'. More explicitly, g(f *v,f *w)=g(v,w)g'(f_*v,f_*w) = g(v,w) for any tangent vectors v,wv,w on XX.

          Global isometries

          Global isometries are the isomorphisms of metric spaces or Riemannian manifolds. An isometry is global if it is a bijection whose inverse is also an isometry. Between metric spaces, isometries are necessarily injections and bijective isometries necessarily have isometries as inverses, so global isometries between metric spaces are also called surjective isometries; this does not work for Riemannian manifolds (where the inverse of an isometry need not be a morphism of manifolds), nor does it work for pseudometric spaces (where an isometry need not be injective).

          Infinitesimal isometries

          see Killing vector field

          Isometries on normed vector spaces

          In practice, isometries EFE \to F between normed vector spaces tend to be affine maps. The following theorem gives a precise meaning to this.

          A norm on a vector space is strictly convex if, whenever u=1=v{\|u\|} = 1 = {\|v\|}, we have tu+(1t)v<1{\|t u + (1-t)v\|} \lt 1 for some (hence all!) tt in the range 0<t<10 \lt t \lt 1. In brief, no sphere contains a line segment. Examples of strictly convex spaces include spaces of type L pL^p for 1<p<1 \lt p \lt \infty.

          Theorem

          Let f:EFf \colon E \to F an isometry between normed vector spaces, and suppose FF is strictly convex. Then ff is affine.

          Proof

          To say that f:EFf \colon E \to F is affine means that ff preserves linear combinations of the form tx+(1t)yt x + (1-t)y. It suffices to consider only the case where 0<t<10 \lt t \lt 1 and, by continuity considerations, only the case of dyadic rationals between 00 and 11. Continuing this train of thought, it suffices to prove that f(12(x+y))=12(f(x)+f(y))f(\frac1{2}(x + y)) = \frac1{2}(f(x) + f(y)) for all x,yx, y.

          In the case of strict convexity, midpoints 12(u+v)\frac1{2}(u+v) are determined in terms of the norm, as the unique point ww such that

          wu=12uv=wv.{\|w - u\|} = \frac1{2}{\|u-v\|} = {\|w-v\|}.

          The midpoint satisfies these equations for any normed vector space, but the uniqueness is a consequence of strict convexity. For if there were two such points w,ww, w', then for some point ww'' on the line segment between them, we would have wu<12uv{\|w'' - u\|} \lt \frac1{2}{\|u-v\|}, and wv12uv{\|w''-v\|} \leq \frac1{2}{\|u-v\|} by ordinary convexity. But these two inequalities taken together would violate the triangle inequality.

          As a result, since ff is an isometry, w=f(12(x+y))w = f(\frac1{2}(x+y)) is forced to be the midpoint between f(x)f(x) and f(y)f(y) if FF is strictly convex. This completes the proof.

          If FF is not strictly convex, then isometries need not be affine. For example, consider E=E = \mathbb{R}, and F= 2F = \mathbb{R}^2 equipped with the l l_\infty (max) norm. For any contractive map ϕ:\phi \colon \mathbb{R} \to \mathbb{R}, e.g., any smooth function with |ϕ|1{|\phi'|} \leq 1, the map EFE \to F sending xx to (x,ϕ(x))(x, \phi(x)) is easily seen to be an isometry.

          If however ff is a surjective isometry between normed vector spaces, then ff is affine, by the Mazur-Ulam theorem.

          Last revised on December 11, 2017 at 11:24:58. See the history of this page for a list of all contributions to it.