2
$\begingroup$

I am trying to solve the following problem but I don't really getting it where to start from, which way to think. Any help would be appreciated.

If $(X,\|.\|)$ is a separable Banach space,

a) Why is the unit sphere $S=\{x\in X ;\|x\|=1\}$ separable in the relative topology?

b) If $(x_n)_{n\in \mathbb N } \subset S$ is a dense sequence and $T:\ell^1(\mathbb N) \to X $ defined by $T((a_n)_{n\in\mathbb N})=\sum_{n\in \mathbb N }a_n x_n$ , why is $T$ bounded and surjective ?

Is is true that $X$ is topologically isomorphic to $\ell^1(\mathbb {N})/\mathrm{Ker}(T)$?

Thanks

  • 0
    @Ahriman : Sorry , i had not written down this question so i couldn't exactly reproduce it , i hope now it makes sense , Thank you .2012-11-20

1 Answers 1

0

a) A metric space is separable iff it admits a countable base of open sets. From this, it easily follows that every subset of a separable metric space is still a separable metric space.

In your particular setting, there is a simpler proof : if $\pi$ is the radial projection onto the unit sphere, and if $D$ is countable dense subset of $X$, then $\pi(D)$ is a countable dense subset of the unit sphere.

b) Boundedness of $T$ follows immediately from the definition : how can you bound $\left| \sum_n a_n x_n \right|$ in terms of $\|a\|_1 = \sum_n |a_n|$ ? For the surjectivity, notice that each $x_n$ belongs to the range of $T$. Hence the range of $T$ contains the closure of the linear span of $\{x_n\}$ which is the whole space. The fact that $X$ is topologically isomorphic to $\ell^1 / \ker(T)$ then follows from the open mapping theorem.

  • 0
    @Ahriman : how can i say that $\pi(D)$ is dense subset of unit sphere ?2012-11-23