In mathematics, a metric circle is the metric space of arc length on a circle, or equivalently on any rectifiable simple closed curve of bounded length.[1] The metric spaces that can be embedded into metric circles can be characterized by a four-point triangle equality.

Some authors have called metric circles Riemannian circles, especially in connection with the filling area conjecture in Riemannian geometry,[2] but this term has also been used for other concepts.[3] A metric circle, defined in this way, is unrelated to and should be distinguished from a metric ball, the subset of a metric space within a given radius from a central point.

Characterization of subspaces

edit

A metric space is a subspace of a metric circle (or of an equivalently defined metric line, interpreted as a degenerate case of a metric circle) if every four of its points can be permuted and labeled as   so that they obey the equalities of distances   and  . A space with this property has been called a circular metric space.[1]

Filling

edit
 
Arc distances on a great circle are the same as the distance between the same points on a sphere, and on the hemispheres into which the circle divides the sphere.

The Riemannian unit circle of length 2π can be embedded, without any change of distance, into the metric of geodesics on a unit sphere, by mapping the circle to a great circle and its metric to great-circle distance. The same metric space would also be obtained from distances on a hemisphere. This differs from the boundary of a unit disk, for which opposite points on the unit disk would have distance 2, instead of their distance π on the Riemannian circle. This difference in internal metrics between the hemisphere and the disk led Mikhael Gromov to pose his filling area conjecture, according to which the unit hemisphere is the minimum-area surface having the Riemannian circle as its boundary.[4]

References

edit
  1. ^ a b Dress, Andreas W. M.; Maehara, Hiroshi; Pang, Sabrina Xing Mei; Zeng, Zhenbing (2019), "On the Structure of Discrete Metric Spaces Isometric to Circles", in Du, Ding{-}Zhu; Li, Lian; Sun, Xiaoming; Zhang, Jialin (eds.), Algorithmic Aspects in Information and Management – 13th International Conference, AAIM 2019, Beijing, China, August 6–8, 2019, Proceedings, Lecture Notes in Computer Science, vol. 11640, Springer, pp. 83–94, doi:10.1007/978-3-030-27195-4_8, ISBN 978-3-030-27194-7
  2. ^ Katz, Mikhail (1991), "On neighborhoods of the Kuratowski imbedding beyond the first extremum of the diameter functional", Polska Akademia Nauk, 137 (3): 161–175, doi:10.4064/fm-137-3-161-175, MR 1110030
  3. ^ Kurita, Minoru (1965), "On certain mappings of Riemannian manifolds", Nagoya Mathematical Journal, 25: 121–142, doi:10.1017/S0027763000011491, MR 0175062, Here we mean by Riemannian circles those curves on [a Riemannian manifold] whose developments into the Euclidean space are circles.
  4. ^ Gromov, Mikhael (1983), "Filling Riemannian manifolds", Journal of Differential Geometry, 18 (1): 1–147, doi:10.4310/jdg/1214509283, MR 0697984