Isometry

cosmos 27th November 2017 at 1:53pm
Geometry Metric

An isometry is a Diffeomorphism F:MNF: M \to N between two Riemannian manifolds with metrics gMg_M and gNg_N, such that FgN=gMF^* g_N = g_M (where FgNF^* g_N refers to the pull back of the metric, see Riemannian metric for definiton)

See notes and video

For two Surfaces S1 and S2 if there is a Diffeomorphism ff which takes each curve on S1 to a curve on S2 of the same length, then such an ff is called an isometry. For this to work, the two surfaces should already be homeomorphic.

Theorem, characterizing isometries by invariance of the First fundamental form.

Examples

Strip of a plane is isometric to cylinder

Cone is isometric to a region of the plane

If a chart is both conformal and area-preserving, then the surface/patch is isometric to the plane. Conformal map, and Area-preserving map are weaker notions of isometry.

How does one prove that there is not an isometric chart between a piece of the plane and a piece of the Sphere? : Theorema Egregium