In the Euclidean geometry points are the primitive entities. Point-based spatial construction is dominant but apparently, in a constructive point of view and a na\"{\i}ve knowledge of space, the region-based spatial theory is more quoted, as recent and past literature strongly suggest. The point-free geometry refers directly to sets, the {\it spatial regions}, and {\it relations between regions} rather than referring to points and sets of points. One of the approach to point-free geometry proposes as primitives the concept of region and quasi-metric, a non-symmetric distance between regions, yielding a natural notion of diameter of a region that, under suitable conditions, allows to reconstruct the canonical model. The intended canonical model is the hyperspace of the non-empty regularly closed subsets of a metric space equipped with the Hausdorff excess. The canonical model can be enriched by adding more qualitative structure involving a distinguished countable subfamily of regions, {\it bounded regions}, and a group of {\it similitudes} preserving bounded regions, so eventually producing a metric geometry whose points, roughly speaking decreasing sequences of bounded regions with vanishing diameters, have some specific features preserved by similitudes and different metric geometries for distinct bounded regions.

Point-Free Geometries: Proximities and Quasi-Metrics

DI CONCILIO, Anna
2013

Abstract

In the Euclidean geometry points are the primitive entities. Point-based spatial construction is dominant but apparently, in a constructive point of view and a na\"{\i}ve knowledge of space, the region-based spatial theory is more quoted, as recent and past literature strongly suggest. The point-free geometry refers directly to sets, the {\it spatial regions}, and {\it relations between regions} rather than referring to points and sets of points. One of the approach to point-free geometry proposes as primitives the concept of region and quasi-metric, a non-symmetric distance between regions, yielding a natural notion of diameter of a region that, under suitable conditions, allows to reconstruct the canonical model. The intended canonical model is the hyperspace of the non-empty regularly closed subsets of a metric space equipped with the Hausdorff excess. The canonical model can be enriched by adding more qualitative structure involving a distinguished countable subfamily of regions, {\it bounded regions}, and a group of {\it similitudes} preserving bounded regions, so eventually producing a metric geometry whose points, roughly speaking decreasing sequences of bounded regions with vanishing diameters, have some specific features preserved by similitudes and different metric geometries for distinct bounded regions.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11386/3945402
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 18
  • ???jsp.display-item.citation.isi??? ND
social impact