\(C_p(X)\) and Arhangel'skiĭ's \(\alpha_i\)-spaces (Q1295208)

Let \(X\) be an infinite completely regular Hausdorff space and \(C_p(X)\) the set of continuous functions from \(X\) to \(\mathbb{R}\) with the topology of pointwise convergence. For an element \(x\) of \(X\) the following notation is defined: \(\Gamma_x\): the set of all nontrivial sequences which converge to \(x\). The following are properties introduced by Arkhangel'skij: A space has property \(\alpha_1\) \((\alpha_2, \alpha_3\) and \(\alpha_4\), respectively) if for each \(x\) and for each sequence \(\{O_n: n\in\mathbb{N}\}\) from \(\Gamma_x\), there is an element \(O\) of \(\Gamma_x\) such that \(O_n-O\) is finite for each \(n\in\mathbb{N}\) \((O \cap O_n\) is infinite for each \(n\in \mathbb{N}\); \(O\cap O_n\) is infinite for infinitely many \(n \in\mathbb{N}\); and \(O\cap O_n\) is nonempty for infinitely many \(n\in\mathbb{N}\), respectively). The author discusses these properties in \(C_p(X)\) and obtains the following results: (i) Let \(X\) be a space. Then \(C_p(X)\) has property \(\alpha_2\) if and only if it has property \(\alpha_4\). As a Corollary, if \(C_p(X)\) and \(C_p(Y)\) are \(\alpha_4\)-spaces, then so is \(C_p(X)\times C_p(Y)\). (ii) If \(C_p(X)\) is an \(\alpha_1\)-space, then \(X\) is a \(QN\)-space. A space \(X\) is said to be a \(QN\)-space if a sequence \(\{f_n: n\in \mathbb{N}\}\) from \(C_p(X)\) converges to \(f\) in \(C_p(X)\), then it converges quasi-normally to \(f\); that is, there exists a sequence \(\{\varepsilon_n: n\in\mathbb{N}\}\) of positive real numbers such that \(\lim_{n\to\infty}\varepsilon_n=0\) and for each \(x\) \(|f_n (x) |< \varepsilon_n\) holds for all but finitely many \(n\in\mathbb{N}\). For a set \(X\) of real numbers, the author also has seen that (1) \(C_p(X)\) could have property \(\alpha_1\) while not being Fréchet, (2) \(C_p(X)\) could be Fréchet while not having property \(\alpha_1\). As further discussion, their relations to the tightness properties and consistency of classical mathematics are described.