On function spaces related to \(d\)-spaces (Q2049872)

All topological spaces are assumed to be \(T_0\). The \textit{specialization order} \(\leq_X\) on a topological space X is defined as follows: for \(x, y \in X\), \(x \leq_X y\) if and only if \(x \in cl_X \{y\}\). For topological spaces \(X\) and \(Y\), let \([X,Y]\) be the family of all continuous functions from \(X\) to \(Y\) endowed with the Isbell topology; that is, the topology generated by the subsets of the form \(N(H \leftarrow V) := \{f \in [X,Y] : f^{-1}(V) \in H\}\) where \(H\) is a Scott open subset of the complete lattice of open subsets of \(X\), and \(V\) is an open subset of \(Y\). The main results in this article are: (i) if \([X,Y]\) is a \(d\)-space for some non-empty space \(X\), then \(Y\) is a \(d\)-space; (ii) If \([X,Y]\) is an injective space, respectively, a densely injective space for some non-empty core compact space \(X\), then \(Y\) is also an injective space, respectively, a densely injective space; (iii) if \(Y\) is a \(\Delta\)-space, then \([X,Y]\) is a \(\Delta\)-space for any \(\Delta\)-space \(X\). We recall the definition of some terms that appear above: A space \(X\) is a \textit{\(d\)-space} if for each up-directed set \(D \subseteq X\), \(\sup_X D\) exists and \(\sup_X D \in\mathrm{cl}_X D\). A continuous function \(\delta : X \to X\) is a \textit{deflation} if the set \(\delta(X)\) is finite and \(\delta(x) \leq_X x\) for all \(x \in X\). A space \(X\) is a \(\Delta\)-space if there is an up-directed family \(\{\delta_i : X \to X \mid i \in I\}\) of deflations of \(X\) with the property that for every open set \(U\) of \(X\) and every \(x \in U\), there is \(i \in I\) such that \(\delta_i(x) \in U\).