4
$\begingroup$

I am trying to investigate the relation between Uniformly Convexity and existence of Schauder Basis for a Banach space.

I read in a Handbook article that $B(H)$ (the algebra of all bounded operators on a Hilbert space $H$) and $B(H)/K(H)$ (the Calkin algebra for the same Hilbert space) are both naturally occurring examples of space which fails the Approximation Property.

I am wondering if we know:

a) if the above algebras are separable Banach spaces;

b) the convexity of them as Banach spaces (e.g. strictly convex, uniformly convex, ...?)

I apologize if this is really trivial functional analysis problem. Thank you!

$\endgroup$
  • $\begingroup$ I can't help mentioning that the Theorem: "B(H) fails the AP" is a highly non-trivial result of Szankowski (to which a whole Acta 1981 paper is devoted). I think I've heard specialists would still like to understand this better and find an easier proof. $\endgroup$ – Julien Jul 4 '13 at 4:49
6
$\begingroup$

$B(H)$ is not separable since it contains isometric copy of $\ell_\infty$ which is non-separable. $B(H)$ is not strctly convex since it contains isometric copy of $\ell_\infty$ which is not strictly convex. A fortiori $B(H)$ is not uniformly convex because every uniformly convex space is stricly convex.

The same result holds for $C(H):=B(H)/K(H)$ since it contains isometric copy of $\ell_\infty/c_0$ which is not separable and not strictly convex.

$\endgroup$
  • $\begingroup$ Thanks Norbert - do you have a reference for the above results? I would like to get acquainted with such kinds of results~ $\endgroup$ – Clark Chong Jul 3 '13 at 21:10
  • $\begingroup$ @FanFeiChong some of them I just remember but I'll try to give references $\endgroup$ – Norbert Jul 3 '13 at 21:11
  • $\begingroup$ @FanFeiChong I've added new referrences. If you wat I can write the proof of non separability of $\ell_\infty/c_0$ but in a separate qestion. $\endgroup$ – Norbert Jul 3 '13 at 22:03
  • $\begingroup$ Thank you! It is very helpful! Just one more question, how does one see that there is an isometric copy of $l_\infty$ in $B(H)$? $\endgroup$ – Clark Chong Jul 4 '13 at 2:45
  • 1
    $\begingroup$ @FanFeiChong You can assume $H$ is infinite-dimensional separable. Then fixing an orthonormal basis, the bounded diagonal operators in that basis are isometric to $\ell^\infty$. And the compact ones are isometric to $c_0$. $\endgroup$ – Julien Jul 4 '13 at 4:57

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.