6
$\begingroup$

Are there any Banach space $X$ with $\operatorname{dim}(X)=\infty$ satisfying $S_X=\lbrace x\in X| |x|=1\rbrace $ is covered by for some $B_1,B_2,\ldots,B_N$, where $B_N$ are balls in $X$ with $0\notin B_i$ for $i=1,\ldots, N$?

I can find some literatures concerning countably many ball cases (e.g. T. W. Koerner, J. Lond. Math. Soc. (1970) 643-646). Also, I can prove that there are no such Hilbert space $X$ (using, for example, orthonormal bases?)

But, I couldn't find any literature about finite ball case (which is my question). Is it trivial?

  • 1
    "[Ball-covering property of Banach spaces](http://www.springerlink.com/content/u28512wq48545573/)" by L. Cheng looks helpful.2011-06-18

2 Answers 2

3

If $\mathrm{dim}(X)=+\infty$ and $S_X\subset\bigcup_{j=1}^NB_j$ where $B_j$ are closed balls (with $0\notin B_j$ for all $j$) then since the weak closure of $S_X$ is $\left\{x\in X, \lVert x\rVert \leq 1\right\}$. Since each $B_j$ is closed for the topology given by the norm and convex we know that each $B_j$ is closed for the weak topology. Hence we get $\left\{x\in X, \lVert x\rVert \leq 1\right\} \subset\bigcup_{j=1}^N B_j$. We get a contradiction since we assumed that $0\notin \bigcup_{j=1}^NB_j$.

  • 1
    Jonas meyer's links gives us information for closed ball, hence it was not so clear that Greg means open balls. In every case, it should be precised.2011-06-18
2

Assuming you mean open balls $B_j$. By Hahn-Banach, there is a linear functional $f_j$ that is positive on $B_j$. The set $\{x\in S_X : f_j(x)=0, 1\le j\le n\}$ is disjoint from the union, and it not empty if $X$ has dimension $> n$.