Abstract
We show that the perimeter of the convex hull of finitely many disks lying in the hyperbolic or Euclidean plane, or in a hemisphere does not increase when the disks are rearranged so that the distances between their centers do not increase. This generalizes the theorem on the monotonicity of the perimeter of the convex hull of a finite set under contractions, proved in the Euclidean plane by V. N. Sudakov [8], R. Alexander [1], V. Capoyleas and J. Pach [3]. We also prove that the area of the intersection of finitely many disks in the hyperbolic plane does not decrease after such a contractive rearrangement. The Euclidean analogue of the latter statement was proved by K. Bezdek and R. Connelly [2]. Both theorems are proved by a suitable adaptation of a recently published method of I. Gorbovickis [4].
Similar content being viewed by others
References
Alexander, R.: Lipschitzian mappings and total mean curvature of polyhedral surfaces. I. Trans. Amer. Math. Soc. 288, 661–678 (1985)
Bezdek, K., Connelly, R.: Pushing disks apart–the Kneser-Poulsen conjecture in the plane. J. Reine Angew. Math. 553, 221–236 (2002)
V. Capoyleas and J. Pach, On the perimeter of a point set in the plane, in: Discrete and Computational Geometry (New Brunswick, NJ, 1989/1990), DIMACS Ser. Discrete Math. Theoret. Comput. Sci., vol. 6, Amer. Math. Soc. (Providence, RI, 1991), pp. 67–76
Gorbovickis, I.: The central set and its application to the Kneser-Poulsen conjecture. Discrete Comput. Geom. (2018). https://doi.org/10.1007/s00454-018-9974-3
Kirszbraun, M.: Über die zusammenziehende und lipschitzsche Transformationen. Fund. Math. 22, 77–108 (1934)
Kneser, M.: Einige Bemerkungen über das Minkowskische Flächenmass. Arch. Math. (Basel) 6, 382–390 (1955)
Poulsen, E.-T.: Problem 10. Math. Scand. 2, 346 (1954)
Sudakov, V.N.: Gaussian random processes, and measures of solid angles in Hilbert space. Dokl. Akad. Nauk SSSR 197, 43–45 (1971)
Valentine, F.A.: Contractions in non-euclidean spaces. Bull. Amer. Math. Soc. 50, 710–713 (1944)
Valentine, F.A.: A Lipschitz condition preserving extension for a vector function. American J. Math. 67, 83–93 (1945)
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to Ted Bisztriczky, Gábor Fejes Tóth, and Endre Makai on the occasion of their 70th birthdays
The research was supported by the National Research Development and Innovation Office (NKFIH) Grant No. OTKA K112703.
Rights and permissions
About this article
Cite this article
Csikós, B., Horváth, M. Two Kneser–Poulsen-type inequalities in planes of constant curvature. Acta Math. Hungar. 155, 158–174 (2018). https://doi.org/10.1007/s10474-018-0820-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10474-018-0820-0