7
$\begingroup$

Let $X$ be a Banach space and $B(X)$ be the space of bounded operators on $X$.

Suppose that the strong operator topology on $B(X)$ is separable and that the cardinal number of $B(X)$ is continuum.

Question. Can we conclude the norm topology on $X$ is separable?

Remark. It was proved by Tomek Kania that the assumption $|B(X)|=\mathfrak{c}$ is not solely enough to get the separability assertion.

Improve this question
$\endgroup$

1 Answer 1

Reset to default
10
$\begingroup$

Let $y$ be a norm-one vector in $X$. Consider the evaluation map $T\mapsto Ty$, which is a (linear) surjection from $B(X)$ onto $X$. This map is SOT-norm continuous. Indeed, suppose that $T_n\to T$ in SOT. In particular, $\|T_ny - Ty\|\to 0$ as $n\to \infty$.

A continuous image of a separable space is separable, hence $X$ is separable.

Improve this answer
$\endgroup$
2
  • $\begingroup$ So it looks like $|B(X)|=\frak c$ is superfluous. $\endgroup$
    – Fan Zheng
    Commented Jun 9, 2018 at 4:17
  • $\begingroup$ @FanZheng absolutely. $\endgroup$
    – Tomasz Kania
    Commented Jun 9, 2018 at 17:08

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .