Mazur intersection property for Asplund spaces (Q960567)

A Banach space \(X\) has the \textit{Mazur Intersection~Property} (MIP, for short) if every closed bounded and convex subset of \(X\) is an intersection of closed balls. Every Banach space with a Fréchet differentiable norm has the MIP (this is a classical result of Mazur) and Phelps proved in [\textit{R.\,R.\thinspace Phelps}, Proc.\ Am.\ Math.\ Soc.\ 11, 976--983 (1961; Zbl 0098.07904)] that for separable Banach spaces, Asplundness (i.e., separability of the dual space) is equivalent to having a renorming with MIP. On the other hand, the space \(C(K)\), where \(K\) is a compact space constructed by Kunen, is Asplund, it has density \(\omega_1\) and has no MIP renorming [see, e.g., \textit{P.\,Hájek, V.\,Montesinos Santalucía, J.~Vanderwerff} and \textit{V.\,Zizler}, ``Biorthogonal systems in Banach spaces'' (New York, NY:\ Springer) (2008; Zbl 1136.46001)]. In this paper the authors prove that, under a set-theoretical assumption (namely, Martin's Maximum MM, an axiom that is consistent with ZFC, see the previous reference), every Asplund space of density \(\omega_1\) can be renormed to have MIP (Theorem 4). The proof relies on a recent result of \textit{S.\,Todorčević} [Math.\ Ann.\ 335, No.\,3, 687--715 (2006; Zbl 1112.46015)], stating that under MM, every Banach space of density \(\omega_1\) has a fundamental biorthogonal system, and a result of \textit{M.\,Jiménez} and \textit{J.\,P.\thinspace Moreno} [J.~Funct.\ Anal.\ 144, No.\,2, 486--504 (1997; Zbl 0898.46008)] that gives a sufficient condition for a Banach space to have a MIP renorming in terms of the existence of a certain biorthogonal system. The result in the present paper relies on the machinery of projectional resolutions of the identity to build, under the given assumptions, a continuous linear mapping from \((X^*,w^*)\) into \((c_0(\omega_1),\tau_{p})\) with non-separable range, defined by evaluations on some uncountable subset of \(S_X\).