Uniform \(\psi \)-separability in iterated function spaces \(C_{p,n}(X)\) (Q6993554)

In this paper, the authors investigate a noteworthy property of the function space \(C_p(X)\): the \textit{uniformly \(\psi\)-separable} property. A function space \(C_p(X)\) is said to be uniformly \(\psi\)-separable if there exists a subset \(B \subset C(X)\) such that \(B\) has countable pseudocharacter in the pointwise topology and is dense in \(C(X)\) with respect to the uniform topology. The authors examine this property in the iterated function space \(C_{p,n}(X)\), where \(n\) denotes the number of iterations of the operator \(C_p(\cdot)\), and \(X\) belongs to various classes of compact spaces. The main result of the paper provides a characterization of when \(C_{p,n}(X)\) is uniformly \(\psi\)-separable, particularly when \(X\) is a metrizable space.