Quasi-normal structures for certain spaces of operators on a Hilbert space (Q793277)

A bounded convex subset K of a Banach space has quasi-normal structure if for every non-trivial closed convex subset C of K, there exists x in C such that \(\| x-y\|<diam (C)\) for all y in C. A Banach space is said to have quasi-weak-normal structure if every weakly compact convex subset has quasi-normal structure. It is shown that for a Hilbert space H, the space of compact operators on H has quasi-weak-normal structure iff H is separable. Let E be a dual Banach space. Then E is said to have (1) quasi-weak*-normal structure if every weak* compact convex subset has quasi-normal structure; (2) property (**) if the weak* topology and the norm topology agree on its unit sphere; (3) Lim's condition satisfied if whenever \(\{\phi_{\alpha}\}\) is a bounded net in E, \(\phi_{\alpha}\) converges to 0 in the weak* topology and \(\lim_{\alpha}\| \phi_{\alpha}\| =s\) then \(\lim_{\alpha}\| \phi_{\alpha}+\psi \| =s+\| \psi \|\) for all \(\psi\) in E. It is shown that \((3)\Rightarrow(2)\Rightarrow(1).\) If H is a Hilbert space, it is shown (a) the bounded operators on H have quasi-weak*-normal structure iff H is finite-dimensional; (b) the trace class operators have quasi-weak*-normal structure for any H. As an interesting by-product it is shown that the space of trace class operators has property (**). Finally it is shown that if X is a locally compact Hausdorff space, then \(C_ 0(X)^*\) satisfies Lim's condition iff \(C_ 0(X)^*\) is isometric isomorphic to \(\ell_ 1(\tau)\) for some non-empty set \(\tau\) ; consequently whenever \(C(X)^*\) is isometrically isomorphic to \(\ell_ 1(\tau)\) it has weak*-normal structure.