5
$\begingroup$

How do I exhibit an open cover of the closed unit ball of the following:

(a) $X = \ell^2$
(b) $X=C[0,1]$
(c) $X= L^2[0,1]$

that has no finite subcover?

  • 4
    **Hint:** First find a sequence without convergent subsequence.2012-04-15
  • 0
    I was going to expand on this ^ comment when his answer appeared but since I use different words, I'll post what I was going to write anyway: For a), if you take $(0, \dots, 1, 0 , \dots )$ the sequences that are $1$ at position $k$ and zero otherwise then they're all in the closed unit ball in $\ell^2$. Take your open cover to be the $\varepsilon$-balls around these sequences and $\varepsilon < \sqrt{2}$. (to be continued)2012-04-15
  • 0
    Then pick any finite subcover of this. Then there will be an $N$ such that all the sequences in your cover are zero after $N$. Pick a point $(0, \dots, 0, 1, 0, \dots )$ where $1$ appears somewhere above $N$. Then this point is not covered by your finite subcover since its distance to any of the sequences in your basis is $\sqrt{2}$.2012-04-15
  • 0
    @Matt: the collection of balls you start with doesn't cover the unit ball.2012-04-15
  • 0
    @t.b. I'm trying to see why they don't...2012-04-15
  • 0
    @Matt: e.g. $(-1,0,0,\ldots)$ is not contained in any of those balls.2012-04-15
  • 0
    @t.b. Right. But what if I add $(0, \dots, 0, -1, 0, \dots)$?2012-04-15

1 Answers 1