Two forms of proximal physical geometry. Axioms, sewing regions together, classes of regions, duality, and parallel fibre bundles (Q1677355)

The present treatise is a computational proximity approach to a Lenzen geometry of physical space and offers two proximal forms of that, i.e. an axiomatized strongly proximal physical geometry and an axiomatized descriptive proximal physical geometry. In both forms region is the basis as a set of connected subregions, instead of points. A mapping from the region to a feature vector in \(\mathbb R^n\) represents the description of a region with \(n\) features. The axioms for physical geometry as well as those for proximal physical geometry are given and illustrated by intrinsic examples. As main results a region-based Borsuk-Ulam Theorem as well as a Wired Friend Theorem are given in both forms of physical geometry. At last the author points out what exactly does it mean whenever one is considering a physical geometric space. This is in fact a proximal relator space, meaning a suitable set equipped with a family of proximity relations, and it is descriptive provided one or more of its proximities are descriptive. So it can be considered as a form of computational geometry in which, for example, the nearness of regions in a Voronoi tessellation of sets of regions is determined.