English

Divide bounded sets into sets having smaller diameters

Functional Analysis 2021-03-30 v2 Metric Geometry

Abstract

For each positive integer mm and each real finite dimensional Banach space XX, we set β(X,m)\beta(X,m) to be the infimum of δ(0,1]\delta\in (0,1] such that each set AXA\subset X having diameter 11 can be represented as the union of mm subsets of AA whose diameters are at most δ\delta. Elementary properties of β(X,m)\beta(X,m), including its stability with respect to XX in the sense of Banach-Mazur metric, are presented. Two methods for estimating β(X,m)\beta(X,m) are introduced. The first one estimates β(X,m)\beta(X,m) using the knowledge of β(Y,m)\beta(Y,m), where YY is a Banach space sufficiently close to XX. The second estimation uses the information about βX(K,m)\beta_X(K,m), the infimum of δ(0,1]\delta\in(0,1] such that KXK\subset X is the union of mm subsets having diameters not greater than δ\delta times the diameter of KK, for certain classes of convex bodies KK in XX. In particular, we show that β(lp3,8)0.925\beta(l_p^3,8)\leq 0.925 holds for each p[1,+]p\in [1,+\infty] by applying the first method, and we proved that β(X,8)<1\beta(X,8)<1 whenever XX is a three-dimensional Banach space satisfying βX(BX,8)<221328\beta_X(B_X,8)<\frac{221}{328}, where BXB_X is the unit ball of XX, by applying the second method. These results and methods are closely related to the extension of Borsuk's problem in finite dimensional Banach spaces and to C. Zong's computer program for Borsuk's conjecture.

Keywords

Cite

@article{arxiv.2103.10679,
  title  = {Divide bounded sets into sets having smaller diameters},
  author = {Yanlu Lian and Senlin Wu},
  journal= {arXiv preprint arXiv:2103.10679},
  year   = {2021}
}
R2 v1 2026-06-24T00:20:45.226Z