Densely continuous forms in Vietoris hyperspaces (Q5926376)

For a topological space \(Z\), let \(CL_V(Z)\) be the space consisting of all nonempty closed subsets of \(Z\) with the Vietoris topology. For a function \(f\) from a topological space \(X\) to a topological space \(Y\) let \({\mathcal C}(f)\) denote the set of points of \(X\) at which \(f\) is continuous, and identifying \(f\) with its graph in \(X\times Y\), let \(\overline f\) be the closure of \(f|_{{\mathcal C}(f)}\) in \(X\times Y\). The set \(D(X,Y)\) is the set of \(f\) where \(f\) is a function from \(X\) to \(Y\) such that \({\mathcal C}(f)\) is dense in \(X\). Define the subset \(\widehat D(X,Y)\) of \(CL_V(X \times Y)\) to be the set of \(\Phi\in CL_V(X\times Y)\) such that \(\pi_X(\Phi)\) is dense in \(X\) and such that \(\Phi(x)\) is a singleton for every isolated point \(x\) of \(X\), where \(\pi_x\) is the projection from \(X\times Y\) to \(X\) and \(\Phi(x)= \{y\in Y:(x,y) \in\Phi\}\). The author is concerned with what ``Vietoris closures of \(D(X,Y)\) in \(CL_V (X\times Y)\)'' are and shows the following fact: Theorem: If \(X\) is a countably paracompact, normal space and \(Y\) is a locally compact, separable metric space, then \(\widehat D(X,Y)\) is the closure of \(D(X,Y)\) in \(CL_V(X\times Y)\).