Related papers: Stereotype approximation property for the algebras…

This paper introduces a notion of categorical approximability for metric spaces that can be viewed as a categorification of approximability for metric groups, as defined by Turing in 1938. Approximability as introduced here is a property of…

Efroymson's approximation theorem asserts that if $f$ is a $\mathcal{C}^0$ semialgebraic mapping on a $\mathcal{C}^\infty$ semialgebraic submanifold $M$ of $\mathbb{R}^n$ and if $\varepsilon:M\to \mathbb{R}$ is a positive continuous…

We develop a version of Herbrand's theorem for continuous logic and use it to prove that definable functions in infinite-dimensional Hilbert spaces are piecewise approximable by affine functions. We obtain similar results for definable…

We propose a unifying approach to many approximation properties studied in the literature from the 1930s up to our days. To do so, we say that a Banach space E has the (I,J,{\tau})-approximation property if E-valued operators belonging to…

A generalization of metric space is presented which is shown to admit a theory strongly related to that of ordinary metric spaces. To avoid the topological effects related to dropping any of the axioms of metric space, first a new, and…

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.…

Let $G$ be a sofic group, and let $\Sigma = (\sigma_n)_{n\geq 1}$ be a sofic approximation to it. For a probability-preserving $G$-system, a variant of the sofic entropy relative to $\Sigma$ has recently been defined in terms of sequences…

Let $T$ be a topological space admitting a compatible proper metric, that is, a locally compact, separable and metrisable space. Let $\mathcal{M}^T$ be the non-empty set of all proper metrics $d$ on $T$ compatible with its topology, and…

We introduce the notion of (almost isometric) local retracts in metric space as a natural non-linear version of the concepts of locally complemented and almost isometric ideals from Banach spaces. We prove that given two metric spaces…

The Baire category theorem states that every complete pseudometric space is a Baire space. There are some results in metric spaces which have their analogue in uniform spaces, however this is not one of them. Nonetheless, since the Baire…

For a metric space $(A,d)$, and a set $\Sigma$ of equations, a quantity is introduced that measures how far continuous operations must deviate from satisfying $\Sigma$ on $(A,d)$. }

Let $T$ be a compact, metrisable and strongly countable-dimensional topological space. Let $\mathcal{M}^T$ be the set of all metrics $d$ on $T$ compatible with its topology, and equip $\mathcal{M}^T$ with the topology of uniform…

The aim of this paper is to to show the admissibility of some class of Frechet spaces (see Definition 2.3). In particular, this generalizes the main results of [3]. As an application, we show the admissibility of a large class modular…

We study the approximation of univariate and multivariate set-valued functions (SVFs) by the adaptation to SVFs of positive samples-based approximation operators for real-valued functions. To this end, we introduce a new weighted average of…

We prove that for certain subsets $M \subseteq \mathbb{R}^N$, $N \geqslant 1$, the Lipschitz-free space $\mathcal{F}(M)$ has the metric approximation property (MAP), with respect to any norm on $\mathbb{R}^N$. In particular,…

Let $\Gamma$ be a countable discrete group. We show that $\Gamma$ has the approximation property if and only if $\Gamma$ is exact and for any operator space $S \subseteq \K(H)$ we have $\Cu(\Gamma)^{\Gamma} \otimes S = (\Cu(\Gamma) \otimes…

We propose an extension of the framework for discussing the computational complexity of problems involving uncountably many objects, such as real numbers, sets and functions, that can be represented only through approximation. The key idea…

Criteria for approximability of functions by solutions of homogeneous second order elliptic equations (with constant complex coefficients) in the norms of the Whitney $C^1$-spaces on compact sets in $\mathbb R^2$ are obtained in terms of…

We consider finite approximations of a topological space $M$ by noncommutative lattices of points. These lattices are structure spaces of noncommutative $C^*$-algebras which in turn approximate the algebra $\cc(M)$ of continuous functions…

This paper gives a uniform-theoretic refinement of classical homotopy theory. Both cubical sets (with connections) and uniform spaces admit classes of weak equivalences, special cases of classical weak equivalences, appropriate for the…