Skip to main content
3 of 3
Corrected grammar.
Bill Johnson
  • 31.5k
  • 5
  • 90
  • 138

The answer is no for the Banach space $c_0$. Suppose $B(x_i,r_i)$ is a sequence of balls with $r_i\to 0$ and WLOG $x_i$ is supported in $[1,N_i]$ with $N_1<N_2<...$. Consider a point $x$ in $c_0$ whose $N_i+1$ coordinate is $2 r_i$.

I think the answer is no for any separable Banach space: IIRC, for any separable Banach space $X$ and any increasing sequence $E_n$ of finite dimensional subspaces and any sequence of positive $r_n\to 0$, there is a vector $x$ in $X$ s.t. the distance from $x$ to $E_n$ is larger than $r_n$ (in fact, even equal to $2r_n$ if $r_n$ is decreasing).

ADDED 10/12/10: It is not hard to check what I said in the second paragraph of my answer, from which it follows that the answer is no for any infinite dimensional Banach space. Is the answer no for any infinite dimensional linear metric space?

Can you characterize the metric spaces for which the answer is yes? I suspect that the reason Fedor is interested in the property is that a modification of the proof of the Vitali covering theorem yields that if $X$ is covered by such a sequence of balls, then there are DISJOINT balls $B(y_n,t_n)$ with $t_n\to 0$ s.t. $B(y_n,5t_n)$ covers $X$.

Bill Johnson
  • 31.5k
  • 5
  • 90
  • 138