A selective bitopological version of the Reznichenko property in function spaces (Q1019139)

Let \((X,\tau)\) be a topological space. For every \(x \in X\), set \[ \Omega_{x} ( X , \tau ) = \{ A \subseteq X \setminus \{x\} : x \in \text{cl}_{\tau} ( A )\}. \] We say \(X\) is a selectively \((\tau_{1}, \tau_{2})\)-Reznichenko space at \(x \in X\) if \(\tau_{1}\), \(\tau_{2}\) are two topologies on \(X\), \(\tau_{2} \subseteq \tau_{1}\) and for each \(\{ A_n : n \in {\mathbb N} \} \subseteq \Omega_{x} ( X , \tau_1 )\) there exist pairwise disjoint sets \(\{ B_n : n \in {\mathbb N} \}\) such that for each \(n \in {\mathbb N}\), \(B_n\) is a finite subset of \(A_n\), and for all \(\tau_2\)-neighborhoods \(U\) of \(x\), for all but finitely many \(n \in {\mathbb N}\) we have \(U \cap B_n \neq \emptyset\). If X is a selectively \(( \tau_1 , \tau_2 )\)-Reznichenko space at every \(x \in X\) then we call it a selectively \(( \tau_1 , \tau_2 )\)-Reznichenko space. A family \({\mathcal A}\) of subsets of a space \(X\) is a \(k\)-cover if each compact subset of \(X\) is contained in a member of \({\mathcal A}\). A family \({\mathcal U}\) of open sets of \(X\) is called a \(k\)-shrinkable cover of \(X\) if there is a function \(f\) with dom\(( f ) = {\mathcal U}\) such that for each \(U \in {\mathcal U}\), \(f (U )\) is a closed set with \(f (U ) \subseteq U\) and \(\{ f (U ) : U \in {\mathcal U} \}\) is a \(k\)-cover of \(X\). A cover \({\mathcal U}\) is nontrivial if \(X \notin {\mathcal U}\). If \(X\) is a topological space, \(C(X)\) denotes the set of continuous real-valued functions on \(X\). The compact-open topology and the pointwise convergence topology on \(C(X)\) are denoted by \(\tau_{k}\) and \(\tau_{p}\). The author proves the following. Theorem. Let \((X,\tau)\) be an infinite Tychonoff space. Then the following are equivalent. {\parindent=7mm \begin{itemize}\item[(1)] \(C ( X )\) is a selectively \((\tau_{k}, \tau_{p})\)-Reznichenko space; \item[(2)] for each sequence \(\{ {\mathcal U}_n : n \in {\mathbb N} \}\) of nontrivial \(k\)-shrinkable covers of \(X\) there exist \(\{ {\mathcal V}_n : n \in {\mathbb N} \}\) such that for each \(n \in {\mathbb N}\), \({\mathcal V}_n\) is a finite subset of \({\mathcal U}_n\), \({\mathcal V}_n \cap{\mathcal V}_m = \emptyset\) for \(n \neq m\), and for each finite set \(F \subseteq X\), for all but finitely many \(n \in {\mathbb N}\) there is a \(U \in {\mathcal V}_n\) with \(F \subseteq U\). \end{itemize}}