Let $X=(X,|\cdot|)$ be a Banach space and let $A,B \subset X$. If $A$ is a compact set and $B$ is bounded set, then $$A+B=\{a+b \; ; \; a \in A \: \text{e}\: b \in B\}$$ is a compact set? I tried to prove it as follows: let $(x_n)_{n \in \mathbb{N}} \subset A+B$, then $$x_n=y_n+z_n,\: \forall \; n \in \mathbb{N}, $$ for some, $(y_n)_{n \in \mathbb{N}} \subset A$ and $(z_n)_{n \in \mathbb{N}} \subset B$. Since $A$ is bounded, . Moreover, since $B$ is compact, exist $(z_{n_k})_{k \in \mathbb{N}}$ such that $z_{n_{k}} \longrightarrow z$, for some $z \in X$.
But I do not know what I can conclude with such information.
Is this true or not? If not, is there any additional hypothesis that makes it true?
If $I$ and $J$ are bounded intervals in $\mathbb{R}$, then $I+J$ is also an interval and $\sup (I+J)=\sup(I)+\sup(J)$ and $\inf(I+J)=\inf(I)+\inf(J)$. It follows that $I+J$ is compact if and only if both $I$ and $J$ are compact.
In general it is possible for $A+B$ to be compact even if $A$ and/or $B$ is not compact:
Let $A=\{1/n: n\geq 1\} \cup \{0\}$ and $B=\{-1/n: n\geq 1\}$. Then $A$ is compact, $B$ is not compact, but $A+B$ is compact.
Let $A=\{1/n: n\geq 1\}$ and $B=\{-1/n: n\geq 1\}$ then $A$ is not compact, $B$ is not compact, but $A+B$ is compact.