The space \(C_p(X)\) is cofinally Polish if and only if it is pseudocomplete (Q2660998): Difference between revisions

In this paper, the author studies the notion of cofinally Polish space in view of the space \(C_{p}(X)\). Especially, one of the main results of the article states that \(C_{p}(X)\) is pseudocomplete if and only if it has a dense cofinally Polish subspace. In a next step, the author proves that for a normal space \(X\), \(C_{p}(X,\mathbb{I})\) is pseudocompact if and only if it has a dense cofinally Polish subspace. Moreover, the author studies more aspects related to the notion of cofinally Polish space. It is proved that a space \(X\) is cofinally Polish if and only if its Hewitt extension \(\upsilon X\) is cofinally Polish. In addition, results which connect Polish cofinality with the meanings of projectively Čech-completeness and Alexandroff one-point extension are investigated. Finally, the author studies cofinally Polish subspaces of ordinals, proving that a subspace \(X\) of an ordinal is cofinally Polish if and only if \(X\) has countable extent. A list of open questions for future study on these topics are given.