\(G_\mu \)-covers, strongly compact cardinals and factorization of maps from products in Unif and Top (Q6182739)

To a great extent, this paper builds upon the articles [\textit{M. Hušek}, Topology Appl. 304, Article ID 107792, 18 p. (2021; Zbl 1482.54032); \textit{M. Hušek} and \textit{J. Rosický}, ibid. 259, 251--266 (2019; Zbl 1417.54006)], emphasizing its focus on achieving better results. The article [\textit{M. Hušek}, ibid. 281, Article ID 107195, 14 p. (2020; Zbl 1469.54012)] also plays an important role in this study. A lot of new theorems about factorizations of maps in the sense of products and inverse systems are presented. Let us mention only some of the main results. In the first part of the paper, a space means a uniform Hausdorff space. Suppose \(X\) is a subspace of a product \(\prod_{i\in I}X_i\) of spaces, \(h: X\to A\) is a (uniformly) continuous map, \(J\subseteq I\) and there exists \(h_J: \text{pr}_J(X)\to A\) such that \(h=h_J\circ\text{pr}_J\). Then it is said that \(h\) depends on \(J\) or it factorizes via \(\text{pr}_J\). The map \(h_J\) is the factorized map of \(h\). If, for a cardinal \(\lambda\), \(\vert J\vert<\lambda\), it is said that \(h\) depends on less than \(\lambda\) coordinates. If the factorized map \(h_J\) is continuous (respectively, uniformly continuous), then it is said that \(h\) c-depends (respectively uc-depends) on \(J\). If \(h_J\) is uniformly continuous and can be continuously extended over the closure of \(\text{pr}_J(X)\) in \(\prod_{i\in J} X_i\), then \(h\) cuc-depends on \(J\). Every cardinal is considered to be a topological discrete space endowed with the finest precompact uniformity. For an infinite cardinal \(\lambda\), a filter \(\mathcal{F}\) on a set is called \(\lambda\)-complete (respectively, weakly \(\lambda\)-complete) if, for every non-empty subfamily \(\mathcal{F}^{'}\) of \(\mathcal{F}\) with \(\vert\mathcal{F}^{'}\vert<\lambda\), \(\bigcap\mathcal{F}^{'}\in\mathcal{F}\) (respectively, \(\bigcap\mathcal{F}^{'}\neq\emptyset\)). A cardinal \(\mathfrak{m}\) is measurable if there exists a free \(\mathfrak{m}\)-complete ultrafilter on \(\mathfrak{m}\). For a cardinal \(\lambda\), \(\mathfrak{m}(\lambda)=\inf\{ \mathfrak{m}: \mathfrak{m}\text{ is a measurable cardinal with }\lambda<\mathfrak{m}\}\). A cardinal \(\mathfrak{s}\) is called \(\mu\)-strongly compact for a cardinal \(\mu>\omega\) if every \(\mathfrak{s}\)-complete filter on a set \(A\) is contained in a \(\mu\)-complete ultrafilter on \(A\). The symbol \(\infty\) is an element assumed to be larger than every cardinal. For a cardinal \(\mu>\omega\), the symbol \(\mathfrak{s}(\mu)\) denotes the least \(\mu\)-strongly compact cardinal (or \(\infty\) if there are no \(\mu\)-strongly compact cardinals). In what follows, let \(\mathcal{C}\) be an epireflective subcategory of the category of uniform Hausdorff spaces with uniformly continuous mappings as morphisms. If not all cardinals belong to \(\mathcal{C}\), \(\mathfrak{m}_{\mathcal{C}}\) stands for the smallest cardinal not in \(\mathcal{C}\). If all cardinals belong to \(\mathcal{C}\), \(\mathfrak{m}_{\mathcal{C}}=\infty\). It is observed that if \(\mathfrak{m}_{\mathcal{C}}\neq\infty\), then \(\mathfrak{m}_{\mathcal{C}}\) is measurable. The epireflective hull of a class \(\mathcal{A}\) of spaces is denoted by \(\mathcal{C}(\mathcal{A})\). The members of \(\mathcal{C}(\mathcal{A})\) are uniform homeomorphs of closed subspaces of products of spaces from \(\mathcal{A}\). If \(\mathcal{A}=\{A\}\), then \(\mathcal{C}(\mathcal{A})\) is denoted by \(\mathcal{C}(A)\). For spaces \(X\) and \(A\), \(U(X, A)\) stands for the collection of all uniformly continuous maps from \(X\) to \(A\). For the epireflective class \(\mathcal{C}\) and a non-empty class \(\mathcal{A}\) of spaces, \(\text{coord}_{cuc}(\mathcal{C}, \mathcal{A})\) is the least cardinal \(\kappa\) such that, for every \(A\in\mathcal{A}\), every closed subspace \(X\) of a product of spaces from \(\mathcal{C}\), each \(h\in U(X, A)\) cuc-depends on less than \(\kappa\) coordinates. The cardinal number \(\text{coord}_{cuc}(\mathcal{C})\) is defined by: \(\text{coord}_{cuc}(\mathcal{C})=\inf\{\text{coord}_{cuc}(\mathcal{C},\mathcal{A}): \mathcal{A}\text{ generates }\mathcal{C}\}\). Among other theorems, it is shown that if \(\mathcal{C}\) is generated by a space \(A\) of cardinality less than \(\mathfrak{m}(\mu)\), then \(\text{coord}_{cuc}(\mathcal{C}(A))\leq\mathfrak{s}(\mu)\). If the epireflective class \(\mathcal{C}\) is such that \(\mathfrak{m}_{\mathcal{C}}\geq\mu\), then \(\text{coord}_{cuc}(\mathcal{C})\geq\mathfrak{s}(\mu)\). In the second part of the paper, for the category of topological Hausdorff spaces and its subcategories, uc-dependence and cuc-dependence are replaced with c-dependence and cc-dependence, respectively. Among other things, it is shown that if \(\mathcal{C}\) is an epireflective class of the category of topological Hausdorff spaces such that \(\mathcal{C}\) is generated by a space \(A\) with \(\vert A\vert<\mathfrak{m}(\mu)\), and \(\lambda\) is a \(\mu\)-strongly compact cardinal, then \(\text{coord}_{cc}(\mathcal{C})\leq\lambda\). If \(\mathcal{C}\) is an epireflective class of the category of Tychonoff spaces and \(\mathfrak{m}_{\mathcal{C}}\geq\mu\), then \(\text{coord}_{cc}(\mathcal{C})\geq\mathfrak{s}(\mu)\). If \(\mathcal{C}\) is a simple epireflective class in the category of Tychonoff spaces such that \(\mathcal{C}\) contains all discrete spaces of cardinalities less than \(\mu\) and is generated by a space of cardinality less than \(\mathfrak{m}(\mu)\), then \(\text{coord}_{cc}(\mathcal{C})=\mathfrak{s}(\mu)\). In some theorems on cuc-dependence and cc-dependence, \(G_A\)-sets generated by mappings are involved. Open problems relevant to the results obtained are posed and discussed. Among them, there is the following question: If an \(\omega_1\)-strongly compact cardinal exists, does there exist a non-simple epireflective class \(\mathcal{C}\) in the category of uniform Hausdorff spaces such that \(\mathcal{C}\) is generated by a proper class of non-complete spaces and \(\text{coord}_{cuc}(\mathcal{C})<\infty\)? In most results involving the cardinals \(\mathfrak{m}(\mu)\) and \(\mathfrak{s}(\mu)\), it is assumed that the cardinal \(\mu\) is uncountable. However, the case when \(\mu=\omega\) is also discussed in closing remarks.