Suppose $K:X\to Y$ is compact operator.

  1. Show that $K(X)\subseteq Y$ is separable
  2. Assume $Y$ is a separable Banach space. Find a Banach space $Z$ and a compact operator $K:Z\to Y$ s.t. $K(Z)\subseteq Y$ is dense

Can someone help me to solve this exercise? Of course I know, that the image of the closed unit ball under $K$ is compact. Also I know that what to show is that it exists a countable dense subset $M$ in $Y$.

  • 1
    $\begingroup$ What examples of Banach spaces do you know? $\endgroup$ – user99914 Jul 23 '16 at 17:38
  • $\begingroup$ For separable Banach spaces I know: $L^p$, $Y$ s.t. $dim(Y)<\infty$ and $c_0$ (the space of sequence converging to zero). $\endgroup$ – MorganeMaPh Jul 23 '16 at 17:44
  • $\begingroup$ For your second question, a recent question is very helpful. $\endgroup$ – user99914 Jul 23 '16 at 17:50
  • $\begingroup$ thank you @ArcticChar I just checked the question you linked me but I don't get why it should be dense in $Y$? $\endgroup$ – MorganeMaPh Jul 23 '16 at 17:58
  • 1
    $\begingroup$ Ah great! I got it, thank you! $\endgroup$ – MorganeMaPh Jul 23 '16 at 18:01

Hint: A compact space is separable. Write $X=U_nB(0,n)$ $K(B(0,n)$ is separable since it is relatively compact, $\bigcup_nK(B(0,n))=K(X)$ is separable since it is the union of separable spaces.

For your second question let $(v_n\neq 0)$ be a dense family in $Y$, write $w_n={{v_n}\over{\|v_n\|}}$. Consider $K:l^1\rightarrow Y$ defined by $K(e_i)={w_i\over i}$


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.