Complete metrizability of hyperspaces
In this paper, the author gives a characterization of complete metrizability for topologies of bornological convergence on the hyperspace \(\mathrm{CL}(X)\) of the nonempty closed subsets of a metric pace \((X,d)\). Let \((X,d)\) be a metric space and \(\mathcal{S}\) a bornology, that is, a nonempty collection of nonempty subsets of \(X\) such that \(\mathcal{S}\) is an ideal (i.e., it is closed under taking subsets and finite unions) and covers \(X\). Let \(\tau_\mathcal{S}\) denote the pretopology generated by the neighborhood filter \(\{ [S,\varepsilon] (A) : S \in \mathcal{S},\, \varepsilon>0\}\) at \(A \in\mathrm{CL}(X)\), where \(B_d(A,\varepsilon)=\{x \in X: d(x,A)<\varepsilon \}\) and \N\[\N[S,\varepsilon](A)=\{ C \in\mathrm{CL}(X): S \cap A \subset B_d(C,\varepsilon) \text{ and } S \cap C \subset B_d(A,\varepsilon)\}.\N\]\NLet \((\tilde{X}_d,\tilde{d})\) denote the completion of \(d\). The author proves the following theorem under the continuum hypothesis:\N\NLet \(\mathcal{S}\) be a bornology on \((X,d)\) such that each \(d\)-Cauchy sequence is included in a member of \(\mathcal{S}\). Then \((\mathrm{CL}(X),\tau_\mathcal{S})\) is completely metrizable if and only if \((\mathrm{CL}(X),\tau_\mathcal{S})\) is metrizable, \(X\) is completely metrizable, and \((\tilde{X}_d \setminus X,\tilde{d})\) is separable.\N\NAs a corollary, the author shows that the following statements are equivalent under the continuum hypothesis: (1) \(\mathrm{CL}(X)\) with the Attouch-Wets topology is completely metrizable; (2) \(\mathrm{CL}(X)\) with the Hausdorff metric topology is completely metrizable; (3) \(X\) is completely metrizable and \((\tilde{X}_d \setminus X,\tilde{d})\) is separable.
- \(\mathcal S\)-topologies and bounded convergences
- Attouch-Wets Convergence and a Differential Operator for Convex Functions
- Bornological convergence and shields
- Bornological convergences
- Bounded (Hausdorff) convergence: basic facts and applications
- Cauchy metrizability of bornological universes
- Cofinal completeness of the Hausdorff metric topology
- Compactness and local compactness in hyperspaces
- Convergence of Closed Subsets in a Topological Space
- Convexity and well-posed problems
- Domain representability and the Choquet game in Moore and BCO-spaces
- Epigraphical and Uniform Convergence of Convex Functions
- Espaces héréditairement de Baire
- Gap, excess and bornological convergence
- Hausdorff hyperspaces of \(\mathbf{R}^{m}\) and their dense subspaces
- scientific article; zbMATH DE number 3128731 (Why is no real title available?)
- scientific article; zbMATH DE number 42114 (Why is no real title available?)
- scientific article; zbMATH DE number 490143 (Why is no real title available?)
- scientific article; zbMATH DE number 3288812 (Why is no real title available?)
- On -favorability of the strong Choquet game
- On a characterization of complete metrizability of the Hausdorff metric topology
- On complete metrizability of the Hausdorff metric topology
- Pseudometrizable bornological convergence is Attouch-Wets convergence
- Quantitative Stability of Variational Systems: I. The Epigraphical Distance
- Remarks on a game of Choquet
- Stationary and convergent strategies in Choquet games
- Stationary strategies in topological games
- The Baire property in hit-and-miss hypertopologies
- Topological games in domain theory
- Topological Spaces That are α-Favorable for a Player with Perfect Information
This page was built for publication: Complete metrizability of hyperspaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6912244)
