Abstract:Given a finite covering by closed convex sets of $B_X$, the unit ball of an infinite-dimensional Banach space, we investigate whether there is a set of the covering that contains balls of radius close to $1$ and (a) arbitrarily high finite dimension or (b) infinite dimension. In case (a) the answer is affirmative, but for the case (b) we just get radius close to $1/2$ and finite codimension under much more restrictive hypotheses.
What problem does this paper attempt to address?
This paper explores the problem of whether, when the unit ball \(B_X\) in an infinite - dimensional Banach space is covered by a finite number of closed convex sets, these covering sets contain high - dimensional or infinite - dimensional balls with a radius close to 1. Specifically, the main objectives of the paper can be divided into two parts:
1. **Radius of high - dimensional balls close to 1**:
- The paper first considers, under a finite covering, whether there exists a set that contains a ball with an arbitrarily high dimension and a radius close to 1. The author proves that in this case, the answer is yes. That is, for any given \(\lambda < 1\), there exists a certain set \(A_i\) that contains an \(n\)-dimensional ball whose radius is close to \(\lambda\).
2. **Radius of infinite - dimensional balls close to 1/2**:
- Next, the paper explores, under more stringent assumptions, whether there exists a set that contains an infinite - dimensional ball with a radius close to 1/2. The author points out that in this case, only a ball with a radius close to 1/2 and a finite codimension can be obtained.
### Main results and methods
- **Main results**:
- **High - dimensional balls**: For any \(n\in\mathbb{N}\) and \(\lambda < 1\), there exists an \(N^*(n, k, \lambda)\) such that for all normed spaces \(X\) with dimension \(N\geq N^*(n, k, \lambda)\) and a finite covering of \(A_1, A_2,\ldots, A_k\), there exists some \(i\) such that \(A_i\) contains an \(n\)-dimensional ball with a radius of \(\lambda\).
- **Infinite - dimensional balls**: Under more stringent assumptions, only a ball with a radius close to 1/2 and a finite codimension can be obtained.
- **Methods**:
- The paper uses Milman's concentration of measure phenomenon and Dvoretzky's theorem to prove the existence of high - dimensional balls.
- For the case of infinite - dimensional balls, the author uses some auxiliary lemmas and projection techniques to deal with subspaces of finite codimension.
### Motivation and background
- **Motivation**:
- Baire's theorem shows that when the unit ball \(B_X\) of a Banach space is covered by any countable number of closed sets, at least one set contains a small ball. If the covering is finite and the sets are convex, it is natural to expect that a ball with a larger radius can be contained.
- Lyusternik - Shnirel'man's theorem shows that any no more than \(n\) closed sets covering the Euclidean ball \(S^{n - 1}\) have at least one set that contains a pair of symmetric points. This result implies that in an infinite - dimensional Banach space, when \(B_X\) is covered by any finite number of closed convex sets, at least one set contains a one - dimensional ball with a diameter of 1.
### Conclusion
Through a series of technical means, the paper proves that when the unit ball of an infinite - dimensional Banach space is covered by a finite number of closed convex sets, it is indeed possible to find a ball with a radius close to 1 and an arbitrarily high dimension. However, for infinite - dimensional balls, only under more stringent assumptions can a ball with a radius close to 1/2 and a finite codimension be obtained. These results provide a new perspective for further research on the geometric properties in Banach spaces.