2
$\begingroup$

Let $X$ be a Banach space and $K$ a compact subset of $X$ and consider for a given $\eta>0$ the closed ball $C(0,\eta)$ centered at $0$ of radius $\eta$.

How can I show that $K+C(0,\eta)=\{x+y: x\in K~\mbox{and }y\in C(0,\eta)~\}$ is not (sequentially) compact (except when $X$ has finite dimension or $K$ is empty)?

  • 1
    You are asking if the sum of a compact set and a closed $b$all is compact in a Banach space. The closed $b$alls need not be compact.2012-10-15

1 Answers 1

2

If $K$ is empty, the set is empty, and if it's not empty then take $x_0\in K$: we get $K+C(0,\eta)\supset x_0+C(0,\eta)=C(x_0,\eta)$. If it was compact, so would be the closed unit ball.

  • 0
    @kevin This says also how to construct a counter example: take $X$ a space where the closed unit ball is not compact and consider $K$ a compact subset of $X$2012-10-15