On spaces star determined by compact metrizable subspaces (Q2332359): Difference between revisions

A space \(X\) is said to be \textit{star determined by compact metrizable spaces} (abbreviated as \textit{star-CM}) if whenever \(\mathcal U\) is an open cover of \(X\) there is a compact metrizable subspace \(Y\subseteq X\) such that \(X=\bigcup\{U\in{\mathcal U}: U\cap Y\neq\emptyset\}\); the subspace \(Y\) is then called the \textit{star kernel} of the cover \(\mathcal U\). More generally, if \(P\) is a topological property, a space is said to be \textit{star P} if every open cover has a star kernel with property \(P\). For a topological space \((X,\tau)\), a function \(g:\omega\times X\to \tau\) is called a \(g\)-function if \(x\in g(n,x)\) for each \(n\in\omega\) and such a function is said to be \textit{symmetric} if for each pair \(x,y\in X\) and \(n\in\omega\), \(x\in g(n,y) \Leftrightarrow y\in g(n,x)\). After an introductory section, in Section 2, the star-CM property is related to other topological properties and examples are given to highlight differences: For example, it is shown that a star-CM space is pseudocompact and hence if it is normal, then it is countably compact; then an example of a Hausdorff star-CM space which is not countably compact is given. What should be considered the main theorem of the paper appears in Section 4, where it is shown that a regular star-CM space \(X\) with a symmetric \(g\)-function \(g\) such that \(\bigcap\{g(n,x):n\in\omega\}=\{x\}\) for each \(x\in X\), has cardinality at most that of the continuum.