Related papers: Geometric Spaces with No Points
Certain notions of convergence of sequences functions such as pointwise convergence and (uniform) convergence on compact or bounded sets come from suitable topological function spaces; see [1]. Under certain conditions these topologies…
In this paper we introduce a family of examples that can be regarded as spaces of nonpositive curvature, but with the distinct quality that they are not complete as metric spaces. This amounts to the fact that they are modelled on a finite…
In this memoir, we seek to construct a constructive theory that is as complete as possible to describe the algebraic properties of the real number field in constructive mathematics without a dependent choice axiom. To this purpose, we use a…
The traditional concept of space in geography is based on the notion of distance. Where there is a spatial analysis, there is a distance measurement. However, the precondition for effective distance-based space is that the geographical…
It is shown that properties of a discrete space-time geometry distinguish from properties of the Riemannian space-time geometry. The discrete geometry is a physical geometry, which is described completely by the world function. The discrete…
Persistent homology is a popular and useful tool for analysing finite metric spaces, revealing features that can be used to distinguish sets of unlabeled points and as input into machine learning pipelines. The famous stability theorem of…
Symmetry is at the heart of much of mathematics, physics, and art. Traditional geometric symmetry groups are defined in terms of isometries of the ambient space of a shape or pattern. If we slightly generalize this notion to allow the…
It is a well-known fact that although the poset of open sets of a topological space is a Heyting algebra, its Heyting implication is not necessarily stable under the inverse image of continuous functions and hence is not a geometric…
Hanika, Schneider, and Stumme introduced geometric data set as a generalization of metric measure space for the computation of the observable diameter, and extended the observable distance between metric measure spaces to that between…
Noncommutative geometries generalize standard smooth geometries, parametrizing the noncommutativity of dimensions with a fundamental quantity with the dimensions of area. The question arises then of whether the concept of a region smaller…
The paper studies a general scheme for constructing metrics on a product of metric spaces by means of a family of continuous convex functions. This construction includes the conventional $p$-metrics and generates metrics that are…
A metric space (X,d) is monotone if there is a linear order < on X and a constant c>0 such that d(x,y) < c d(x,z) for all x<y<z in X. Properties of continuous functions with monotone graph (considered as a planar set) are investigated. It…
Reeb spaces of (continuous) real-valued functions on (nice) topological spaces are the spaces whose underlying sets consist of all connected components (contours) of their level sets and seen naturally as quotient spaces of the spaces. They…
We characterize those complete commutative positive linear ordered monoids $W$ such that whenever $f$ is a map from a Cauchy complete $W$-metric space to itself, the existence of a fixed point of $f$ is independent of the background model…
We show that a set of non-negative reals is the distance set of a separable complete metric space if and only if it is either countable or is an analytic set which has 0 as a limit point. We also consider spaces with simpler distance sets.
Finite metric spaces arise in many different contexts. Enormous bodies of data, scientific, commercial and others can often be viewed as large metric spaces. It turns out that the metric of graphs reveals a lot of interesting information.…
The concept of typed topological space is introduced, for which open sets in a topology on a finite set will be assigned types (from lattice). The neighborhood system of a point, the closure and the connectedness can be defined according to…
Much of the structure in metric spaces that allows for the creation of fractals exists in more generalized non-metrizable spaces. In particular the same theorems regarding the behavior of compact sets can be proven in the more general…
A topological space is iso-dense if it has a dense set of isolated points. A topological space is scattered if each of its non-empty subspaces has an isolated point. In $\mathbf{ZF}$, in the absence of the axiom of choice, basic properties…
In this paper, we show how certain ``stability phenomena'' in unpointed model categories provide the sets of homotopy classes with the structure of abelian heaps, i.e. abelian groups without a choice of a zero. In contrast with the…