A few notes on formal balls

DOI10.23638/LMCS-13(4:18)2017zbMATH Open1385.54009arXiv1606.05445MaRDI QIDQ4596798FDOQ4596798

Authors: Jean Goubault-Larrecq, Kok Min Ng 

Publication date: 11 December 2017

Abstract: Using the notion of formal ball, we present a few new results in the theory of quasi-metric spaces. With no specific order: every continuous Yoneda-complete quasi-metric space is sober and convergence Choquet-complete hence Baire in its $d$-Scott topology; for standard quasi-metric spaces, algebraicity is equivalent to having enough center points; on a standard quasi-metric space, every lower semicontinuous $$-valued function is the supremum of a chain of Lipschitz Yoneda-continuous maps; the continuous Yoneda-complete quasi-metric spaces are exactly the retracts of algebraic Yoneda-complete quasi-metric spaces; every continuous Yoneda-complete quasi-metric space has a so-called quasi-ideal model, generalizing a construction due to K. Martin. The point is that all those results reduce to domain-theoretic constructions on posets of formal balls.

Full work available at URL: https://arxiv.org/abs/1606.05445

Recommendations

• The space of formal balls and models of quasi-metric spaces
• The formal ball model for \(\mathcal Q\)-categories
• Formal balls of Q-categories
• Domain theoretic characterisations of quasi-metric completeness in terms of formal balls
• Formal balls in fuzzy quasi-metric spaces

zbMATH Keywords

formal ballquasi-metric spaceSmyth-completesoberYoneda-complete

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Continuous lattices and posets, applications (06B35) Topological spaces with richer structures (54E99)

Cited In (21)

• Local Yoneda completions of quasi-metric spaces
• Formal balls in fuzzy quasi-metric spaces
• On the domain of formal balls of the Sorgenfrey quasi-metric space
• Kantorovich-Rubinstein quasi-metrics IV: lenses, quasi-lenses and forks
• A note on the Martin topology of the space of the formal balls
• Scott approach distance on metric spaces
• The monad on strong quasi-metric spaces
• On quasi-metrizable \(d\)-spaces
• Quasi-continuous Yoneda complete quasi-metric space
• T-complete KM-fuzzy metric spaces via domain theory
• Formal balls of Q-categories
• Some remarks on the Pompeiu-Hausdorff distance between order intervals
• The formal ball model for \(\mathcal Q\)-categories
• On the construction of domains of formal balls for uniform spaces
• Kantorovich-Rubinstein quasi-metrics. II: Hyperspaces and powerdomains
• Domain-complete and LCS-complete spaces
• Formal ball monads
• Some topological properties of spaces of Lipschitz continuous maps on quasi-metric spaces
• Domain theoretic characterisations of quasi-metric completeness in terms of formal balls
• Kantorovich-Rubinstein quasi-metrics. I: Spaces of measures and of continuous valuations
• The space of formal balls and models of quasi-metric spaces

This page was built for publication: A few notes on formal balls

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4596798)