An estimate of the Hausdorff distance between a set and its convex hull in Euclidean spaces of small dimension

V. N. Ushakov   ; A. A. Ershov

Trudy Instituta matematiki i mehaniki, Trudy Instituta Matematiki i Mekhaniki UrO RAN, Tome 24 (2018) no. 1, pp. 223-235

Résumé

We derive estimates for the Hausdorff distance between sets and their convex hulls in finite-dimensional Euclidean spaces with the standard scalar product and the corresponding norm. In the first part of the paper, we consider estimates for $\alpha$-sets. By an $\alpha$-set we mean an arbitrary compact set for which the parameter characterizing the degree of nonconvexity and computed in a certain way equals $\alpha$. In most cases, the parameter $\alpha$ is the maximum possible angle under which the projections to this set are visible from points not belonging to the set. Note that $\alpha$-sets were introduced by V.N. Ushakov for the classification of nonconvex sets according to the degree of their nonconvexity; $\alpha$-sets are used for the description of wavefronts and for the solution of other problems in control theory. We consider $\alpha$-sets only in a two-dimensional space. It is proved that, if $\alpha$ is small, then the corresponding $\alpha$-sets are close to convex sets in the Hausdorff metric. This allows to neglect their nonconvexity and consider such sets convex if it is known that the parameter $\alpha$ is small. The known Shapley-Folkman theorem is often applied in the same way. In the second part of the paper we present some improvements of the estimates from the Shapley-Folkman theorem. The original Shapley-Folkman theorem states that the Minkowski sum of a large number of sets is close in the Hausdorff metric to the convex hull of this sum with respect to the value of the Chebyshev radius of the sum. We consider a particular case when the sum consists of identical terms; i.e., we add some set $M$ to itself. For this case we derive an improved estimate, which is essential for sets in spaces of small dimension. In addition, as in Starr's known corollary, the new estimate admits the following improvement: the Chebyshev radius $R(M)$ on the right-hand side can be replaced by the inner radius $r(M)$ of the set $M$. However, as the dimension of the space grows, the new estimate tends asymptotically to the estimate following immediately from the Shapley-Folkman theorem.

Détail

Mots-clés : $\alpha$-set, Hausdorff distance.
Keywords: Minkowski sum, convex hull

Bibliographie

[1] Ushakov V.N., Uspenskii A.A., Fomin A.N., $\alpha$-mnozhestva i ikh svoistva, Institut matematiki i mekhaniki UrO RAN, Ekaterinburg, 2004, 62 pp.

[2] Ushakov V.N., Uspenskii A.A., “$\alpha$-mnozhestva v konechnomernykh evklidovykh prostranstvakh i ikh svoistva”, Vestn. Udmurt. un-ta. Matematika. Mekhanika. Kompyut. nauki, 26:1 (2016), 95–120 | DOI | MR

[3] Polovinkin E.S., Balashov M.V., Elementy vypuklogo i silno vypuklogo analiza, Fizmatlit, M., 2007, 438 pp.

[4] Yaglom I.M., Boltyanskii V.G., Vypuklye figury, GTTI, M., 1951, 344 pp. | MR

[5] Starr R.M., “Quasi-equilibria in markets with non-convex preferences”, Econometrica, 37:1 (1969), 25–38 | DOI

[6] Garkavi A.L., “O chebyshëvskom tsentre i vypukloi obolochke mnozhestva”, Uspekhi mat. nauk, 19:6 (1964), 139–145 | MR

[7] Bugrov Ya.S., Nikolskii S.M., Vysshaya matematika, Ucheb. dlya vuzov: v 3 t., v. 3, Differentsialnye uravneniya. Kratnye integraly. Ryady. Funktsii kompleksnogo peremennogo, Drofa, M., 2004, 512 pp. | MR

[8] Preparata F., Feimos M., Vychislitelnaya geometriya: Vvedenie, Mir, M., 1989, 478 pp. | MR