Characterizing Corson and Valdivia compact spaces (Q2408618)

A set \(Y\subseteq X\) is called a \(\Sigma\)-subset of \(X\) if, for some \(T\), there is an embedding \(\phi:X\to\mathbb R^T\) such that \(Y=\phi^{-1}(\Sigma\mathbb R^T)\), where \(\Sigma\mathbb R^T=\{f\in\mathbb R^T:| f^{-1}(\mathbb R\backslash 0)|\leq\omega\}\). A compact space is called Valdivia if it admits a dense \(\Sigma\)-subset. A compact space is Corson if it is a \(\Sigma\)-subset of itself. A topological space \(X\) is said monotonically retractable if for any countable set \(A\subset X\) we can assign a continuous retraction \(r_A\) and a countable family \(\mathcal N(A)\) that satisfies some compatibility conditions. An \(r\)-skeleton is a family of continuous retractions on a topological space which is indexed on an up-directed \(\sigma\)-complete partially ordered set and that satisfies certain compatibility properties. These two tools are very close one to each other, in fact in [\textit{M. Cúth} and \textit{O. F. K. Kalenda}, J. Math. Anal. Appl. 423, No. 1, 18--31 (2015; Zbl 1312.54005)] Corson compact spaces are characterized by using both definitions. The main result of the paper under review is to characterize Valdivia compact spaces in terms of monotonically retractable spaces. In [\textit{W. Kubiś} and \textit{H. Michalewski}, Topology Appl. 153, No. 14, 2560--2573 (2006; Zbl 1138.54024)] Valdivia compact spaces are characterized by using the \(r\)-skeleton. In Section 2 the authors give a list of technical and useful lemmas on \(r\)-skeletons and an alternative proof of the previous characterization. In Section 3 they introduce the concept of relative monotonically retractable spaces. This notion extends the concept of monotonically retractable spaces to their subspaces. Section 4 contains the main result as a corollary of more abstract theorems: a compact space \(X\) is Valdivia if and only if it has a subset \(Y\) which is commutatively monotonically retractable in \(X\). In the last section \(c\)-skeletons are used for characterizing Corson compact spaces.