Abstract
We study the hyperspace K 0(X) of non-empty compact subsets of a Smyth-complete quasi-metric space (X, d). We show that K 0(X), equipped with the Hausdorff quasi-pseudometric H d forms a (sequentially) Yoneda-complete space. Moreover, if d is a T 1 quasi-metric, then the hyperspace is algebraic, and the set of all finite subsets forms a base for it. Finally, we prove that K 0(X), H d ) is Smyth-complete if (X, d) is Smyth-complete and all compact subsets of X are d −1-precompact.
Similar content being viewed by others
References
A. Alimov, On the structure of the complements of Chebyshev sets, Functional Analysis and Its Applications, 35 (2001), 176–182.
G. Beer, Topologies on Closed and Closed Convex Sets, Kluwer Academic Publishers (Dordrecht, 1993).
M. M. Bonsangue, F. van Breugel and J. J. M. M. Rutten, Generalized metric spaces: Completion, topology and powerdomains via the Yoneda embedding, Theoretical Computer Science, 193 (1998), 1–51.
J. Cao, H.-P. A. Künzi, I. L. Reilly and S. Romaguera, Quasi-uniform hyperspaces of compact subsets, Topology Appl., 87 (1998), 117–126.
J. Cao and J. Rodríguez-López, On hyperspace topologies via distance functionals in quasi-metric spaces, Acta Math. Hungar., 112 (2006), 249–268.
A. Edalat, Dynamical systems, measures and fractals via domain theory, Information and Computation, 120 (1995), 32–48.
A. Edalat, Domains for computation in mathematics, physics and exact real arithmetic, Bulletin of Symbolic Logic, 3 (1997), 401–452.
A. Edalat and R. Heckmann, A computational model for metric spaces, Theoretical Computer Science, 193 (1995), 53–73.
P. Fletcher and W. Lindgren, Quasi-uniform Spaces, Marcel Dekker (New York, 1982).
P. Fletcher and W. Hunsaker, Symmetric conditions in terms of open sets, Topology Appl., 45 (1992), 39–47.
J. C. Kelly, Bitopological spaces, Proc. London Math. Soc., 13 (1963), 71–89.
H.-P. A. Künzi, Nonsymmetric topology, in: Proceedings of Colloquium on Topology (Szekszárd, Hungary, 1993), Colloquium Mathematical Society János Bolyai Mathematic Studies, 4 (1995), 303–338.
H.-P. A. Künzi, Quasi-metrizable spaces satisfying certain completeness conditions, Acta Math. Hungar., 95 (2002), 345–357.
H.-P. A. Künzi and S. Romaguera, Left K-completeness of the Hausdorff quasiuniformity, Rostocker Math. Kolloquium, 51 (1997), 167–176.
H.-P. A. Künzi and S. Romaguera, Quasi-metric spaces, quasi-metric hyperspaces and uniform local compactness, Rend. Istit. Mat. Trieste, 30 (1999), 133–144.
H.-P. A. Künzi and M. P. Schellekens, On the Yoneda completion of a quasi-metric space, Theoretical Computer Science, 278 (2002), 159–194.
J. Rodríguez-López and S. Romaguera, The relationship between the Vietoris topology and the Hausdorff quasi-uniformity, Topology Appl., 124 (2002), 451–464.
J. Rodríguez-López and S. Romaguera, Wijsman and hit-and-miss topologies of quasimetric spaces, Set-Valued Analysis, 11 (2003), 323–344.
S. Romaguera and M. A. Sánchez-Granero, Compactifications of quasi-uniform hyperspaces, Topology Appl., 127 (2003), 409–423.
P. Sünderhauf, Quasi-uniform completeness in terms of Cauchy nets, Acta Math. Hungar., 69 (1995), 47–54.
Author information
Authors and Affiliations
Corresponding author
Additional information
Partially supported by the Institute for Research in Fundamental Sciences, Tehran, Iran, grant No. 88030111.
Rights and permissions
About this article
Cite this article
Ali-Akbari, M., Pourmahdian, M. Completeness of hyperspaces of compact subsets of quasi-metric spaces. Acta Math Hung 127, 260–272 (2010). https://doi.org/10.1007/s10474-010-9132-8
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10474-010-9132-8
Key words and phrases
- quasi-metric space
- Yoneda-completeness
- Smyth-completeness
- Hausdorff quasi-metric
- hyperspace of nonempty compact subsets