Diameter, width and thickness in the hyperbolic plane

In hyperbolic geometry there are several concepts to measure the breadth or width of a convex set. In the first part of the paper we collect them and compare their properties. Than we introduce a new concept to measure the width and thickness of a convex body. Correspondingly, we define three classes of bodies, bodies of constant with, bodies of constant diameter and bodies having the constant shadow property, respectively. We prove that the property of constant diameter follows to the fulfilment of constant shadow property, and both of them are stronger as the property of constant width. In the last part of this paper, we introduce the thickness of a constant body and prove a variant of Blaschke’s theorem on the larger circle inscribed to a plane-convex body of given thickness and diameter.

Ball characterizations in spaces of constant curvature

High proved the following theorem. If the intersections of any two congruent copies of a plane convex body are centrally symmetric, then this body is a circle. In our paper we extend the theorem of High to spherical, Euclidean and hyperbolic spaces, under some regularity assumptions. Suppose that in any of these spaces there is a pair of closed convex sets of class C+2 with interior points, different from the whole space, and the intersections of any congruent copies of these sets are centrally symmetric (provided they have non-empty interiors). Then our sets are congruent balls. Under the same hypotheses, but if we require only central symmetry of small intersections, then our sets are either congruent balls, or paraballs, or have as connected components of their boundaries congruent hyperspheres (and the converse implication also holds). Under the same hypotheses, if we require central symmetry of all compact intersections, then either our sets are congruent balls or paraballs, or have as connected components of their boundaries congruent hyperspheres, and either d ≥ 3, or d = 2 and one of the sets is bounded by one hypercycle, or both sets are congruent parallel domains of straight lines, or there are no more compact intersections than those bounded by two finite hypercycle arcs (and the converse implication also holds). We also prove a dual theorem. If in any of these spaces there is a pair of smooth closed convex sets, such that both of them have supporting spheres at any of their boundary points Sd for Sd of radius less than π/2- and the closed convex hulls of any congruent copies of these sets are centrally symmetric, then our sets are congruent balls.

Bounding Regions to Plane Steepest Descent Curves of Quasiconvex Families

Two-dimensional steepest descent curves (SDC) for a quasiconvex family are considered; the problem of their extensions (with constraints) outside of a convex bodyKis studied. It is shown that possible extensions are constrained to lie inside of suitable bounding regions depending onK. These regions are bounded by arcs of involutes of∂Kand satisfy many inclusions properties. The involutes of the boundary of an arbitrary plane convex body are defined and written by their support function. Extensions SDC of minimal length are constructed. Self-contracting sets (with opposite orientation) are considered: necessary and/or sufficient conditions for them to be subsets of SDC are proved.