No label defined (Q4952346)

For a Hausdorff space \(X\) let \(\text{CL}(X)\) be the family of all nonempty closed subsets of \(X\) and \(K(X)\) the family of all nonempty compact subsets of \(X\). Let \(X\) and \(Y\) be Hausdorff spaces and \(B\in\text{CL} (X)\). Then \(C(B,Y)\) denotes the set of all continuous functions from \(B\) to \(Y\) and a partial map means a pair \((B,f)\) with \(f\in C(B,Y)\). The family of all partial maps is denoted by \({\mathcal P}\) and the set of all partial maps having compact domains is denoted by \({\mathcal P}_k\); that is, \({\mathcal P}=\{(B,f): B\in \text{CL}(X)\), \(f\in C(B,Y)\}\) and \({\mathcal P}_k= \{(B,f): B\in K(X)\), \(f\in C(B, Y)\}\). The author provides several informations concerning topologies on the space of partial maps. For an open subset \(G\) of \(X\) put \([G]=\{(B,f)\in {\mathcal P}:B \cap G\neq\emptyset\}\) and for \(K\in K(X)\) and an open subset \(V\) of \(Y\) put \([K:V]= \{(B,f)\in {\mathcal P}:f (K\cap B)\subset V\}\). \(\tau_c\) is the topology on \({\mathcal P}\) induced by \(\{[G]\): \(G\) is open in \(X\}\cup \{[K:V]:V\) is open in \(Y\}\) as its subbase. The following are some of mentioned results: Theorem 4.8. Let \(X\) and \(Y\) be Hausdorff spaces. The following are equivalent: (1) \(X\) is a locally compact space; (2) \(({\mathcal P},\tau_c)\) is a Tikhonov space; (3) \(({\mathcal P},\tau_c)\) is a regular space; (4) \(({\mathcal P},\tau_c)\) is a Hausdorff space. Theorem 4.9. Let \(X\) be a Tikhonov space and let \(Y\) be metrizable. Then the following are equivalent: (1) \(X\) is locally compact, second-countable; (2) \(({\mathcal P},\tau_c)\) is metrizable; (3) \(X\) is a hemicompact metrizable space. Theorem 4.11. Let \(X\) be a locally compact, metrizable space and \(Y\) a locally convex topological space. Then the mapping \(\eta:(\text{CL} (X), \tau_F) \times (C(X,Y), \tau_{\text{co}}) \to({\mathcal P},\tau_c)\) defined as \(\eta ((B,f))= (B,f|B)\) is continuous, onto and open, where \(\tau_F\) denotes the Fell topology on \(\text{CL}(X)\) and \(\tau_{\text{co}}\) denotes the compact-open topology on \(C(X,Y)\). Every \((B,f)\in{\mathcal P}\) can be identified with its graph \(\Gamma(B,f)\) and under this identification \({\mathcal P}\) can be considered as a subset \(G\) of \(\text{CL} (X\times Y)\). In view of this point the following topology \(\tau\) is defined. For a subset \(U\) of \(X\), \(K\in K(X)\) and a subset \(V\) of \(Y\) put \([U]=\{\Gamma (B,f)\in G:B\cap U\neq\emptyset\}\), \([K:V]= \{\Gamma (B,F)\in G:f(K\cap B)\subset V\}\) and \([U\times V]=\{(B,f)\in G:(B,f)\cap (U \times V)\neq \emptyset\}\). \(\tau\) is the topology on \(G\) induced by \(\{[U]:U\) is open in \(X\}\cup \{[K:V]: K\in K(X)\) and \(V\) is open in \(Y\}\cup \{U\times V:U\) is open in \(X\) and \(V\) is open in \(Y\}\). Relating \(\tau_c\) pick only one here, as below: Theorem 5.4. Let \((X,d)\) be a metric space and let \((Y,h)\) be a metric space with at least two different points. Then the following are equivalent: (1) \(X\) is locally compact; (2) \(\tau=\tau_c\) on \({\mathcal P}(=G)\). The author mentions further results about the relationship between \(\tau_c\) and other topologies on hyperspaces and also the relationship between \(\tau\)-convergence and convergences by other topologies. For the entire collection see [Zbl 0935.00020].