On \(\kappa \)-bounded and \(M\)-compact reflections of topological spaces (Q2219291): Difference between revisions

For a class \(\mathsf{T}\) of topological spaces and a topological space \(X\), a \emph{reflection} of \(X\) in \(\mathsf{T}\) is a pair \((\mathsf{T} X, i_X)\) consisting of a space \(\mathsf{T} X \in \mathsf{T}\) and a continuous map \(i_X : X \rightarrow \mathsf{T} X\) such that for any continuous map \(f : X \rightarrow Y\) to a topological space \(Y\in \mathsf{T}\), there exists a unique continuous map \(\overline{f} : \mathsf{T} \rightarrow Y\) such that \(f= \overline{f}\circ i_X\). The pair \((\mathsf{T} X, i_X)\) is called a \(\mathsf{T}\)-\emph{reflection} of \(X\). Let \(\kappa\) be an infinite cardinal endowed with the discrete topology and \(M\subseteq \beta \kappa\) (the Stone-Čech compactification of \(\kappa\)) be a nonempty set of ultrafilters on \(\kappa\). A topological space \(X\) is called \(\kappa\)-\emph{bounded} if the closure \(A\) of any set \(A\subseteq X\) of cardinality \(|A|\leq \kappa\) in \(X\) is compact; \(X\) is called \(M\)-\emph{compact} if for any ultrafilter \(p\in M\) and function \(x : \kappa \rightarrow X\) there exists a point \(\overline{x}\in X\) such that \(x^{-1}(U)\in p\) for any neighborhood \(U\subseteq X\) of \(\overline{x}\). These two notions of topological spaces are defined in the present paper. In this paper, the author describes the structure of reflections of topological spaces in some classes of Hausdorff compact-like spaces. For an infinite cardinal \(\kappa\) and a nonempty set \(M\) of ultrafilters on \(\kappa\), the reflections of topological spaces in the classes \(\mathsf{H}_{\kappa}\) of Hausdorff \(\kappa\)-bounded spaces and \(\mathsf{H}_{M}\) of Hausdorff \(M\)-compact spaces are studied. It is shown that for a \(\kappa\)-normal space \(X\) (containing no long \(\kappa\)-butterflies) its \(\mathsf{H}_{\kappa}\)-reflection (resp. \(\mathsf{H}_M\)-reflection) can be realized as a subspace of the Wallman extension \(\mathsf{W} X\), endowed with a suitable topology.