相关论文: Definable Functions in Urysohn's Metric Space

We present a general framework for automatic continuity results for groups of isometries of metric spaces. In particular, we prove automatic continuity property for the group of isometries of the Urysohn space and the Urysohn sphere, i.e.…

The main purpose of this paper is to compute all irreducible spherical functions on $G=\SU(3)$ of arbitrary type $\delta\in \hat K$, where $K={\mathrm{S}}(\mathrm{U}(2)\times\mathrm{U}(1))\simeq\mathrm{U}(2)$. This is accomplished by…

We prove that the space of contractible simple loops of a given fixed area in any compact oriented surface has infinite diameter as a homogeneous space of the group of area-preserving diffeomorphisms endowed with the $L^p$-metric. As a…

Given a compact orientable surface with finitely many punctures $\Sigma$, let $\Cal S(\Sigma)$ be the set of isotopy classes of essential unoriented simple closed curves in $\Sigma$. We determine a complete set of relations for a function…

Nash and Tognoli show that smooth closed manifolds can be the zero sets of some real polynomial maps and non-singular. The canonical projections of spheres naturally embedded in the $1$-dimensional higher Euclidean spaces and some natural…

We prove that every reduced Stein space admits a holomorphic function without critical points. Furthermore, any closed discrete subset of such a space is the critical locus of a holomorphic function. We also show that for every complex…

We consider a $3$-dimensional differentiable manifold with two circulant structures -- a Riemannian metric and an additional structure, whose third power is the identity. The structure is compatible with the metric such that an isometry is…

For a definable continuous mapping $f$ from a definable connected open subset $\Omega$ of $\mathbb R^n$ into $\mathbb R^n,$ we show that the following statements are equivalent: (i) The mapping $f$ is open. (ii) The fibers of $f$ are finite…

A measure is 1-rectifiable if there is a countable union of finite length curves whose complement has zero measure. We characterize 1-rectifiable Radon measures $\mu$ in $n$-dimensional Euclidean space for all $n\geq 2$ in terms of…

We study the limits of sequences of spheres and complex projective spaces with unbounded dimensions. A sequence of spheres (resp. complex projective spaces) either is a Levy family, infinitely dissipates, or converges to (resp. the Hopf…

In the paper, it is given isomorphic classification of $F$-spaces of $log$-integrable measurable functions constructed using different measure spaces. At the same time, it is proved that such spaces are non-isometric.

The orbit of a point $x\in X$ in a classical iterated function system (IFS) can be defined as $\{f_u(x)=f_{u_n}\circ\cdots \circ f_{u_1}(x):$ $u=u_1\cdots u_n$ is a word of a full shift $\Sigma$ on finite symbols and $f_{u_i}$ is a…

We show that in a metric space, any continuous function with compact sublevel sets and finite metric slope is uniquely determined by the slope and its critical values.

We generalize some aspects of the theory of compact projections relative to a C*-algebra, to the setting of more general algebras. Our main result is that compact projections are the decreasing limits of `peak projections', and in the…

We conjecture that whenever $M$ is a metric space of density at most continuum, then the space of Lipschitz functions is $w^*$-separable. We prove the conjecture for several classes of metric spaces including all the Banach spaces with a…

We classify transcendental entire functions that are compositions of a polynomial and the exponential for which all singular values escape on disjoint rays. The construction involves an iteration procedure on an infinite-dimensional…

Suppose that $F$ is a smooth and connected complex surface (not necessarily compact) containing a smooth rational curve $C$ with positive self-intersection. We prove that there exists a neighborhood $U\supset C$ such that any meromorphic…

We prove that a function $f:X\to Y$ from a first-countable (more generally, Preiss-Simon) space $X$ to a regular space $Y$ is weakly discontinuous (which means that every subspace $A\subset X$ contains an open dense subset $U\subset A$ such…

Sphere recognition is known to be undecidable in dimensions five and beyond, and no polynomial time method is known in dimensions three and four. Here we report on positive and negative computational results with the goal to explore the…

For a complete noncompact connected Riemannian manifold with bounded geometry $M^n$, we prove that the isoperimetric profile function $I_{M^n}$ is continuous. Here for bounded geometry we mean that $M$ have $Ricci$ curvature bounded below…