On binormality in non-separable Banach spaces (Q990826)

Let \(\sigma\) and \(\tau\) be two topologies on a set \(X\). Then \((X,\sigma,\tau)\) is \textit{binormal} if, for every disjoint \(\sigma\)-closed \(A\subset X\) and \(\tau\)-closed \(B\subset X\), there are disjoint \(\sigma\)-open \(D\subset X\) and \(\tau\)-open \(C\subset X\) with \(A\subset C\) and \(B\subset D\). A Banach space \(X\) is binormal if \(X\) is binormal with respect to its norm and weak topologies. \textit{P.\,Holický} [Comment.\ Math.\ Univ.\ Carol., 38, 279--282 (1997; Zbl 0886.46012)] has proved that every separable Banach space is binormal and that the space \(\ell_{\infty}\) is not binormal. In the paper under review, the author undertakes a detailed investigation of binormality in non-separable Banach spaces. In particular, he proves that any Banach space which belongs to a \(\mathcal{P}\)-class is binormal. Let us recall that a class \(\mathcal{C}\) of Banach spaces is a \textit{\(\mathcal{P}\)-class} if for every non-separable \(X\in \mathcal{C}\) there exists a projectional resolution of the identity \(\{P_{\alpha}\}_{\omega\leq\alpha\leq\mu}\) such that \((P_{\alpha+1}-P_{\alpha})X\in\mathcal{C}\) for every \(\alpha<\mu,\) where \(\mu\) is the first ordinal with cardinality \(\mathrm{dens}\,X\). He gives a (surprising) example of a locally compact space \(T\) such that the function space \(C_0(T)\) is Asplund and admits an LUR norm but is not binormal. The case of the \(w^*\)-topology is also investigated. In particular, it is proved that a Banach space \(E\) is Asplund if and only if, for every disjoint separable and closed \(A\subset E^*\) and \(w^*\)-closed \(B\subset E^*\), there are disjoint open \(D\subset E^*\) and \(w^*\)-open \(C\subset E^*\) with \(A\subset C\) and \(B\subset D\).