Related papers: Localic completion of uniform spaces

We study universal approximation of continuous functionals on compact subsets of products of Hilbert spaces. We prove that any such functional can be uniformly approximated by models that first take finitely many continuous linear…

In this paper we combine the notions of partial metric spaces with negative distances, $G_p$-metric spaces and n-metric spaces together into one structure called the partial n-metric spaces. These are generalizations of all the said…

We characterize the uniform convergence points set of a pointwisely convergent sequence of real-valued functions defined on a perfectly normal space. We prove that if $X$ is a perfectly normal space which can be covered by a disjoint…

We survey foundational principles of Grothendieck's generalized spaces, including a critical glossary of the various, and often conflicting, terminological usages. Known results using generalized points support a fully pointwise notation…

We investigate (local) automorphisms of parabolic geometries that generalize geodesic symmetries. We show that many types of parabolic geometries admit at most one generalized geodesic symmetry at a point with non-zero harmonic curvature.…

We give a proof of the existence of generalized definable locally compact models for arbitrary approximate subgroups via an application of topological dynamics in model theory. Our construction is simpler and shorter than the original one…

We prove that the homotopy theory of parametrized spaces embeds fully and faithfully in the homotopy theory of simplicial presheaves, and that its essential image consists of the locally homotopically constant objects. This gives a…

Motivated by the analysis and geometry of metric-measure structures in infinite dimensions, we study the category of extended metric-topological spaces, along with many of its distinguished subcategories (such as the one of compact spaces).…

Let F be a global field, and let S be a finite set of places of F containing all archimedean places. Consider the product X of the symmetric spaces and Bruhat-Tits buildings for PGL_d of the completions of F at archimedean and…

A generalization of the Lebesgue number lemma is obtained. It is proved that, if each countably infinite locally finite open cover of a chainable metric space $X$ has a Lebesgue number, then $X$ is totally bounded. A property of metric…

Characterisations of metrizable topological spaces or metrizable uniform spaces are well known. A natural counterpart to being metrizable for topological spaces can be expressed in terms of probabilistic metrizability for approach spaces.…

A uniform approach to computing with infinite objects like real numbers, tuples of these, compacts sets, and uniformly continuous maps is presented. In work of Berger it was shown how to extract certified algorithms working with the signed…

In this article, we summarize the results on symmetric conformal geometries. We review the results following from the general theory of symmetric parabolic geometries and prove several new results for symmetric conformal geometries. In…

This paper concerns the self-similarity of topological spaces, in the sense defined in math.DS/0411344. I show how to recognize self-similar spaces, or more precisely, universal solutions of self-similarity systems. Examples include the…

In the standard model matter fields form complete representations of a grand unified group whereas Higgs fields belong to incomplete `split' multiplets. This remarkable fact is naturally explained by `local grand unification' in…

For every nonempty compact convex subset $K$ of a normed linear space a (unique) point $c_K \in K$, called the generalized Chebyshev center, is distinguished. It is shown that $c_K$ is a common fixed point for the isometry group of the…

We study the iterated blow-up X of projective space along an arbitrary collection of linear subspaces. By replacing the universal torsor with an $\mathbb{A}^1$-homotopy equivalent model, built from $\mathbb{A}^1$-fiber bundles not just…

Our work aims to introduce generalization of soft $ \mu $-compact soft generalized topological spaces, namely; soft nearly $ \mu $-compact spaces which are defined over initial universe with a fixed set of parameters. Basic properties and…

Directional notions in topology and analysis naturally lead to nonsymmetric structures such as quasi-metrics, quasi-uniformities, and modular spaces. In these settings, classical notions of connectedness and completion based on symmetric…

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…