Related papers: Definable Functions in Urysohn's Metric Space

We characterize the notion of definable compactness for topological spaces definable in o-minimal structures, answering questions of Peterzil and Steinhorn (1999) and Johnson (2018). Specifically, we prove the equivalence of various…

We apply the topology of convergence on compact sets to define unpredictable functions [5, 6]. The topology is metrizable and easy for applications with integral operators. To demonstrate the effectiveness of the approach, the existence and…

We present a purely category-theoretic characterization of retracts of Fra\"iss\'e limits. For this aim, we consider a natural version of injectivity with respect to a pair of categories (a category and its subcategory). It turns out that…

We first show that the projection image of a discrete definable set is again discrete for an arbitrary definably complete locally o-minimal structure. This fact together with the results in a previous paper implies tame dimension theory and…

In the previous paper [25], Stolarsky's invariance principle, known for point distributions on the Euclidean spheres [27], has been extended to the real, complex, and quaternionic projective spaces and the octonionic projective plane.…

We construct families of smooth functions $H\colon\mathbb{R}^{n+1}\to\mathbb{R}$ such that the Euclidean $(n+1)$-space is completely filled by not necessarily round hyperspheres of mean curvature $H$ at every point.

On a smooth connected manifold, we consider all possible locally elliptic and locally bounded measurable coefficient Riemannian metrics called rough Riemannian metrics. We equip this set with an extended metric which is connected if and…

The goal of this note is to generalize Thurston's Topological Characterization of Rational Functions to the setting when both the covering degree and the set of marked points are infinite. A relevant class of branched coverings are…

We constract various subgroups of the group of isometries of universal Urysohn spaces (unique complete separable metric space which is iniversal and homogeneous) including abelian groups which act transitively, and free groups which are…

When restricted to a subspace, a nonsmooth function can be differentiable. It is known that for a nonsmooth convex function f and a point x, the Euclidean space can be decomposed into two subspaces: U, over which a special Lagrangian can be…

We prove that, for any topological space $X$ and any metric space $(Y,d)$, the fine topology on the space of continuous functions from $X$ into $Y$ is independent of the metric $d$.

Any symmetric affinity function $w: V\times V \to \mathbb{R}_+$ defined on a discrete set $V$ induces Euclidean space structure on $V$. In particular, an undirected graph specified by an affinity (or adjacency) matrix can be considered as a…

Two variations of classical Urysohn lemma for subsets of topological vector spaces are obtained in this article. The continuous functions constructed in these lemmas are of quasi-convex type.

Suppose G is a topological group containing a (closed) topological copy of the Frechet-Urysohn fan. If G is a perfectly normal sequential space (a normal k-space) then every closed metrizable subset in $G$ is locally compact. Applying this…

Spin-weighted spherical functions provide a useful tool for analyzing tensor-valued functions on the sphere. A tensor field can be decomposed into complex-valued functions by taking contractions with tangent vectors on the sphere and the…

The Dehn function of a metric space measures the area necessary in order to fill a closed curve of controlled length by a disc. As a main result, we prove that a length space has curvature bounded above by $\kappa$ in the sense of…

We obtain a criterion for an analytic subset of a Euclidean space to contain points of differentiability of a typical Lipschitz function, namely, that it cannot be covered by countably many sets, each of which is closed and purely…

Here we classify all topological spaces where all bijections to itself are homeomorphisms. As a consequence, we also classify all topological spaces where all maps to itself are continuous. Analogously, we classify all measurable spaces…

We construct non-trivial continuous isospectral deformations of Riemannian metrics on the ball and on the sphere in $\R^n$ for every $n\geq 9$. The metrics on the sphere can be chosen arbitrarily close to the round metric; in particular,…

In semialgebraic geometry, projections play a prominent role. A definable choice is a semialgebraic selection of one point in every fiber of a projection. Definable choices exist by semialgebraic triviality, but their complexity depends…