Math 2.0

Differential geometry Definition

Isometry of Riemannian manifolds

Builds on Riemannian manifoldDiffeomorphismDifferential of a smooth map

Definition

Let (M,g)(M, g) and (N,h)(N, h) be Riemannian manifolds. Let φ ⁣:M→N\varphi \colon M \to N be a diffeomorphism, and let dφpd\varphi_p be its differential at p∈Mp \in M. The map φ\varphi is an isometry from (M,g)(M, g) to (N,h)(N, h) if, for all p∈Mp \in M and all v,w∈TpMv, w \in T_pM, hφ(p)(dφp(v),dφp(w))=gp(v,w).h_{\varphi(p)}\bigl(d\varphi_p(v), d\varphi_p(w)\bigr) = g_p(v, w). Equivalently, φ∗h=g\varphi^* h = g.

Remarks

Example: let A∈O(n+1)A \in O(n + 1) be an orthogonal matrix. The map x↦Axx \mapsto Ax restricts to a diffeomorphism of the unit sphere SnS^n with differential v↦Avv \mapsto Av. Since ⟨Av,Aw⟩=⟨v,w⟩\ip{Av}{Aw} = \ip{v}{w}, it is an isometry of the round sphere.

Non-example: the map x↦2xx \mapsto 2x of ℝn\R^n is a diffeomorphism, but ⟨2v,2w⟩=4⟨v,w⟩\ip{2v}{2w} = 4 \ip{v}{w}, so it does not preserve the metric.

Let MM and NN have the same dimension. A smooth map φ\varphi with φ∗h=g\varphi^* h = g, not required to be a diffeomorphism, is a local isometry. The covering map ℝ→S1\R \to S^1, t↦(cos⁡t,sin⁡t)t \mapsto (\cos t, \sin t), is an example. An isometry preserves the Riemannian distance; conversely, by the Myers–Steenrod theorem, a distance-preserving bijection between connected Riemannian manifolds is an isometry in this sense.

Reading path

To understand this page from the ground up, read these 9 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Differential of a smooth map concept
  2. Euclidean space object
  3. Function concept
  4. Riemannian manifold concept
  5. Total derivative concept
  6. Function of several variables concept
  7. Differentiable function of several variables concept
  8. Diffeomorphism concept
  9. Isometry of Riemannian manifolds definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Isometry
About this page
Tag99RQHAGNW1
URIm2://99RQHAGNW1
Kinddefinition
WritingW0 stub
MSC53C20, 53B20
DefinesIsometry of Riemannian manifolds
UsesRiemannian manifold, Diffeomorphism, Differential of a smooth map
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.