Vietoris topology on partial maps with compact domains (Q972539): Difference between revisions

Let \(K(X)\) denote the space of all compact subsets of a Hausdorff space \(X\) with the Vietoris topology \(\tau_V\). For Hausdorff spaces \(X\) and \(Y\) and for \(B \subseteq X\), let \(C(B, Y)\) denote the set of all continuous maps from \(B\) to \(Y\) and \({ \mathcal P} _K(X,Y)\) the set of all partial maps with compact domains, that is, \({ \mathcal P} _K(X,Y)= \bigcup\{ C(B,Y) : B \in K(X)\}\). By identifying \(f \in { \mathcal P} _K(X,Y)\) with its graph \(\{ (x,y) : x \in \operatorname{dom} f, y=f(x)\} \in K(X\times Y)\), \({ \mathcal P} _K(X,Y)\) can be regarded as a subspace of \((K(X \times Y), \tau _V)\). In this paper, the authors investigate completeness properties of the space \({\mathcal P}_K(X,Y)\). After proving some results on completeness properties of \((K(X), \tau_V)\), they prove the following; (1) for all Hausdorff spaces \(X\) and \(Y\), \({\mathcal P}_K(X,Y)\) is completely metrizable if and only if \(X\) and \(Y\) are completely metrizable; (2) for every Hausdorff space \(X\) and every Hausdorff space \(Y\) with a \(G_\delta\)-diagonal, \({\mathcal P}_K(X,Y)\) is Čech-complete if and only if \(X\) and \(Y\) are Čech-complete; (3) for every regular space \(X\) and every Hausdorff space \(Y\) with a \(G_\delta\)-diagonal, \({\mathcal P}_K(X,Y)\) is sieve complete if and only if \(X\) and \(Y\) are sieve complete; (4) if \(X\) and \(Y\) are \(cp\)-spaces and \(Y\) have a \(G_\delta\)-diagonal, then \({\mathcal P}_K(X,Y)\) is a \(p\)-space; and (5) there is a strongly Choquet space \(X\) such that \({\mathcal P}_K(X,Y)\) is of first category for every Hausdorff space \(Y\). The authors also discuss (hereditary) Baireness of \({\mathcal P}_K(X,Y)\). Moreover, applying the above results, they prove that if \(X\) is a hemicompact \(k\)-space and \(Y\) is a Čech-complete space (sieve complete space, \(cp\)-space, respectively) with a \(G_\delta\)-diagonal, then \(C(X,Y)\) with the compact-open topology is Čech-complete (sieve complete, a \(p\)-space, respectively).