On having a countable cover by sets of small local diameter (Q4514715)

Let \((X,\tau)\) be a topological space and \(P\) a metric on \(X\). Then \(X\) is said to have a countable cover by sets of small local \(P\)-diameter (\(P\)-SLD) if for every \(\varepsilon> 0\) one can cover \(X\) by a countable union of subsets \(X^\varepsilon_n\), \(n\in\mathbb{N}\) such that for every \(n\in\mathbb{N}\) and every \(x\in X^\varepsilon_n\) there exists a \(\tau\)-open set \(U\) containing \(x\) and satisfying \(P\)-\(\text{diam}(V\cap X^\varepsilon_n)< \varepsilon\). A norm \(\|\cdot\|\) on a linear topological space \((E,\tau)\) is said to be \(\tau\)-Kadec (or just Kadec if \(\tau\) is the weak topology) if \(\tau\) and the norm topology coincide on the unit sphere. The \(P\)-SLD property for a Banach space \(X\) equipped with the weak topology and \(P=\|\cdot\|\) is known to be closely related to the existence of a Kadec-renorming. The author gives necessary and sufficient conditions for existence of a metric \(P\) in which a given topology space has the \(P\)-SLD property. It is proved that if \(X\) and \(Y\) are Hausdorff compacta such that \(C(X)\) has an equivalent \(p\)-Kadec norm and \(C_p(Y)\) has a countable cover by sets of small local norm diameter, then the topological space \(C_p(X,Y)\) of all continuous functions on \(X\times Y\) equipped with the pointwise topology has \(\|\cdot\|\)-SLD as well. Main Theorem: Let \(X\) and \(Y\) be Hausdorff compact spaces such that \(C_p(X)\) admits an equivalent \(p\)-Kadec norm and \(C_p(Y)\) has \(\|\cdot\|\)-SLD. Then \(C_p(X\times Y)\) has \(\|\cdot\|\)-SLD.