In 1926 S. Nakajima (= A. Matsumura) showed that any convex body in $\R^3$ with constant width, constant brightness, and boundary of class $C^2$ is a ball. We show that the regularity assumption on the boundary is unnecessary, so that balls are the only convex bodies of constant width and brightness.
For a convex body $K\subset\R^n$, the $k$th projection function of $K$ assigns to any $k$-dimensional linear subspace of $\R^n$ the $k$-volume of the orthogonal projection of $K$ to that subspace. Let $K$ and $K_0$ be convex bodies in $\R^n$, and let $K_0$ be centrally symmetric and satisfy a weak regularity and curvature condition (which includes all $K_0$ with $\f K_0$ of class $C^2$ with positive radii of curvature). Assume that $K$ and $K_0$ have proportional 1st projection functions (i.e., width functions) and proportional $k$th projection functions. For $2\le k<(n+1)/2$ and for $k=3, n=5…
The X-ray numbers of some classes of convex bodies are investigated. In particular, we give a proof of the X-ray Conjecture as well as of the Illumination Conjecture for almost smooth convex bodies of any dimension and for convex bodies of constant width of dimensions 3, 4, 5 and 6.
We present a spherical version of the theorem of Blaschke that every body of constant width $w < \fracπ{2}$ can be approximated as well as we wish in the sense of the Hausdorff distance by a body of constant width $w$ whose boundary consists only of pieces of circles of radius $w$. This is a special case of our theorem about approximation of spherical reduced bodies.
We present a survey article about the geometry of convex bodies on the $d$-dimensional sphere $S^d$. We concentrate on the results based on the notion of the width of a convex body $C \subset S^d$ determined by a supporting hemisphere of $C$. Important tools are the lunes containing $C$. The supporting hemispheres take over the role of the supporting half-spaces of a convex body in Euclidean space, and lunes the role of strips. Also essential is the notion of thickness of $C$, i.e, its minimum width. In particular, we describe properties of reduced spherical convex bodies and spherical bodies …
Following Santaló's approach, we prove several characterizations of a disc among bodies of constant width, constant projections lengths, or constant section lengths on given families of geodesics.
In this paper we show that a spherical convex body $C$ is of constant diameter $τ$ if and only if $C$ is of constant width $τ$, for $0<τ<π$. Moreover, some applications to Wulff shapes are given.
A subset of the d-dimensional Euclidean space having nonempty interior is called a spindle convex body if it is the intersection of (finitely or infinitely many) congruent d-dimensional closed balls. The spindle convex body is called a "fat" one, if it contains the centers of its generating balls. The core part of this paper is an extension of Schramm's theorem and its proof on illuminating convex bodies of constant width to the family of "fat" spindle convex bodies.
The intersection $L$ of two different non-opposite hemispheres $G$ and $H$ of a $d$-dimensional sphere $S^d$ is called a lune. By the thickness of $L$ we mean the distance of the centers of the $(d-1)$-dimensional hemispheres bounding $L$. For a hemisphere $G$ supporting a %spherical convex body $C \subset S^d$ we define ${\rm width}_G(C)$ as the thickness of the narrowest lune or lunes of the form $G \cap H$ containing $C$. If ${\rm width}_G(C) =w$ for every hemisphere $G$ supporting $C$, we say that $C$ is a body of constant width $w$. We present properties of these bodies. In particular, we…
For any Wulff shape, its dual Wulff shape is naturally defined. A self-dual Wulff shape is a Wulff shape equaling its dual Wulff shape exactly. In this paper, it is shown that a Wulff shape is self-dual if and only if the spherical convex body induced by it is of constant width $π/{2}$.
Extending Blaschke and Lebesgue's classical result in the Euclidean plane, it has been recently proved in spherical and the hyperbolic cases, as well, that Reuleaux triangles have the minimal area among convex domains of constant width $D$. We prove an essentially optimal stability version of this statement in each of the three types of surfaces of constant curvature. In addition, we summarize the fundamental properties of convex bodies of constant width in spaces of constant curvature, and provide a characterization in the hyperbolic case in terms of horospheres.
Makeev conjectured that every constant-width body is inscribed in the dual difference body of a regular simplex. We prove that homologically, there are an odd number of such circumscribing bodies in dimension 3, and therefore geometrically there is at least one. We show that the homological answer is zero in higher dimensions, a result which is inconclusive for the geometric question. We also give a partial generalization involving affine circumscription of strictly convex bodies.
Lipschitzness of the width and diameter functions of convex bodies in $\mathbb R^n$
Institute of Mathematics and Informatics Bulgarian Academy of Sciences(保加利亚科学院数学与计算机科学研究所);Faculty of Information Sciences State University of Library Studies and Information Technologies(图书馆与信息技术国立大学信息科学学院);Institut de Mathématiques de Toulouse(图卢兹数学研究所;图卢兹大学;法国国家科学研究中心);UMR5219 Université de Toulouse;CNRS UPS
We present an alternative proof of the following fact: the hyperspace of compact closed subsets of constant width in $\mathbb R^n$ is a contractible Hilbert cube manifold. The proof also works for certain subspaces of compact convex sets of constant width as well as for the pairs of compact convex sets of constant relative width. Besides, it is proved that the projection map of compact closed subsets of constant width is not 0-soft in the sense of Shchepin, in particular, is not open.
In this paper we state a one-to-one connection between the maximal ratio of the circumradius and the diameter of a body (the Jung constant) in an arbitrary Minkowski space and the maximal Minkowski asymmetry of the complete bodies within that space. This allows to generalize and unify recent results on complete bodies and to derive a necessary condition on the unit ball of the space, assuming a given body to be complete. Finally, we state several corollaries, i.e. concerning the Helly dimension or the Banach-Mazur distance.
It is known that an $n$-dimensional convex body which is typical in the sense of Baire category, shows a simple, but highly non-intuitive curvature behaviour: at almost all of its boundary points, in the sense of measure, all curvatures are zero, but there is also a dense and uncountable set of boundary points at which all curvatures are infinite. The purpose of this paper is to find a counterpart to this phenomenon for typical convex bodies of given constant width. Such bodies cannot have zero curvatures. A main result says that for a typical $n$-dimensional convex body of constant width $1$ …
Let n be a natural number equal or greater than 2. In this paper we study the topological structure of certain hyperspaces of convex subsets of constant width, equipped with the Hausdorff metric topology. We focus our attention on the hyperspace cw_D(R^n) of all compact convex subsets with constant width d\in D, where D is a convex subset of [0,\infty). Our main result states that cw_D(R^n) is homeomorphic to D\times R^n\times Q, where Q denotes the Hilbert cube. We also prove that the hyperspace crw_D(R^n), consisting of all pairs of compact convex sets of constant relative width d\in D is ho…
We prove several estimates for the volume, mean width, and the value of the Wills functional of sections of convex bodies in John's position, as well as for their polar bodies. These estimates extend some well-known results for convex bodies in John's position to the case of lower-dimensional sections, which had mainly been studied for the cube and the regular simplex. Some estimates for centrally symmetric convex bodies in minimal surface area position are also obtained.
The aim of this paper is to present some properties of reduced spherical convex bodies on the two-dimensional sphere $S^2$. The intersection of two different non-opposite hemispheres is called a lune. By its thickness we mean the distance of the centers of the two semicircles bounding it. The thickness $Δ(C)$ of $C$ is the minimum thickness of a lune containing $C$. We say that a spherical convex body $R$ is reduced if $Δ(Z) < Δ(R)$ for every spherical convex body $Z \subset R$ different from $R$. Our main theorem permits to describe the shape of reduced bodies of thickness below $\fracπ{2}$. …
We present some relationships between the diameter, width and thickness of a reduced convex body on the $d$-dimensional sphere. We apply the obtained properties to recognize if a Wulff shape in the Euclidean $d$-space is self-dual.
Denote by ${\mathcal K}^d$ the family of convex bodies in $E^d$ and by $w(C)$ the minimal width of $C \in {\mathcal K}^d$. We ask for the greatest number $Λ_n ({\mathcal K}^d)$ such that every $C \in {\mathcal K}^d$ contains a polytope $P$ with at most $n$ vertices for which $Λ_n ({\mathcal K}^d) \leq \frac{w(P)}{w(C)}$. We give a lower estimate of $Λ_n ({\mathcal K}^d)$ for $n \geq 2d$ based on estimates of the smallest radius of $\big\lfloor {\frac{n}{2}} \big\rfloor$ antipodal pairs of spherical caps that cover the unit sphere of $E^d$. We show that $Λ_3 ({\mathcal K}^2) \geq {\frac 1 2}(3-…
Similarly to the classic notion in $E^d$, a subset of a positive diameter below $\fracπ{2}$ of a hemisphere of the sphere $S^d$ is called complete, provided adding any extra point increases its diameter. Complete sets are convex bodies on $S^d$. Our main theorem says that on $S^d$ complete bodies of diameter $δ$ coincide with bodies of constant width $δ$.
The purpose of this paper is to describe a new $3$-dimensional family of bodies of constant width that we have called peabodies, obtained from the Reuleaux tetrahedron by replacing a small neighborhood of all six edges with sections of an envelope of spheres. This family contains, in particular, the two Meissner solids and a body with tetrahedral symmetry that we have called Robert's body. Behind the construction of this family lies the classical notion of confocal quadrics discussed, for example, by Hilbert in his famous book. We study confocal quadrics and prove that the distances of an alte…
The "old-new" concept of convex-hull function was investigated by several authors in the last seventy years. A recent research on it led to some other volume functions as the covariogram function, the widthness function or the so-called brightness functions, respectively. A very interesting fact that there are many long-standing open problems connected with these functions whose serious investigation closed before the "age of computers". In this survey, we concentrate only on the three-dimensional case, we will mention the most important concepts, statements, and problems.
This paper contains a new concept to measure the width and thickness of a convex body in the hyperbolic plane. We compare the known concepts with the new one and prove some results on bodies of constant width, constant diameter and given thickness.
In this paper, we establish mean width inequalities of sections and projections of convex bodies for isotropic measures with complete equality conditions, which extends the recent work of Alonso-Gutiérrez and Brazitikos. Different from their approach, our proof is based on the approach developed by Lutwak, Yang and Zhang, by using the Ball-Barthe inequality, the mass transportation, and the isotropic embedding.
The mean width is a measure on n-dimensional convex bodies. An integral formula for the mean width of a regular n-simplex appeared in the electrical engineering literature in 1997. As a consequence, expressions for the expected range of a sample of n+1 normally distributed variables, for n<=6, carry over to widths of regular n-simplices. As another consequence, precise asymptotics for the mean width become available as n->infty.
The notion of ball convexity, considered in finite dimensional real Banach spaces, is a natural and useful extension of usual convexity; one replaces intersections of half-spaces by suitable intersections of balls. A subset $S$ of a normed space is called ball convex if it coincides with its ball hull, which is obtained as intersection of all balls (of fixed radius) containing $S$. Ball convex sets are closely related to notions like ball polytopes, complete sets, bodies of constant width, and spindle convexity. We will study geometric properties of ball convex bodies in normed spaces, for exa…
We aim to study the classical Rosenthal-Szasz inequality for a plane whose geometry is given by a norm. This inequality states that the bodies of constant width have the largest perimeter among all planar convex bodies of given diameter. In the case where the unit circle of the norm is given by a Radon curve, we obtain an inequality which is completely analogous to the Euclidean case. For arbitrary norms we obtain an upper bound for the perimeter calculated in the anti-norm, yielding an analogous characterization of all curves of constant width. To derive these results, we use methods from the…
A natural model for the approximation of a convex body $K$ in $\mathbb{R}^d$ by random polytopes is obtained as follows. Take a stationary Poisson hyperplane process in the space, and consider the random polytope $Z_K$ defined as the intersection of all closed halfspaces containing $K$ that are bounded by hyperplanes of the process not intersecting $K$. If $f$ is a functional on convex bodies, then for increasing intensities of the process, the expectation of the difference $f(Z_K)-f(K)$ may or may not converge to zero. If it does, then the order of convergence and possible limit relations are…
The mean width is a measure on three-dimensional convex bodies that enjoys equal status with volume and surface area [Rota]. As the phrase suggests, it is the mean of a probability density f. We verify formulas for mean widths of the regular tetrahedron and the cube. Higher-order moments of f_tetra and f_cube have not been examined until now. Assume that each polyhedron has edges of unit length. We deduce that the mean square width of the regular tetrahedron is 1/3+(3+sqrt(3))/(3*pi) and the mean square width of the cube is 1+4/pi.
A new intrinsic volume metric is introduced for the class of convex bodies in $\mathbb{R}^n$. As an application, an inequality is proved for the asymptotic best approximation of the Euclidean unit ball by arbitrarily positioned polytopes with a restricted number of vertices under this metric. This result improves the best known estimate, and shows that dropping the restriction that the polytope is contained in the ball or vice versa improves the estimate by at least a factor of dimension. The same phenomenon has already been observed in the special cases of volume, surface area and mean width …