Point-free geometries: proximities and quasi-metrics

DOI10.1007/S11786-013-0140-2MaRDI QIDQ1948559zbMATH OpenOpenAlexFDO

Authors Anna Di Concilio

Publication date 24 April 2013

Published in Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11786-013-0140-2

zbMATH Keywords

nearnesspoint-free geometryqualitative structurequasi-metricregionsimilitudes

Mathematics Subject Classification ID

Hyperspaces in general topology (54B20) Proximity structures and generalizations (54E05)

Review text

In [Math. Struct. Comput. Sci. 16, No. 1, 115--137 (2006; Zbl 1112.54012)], \textit{A. Di Concilio} and \textit{G. Gerla} proposed a `point-free' approach to metric spaces substantially different from what is usually understood by that term (see the review of the paper in [Zbl 1112.54012] for more information), assuming as only primitives the concepts of region and quasi-metric. The canonical model is the hyperspace of the nonempty regular closed subsets of a metric space equipped with the Hausdorff excess measure. In the present paper, the author discusses the (non-symmetric) nearness and proximity aspects of the construction of those point-free metric geometries via quasi-metrics.

Recommendations

• Quasi-metric spaces and point-free geometry
• Point-free foundation of geometry looking at laboratory activities
• Geometry Without Points
• Point-free continuum
• scientific article; zbMATH DE number 749969

Cites work

• An introduction to quasi-uniform spaces
• scientific article; zbMATH DE number 5117075 (Why is no real title available?)
• scientific article; zbMATH DE number 4093526 (Why is no real title available?)
• scientific article; zbMATH DE number 749969 (Why is no real title available?)
• scientific article; zbMATH DE number 3331438 (Why is no real title available?)
• Localic completion of generalized metric spaces. II: Powerlocales
• Proximity approach to problems in topology and analysis
• Proximity: a powerful tool in extension theory, function spaces, hyperspaces, boolean algebras and point-free geometry
• Quasi-metric spaces and point-free geometry

Cited in

(14)

• Two forms of proximal physical geometry. Axioms, sewing regions together, classes of regions, duality, and parallel fibre bundles
• Logic of approximate entailment in quasimetric and in metric spaces
• Descriptive proximities: properties and interplay between classical proximities and overlap
• Coproducts of proximity spaces
• Point-free geometry and verisimilitude of theories
• Proximinality in geodesic spaces
• Geometric spaces with no points
• scientific article; zbMATH DE number 30503 (Why is no real title available?)
• scientific article; zbMATH DE number 1146152 (Why is no real title available?)
• Geometry of quotient spaces and proximinality
• Point-free continuum
• Whitehead's pointfree geometry and diametric posets
• Quasi-metric spaces and point-free geometry
• Measures in Euclidean point-free geometry (an exploratory paper)

This page was built for publication: Point-free geometries: proximities and quasi-metrics

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