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

We consider a space of infinitely smooth functions on an unbounded closed convex set in ${\mathbb R}^n$. It is shown that each function of this space can be extended to an entire function in ${\mathbb C}^n$ satisfying some prescribed growth…

In this paper, we study meromorphic functions on a domain $\Omega \subset \mathbb{C}$ whose image has finite spherical area, counted with multiplicity. The paper is composed of two parts. In the first part, we show that the limit of a…

We study hyper-spheres, spheres and circles, with respect to an indefinite metric, in a tangent space on a 4-dimensional differentiable manifold. The manifold is equipped with a positive definite metric and an additional tensor structure of…

Given a minimum measurable length underlying spacetime, the latter may be effectively regarded as discrete, at scales of order the Planck length. A systematic discretization of continuum physics may be effected most efficiently through the…

We introduce a model of the set of all Polish (=separable complete metric) spaces: the cone $\cal R$ of distance matrices, and consider geometric and probabilistic problems connected with this object. The notion of the universal distance…

It is shown that a set in product of $n$ metrizable spaces is the discontinuity points set of some separately continuous function if and only if this set can be represented as the union of a sequence of $F_{\sigma}$-sets which are locally…

A class of spherical functions is studied which can be viewed as the matrix generalization of Bessel functions. We derive a recursive structure for these functions. We show that they are only special cases of more general radial functions…

In this work, a metric is presented on the set of boundedly-compact pointed metric spaces that generates the Gromov-Hausdorff topology. A similar metric is defined for measured metric spaces that generates the Gromov-Hausdorff-Prokhorov…

Function (linear) spaces on which an arbitrary function operates (i.e. the space is stable w.r.t. the pointwise unary operation defined by the function) were investigated, for continuous real or complex operations, by deLeeuw-Katznelson,…

Much of the structure in metric spaces that allows for the creation of fractals exists in more generalized non-metrizable spaces. In particular the same theorems regarding the behavior of compact sets can be proven in the more general…

Let g:X -> Y be a smooth (i.e. C^\infty differentiable) map between two smooth manifolds. In analogy with the case of complex polynomial functions, we say that y_0 in Y is a typical value of g if there exists an open neighbourhood U of y_0…

We recall the notion of abstract bornology, and connect it with topological spaces and size functions. As a generalization of measures of non-compactness, we show how every size function can be mapped to a maxitive measure.

Let $\mathcal C$ be a concrete category. We prove that if $\mathcal{C}$ admits a universally free object $\mathsf F$, then there is a projectively universal morphism $u\colon \mathsf F\to \mathsf F$, i.e., a morphism $u$ such that for any…

The space of all Riemannian metrics on a smooth second countable finite dimensional manifold is itself a smooth manifold modeled on the space of symmetric (0,2)-tensor fields with compact support. It carries a canonical Riemannian metric…

An open set U of the real numbers R is produced such that the expansion (R,+,x,U) of the real field by U defines a Borel isomorph of (R,+,x,N) but does not define N. It follows that (R,+,x,U) defines sets in every level of the projective…

We do further investigation in a certain cosine function defined for smooth Minkowski spaces. We prove that such function is symmetric if and only if the referred space is Euclidean, and also that it can be given in terms of the Gateaux…

In this paper we introduce and study so-called $k^*$-metrizable spaces forming a new class of generalized metric spaces, and display various applications of such spaces in topological algebra, functional analysis, and measure theory. By…

It is a well known fact that the eikonal equation is well posed in complete length spaces. Among the studied notions of solutions in the literature, there is one that can be defined in any metric space using the local (descent) slope and…

The classical Hausdorff dimension of finite or countable metric spaces is zero. Recently, we defined a variant, called \emph{finite Hausdorff dimension}, which is not necessarily trivial on finite metric spaces. In this paper we apply this…

Let X be a finite CW complex or compact Lipschitz neighborhood retract with universal cover Z; let M be a compact orientable manifold of dimension at least 2 and nonempty boundary. We establish the existence of an isoperimetric profile for…