Width of convex bodies in hyperbolic space

Abstract

For every hyperplane $H$ supporting a convex body $C$ in the hyperbolic space $\mathbb{H}^d$ we define the width of $C$ determined by $H$ as the distance between $H$ and a most distant ultraparallel hyperplane supporting $C$. We prove that if $\width_H (C) = Δ(C)$ and if there exists a unique most distant point $j \in C$ from $H$, then the projection of $j$ onto $H$ belongs to $H \cap C$. We verify that the diameter of $C$ equals to the maximum width of $C$. We define bodies of constant width in $\mathbb{H}^d$ in the standard way as bodies whose all widths are equal. We show that every body of constant width is strictly convex. The minimum width of $C$ over all supporting $H$ is called the thickness $Δ(C)$ of $C$. A convex body $R \subset \mathbb{H}^d$ is said to be reduced if $Δ(Z) < Δ(R)$ for every convex body $Z$ properly contained in $R$. We show that regular tetrahedra in $\mathbb{H}^3$ are not reduced. Similarly as in the Euclidean and spherical spaces, we introduce complete bodies and bodies of constant diameter in $\mathbb{H}^d$. We show that every body of constant width $δ$ is a body of constant diameter $δ$ and a complete body of diameter $δ$. Moreover, the two last conditions are equivalent.

Figures (4)

• Figure :
• Figure :
• Figure :
• Figure :

Theorems & Definitions (27)

• Lemma 1
• Lemma 2
• proof
• Lemma 3
• proof
• Lemma 4
• proof
• Proposition 1
• proof
• Proposition 2