On the pseudouniform topology on \(C(X)\) (Q2665217)

For a base \(\alpha\) of an ideal in \(X\), we can consider in \(C(X)\) the topology of uniform convergence on the elements belonging to \(\alpha\). By \(C_{\alpha,u}(X)\) we denote the set \(C(X)\) with this topology. We call \(\alpha\) pseudouniform if every sequence \(\{f_{n}\}_{n<\omega}\) in \(C_{\alpha,u}(X)\) converges uniformly to a point \(f\in C(X)\) whenever \(\{f_{n}\}_{n<\omega}\) converges in \(C_{\alpha,u}(X)\) to \(f\). When \(\alpha={X}\), we write \(C_{u}(X):=C_{\alpha,u}(X)\). The collection of countable subsets in \(X\) is an example of a pseudouniform base of an ideal denoted by \(\alpha_{0}\). With the topology of uniform convergence on \(\alpha_{0}\), \(C(X)\) is denoted by \(C_{s}(X)\) Given a set \(X\) and a cardinal \(\kappa\), the symbol \([X]^{<\kappa}\) will denote the collection of all subsets of \(X\) which have cardinality \(<\kappa\). A similar convention will apply to \([X]^{\leq\kappa}\). Finally, \([X]^{\kappa}\) is the set of all subsets of \(X\) whose size is precisely \(\kappa\). Given an infinite set \(X\), a subset \(\mathcal{S}\subset[X]^{\omega}\) is called \emph{cofinal} in \([X]^{\omega}\) if for each \(A\in[X]^{\omega}\) there is \(B\in\mathcal{S}\) such that \(A\subset B\). The cofinality of \(X^{\omega}\) is defined as the minimum cardinality of a cofinal subset of \(X^{\omega}\) and it is denoted by \(cof(X^{\omega})\). If \(X\) is countable, \(cof(X^{\omega})=1\), and when \(X\) is uncountable, we get \(|X|\leq cof(X^{\omega})\leq X^{\omega}\). Let \(\alpha\) be a non-empty family of subsets of \(X\). We say that a base \(\alpha\) is a base for an ideal on \(X\) if for any \(A,B\in\alpha\) there exists \(C\in\alpha\) with \(A\bigcap B\subset C\). For a topological space \(X\), we say that a family \(\mathcal{S}\subset[X]^{\leq\omega}\) satisfies \((\dag)\) if \[\forall A\in[X]^{\leq\omega}\exists S\in\mathcal{S}(A\subset\mbox{cl}_{X}S).\] For every topological space \(X\), let \(\varphi(X)\) be the least cardinality of an infinite family \(\mathcal{S}\subset[X]^{\leq\omega}\) which satisfies \((\dag)\). In this paper the following theorems are proved: \textbf{Theorem 4.8.} Let \(\alpha\) be a base for an ideal on \(X\) such that \(C_{s}(X)\leq C_{\alpha,u}(X)\), and let \(F\) be a subspace of \(C_{\alpha,u}(X)\). Then the following statements are equivalent. (1) The space \(F_{\alpha,u}\) is compact. (2) The space \(F_{\alpha,u}\) is sequentially compact. (3) The space \(F_{\alpha,u}\) is countably compact. A space \(X\) is a \emph{\(ck\)-space} (resp., an \emph{\(sk\)-space}) if \(F\subset X\) is closed if and only if the intersection of \(F\) with each countably compact (resp., sequentially compact) subspace \(Y\) of \(X\) is closed in \(Y\). Since every sequentially compact space and every compact space is countably compact, every \(sk\)-space and every \(k\)-space is a \(ck\)-space. And if \(X\) is a sequential space, then \(X\) is countably compact iff \(X\) is sequentially compact. \textbf{Theorem 5.2.} If \(C_{\alpha,u}(X)\) is an \(sk\)-space, then \(C_{\alpha,u}(X)=C_{u}(X)\). \textbf{Theorem 5.4.} Let \(X\) be a topological space. Then, the following are equivalent. (1) \(d(X)=\omega\), (2) \(C_{s}(X)=C_{u}(X)\), (3) \(C_{s}(X)\) is metrizable, (4) \(C_{s}X\) is a \(k\)-space, (5) \(C_{s}X\) is an \(sk\)-space, (6) \(C_{s}X\) is a \(ck\)-space. \textbf{Theorem 6.6.} For every space \(X\), \(d(C_{s}(X))\leq\varphi(X)\cdot c(C_{s}(X))\). \textbf{Theorem 7.3.} \(c(C_{s}(X))=\omega\) if and only if \(X\) is compact metrizable. \textbf{Theorem 7.8.} For any almost \(ps\)-dense space \(X\) for which every \(N\in[X]^{\omega}\) satisfies \(|cl_{X}N|\leq\lambda\), the cardinal number \((2^{\lambda})^{+}\) is a precaliber of \(C_{s}(X)\); in particular, \(c(C_{s}(X))\leq 2^{\lambda}\). \textbf{Theorem 7.13.} Let \(\kappa\leq\mathfrak{c}^{+}\). For every \(\xi<\kappa\), let \(K_{\xi}\) be a compact space of weight \(\leq\kappa\). Then, \(c(C _{s}(\underset{\xi<\kappa}\prod K_{\xi}))=\kappa\). \textbf{Theorem 7.19.} For all almost \(ps\)-dense sequential spaces \(X\), \((2^{\mathfrak{c}})^{+}\) is a precaliber for \(C_{s}(X)\) and hence \(c(C _{s}(X))\leq2^{\mathfrak{c}}\). \textbf{Theorem 9.10.} Let \(X\) be a space in which the closure of any countable subset is countable. Then, \(\varphi(X)=cof([X]^{\omega})\). \textbf{Theorem 9.11.} The Continuum Hypothesis is equivalent to the statement: For every non-separable space \(X\), \(\varphi(X)=w(C_{s}(X))\). \textbf{Theorem 10.2.} Let \(\kappa\) be a cardinal number of cofinality \(>\omega\). If \(X=[0,\kappa)\) or \(X=[0,\kappa]\), then (1) \(iw(X)=d(C_{s}(X))=\psi(C_{s}(X))=iw(C_{s}(X))=\kappa\); (2) \(w(C_{s}(X))=\chi(C_{s}(X))\).