Related papers: Completion of premetric spaces

We consider approximations of a continuous function on a countable normed Fr\'{e}chet space by analytic and $*$-analytic. Also we found a criterium of the existence of an extension of a continuous function from a dense subspace of a…

In this work, we present a novel approach for solving stochastic shape optimization problems. Our method is the extension of the classical stochastic gradient method to infinite-dimensional shape manifolds. We prove convergence of the…

Hindman's celebrated Finite Sums Theorem, and its high-dimensional version due to Milliken and Taylor, are extended from covers of countable sets to covers of arbitrary topological spaces with Menger's classic covering property. The methods…

Bishop's measure theory (BMT) is an abstraction of the measure theory of a locally compact metric space $X$, and the use of an informal notion of a set-indexed family of complemented subsets is crucial to its predicative character. The more…

In this note we study the structure of Lipschitz-free Banach spaces. We show that every Lipschitz-free Banach space over an infinite metric space contains a complemented copy of $\ell_1$. This result has many consequences for the structure…

Much work has been done on generalising results about uniform spaces to the pointfree context. However, this has almost exclusively been done using classical logic, whereas much of the utility of the pointfree approach lies in its…

We investigate the enumerative geometry of point configurations in projective space. We define "projective configuration counts": these enumerate configurations of points in projective space such that certain specified subsets are in fixed…

In this work we propose a new type of shift spaces, called blur shift spaces, where one can represent with a single symbol an entire set of infinite symbols. Such shift spaces are constructed from classical shift spaces, by choosing some…

We present recent computer algebra methods that support the calculations of (multivariate) series solutions for (certain coupled systems of partial) linear differential equations. The summand of the series solutions may be built by…

We prove completeness results for a wide variety of intuitionistic conditional logics. We do so by first using a canonical model construction obtain completeness with respect to descriptive conditional frames, and then introducing the…

In this paper we use finite vector spaces (finite dimension, over finite fields) as a non-standard computational model of linear logic. We first define a simple, finite PCF-like lambda-calculus with booleans, and then we discuss two finite…

We prove that a large class of metrizable group topologies for subgroups of $\mathbb{R}^n$ and the completions of the subgroups are locally isometric to, respectively, metrizable group topologies for $\mathbb{Z}$ and their completions,…

Topological complexity for spaces was introduced by M. Farber as a minimal number of continuity domains for motion planning algorithms. It turns out that this notion can be extended to the case of not necessarily commutative C*-algebras.…

This article examines Hilbert spaces constructed from sets whose existence is incompatible with the Countable Axiom of Choice (CC). Our point of view is twofold: (1) We examine what can and cannot be said about Hilbert spaces and operators…

In the present paper we introduce and study the Lipschitz retractional structure of metric spaces. This topic was motivated by the analogous projectional structure of Banach spaces, a topic that has been thoroughly investigated. The more…

For a given smooth manifold, we consider the moduli space of Riemannian metrics up to isometry and scaling. One can define a preorder on the moduli space by the size of isometry groups. We call a Riemannian metric that attains a maximal…

The purpose of this note is to illustrate a parallel between (pre)topologies when seen among convergence spaces and (pre)approach spaces when seen among convergence approach spaces, that appears to be a more complete parallel than in the…

In this paper, we introduce a generalization of rectangular $b-$metric spaces, by changing the rectangular inequality as follows \begin{equation*} \rho(x,y)\le \theta(x,y,u,v)[\rho(x,u)+\rho(u,v)+\rho(v,y)], \end{equation*}% for all…

In this paper, we introduce the first method that (1) can complete kernel matrices with completely missing rows and columns as opposed to individual missing kernel values, (2) does not require any of the kernels to be complete a priori, and…

In this paper the metric on the set of mixing actions of a countable infinite group is introduced so that the corresponding space is complete and separable. Keywords and phrases. Monotilable group, measure preserving transformations, mixing…