Universally meager sets and principles of generic continuity and selection in Banach spaces (Q854103): Difference between revisions

The author defines and studies the notion of a universally meager set and then applies the obtained results to the study of fragmentability and differentiability in the context of Banach spaces. A subset \(A\) of a topological space \(Y\) is called universally meager if, for any nowhere constant map \(f:X\to Y\) from a Baire space \(X\), the preimage \(f^{-1}(A)\) is meager in \(X\). In the first and last sections of the paper, for a compact cardinal \(\delta\) and an uncountable regular cardinal \(\theta<\delta\), the author constructs an ultrametric Baire space \(M_\theta(\delta)\) admitting a partition into \(\theta\) nowhere dense subsets such that the union of any subfamily of the partition has the property of Baire. As an application, it is proved that for every uncountable separable metric space \(L\) there is a nowhere constant continuous map \(f:M\to L\) defined on a dense \(G_\delta\)-subset \(M\) of the space \(M_{\omega_1}(\delta)\). Studying the structure of universally meager spaces, the author proves that the cardinality \(| X| \) of such a space \(X\) equals the hereditary Lindelöf number of \(X\), provided that \(| X| \) is smaller than some compact cardinal. Assuming the existence of an uncountable compact cardinal, he also proves that any universally meager space with point-countable (and \(\sigma\)-point-finite) base is left-separated (and \(\sigma\)-discrete). Next, universally meager spaces are applied in two areas of the Banach space theory. A compact space \(K\) is called a Namioka space if each continuous map \(f:X\to C_p(K)\) from a Baire space to the function space \(C_p(K)\) is norm-continuous at each point of a dense \(G_\delta\)-subset of \(X\). In Theorem 3.5, it is shown that, for a Namioka compact space \(K\) with \(| C(K)| \) smaller than some compact cardinal, the norm-density of a subset \(A\) of \(C(K)\) does not exceed the hereditary Lindelöf number of \(A\) in \(C_p(K)\). Another application of universally meager sets to Banach spaces concerns the fragmentability of the weak-star topology of the dual Banach space \(C^*([0,1]_A)\) for the linearly ordered compact space \([0,1]_A\) obtained from the closed interval by doubling points of some set \(A\subset [0,1]\). It is shown that the subset \(A\) is universally meager if and only if for every Baire space \(X\) every upper-semicontinuous compact-valued map \(\varphi:X\to C^*([0,1]_A)\) admits a selector that is continuous on a residual subset of \(X\). If there is an uncountable compact cardinal, then the above conditions are equivalent to the fragmentability of the weak-star topology of \(C^*([0,1]_A)\).