Circle (Riemannian manifold)

From Diffgeom

Definition

The circle, as a Riemannian manifold, or as an intrinsic curve, is defined as a simple closed curve (i.e. diffeomorphic to the circle) satisfying the following equivalent properties: