New applications of extremely regular function spaces (Q2305346)

This work is devoted to show that extremely regular function spaces have some strong geometrical properties. In fact, the authors prove their results for a wider class of spaces that they introduce: somewhat regular spaces. Let \(L\) be an infinite locally compact Hausdorff space and let \(C_0(L)\) denote the Banach space of continuous scalar-valued functions on \(L\) that vanish at infinity. A linear subspace \(X\) of \(C_0(L)\) is somewhat regular if, whenever \(V\) is a nonempty open subset of \(L\) and \(0<\varepsilon<1\), there is an \(f\in X\) such that \(\|f\|=1\) and \(|f(x)|\leq\varepsilon\) for every \(x\in L\setminus V\). It is shown that somewhat regular subspaces of \(C_0(L)\) contain \(\varepsilon\)-isometric copies of \(c_0\) and that they have the symmetric strong diameter 2 property. Moreover, they are almost square when \(L\) is non-compact. Besides, the authors prove that somewhat regular subspaces of \(C_0(L)\) have the Daugavet property whenever \(L\) does not contain isolated points. It is very easy to check that \(C\)-rich subspaces of \(C(K)\) are somewhat regular (do these concepts coincide when \(L\) is compact?). It is known that \(C\)-rich subspaces of \(C(K)\) are lush and so they have numerical index one. In the case that somewhat regular spaces is a strictly bigger class than that of \(C\)-rich spaces, it would be interesting to know if somewhat regular spaces are lush.