Admissible topologies on \(C (Y, Z)\) and \({\mathcal O}_Z (Y)\) (Q2928817)

Let \(Y\) and \(Z\) be two topological spaces, and \(\mathcal{O}(Y)\) (resp. \(\mathcal{O}(Z)\)) the set of all open subsets of \(Y\) (resp. \(Z\)). Let \(C(Y,Z)\) be the set of all continuous mappings from \(Y\) to \(Z\), and \(\mathcal{O}_{Z}(Y)=\{f^{-1}(U)\in \mathcal{O}(Y): f\in C(Y,Z)\, \mathrm{and}\, U\in \mathcal{O}(Z)\}\). A topology \(t\) on \(C(Y,Z)\) is called admissible if the evaluation map \(e:C_{t}(Y,Z)\times Y \rightarrow Z\) is continuous. Also, a topology \(\tau \) on \(\mathcal{O}_{Z}(Y)\) is called admissible if for every topological space \(X\) and for every map \(G:X\rightarrow C(Y,Z)\), the continuity with respect to the first variable of the map \(\bar{G}:X \times \mathcal{O}(Z)\rightarrow (\mathcal{O}_{Z}(Y),\tau )\) implies the continuity of the map \(\tilde{G}:X \times Y \rightarrow Z\). In the paper under review, the authors study Scott type topologies on \(\mathcal{O}(Y)\) and use these topologies to define new admissible topologies on the sets \(C(Y,Z)\) and \(\mathcal{O}_{Z}(Y)\). Some open questions are given.